Computers - Computer Science

In this book, the authors demonstrate how an integration of hermeneutical understanding and scientific explanation can be done via the construction of suited geometrical models with neural networks of processes of understanding. The goal is a unified science.Author: Jürgen Klüver,Christina KlüverISBN-10: 9048199107ISBN-13: 9789048199105Publisher: SpringerLanguage:...

Foreword. I. INTRODUCTION. Synergy between design and technology; Michel Brillouët. II. EMERGING TECHNOLOGY AND DEVICES. New state variable opportunities beyond CMOS: a system perspective; Victor V. Zhirnov, Ralph K. Cavin, George I. Bourianoff. A simple compact model to analyze he impact of ballistic and...

The ?rst International Meeting of Advances in Robot Kinematics, ARK, occurred in September 1988, by invitation to Ljubljana, Slovenia, of a group of 20 int- nationally recognized researchers, representing six different countries from three continents. There were 22 lectures and approximately 150 attendees. This...

IT Security Management provides an insight on how to create and stimulate a team of passionate IT security professionals, so called "securiteers". Their added value to the business is to improve the information security position of organisations.Author: Alberto Partida,Diego AndinaISBN-10: 9048188814ISBN-13: 9789048188819Publisher: SpringerLanguage: EnglishPublished:...

Robust Nano-Computing focuses on various issues of robust nano-computing, defect-tolerance design for nano-technology at different design abstraction levels. It addresses both redundancy- and configuration-based methods as well as fault detecting techniques through the development of accurate computation models and tools. The contents present an...

Efficient Test Methodologies for High-Speed Serial Links describes in detail several new and promising techniques for cost-effectively testing high-speed interfaces with a high test coverage. One primary focus of Efficient Test Methodologies for High-Speed Serial Links is on efficient testing methods for jitter and...

This book describes the theory, design and realization of dynamic offset compensated CMOS amplifiers. It focuses on the design of general-purpose broadband operational amplifiers and instrumentation amplifiers. It also introduces chopper offset stabilization.Author: Frerik Witte,Kofi Makinwa,Johan HuijsingISBN-10: 9048127556ISBN-13: 9789048127559Publisher: SpringerLanguage: EnglishPublished: 07/21/2009Pages: 168Format: HardcoverWeight:...

Agent-based modeling/simulation is an emerging field that uses bottom-up and experimental analysis in the social sciences. Selected research from that presented at the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004, held in May 2004 in Kyoto, Japan, is...

In today's knowledge driven society, the efficiency of the transfer and acquisition of knowledge has gained importance. In order to acquire new knowledge, a user needs information about the problem domain and the concepts within the knowledge structure. This information is required to create...

This work investigates the quantifier elimination problem in real closed fields with respect to the application in description logics. The motivation for the investigation in this topic is mainly based on the demand for an extension of description logic systems to support a default...

This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012. The 242 revised full papers presented in the three volumes LNCS 7389, LNAI 7390, and CCIS 304 were carefully reviewed and...

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing's unique impact...

This book constitutes the refereed proceedings of the 6th International Frontiers of Algorithmics Workshop, FAW 2012, and the 8th International Conference on Algorithmic Aspects in Information and Management, AAIM 2012, jointly held in Beijing, China, in May 2012. The 33 revised full papers presented...

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in...

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all...

Author: Viktor KuncakISBN-10: 3642279392ISBN-13: 9783642279393Publisher: SpringerLanguage: EnglishPublished: 01/12/2012Pages: 457Format: PaperbackWeight: 1.55lbsSize: 9.20h x 6.10w x 1.00d

Author: Natarajan MeghanathanISBN-10: 3642273076ISBN-13: 9783642273070Publisher: SpringerLanguage: EnglishPublished: 12/13/2011Pages: 667Format: PaperbackWeight: 2.30lbsSize: 9.20h x 6.20w x 1.40d

Author: Natarajan MeghanathanISBN-10: 3642272983ISBN-13: 9783642272981Publisher: SpringerLanguage: EnglishPublished: 12/13/2011Pages: 645Format: PaperbackWeight: 2.20lbsSize: 9.20h x 6.20w x 1.30d

Author: Uli FahrenbergISBN-10: 3642243096ISBN-13: 9783642243097Publisher: SpringerLanguage: EnglishPublished: 09/12/2011Pages: 353Format: PaperbackWeight: 1.15lbsSize: 9.20h x 6.10w x 0.80d

This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 2011. The 16 papers presented together with 4 invited talks were carefully reviewed and selected from 24 submissions. The workshop deals with...

Author: Hans Van DitmarschISBN-10: 3642241298ISBN-13: 9783642241291Publisher: SpringerLanguage: EnglishPublished: 09/13/2011Pages: 403Format: PaperbackWeight: 1.30lbsSize: 9.20h x 6.10w x 0.90d

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2011, held in Norwich, UK, in September 2011. The 59 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in...

This book constitutes the refereed proceedings of the 19th Annual European Symposium on Algorithms, ESA 2011, held in Saarbrücken, Germany, in September 2011 in the context of the combined conference ALGO 2011. The 67 revised full papers presented were carefully reviewed and selected from...

Author: Jun ZhangISBN-10: 3642232256ISBN-13: 9783642232251Publisher: SpringerLanguage: EnglishPublished: 08/02/2011Pages: 727Format: PaperbackWeight: 2.50lbsSize: 9.30h x 6.00w x 1.60d

The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied Informatics and Communication, ICAIC 2011, held in Xi'an, China in August 2011. The 446 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover...

