Page 11
Page 11
Artificial intelligence and symbolic computation ; 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.
Area-wide control of insect pests : From research to field implementation
This new textbook on area-wide control of insect pests collates a series of selected papers that attempts to address various funda- mental components of AW-IPM, e.g. the importance of relevant problem-solving research, the need for essential baseline data, thesignificanceofadequatetoolsforappropri-atecontrolstrategies,andthevalueofpilottri- als, etc.
Applied therapeutics : The clinical use of drugs
"Continually revised and updated for 50 years, Applied Therapeutics: The Clinical Use of Drugs is the gold standard for patient centered drug therapeutics. With its acclaimed case-based approach, it promotes mastery and application of the fundamentals of drug therapeutics. Featuring contributions from more than 200 experienced clinicians, every chapter reflects our ever-changing knowledge of drugs and the application of this knowledge to the individualized therapy of patients. As students progress from the General Principles section to chapters on specific diseases, they will benefit from practical problem-solving techniques that help devise effective evidence-based drug treatment plans"
Applied Stratigraphy
This book aims to incorporate major aspects and essential elements underpinning the modern applications and perspectives of stratigraphy. It focuses on traditional and innovative techniques and how these can be utilized in reconstructing the geological history of sedimentary basins and in solving manifold geological problems and phenomena. Each chapter summarizes contributions by leading researchers in the field. It is hoped that this book will provide the reader with key insights into all these aspects and applications.
Applied mathematics and machine learning
The simultaneous availability of large datasets and high-performance computing capability in recent years has enabled the rapid development of powerful machine learning algorithms. On the one hand, state-of-the-art machine learning techniques have transformed many areas of science and engineering; on the other hand, theoretical discoveries in mathematical algorithms, differential equations, and statistical inferences, to name a few, have provided the foundation for the exploration of new multidisciplinary models for solving practical problems. This Special Issue endeavors to continue the journey that started in our previous Special Issue (Applied Mathematics and Computational Physics) by providing a platform for researchers from both academia and industry, as well as government, to present their new computational methods that have engineering and physics applications.
Applications of evolutionary computing ; Vol. 3449 ; Evoworkshops : EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC
Evolutionary computation (EC) techniques are e?cient nature-inspired pl- ning and optimization methods based on the principles of natural evolution and genetics. Due to their e?ciency and the simple underlying principles, these methods can be used for a large number of problems in the context of problem solving,optimization,andmachinelearning. Alargeandcontinuouslyincreasing number of researchers and practitioners make use of EC techniques in many - plication domains. The book at hand presents a careful selection of relevant EC applications combined with thorough examinations of techniques for a successful application of EC. The presented papers illustrate the current state of the art in the application of EC and should help and inspire researchers and practitioners to develop e?cient EC methods for design and problem solving.
Applications of evolutionary computing ; EvoWorkshops 2008 : EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings
This volume presents a careful selection of relevant EC examples combined with a thorough examination of the techniques used in EC. The papers in the volume illustrate the current state of the art in the application of EC and should help and - spire researchers and professionals to develop e?cient EC methods for design and problem solving.
Applications of declarative programming and knowledge management ; 15th international conference on applications of declarative programming and knowledge management, INAP 2004, and 18th workshop on logic programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, Thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
Application of computational electromagnetics techniques and artificial intelligence in the engineering
Introduces the latest developments in electromagnetic computing and artificial intelligence technology. Artificial intelligence technology can be applied to the modeling, analysis, and optimization design of microwave equipment, solving the routing problem of self-organizing networks in small unmanned aerial vehicle systems, calculating the radiation characteristics of antenna arrays on large electrical platforms, analyzing the impact of electromagnetic wave coupling on electronic devices, simulating the field distribution characteristics of electronic devices, and so on. With the help of artificial intelligence, designers can more conveniently, quickly, and accurately solve engineering problems.
Annotating, Extracting and Reasoning about Time and Events ; International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers
The book presented centers around an emergingde factost and ardfortime and event annotation: TimeML. TimeML has recently been adopted as a candidate for an ISO standard, and is currently being reviewed in this capacity.It discussions focussed on the following three Time- related issues: using the TimeML language efiectively for consistent annotation, determining how useful such annotation is for further processing,and describing modifications that should be applied to the standard for applications such as question-answering and information retrieval. Discussions at the Dagstuhl Seminar led to new researchideas, and a variety
Analysis and Design of Intelligent Systems Using Soft Computing Techniques
This book comprises a selection of papers from IFSA 2007 on new methods for analysis and design of hybrid intelligent systems using soft computing techniques. Soft Computing (SC) consists of several computing paradigms, including fuzzy logic, neural networks, and genetic algorithms, which can be used to produce powerful hybrid intelligent systems for solving problems in pattern recognition, time series prediction, intelligent control, robotics and automation. Hybrid intelligent systems that combine several SC techniques are needed due to the complexity and high dimensionality of real-world problems. Hybrid intelligent systems can have different architectures, which have an impact on the efficiency and accuracy of these systems, for this reason it is very important to optimize architecture design. The architectures can combine, in different ways, neural networks, fuzzy logic and genetic algorithms, to achieve the ultimate goal of pattern recognition, time series prediction, intelligent control, or other application areas.
Analysis and Algorithms for Service Parts Supply Chains
Services requiring parts has become a $1.5 trillion business annually worldwide, creating a tremendous incentive to manage the logistics of these parts efficiently by making planning and operational decisions in a rational and rigorous manner. This book provides a broad overview of modeling approaches and solution methodologies for addressing service parts inventory problems found in high-powered technology and aerospace applications. The focus in this work is on the management of high cost, low demand rate service parts found in multi-echelon settings. This unique book, with its breadth of topics and mathematical treatment, begins by first demonstrating the optimality of an order-up-to policy [or (s-1,s)] in certain environments. This policy is used in the real world and studied throughout the text. The fundamental mathematical building blocks for modeling and solving applications of stochastic process and optimization techniques to service parts management problems are summarized extensively. A wide range of exact and approximate mathematical models of multi-echelon systems is developed and used in practice to estimate future inventory investment and part repair requirements.
An Introduction to Scientific Computing : Twelve Computational Projects Solved with MATLAB
This book provides twelve computational projects aimed at numerically solving problems from a broad range of applications including Fluid Mechanics, Chemistry, Elasticity, Thermal Science, Computer Aided Design, Signal and Image Processing. For each project the reader is guided through the typical steps of scientific computing from physical and mathematical description of the problem, to numerical formulation and programming and finally to critical discussion of numerical results. Considerable emphasis is placed on practical issues of computational methods. The last section of each project contains the solutions to all proposed exercises and guides the reader in using the MATLAB scripts.
An Introduction to Programming and Numerical Methods in MATLAB
The book covers numerical methods for solving a wide range of problems, from integration to the numerical solution of differential equations or the stimulation of random processes. Examples of programmes that solve problems directly, as well as those that use MATLAB’s high-level commands are given. Each chapter includes extensive examples and tasks, at varying levels of complexity. For practice, the early chapters include programmes that require debugging by the reader, while full solutions are given for all the tasks. The book also includes: A glossary of MATLAB commands / Aappendices of mathematical techniques used in numerical methods / Designed as a text for a first course in programming and algorithm design, as well as in numerical methods courses, the book will be of benefit to a wide range of students from mathematics and engineering, to commerce."
Algorithms in Real Algebraic Geometry
The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering. In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing.
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 ; 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings
This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. The 47 full papers, presented together with two invited lectures, were carefully reviewed and selected from a total of 123 submissions. They present original research on the theory, design and application of algorithms and data structures.
AI 2004 : Advances in artificial intelligence ; 17th Australian Joint conference on artificial intelligence, Cairns, Australia, December 4-6, 2004, proceedings
AI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the major forum for artificial intelligenceresearch in Australia. It has consistently attracted strong international partic-ipation. This year more than two thirds of the submissions were from outsideAustralia.The current volume is based on the proceedings of AI 2004. AI 2004 was collo-cated with Complex 2004, the 7th Asia-Pacific Conference on Complex Systems,with the aim of promoting cross-fertilization and collaboration in areas of com-plex and intelligent systems
Agent-Based Modeling Meets Gaming Simulation
Provides a good example of the diverse scope and standard of research achieved in simulation and gaming today. The theme of the special session at ISAGA2003 was Agent-Based Modeling Meets Gaming Simulation. Nowadays, agent-based simulation is becoming very popular for modeling and solving complex social phenomena. It is also used to arrive at practical solutions to social problems. At the same time, however, the validity of simulation does not exist in the magni?cence of the model. R. Axelrod stresses the simplicity of the agent-based simulation model through the “Keep it simple, stupid” (KISS) principle: As an ideal, simple modeling is essential.
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
