الصفحة 1
الصفحة 1
Open Quantum Systems II : The Markovian Approach
These books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe physically relevant models, develop their mathematical analysis and derive their physical implications. Volume II is dedicated to the Markovian formalism of classical and quantum open systems. A complete exposition of noise theory, Markov processes and stochastic differential equations, both in the classical and the quantum context, is provided. These mathematical tools are put into perspective with physical motivations and applications.
Open Quantum Systems I : The Hamiltonian Approach
These books present in a self-contained way the mathematical theories involved in the modeling of such phenomena. They describe physically relevant models, develop their mathematical analysis and derive their physical implications. This Volume, I the Hamiltonian description of quantum open systems is discussed. This includes an introduction to quantum statistical mechanics and its operator algebraic formulation, modular theory, spectral analysis and their applications to quantum dynamical systems.
Open IT-Based Innovation : Moving Towards Cooperative IT Transfer and Knowledge Diffusion ; IFIP TC8 WG 8.6 International Working Conference October 22–24, 2008, Madrid, Spain
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured.
Ontologies for Agents : Theory and Experiences
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number of applications have bene?ted from the use of ontologies as a means to achieve semantic interoperability among heterogeneous, distributed systems. In principle ontologies and agents are a match made in heaven, that has failed to happen. What makes a simple piece of software an agent is its ability to communicate in a ”social” environment, to make autonomous decisions, and to be proactive on behalf of its user. Communication ultimately depends on und- standing the goals, preferences, and constraints posed by the user. Autonomy is theabilitytoperformataskwithlittleornouserintervention,whileproactiveness involves acting autonomously with no need for user prompting. Communication, but also autonomy and proactiveness, depend on knowledge. The ability to c- municate depends on understanding the syntax (terms and structure) and the semantics of a language. Ontologies provide the terms used to describe a domain and the semantics associated with them. In addition, ontologies are often comp- mented by some logical rules that constrain the meaning assigned to the terms. These constraints are represented by inference rules that can be used by agents to perform the reasoning on which autonomy and proactiveness are based.
One-Dimensional Nanostructures
One-dimensional (1D) nanostructures, including nanowires, nanotubes and quantum wires, have been regarded as the most promising building blocks for nanoscale electronic and optoelectronic devices. Worldwide efforts in both the theory and the experimental investigation of growth, characterization and applications of 1D nanostructures have resulted in a mature, multidisciplinary field. In this book, a wealth of state-of-the-art information offers the opportunity to uncover the underlying science from diverse perspectives. Leading researchers elucidate the synthesis and properties of 1D nanostructures for various morphologies and compositions (semiconductor, metal, carbon, etc.) as well as their considerable impact on spintronics, information storage, and the design of field-effect transistors.
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism.
On the path to AI : Law’s prophecies and the conceptual foundations of the machine learning age
This book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ‘revolutions’ in a surprising analogy: the revolution of machine learning, which has placed computing on the path to artificial intelligence, and the revolution in thinking about the law that was spurred by Oliver Wendell Holmes Jr in the last two decades of the 19th century.
On the history of the idea of law
On the History of the Idea of Law is the first book ever to trace the development of the philosophical theory of law from its first appearance in Plato's writings to today. Professor Letwin finds important and positive insights and tensions in the theories of Plato
On Law and Reason
This is an outline of a coherence theory of law. Its basic ideas are: reasonable support and weighing of reasons. All the rest is commentary.’ These words at the beginning of the preface of this book perfectly indicate what On Law and Reason is about. It is a theory about the nature of the law which emphasises the role of reason in the law and which refuses to limit the role of reason to the application of deductive logic. This book was ground breaking for several reasons. It provided a rationalistic theory of the law in the language of analytic philosophy and based on a thorough understanding of the results, including technical ones, of analytic philosophy.
On Communication : An interdisciplinary and mathematical approach
This book offers a radical new approach for the understanding of communication. By using the theoretical framework of complex systems theory communication is defined as the interplay of social and cognitive dynamics: communicators are modelled as complex cognitive systems who interact according to social rules and generate communicative systems. Messages generate meaning, which is understood as an attractor in the cognitive system of the receiver. Information is measured via the difference between a factual message and the message expected by the receiver.
omputer science : Theory and applications ; 3rd International computer science symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008.
Official Statistics 4.0 : Verified Facts for People in the 21st Century
Explores official statistics and their social function in modern societies. Digitisation and globalisation are creating completely new opportunities and risks, a context in which facts (can) play an enormously important part if they are produced with a quality that makes them credible and purpose-specific. In order for this to actually happen, official statistics must continue to actively pursue the modernisation of their working methods.
Object-Oriented Software Engineering Using UML Patterns and Java
Shows students how to use both the principles of software engineering and the practices of various object-oriented tools, processes, and products. Using a step-by-step case study to illustrate the concepts and topics in each chapter, Bruegge and Dutoit emphasize learning object-oriented software engineer through practical experience: students can apply the techniques learned in class by implementing a real-world software project. The third edition addresses new trends, in particular agile project management (Chapter 14 Project Management) and agile methodologies (Chapter 16 Methodologies).
Object-Oriented ActionScript for Flash 8
Object-Oriented ActionScript For Flash 8 teaches the theory and practice of OOP with ActionScript. You do not need any extensive prior programming experience, you just need to want to go beyond the usual Flash interfaces. Authors and working Flash developers Peter Elst and Todd Yard take you through the complete development cycle of a series of related applications, using numerous step-by-step instructions. You'll be able to develop highly reusable applications and services that leverage the dynamic features in Flash. This book demonstrates professional OOP skills and techniques that are completely transferable to other programming languages and technologies, including Inheritance, Polymorphism, managing classes, component development, consuming web services, and much more. It also includes some cutting edge ActionScript programming techniques, and animation and effects classes.
Objective information theory
Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic. As the exemplified applications, Air Traffic Control System (ATCS) and Smart Court SoSs (System of Systems) are introduced for practical OITs.
Object detection with deep learning models : Principles and applications
Discusses recent advances in object detection and recognition using deep learning methods, which have achieved great success in the field of computer vision and image processing. It provides a systematic and methodical overview of the latest developments in deep learning theory and its applications to computer vision, illustrating them using key topics, including object detection, face analysis, 3D object recognition, and image retrieval / A structured overview of deep learning in object detection / A diversified collection of applications of object detection using deep neural networks / Emphasize agriculture and remote sensing domains / Exclusive discussion on moving object detection
Obesity Management in Family Practice
With guidelines backed by the best scientific data, the book is about application, not just theory. The reader is given the commonsense tools that patients need in order to have ownership of their disease. Ultimately, patients are empowered to control their obesity, resulting in positive interaction between providers and patients.
Numerical partial differential equations for environmental scientists and engineers : A first practical course
This book concerns the practical solution of Partial Differential Equations (PDEs). It reflects an interdisciplinary approach to problems occurring in natural environmental media: the hydrosphere, atmosphere, cryosphere, lithosphere, biosphere and ionosphere. It assumes the reader has gained some intuitive knowledge of PDE solution properties and now wants to solve some for real, in the context of practical problems arising in real situations. The practical aspect of this book is the infused focus on computation. It presents two major discretization methods - Finite Difference and Finite Element. The blend of theory, analysis, and implementation practicality supports solving and understanding complicated problems. It is divided into three parts. Part I is an overview of Finite Difference Methods. Part II focuses on Finite Element Methods, including an FEM tutorial. Part III deals with Inverse Methods, introducing formal approaches to practical problems which are ill-posed.
Numerical Methods for Controlled Stochastic Delay Systems
The Markov chain approximation methods are widely used for the numerical solution of nonlinear stochastic control problems in continuous time. This book extends the methods to stochastic systems with delays. Because such problems are infinite-dimensional, many new issues arise in getting good numerical approximations and in the convergence proofs. Useful forms of numerical algorithms and system approximations are developed in this work, and the convergence proofs are given. All of the usual cost functions are treated as well as singular and impulsive controls. A major concern is on representations and approximations that use minimal memory.
Numerical Mathematics
Numerical mathematics is the branch of mathematics that proposes, develops, analyzes and applies methods from scientific computing to several fields including analysis, linear algebra, geometry, approximation theory, functional equations, optimization and differential equations. Other disciplines, such as physics, the natural and biological sciences, engineering, and economics and the financial sciences frequently give rise to problems that need scientific computing for their solutions. As such, numerical mathematics is the crossroad of several disciplines of great relevance in modern applied sciences, and can become a crucial tool for their qualitative and quantitative analysis.
