This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Agents and Data Mining Interaction, ADMI 2012, held in Valencia, Spain, in June 2012. The 1
This book constitutes the refereed proceedings of the International Conference, VISIGRAPP 2011, the Joint Conference on Computer Vision, Theory and Applications (VISAPP), on Imaging Theory and Applica
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems
This book constitutes the refereed proceedings of the 9th International Conference on Distributed Computing and Internet Technology, ICDCIT 2013, held in Bhubaneswar, India, in February 2013. The 40 f
This book constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2012, held in Vitoria-Gasteiz, Spain, in December 2012. The 7
This book constitutes the refereed proceedings of the 7th Chinese Conference on Biometric Recognition, CCBR 2012, held in Guangzhou, China, in December 2012. The 46 revised full papers were carefully
The annual Congress of the International Academy Laser Medicine and Surgery, called Laser Florence 2011, opened a window on four different sector of laser use on human body: skin, nervous system, teet
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kan
This book constitutes the refereed proceedings of the Third International Conference on Decision and Game Theory for Security, GameSec 2012, held in Budapest, Hungary, in November 2012. The 18 revised
This book constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on Sensor Systems and Software, S-Cube 2012, held in Lisbon, Portugal in June 2012.
Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Networked computing, wireless communications and portable electronic devices
This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012.The 12 revised full papers presen
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised
This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 201
The three volume set LNAI 7506, LNAI 7507 and LNAI 7508 constitutes the refereed proceedings of the 5th International Conference on Intelligent Robotics and Applications, ICIRA 2012, held in Montreal,
The three volume set LNAI 7506, LNAI 7507 and LNAI 7508 constitutes the refereed proceedings of the 5th International Conference on Intelligent Robotics and Applications, ICIRA 2012, held in Montreal,
This book constitutes the refereed proceedings of the 5th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2012, held in Vienna, Austria, in September 2012 in conjun
This book constitutes the refereed proceedings of the 9th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2012, held in Osaka, Japan, in September 2012. The 36 rev
This book constitutes the thoroughly refereed scientific proceedings of the 4th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2012, held in Vienna, Austria, in Ap
This conference brought together world experts to discuss recent advances and discoveries in the science and technology of narrow gap systems. While a variety of novel narrow gap systems have been in
The symposium “Star Clusters in the Era of Large Surveys” was held in Lisbon on Sep 9-10 during the JENAM 2010. It served as a platform for discussing what and how recent, on-going and planned large-a
These proceedings will be of interest to scientists and researchers dealing with laser applications generally, and those in the fields of both environmental applications of lasers and biomedical appli
This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2011-America, held in Fort Lauderdale, FL, USA, in November 2011 - collocated with the 22nd International J
Advances in intensive and critical care medicine occur rapidly. Innovation, training and research are the pillars that support a process deriving from basic science and multiprofessional/multidiscipli
The colloquium “Mossbauer Spectroscopy in Materials Science 2010” was devoted to the application of the Mossbauer effect in various areas as material testing, study of nanoscale systems, metallurgy, m
Beamed Energy Propulsion is the science of propelling objects in space using high power laser or microwave beams. This is the only conference devoted to this fascinating topic, the sixth in a series.
The purpose of the conference was to report recent progress and developments of diophantine aspects of analytic number theory, especially focusing upon the topics in diophantine analysis and related f
Microstructure and Texture in Steels and Other Materials comprises a collection of articles pertaining to experimental and theoretical aspects of the evolution of crystallographic texture and microst
Offers a course that is comprised of a series of 3 lectures for graduate students and professionals in the areas of Astronomy, Astrophysics and Cosmology. This work covers different topics including d
The conference was devoted to a wide range of mathematical problems related to description of quantum physical systems as well as classical ones. From the point of view of physics the main attention w
This book constitutes the refereed proceedings of the 6th International Workshop, IWDW 2007, held in Guangzhou, China, in December 2007.The 24 revised full papers together with 3 invited papers were c
All papers have been peer-reviewed. World renowned experts gathered in symposium style to explore the role of the second law and entropy in quantum theory, cosmology, biology, nonequilibrium, and ener
The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and provide an interdisciplinary perspective on the topic.
This book constitutes the refereed proceedings of the 4th International Conference on Virtual Storytelling, ICVS 2007, held in Saint-Malo, France, in December 2007. The 12 revised full papers, three i
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Computers and Games, CG 2004, held in July 2004. The 21 revised full papers presented together wit
The book presents a range of new developments in the theory and practice of multivariate statistical data analysis. Several contributions illustrate the use of multivariate methods in application fiel
This book constitutes the refereed proceedings of the 18th International Symposium on Computer and Information Sciences, ISCIS 2003, held in Antalya, Turkey in November 2003.The 135 revised papers pre
Optimization problems arising in practice usually contain several random parameters. Hence, in order to obtain optimal solutions being robust with respect to random parameter variations, the mostly av
Biotechnology for Fuels and Chemicals covers the development of new biological agents (such as enzymes or microbes) to carry out targeted conversions, in addition to actual bioprocess development. Top
