الصفحة 36
الصفحة 36
Autonomous Systems - Self-Organization, Management, and Contro ; Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of these workshops is to bring together researchers from both universities in order to present research results to an international community.
Autonomous Robots and Agents
This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. Challenges faced in the real world to accomplish complex tasks, which require collaborative efforts, and methods to overcome them, are detailed. Several informative articles deal with navigation, localization and mapping of mobile robots, a problem that engineers and researchers are grappling with all the time.This edited volume is targeted to present the latest state-of-the-art methodologies in Robotics. It is a compilation of the extended versions of the very best papers selected from the many that were presented at the 3rd International Conference on Autonomous Robots and Agents (ICARA 2006) which was held at Palmerston North, New Zealand from 11-14 December, 2006. Scientists and engineers who work with mobile robots will find this book very useful and stimulating.
Automated technology for verification and analysis ; 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects
Automated technology for verification and analysis ; 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.
Auralization : Fundamentals of acoustics, modelling, simulation, algorithms and acoustic virtual reality
"Auralization" is the technique of creation and reproduction of sound on the basis of computer data. With this tool is it possible to predict the character of sound signals which are generated at the source and modified by reinforcement, propagation and transmission in systems such as rooms, buildings, vehicles or other technical devices. This book is organized as a comprehensive collection of the basics of sound and vibration, acoustic modelling, simulation, signal processing and audio reproduction. Implementations of the auralization technique are described using examples drawn from various fields in acoustic’s research and engineering, architecture, sound design and virtual reality.
Attention in Cognitive Systems : Theories and Systems from an Interdisciplinary Viewpoint ; 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers
The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor activities and the interpretation of feedback from perceptual modalities. Decision making about the selection of information from the incoming sensory stream – in tune with contextual processing on a current task and an agent’s global objectives – becomes a further challenging issue in attentional control. Attention must operate at interfaces between bottom-up driven world int- pretation and top-down driven information selection, thus acting at the core of arti?cial cognitive systems. These insights have already induced changes in AI-related disciplines, such as the design of behavior-based robot control and the computational modeling of animats. Today, the development of enabling technologiessuch as autonomous robotic systems,miniaturizedmobile–evenwearable–sensors,andambientintelligence systems involves the real-time analysis of enormous quantities of data. These data have to be processed in an intelligent way to provide “on time delivery” of the required relevant information. Knowledge has to be applied about what needs to be attended to, and when, and what to do in a meaningful sequence, in correspondence with visual feedback.
Atomistic approaches in modern biology : From quantum chemistry to molecular simulations
This volume of Topics in Current Chemistry presents an overview of atomistic theoreticalmethodsapplied tomolecular biologicalsystems. Itthus repesents abottom-upview of chemistryonbiologyfroma theoreticalperspective. The chapters arearrangedsuchthat important issuesareconsidered startingfrom a quantum mechanical perspective and proceeding to a molecular mechanics and molecular dynamics descriptiono fthemotionoftheelementaryparticles involved.which are responsible for the properties and function of biomolecules. Depending on the length and time scales relevant for a given phenomenon to be investigated, tailored theoretical methods are required to account for these. If one is interested in large scale motions of molecules, a molecul- mechnanics-based description willbeappropriate.
Atmospheric Icing of Power Networks
Atmospheric ice takes a wide range of fascinating forms, all beautiful in their own ways but many posing severe risk to the security of overhead networks for electric power, communications and other systems. This book documents the fundamentals of atmospheric icing and surveys the state of the art in eight chapters, each written by a team of experienced and internationally renowned experts.
Atmospheric and space flight dynamics : Modeling and simulation with MATLAB® and Simulink®
Modern aerospace vehicles, such as the space shuttle, other launch vehicles, and long-range ballistic missiles, do not discriminate between atmospheric and space flight. Most texts on flight dynamics, however, make this artificial distinction and therefore do not simultaneously cover aircraft and spacecraft. Bridging this gap in the literature, Atmospheric and Space Flight Dynamics is a unified presentation, demonstrating that the two disciplines have actually evolved from the same set of physical principles.Primarily useful as a textbook for advanced undergraduate and beginning graduate-level students, the work is also an excellent reference or self-study guide for researchers and practitioners in aerospace engineering, aviation, mechanical engineering, dynamics, astrodynamics, aeronautics, and astronautics.
Atmospheric and Oceanic
This volume contains many original findings on mesoscale processes in atmospheric and oceanic systems through mathematical modeling, numerical simulations and field experiments. These scientific papers examine and provide the latest developments on a range of topics that include tropical cyclones/hurricanes, mesoscale variability and modeling, seasonal monsoons and land surface processes including atmospheric boundary layer. This volume will be useful as a reading material in graduate level courses dealing with mesoscale systems, weather, climate, monsoon variability and boundary layer.
Astrophysical disks : Collective and stochastic phenomena
The book deals with collective and stochastic processes in astrophysical discs involving theory, observations, and the results of modelling. Among others, it examines the spiral-vortex structure in galactic and accretion disks , stochastic and ordered structures in the developed turbulence. It also describes sources of turbulence in the accretion disks, internal structure of disk in the vicinity of a black hole, numerical modelling of Be envelopes in binaries, gaseous disks in spiral galaxies with shock waves formation, observation of accretion disks in a binary system and mass distribution of luminous matter in disk galaxies.
Assertion-Based Design
Chapter 3 Specifying RTL Properties 61 3. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3 3. 1 Immediate assertions 84 3. 3 System functions 95 3. 3 Assertions across simulation time slots 111 4.
Aspects of mathematical modelling : Applications in science, medicine, economics and management
The construction of mathematical models is an essential scientific activity. Mathematics has long been associated with developments in the exact sciences and engineering, but more recently mathematical modelling has been used to investigate complex systems that arise in many other fields. The contributors to this book demonstrate the application of mathematics to modern research topics in ecology and environmental science, health and medicine, phylogenetics and neural networks, theoretical chemistry, economics and management. The reader will find some review papers outlining current research directions in hot topics such as pattern formation and applications to medicine, and more targeted research papers on current developments in the various disciplines included.
AsiaSim 2007 ; Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007, Proceedings
This book contains modeling, simulation, and their applications.It also contains e-business, supply chain management, general and engineering applications, manufacturing, medical, military,networks, transportation, traffic and virtual reality.
Artificial Market Experiments with the U-Mart System
Economics went through great development in the 20th century. This development, which was based mainly on mathematical methods, is not an appropriate method of analyzing markets that change every hour and every day. In a stock market, prices constantly change depending on speculation. U-Mart, a manmade market, has been proposed in order to study such instantly moving markets. Although the U-Mart system is internationally acclaimed for being at the forefront of market research, its use is by no means limited to a small number of researchers on the fringe. The whole system, including its source code, is open and is distributed without charge, testifying to a philosophy of creating and providing a common testbed for research into financial markets.
Artificial life models in software
Artificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and analysis of artefactual, virtual and living forms, written by those who personally design and produce software, hardware and art installations in artificial life, simulated complex systems and virtual worlds. This timely volume offers a nearly exhaustive overview and original analysis of major non-profit artificial life software packages. The carefully selected topics include: · simulation of real and imaginary life forms and their evolution · self-organization · emergent behaviours · swarm intelligence · evolutionary robotics · agent-based simulations · adaptive, complex and biologically inspired ecosystems · creative computer art There has long been a need within the academic and research community for an informal introduction and guidance to modern software tools for modelling and simulation of life-like phenomena – Artificial Life Models in Software fills this gap and provides invaluable information to both professional and amateur readers, offering detailed reviews of contemporary software for artificial life.
Artificial Intelligent Techniques for Wireless Communication and Networking
Wireless communication and networking based on AI concepts and techniques are explored in this book, specifically focusing on the current research in the field by highlighting empirical results along with theoretical concepts. The possibility of applying AI mechanisms towards security aspects in the communication domain is elaborated; also explored is the application side of integrated technologies that enhance AI-based innovations, insights, intelligent predictions, cost optimization, inventory management, identification processes, classification mechanisms, cooperative spectrum sensing techniques, ad-hoc network architecture, and protocol and simulation-based environments.
Artificial intelligence in mechatronics and civil engineering : Bridging the gap
Recent studies highlight the application of artificial intelligence, machine learning, and simulation techniques in engineering. This book covers the successful implementation of different intelligent techniques in various areas of engineering focusing on common areas between mechatronics and civil engineering. The power of artificial intelligence and machine learning techniques in solving some examples of real-life problems in engineering is highlighted in this book. The implementation process to design the optimum intelligent models is discussed in this book.
Artificial intelligence for customer relationship management : Solving customer problems
This book describes a number of applications of Artificial Intelligence in the field of Customer Relationship Management with the focus of solving customer problems. We design a system that tries to understand the customer complaint, his mood, and what can be done to resolve an issue with the product or service. To solve a customer problem efficiently, we maintain a dialogue with the customer so that the problem can be clarified and multiple ways to fix it can be sought. We introduce dialogue management based on discourse analysis: a systematic linguistic way to handle the thought process of the author of the content to be delivered. We analyze user sentiments and personal traits to tailor dialogue management to individual customers. We also design a number of dialogue scenarios for CRM with replies following certain patterns and propose virtual and social dialogues for various modalities of communication with a customer.
Artificial intelligence applications and innovations ; 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI), 2006, June 7-9, 2006, Athens, Greece
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
