Search

This book contains peer-reviewed papers from the Second World Landslide Forum, organised by the International Consortium on Landslides (ICL), that took place in September 2011.

This book contains peer-reviewed papers from the Second World Landslide Forum, organised by the International Consortium on Landslides (ICL), that took place in September 2011.

This book contains peer-reviewed papers from the Second World Landslide Forum, organised by the International Consortium on Landslides (ICL), that took place in September 2011.

This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis, ICFCA 2012, held in Leuven, Belgium in May 2012.

The present volume contains the most advanced theories on the martingale approach to central limit theorems.

This book constitutes the thoroughly refereed post-workshop proceedings of the 19th International Workshop on Security Protocols, held in Cambridge, UK, in March 2011.

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.

Brokenness always leads to bigger in the hands of the ultimate Rebuilder .

Defining a formal domain ontology is generally considered a useful, not to say necessary step in almost every software project.

Raymond Boyd, a veteran private investigator, opens the case files of his storied career in Polygraphs and Paper Clip Bracelets.

The present textbook is a somewhat expanded version of the material of a three-semester course I gave in Bochum.

The three-volume set LNCS 8009-8011 constitutes the refereed proceedings of the 7th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences.

The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.

A large part of the global population lives in arid lands which have low rainfall and often lack the water required for sustainable population and economic growth.

Stochastic local search (SLS) algorithms are established tools for the solution of computationally hard problems arising in computer science, business adm- istration, engineering, biology, and various other disciplines.

This book constitutes the refereed proceedings of the 5th International Conference on Brain Inspired Cognitive Systems, BICS 2012, held in Shenyang, Liaoning, China in July 2012.

This book summarises the newest information on seasonal adaptation in animals.

The International Symposium on Experimental Robotics (ISER) is a series of bi-annual meetings which are organized in a rotating fashion around North America, Europe and Asia/Oceania.

These two volumes, LNCS 7076 and LNCS 7077, constitute the refereed proceedings of the Second International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2011, held in Visakhapatnam, India, in December 2011.

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain.

This two-volume set CCIS 173 and CCIS 174 constitutes the extended abstracts of the posters presented during the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 12 other thematically similar conferences.

LION 3, the Third International Conference on Learning and Intelligent Op- mizatioN, was held during January 14-18 in Trento, Italy.

Our image of plants is changing dramatically away from passive entities merely subject to environmental forces and organisms that are designed solely for the accumulation of photosynthate.

Inference control in statistical databases, also known as statistical disclosure limitation or statistical confidentiality, is about finding tradeoffs to the tension between the increasing societal need for accurate statistical data and the legal and ethical obligation to protect privacy of individuals and enterprises which are the source of data for producing statistics.

The concept of CAST, computer aided systems Theory, was introduced by F.

Privacy in statistical databases is about ?

A picture says more than a thousand words.

be copied.

This volume contains the Proceedings of the 7th International Conference on Text, Speech and Dialogue, held in Brno, Czech Republic, in September 2004, under the auspices of the Masaryk University.

The fusion of di?

This volume comprises papers dedicated to data science and the extraction of knowledge from many types of data: structural, quantitative, or statistical approaches for the analysis of data; advances in classification, clustering and pattern recognition methods; strategies for modeling complex data and mining large data sets; applications of advanced methods in specific domains of practice.

Transform your understanding of data and take your career to the next level.

This book constitutes the refereed proceedings of the 6th International Conference on Artificial General Intelligence, AGI 2013, held in Beijing, China, in July/August 2013.

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics.

The three-volume set LNCS 8009-8011 constitutes the refereed proceedings of the 7th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences.

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013.

This monograph identifies the essential characteristics of the objects described by current quantum theory and considers their relationship to space-time.

This book constitutes the thoroughly reviewed post-proceedings of the 9th International Workshop, EUMAS 2011, held in Maastricht, The Netherlands, in November 2011.

This present report, as a second volume of the series entitled "e;Contemporary Logistics in China: an Introduction,"e; follows the same general conceptual organization, yet with updated analysis and discussion of logistics development, under the backdrop of the aftermath of the international financial crisis, the acceleration of the transformation of development mode and the strategic adjustment of the economic structure.

Many economic and social surveys are designed as panel studies, which provide important data for describing social changes and testing causal relations between social phenomena.

Dieses Buch befasst sich mit der Frage, ob es sich bei dem verfassungsmäßigen Grundrecht und dem völkerrechtlich gewährleisteten Menschenrecht der Religionsfreiheit nach philosophisch gerechtfertigten Maßstäben tatsächlich um ein Menschenrecht handelt oder ob es sich eher um ein - vor allem geschichtlich zu erklärendes - Toleranzgebot handelt.

This book constitutes the proceedings of the 8th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2012.

This book and its companion volume, LNCS vols.

This book constitutes the refereed proceedings of the 6th IFIP WG 11.