This book constitutes the refereed proceedings of HCI and Usability for e-Inclusion, held as the 5th Symposium of the Workgroup …
ISAmI is the International Symposium on Ambient Intelligence, aiming to bring together researchers from various disciplines that constitute the scientific …
It is indeed ironical that in the absence of a complete knowledge of Pathophysiology, clinical cardiologists are left with no …
The 16th International Symposium on Fundamentals of Computation Theory was held in Budapest, Hungary, in August 2007. This symposium drew …
This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in …
This book includes papers from the Symposium, Kingdom of the Coral Seas, November 17, 2007, at the School of Oriental …
Passivation of Metals and Semiconductors, and Properties of Thin Oxide Layers contains a selection of papers presented at PASSIVITY-9, the …
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in …
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in …
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, …
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, …
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in …
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in …
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in …
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to …
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, …
Dark matter research is one of the most fascinating and active fields among current high-profile scientific endeavors. It holds the …
These proceedings provide the latest results on dark matter and dark energy research. The UCLA Department of Physics and Astronomy …
The economic significance of boron (B) in agriculture, horticulture, and forestry has been beyond dispute for several decades. Even in …
Boron is one of the essential micronutrients for higher plants growth and development, and more and more studies have been …
Following a symposium held in Leiden in 1995 a second international gathering took place, also in Leiden, two years later. …
The International Symposium of Acoustical Imaging has been widely recognized as the premier forum for presentations of advanced research result …
The Bruegel Success Story. This small phrase evokes the brand invented by the great Pieter Bruegel the Elder (c. 1526/7-69), …
This book constitutes the refereed proceedings of the 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, held in Sapporo, …
This book constitutes the refereed proceedings of the 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, held in Beijing, …
This book shows the latest frontiers of the research by the most active researchers in the field of numerical mathematics. …
The concept of dynamics and control implies the combination of dynamic analysis and control synthesis. It is essential to gain …
During the last decades, applications of dynamical analysis in advanced, often nonlinear, engineering systems have been evolved in a revolutionary …
Solid cellular materials (foams, lattice materials, honeycombs, etc.) are attractive and have resulted in the creation of an active subject …
Together, Models and Computability and its sister volume Sets and Proofs provide readers with a comprehensive guide to the current …
Professor Peter Hilton is one of the best known mathematicians of his generation. He has published almost 300 books and …
The Abel Symposium 2009 "Combinatorial aspects of Commutative Algebra and Algebraic Geometry", held at Voss, Norway, featured talks by leading …
Based around recent lectures given at the prestigious Ritsumeikan conference, the tutorial and expository articles contained in this volume are …
This volume contains the contributions to a conference that is among the most important meetings in financial mathematics. Serving as …