الصفحة 53
الصفحة 53
Algebraic Geometry and Geometric Modeling
Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas. The confrontation of the different points of view results in a better analysis of what the key challenges are and how they can be met. We focus on the following important classes of problems: implicitization, classification, and intersection. The combination of illustrative pictures, explicit computations and review articles will help the reader to handle these subjects.
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 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.
Airglow as an Indicator of Upper Atmospheric Structure and Dynamics
The book summarizes international progress over the last few decades in upper atmosphere airglow research. Measurement methods, theoretical concepts and empirical models of a wide spectrum of upper atmospheric emissions and their variability are considered. The book contains a detailed bibliography of studies related to the upper atmosphere airglow.
Air Pollution Modeling and its Application XVII
This volume contains the papers and posters presented at the 27 NATO/CCMS International Technical Meeting on Air Pollution Modeling and Its Application held in Banff, Canada, 24-29 October 2004. The key topics at this ITM included: Role of Atmospheric Models in Air Pollution Policy and Abatement Strategies; Integrated Regional Modeling; Effects of Climate Change on Air Quality; Aerosols as Atmospheric Contaminants; New Developments; and Model Assessment and Verification. 104 participants from North and South America, Europe, Africa and Asia attended th the 27 ITM.
AI in drug discovery
Constitutes the refereed proceedings of the First international workshop on ai in Drug Discovery, AIDD 2024, held as a part of the 33rd International Conference on Artificial Neural Networks, ICANN 2024, in Lugano, Switzerland, on September 19, 2024. These papers focus on various aspects of the rapidly evolving field of Artificial Intelligence (AI)-driven drug discovery in chemistry, including Big Data and advanced Machine Learning, eXplainable AI (XAI), Chemoinformatics, Use of deep learning to predict molecular properties, Modeling and prediction of chemical reaction data and Generative models.
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.
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.
Aging and the Heart : A Post-Genomic View
In this book, the genetic and molecular basis of cardiovascular aging will be discussed. In addition, a comprehensive assessment of the bioenergetic changes that occur in human and animal models of cardiac aging as well as current diagnostic and future therapeutic modalities will be undertaken.
Agent-oriented software engineering VII ; 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for supporting the design and development of such applications.The book is organized in topical sections on modelling and design of agent systems, modelling open agent systems, formal reasoning about designs, as well as testing, debugging and evolvability.
Agent-oriented software engineering V ; 5th International workshop, AOSE 2004, New York, NY, USA, July 2004, revised selected papers
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowadays, software is to be based on open architectures that continuously change and evolve to accommodate new components and meet new requirements. Software must also operate on di?- ent platforms, without recompilation, and with minimal assumptions about its operating environment and its users. Furthermore, software must be robust and ¨ autonomous, capable of serving a naive user with a minimum of overhead and interference. Agent concepts hold great promise for responding to the new realities of software systems. They o?er higher-level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, p- ception, commitments, goals, beliefs, and intentions, all of which need conceptual modelling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities.
Agent-mediated electronic commerce VI ; Theories for and engineering of distributed mechanisms and systems, AAMAS 2004 Workshop, Amec 2004, New York, NY, USA, July 19, 2004, revised selected papers
The design of intelligent trading agents, mechanisms, and systems has receivedgrowing atttention in the agents and multiagent systems communities in aneffort to address the increasing costs of search, transaction, and coordinationwhich follows from the increasing number of Internet-enabled distibuted elec-tronic markets. Furthermore, new technologies and supporting business modelsare resulting in a growing volume of open and horizontally integrated markets fortrading of an increasingly diverse set of goods and services. However, growth oftechnologies for such markets requires innovative solutions to a diverse set of ex-isting and novel technical problems which we are only beginning to understand.Specifically, distributed markets present not only traditional
Agent-Based Models of Energy Investment Decisions
This book demonstrates how bounded rational decision models can be standardized and parameterized by socio-economic data. Focusing on private energy technology investment decisions, the author shows how different representative agents can be constructed using search rules, analysis tools and decision strategies. Diffusion curves for energy technologies such as solar collectors, boilers and efficiency upgrades for buildings are calculated. Further, the model is extended to study the impact of firms’ competition on technology diffusion. The modeling approach presented in this book may serve as a template for applications in other domain.
Agent-based computational modelling : Applications in demography, social, economic and environmental sciences
The present book describes the methodology to set up agent-based models and to study emerging patterns in complex adaptive systems resulting from multi-agent interaction. It offers the application of agent-based models in demography, social and economic sciences and environmental sciences. It presents and combines different approaches how to implement agent-based computational models and tools in an integrative manner that can be extended to other cases.
Africa-Europe Research and Innovation Cooperation : Global Challenges, Bi-regional Responses
Concerned with the evolution and achievements of cooperation in research and innovation between Africa and Europe, and points to the need for more diversified funding and finance mechanisms, and for novel models of collaboration to attract new actors and innovative ideas. It reflects on the political, economic, diplomatic and scientific rationale for cooperation, while also examining practical developments, illustrated with examples, in the fields of food security, health, and climate change. The need to mobilise scientific knowledge and to ensure equality and fairness in the cooperation are recurrent themes. Africa-Europe Cooperation in Research and Innovation is essential reading for policy makers and researchers in international relations and science diplomacy.
Affective computing and intelligent interaction ; 2nd International Conference, ACII 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings
Organized in topical sections on affective facial expression and recognition, affective body expression and recognition, affective speech processing, affective text and dialogue processing, recognising affect using physiological measures, computational models of emotion and theoretical foundations, affective databases, annotations, tools and languages, affective sound and music processing, affective interactions: systems and applications, as well as evaluating affective systems.
Advertising management : Concepts, theories, research and trends
Explores the concept of advertising and the different ways advertising is understood and evaluated. It dives deep into planning, designing, and executing advertising campaigns on different mediums. It discusses the theoretical and research parts of advertising by critically examining how over the years various hierarchical models and theories are developed by advertising experts. It examines various models and theories that explain why and how advertising is successful in persuading customers target audiences to buy a product or accept an idea for behavioural change.
Advancing Social Simulation: The First World Congress
Agent-based modeling and social simulation have emerged as both developments of and challenges to the social sciences. The developments include agent-based computational economics and investigations of theoretical sociological concepts using formal simulation techniques. Among the challenges are the development of qualitative modeling techniques, implementation of agent-based models to investigate phenomena for which conventional economic, social, and organizational models have no face validity, and the application of physical modeling techniques to social processes. Bringing together diverse approaches to social simulation and research agendas.
