الصفحة 40
الصفحة 40
Automated deduction in Geometry ; 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.
Assessment and future directions of nonlinear model predictive control
Thepastthree decadeshaveseenrapiddevelopmentin the areaofmodelpred- tive control with respect to both theoretical and application aspects. Over these 30 years, model predictive control for linear systems has been widely applied, especially in the area of process control. However, today’s applications often require driving the process over a wide region and close to the boundaries of - erability, while satisfying constraints and achieving near-optimal performance. Consequently, the application of linear control methods does not always lead to satisfactory performance, and here nonlinear methods must be employed. This is one of the reasons why nonlinear model predictive control (NMPC) has - joyed signi?cant attention over the past years,with a number of recent advances on both the theoretical and application frontier. Additionally, the widespread availability and steadily increasing power of today’s computers, as well as the development of specially tailored numerical solution methods for NMPC, bring thepracticalapplicabilityofNMPCwithinreachevenforveryfastsystems.This has led to a series of new, exciting developments, along with new challenges in the area of NMPC.
Assembly Line Design : The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms
Efficient assembly line design is a problem of considerable industrial importance. Assembly Line Design will be bought by technical personnel working in design, planning and production departments in industry as well as managers in industry who want to learn more about concurrent engineering.
Aspects of Mathematical Finance
Considering the stupendous gain in importance, in the banking and insurance industries since the early 1990’s, of mathematical methodology, especially probabilistic methodology, it was a very natural idea for the French "Académie des Sciences" to propose a series of public lectures, accessible to an educated audience, to promote a wider understanding for some of the fundamental ideas, techniques and new tools of the financial industries. These lectures were given at the "Académie des Sciences" in Paris by internationally renowned experts in mathematical finance, and later written up for this volume which develops, in simple yet rigorous terms, some challenging topics such as risk measures, the notion of arbitrage, dynamic models involving fundamental stochastic processes like Brownian motion and Lévy processes.
Artificial neural network-based optimized design of reinforced concrete structures
Introduces AI-based Lagrange optimization techniques that can enable more rational engineering decisions for concrete structures while conforming to codes of practice. It shows how objective functions including cost, CO2 emissions, and structural weight of concrete structures are optimized either separately or simultaneously while satisfying constraining design conditions using an ANN-based Lagrange algorithm. Any design target can be adopted as an objective function. Many optimized design examples are verified by both conventional structural calculations and big datasets. Uniquely applies the new powerful tools of AI to concrete structural design and optimization Multi-objective functions of concrete structures optimized either separately or simultaneously Design requirements imposed by codes are automatically satisfied by constraining conditions Heavily illustrated in color with practical design examples
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 theory and practice II : IFIP 20th World Computer Congress, TC 12 : IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Artificial intelligence in theory and practice ; IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile
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.
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 hardware design : Challenges and solutions
Learn foundational and advanced topics in Neural Processing Unit design with real-world examples from leading voices in the field. A thorough introduction to neural networks and neural network development history, as well as Convolutional Neural Network (CNN) models Explorations of various parallel architectures, including the Intel CPU, Nvidia GPU, Google TPU, and Microsoft NPU, emphasizing hardware and software integration for performance improvement Discussions of streaming graph for massive parallel computation with the Blaize GSP and Graphcore IPU An examination of how to optimize convolution with UCLA Deep Convolutional Neural Network accelerator filter decomposition
Artificial Intelligence Applications for Health Care
Covers topics on health care and artificial intelligence. Data sets related to biomedical signals (ECG, EEG, EMG) and images (X-rays, MRI, CT) are explored, analyzed, and processed through different computation intelligence methods. Applications of computational intelligence techniques like artificial and deep neural networks, swarm optimization, expert systems, decision support systems, clustering, and classification techniques on medial datasets are explained. Survey of medical signals, medial images, and computation intelligence methods are also provided.
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.
Artificial intelligence and knowledge engineering applications : A bioinspired approach ; 1st international work-Conference on the interplay between natural and artificial computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II
The computational paradigm considered here is a conceptual, theoretical andformal framework situated above machines and living creatures (two instantia-tions), sufficiently solid, and still non-exclusive, that allows us:1. to help neuroscientists to formulate intentions, questions, experiments, meth-ods and explanation mechanisms assuming that neural circuits are the psy-chological support of calculus;2. to help scientists and engineers from the fields of artificial intelligence (AI)and knowledge engineering (KE) to model, formalize and program the com-putable part of human knowledge;3. to establish an interaction framework between natural system computation(NSC) and artificial system computation (ASC) in both directions, fromASC to NSC (in computational neuroscience), and from NSC to ASC (inbioinspired computation).
Artificial intelligence and innovations 2007 : from theory to applications ; Proceedings of the 4th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI2007)
This book brings together leading research from engineers and practitioners interested in the technical advances, business and industrial applications of intelligent systems.It is focused on providing insights on how AI can be implemented in real world applications. Intelligent Internet Systems: Emerging Technologies and Applications
Artificial intelligence : Methodology, systems, and applications ; 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2006. The 28 revised full papers presented together with the abstracts of 2 invited lectures were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on agents, constraints and optimization, user concerns, decision support, models and ontologies, machine learning, ontology manipulation, natural language processing, and applications.
Artificial intelligence : Methodology, systems, and applications ; 10th International Conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002. Proceedings
The AIMSA conference series was frst conceived in 1984 as a gathering of AI researchers and students from Eastern and Central Europe.Sincethenthecon- rence has followed a biennial schedule of meetings in Bulgaria, attracting parti- pantsfrom awidergeographicalarea.The AIMSA organizers are delighted to present you with another exciting program, coveringmostareasof Artifcial Intelligence.Inkeepingwithitsm- sion to inform the research community and excite the commercial sector, AIMSA presents this year two invited contributions from world-leading European rese- chersworkingoncutting-edgeAIresearch: Prof.CaroleGoble, ontheSemantic Web.
Artificial immune systems ; Vol. 4163 : 5th International conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings
ICARIS 2006 is the ?fth instance of a series of conferences dedicated to the comprehension and the exploitation of immunological principles through their translation into computational terms.Their axis of research tries to stabilize an on-going identity somewhere in the crossroad of engineering (building useful artifacts), natural sciences (biologyor psychology— improving the comprehension and prediction of natural phenomena) and t- oretical computer sciences (developing and mastering the algorithmic world). Accordingly and depending on which of these perspectives receives more s- port, they attempt at attracting di?erent kinds of scientists and at stimul- ing di?erent kinds of scienti?c attitudes. For many years and in the previous ICARIS conferences, it was clearly the “engineering.
Artificial immune systems ; Vol. 3627 ; 4th International conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings
Your immune system is unique. It is in many ways as complex as your brain, butit is not centred in one location, like the brain. It is not a single organ—it consistsof many different cell types, diverse methods of intercellular communication, andmany different organs. Its functionality is blurred throughout you—we can’textract the immune system, or point to where it begins and ends. The immunesystem is not separable from the system it protects. It has integral links to everyorgan of our bodies.This has radical implications for the field of Artificial Immune Systems (AIS),that we are only now beginning to comprehend. One of the first insights is thatmodelling the immune system, or developing any kind of immune algorithm, isdifficult. The immune system is one aspect of biology that we find difficult toapply simple reductionist explanations to. We can very successfully extract sub-processes of the whole and create immune algorithms based on those processes.
Artificial immune systems ; 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Artificial Immune Systems, ICARIS 2008, held in Phuket, Thailand, in August 2008.
Artificial immune systems ; 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007, Proceedings
This book contains sections on search and optimization, classification and clustering, anomaly detection and negative selection, robotics, control and electronics. Modeling papers, conceptual papers, and technical papers and general applications are also included.
