The papers published here highlight the contributions of leading researchers in the field who are working with object-oriented technology, theory and practice. Meer
@EOI: AEI rEOMETPEI Epigram of the Academy of Plato in Athens Electromagnetism, the science of forces arising from Amber (HAEKTPON) and the stone of Magnesia (MArNHLIA), has been the fOWldation of major scientific breakthroughs, such as Quantum Mechanics and Theory of Relativity, as well as most leading edge technologies of the twentieth century. Meer
Control theory provides a large set of theoretical and computational tools with applications in a wide range of ?elds, running from ”pure” branches of mathematics, like geometry, to more applied areas where the objective is to ? Meer
Constructing a great map of the sciences has been a persistent dream since the Middle Ages. In modern times this need has become even more urgent because of the requirement to combine and link research in adjacent areas, often resulting in new disciplines such as bioinformatics and nanotechnologies. Meer
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. Meer
This book offers a self-contained introduction to the theory of guiding functions methods, which can be used to study the existence of periodic solutions and their bifurcations in ordinary differential equations, differential inclusions and in control theory. Meer
This book constitutes the refereed proceedings of the International Conference on the Applications of Evolutionary Computation, EvoApplications 2013, held in Vienna, Austria, in April 2013, colocated with the Evo* 2013 events EuroGP, EvoCOP, EvoBIO, and EvoMUSART. Meer
This two-volume set, consisting of LNCS 7816 and LNCS 7817, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, CICLING 2013, held on Samos, Greece, in March 2013. Meer
This two-volume set, consisting of LNCS 7816 and LNCS 7817, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, CICLING 2013, held on Samos, Greece, in March 2013. Meer
Singular time-delay systems are very suitable to describe a lot of practical systems such as manufacturing systems, networked control systems, power systems and electrical circuits. Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2012, held in Tokyo, Japan, in September 2012. Meer
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. Meer
This book constitutes the refereed proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009, held in Lyon, France, in November 2009. Meer
From an engineering standpoint, the increasing complexity of robotic systems and the increasing demand for more autonomously learning robots, has become essential. Meer
Intelligent Information Systems (IIS) can be defined as the next generation of Information Systems (IS) developed as a result of integration of AI and database (DB) technologies. Meer
th This book contains the best papers of the 5 International Conference on e-Business and Telecommunications (ICETE), which was held in July 2008, in Porto, Portugal. Meer
This book contains the best papers of the Third International Conference on Software and Data Technologies (ICSOFT 2008), held in Porto, Portugal, which was organized by the Institute for Systems and Technologies of Information, Communication and Control (INSTICC), co-sponsored by the Workflow Management Coalition (WfMC), in cooperation with the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST). Meer
The Mexican International Conference on Arti?cial Intelligence (MICAI), a yearly international conference organized by the Mexican Society for Arti?cial Intelligence (SMIA), is a major international AI forum and the main event in the academic life of the country’s growing AI community. Meer
Requirements-Engineering befasst sich mit Vorgehensweisen zur Präzisierung der Problemstellung zu Beginn einer Systementwicklung. Ziel ist es, die Qualität zu verbessern und Fehlverhalten zu vermeiden, um Entwicklungskosten zu senken. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books