الصفحة 3
الصفحة 3
New Developments in Formal Languages and Applications
The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others. As a foundational discipline, formal language theory concepts and techniques are present in a variety of theoretical and applied fields of contemporary research which are concerned with symbol manipulation: discrete mathematics, bioinformatics, natural language processing, pattern recognition, text retrieval, learning, cryptography, compression, etc.
New Computational Paradigms ; 1st Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science.
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. The book opens with an introduction by Andrew Hodges, the Turing biographer, who analyzes the pioneering work that anticipated recent developments concerning computation’s allegedly new paradigms. The remaining material covers traditional topics in computability theory such as relative computability, theory of numberings, and domain theory, in addition to topics on the relationships between proof theory, computability, and complexity theory.
New Advances in Virtual Humans: Artificial Intelligence Environment
In this book, various aspects of cognitive and emotional behaviour is described. In chapter one, a state of the art introduction to VH is presented and the associated research is given. In Chapter 2, cognitive and emotions processes are described. A Comprehensive context model for multi-party interactions with the VH is given in the next chapter. Finally, it is very important to model the socializing of groups of virtual humans. This is discussed in Chapter 4. The automatic modelling of expressions for VH is described in Chapter 5. The last chapter gives a case study of an intelligent kios avatar and its usability.
Networked Sensing Information and Control
In recent years, there has been significant interest and advances in developing systematic techniques to synthesize interactive and reconfigurable distributed sensing systems that are capable of performing effective inferencing and control tasks under overall resource constraints. Networked Sensing Information and Control is a collection of papers which present broad trends in the mathematical aspects of networked sensing, information, and control.
Network Performance Analysis : Using the J Programming Language
This useful volume introduces concepts and principles of network performance analysis by example, using the J programming language. J is rich in mathematical functionality, which makes it an ideal tool for analytical methods. The book favours a practical approach and develops functions in J to demonstrate mathematical concepts, thereby enabling readers to explore the underlying principles behind network performance analysis. In addition, this allows the subject to become more accessible to those who, although have a mathematical background, are not pure mathematicians.
Natural language and information systems ; 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings
This volume contains the papers presented at NLDB 2008, the 13th Inter- tional Conference on Natural Language and Information Systems, held June 25-27,2008.It also containssome of the best researchproposalsas submitted to the NLDB2008 doctoral symposium heldonJune24,2008.Theprogrammealso includes three invited talks covering the main perspectives of the application of naturallanguageto informationsystems: the wayhumansprocess, communicate and understand natural language, what are the implications and challenges - wardssemanticsearchfor the new Webgeneration, how naturallanguageapplies to the well-established database way of querying as a means to unlock data and information for end users.
Nanoscale Photonic Imaging
This book, edited and authored by a team of world-leading researchers, provides a broad overview of advanced photonic methods for nanoscale visualization, as well as describing a range of fascinating in-depth studies.
Nanoparticles in Biomedical Imaging : Emerging Technologies and Applications
Fundamental Biomedical Technologies features titles in multidisciplinary, technology-driven areas, providing the foundations for breakthrough advances in medicine and biology. The term technology refers, in a vigorously unrestrictive sense, to a broad array of engineering disciplines, the sciences of computation and informatics, mathematical models exploiting and advancing methods of mathematical physics, and the development of novel, experimental discovery devices. Titles in this series are designed and selected to provide high-level visionary input for specialists, while presenting overviews of emerging fields for those in related areas. Volumes in this series aim to provide technologists with the material to gain competent entry into biomedical research and biomedical researchers to understand and embrace novel technological foundations and tools.
Multiscale Problems in the Life Sciences : From Microscopic to Macroscopic
The aim of this volume that presents Lectures given at a joint CIME and Banach Center Summer School, is to offer a broad presentation of a class of updated methods providing a mathematical framework for the development of a hierarchy of models of complex systems in the natural sciences, with a special attention to Biology and Medicine. Mastering complexity implies sharing different tools requiring much higher level of communication between different mathematical and scientific schools, for solving classes of problems of the same nature. Today more than ever, one of the most important challenges derives from the need to bridge parts of a system evolving at different time and space scales, especially with respect to computational affordability. As a result the content has a rather general character; the main role is played by stochastic processes, positive semigroups, asymptotic analysis, kinetic theory, continuum theory and game theory.
Multi-scale Modelling for Structures and Composites
Numerous applications of rod structures in civil engineering, aircraft and spacecraft confirm the importance of the topic. On the other hand the majority of books on structural mechanics use some simplifying hypotheses; these hypotheses do not allow to consider some important effects, In this connection the asymptotic analysis of equations of mathematical physics, the equations of elasticity in rod structures (without these hypotheses and simplifying assumptions being imposed) is undertaken in the present book.
Multiscale Methods in Science and Engineering
Multiscale problems naturally pose severe challenges for computational science and engineering. The smaller scales must be well resolved over the range of the larger scales. Challenging multiscale problems are very common This volume is an overview of current mathematical and computational methods for problems with multiple scales with applications in chemistry, physics and engineering.
Multiple Integrals in the Calculus of Variations
From the reviews: "…the book contains a wealth of material essential to the researcher concerned with multiple integral variational problems and with elliptic partial differential equations. The book not only reports the researches of the author but also the contributions of his contemporaries in the same and related fields. The book undoubtedly will become a standard reference for researchers in these areas. …The book is addressed mainly to mature mathematical analysts. However, any student of analysis will be greatly rewarded by a careful study of this book."
Multiparadigm Programming in Mozart/Oz ; 2nd International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting components), g- erality, and better interfaces (because the data?ow model automatically makes interfaces more lightweight). Constraint programming in Oz again yields simplicity and clarity (because theprogrammercanexpresswhatneedstobetrueratherthanthemorecomplex issue of how to make it true), and o?ers a powerful mathematical notation that is di?cult to implement on top of languages that do not support it natively. Mozart's distributed computing model makes for improved interfaces and eases the evolution of systems. In my own work, one of the most important concernsistobeabletoquicklyscaleupaprototypeimplementationintoalar- scale service that can run reliably on thousands of computers, serving millions of users.
Multiobjective Evolutionary Algorithms and Applications
Multiobjective Evolutionary Algorithms and Applications provides comprehensive treatment on the design of multiobjective evolutionary algorithms and their applications in domains covering areas such as control and scheduling. Emphasizing both the theoretical developments and the practical implementation of multiobjective evolutionary algorithms, a profound mathematical knowledge is not required. Written for a wide readership, engineers, researchers, senior undergraduates and graduate students interested in the field of evolutionary algorithms and multiobjective optimization with some basic knowledge of evolutionary computation will find this book a useful addition to their book case.
Multimedia Services in Intelligent Environments : Advanced Tools and Methodologies
This book presents a sample of recent research results in multimedia services. Besides the introductory chapter, this book includes fourteen additional chapters. Nine of these chapters cover various aspects of data processing in multimedia services in intelligent environments, such as storage, recognition and classification, transmission, information retrieval, and information securing. Four additional chapters present multimedia services in noise and hearing monitoring and measuring, augmented reality, automated lecture rooms and rights management and licensing. Finally, the last chapter is devoted to an intelligent recommender service in scientific digital libraries.
Multilevel Synthesis : From the Group to the Individual
This book presents a historical panorama of the evolution of demographic thought from its eighteenth-century origins up to the present day, and uses it to demonstrate how the multilevel approach can resolve some of the contradictions that have become apparent and achieve a synthesis of the different approaches employed. Part one guides the reader from period analysis to multilevel analysis, examining longitudinal and event history analysis on the way. Part two is a detailed account of multilevel analysis, its methods, and the relevant mathematical models notably as regards the type of variables being used. Numerous examples, examined across successive sections, make the book clear and easy to follow.
Multifield Problems in Solid and Fluid Mechanics
This book summarizes the main scientific results of the Collaborative Research Center on Multifield Problems in Continuum Mechanics. The book is divided into three main sections: A: Volume-Coupled Problems, devoted to fields which are coupled inside the processing domain or volume, B: Boundary-Coupled Problems, here physical fields and processes are coupled via domain boundaries, C: Fundamental Methods, search into the mathematical concepts and backgrounds of multifield and multiscale modeling.
Multidimensional Screening
The book brings into a focus all necessary mathematical knowledge necessary to understand the economics of multidimensional results screening and applies them straightaway to economic models. The first part of this book contains a review of vector calculus, the theory of partial differential equations, and the theory of generalized convexity. These techniques are extensively used in multidimensional screening models. Part II is devoted to the economics of sceening models. It starts with a detailed discussion of economics and mathematics of unidimensional screening problems and three approaches to their solution: direct, dual, and Hamiltonian. It uses the Hamiltonian approach to unify all known results, which were previously obtained using different arguments. Then the major difficulties with direct and dual approach in the multidimensional context are discussed and the Hamiltonian approach is used to provide the most complete characterization of the solution known in the literature.
Multicriteria Optimization
Decision makers in many areas, from industry to engineering and the social sector, face an increasing need to consider multiple, conflicting objectives in their decision processes. In many cases these real world decision problems can be formulated as multicriteria mathematical optimization models. The solution of such models requires appropriate techniques to compute so called efficient, or Pareto optimal, or compromise solutions that - unlike traditional mathematical programming methods - take the contradictory nature of the criteria into account. This book provides the necessary mathematical foundation of multicriteria optimization to solve nonlinear, linear and combinatorial problems with multiple criteria. Motivational examples illustrate the use of multicriteria optimization in practice. Numerous illustrations and exercises as well as an extensive bibliography are provided.
