الصفحة 42
الصفحة 42
Theory and Applications of Satisfiability Testing - SAT 2008 ; 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results.
Theory and Applications of Satisfiability Testing - SAT 2007; 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satisfiability Testing. The International Conferences on Theory and Applications of SatisfiabilityTesting (SAT) originated in 1996 as a series of workshops “on Satisfability.” By the third meeting in 2000, the workshop had attracted a mix of theorists and experimentalists whose common interest was the enhancement of our basic understanding of the theoretical underpinnings of the Satisfiability problem as well as the development of scalable algorithms for its solution in a wide range of application domains. In 2002 a competition of SAT solvers was inaugurated to spur further algorithmic and implementation developments, and to create an eclectic collection of benchmarks.
Theory and Applications of Relational Structures as Knowledge Instruments II ; International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), TARSKI: Theory and - plications of Relational Structures as Knowledge Instruments. Relational structures abound in the daily environment: relational databases, data-mining, scaling procedures, preference relations, etc. Reasoning about, and with, relations has a long-standing European tradition, which may be divided into three broad areas: 1. Algebraic Logic: algebras of relations, relational semantics, and algebras and logics derived from information systems. 2. Computational Aspects of Automated Relational Reasoning: decidability and complexity of algorithms, network satisfaction. 3. Applications: social choice, AI, linguistics, psychology, economics, etc. The main objective of the ?rst TARSKI book (LNCS 2929) was to advance the understanding of relational structures and the use of relational methods in applicable object domains.
Theory and Applications of Models of Computation ; 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences - computation, algorithms, complexity and computability theory in particular. With this crossdisciplinary character the conference is given a special flavor and distinction.
Theory and Applications of Models of Computation ; 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, TAMC 2020, held in Changsha, China, in October 2020. The 37 full papers were carefully reviewed and selected from 83 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory and foundations of artificial intelligence.
Théories spectrales : Chapitres 1 et 2 = Spectral theories : Chapters 1 and 2
Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. The first chapter introduces basic concepts in functional analysis. The second chapter culminates in the Fourier transform on locally compact commutative groups.
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 élémentaire et pratique de la commande par les régimes glissants = Elementary theory and practice of sliding regime control
This work proposes to apply the Sliding Regimes (RG) algorithms to industrial regulation and servo loops controlled to date by traditional PIDs (analog or digital) and their variants (RST, etc.). The real system to be controlled can be very diverse in nature, have parts that are poorly or not modeled, be subject to disturbances. These robust numerical algorithms XVS (X: Classic or Generalized; VS: structure variable) generate a command having a discontinuous component and give an evolution of the operating point of the looped system on (or around) the sliding surface (the dynamics of the system loop then becomes the dynamic defined by the surface equation). For each ordering methodology, in order to facilitate its application, we have chosen the context of initial training and continuing training: elementary theory, diagram - block, summary table, temporal diagrams, differential equations, Laplace formalism, numerical simulation , control by computer.
Theoretical Knowledge
In the book Theoretical Knowledge, an original conception of a structure and dynamics of scientific knowledge is proposed. A detailed analysis of the foundations of science allowed to develop new ideas and approaches, to demonstrate how sociocultural factors are incorporated in the process of yielding of new theories. He shows direct and inverse links between foundations of science and new theories and empirical facts evolved from those, how among many potentially possible histories of science a culture selects just those directions which become a real history of science. The author analyses mechanisms of the generation of scientific theories and shows that those are changed in the process of historical development of science. He displays three historical types of scientific rationality (classical, non-classical and post-non-classical, which appears in modern science) and shows features of their coexistence and interplay. It is shown that along with the emerging of post-non-classical rationality science increases the sphere of its worldview applications. Science begins to correlate not only with the basic values of technogenic civilization but also with some values and patterns of traditional cultures.
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. 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 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 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.
