الصفحة 9
الصفحة 9
Constraint satisfaction techniques for agent-based reasoning
Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial applications such as planning, scheduling and resource sharing in a variety of practical domains such as transportation, production, supply-chains, network management and human resource management. In this book we study new techniques for solving constraint satisfaction problems, with a special focus on solution adaptation applied to agent reasoning.
Constraint handling rules : Current research topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules.
Constrained optimization and image space analysis ; Vol.1 : Separation of sets and optimality conditions
Constrained Optimization and Image Space Analysis unites his results and presents optimization theory and variational inequalities in their light.It presents a new approach to the theory of constrained extremum problems, including Mathematical Programming, Calculus of Variations and Optimal Control Problems. Such an approach unifies the several branches: Optimality Conditions, Duality, Penalizations, Vector Problems, Variational Inequalities and Complementarity Problems. The applications benefit from a unified theory.
Constrained Control and Estimation : An Optimisation Approach
Using the principal tools of prediction and optimisation, this work gives the examples of how to deal with constraints, placing emphasis on model predictive control. It contains results that combine a number of methods, enabling you to build on your background in estimation theory, linear control, stability theory and state-space methods.
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification.
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge the system needs to know. This description, called the conceptual schema, is necessary in order to develop an information system.textbook explains in detail the principles of conceptual modeling independently from particular methods and languages and shows how to apply them in real-world projects. It covers all aspects of the engineering process from structural modeling over behavioral modeling to meta-modeling, and completes the presentation with an extensive case study based on the osCommerce system, an online store-management software program freely available under the GNU General Public License. His presentation is based on well-known industry standards like UML and OCL as a particular conceptual modeling language, yet also delivers the basics of the formal logical language background.
Conceptual Modeling - ER 2008 ; 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held in Barcelona, Spain, in October 2008.
Concentrator Location in Telecommunications Networks
It presents polyhedral results and exact solution methods for location problems encountered in telecommunications but which also have applications in other areas like transportation and supply chain management.
Computer science logic ; Vol. 4207 ; 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
Computer Science Logic ; Vol. 3634
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.
Computer science : Theory and applications ; 15th International computer science symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020. The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including hardness of approximation and parameterized complexity; randomness in computing, approximation algorithms, fixed-parameter algorithms; combinatorial optimization, constraint satisfaction, operations research; computational geometry; string algorithms; formal languages and automata, including applications to computational linguistics; codes and cryptography; combinatorics in computer science; computational biology; applications of logic to computer science, proof complexity; database theory; distributed computing; fundamentals of machine learning, including learning theory, grammatical inference and neural computing; computational social choice; quantum computing and quantum cryptography; theoretical aspects of big data.
Computational genetics and genomics : Tools for understanding disease
The authors introduce a new computational approach that makes it possible to identify the genetic basis for differences in physiological or pathological responses among inbred mouse strains, thus facilitating more rapid genetic discovery
Computational Fluid Dynamics for Wind Engineering
Covers topics such as: Fluid mechanics, turbulence in fluid mechanics, turbulence modelling, and mathematical modelling of wind engineering problems The finite difference method for CFD, solutions to the incompressible Navier-Stokes equations, visualization, and animation in CFD, and the application of CFD to building and bridge aerodynamics How to compare CFD analysis with wind tunnel measurements, field measurements, and the ASCE-7 pressure coefficients Wind effects and strain on large structures
Computational Discovery of Scientific Knowledge : Introduction, Techniques, and Applications in Environmental and Life Sciences
Advances in technology have enabled the collection of data from scientific observations, simulations, and experiments at an ever-increasing pace. For the scientist and engineer to benefit from these enhanced data collecting capabilities, it is becoming clear that semi-automated data analysis techniques must be applied to find the useful information in the data. Computational scientific discovery methods can be used to this end: they focus on applying computational methods to automate scientific activities, such as finding laws from observational data. In contrast to mining scientific data, which focuses on building highly predictive models, computational scientific discovery puts a strong emphasis on discovering knowledge represented in formalisms used by scientists and engineers, such as numeric equations and reaction pathways. This state-of-the-art survey provides an introduction to computational approaches to the discovery of scientific knowledge and gives an overview of recent advances in this area, including techniques and applications in environmental and life sciences.
Column Generation
Column Generation is an insightful overview of the state of the art in integer programming column generation and its many applications. The volume begins with "A Primer in Column Generation" which outlines the theory and ideas necessary to solve large-scale practical problems, illustrated with a variety of examples. Other chapters follow this introduction on "Shortest Path Problems with Resource Constraints," "Vehicle Routing Problem with Time Window," "Branch-and-Price Heuristics," "Cutting Stock Problems," each dealing with methodological aspects of the field. Three chapters deal with transportation applications: "Large-scale Models in the Airline Industry," "Robust Inventory Ship Routing by Column Generation," and "Ship Scheduling with Recurring Visits and Visit Separation Requirements." Production is the focus of another three chapters: "Combining Column Generation and Lagrangian Relaxation," "Dantzig-Wolfe Decomposition for Job Shop Scheduling," and "Applying Column Generation to Machine Scheduling." The final chapter by François Vanderbeck, "Implementing Mixed Integer Column Generation," reviews how to set-up the Dantzig-Wolfe reformulation, adapt standard MIP techniques to the column generation context (branching, preprocessing, primal heuristics), and deal with specific column generation issues (initialization, stabilization, column management strategies).
Code-switching in Bilingual Children
The goal of this volume is to prove that mixed utterances in young bilinguals can be analyzed in the same way as adult code-switching. Analyzing a rich corpus of spontaneous child data, the author provides detailed empirical evidence for latest minimalist assumptions on the architecture of mind and confirms that code-switching is only constrained by the two grammars of the languages involved. The data show that the quantity of mixing in children depends on an individual choice rather than on language development, language dominance, or other factors. Besides critically reviewing the literature on language mixing in children and adults, this work offers a thorough grammatical analysis of the code-switching data of five Italian/German children. The book provides new insights not only in the field of code-switching and of language mixing in young bilinguals, but also in issues concerning general questions on linguistic theory which are difficult to be answered with monolingual data.
Mathematical Modelling of Biosystems
This volume is an interdisciplinary book, which introduces, in a very readable way, state of the art research in the fundamental topics of mathematical modelling of Biosystems. These topics include: the study of Biological Growth and its mechanisms, the coupling of pattern to form via theorems of Differential Geometry, the human immunodeficiency virus dynamics, the inverse folding problem and the possibility of analysing true protein backbone flexibility, the Biclustering techniques for the organization of microarray data, the analytical approach to the modelling of biomolecular structure via Steiner trees, the action of biocides on resistance mechanisms of mutated and phenotypic bacteria strains, a description of the fundamental processes for the distribution and abundances of species towards a unified theory of Ecology, and a special introduction to Protein Physics aiming to explain the all-or-none first order phase transitions from native to denatured states.
Mathematical Aspects of Classical and Celestial Mechanics
In this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted to the mathematical side of the subject. Although the physical background of the models considered here and the applied aspects of the phenomena studied in this book are explored to a considerably lesser extent, we have tried to set forth first and foremost the “working” apparatus of classical mechanics. This apparatus is contained mainly in Chapters 1, 3, 5, 6, and 8. Chapter 1 is devoted to the basic mathematical models of classical - chanics that are usually used for describing the motion of real mechanical systems. Special attention is given to the study of motion with constraints and to the problems of realization of constraints in dynamics. In Chapter 3 we discuss symmetry groups of mechanical systems and the corresponding conservation laws. We also expound various aspects of ord- reduction theory for systems with symmetries, which is often used in appli- tions. Chapter 4 is devoted to variational principles and methods of classical mechanics. They allow one, in particular, to obtain non-trivial results on the existence of periodic trajectories. Special attention is given to the case where the region of possible motion has a non-empty boundary. Applications of the variational methods to the theory of stability of motion are indicated.
Markov Decision Processes with Their Applications
Markov decision processes (MDPs), also called stochastic dynamic programming, were first studied in the 1960s. MDPs can be used to model and solve dynamic decision-making problems that are multi-period and occur in stochastic circumstances. There are three basic branches in MDPs: discrete-time MDPs, continuous-time MDPs and semi-Markov decision processes. Starting from these three branches, many generalized MDPs models have been applied to various practical problems. These models include partially observable MDPs, adaptive MDPs, MDPs in stochastic environments, and MDPs with multiple objectives, constraints or imprecise parameters.
Marine resource damage assessment : Liability and compensation for environmental damage
MARE-DASM research focused on: (i) the estimation and distribution of marine contaminants in order to assess their long term effects (ecotoxicology); (ii) the integration of these result into a Biological Effects SubModel and a mathematical model assessing the risks associated with accidental spillage of oil at sea and the damage this can cause (modelling); (iii) the assessment of the willingness to pay for ecological damage, based on the Contingent Valuation Method (economics); (iv) the development and evaluation of measures to be taken in order to guarantee a sustainable use of the Belgian part of the North Sea, taking into account the economic and social interests and values (social economics); (v) the potential to develop technical and legal procedures that allow ecological damage to the marine environment to be evaluated and compensated, taking into account constraints in national and international liability legislation (legal).
