الصفحة 129
الصفحة 129
Algorithms for Approximation ; Proceedings of the 5th International Conference, Chester, July 2005
Approximation methods are vital in many challenging applications of computational science and engineering. This is a collection of papers from world experts in a broad variety of relevant applications.
Algorithms and architectures for parallel processing ; 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, Proceedings
The improvements in computation and communication capabilities have enabled the creation of demanding applications in critical domains such as the environment, health, aerospace, and other areas of science and technology. Similarly, new classes of applications are enabled by the availability of heterogeneous large-scale distributed systems which are becoming available nowadays (based on technologies such as grid and peer-to-peer systems).Parallel computing systems exploit a large diversity of computer architectures, from supercomputers, shared-memory or distributed-memory multi processors, to local networks and clusters of p- sonal computers. With the recent emergence of multi core architectures, parallel computing is now set to achieve “mainstream” status. Approaches that have been advocated by parallel computing researchers in the past are now being utilized in a number of software libraries and hardware systems that are available for everyday use. Parallel computing ideas have also come to dominate areas such as multi user gaming (especially in the development of gaming engines based on “cell” arc- tectures).
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.
Algèbre, Chapitres 1 à 3 = Algebra, Chapters 1 to 3
To do algebra is essentially to calculate, that is to say to perform, on elements of a set, (<algebraic operations n, the best-known example of which is provided by the (<four rules)) of elementary arithmetic. This is not the place to retrace the slow process of progressive abstraction by which the notion of algebraic operation, initially restricted to natural integers and to measurable quantities, gradually widened its field, as it grew. at the same time generalized the notion of ((number O, until, going beyond the latter, it came to apply to elements which no longer had any character ((numeric)>, for example to permutations of a - seems (see Historical Note in chap. 1).
Algebras, Rings and Modules ; Vol.2
This book provides both the classical aspects of the theory of groups and their representations as well as a general introduction to the modern theory of representations including the representations of quivers and finite partially ordered sets and their applications to finite dimensional algebras.
Algebraic Multiplicity of Eigenvalues of Linear Operators
This book brings together all the most important known results of research into the theory of algebraic multiplicities, from well-known classics like the Jordan Theorem to recent developments such as the uniqueness theorem and the construction of multiplicity for non-analytic families.
Algebraic Geometry : An Introduction
The book starts with easily-formulated problems with non-trivial solutions – for example, Bézout’s theorem and the problem of rational curves – and uses these problems to introduce the fundamental tools of modern algebraic geometry: dimension; singularities; sheaves; varieties; and cohomology. The treatment uses as little commutative algebra as possible by quoting without proof (or proving only in special cases) theorems whose proof is not necessary in practice, the priority being to develop an understanding of the phenomena rather than a mastery of the technique. A range of exercises is provided for each topic discussed, and a selection of problems and exam papers are collected in an appendix to provide material for further study.
Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
Algebra lineare = Linear Algebra : per tutti
Provides the first mathematical tools related to a chapter of science called Linear Algebra. The notes were written by a mathematician who tried to get out of his character to meet a wide audience. The challenge is to make accessible to all the first rudiments of a fundamental knowledge for science and technology.
Algebra and Coalgebra in Computer Science ; 2nd International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification.
Algal Toxins : Nature, Occurrence, Effect and Detection
This volume contains the lectures and seminars given at the NATO Advanced Study Institute on “Sensor Systems for Biological Threads: The Algal Toxins Case”, held in Pisa, Italy in October, 2007. Algae can form heavy growths in ponds, lakes, reservoirs and sl- moving rivers throughout the world; algae can house toxins which are - ually released into water when the cells rupture or die. Hundreds of toxins have been identified so far. Detection methods, including rapid screening, have been developed to help us learning more about them, especially to find out which toxins are a real threat for people and what conditions encourage their production and accumulation. Early detection of algal toxins is an - portant aspect for public safety and natural environment, and significant efforts are underway to develop effective and reliable tools that can be used for this purpose.
AiREAS : Sustainocracy for a Healthy City : The Invisible made Visible ; Phase 1
Describes the coming about and first results of the AiREAS "healthy city" cooperative in the city of Eindhoven and Province of North Brabant in the Netherlands. AiREAS is an initiative focused on the multidisciplinary co-creation of healthy cities using the core human value of human health and air quality as guiding principle for profound regional innovation. The unique group process that followed uses the complexity of the city of Eindhoven as living lab. It is an anthropology based initiative that invites directly to the same table of core innovative responsibility the local government, innovative business partners, scientific insights and reseach, and civilian participation.
AiREAS : Sustainocracy for a healthy city : Phase 3 : Civilian participation – Including the global health deal proposition
This volume describes phase 3 of the AiREAS multidisciplinary cocreation effort to produce a Healthy City. Phase 1 referred to making visible the invisible from an air quality and human exposure perspective. Phase 2 studies air quality related to health and Phase 3 looks at air quality, health and lifestyle from the perspective of persuasion to innovative change. The three books together describe the coming about and first results of the AiREAS "healthy city" cooperative in the city of Eindhoven and Province of North Brabant in the Netherlands. AiREAS is an initiative focused on the multidisciplinary co-creation of healthy cities using the core human value of human health and air quality as guiding principle for profound regional innovation.
Air quality integrated assessment : A European perspective
This book reports on the results of an extended survey conducted across Europe within the framework of the APPRAISAL FP7 project to determine the extent to which an integrated assessment approach to air quality is being adopted, on the one hand, by regional and local authorities to develop air quality plans and, on the other, by researchers. Following a detailed analysis of the role and structure of the components of an integrated assessment study, the results of the survey are considered from a variety of perspectives.
AI*IA 2007 : Artificial intelligence and human-oriented computing ; 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, knowledge engineering, ontologies and the semantic Web, machine learning, natural language processing, information retrieval and extraction, planning and scheduling, AI and applications. Three special tracks depicting progresses in significant application fields that represent increasingly relevant topics contain 18 additional papers on AI and robotics, AI and expressive media, and intelligent access to multimedia information
AI in learning : Designing the future
AI (artificial intelligence) is predicted to radically change teaching and learning in both schools and industry causing radical disruption of work. AI can support well-being initiatives and lifelong learning but educational institutions and companies need to take the changing technology into account. Moving towards AI supported by digital tools requires a dramatic shift in the concept of learning, expertise and the businesses built off of it. Based on the latest research on AI and how it is changing learning and education, this book will focus on the enormous opportunities to expand educational settings with AI for learning in and beyond the traditional classroom. This book also introduces ethical challenges related to learning and education, while connecting human learning and machine learning.
AI For Emerging Verticals : Human-robot computing, sensing and networking
Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses can create predictive strategies, enhance their capabilities, better interact with customers, and streamline their business processes. Explores novel concepts and cutting-edge research and developments towards designing these fully automated advanced digital systems. Fostered by technological advances in artificial intelligence and machine learning, such systems potentially have a wide range of applications in robotics, human computing, sensing and networking. The chapters focus on models and theoretical approaches to guarantee automation in large multi-scale implementations of AI and ML systems; protocol designs to ensure AI systems meet key requirements for future services such as latency; and optimisation algorithms to leverage the trusted distributed and efficient complex architectures.
Agroecological transitions : From theory to practice in local participatory design
There is wide agreement on the need to change the prevalent agricultural models, given their negative impacts and their incompatibility with current societal issues. Agroecological transition has been promoted as a potential solution to the ecological, social and economic problems generated by these models. It however involves a systemic, multi-scale and transdisciplinary process. Due to this complexity, the overall picture of what farms and food systems “actually are” and “might be” may not be apparent at the individual level. Yet individuals’ knowledge and values provide complementary insights on how to proceed in deepening ecological modernisation. Expertise can also provide landmarks to be considered in that process. Because local stakeholders’ experience and skills are key resources in the adaptation and adoption of agroecological transition, new conceptual and methodological frameworks and tools have to be developed to support them in the design process of such a complex transition. This book presents feedback from the ‘Territorial Agroecological Transition in Action’- TATA-BOX research project, which was devoted to these specific issues.
Agricultural Implications of the Fukushima Nuclear Accident (III)
Reports on studies undertaken at contaminated sites such as farmland, forests, and marine and freshwater environments, with a particular focus on livestock, wild plants and mushrooms, crops, and marine products in those environments. It also provides additional data collected in the subsequent years to show how the radioactivity levels in agricultural products and their growing environments have changed with time and the route by which radioactive materials entered agricultural products as well as their movement between different components (e.g., soil, water, and trees) within an environmental system (e.g., forests). The book covers various topics, including radioactivity testing of food products; decontamination trials for rice and livestock production; the state of contamination in, trees, mushrooms, and timber; the dynamics of radioactivity distribution in paddy fields and upland forests; damage incurred by the forestry and fishery industries; and the change in consumers’ attitudes. Chapter 19 introduces a real-time radioisotope imaging system, a pioneering technique to visualize the movement of cesium in soil and in plants.
Aging, shaking, and cracking of infrastructures : From mechanics to concrete dams and nuclear structures
Focuses on the safety assessment of existing structures subjected to multi-hazard scenarios through advanced numerical methods. Whereas the focus is on concrete dams and nuclear containment structures, the presented methodologies can also be applied to other large-scale ones. This book is composed of seven sections: Fundamentals: theoretical coverage of solid mechnics, plasticity, fracture mechanics, creep, / seismology, dynamic analysis, probability and statistics / Damage: that can affect concrete structures, such as cracking of concrete, AAR, chloride ingress, and rebar corrosion, / Finite Element: formulation for both linear and nonlinear analysis including stress, heat and fracture mechanics, / Engineering Models: for soil/fluid-structure interaction, uncertainty quantification, probablilistic and random finite element analysis, machine learning, performance based earthquake engineering, ground motion intensity measures, seismic hazard analysis, capacity/fragility functions and damage indeces, / Applications to dams through potential failure mode analyses, risk-informed decision making, deterministic and probabilistic examples, / Applications to nuclear structures through modeling issues, aging management programs, critical review of some analyses, / Other applications and case studies: massive RC structures and bridges, detailed assessment of a nuclear containment structure evaluation for license renewal.
