الصفحة 91
الصفحة 91
Theoretical Kaleidoscope
The book is based on lectures given by the author over many years. The main source of problems addressed in the book are taken from the author's own investigations, as well as discussions with colleagues and students. With this book, the author hopes readers will be able to see the examples and engage in thoughtful discussions and arguments of their own. Topics discussed in this book include: classical mechanics / wave phenomena / atomic physics / semiclassical approximation in complex plane / quantum electrodynamics
Theoretical Introduction to Programming
Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in a menu of 1001 others? Are you frustrated by the plethora of languages that ultimately do the same thing? Would you like your skills to give you lasting and intrinsic worth as an expert programmer, instead of going stale like last week's bread? Would you like to know more about the nature and limits of programming? Can code be written so that it is intrinsically robust? Written rapidly without sacrificing reliability? Written generically without iterative loops, without recursion, or even variables? This book shows you how. Densely packed with explicit techniques on each page, this book takes you from a rudimentary understanding of programming into the world of deep technical software development.
Theoretical Femtosecond Physics : Atoms and Molecules in Strong Laser Fields
Theoretical femtosecond physics is a new field of research. Theoretical investigations of atoms and molecules interacting with pulsed or continuous wave lasers of up to atomic field strengths are leading to an understanding of many challenging experimental discoveries. Laser-matter interaction is treated on a nonperturbative level in the book using approximate and numerical solutions of the time-dependent Schrödinger equation. The light field is treated classically. Physical phenomena, ranging from ionization of atoms to the ionization and dissociation of molecules and the control of chemical reactions are presented and discussed. Theoretical background for experiments with strong and short laser pulses is given. Several exercises are included in the main text. Some detailed calculations are performed in the appendices.
Theoretical computer science and discrete mathematics
Includes 15 articles published in the Special Issue "Theoretical Computer Science and Discrete Mathematics" of Symmetry (ISSN 2073-8994). This Special Issue is devoted to original and significant contributions to theoretical computer science and discrete mathematics. The aim was to bring together research papers linking different areas of discrete mathematics and theoretical computer science, as well as applications of discrete mathematics to other areas of science and technology. The Special Issue covers topics in discrete mathematics including (but not limited to) graph theory, cryptography, numerical semigroups, discrete optimization, algorithms, and complexity.
Theoretical Computer Science ; Vol. 3895 : Essays in Memory of Shimon Even
the book is a very fitting tribute to the legacy of Shimon Even.Shimon Even was considered a superb teacher in Computer Science that had great influence on his listeners and students. … The editors attempted to a wide range of research contribution in the first part of the book accessible to a wide range of researchers by using both experts and nonexperts as reviewers. They succeeded in this attempt. The papers are accessible to anybody with some background in theoretical computer science.
Theoretical Computer Science ; Vol. 3701 ; 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS 2005, held at the Certosa di Pontignano, Siena, Italy, in October 2005. The 29 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 83 submissions. The papers address all current issues in theoretical computer science and focus especially on analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, foundations of programming languages and program analysis, natural computing paradigms (quantum computing, bioinformatics), program specification and verification, term rewriting, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.
Theoretical Atomic Physics
This established text and reference contains an advanced presentation of quantum mechanics adapted to the requirements of modern atomic physics. It includes topics of great current interest such as semiclassical theory, chaos and Bose-Einstein condensation in atomic gases. The third edition of Theoretical Atomic Physics extends the successful second edition with a detailed treatment of the wave motion of atoms near the anticlassical or extreme quantum regime, and it also contains an introduction to some aspects of atom optics that are relevant for current and future experiments involving ultra-cold atoms. Various problems are included together with complete solutions. Because it has more emphasis on theory, this book enables the reader to appreciate the fundamental assumptions underlying standard theoretical constructs and to embark on independent research projects.
Theoretical Aspects of Transition Metal Catalysis
This volume, organized into eight chapters written by leading scientists in the field, illustrates the progress made during the last decade. The reader will obtain a deep insight into the present state of quantum chemical research in transition metal catalysis. Transition metal catalysis belongs to the most important chemical research areas because a ubiquitous number of chemical reactions are catalyzed by transition metal compounds. Many efforts are being made by industry and academia to find new and more efficient catalysts for chemical processes. Transition metals play a prominent role in catalytic research because they have been proven to show an enormous diversity in lowering the activation barrier for chemical reactions.
Theoretical Aspects of Local Search
Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic conceptual foundation, its general applicability, and its power to serve as a source for new search paradigms. The typical characteristics of combinatorial optimization problems to which local search can be applied, its relation to complexity theory, and the combination with randomized search features have led to a wealth of interesting theoretical results. However, these results are scattered throughout the literature. This is the first book that presents a large collection of theoretical results in a consistent manner, thus providing the reader with a coherent overview of the achievements obtained so far, but also serving as a source of inspiration for the development of novel results in the challenging field of local search.
Theoretical Aspects of Computing - ICTAC 2008 ; 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
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 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.
