Page 4
Page 4
Logic Based Program Synthesis and Transformation ; Vol. 3901 ; 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.
Logic Based Program Synthesis and Transformation ; Vol. 3573 : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. The presence of duplicated code (or functionality) is a primary indication that the design of the program can be improved by performing a so-called refactoring transformation. Within the framework of our analysis, we formally characterize three situations of duplicated functionality and their associated refactorings: the extraction of a duplicated goal into a new predicate, the removal of equivalent predicates and the generalization of two predicates into a higher-order predicate. The resulting analysis detects in a completely automatic way what program fragments are suitable candidates for the considered refactoring transformations.
Language and Automata Theory and Applications ; 2nd International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008.The 40 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers deal with the various issues related to automata theory and formal languages
Lagrangian and Hamiltonian Methods for Nonlinear Control 2006 ; Proceedings from the 3rd IFAC Workshop, Nagoya, Japan, July 2006
A Differential-Geometric Approach for Bernstein’s Degrees-of-Freedom Problem.- Nonsmooth Riemannian Optimization with Applications to Sphere Packing and Grasping.- Synchronization of Networked Lagrangian Systems.- An Algorithm to Discretize One-Dimensional Distributed Port Hamiltonian Systems.- Virtual Lagrangian Construction Method for Infinitedimensional Systems with Homotopy Operators.- Direct Discrete-Time Design for Sampled-Data Hamiltonian Control Systems.- Kinematic Compensation in Port-Hamiltonian Telemanipulation.- Interconnection and Damping Assignment Passivity-Based Control of a Four-Tank System.- Towards Power-based Control Strategies for a Class of Nonlinear Mechanical Systems.- Power Shaping Control of Nonlinear Systems: A Benchmark Example.- Total Energy Shaping Control of Mechanical Systems: Simplifying the Matching Equations via Coordinate Changes.- Simultaneous Interconnection and Damping Assignment Passivity–Based Control: Two Practical Examples.
La lombalgie en 2007 : Aspects pratiques = Low back pain in 2007 : Practical aspects
Low back pain is one of the main reasons for consultation, whether in general or specialized medicine. It poses a real public health problem. This "back pain", which can despair patients and doctors by its sometimes rebellious character, explains the multiplicity of examinations sometimes practiced and the treatments implemented. This work is a collection of the most recent developments in terms of physiopathological knowledge of disc involvement, clinical examination and the place of surgery and in particular disc prostheses. An update concerns the indications and contributions of additional examinations; some formidable diagnostic traps are mentioned. Medical treatments such as infiltrations, manipulations, the benefit of restraints and the provision of acupuncture are being developed. Also discussed are the latest scientific data on isokinetic evaluation and retraining, as well as the role of sports activity as a factor in the prevention or aggravation of low back pain. Finally, the medico-legal aspect is dealt with in the context of work accidents, and the assessment after trauma. This book is the result of the collaboration and experience of undisputed specialists in this field.
Complexity Management in Fuzzy Systems : A Rule Base Compression Approach
This book presents a systematic study on the inherent complexity in fuzzy systems, resulting from the large number and the poor transparency of the fuzzy rules. The study uses a novel approach for complexity management, aimed at compressing the fuzzy rule base by removing the redundancy while preserving the solution. The compression is based on formal methods for presentation, manipulation, transformation and simplification of fuzzy rule bases, which are illustrated by algorithms as well as results from numerous examples and two case studies. The results are directly applicable or easily extendable to a wide class of fuzzy systems and detailed benchmarks for expanding these systems to new areas such as fuzzy networks and fuzzy multi-agent systems are introduced. The intended readers are people from both academia and industry, who would be interested in building and implementing advanced fuzzy systems.
CD137 Pathway : Immunology and Diseases
This comprehensive volume, written by experts in the field, covers nearly all aspects of ongoing research related to the CD137 pathway. Recent research has shown that the manipulation of CD137 pathway molecules is very promising in the treatment of cancer, viral infection, transplantation rejection and autoimmune diseases in experimental animal models. The volume includes research related to the identification and understanding of functional consequences of CD137 receptor and ligand molecules which represents a major effort in the field of immunology. CD137 Pathway: Immunology and Diseases is an ideal book for immunologists, microbiologists, cancer researchers, molecular biologists, biochemists, and pharmaceutical and biotechnology company scientists.
Capillary Forces in Microassembly : Modeling, Simulation, Experiments, and Case Study
Capillary Forces in Microassembly discusses the use of capillary forces as a gripping principle in microscale assembly. Clearly written and well-organized, this text brings together physical concepts at the microscale with practical applications in micromanipulation. Throughout this work, the reader will find a review of the existing gripping principles, elements to model capillary forces as well as descriptions of the simulation and experimental test bench developed to study the design parameters. Using well-known concepts from surface science (such as surface tension, capillary effects, wettability, and contact angles) as inputs to mechanical models, the amount of effort required to handle micro-components is predicted. These developments are then applied in a case study concerning the pick and place of balls in a watch ball bearing.
BioMEMS and biomedical nanotechnology ; Vol. III : Therapeutic Micro/Nanotechnology
The human body is composed of structures organized in a hierarchical fashion: from biomolecules assembled into polymers, to multimeric assemblies such as cellular or-ganelles, to individual cells, to tissues, to organ systems working together in health and disease- each dominated by a characteristic length scale. Decades of science and engineer-ing are now converging to provide tools that enable the orderly manipulation of biological systems at previously inaccessible, though critically important, length scales (<100 mi-crons). Thus, the approaches described in this volume provide a snapshot of how micro-and nanotechnologies can enable the investigation, prevention, and treatment of human disease.The volume is divided into three parts. The first part, Cell-based therapeutics; cov- ers the merger of cells with micro- and anosystems for applications in regenerative medicine spanning the development of novel nanobiomaterials.
Beginning GIMP : From novice to professional
Beginning GIMP: From Novice to Professional explains how to use the open source image manipulation program, GIMP version 2.4. You'll learn how to install GIMP on Windows, Linux, and MacOS X platforms. Once you've installed the application, you'll learn about the interface and configuration options, and then jump into a quick–and–simple project to familiarize yourself even further. With four–color graphics and screenshots throughout, you'll learn how to prepare camera images for display on web pagesincluding functions like rescaling, cropping, and balancing color. The book also explains with great detail how to utilize layers, paths, and masks. You'll also learn how to draw lines and shapes, use patterns and gradients, and even create your own brushes, patterns, and gradients.
Bacterial and Bacteriophage Genetics
Genetic investigations and manipulations of bacteria and bacteriophage have made vital contributions to our basic understanding of living cells and to the development of molecular biology and biotechnology. This volume is a survey of the genetics of bacteria and their viruses, and it provides students with a comprehensive introduction to this rapidly changing subject. The book is written for upper level undergraduates and beginning graduate students, particularly those who have had an introductory genetics course.
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.
Arithmetic of finite fields ; 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI 2008, held in Siena, Italy, in July 2008.
Applied Physics of Carbon Nanotubes : Fundamentals of Theory, Optics and Transport Devices
The book describes the state-of-the-art in fundamental, applied and device physics of nanotubes, including fabrication, manipulation and characterization for device applications; optics of nanotubes; transport and electromechanical devices and fundamentals of theory for applications. This information is critical to the field of nanoscience since nanotubes have the potential to become a very significant electronic material for decades to come. The book will benefit all all readers interested in the application of nanotubes, either in their theoretical foundations or in newly developed characterization tools that may enable practical device fabrication.
Applied Pathology for Ophthalmic Microsurgeons
Ophthalmic microsurgery is applied in ophthalmic pathological conditions. Ophthalmic pathology sets the landmarks for all kinds of microsurgical manipulations. This excellent textbook emphasizes the ocular structures such as the nuances of morphology, surgical anatomy, and pathology.
Applied Geometry for Computer Graphics and CAD
Focusing on the manipulation and representation of geometrical objects, this book explores the application of geometry to computer graphics and computer-aided design (CAD). An introduction to transformations of the plane and three-dimensional space describes how objects can be constructed from geometric primitives and manipulated. This leads into a treatment of projections and the method of rendering objects on a computer screen by application of the complete viewing operation. Subsequently, the emphasis is on the two principal curve and surface representations, namely, Bézier and B-spline (including NURBS).
Ambisonics : A Practical 3D Audio Theory for Recording, Studio Production, Sound Reinforcement, and Virtual Reality
Provides a concise explanation of the fundamentals and background of the surround sound recording and playback technology Ambisonics. It equips readers with the psychoacoustical, signal processing, acoustical, and mathematical knowledge needed to understand the inner workings of modern processing utilities, special equipment for recording, manipulation, and reproduction in the higher-order Ambisonic format. The book comes with various practical examples based on free software tools and open scientific data for reproducible research. The book includes an extensive mathematical appendix. The book offers readers a deeper understanding of Ambisonic technologies, and will especially benefit scientists, audio-system and audio-recording engineers.
Algorithmic number theory ; 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
This book constitutes the refereed proceedings of the 8th International Algorithmic Number Theory Symposium, ANTS 2008, held in Banff, Canada, in May 2008.
Algorithmic Foundations of Robotics VI
Robot algorithms are abstractions of computational processes that control or reason about motion and perception in the physical world. Because actions in the physical world are subject to physical laws and geometric constraints, the design and analysis of robot algorithms raises a unique combination of questions in control theory, computational and differential geometry, and computer science. Algorithms serve as a unifying theme in the multi-disciplinary field of robotics. This volume consists of selected contributions to the sixth Workshop on the Algorithmic Foundations of Robotics. This is a highly competitive meeting of experts in the field of algorithmic issues related to robotics and automation.
Algorithm Theory - SWAT 2006 ; 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings
This book constitutes the refereed proceedings of the 10th Scandinavian Workshop on Algorithm Theory, SWAT 2006, held in Riga, Latvia, in July 2006. The proceedings includes 36 revised full papers presented together with 3 invited papers, addressing issues of theoretical algorithmics and applications in various fields including graph algorithms, computational geometry, scheduling, approximation algorithms, network algorithms, data storage and manipulation, combinatorics, sorting, searching, online algorithms, optimization, amd more.
