الصفحة 45
الصفحة 45
Algorithms for Decision Making
A broad introduction to algorithms for decision making under uncertainty, introducing the underlying mathematical problem formulations and the algorithms for solving them. Automated decision-making systems or decision-support systems—used in applications that range from aircraft collision avoidance to breast cancer screening—must be designed to account for various sources of uncertainty while carefully balancing multiple objectives. This textbook provides a broad introduction to algorithms for decision making under uncertainty, covering the underlying mathematical problem formulations and the algorithms for solving them.
Algorithms and data structures : The Basic Toolbox
This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical language.
Algorithmic Aspects of Bioinformatics
Advances in bioinformatics and systems biology require improved computational methods for analyzing data, while progress in molecular biology is in turn influencing the development of computer science methods. This book introduces some key problems in bioinformatics, discusses the models used to formally describe these problems, and analyzes the algorithmic approaches used to solve them. After introducing the basics of molecular biology and algorithmics, Part I explains string algorithms and alignments; Part II details the field of physical mapping and DNA sequencing; and Part III examines the application of algorithmics to the analysis of biological data. Exciting application examples include predicting the spatial structure of proteins, and computing haplotypes from genotype data. This book describes topics in detail and presents formal models in a mathematically precise, yet intuitive manner, with many figures and chapter summaries, detailed derivations, and examples. It is well suited as an introduction into the field of bioinformatics, and will benefit students and lecturers in bioinformatics and algorithmics, while also offering practitioners an update on current research topics.
Algèbre commutative, Chapitre 10 = Commutative Algebra, Chapter 10
Depth, Regularity, Duality The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. This volume of the Book of Commutative Algebra, Book 7 of the treatise, is a continuation of the earlier chapters. It introduces in particular the notions of depth and smoothness, fundamental in algebraic geometry. It ends with the introduction of the dualizing modules and the Grothendieck duality.
Algebras, Rings and Modules ; Vol.2
This book provides both the classical aspects of the theory of groups and their representations as well as a general introduction to the modern theory of representations including the representations of quivers and finite partially ordered sets and their applications to finite dimensional algebras.
Algebraic Methods for Nonlinear Control Systems
A self-contained introduction to algebraic control for nonlinear systems suitable for researchers and graduate students.The most popular treatment of control for nonlinear systems is from the viewpoint of differential geometry yet this approach proves not to be the most natural when considering problems like dynamic feedback and realization. Professors Conte, Moog and Perdon develop an alternative linear-algebraic strategy based on the use of vector spaces over suitable fields of nonlinear functions. This algebraic perspective is complementary to, and parallel in concept with, its more celebrated differential-geometric counterpart.Algebraic Methods for Nonlinear Control Systems describes a wide range of results, some of which can be derived using differential geometry but many of which cannot.
Algebraic Geometry : An Introduction
The book starts with easily-formulated problems with non-trivial solutions – for example, Bézout’s theorem and the problem of rational curves – and uses these problems to introduce the fundamental tools of modern algebraic geometry: dimension; singularities; sheaves; varieties; and cohomology. The treatment uses as little commutative algebra as possible by quoting without proof (or proving only in special cases) theorems whose proof is not necessary in practice, the priority being to develop an understanding of the phenomena rather than a mastery of the technique. A range of exercises is provided for each topic discussed, and a selection of problems and exam papers are collected in an appendix to provide material for further study.
Algebra 3 : Homological Algebra and Its Applications
Includes algebra, deals with important topics in homological algebra, including abstract theory of derived functors, sheaf co-homology, and an introduction to etale and l-adic co-homology. It contains four chapters which discuss homology theory in an abelian category together with some important and fundamental applications in geometry, topology, algebraic geometry (including basics in abstract algebraic geometry), and group theory.
Algebra ; Vol. I : Fields and Galois Theory
The present textbook is a lively, problem-oriented and carefully written introduction to classical modern algebra. The first volume focuses on field extensions. Galois theory and its applications are treated more thoroughly than in most texts. It also covers basic applications to number theory, ring extensions and algebraic geometry.The main focus of the second volume is on additional structure of fields and related topics. Much material not usually covered in textbooks appears here, including real fields and quadratic forms, diophantine dimensions of a field, the calculus of Witt vectors, the Schur group of a field, and local class field theory.
Algebra : Fields with structure, algebras and advanced topics
The present textbook is a lively, problem-oriented and carefully written introduction to classical modern algebra. The author leads the reader through interesting subject matter, while assuming only the background provided by a first course in linear algebra. The first volume focuses on field extensions. Galois theory and its applications are treated more thoroughly than in most texts. It also covers basic applications to number theory, ring extensions and algebraic geometry. The main focus of the second volume is on additional structure of fields and related topics. Much material not usually covered in textbooks appears here, including real fields and quadratic forms, the Tsen rank of a field, the calculus of Witt vectors, the Schur group of a field, and local class field theory.
Algal Chemical Ecology
This is the first ever book devoted entirely to the chemical ecology of algae. Algae from both marine and freshwater habitats are covered, as are macroalgae (seaweeds) and microalgae (including phytoplankton). While its main emphasis is on the ecological rather than chemical aspects of the field, the book also includes a unique introductory chapter intended as a primer on algal natural products chemistry for ecologists. It elucidates the roles of chemical defenses in various regions and habitats, of DMSP, oxidative burst responses, and herbivore offense. Topics such as algal sensory chemical ecology and defenses against ultraviolet radiation are also treated, and an introduction to the chemical ecology of phytoplankton is provided.
Aggregation functions : A guide for practitioners
Aggregation of information is of primary importance in the construction of knowledge based systems in various domains, ranging from medicine, economics, and engineering to decision-making processes, artificial intelligence, robotics, and machine learning. This book gives a broad introduction into the topic of aggregation functions, and provides a concise account of the properties and the main classes of such functions, including classical means, medians, ordered weighted averaging functions, Choquet and Sugeno integrals, triangular norms, conorms and copulas, uninorms, nullnorms, and symmetric sums. It also presents some state-of-the-art techniques, many graphical illustrations and new interpolatory aggregation functions. A particular attention is paid to identification and construction of aggregation functions from application specific requirements and empirical data. This book provides scientists, IT specialists and system architects with a self-contained easy-to-use guide, as well as examples of computer code and a software package. It will facilitate construction of decision support, expert, recommender, control and many other intelligent systems.
Agents and peer-to-peer computing ; 2nd International workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, revised and invited papers
This book brings together an introduction, three invited articles, and revised versions of the papers presented at the Second International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2003, held in Melbourne, Australia, July 2003."" "Peer-to-peer (P2P) computing is currently attracting enormous public attention, a very large number of autonomous computing nodes, the peers, rely on each other for services. P2P networks are emerging as a new distributed computing paradigm because of their potential to harness the computing power and the storage capacity of the hosts composing the network, and because they realize a completely open decentralized environment where everybody can join in autonomously.
Ageing and the Glass Transition
Understanding cooperative phenomena far from equilibrium is one of fascinating challenges of present-day many-body physics. Glassy behaviour and the physical ageing process of such materials are paradigmatic examples. The present volume, primarily intended as introduction and reference for postgraduate students and nonspecialist researchers from related fields, collects six extensive lectures addressing selected experimental and theoretical issues in the field of glassy systems.
Affect and Mathematics Education : Fresh Perspectives on Motivation, Engagement, and Identity
Presents the latest trends in research in the area. Following an introduction and a survey chapter providing a concise overview of the state-of-art in the field of mathematics-related affect, the book is divided into three main sections: motivation and values, engagement, and identity in mathematics education. Each section comprises several independent chapters based on original research, as well as a reflective commentary by an expert in the area. Collectively, the chapters present a rich methodological spectrum, from narrative analysis to structural equation modelling.
Advances in wheat genetics : From genome to field : Proceedings of the 12th International wheat genetics symposium
Provides a comprehensive review of the forefront of wheat research, across various important topics such as germplasm and genetic diversity, cytogenetics and allopolyploid evolution, genome sequencing, structural and functional genomics, gene function and molecular biology, biotic stress, abiotic stress, grain quality, and classical and molecular breeding. Following an introduction, 9 parts of the book are dedicated to each of these topics. A final, 11th part entitled “Toward Sustainable Wheat Production” contains 7 excellent papers that were presented in the 12th IWGS Special Session supported by the OECD.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances in Material Forming ; Esaform 10 years on
This book groups the main advances in material forming, considering different p- cesses (conventional and non-conventional) focusing in polymers, composites and metals, that are analyzed from the state of the art, describing the most significant recent advances and identifying the present challenges from the experimental, modeling and numerical points of view. Chapters include a large list of references and have been wr- ten by recognized specialists. Special emphasis is devoted to the contributions of the European Scientific Association on Material Forming (ESAFORM) during the last 10 years (1998-2007) and in particular the ones coming from its annual international conference. The first chapter includes an excellent introduction to the Esaform association.
Advances in Evolutionary Computing for System Design
Evolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book includes thirteen chapters covering a wide area of topics in evolutionary computing and applications including: -Introduction to evolutionary computing in system design - Evolutionary neuro-fuzzy systems - Evolution of fuzzy controllers - Genetic algorithms for multi-classifier design -Evolutionary grooming of traffic -Evolutionary particle swarms -Fuzzy logic systems using genetic algorithms - Evolutionary algorithms and immune learning for neural network-based controller design - Distributed problem solving using evolutionary learning -Evolutionary computing within grid environment -Evolutionary game theory in wireless mesh networks - Hybrid multiobjective evolutionary algorithms for the sailor assignment problem - Evolutionary techniques in hardware optimization
