الصفحة 8
الصفحة 8
Theoretical Aspects of Computing – ICTAC 2007 ; 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The 29 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 69 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.
Theoretical Aspects of Computing - ICTAC 2006 ; 3rd International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full papers presented together with three invited talks and summaries of two tutorials were carefully reviewed and selected from 78 submissions.
Theoretical Aspects of Computing - ICTAC 2005; Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
International Colloquium on Theoretical Aspects of Computing. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providing a venue for the discussion of common problems and their solutions, and for the exchangeof experiences and ideas, this colloquium supports research and development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.
Theoretical Aspects of Computing - ICTAC 2004 ; 1st International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on concurrent and distributed systems, model integration and theory unification, program reasoning and testing, verification, theories of programming and programming languages, real-time and co-design, and automata theory and logics.
Theoretical and Quantum Mechanics : Fundamentals for Chemists
Theoretical and Quantum Mechanics: Fundamentals provides an introduction to theoretical and quantum mechanics for chemists. The book includes carefully selected quantum mechanics topics of the most fundamental interest and use for chemists and classical mechanics topics that relate and illuminate these. A comprehensive treatment is given wherever possible. The book acquaints the chemists with the quantum structure of the basic object of chemistry – the atom – and the author bridges the gap between classical physics, general and inorganic chemistry, and quantum mechanics.
Theoretical and Practical Advances in Computer-based Educational Measurement
Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical possibilities. The book not only addresses several improvements in the quality of educational measurement and innovations in (inter)national large scale assessments, but also several advances in psychometrics and improvements in computerized adaptive testing. Moreover, it also offers examples on the impact of new technology in assessment. By bringing together expertise from this variety of fields, advances in assessment are fostered and stimulated. It discussed, among which are review systems tailored for the evaluation of the quality of computer-based educational tests, the Curie-Weiss model as a paradigm for the analysis of educational data, Bayesian techniques to decide on mastery in formative educational measurement and the comparison of Elo chess ratings as strategies for on-the-fly item calibration in computerized adaptive tests.
Theoretical and Numerical Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated Soils." The primary objective is to discuss and understand unsaturated soil behaviour such that engineered activities are made better with times in terms of judgement and quality. We all realise by now that in addition to the knowledge on the classical concepts, it becomes an enormous challenging task to adapt convincing new concepts and present them in such a way that it could be used in engineering practices.
Theoretical and Experimental DNA Computation
Provides a broad overview of the entire field of DNA computation, tracing its history and development. It contains detailed descriptions of all major theoretical models and experimental results to date, which are lacking in existing texts, and discusses potential future developments. This book will provide a useful reference source for researchers and students, as well as an accessible introduction for people new to the field. The field of DNA computation has flourished since the publication of Adleman's seminal article, in which he demonstrated for the first time how a computation may be performed at a molecular level by performing standard operations on a tube of DNA strands. Since Adleman's original experiment, interest in DNA computing has increased dramatically. This monograph provides a detailed survey of the field, before describing recent theoretical and experimental developments. It concludes by outlining the challenges faced by researchers in the field and suggests possible future directions.
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing
This book comprises a selection of papers from the IFSA 2007 World Congress on theoretical advances and applications of fuzzy logic and soft computing. These papers were selected from over 400 submissions and constitute an important contribution to the theory and applications of fuzzy logic and soft computing methodologies. Soft Computing consists of several computing paradigms, including fuzzy logic, neural networks, genetic algorithms, and other techniques, which can be used to produce powerful intelligent systems for solving real-world problems. Applications range from pattern recognition to intelligent control and sow the advantages of using soft computing theory and methods. The papers of IFSA 2007 also make a contribution to this goal.
Theorem Proving in Higher Order Logics ; 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalisation of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
Theorem Proving in Higher Order Logics ; 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) held September 10–13, 2007 in Kaiserslautern, Germany. TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving and verification
Theorem proving in higher order logics ; 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.
Theatre as a Medium for Children and Young People : Images and Observations
This book is a journey into the dual territory of educational and theatrical settings. It advances the knowledge in these settings by touching upon provocative questions, by dealing with the limitations and challenging the new possibilities of theatre for young people. It is an attempt to bring intellectual rigour and some theoretical perspectives drawn from recent theatre and aesthetic theory to the field of theatre for young people. It fills the gap in the literature on theatre for young audiences. The author poses questions of the work that are penetrating and thought provoking and clearly stem from her own observations of and reflections upon various kinds of children's theatre (CT) and of 'watching children watching' CT over many years. This book is an analysis of images and arguments in theatre for young people. It aims at triggering the reader's interest in this subject as an artistic, educational and cultural phenomenon.
The Wulff Crystal in Ising and Percolation Models : Ecole d'Eté de Probabilités de Saint-Flour XXXIV - 2004
This volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, starting from a microscopic model. It is intended to be self-contained. Those proofs that can be found only in research papers have been included, whereas results for which the proofs can be found in classical textbooks are only quoted.
The Usage of System Dynamics in Organizational Interventions : A Participative Modeling Approach Supporting Change Management Efforts
Internationalization and globalization are major incentives for companies to change their organizational structures and processes fundamentally. To master the associated problems, especially in the area of human resource management, sound and well planned procedures are indispensable and have to take into account both structural and dynamic aspects.Birgitte Snabe analyzes how system dynamics modeling can be used in learning processes that focus on the transfer of the insights and reasoning behind a strategy forming process. In a second step, she shows how it can support the refining of implementation plans. A case study in action research tradition completes the theoretical discussions.
The Universe Before the Big Bang : Cosmology and String Theory
Terms such as "expanding Universe", "big bang", and "initial singularity", are nowadays part of our common language. The idea that the Universe we observe today originated from an enormous explosion (big bang) is now well known and widely accepted, at all levels, in modern popular culture. But what happens to the Universe before the big bang? And would it make any sense at all to ask such a question? In fact, recent progress in theoretical physics, and in particular in String Theory, suggests answers to the above questions, providing us with mathematical tools able in principle to reconstruct the history of the Universe even for times before the big bang.
The Theory of the Moiré Phenomenon ; Vol. II : Aperiodic Layers
Since The Theory of the Moiré Phenomenon was published it became the main reference book in its field. It provided for the first time a complete, unified and coherent theoretical approach for the explanation of the moiré phenomenon, starting from the basics of the theory, but also going in depth into more advanced research results. However, it is clear that a single book cannnot cover the full breadth of such a vast subject, and indeed, this original volume admittently concentrated on only some aspects of the moiré theory, while other interesting topics had to be left out.
The Theory of Coherent Radiation by Intense Electron Beams
This books delves into the foundations of a device and geometry independent theoretical treatment of a large collection of interacting and radiating electron bunches. Part I deals with the basics of the radiation emission of a single charged particle, paying particular attention to the effect of radiation reaction and dwelling on the corresponding well-known paradoxes. Part II investigates the collective behaviour of a high-density electron bunch where both discrete and continous beam modelling is explored. Part III treats the application to modern systems while still keeping the treatment as general as possible. This book will be mandatory reading for anyone working on the foundations of modern devices such as free electron lasers, plasma accelerators, synchroton sources and other modern sources of bright, coherent radiation with high spectral density.
The Teacher’s Role in Implementing Cooperative Learning in the Classroom
The Teacher's Role in Implementing Cooperative Learning in the Classroom provides readers with a comprehensive overview of the challenges and issues with clear guidelines on how teachers can embed cooperative learning into their classroom curricula to obtain the benefits widely attributed to this pedagogical practice. It does so by using language that is appropriate for both novice and experienced educators. The volume provides: an overview of the major research and theoretical perspectives that underpin the development of cooperative learning pedagogy; outlines how specific small group experiences can promote thinking and learning; discusses the key role teachers play in promoting student discourse; and, demonstrates how interaction style among students and teachers is crucial in facilitating discussion and learning.
The Structure of Physics
Carl Friedrich von Weizsäcker‘s "Aufbau der Physik", first published in 1985, was intended as an overview of his lifelong concern: an understanding of the unity of physics. That is, the idea of a quantum theory of binary alternatives (the so-called ur-theory), a unified quantum theoretical framework in which spinorial symmetry groups are considered to give rise to the structure of space and time.
