This book uses meta-analysis to synthesize research on scaffolding and scaffolding-related interventions in STEM (science, ...
Lire la suite
This book presents a detailed derivation of the spectral properties of the Recursion Operators allowing one to derive all ...
Lire la suite
Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom ...
Lire la suite
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suite
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lire la suite
The book presents the latest developments in simulation of integrated processes as well as new methods of process synthesis ...
Lire la suite
This book constitutes the refereed proceedings of the First European Conference on Intelligence and Security Informatics, ...
Lire la suite
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, ...
Lire la suite
The 2007 NSF BioSurveillance Workshop (BioSurveillance 2007) was built on the success of the first NSF BioSurveillance Workshop, ...
Lire la suite
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
Lire la suite
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held ...
Lire la suite
Introduces intelligent solving algorithms for classical packing and cutting problem and their variants Investigates novel ...
Lire la suite
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lire la suite
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic ...
Lire la suite
This book is a comprehensive collection of chapters focusing on the core areas of computing and their further applications ...
Lire la suite
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings ...
Lire la suite
Explores the economics and technology of AI, IOT, and 5G integration Delivers a comprehensive technological and economic ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Data Engineering and Automated ...
Lire la suite
This book includes contributions from leading researchers in the field beginning with the foundations of human decision making ...
Lire la suite