الصفحة 94
الصفحة 94
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).
Algèbre, Chapitre 9 = Algebra, Chapter 9
Sesquilinear and quadratic forms : The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. This ninth chapter of the Book of Algebra, the second Book of the treatise, is devoted to quadratic, symplectic or Hermitian forms and to associated groups.
Algebraic informatics ; 2nd International conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.
Algebraic Groups and Lie Groups with Few Factors
Algebraic groups are treated in this volume from a group theoretical point of view and the obtained results are compared with the analogous issues in the theory of Lie groups. The main body of the text is devoted to a classification of algebraic groups and Lie groups having only few subgroups or few factor groups of different type. In particular, the diversity of the nature of algebraic groups over fields of positive characteristic and over fields of characteristic zero is emphasized. This is revealed by the plethora of three-dimensional unipotent algebraic groups over a perfect field of positive characteristic, as well as, by many concrete examples which cover an area systematically. In the final section, algebraic groups and Lie groups having many closed normal subgroups are determined.
Algebraic Biology ; 2nd International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods.
Algebra and Coalgebra in Computer Science; First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers and practitio-ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coin-ductive methods; modal logics; relational systems and term rewriting.
Algebra and Analysis for Engineers and Scientists
This is an intermediate level text, with exercises, whose avowed purpose is to provide the science and engineering graduate student with an appropriate modern mathematical (analysis and algebra) background in a succinct.
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.
Airport Building Information Modelling
Details how Building Information Modelling is being successfully deployed in the planning, design, construction and future operation of the Istanbul New Airport, a mega-scale construction project incorporating a varying mix of infrastructures including terminals, runways, passenger gates, car parks, railways and roads. The book demonstrates how Airport Building Information Modelling (ABIM) is being used to: • facilitate collaboration, cooperation and integrated project delivery • manage subcontractors and eliminate cost over-runs • reduce waste on site and enhance overall quality • connect people in a virtual environment to encourage collaborative working • provide clients with an effective interface for lifecycle management including: design development, construction documentation, construction phases and BIM and Big Data Integration for future facilities management
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-Enabled Threat Detection and Security Analysis for Industrial IoT
Provides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet of Things (IIoT). More specifically, this book discusses the security challenges in CPS and IIoT systems as well as how Artificial Intelligence (AI) and Machine Learning (ML) can be used to address these challenges. Furthermore, this book proposes various defence strategies, including intelligent cyber-attack and anomaly detection algorithms for different IIoT applications.
AI sign language translator
People with disabilities are facing a lot of difficulties every day. Whether it is in social life, work or education environment, or in communication. The effect of assistive technologies in enhancing people with disabilities was huge. Assistive technologies refer to the term of products or related systems that are used to help people with disabilities to maintain or improve functioning and thereby promote well-being. These technologies allow people with difficulties to be more productive in life. Assistive technologies could be in many forms such as wheelchairs, communication products or other forms. In the communication products, many efforts have been made to develop systems or devices that assist individuals who have difficulty understanding and producing speech.
Agroforestry in Europe : Current Status and Future Prospects
Brings together some of the most important current research in European agroforestry, and evaluates the current scope and future potential of agroforestry across the EU.While the majority of Europe’s agroforestry practices are currently focused in the Mediterranean, this volume draws together examples from a wide range of countries – including Greece, Spain, the UK, Hungary, Germany, Italy, the Netherlands, Switzerland, France and Slovenia. The book also covers a range of agroforestry types, including silvopastoralism – Europe’s predominant form of agroforestry – as well as alley cropping, forest farming, silvoarable systems and the use of trees for shelter. Through these examples the book also discusses the potential roles for these traditional land management systems in addressing both environmental issues such as water quality, biodiversity conservation, desertification, ecosystem services and socioeconomic issues such as rural population stabilization.
Agriculture for Economic Development in Africa : Evidence from Ethiopia
This book explores the role of agriculture in long-term economic growth. With a particular focus on Ethiopia, the role of the state in igniting agricultural growth and in sustaining economic growth is highlighted as essential for low-income countries. Taking ideas from both economic history and development economics, the ability of Ethiopia and the rest of Africa to sustain recent rapid growth into something that can tackle the development agenda is discussed, alongside policy suggestions.
Agricultural biodiversity and biotechnology in economic development
The topics addressed in this book are of vital importance to the survival of humankind. Agricultural biodiversity, encompassing genetic diversity as well as human knowledge, is the base upon which agricultural production has been built, and protecting this resource is critical to ensuring the capacity of current and future generations to adapt to unforeseen challenges. Agricultural biodiversity underpins the productivity of all agricultural systems and is particularly important for poor and food-insecure farmers, who maintain highly diverse production systems in response to the marginal and risky production conditions they operate under. Understanding the importance of agricultural biodiversity in the livelihoods of the food insecure and enhancing its performance through the use of a variety of tools, including biotechnology, is a critically important issue in the world today
Agitator Design for Gas-Liquid Fermenters and Bioreactors
Agitator Design for Gas-Liquid Fermenters and Bioreactors delivers a concise treatment and explanation of how to design mechanically sound agitation systems that will perform the agitation process function efficiently and economically. The book covers agitator fundamentals, impeller systems, optimum power and air flow at peak mass transfer calculations, optimizing operation for minimum energy per batch, heat transfer surfaces and calculations, shaft seal considerations, mounting methods, mechanical design, and vendor evaluation.
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.
Aging Well : Solutions to the Most Pressing Global Challenges of Aging
Outlines the challenges of supporting the health and wellbeing of older adults around the world and offers examples of solutions designed by stakeholders, healthcare providers, and public, private and nonprofit organizations in the United States. The solutions presented address challenges including: providing person-centered long-term care, making palliative care accessible in all healthcare settings and the home, enabling aging-in-place, financing long-term care, improving care coordination and access to care, delivering hospital-level and emergency care in the home and retirement community settings, merging health and social care, supporting people living with dementia and their caregivers, creating communities and employment opportunities that are accessible and welcoming to those of all ages and abilities, and combating the stigma of aging. The innovative programs of support and care in Aging Well serve as models of excellence that, when put into action, move health spending toward a sustainable path and greatly contribute to the well-being of older adults.
Agile processes in software engineering and extreme programming ; 21st International Conference on agile software development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings
This book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date.
