The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering.
It is both an honor and a pleasure to hold the 27th Annual Meeting of the German Association for Pattern Recognition, DAGM 2005, at the Vienna U- versity of Technology, Austria, organized by the Pattern Recognition and Image Processing (PRIP) Group.
The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.
Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable functionalities in software and systems, with building blocks and MDD, and she strives for coherence and alignment in complex systems through verification, model checking and workflow synthesis.
The five-volume set LNCS 14961, 14962, 14963, 14964 and 14965 constitutes the refereed proceedings of the 8th International Joint Conference on Web and Big Data, APWeb-WAIM 2024, held in Jinhua, China, during August 30-September 1, 2024.
This book is based on a symposium to celebrate Eric Yu, the inventor of the i* framework, held on the occasion of his retirement and collocated with the 31st IEEE International Requirements Engineering Conference.
This book constitutes the refereed proceedings of the Doctoral Consortium and Workshops on New Trends in Database and Information Systems, ADBIS 2023, held in Barcelona, Spain, during September 4-7, 2023.
This book constitutes the refereed proceedings of the 23rd International Conference on Next Generation Wired/Wireless Networking, NEW2AN 2023, and the 16th Conference on Internet of Things and Smart Spaces, ruSMART 2023, held in Dubai, United Arab Emirates, in December 21-22, 2023.
This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics.
This book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna, Tenerife, Spain, during May 22-24, 2024.
The aim of this edited book is to provide a point of reference for the latest advancements in the different fields of interactive media applied in Digital Cultural Heritage research, ranging from visual data acquisition, classification, analysis and synthesis, 3D modelling and reconstruction, to new forms of interactive media presentation, visualization and immersive experience provision via extended reality, collaborative spaces, serious games and digital storytelling.
Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable functionalities in software and systems, with building blocks and MDD, and she strives for coherence and alignment in complex systems through verification, model checking and workflow synthesis.
This book constitutes the refereed proceedings of the 31th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2024, held in Haifa, Israel in May 2024.
This five-volume set LNCS 14712-14716 constitutes the refereed proceedings of the 13th International Conference on Design, User Experience, and Usability, DUXU 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 - July 4, 2024.
Navigating the realm where physics intersects with programming, this book serves as an indispensable guide for students embarking on their journey with Julia.
The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.
The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.
The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.
The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.
Alias|Wavefront's Maya 3D animation software is an integrated collection of tools for creating computer generated images, used in nearly every blockbuster special effects film that has been released in the last few years.
Ontological Engineering refers to the set of activities that concern the ontology development process, the ontology life cycle, the methods and methodologies for building ontologies, and the tool suites and languages that support them.
Object-oriented analysis and design (OOAD) has over the years, become a vast field, encompassing such diverse topics as design process and principles, documentation tools, refactoring, and design and architectural patterns.
Scientific Data Analysis using Jython Scripting and Java presents practical approaches for data analysis using Java scripting based on Jython, a Java implementation of the Python language.
This book contains the research on modeling bodies, cloth and character based adaptation performed during the last 3 years at MIRALab at the University of Geneva.
