Page 3
Page 3
Innovations in Applied Artificial Intelligence ; 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings
The contributions oriented to the technological aspects of AI and the quality of the papers are witness to a research activity clearly aimed at consolidating the theoretical results that have already been achieved. The c- ference program also included two invited lectures, by Katharina Morik and Roberto Pieraccini. Many people contributed in different ways to the success of the conference and to this volume. The authors who continue to show their enthusiastic interest in applied intelligence research are a very important part of our success. We highly appreciate the contribution of the members of the Program Committee, as well as others who reviewed all the submitted papers with eficiency and dedication.
Information Security and Cryptology - ICISC 2004 ; 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers
The 7th International Conference on Information Security and Cryptology was organized by the Korea Institute of Information Security and Cryptology (KIISC) and was sponsored by the Ministry of Information and Communi- tion of Korea. The conference received 194 submissions, and the Program Committee - lected 34 of these for presentation. The conference program included two invited lectures.MikeReiterspokeon“Securityby,andfor,ConvergedMobileDevices.” And Frank Stajano spoke on “Security for Ubiquitous Computing.” We would like to ?rst thank the many researchers from all over the world who subm- ted their work to this conference. An electronic submission process was ava- able. The submission review process had two phases. In the ?rst phase, Program Committeememberscompiledreports(assisteda...
Infinite dimensional algebras and quantum integrable systems
This volume presents the invited lectures of the workshop "Infinite Dimensional Algebras and Quantum Integrable Systems'' .ecent developments in the theory of infinite dimensional algebras and their applications to quantum integrable systems are reviewed by some of the leading experts in the field. The volume will be of interest to a broad audience from graduate students to researchers in mathematical physics and related fields.
Inductive logic programming ; 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, held in Prague, Czech Republic, in September 2008.The 20 revised full papers presented together with the abstracts of 5 invited lectures were carefully reviewed and selected during two rounds of reviewing and improvement from 46 initial submissions. All current topics in inductive logic programming are covered, ranging from theoretical and methodological issues to advanced applications. The papers present original results in the first-order logic representation framework, explore novel logic induction frameworks, and address also new areas such as statistical relational learning, graph mining, or the semantic Web.
Implementation and Application of Automata ; Vol. 3845 ; 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
Contains the notes of the two invited lectures, the 26 papers selected for presentation at the conference, and the abstracts of the eight posters that were displayed.
Il metodo clinico rivisitato : Lezioni e seminari di clinica medica = The Clinical Method Revisited : Clinical Medical Lectures and Seminars
This volume, dedicated to medical students who live the exciting moment of initiation into the medical profession, is structured in eleven didactic modules, which are developed according to the typical sequence of problem solving revised in the light of the EBM method (presentation of problem, formulation and testing of hypotheses, formulation of clinical and background questions, comparison with international literature, answer to questions, application to the clinical case and possible formulation of recommendations for practice, case management). Linked to them are eight in-depth analyzes structured as compendia of evidence (Evidence compendia, in the style of Clinical Evidence), in which a series of background questions relating to complex pathologies, of high prevalence and of considerable interest for the hospital internist and of the territory. Although fundamentally designed for teaching, the book can also be a useful tool for all those who practice medicine by placing the man with his disease at the center of the diagnostic-therapeutic procedure.
III European Conference on computational mechanics : Solids, structures and coupled problems in engineering : Book of abstracts
Computational Mechanics in Solid, Structures and Coupled Problems in Engineering is today a mature science with applications to major industrial projects. This book contains the edited version of the Abstracts of Plenary and Keynote Lectures and Papers, and a companion CD-ROM with the full-length papers, presented at the III European Conference on Computational Mechanics: Solids, Structures and Coupled Problems in Engineering (ECCM-2006), The book reflects the state-of-art of Computation Mechanics in Solids, Structures and Coupled Problems in Engineering and it includes contributions by the world most active researchers in this field.
Hyperbolic Systems of Balance Laws : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 14-21, 2003
The present Cime volume includes four lectures by Bressan, Serre, Zumbrun and Williams and an appendix with a Tutorial on Center Manifold Theorem by Bressan. Bressan’s notes start with an extensive review of the theory of hyperbolic conservation laws. Then he introduces the vanishing viscosity approach and explains clearly the building blocks of the theory in particular the crucial role of the decomposition by travelling waves. Serre focuses on existence and stability for discrete shock profiles, he reviews the existence both in the rational and in the irrational cases and gives a concise introduction to the use of spectral methods for stability analysis. Finally the lectures by Williams and Zumbrun deal with the stability of multidimensional fronts.
Hybrid Learning and Education ; 1st International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings
This book constitutes the refereed proceedings of the First International Conference on Hybrid Learning, ICHL 2008, held in Hong Kong, China, in August 2008.The 38 revised full papers presented together with 3 keynote lectures were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on hybrid education, model and pedagogies for hybrid learning, trends, pervasive learning, mobile and ubiquitous learning, hybrid learning experiences, hybrid learning systems, technologies, as well as contextual attitude and cultural effects.
Human-centered visualization environments : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Papers
This tutorial book features an augmented selection of the material presented at the GI-Dagstuhl Research Seminar on Human-Centered Visualization Environments, HCVE 2006, held in Dagstuhl Castle, Germany in March 2006. It presents eight tutorial lectures that are the thoroughly cross-reviewed and revised versions of the summaries and findings presented and discussed at the seminar.
Hot Topics in Infection and Immunity in Children IV
Hot Topics in Infection and Immunity in Children IV contains chapters based on lectures given by speakers at the “Infection and Immunity in Children” course, held in June 2006 at Keble College, Oxford. It was the fourth annual course of this name and this is the fourth book in the series as well. Together the courses and books have become important components of the training available to paediatricians with an interest in this specialty and have become increasingly popular each year. This book covers topics in infectious diseases in children and is intended for Pediatric Infectious Disease trainees, trainers, and all those who manage children with infections.
Hardware and software : Verification and testing ; 1st International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery.
Hamiltonian Dynamics - Theory and Applications : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 1-10, 1999
This volume collects three series of lectures on applications of the theory of Hamiltonian systems, contributed by some of the specialists in the field. The aim is to describe the state of the art for some interesting problems, such as the Hamiltonian theory for infinite-dimensional Hamiltonian systems, including KAM theory, the recent extensions of the theory of adiabatic invariants and the phenomena related to stability over exponentially long times of Nekhoroshev's theory. The books may serve as an excellent basis for young researchers, who will find here a complete and accurate exposition of recent original results and many hints for further investigation.
Hamiltonian dynamical systems and applications
This volume is the collected and extended notes from the lectures on Hamiltonian dynamical systems and their applications that were given at the NATO Advanced Study Institute in Montreal in 2007. Many aspects of the modern theory of the subject were covered at this event, including low dimensional problems as well as the theory of Hamiltonian systems in infinite dimensional phase space; these are described in depth in this volume. Applications are also presented to several important areas of research, including problems in classical mechanics, continuum mechanics, and partial differential equations. These lecture notes cover many areas of recent mathematical progress in this field, including the new choreographies of many body orbits, the development of rigorous averaging methods which give hope for realistic long time stability results, the development of KAM theory for partial differential equations in one and in higher dimensions, and the new developments in the long outstanding problem of Arnold diffusion.
Gravitation and Experiment : Poincaré Seminar 2006
This book is the sixth in a series of lectures of the S´ eminaire Poincar´ e,whichis directed towards a large audience of physicists and of mathematicians. The goal of this seminar is to provide up-to-date information about general topics of great interest in physics. Both the theoretical and experimental aspects are covered, with some historical background.
Graph Transformations ; 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008.The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations.
Geometric and Topological Methods for Quantum Field Theory
This volume offers an introduction, in the form of four extensive lectures, to some recent developments in several active topics at the interface between geometry, topology and quantum field theory. The first lecture is by Christine Lescop on knot invariants and configuration spaces, in which a universal finite-type invariant for knots is constructed as a series of integrals over configuration spaces. This is followed by the contribution of Raimar Wulkenhaar on Euclidean quantum field theory from a statistical point of view. The author also discusses possible renormalization techniques on noncommutative spaces. The third lecture is by Anamaria Font and Stefan Theisen on string compactification with unbroken supersymmetry. The authors show that this requirement leads to internal spaces of special holonomy and describe Calabi-Yau manifolds in detail. The last lecture, by Thierry Fack, is devoted to a K-theory proof of the Atiyah-Singer index theorem and discusses some applications of K-theory to noncommutative geometry. These lectures notes, which are aimed in particular at graduate students in physics and mathematics, start with introductory material before presenting more advanced results. Each chapter is self-contained and can be read independently.
Generative and transformational techniques in software engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held in Braga, Portugal, in July 2007.The 7 tutorial lectures presented together with 5 short tutorials and 4 contributions to the participants workshop were carefully selected during multiple rounds of reviewing and improvement. The tutorials given by renowned representatives of complementary approaches and problem domains combine foundations, methods, examples, and tool support.
Generative and transformational techniques in software engineering ; International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2005. The book comprises 7 tutorial lectures presented together with 8 technology presentations and 6 contributions to the participants workshop.
Fundamental approaches to software engineering ; Vol. 3442 ; 8th International Conference, FASE 2005, Held as Part of the Joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.
