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 …