الصفحة 39
الصفحة 39
Theory of Association Schemes
Presents treatment of the structure theory of association schemes. This book presents generalization of Sylow's group theoretic theorems to scheme theory and also the algebraic proof of Tits' theorem on buildings of spherical type. It also includes characterization of Glauberman's, Z-involutions and is aimed at advanced undergraduate students
Theory and Practice of Model Transformations ; 1st International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.
Theory and Mathematical Methods for Bioformatics
This monograph addresses, in a systematic and pedagogical manner, the mathematical methods and the algorithms required to deal with the molecularly based problems of bioinformatics. The book will be useful to students, research scientists and practitioners of bioinformatics and related fields, especially those who are interested in the underlying mathematical methods and theory. Among the methods presented in the book, prominent attention is given to pair-wise and multiple sequence alignment algorithms, stochastic models of mutations, modulus structure theory and protein configuration analysis. Strong links to the molecular structures of proteins, DNA and other biomolecules and their analyses are developed. In particular, for proteins an in-depth exposition of secondary structure prediction methods should be a valuable tool in both molecular biology and in applications to rational drug design. The book can also be used as a textbook and for this reason most of the chapters include exercises and problems at the level of a graduate program in bioinformatics.
Theory and Design of CNC Systems
Theory and Design of CNC Systems covers the elements of control, the design of control systems, and modern open-architecture control systems. Topics covered include Numerical Control Kernel (NCK) design of CNC, Programmable Logic Control (PLC), and the Man-Machine Interface (MMI), as well as the major modules for the development of conversational programming methods. The concepts and primary elements of STEP-NC are also introduced.
Theory and applications of special functions : A volume dedicated to Mizan Rahman
This book, dedicated to Mizan Rahman, is made up of a collection of articles on various aspects of q-series and special functions. Also, it includes an article by Askey, Ismail, and Koelink on Rahman’s mathematical contributions and how they influenced the recent upsurge in the subject.
Theory and Applications of Satisfiability Testing ; Vol. 3569 ; 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was the first problem shown by Cook to be NP-complete. Despite its seemingly specialized nature, satisfiability testing has proved to extremely useful in a wide range of different disciplines, both from a practical as well as from a theoretical point of view. For example, work on SAT continues to provide insight into various fundamental problems in computation, and SAT solving technology has advanced to the point where it has become the most effective way of solving a number of practical problems. The SAT series of conferences are multidisciplinary conferences intended to bring together researchers from various disciplines who are interested in SAT. Topics of interest include, but are not limited to: proof systems and proof c- plexity; search algorithms and heuristics; analysis of algorithms; theories beyond the propositional; hard instances and random formulae; problem encodings; - dustrial applications; solvers and other tools.
Theory and Applications of Satisfiability Testing - SAT 2006 ; 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks.
Theories of Perception in Medieval and Early Modern Philosophy
Sense perception is one of the classical themes in philosophy. It is traditionally considered a necessary preamble to many important topics, such as the mind-body relationship, consciousness, knowledge, and scepticism. Perception is also a phenomenon which itself raises philosophical questions, such as what is perceptible, what the content of perception is, whether this content is conceptual and how perception is related to epistemic attitudes. While the philosophy of mind and philosophical psychology are the main areas in which perception is dealt with in contemporary philosophy, it is also discussed in the theory of knowledge, cognitive science, philosophical aesthetics and metaphysics. In recent years, the rich tradition of various philosophical theories of perception has been increasingly studied by scholars of the history of philosophy of mind.
Theories in and of Mathematics Education : Theory Strands in German Speaking Countries
This survey provides an overview of German meta-discourse on theories and mathematics education as a scientific discipline, from the 1970s to the 1990s. Two theory strands are offered: a semiotic view related to Peirce and Wittgenstein (presented by Willibald Dörfler), and the theory of learning activity by Joachim Lompscher (presented by Regina Bruder and Oliver Schmitt). By networking the two theoretical approaches in a case study of learning fractions, it clarifies the nature of the two theories, how they can be related to inform practice and renew TME-issues for mathematics education as a scientific discipline.
Théorie des ensembles = Set theory
The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. The Book of Set Theory which comes at the head of the treatise presents the axiomatic foundations of set theory.
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. 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 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 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 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.
Theatres of Architectural Imagination
Imagination is arguably the architect’s most crucial capacity, underpinning memory, invention, and compassion. No simple power of the mind, architectural imagination is deeply embodied, social, and situational. Its performative potential and holistic scope may be best understood through the model of theatre. Theatres of Architectural Imagination examines the fertile relationship between theatre and architecture with essays, interviews and entr’actes arranged in three sections: Bodies, Settings, and (Inter)Actions.