The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied Informatics and Communication, ICAIC 2011, held in Xi'an, China in August 2011.The 446 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover a...

The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied Informatics and Communication, ICAIC 2011, held in Xi'an, China in August 2011.The 446 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover a...

The five volume set CCIS 224-228 constitutes the refereed proceedings of the International conference on Applied Informatics and Communication, ICAIC 2011, held in Xi'an, China in August 2011.The 446 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover a...

This book constitutes the proceedings of the 6th Brazilian Symposium on Bioinformatics, BSB 2011, held in Brasília, Brazil, in August 2011. The 8 full papers and 4 extended abstracts presented were carefully peer-reviewed and selected for inclusion in this book. The BSB topics of...

This book constitutes the proceedings of the 8th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2011, held in Changsha, China, in July 2011. The 25 papers presented were carefully reviewed and selected from 43 submissions. The volume also contains extended abstracts of...

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Optical SuperComputing, OSC 2010, held in Bertinoro, Italy, in November 2010. The 13 papers presented were carefully reviewed and selected for inclusion in this book. Being an annual forum for...

Author: Luca AcetoISBN-10: 3642220118ISBN-13: 9783642220111Publisher: SpringerLanguage: EnglishPublished: 06/27/2011Pages: 666Format: PaperbackWeight: 2.30lbsSize: 9.20h x 6.20w x 1.50d

Author: Beniamino MurganteISBN-10: 3642219306ISBN-13: 9783642219306Publisher: SpringerLanguage: EnglishPublished: 06/15/2011Pages: 700Format: PaperbackWeight: 2.50lbsSize: 9.30h x 6.20w x 1.60d

Author: Beniamino MurganteISBN-10: 3642219330ISBN-13: 9783642219337Publisher: SpringerLanguage: EnglishPublished: 06/15/2011Pages: 662Format: PaperbackWeight: 2.40lbsSize: 9.30h x 6.20w x 1.50d

Author: Beniamino MurganteISBN-10: 3642219276ISBN-13: 9783642219276Publisher: SpringerLanguage: EnglishPublished: 06/15/2011Pages: 728Format: PaperbackWeight: 2.65lbsSize: 9.30h x 6.10w x 1.70d

The two LNAI volumes 6678 and 6679 constitute the proceedings of the 6th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2011, held in Wroclaw, Poland, in May 2011. The 114 papers published in these proceedings were carefully reviewed and selected from 241 submissions....

The two LNAI volumes 6678 and 6679 constitute the proceedings of the 6th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2011, held in Wroclaw, Poland, in May 2011. The 114 papers published in these proceedings were carefully reviewed and selected from 241 submissions....

This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam, The Netherlands, in May/June 2011. This conference merges the RelMICS (Relational Methods in Computer Science) and AKA (Applications of Kleene Algebra)...

Author: Claudio Agostino ArdagnaISBN-10: 3642210392ISBN-13: 9783642210396Publisher: SpringerLanguage: EnglishPublished: 05/12/2011Pages: 392Format: PaperbackWeight: 1.35lbsSize: 9.30h x 6.10w x 0.90d

Author: Jordi Domingo-PascualISBN-10: 3642207979ISBN-13: 9783642207976Publisher: SpringerLanguage: EnglishPublished: 04/28/2011Pages: 381Format: PaperbackWeight: 1.30lbsSize: 9.30h x 6.10w x 0.90d

The two-volume set LNAI 6634 and 6635 constitutes the refereed proceedings of the 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2011, held in Shenzhen, China in May 2011. The total of 32 revised full papers and 58 revised short papers were...

Author: Jordi Domingo-PascualISBN-10: 3642207561ISBN-13: 9783642207563Publisher: SpringerLanguage: EnglishPublished: 04/28/2011Pages: 473Format: PaperbackWeight: 1.60lbsSize: 9.30h x 6.10w x 1.10d

Author: Alexander KulikovISBN-10: 3642207111ISBN-13: 9783642207112Publisher: SpringerLanguage: EnglishPublished: 06/03/2011Pages: 471Format: PaperbackWeight: 1.60lbsSize: 9.30h x 6.10w x 1.10d

Author: Cecilia Di ChioISBN-10: 3642205194ISBN-13: 9783642205194Publisher: SpringerLanguage: EnglishPublished: 04/19/2011Pages: 513Format: PaperbackWeight: 1.90lbsSize: 9.10h x 6.10w x 1.00d

Author: Cecilia Di ChioISBN-10: 3642205240ISBN-13: 9783642205248Publisher: SpringerLanguage: EnglishPublished: 04/19/2011Pages: 367Format: PaperbackWeight: 1.35lbsSize: 9.20h x 6.20w x 0.90d

This book constitutes the refereed proceedings of the 9th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2011, held in Torino, Italy, in April 2011 co-located with the Evo* 2011 events. The 12 revised full papers presented together with...

This book constitutes the refereed proceedings of the 11th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2011, held in Torino, Italy, in April 2011. The 22 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers present the...

The two-volume set LNAI 6591 and LNCS 6592 constitutes the refereed proceedings of the Third International Conference on Intelligent Information and Database Systems, ACIIDS 2011, held in Daegu, Korea, in April 2011. The 110 revised papers presented together with 2 keynote speeches were carefully...

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood...

Simplicity in nature is the ultimate sophistication. The world's magnificence has been enriched by the inner drive of instincts, the profound drive of our everyday life. Instinct is an inherited behavior that responds to environmental stimuli. Instinctive computing is a computational simulation of biological...