- Table View
- List View
Innovation in Life Cycle Engineering and Sustainable Development
by Daniel Brissaud Serge Tichkiewitch Peggy ZwolinskiThe focus of this book is the consideration of environmental issues in engineering process and product design. It presents a selection of 30 papers ensuing from the 12th CIRP International seminar on Life Cycle Engineering. This book is of interest to academics, students and practitioners, specializing in environmental issues in mechanical engineering, design and manufacturing. This volume is recommended as a reference textbook for all researchers in the field.
Uncertainty, Rationality, and Agency
by Wiebe Van Der HoekThis volume concerns Rational Agents - humans, players in a game, software or institutions - which must decide the proper next action in an atmosphere of partial information and uncertainty. The book collects formal accounts of Uncertainty, Rationality and Agency, and also of their interaction. It will benefit researchers in artificial systems which must gather information, reason about it and then make a rational decision on which action to take.
Mobile Ad Hoc Networks: Energy-Efficient Real-Time Data Communications
by Bulent Tavli Wendi HeinzelmanThis book presents the Time Reservation using Adaptive Control for Energy Efficiency (TRACE) family of protocol architectures that provide such dynamic coordinated channel access in a distributed manner, enabling energy-efficient, real-time data communications in MANETs. Furthermore, this book provides an introduction to the fundamentals of MANETs, an overview of protocols for each layer of the protocol stack, and a discussion of the issues involved with energy-efficient protocol design and quality of service for real-time data transmission.
Recordkeeping, Ethics and Law: Regulatory Models, Participant Relationships and Rights and Responsibilities in the Online World (The Archivist's Library #4)
by Livia IacovinoThis book analyses the interrelationship of recordkeeping, ethics and law in terms of existing regulatory models and their application to the Internet. It proposes an Internet model based on the notion of a legal and social relationship as a means of identifying the legal and ethical rights and obligations of recordkeeping participants in networked transactions. It also provides a unique approach to property, access, privacy and evidence for online records.
Advances in Open Domain Question Answering (Text, Speech and Language Technology #32)
by Tomek Strzalkowski Sanda HarabagiuThis new Springer volume provides a comprehensive and detailed look at current approaches to automated question answering. The level of presentation is suitable for newcomers to the field as well as for professionals wishing to study this area and/or to build practical QA systems. The book can serve as a "how-to" handbook for IT practitioners and system developers. It can also be used to teach graduate courses in Computer Science, Information Science and related disciplines.
Advances in Information Technologies for Electromagnetics
by Luciano Tarricone Alessandra EspositioThis book offers a broad panorama on recently achieved and potentially obtainable advances in electromagnetics with innovative IT technologies. Simple tutorial chapters introduce cutting edge technologies. These include parallel and distributed computing, object-oriented technologies, grid computing, semantic grids, agent based computing and service-oriented architectures. The book is a unique tool bridging the gap between IT and EM communities.
A Roadmap for Formal Property Verification
by Pallab DasguptaIntegrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.
e-Business and Telecommunication Networks
by João Ascenso Carlos Belo Mónica Saramago Luminita VasiuThis book contains the best papers of the First International Conference on e-Business and Telecommunication Networks held in 2004. The book presents recent research on e-business and telecommunication networks. It includes analyses aspects of global communication information systems and services, and describes security and reliability problems and solutions in information systems and networks.
Theory of Quantum Transport in Metallic and Hybrid Nanostructures (NATO Science Series II: Mathematics, Physics and Chemistry #230)
by Andreas Glatz Veniamin I. Kozub Valerii M. VinokurThe book reflects scientific developments in the physics of metallic compound based nanodevices presented at the NATO-sponsored Workshop on nanophysics held in Russia in the summer of 2003. The program tackles the most appealing problems. It brings together specialists and provides an opportunity for young researchers from the partner countries to interact with them and get actively involved in the most attractive and promising interdisciplinary area of contemporary condensed matter physics.
Informing Digital Futures: Strategies for Citizen Engagement (Computer Supported Cooperative Work #37)
by Leela Damodaran Wendy OlphertIn the present digital revolution we often seem trapped in a Kafkaesque world of technological advances, some desired, some disliked or even feared, which we cannot influence but must accept. This book discusses the urgent need to redress this situation. The authors argue that technologies succeed or fail according to their relevance and value to people, who need to be actively engaged in order to create shared visions and influence their implementation.
Introduction to Biosemiotics: The New Biological Synthesis
by Marcello BarbieriCombining research approaches from biology, philosophy and linguistics, the field of Biosemiotics proposes that animals, plants and single cells all engage in semiosis – the conversion of objective signals into conventional signs. This has important implications and applications for issues ranging from natural selection to animal behavior and human psychology, leaving biosemiotics at the cutting edge of the research on the fundamentals of life. Drawing on an international expertise, the book details the history and study of biosemiotics, and provides a state-of-the-art summary of the current work in this new field. And, with relevance to a wide range of disciplines – from linguistics and semiotics to evolutionary phenomena and the philosophy of biology – the book provides an important text for both students and established researchers, while marking a vital step in the evolution of a new biological paradigm.
Fast, Efficient and Predictable Memory Accesses: Optimization Algorithms for Memory Architecture Aware Compilation
by Lars Wehmeyer Peter MarwedelSpeed improvements in memory systems have not kept pace with the speed improvements of processors, leading to embedded systems whose performance is limited by the memory. This book presents design techniques for fast, energy-efficient and timing-predictable memory systems that achieve high performance and low energy consumption. In addition, the use of scratchpad memories significantly improves the timing predictability of the entire system, leading to tighter worst case execution time bounds.
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
by Tim Kogel Rainer Leupers Heinrich MeyrIntegrated System-Level Modeling of Network-on-Chip Enabled Multi-Processor Platforms first gives a comprehensive update on recent developments in the area of SoC platforms and ESL design methodologies. The main contribution is the rigorous definition of a framework for modeling at the timing approximate level of abstraction. Subsequently this book presents a set of tools for the creation and exploration of timing approximate SoC platform models.
Physical Theory and its Interpretation: Essays in Honor of Jeffrey Bub (The Western Ontario Series in Philosophy of Science #72)
by William Demopoulos Itamar PitowskyThe essays in this volume were written by leading researchers on classical mechanics, statistical mechanics, quantum theory, and relativity. They detail central topics in the foundations of physics, including the role of symmetry principles in classical and quantum physics, Einstein's hole argument in general relativity, quantum mechanics and special relativity, quantum correlations, quantum logic, and quantum probability and information.
Inductive Dependency Parsing (Text, Speech and Language Technology #34)
by Joakim NivreThis book describes the framework of inductive dependency parsing, a methodology for robust and efficient syntactic analysis of unrestricted natural language text. Coverage includes a theoretical analysis of central models and algorithms, and an empirical evaluation of memory-based dependency parsing using data from Swedish and English. A one-stop reference to dependency-based parsing of natural language, it will interest researchers and system developers in language technology, and is suitable for graduate or advanced undergraduate courses.
Imaging Beyond the Pinhole Camera (Computational Imaging and Vision #33)
by Kostas Daniilidis Reinhard KletteThis book traces progress in photography since the first pinhole, or camera obscura, architecture. The authors describe innovations such as photogrammetry, and omnidirectional vision for robotic navigation. The text shows how new camera architectures create a need to master related projective geometries for calibration, binocular stereo, static or dynamic scene understanding. Written by leading researchers in the field, this book also explores applications of alternative camera architectures.
Computers and Education: E-Learning, From Theory to Practice
by Baltasar Fernández-Manjón José Bravo-Rodríguez Juan Antonio Gómez-Pulido Juan Manuel Sánchez-Pérez Miguel Angel Vega-RodríguezThis book contains a selection of contributions presenting the latest research in the field of computers in education and, more specifically, in e-Learning. It reflects the diverse scenario of the application of computers in the educational field by describing previous experiences and addressing some of the present key issues. These include issues such as Learning Management Systems as well as innovative aspects such as personalized or ubiquitous learning.
Embedded Systems -- Modeling, Technology, and Applications: Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006
by Günter Hommel Sheng HuanyeThis book synthesizes the results of the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin, bringing together researchers from both universities in order to present research results to an international community. Aspects covered here include, among others, Models and specification; Simulation of different properties; Middleware for distributed real-time systems; Signal Analysis; Control methods; Applications in airborne and medical systems.
Arguing on the Toulmin Model: New Essays in Argument Analysis and Evaluation (Argumentation Library #10)
by David Hitchcock Bart VerheijIn The Uses of Argument (1958), Stephen Toulmin proposed a model for the layout of arguments: claim, data, warrant, qualifier, rebuttal, backing. Since then, Toulmin’s model has been appropriated, adapted and extended by researchers in speech communications, philosophy and artificial intelligence. This book assembles the best contemporary reflection in these fields, extending or challenging Toulmin’s ideas in ways that make fresh contributions to the theory of analysing and evaluating arguments.
National Systems of Innovation in Comparison: Structure and Performance Indicators for Knowledge Societies
by Ulrich Schmoch Christian Rammer Harald LeglerThe concept of National Systems of Innovation was introduced as a method to describe the various elements which contribute to innovation performance and their interaction. In this book, the innovation structures of a broad set of countries are compared. It provides more than a pure compilation of quantitative indicators for international benchmarking, supporting an appropriate interpretation of the referring results and suggesting relevant conclusions for innovation policy.
IUTAM Symposium on Computational Approaches to Multiphase Flow: Proceedings of an IUTAM Symposium held at Argonne National Laboratory, October 4-7, 2004 (Fluid Mechanics and Its Applications #81)
by S. Balachandar A. ProsperettiThe book provides a broad overview of the full spectrum of state-of-the-art computational activities in multiphase flow as presented by top practitioners in the field. It starts with well-established approaches and builds up to newer methods. These methods are illustrated with applications to a broad spectrum of problems involving particle dispersion and deposition, turbulence modulation, environmental flows, fluidized beds, bubbly flows, and many others.
Information Extraction: Algorithms and Prospects in a Retrieval Context (The Information Retrieval Series #21)
by Marie-Francine MoensThis book covers content recognition in text, elaborating on past and current most successful algorithms and their application in a variety of settings: news filtering, mining of biomedical text, intelligence gathering, competitive intelligence, legal information searching, and processing of informal text. Today, there is considerable interest in integrating the results of information extraction in retrieval systems, because of the demand for search engines that return precise answers to flexible information queries.
Intelligent Algorithms in Ambient and Biomedical Computing (Philips Research Book Series #7)
by Wim Verhaegh Emile Aarts Jan KorstThis book is the outcome of a series of discussions at the Philips Symposium on Intelligent Algorithms, held in Eindhoven in December 2004. It offers exciting and practical examples of the use of intelligent algorithms in ambient and biomedical computing. It contains topics such as bioscience computing, database design, machine consciousness, scheduling, video summarization, audio classification, semantic reasoning, machine learning, tracking and localization, secure computing, and communication.
Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005
by A. VachouxThis book includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). It provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design. All the chapters have been carefully revised and extended to offer up-to-date information. They also provide seeds for further researches and developments in the field of heterogeneous systems-on-chip design.
Chemoinformatics: Theory, Practice, & Products
by Barry A. Bunin Brian Siesel Guillermo Morales Jürgen BajorathChemoinformatics is the use of information technology in the acquisition, analysis and management of data and information relating to chemical compounds and their properties. The purpose of this book is to provide computational scientists, medicinal chemists and biologists with complete practical information and underlying theory relating to modern Chemoinformatics and related drug discovery informatics technologies. This is an essential handbook for determining the right Chemoinformatics method or technology to use.