الصفحة 36
الصفحة 36
Control problems for conservation laws with traffic applications: modeling, analysis, and numerical methods
Conservation and balance laws on networks have been the subject of much research interest given their wide range of applications to real-world processes, particularly traffic flow. This open access monograph is the first to investigate different types of control problems for conservation laws that arise in the modeling of vehicular traffic. Four types of control problems are discussed - boundary, decentralized, distributed, and Lagrangian control - corresponding to, respectively, entrance points and tolls, traffic signals at junctions, variable speed limits, and the use of autonomy and communication. Because conservation laws are strictly connected to Hamilton-Jacobi equations, control of the latter is also considered.
Control of Biofilm Infections by Signal Manipulation
Describes the molecular mechanisms of cell-to-cell communication among bacterial cells in a biofilm, the development of antibiofilm inhibitors, like quorum-sensing inhibitors, and the use of biofilm inhibitors to prevent and treat bacterial infections in humans and other animals.
Control and Scheduling Codesign : Flexible Resource Management in Real-Time Control Systems
Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control Systems. This book is a monograph that covers our recent and original results in this direction.
Control and Estimation of Systems with Input/Output Delays
Time delays exist in many engineering systems such as transportation, communication, process engineering and networked control systems. This monograph presents simple analytical solutions to control and estimation problems for systems with multiple i/o delays via elementary tools such as projection.
Contributions to Ubiquitous Computing
This book puts the larger vision of ubiquitous computing in the context of today’s mobile and distributed computing systems and presents innovative solutions at all system layers ranging from hardware over vertical and horizontal infrastructure services and novel middleware techniques to various types of application software. Some chapters address core properties of ubiquitous applications including mobility, self-healing and self-organisation of both technical and social-technical systems. Other contributions deal with common facilities like secure e-payment or semantic web techniques and business solutions like wireless asset management or e- maintenance. Distributed systems management with self-monitoring capabilities, Internet congestion control, and novel security solutions coping with denial of service attacks against mobile agent systems and software- and hardware-based data encryption methods are further topics addressed.
Contributions to Simulation Speed-Up : Rare Event Simulation and Short-Term Dynamic Simulation for Mobile Network Planning
Eugen Lamers explains the principle of simulation speed-up in general, demonstrates the technique RESTART for the simulation of rare events, and addresses its efficiency on distributed systems.
Consumer perception of product risks and benefits
Reflects the current thinking and research on how consumers’ perception of product risks and benefits affects their behavior. It provides the scientific, regulatory and industrial research community with a conceptual and methodological reference point for studies on consumer behavior and marketing. The contributions address various aspects of consumer psychology and behavior, risk perception and communication, marketing research strategies, as well as consumer product regulation. The book is divided into 4 parts: Product risks; Perception of product risks and benefits; Consumer behavior; Regulation and responsibility.
Consumer Health Informatics : Informing Consumers and Improving Health Care
This comprehensive volume the inclusion of several case studies serves to examine pertinent topics, namely computer-based information for cancer; National Library of Medicine initiatives; and web-based patient preferences and utilities. Designed for use by medical IT specialists, physicians, nurses, healthcare providers, and professors and students of medical informatics, the book's chapter highlights include patient empowerment; frameworks and models for health behavior change and patient education; patient to patient communication; patient to provider communication; privacy and confidentiality; ethical issues; evaluation methods, and more.
Construction and Building Automation : From Concepts to Implementation
Intended to be used as a textbook in undergraduate civil engineering and construction courses to introduce cutting edge mechanical, electrical and computer science topics that are needed for civil and construction engineers to collaborate in inter-disciplinary automation projects. Introduces hardware and software needed for automating engineering tasks ; Presents examples of applications in the control of building systems ; Illustrates of the use of automation for improving construction processes ; Provides a lucid introduction to advanced computing concepts, machine learning, artificial intelligence, and control algorithms to construction and engineering students.
Constructing Ambient Intelligence ; AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers
This book constitutes the refereed proceedings of the workshops of the First European Conference on Ambient Intelligence, AmI 2007, held in Darmstadt, Germany, in November 2007.
Constrained Control and Estimation : An Optimisation Approach
Using the principal tools of prediction and optimisation, this work gives the examples of how to deal with constraints, placing emphasis on model predictive control. It contains results that combine a number of methods, enabling you to build on your background in estimation theory, linear control, stability theory and state-space methods.
Conjoint Behavioral Consultation : Promoting Family-School Connections and Interventions
Conjoint behavioral consultation (CBC) strengthens collaboration between children’s most critical learning environments – school and home – for improved academic, behavioral, and social-emotional skills. The reader-friendly, 2nd edition of Conjoint Behavioral Consultation: Promoting Family-School Connections and Interventions offers innovative applications of CBC as an ecological, evidence-based approach. In this new edition, the authors combine best practices in consultation and problem-solving for interventions that promote and support children’s potential, teachers’ educational mission, and family members’ unique strengths.
Concurrent Zero-Knowledge : With Additional Background by Oded Goldreich
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze- knowledge proofs are convincing and yet yield nothing beyond the validity of the assertion being proved. Their applicability in the domain of cryptography is vast; they are typically used to force malicious parties to behave according to a predetermined protocol. In addition to their direct applicability in cr- tography, zero-knowledge proofs serve as a good benchmark for the study of variousproblemsregardingcryptographicprotocols(e.g.,“securecomposition of protocols”).
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
CONCUR 2008 - Concurrency Theory ; 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
CONCUR 2007 – Concurrency Theory ; 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Conceptual Modeling - ER 2007 ; 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings
Conceptual modeling is fundamental to the development of complex systems, because it provides the key communication means between systems developers, end-users and customers.Conceptua lmodeling provides languages,methods and tools to understand and represent the application domain;to elicitate,concepalize and formalize system requirements and user needs;to communicate systems designs to all stakeholders; to formally verify and validate system designs on high levels of abstractions; and to minimize ambiguities in system development. Initially, conceptual modeling mainly addressed data-intensive information s- tems and contributed to data modeling and database application engineering. The area of conceptual modeling has now matured to encompass all kinds of application areas such as e-applications (including e-business and e-learning), web-based systems (including the semantic web and ubiquitous systems), life science and geographic applications.
Conceptual Modeling - ER 2005
Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because it fosters communication - tween technology experts and those who would bene?t from the application of those technologies. Conceptual modeling is the key mechanism for und- standing and representing the domains of information system and database - gineering but also increasingly for other domains including the new “virtual” e-environmentsandtheinformationsystemsthatsupportthem.Theimportance of conceptual modeling in software engineering is evidenced by recent interest in “model-drivenarchitecture”and“extremenon-programming”.Conceptualm- eling also plays a prominent rolein various technical disciplines and in the social sciences. The Annual International Conference on Conceptual Modeling (referred to as the ER Conference) provides a central forum for presenting and discussing current research and applications in which conceptual modeling is the major emphasis.
Conceptual Landscapes : Fundamentals in the Beginning Design Process
Explores the dilemma faced in the early moments of design thinking through a gradient of work in landscape and environmental design media by both emerging and well-established designers and educators of landscape architecture. It questions where and, more importantly, how the process of design starts. Deconstructs the steps of conceptualizing design in order to reignite pedagogical discussions about timing and design fundamentals, and to reveal how the spark of an idea happens – from a range of unique perspectives. Through a careful arrangement of visual essays that integrate analog, digital, and mixed-media works and processes, the book highlights differences between diverse techniques and triggers debate between design, representation, technology, and creative culture in the field.
