Parallel Scientific Computing and Optimization: Advances and Applications
ISBN: 9780387097060 / Angielski / Twarda / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parallel Scientific Computing and Optimization introduces new developments in the construction, analysis, and implementation of parallel computing algorithms. This book presents 23 self-contained chapters, including survey chapters and surveys, written by distinguished researchers in the field of parallel computing. Each chapter is devoted to some aspects of the subject: parallel algorithms for matrix computations, parallel optimization, management of parallel programming models and data, with the largest focus on parallel scientific computing in industrial applications. ...Parallel Scientific Computing and Optimization introduces new developments in the construction, analysis, and implementation of parallel c... |
|
cena:
384,63 zł |
Formal Methods for Embedded Distributed Systems: How to Master the Complexity
ISBN: 9781402079962 / Angielski / Twarda / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed The different notations that can be used must all possess at least one property: formality. The development process must also have important...
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel-...
|
|
cena:
384,63 zł |
Global Initiatives to Secure Cyberspace: An Emerging Landscape
ISBN: 9780387097633 / Angielski / Twarda / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As cyberspace continues to rapidly expand, its infrastructure is now an in- gral part of the world's economy and social structure. Given this increasing int- connectivity and interdependence, what progress has been made in developing an ecosystem of safety and security? This study is the second phase of an initial - tempt to survey and catalog the multitude of emerging organizations promoting global initiatives to secure cyberspace. The authors provide a breakdown and analysis of organizations by type, - cluding international, regional, private-public, and non-governmental organi- tions....
As cyberspace continues to rapidly expand, its infrastructure is now an in- gral part of the world's economy and social structure. Given this increasi...
|
|
cena:
384,63 zł |
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, Tacas 2004, Held as Part of the Joint European Confe
ISBN: 9783540212997 / Angielski / Miękka / 614 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims, organization, and history are detailed in a foreword by the ETAPS Steering Committee Chair, Jos e Luiz Fiadeiro. TACAS is a forum for researchers, developers, and users interested in ri- rously based tools for the construction and analysis of systems. The...
This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ...
|
|
cena:
384,63 zł |
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, Tacas 2005, Held as Part of the Joint European Confe
ISBN: 9783540253334 / Angielski / Miękka / 590 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve...
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that ...
|
|
cena:
384,63 zł |
Intelligent Data Engineering and Automated Learning - Ideal 2005: 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings
ISBN: 9783540269724 / Angielski / Miękka / 600 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2005, held in Brisbane, Australia, in July 2005. The 76 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on data mining and knowledge engineering, learning algorithms and systems, bioinformatics, agent technologies, and financial engineering.
This book constitutes the refereed proceedings of the 6th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 20... |
|
cena:
384,63 zł |
Multi-Agent Systems and Applications IV: 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings
ISBN: 9783540290469 / Angielski / Miękka / 670 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results. With its p- ticular geographicalorientation towards Central and Eastern Europe, CEEMAS has become an internationally recognised event with participants from all over the world. After the successful CEEMAS conferences in St. Petersburg (1999), Cracow (2001) and Prague (2003), the 2005 CEEMAS conference takes place in Budapest. The programme committee of the conference series consists of est- lished researchers from the region and renowned international...
The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results. With its ...
|
|
cena:
384,63 zł |
Multi-Agent Systems and Applications III: 3rd International Central and Eastern European Conference on Multi-Agent Systems, Ceemas 2003, Prague, Czech
ISBN: 9783540404507 / Angielski / Miękka / 666 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
This book constitutes the refereed proceedings of the International Central and European Conference on Multi-Agent Systems, CEEMAS 2003, held in Prague, Czech Republic in June 2003. The 58 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on formal methods, social knowledge and meta-reasoning, negotiation, and policies, ontologies and languages, planning, coalitions, evolution and emergent behaviour, platforms, protocols, security, real-time and...
This book constitutes the refereed proceedings of the International Central and European Conference on Multi-Agent Systems, CEEMAS 2003, h... |
|
cena:
384,63 zł |
Languages and Compilers for Parallel Computing: 8th International Workshop, Columbus, Ohio, Usa, August 10-12, 1995. Proceedings
ISBN: 9783540607656 / Angielski / Miękka / 606 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the Eighth Annual Workshop on Languages and Compilers for Parallel Computing, held in Columbus, Ohio in August 1995.
The 38 full revised papers presented were carefully selected for inclusion in the proceedings and reflect the state of the art of research and advanced applications in parallel languages, restructuring compilers, and runtime systems. The papers are organized in sections on fine-grain parallelism, interprocedural analysis, program analysis, Fortran 90 and HPF, loop parallelization for HPF compilers, tools and libraries,... This book presents the refereed proceedings of the Eighth Annual Workshop on Languages and Compilers for Parallel Computing, held in Columbus, Ohio in...
|
|
cena:
384,63 zł |
Advances in Database Technology Edbt '96: 5th International Conference on Extending Database Technology, Avignon, France, March 25-29 1996, Proceeding
ISBN: 9783540610571 / Angielski / Miękka / 646 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the Fifth International Conference on Extending Database Technology, EDBT'96, held in Avignon, France in March 1996.
The 31 full revised papers included were selected from a total of 178 submissions; also included are some industrial-track papers, contributed by partners of several ESPRIT projects. The volume is organized in topical sections on data mining, active databases, design tools, advanced DBMS, optimization, warehousing, system issues, temporal databases, the web and hypermedia, performance, workflow management, database design, and... This book presents the refereed proceedings of the Fifth International Conference on Extending Database Technology, EDBT'96, held in Avignon, France i...
|
|
cena:
384,63 zł |
Applied Parallel Computing. Industrial Computation and Optimization: Third International Workshop, Para '96, Lyngby, Denmark, August 18-21, 1996, Proc
ISBN: 9783540620952 / Angielski / Miękka / 730 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Workshop on Applied Parallel Computing, PARA'96, held in Lyngby, Denmark, in August 1996.
The volume presents revised full versions of 45 carefully selected contributed papers together with 31 invited presentations. The papers address all current aspects of applied parallel computing relevant for industrial computations. The invited papers review the most important numerical algorithms and scientific applications on several types of parallel machines. This book constitutes the refereed proceedings of the Third International Workshop on Applied Parallel Computing, PARA'96, held in Lyngby, Denmark, in...
|
|
cena:
384,63 zł |
Numerical Analysis and Its Applications: First International Workshop, Wnaa'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings
ISBN: 9783540625988 / Angielski / Miękka / 614 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Workshop on Numerical Analysis and Its Applications, WNAA'96, held in Rousse, Bulgaria, in June 1996.
The 57 revised full papers presented were carefully selected and reviewed for inclusion in the volume; also included are 14 invited presentations. All in all, the book offers a wealth of new results and methods of numerical analysis applicable in computational science, particularly in computational physics and chemistry. The volume reflects that the cooperation of computer scientists, mathematicians and scientists... This book constitutes the refereed proceedings of the First International Workshop on Numerical Analysis and Its Applications, WNAA'96, held in Rousse...
|
|
cena:
384,63 zł |
Algebraic Methodology and Software Technology: 6th International Conference, Amast '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings
ISBN: 9783540638889 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents 48 revised full papers from the Sixth International Conference on Algebraic Methodology and Software Technology. One of the features of this conference is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies and industrial development. The volume addresses all aspects of formal methods in software engineering and programming methodology, with an emphasis on algebraic and logical foundations.
This volume presents 48 revised full papers from the Sixth International Conference on Algebraic Methodology and Software Technology. One of the featu...
|
|
cena:
384,63 zł |
Representation and Retrieval of Visual Media in Multimedia Systems
ISBN: 9780792397717 / Angielski / Twarda / 91 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Representation and Retrieval of Visual Media in Multimedia Systems brings together in one place important contributions and up-to-date researcg results in this important area.
Representation and Retrieval of Visual Media in Multimedia Systems serves as an excellent reference, providing insight into some of the most important research issues in the field. Representation and Retrieval of Visual Media in Multimedia Systems brings together in one place important contributions and up-to-date resear...
|
|
cena:
384,63 zł |
Model Driven Engineering Languages and Systems: 8th International Conference, Models 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
ISBN: 9783540290100 / Angielski / Miękka / 724 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. This book includes 52 papers and 2 keynote abstracts. It covers such topics as process modelling, product families, state/behavioral modeling, design strategies and more.
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, held in Montego Bay, J...
|
|
cena:
384,63 zł |
Knowledge Discovery in Databases: Pkdd 2005: 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal,
ISBN: 9783540292449 / Angielski / Miękka / 719 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The European Conference on Machine Learning (ECML) and the European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) were jointly organized this year for the ?fth time in a row, after some years of mutual independence before. After Freiburg (2001), Helsinki (2002), Cavtat (2003) and Pisa (2004), Porto received the 16th edition of ECML and the 9th PKDD in October 3-7. Having the two conferences together seems to be working well: 585 di?erent paper submissions were received for both events, which maintains the high s- mission standard of last year. Of these, 335...
The European Conference on Machine Learning (ECML) and the European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) w...
|
|
cena:
384,63 zł |
Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, Ida 2003, Berlin, Germany, August 28-30, 2003, Proc
ISBN: 9783540408130 / Angielski / Miękka / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We are glad to present the proceedings of the 5th biennial conference in the Intelligent Data Analysis series. The conference took place in Berlin, Germany, August 28-30, 2003. IDA has by now clearly grown up. Started as a small si- symposium of a larger conference in 1995 in Baden-Baden (Germany) it quickly attractedmoreinterest(bothsubmission-andattendance-wise), andmovedfrom London (1997) to Amsterdam (1999), and two years ago to Lisbon. Submission ratesalongwiththeeverimprovingqualityofpapershaveenabledtheor- nizers to assemble increasingly consistent and high-quality programs. This year...
We are glad to present the proceedings of the 5th biennial conference in the Intelligent Data Analysis series. The conference took place in Berlin, Ge...
|
|
cena:
384,63 zł |
Stabilization, Safety, and Security of Distributed Systems: 8th International Symposium, SSS 2006, Dallas, Tx, Usa, November 17-19, 2006, Proceedings
ISBN: 9783540490180 / Angielski / Miękka / 590 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This symposium has been the main forum for presentation of research results in the area of self-* for 17 years. It started as The Workshop on Self-Stabilizing Systems (WSS), and met in 1989 in Austin, 1995 in Las Vegas, 1997 in Santa Barbara, 1999 in Austin, and 2001 in Lisbon. It was then renamed The S- posium on Self-Stabilizing Systems (SSS), and has since met in 2003 in San Francisco, and in 2005 in Barcelona, Spain. This year, we extended the scope of the symposium to cover all safety and - curity related aspects of self-* systems. The title of the symposium was changed to the...
This symposium has been the main forum for presentation of research results in the area of self-* for 17 years. It started as The Workshop on Self-Sta...
|
|
cena:
384,63 zł |
Neural Nets: A Theory for Brains and Machines
ISBN: 9783540559498 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The purpose of this book is to develop neural nets as astrong theory for both brains and machines. The theory isdeveloped in close correlation with the biology of theneuron and the properties of human reasoning. This approachimplies the following: - Updating the biology of the artificialneuron. Theneurosciences have experienced a tremendous development inthe last 50 years. One of the main purposes of the presentwork is toincorporate this knowledge into a strong model ofthe artificial neuron. Particular attention is devoted toformalizing the complex chemical processes at the synapticlevel....
The purpose of this book is to develop neural nets as astrong theory for both brains and machines. The theory isdeveloped in close correlation with th...
|
|
cena:
384,63 zł |
Innovations in Applied Artificial Intelligence: 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence an
ISBN: 9783540265511 / Angielski / Miękka / 858 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Intelligent systems are those which produce intelligent o?springs." AI researchers have been focusing on developing and employing strong methods that are capable of solving complex real-life problems. The 18th International Conference on Industrial & Engineering Applications of Arti?cial Intelligence & Expert Systems (IEA/AIE 2005) held in Bari, Italy presented such work performed by many scientists worldwide. The Program Committee selected long papers from contributions presenting more complete work and posters from those reporting ongoing research. The Committee enforced the rule that only...
"Intelligent systems are those which produce intelligent o?springs." AI researchers have been focusing on developing and employing strong methods that...
|
|
cena:
384,63 zł |