Page 25
Page 25
Intelligent robotics and applications ; 1st International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part II
This two volumes constitute the refereed proceedings of the First International Conference on Intelligent Robotics and Applications, ICIRA 2008, held in Wuhan, China, in October 2008.The 265 revised full papers presented were thoroughly reviewed and selected from 552 submissions; they are devoted but not limited to robot motion planning and manipulation; robot control; cognitive robotics; rehabilitation robotics; health care and artificial limb; robot learning; robot vision; human-machine interaction & coordination; mobile robotics.
Intelligent Information Technology ; 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings
Focused on the latest research findings on all topics in the area of information technology. Although the natural focus was on computer science issues, research results contributed from management, business and other disciplines formed an integral part. We received more than 200 papers from over 27 countries in the areas of com- tational intelligence, neural networks, mobile and adhoc networks, security, databases, software engineering, signal and image processing, and Internet and WWW-based computing. The programme committee, consisting of eminent researchers, academicians and practitioners, finally selected 43 full papers on the basis of reviewer grades. This proceedings contains the research papers selected for presentation at the c- ference and this is the first time that the proceedings have been published in the Lecture Notes in Computer Science (LNCS) series. The poster papers are being printed as a separate conference proceedings.
Intelligent drugs : How AI is transforming healthcare
The progress of biotechnologies and artificial intelligence allowed the development of vaccines in less than a year, thus saving millions of human lives and preserving the global economy. The emergence of intelligent drugs is highlighted, with the promise of ultra-targeted, more effective, and safer treatments against a wide range of diseases. Personalized medicine then becomes realistic, with computer-designed drugs, perfectly adapted to each individual, tested on virtual patients before their real use. In the near future, thanks to AI, new drugs will improve physical performance, stimulate cognitive abilities, prevent diseases, and slow down aging.
Intelligent decision-making support systems : Foundations, applications and challenges
The book brings together up-to-date information on the theory and application of i-DMSS. Readers will learn about the foundations, architectures, methods and strategies for successfully designing, developing, implementing, and evaluating intelligent Decision-making Support Systems. Intelligent Decision-making Support Systems: Foundations, Applications and Challenges will be of value to researchers in AI and management studies interested in the latest thinking in decision-making, as well practising managers and consultants who are involved with putting advanced information technologies into practice in organisations. The Decision Engineering series focuses on the foundations and applications of tools and techniques related to decision engineering, and identifies their relevance in ‘engineering’ decisions. The series provides an aid to practising professionals and applied researchers in the development of tools for informed operational and business decision making, within industry, by utilising distributed organisational knowledge.
Intelligent Decision Making : An AI-Based Approach
This book includes contributions from leading researchers in the field beginning with the foundations of human decision making and the complexity of the human cognitive system. Researchers contrast human and artificial intelligence, survey computational intelligence, present pragmatic systems, and discuss future trends.
Intelligent Algorithms in Ambient and Biomedical Computing
The rapid growth in electronic systems in the past decade has boosted research in the area of computational intelligence. As it has become increasingly easy to generate, collect, transport, process, and store huge amounts of data, the role of intelligent algorithms has become prominent in order to visualize, manipulate, retrieve, and interpret the data. For instance, intelligent search techniques have been developed to search for relevant items in huge collections of web pages, and data mining and interpretation techniques play a very important role in making sense out of huge amounts of biomolecular measurements. As a result, the added value of many modern systems is no longer determined by hardware only, but increasingly by the intelligent software that supports and facilitates the user in realizing his or her objectives.
Integration of Fuzzy Logic and Chaos Theory
Attempts to present some current research progress and results on the interplay of fuzzy logic and chaos theory. More specifically, this book includes a collection of some state-of-theart surveys, tutorials, and application examples written by some experts working in the interdisciplinary fields overlapping fuzzy logic and chaos theory.
Integrating Human Aspects in Production Management ; IFIP TC5 / WG5.7 Proceedings of the International Conference on Human Aspects in Production Management 5-9 October 2003, Karlsruhe, Germany
This book is composed of six parts, each focusing on a specific theme: Human Resource Planning; Human Aspects in the Digital Factory; Human Aspects in Production Planning & Control; Knowledge Management; Management of Distributed Work; and Service Engineering. The included papers were presented at the IFIP International Working Conference "Human Aspects in Production Management." Following this conference, the papers were extended by the authors and passed a peer review process.
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Integrated System-Level Modeling of Network-on-Chip Enabled Multi-Processor Platforms first gives a comprehensive update on recent developments in the area of SoC platforms and ESL design methodologies. The main contribution is the rigorous definition of a framework for modeling at the timing approximate level of abstraction. Subsequently this book presents a set of tools for the creation and exploration of timing approximate SoC platform models.
Integrated Ring Resonators : The Compendium
Ring resonators find applications not only in optical networks, but also as sensors. The required passband shape of ring resonator-filters can be custom designed by the use of configurations of various ring coupled resonators. This book describes the current state-of-the-art on these devices with respect to design, fabrication and application.
Integrated Reaction and Separation Operations : Modelling and experimental validation
The book presents the latest developments in simulation of integrated processes as well as new methods of process synthesis and process control. It shows details of experimental approaches for model validation, determining of model parameters and measurement techniques. The combination of sophisticated modelling, optimisation methods and experimental results has not ben published up to now. The book gives deep insights into the overall evaluation of integrated processes as well as development of methods for a systematic design and optimisation of integrated reaction and separation processes. Potentials for process integration and the technical as well as economic limitations have been identified. The book covers several case studies of reactive distillation, reactive extraction, reactive gas-adsorption and chromatographic reactors which have been investigated from the modelling and experimental point of view. Based on validated models process simulation was used to optimize these processes. Following the concept of integrated process design approaches have been developed for model predictive control and process optimisation during production. Another new and very important focus of the book is systematic synthesis of integrated processes.
Integrated Graphic and Computer Modelling
Full colour throughout, the book explores programming language developments from machine code to more natural language forms, and the basic display operations and commands needed to create effective computer graphic systems. As the visual presentation of real and virtual environments becomes more and more the norm in application systems, a clear understanding of the theory that underpins these techniques is required of all students and practitioners studying and working on large computer systems.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 4148 ; 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sponsorship and CEDA sponsorship. Over the years, the PATMOS workshop has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design methodologies, and tools required for the development of upcoming generations of integrated circuits and systems. The technical program of PATMOS 2006 contained state-of-the-art technical contributions, three invited talks, a special session on hearing-aid design, and an embedded tutorial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert reviewers, selected the 64 papers presented at PATMOS. The papers were organized into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, full papers were required, and several reviews were received per manuscript.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 3728 ; 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom the IEEE Circuits and Systems Society. Over the years, PATMOS has evolved into an important European event, where - searchers from both industry and academia discuss and investigate the emerging ch- lenges in future and contemporary applications, design methodologies, and tools - quired for the developmentof upcominggenerationsof integrated circuits and systems. The technical program of PATMOS 2005 contained state-of-the-art technical contri- tions, three invited talks, a special session on hearing-aid design, and an embedded - torial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, char- terization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert revi- ers, selected the 74 papers to be presented at PATMOS. The papers were divided into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were carried out per paper. Beyond the presentations of the papers, the PATMOS technical program was - riched by a series of speeches offered by world class experts, on important emerging research issues of industrial relevance. Prof. Jan Rabaey, Berkeley, USA, gave a talk on “Traveling the Wild Frontier of Ulta Low-Power Design”, Dr. Sung Bae Park, S- sung, gave a presentation on “DVL (Deep Low Voltage): Circuits and Devices”, Prof.
Integrated circuit and system design : Power and timing modeling, optimization and simulation ; 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings
Papers cover high level design, low power design techniques, low power analog circuits, statistical static timing analysis, power modeling and optimization, low power routing optimization, security and asynchronous design, low power applications, modeling and optimization, and more.
Integral Methods in Science and Engineering : Theoretical and Practical Aspects
The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity of ordinary, partial differential, integral, and integro-differential equations. An essential step in such investigations is the solution of these types of equations, which sometimes can be performed analytically, while at other times only numerically. This edited, self-contained volume presents a series of state-of-the-art analytic and numerical methods of solution constructed for important problems arising in science and engineering, all based on the powerful operation of (exact or approximate) integration.It covers a wide variety of topics, from the theoretical development of boundary integral methods to the application of integration-based analytic and numerical techniques that include integral equations, finite and boundary elements, conservation laws, hybrid approaches, and other procedures.
Integral Methods in Science and Engineering : Techniques and Applications
The physical world is studied by means of mathematical models, which consist of differential, integral, and integro-differential equations accompanied by a large assortment of initial and boundary conditions. In certain circumstances, such models yield exact analytic solutions. When they do not, they are solved numerically by means of various approximation schemes. Whether analytic or numerical, these solutions share a common feature: they are constructed by means of the powerful tool of integration—the focus of this self-contained book. This work illustrates the application of integral methods to diverse problems in mathematics, physics, biology, and engineering. The thirty two chapters of the book, written by scientists with established credentials in their fields, contain state-of-the-art information on current research in a variety of important practical disciplines.
Integral Foam Molding of Light Metals : Technology, Foam Physics and Foam Simulation
This book shows in three parts the technology, the fundamentals and the simulation models for the Integral Foam Molding of Light Metals Part I: “Technology” shows for the first time that foaming of metals is possible by applying molding techniques very similar to polymer integral foam molding. Part II: “Physics” is devoted to the physics of foaming with special emphasis on the very short time scale which is characteristic for integral foam molding. Part III: “Numerical Simulation” presents a new lattice Boltzmann approach for the treatment of free surfaces is developed and applied on foam evolution problems. For the first time, the numerical simulation of foam evolution starting from nucleation until decay is accessible.
Innovative Internet Community Systems ; Vol. 3473 ; 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Innovative Internet Community Systems, IICS 2004, held in Guadalajara, Mexico, in June 2004. The 25 revised full papers presented together with 2 invited papers have been carefully reviewed. They focus mainly on system-oriented problems, text processing, and theoretical foundations of distributed and Internet systems. They also deal with speed and quality-of-service problems of Internet protocols, aspects of cooperation and collaboration in Internet systems, as well as agent and text-processing-based methods. In addition, 9 papers stem from two mini-workshops, one on computational epidemiology and the other on optimization of urban traffic systems.
