Page 1
Page 1
Morphological Models of Random Structures
This book covers methods of Mathematical Morphology to model and simulate random sets and functions (scalar and multivariate). The introduced models concern many physical situations in heterogeneous media, where a probabilistic approach is required, like fracture statistics of materials, scaling up of permeability in porous media, electron microscopy images (including multispectral images), rough surfaces, multi-component composites, biological tissues, textures for image coding and synthesis. The common feature of these random structures is their domain of definition in n dimensions, requiring more general models than standard Stochastic Processes.The main topics of the book cover an introduction to the theory of random sets, random space tessellations, Boolean random sets and functions, space-time random sets and functions (Dead Leaves, Sequential Alternate models, Reaction-Diffusion), prediction of effective properties of random media, and probabilistic fracture theories.
Information and knowledge : A constructive type-theoretical approach
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed.The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. Information and Knowledge presents a new interesting perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives.
Hydrological modelling and the water cycle : Coupling the atmospheric and hydrological models
This collected work reports on the state of the art of hydrological model simulation, as well as the methods for satellite-based rainfall estimation. Mainly addressed to scientists and researchers, the contributions have the structure of a standard paper appearing in most cited hydrological, atmospheric and climate journals. Several already-known hydrological models and a few novel ones are presented, as well as the satellite-based precipitation techniques. As the field of hydrologic modeling is experiencing rapid development and transition to application of distributed models, many challenges including overcoming the requirements of compatible observations of inputs and outputs are addressed.
Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice
Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically cover the most relevant themes and problems of this new and challenging subject area. It is a collection of invited papers and papers co-authored by the editors. Each chapter presents either new research results or a survey on the following topics:Formal models and abstractions of heterogeneous objects including geometric, topological, discrete and continuous models, operations forming special algebras and conversions between different model types.
Groundwater : Resource evaluation, augmentation, contamination, restoration, modeling and management
The demand for water resources is increasing day by day due to ever increasing population, mostly from developing countries. This has resulted in abstracting more water from the subsurface stratum and forcing the water managers to manage the limited groundwater resources in a more scientific way, which in turn needs a more sophisticated way of assessing the underground resource and manage it optimally.
Galaxy Formation
This second edition of Galaxy Formation is an up-to-date text on astrophysical cosmology, expounding the structure of the classical cosmological models from a contemporary viewpoint. This forms the background to a detailed study of the origin of structure and galaxies in the Universe. The derivations of many of the most important results are derived by simple physical arguments which illuminate the results of more advanced treatments. A very wide range of observational data is brought to bear upon these problems, including the most recent results from WMAP, the Hubble Space Telescope, galaxy surveys like the Sloan Digital Sky Survey and the 2dF Galaxy Redshift Survey, studies of Type 1a supernovae, and many other observations.
Formal Methods in Systems Biology ; 1st International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008.The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems.
Evolving Connectionist Systems : The Knowledge Engineering Approach
Evolving Connectionist Systems is aimed at all those interested in developing and using intelligent computational models and systems to solve challenging real world problems in computer science, engineering, bioinformatics and neuroinformatics. The book challenges scientists and practitioners with open questions about future creation of new information models inspired by Nature. This edition includes new methods for adaptive, knowledge-based learning, such as online incremental feature selection, spiking neural networks, transductive neuro-fuzzy inference, adaptive data and model integration, cellular automata and artificial life systems, particle swarm optimisation, ensembles of evolving systems, and quantum inspired neural networks. New applications to gene and protein interaction modelling, brain data analysis and brain model creation, computational neuro-genetic modelling, adaptive speech, image and multimodal recognition, language modelling, adaptive robotics, modelling dynamic financial and socio-economic systems, and ecological modelling, are covered. An important new feature of the book is the attempt to connect different structural and functional levels of a complex, intelligent system, looking for inspiration from functional relationships in natural systems, such as the genetic and the brain activity.
Evolutionary Computation for Modeling and Optimization
Evolutionary Computation for Optimization and Modeling is an introduction to evolutionary computation, a field which includes genetic algorithms, evolutionary programming, evolution strategies, and genetic programming. The text is a survey of some application of evolutionary algorithms. It introduces mutation, crossover, design issues of selection and replacement methods, the issue of populations size, and the question of design of the fitness function. It also includes a methodological material on efficient implementation. Some of the other topics in this book include the design of simple evolutionary algorithms, applications to several types of optimization, evolutionary robotics, simple evolutionary neural computation, and several types of automatic programming including genetic programming. The book gives applications to biology and bioinformatics and introduces a number of tools that can be used in biological modeling, including evolutionary game theory. Advanced techniques such as cellular encoding, grammar based encoding, and graph based evolutionary algorithms are also covered.
Enhancing urban environment by environmental upgrading and restoration ; Proceedings of the NATO Advanced Research Workshop on enhancing urban environment : environmental upgrading of municipal pollution control facilities and restoration of urban waters, Rome, Italy from 6 - 9 November 2003.
As urban areas keep growing, water infrastructure ages, and the requirements on environmental protection become more rigorous, there is a continual need for upgrading water pollution control facilities and restoring degraded urban waters. Such issues are addressed in this book by focusing on five major topics: (a) Upgrading stormwater management facilities, (b) Retrofitting / upgrading combined sewer overflow (CSO) facilities, (c) Optimising/upgrading sewage treatment plant performance, (d) Urban stream restoration, and (e) Challenges in restoring urban environment. Each chapter contains some overview papers followed by research or case study papers. Besides presentations of new approaches and accomplishments in the field of upgrading and restoration, several papers provide analysis of vast needs in this field in several countries of Central and Eastern Europe, which either recently joined the European Union (EU) or are preparing for accession, and need to comply with the existing EU directives dealing with environmental protection. As such, this book will be of primary interest to researchers and university lecturers dealing with environmental upgrading and restoration, environmental planners from all levels of government, municipal engineers and politicians, and finally the private industry representatives (consultants, private utilities and environmental technology suppliers) searching for new business opportunities among the new or aspiring members of EU.
Ecosystem Organization of a Complex Landscape : Long-Term Research in the Bornhöved Lake District, Germany
Presents the major findings of a 12-year ecological study of the Bornhöved Lake District, situated some 30 km south of Kiel. Historically speaking, the present research scheme, like comparable long-term ecosystem studies at Göttingen, Bayreuth, München, and Berchtesgaden, has been conceived as the core of a comprehensive ecological surveillance system for Germany (Ellenberg et al. 1978). Comprising three interrelated components, namely an ecological monitoring network, comparative ecosystem research, and an environmental specimen bank, this system is intended to promote both ecological science and planning and policy. In this connection the geo- and bioscientifically based ecosystem research aims at understanding the structure and functions of systems, the natural equilibrium and stress tolerance of singular components and the entire system against changes and disturbances from within and from outside, and the relationships between diversity, productivity, and stability. Thus, ecosystem research forms the indispensable basis for the rational analysis of the comprehensive data sets made available by ecological monitoring networks and for the adequate selection of plant, animal, and soil specimens for environmental specimen banking purposes.
Drug Delivery Approaches : Perspectives from Pharmacokinetics and Pharmacodynamics
Delivers a thorough discussion of drug delivery options to achieve target profiles and approaches as defined by physical and pharmacokinetic models. The book offers an overview of drug absorption and physiological models, chapters on oral delivery routes with a focus on both PBPK and multiple dosage form options. It also provides an explanation of the pharmacokinetics of the formulation of drugs delivered by systemic transdermal routes.
Digital landscape architecture : Logic, structure, method and application
Readers will get a comprehensive understanding of digital landscape architecture, know about multiple digital methods for landscape planning and design, and learn a lot of practical projects with digital technology.
Developments in language theory ; 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Basic Notions of Reaction Systems / A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms / Algebraic and Topological Models for DNA Recombinant Processes / Contributed Papers : Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet / On Competence in CD Grammar Systems / The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels, and other
Cognitive engineering : A distributed approach to machine intelligence
Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering systems. Beginning with the foundations of psychological modeling of the human mind, the main emphasis is given to parallel and distributed realization of intelligent models for application in reasoning, learning, planning and multi-agent co-ordination problems. The last two chapters provide case studies on human-mood detection and control, and behavioral co-operation of mobile robots. This is the first comprehensive text of its kind, bridging the gap between Cognitive Science and Cognitive Systems Engineering. Each chapter includes plenty of numerical examples and exercises with sufficient hints, so that the reader can solve the exercises on their own. Computer simulations are also included in most chapters to give a clear idea about the application of the algorithms undertaken in the book. In addition, mathematical analysis on convergence and stability of the neuro-fuzzy models will enable the reader to pursue their research career in cognitive engineering.
Mathematical Modeling of Complex Biological Systems : A Kinetic Theory Approach
Describes the evolution of several socio-biological systems using mathematical kinetic theory. Specifically, it deals with modeling and simulations of biological systems—comprised of large populations of interacting cells—whose dynamics follow the rules of mechanics as well as rules governed by their own ability to organize movement and biological functions. The authors propose a new biological model for the analysis of competition between cells of an aggressive host and cells of a corresponding immune system.Because the microscopic description of a biological system is far more complex than that of a physical system of inert matter, a higher level of analysis is needed to deal with such complexity. Mathematical models using kinetic theory may represent a way to deal with such complexity, allowing for an understanding of phenomena of nonequilibrium statistical mechanics not described by the traditional macroscopic approach. The proposed models are related to the generalized Boltzmann equation and describe the population dynamics of several interacting elements (kinetic population models).The particular models proposed by the authors are based on a framework related to a system of integro-differential equations, defining the evolution of the distribution function over the microscopic state of each element in a given system. Macroscopic information on the behavior of the system is obtained from suitable moments of the distribution function over the microscopic states of the elements involved.
Mathematical methods and modelling in hydrocarbon exploration and production
Hydrocarbon exploration and production incorporate great technology challenges for the oil and gas industry. In order to meet the world's future demand for oil and gas, further technological advance is needed, which in turn requires research across multiple disciplines, including mathematics, geophysics, geology, petroleum engineering, signal processing, and computer science. This book addresses important aspects and fundamental concepts in hydrocarbon exploration and production. Moreover, new developments and recent advances in the relevant research areas are discussed, whereby special emphasis is placed on mathematical methods and modelling. The book reflects the multi-disciplinary character of the hydrocarbon production workflow, ranging from seismic data imaging, seismic analysis and interpretation and geological model building, to numerical reservoir simulation. Various challenges concerning the production workflow are discussed in detail.
Artificial intelligence techniques in hydrology and water resources management
The sustainable management of water cycles is crucial in the context of climate change and global warming. It involves managing global, regional, and local water cycles, as well as urban, agricultural, and industrial water cycles, to conserve water resources and their relationships with energy, food, microclimates, biodiversity, ecosystem functioning, and anthropogenic activities. Hydrological modeling is indispensable for achieving this goal, as it is essential for water resources management and the mitigation of natural disasters. In recent decades, the application of artificial intelligence (AI) techniques in hydrology and water resources management has led to notable advances. In the face of hydro-geo-meteorological uncertainty, AI approaches have proven to be powerful tools for accurately modeling complex, nonlinear hydrological processes and effectively utilizing various digital and imaging data sources, such as ground gauges, remote sensing tools, and in situ Internet of Things (IoT) devices.
An Introduction to the Relativistic Theory of Gravitation
The geometric interpretation of gravitation is one of the major foundations of modern theoretical physics. This primer introduces classical general relativity with emphasis on the clarity of conceptual structure and on the basic mathematical methods to build up systematically application skills. The wealth of physical phenomena entailed by the Einstein‘s equations is revealed with the help of specific models describing gravitomagnetism, gravitational waves, cosmology, gravitational collapse and black holes. End-of-chapter exercises complete the main text.
Advances in Digital Terrain Analysis
Terrain analysis has been an active study field for years and attracted research studies from geographers, surveyors, engineers and computer scientists. With the rapid growth of Geographical Information System (GIS) technology, particularly the establishment of high resolution Digital Elevation Models (DEM) at national level, the challenge is now focused on delivering justifiable socio-economical and environmental benefits. The contributions in this book represent the state of the art of terrain analysis methods and techniques in areas of digital representation, morphological and hydrological models, uncertainty and applications of terrain analysis.
