The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. This correspondence has been
This book constitutes the refereed proceedings of the 13th International Conference on Data Warehousing and Knowledge Discovery, DaWak 2011 held in Toulouse, France in August/September 2011. The 37 re
A large international conference in Electrical Engineering and Applied Computing was just held in London, 30 June – 2 July, 2010. This volume will contain revised and extended research articles writte
The two-volume set LNCS 6773-6774 constitutes the refereed proceedings of the International Conference on Virtual and Mixed Reality 2011, held as Part of HCI International 2011, in Orlando, FL, USA, i
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2011, held in Toulouse, France, in Aug
The two-volume set LNCS 6769 + LNCS 6770 constitutes the proceedings of the First International Conference on Design, User Experience, and Usability, DUXU 2011, held in Orlando, FL, USA in July 2011 i
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
This four-volume set LNCS 6761-6764 constitutes the refereed proceedings of the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly w
This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in Octo
In the last one hundred years, a number of catastrophic events associated with rockslide dam formation and failure have occurred in the mountain regions of the world. This book presents a global view
Sensors and Microsystems contains a selection of papers presented at the 15th Italian Conference on Sensors and Microsystems. It provides a unique perspective on the research and development of sensor
This book contains selected papers from the Colloquium in Honor of Alain Lecomte, held in Pauillac, France, in November 2007. The event was part of the ANR project "Prelude" (Towards Theoretical Pragm
“General Relativity Without Calculus” offers a compact but mathematically correct introduction to the general theory of relativity, assuming only a basic knowledge of high school mathematics and physi
This book constitutes the refereed proceedings of the 5th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2011, held in Nancy, France, in June 2011. The 11 revised
This book constitutes the proceedings of the 9th IFIP TC 6 International Conference on Wired/Wireless Internet Communications, WWIC 2011, held in Vilanova i la Geltru, Spain, in June 2011. The 26 cont
This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2
This book constitutes the refereed proceedings of the 16th Scandinavian Conference on Image Analysis, SCIA 2011, held in Ystad, Sweden, in May 2011. The 74 revised full papers presented were carefully
This book constitutes the refereed proceedings of the Third International Workshop on Ambient Assisted Living, IWAAL 2011, held in Torremolinos-Malaga, Spain, in June 2011 as a satellite event of IWAN
The two-volume set LNCS 6753/6754 constitutes the refereed proceedings of the 8th International Conference on Image and Recognition, ICIAR 2011, held in Burnaby, Canada, in June 2011. The 84 revised f
This book constitutes the refereed proceedings of the 4th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2011, held in Moscow, Russia in June/July 2011. The 65 revised
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Computational Forensics, IWCF 2010, held in Tokyo, Japan in November 2010. The 16 revised full paper
This book constitutes the refereed proceedings of the 8th International Workshop on Self-Organizing Maps, WSOM 2011, held in Espoo, Finland, in June 2011. The 36 revised full papers presented were car
Arc Volcano of Japan analyzes the origin of the Earth’s continental crust. The text considers both tectonic and igneous processes, covering topics like sedimentary accretion, terrane accretion, and th
Consequences of quantum gravity on grander scales are expected to be enormous: only such a theory can show how black holes really behave and where our universe came from. Applications of loop quantum
This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2010, held in Washington, DC, USA, in October 2010 - collocated with t
The two volumes, LNCS 6686 resp. LNCS 6687, constitute the refereed proceedings of the 4th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2011, held
This volume constitutes the refereed proceedings of the 5th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Mobile Devices in Wireless Communi
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revis
This book constitutes the proceedings of the 6th International Conference on Functional Imaging and Modeling of the Heart, held in New York City, NY, USA in May 2011.The 24 revised full papers present
This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset of the type space of a theory that behaves in many ways like the space of types in a stable theory. This part begins with an introduction to the key ideas of stability theory for stably dominated types. Part II continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research presented here is made accessible to the general model theorist by the inclusion of the introductory sections of each part.
This book constitutes the refereed proceedings of the 14th European Conference on Genetic Programming, EuroGP 2011, held in Torino, Italy, in April 2011 co-located with the Evo* 2011 events. This 20 r
This book is dedicated to new mathematical instruments assigned for logical modeling of the memory of digital devices. The case in point is logic-dynamical operation named venjunction and venjunctive
2010 First International Conference on Electrical and Electronics Engineering was held in Wuhan, China December 4-5. Advanced Electrical and Electronics Engineering book contains 72 revised and exten
The two volumes, LNCS 6686 resp. LNCS 6687, constitute the refereed proceedings of the 4th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2011, held
In recent years fractional calculus has been rediscovered by scientists and engineers and applied in an increasing number of fields. This book gives a practical and multidisciplinary overview of Fract
This book constitutes the refereed proceedings of the Third Computational Color Imaging Workshop, CCIW 2010, held in Milan, Italy, in April 2010. The 16 revised full papers, presented together with th
This two volume set LNCS 6587 and LNCS 6588 constitutes the refereed proceedings of the 16th International Conference on Database Systems for Advanced Applications, DASFAA 2011, held in Saarbrucken, G
This book constitutes the refereed proceedings of the 33rd annual European Conference on Information Retrieval Research, ECIR 2011, held in Dublin, Ireland, in April 2010. The 45 revised full papers p
This book constitutes the workshop proceedings of the 16th International Conference on Database Systems for Advanced Applications, DASFAA 2011, held in Hong Kong, China, in April 2011. The volume cont
This two volume set LNCS 6587 and LNCS 6588 constitutes the refereed proceedings of the 16th International Conference on Database Systems for Advanced Applications, DASFAA 2011, held in Saarbrucken, G
