الصفحة 17
الصفحة 17
Control of Interactive Robotic Interfaces : A Port-Hamiltonian Approach
This monograph deals with energy based control of interactive robotic interfaces and the port-Hamiltonian framework is exploited both for modeling and controlling interactive robotic interfaces. Using the port-Hamiltonian framework, it is possible to identify the energetic properties that have to be controlled in order to achieve a desired interactive behavior and it is possible to build a port-Hamiltonian controller that properly regulates the robotic interface by shaping its energetic properties.
Contributions to the Science of Text and Language : Word Length Studies and Related Issues
This volume contains a collection of contributions to the science of language, focusing on the study of word length in particular. Within a synergetic framework, the word turns out to be a central linguistic unit, as is clearly outlined in the Editorâs preface. The bookâs first chapter is an extensive introduction to the history and state of the art of word length studies.The studies included unify contributions from three important linguistic fields, namely, linguistics and text analysis, mathematics and statistics, and corpus and data base design, which together give a comprehensive approach to the quantitative study of text and language and word length studies.
Continuum Thermomechanics
The general goal of this book is to deduce rigorously, from the first principles, the partial differential equations governing the thermodynamic processes undergone by continuum media under forces and heat. Solids and fluids are considered in a unified framework. Reacting mixtures of fluids are also included for which general notions of thermodynamics are recalled, such as the Gibbs equilibrium theory.Linear approximate models are mathematically obtained by calculating the derivatives of the constitutive response functions. They include the classical models for linear vibrations of thermoelastic solids and also for wave propagation in fluids (dissipative and non-dissipative acoustics and internal gravity waves).
Contaminated land : Investigation, assessment and remediation
The first edition of this ICE design and practice guide became one of the most popular ICE publications after it was published in 1994. Since the first edition, there has been a multitude of legislation on the environment and the adoption of many of the principles of the European Landfill Directive. This has meant specialists, regulators and engineers are grappling with interpretation of guidance frameworks, new levels of testing accuracy and increased public perception of environmental damage.
Consumption structure and macroeconomics : Structural change and the relationship between inequality and growth
This book offers a novel perspective that allows to incorporate changing consumption and production structure into models of economic growth. Starting from the empirical observation that income and consumption structure are closely related, it develops a tractable theoretical framework which enables to analyze macroeconomic models consistent with these empirical facts. As a result, central macroeconomic phenomena are better understood: the reasons behind long-run growth, structural change, and the influence of inequality on innovations and growth.
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.
Consumer behavior over the life course : Research frontiers and new directions
Examines consumer behavior using the “life course” paradigm, A multidisciplinary framework for studying people's lives, structural contexts, and social change. It contributes to marketing research by providing new insights into the study of consumer behavior and illustrating how to apply the life course paradigm’s concepts and theoretical perspectives to study consumer topics in an innovative way. Also oresenting applications of the life course approach in such research topics as decision making, maladaptive behaviors (e.g., compulsive buying, binge eating), consumer well-being, and cognitive decline.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
Construction 4.0 : advanced technology, tools and materials for the digital transformation of the construction industry
Construction 4.0 Advanced Technology, Tools and Materials for the Digital Transformation of the Construction Industry provides readers with a state-of-the-art review of the ongoing digital transformation of the sector within the new 4.0 framework, presenting a thorough investigation of the emerging trends, technologies, and strategies in the fields of smart building design, construction.
Constructing Roma Migrants : European Narratives and Local Governance
This book presents a cross-disciplinary insight and policy analysis into the effects of European legal and political frameworks on the life of ‘Roma migrants’ in Europe. It outlines the creation and implementation of Roma policies at the European level, provides a systematic understanding of identity-based exclusion and explores concrete case studies that reveal how integration and immigration policies work in practice. The book also shows how the Roma example might be employed in tackling the governance implications of our increasingly complex societies and assesses its potential and limitations for integration policies of vulnerable groups such as refugees and other discriminated minorities.
Constraint solving and language processing
Contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1–3, 2004. Constraint Programming and Constraint Solving, in particular Constraint Logic Programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly differing meanings, apply in the characterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. Programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new eficient methods and paradigms from which language processing can prompt. A common metaphor for human language processing is one big c- straint solving process in which the differently specified linguistic and cognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms.
Constitutional law : Model problems and outstanding answers
Constitutional law is one of the most engaging and yet challenging first year law classes. At the confluence of history, politics, legal theory, and judicial review, it requires students to learn a new framework for legal interpretation and thought unique from other areas of law. For the first time, Oxford University Press equips students with an accessible guide to acing these challenging constitutional law exams.
Computer-Aided Design of User Interfaces IV
Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This includes: innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical and multimodal user interfaces. It also addresses User Interface Description Languages. This books attempts to emphasize the software tool support for designing user interfaces and their underlying languages and methods, beyond traditional development environments offered by the market. It will be of interest to software development practitioners and researchers whose work involves human-computer interaction, design of user interfaces, frameworks for computer-aided design, formal and semi-formal methods, web services and multimedia systems, interactive applications, and graphical user and multi-user interfaces.
Computer algebra in scientific computing ; Vol. 3718 ; 8th International workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences on the latest advances in the application of computer algebra systems(CASs) and methods to the solution of various problems in scientific computing.The methods of scientific computing play an important role in research andengineering applications in the natural and the engineering sciences. The signif-icance and impact of computer algebra methods and computer algebra systemsfor scientific computing has increased considerably in recent times. Nowadays,such general-purpose computer algebra systems as Maple, Magma, Mathematica,MuPAD, Singular, CoCoA and others enable their users to solve the followingthree important tasks within a uniform framework:(a) symbolic manipulation;(b) numerical computation;(c) visualization. The result of this job is reflected in this volume, which contains revised versionsof the accepted papers. The collection of papers included in the proceedingscovers various topics of computer algebra methods, algorithms, and softwareapplied to scientific computing:
Computational Processing of the Portuguese Language ; 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings
Since 1993, PROPOR Workshops have become an important forum for - searchers involved in the Computational Processing of Portuguese,both written and spoken. The workshop and this book were structured around the following main t- ics, seven for full papers: (i) automatic summarization; (ii) resources; (iii) au- matic translation; (iv) named entity recognition; (v) tools and frameworks; (vi) systems and models; and another ?ve topics for short papers; (vii) information extraction; (viii) speech processing; (ix) lexicon; (x) morpho-syntactic studies; (xi) web, corpus and evaluation.
Computational Physiology : Simula Summer School 2021 − Student Reports
Compiles student reports from the 2021 Simula Summer School in Computational Physiology. Interested readers will find herein a number of modern approaches to modeling excitable tissue. This should provide a framework for tools available to model subcellular and tissue-level physiology across scales and scientific questions.
Computational methods in systems biology ; 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.* The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology.
Computational logic in multi-agent systems ; Vol. 3487 ; 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.
Computational Cognitive Modeling and Linguistic Theory
This book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit them to real-time experimental data. This computational cognitive modeling approach opens up exciting new directions for research in formal semantics, and linguistics more generally, and offers new ways of (re)connecting semantics and the broader field of cognitive science.
Collaborative Networks : Reference Modeling
Collaborative Networks: Reference Modeling works to establish a theoretical foundation for Collaborative Networks. Particular emphasis is put on modeling multiple facets of collaborative networks and establishing a comprehensive modeling framework that captures and structures diverse perspectives of these complex entities.
