الصفحة 103
الصفحة 103
Algorithms for Sensor and Ad Hoc Networks : Advanced Lectures
Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain or other. After activation the sensors form a self-organized network and provide data, for example about a forthcoming earthquake. The trend towards wireless communication increasingly affects electronic devices in almost every sphere of life. Conventional wireless networks rely on infrastructure such as base stations; mobile devices interact with these base stations in a client/server fashion. In contrast, current research is focusing on networks that are completely unstructured, but are nevertheless able to communicate (via several hops) with each other, despite the low coverage of their antennas. Such systems are called sensor or ad hoc networks, depending on the point of view and the application. Wireless ad hoc and sensor networks have gained an incredible research momentum. Computer scientists and engineers of all flavors are embracing the area. Sensor networks have been adopted by researchers in many fields: from hardware technology to operating systems, from antenna design to databases, from information theory to networking, from graph theory to computational geometry.
Algorithms and data structures : The Basic Toolbox
This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical language.
Algorithmic methods for railway optimization ; International Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers
This state-of-the-art survey features papers that were selected after an open call following the International Dagstuhl Seminar on Algorithmic Methods for Railway Optimization. The second part of the volume constitutes the refereed proceedings of the 4th International Workshop on Algorithmic Methods and Models for Optimization of Railways.
Algorithmic Learning in a Random World
This new monograph integrates mathematical theory and revealing experimental work. It demonstrates mathematically the validity of the reliability claimed by conformal predictors when they are applied to independent and identically distributed data, and it confirms experimentally that the accuracy is sufficient for many practical problems. Later chapters generalize these results to models called repetitive structures, which originate in the algorithmic theory of randomness and statistical physics. The approach is flexible enough to incorporate most existing methods of machine learning, including newer methods such as boosting and support vector machines and older methods such as nearest neighbors and the bootstrap.
Algorithmic Aspects in Information and Management ; 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings
This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information and Management, AAIM 2020, held in Jinhua, China in August 2020. The 39 full papers and 17 short papers presented were carefully reviewed and selected from 76 submissions. The papers deal with emerging important algorithmic problems with a focus on the fundamental background, theoretical technology development, and real-world applications associated with information and management analysis, modeling and data mining. Special considerations are given to algorithmic research that was motivated by real-world applications.
Algebraic Methods for Nonlinear Control Systems
A self-contained introduction to algebraic control for nonlinear systems suitable for researchers and graduate students.The most popular treatment of control for nonlinear systems is from the viewpoint of differential geometry yet this approach proves not to be the most natural when considering problems like dynamic feedback and realization. Professors Conte, Moog and Perdon develop an alternative linear-algebraic strategy based on the use of vector spaces over suitable fields of nonlinear functions. This algebraic perspective is complementary to, and parallel in concept with, its more celebrated differential-geometric counterpart.Algebraic Methods for Nonlinear Control Systems describes a wide range of results, some of which can be derived using differential geometry but many of which cannot.
Algebraic Methodology and Software Technology ; 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) fve diferent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical efects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines.
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 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 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.
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.
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.
Air Pollution Modeling and Its Application XIX
The book is aimed at researchers and government policy makers who wish to keep abreast of the most recent developments in air pollution modelling and air quality issues. The book emphasizes the following key topics: 1. Local and urban scale modelling; 2. Regional and intercontinental modelling; 3. Data assimilation and air quality forecast; 4. Model assessment and verification; 5. Aerosols in the atmosphere; 6. Interactions between air quality and climate change; 7. Air quality and human health.
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.
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.
Agile software construction
Agile software is a means of putting the software first while at the same time reacting to these user requirements in a flexible and agile way.Agile Software Construction covers the emerging methods and approaches (including extreme programming, feature-driven development and adaptive software development), that are loosely described as "Agile" and shows how to apply them effectively to software development projects. It shows how to plan, organise and develop systems using agile techniques, and highlights some of the problems that may be encountered.
Agile Marketing Performance Management : 10 Success Factors for Maximizing Marketing ROI Dynamically
Helps marketing decision makers in allocating their budget to diverse communication channels and different business units in an ROI-optimal way, and to adapt it in an agile manner.
Agile Development with the ICONIX Process : People, Process, and Pragmatism
Describes how to apply ICONIX Process (a minimal, use case-driven modeling process) in an agile software project. It's full of practical advice for avoiding common agile pitfalls. Further, the book defines a core agile subset so those of you who want to get agile need not spend years learning to do it. Instead, you can simply read this book and apply the core subset of techniques. The book follows a real-life .NET/C# project from inception and UML modeling, to working code through several iterations. You can then go on-line to compare the finished product with the initial set of use cases. The book also introduces several extensions to the core ICONIX Process, including combining test-driven development (TDD) with up-front design to maximize both approaches (with examples using Java and JUnit). And the book incorporates persona analysis to drive the projects goals and reduce requirements churn.
Agent-oriented software engineering VIII ; 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software Engineering, AOSE 2007, held in Honolulu, Hawaii in May 2007 as part of AAMAS 2007.
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.
