الصفحة 6
الصفحة 6
Designing virtual reality systems : The structured approach
Virtual Reality (VR) is a field of study that aims to create a system that provides a synthetic experience for its users. Developing and maintaining a VR system is a very difficult task, requiring in-depth knowledge in many different disciplines, such as sensing and tracking technologies, stereoscopic displays, multimodal interaction and processing, computer graphics and geometric modeling, dynamics and physical simulation, performance tuning, etc. The difficulty lies in the complexity of having to simultaneously consider many system goals, some of which are conflicting.
Designing and evaluating e-management decision tools : The integration of decision and negotiation models into internet-multimedia technologies
Presents the most relevant concepts for designing intelligent decision tools in an Internet-based multimedia environment and assessing the tools using concepts of statistical design of experiments. The book covers : Decision modeling paradigms , Visual interactive decision modeling , Online preference elicitation , collaborative decision making , negotiation and conflict resolution , marketing decision optimization , and guidelines for designing and evaluating decision support tools. This book is designed for the following uses: 1) for researchers and engineers, who are seeking recent advances and who are developing e-management systems; 2) for practitioners and managers, who seek insights about ICT potential and using ICT for business intelligence management; and 3) for students, who seek theoretical and practical concepts of building and evaluating prototype decision tools.
Dependable Systems : Software, Computing, Networks : Research Results of the DICS Program
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions, as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler, Switzerland, in March 2004, and the second workshop, which marked the conclusion of the projects, in Löwenberg, Switzerland, in October 2005. The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks.
Deep Learning-Based Face Analytics
Provides an overview of different deep learning-based methods for face recognition and related problems. Specifically, the authors present methods based on autoencoders, restricted Boltzmann machines, and deep convolutional neural networks for face detection, localization, tracking, recognition, etc. The authors also discuss merits and drawbacks of available approaches and identifies promising avenues of research in this rapidly evolving field.
Deep Learning and its Applications
Presents an introduction to deep learning and various applications of deep learning such as recommendation systems, text recognition, diabetic retinopathy prediction of breast cancer, prediction of epilepsy, sentiment, fake news detection, software defect prediction and protein function prediction.
Declarative agent languages and technologies III ; 3rd International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develop techno- gies that can satisfy the requirements of complex agent systems. The design and development of multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow for the veri?cation of properties, and guarantee ?exibility. Declarative approaches are potentially a valuable means for satisfying the needs of multi-agent system developers and for specifying multi-agent systems.
Declarative agent languages and technologies II ; 2nd international workshop, DALT 2004, New York, NY, USA, July 19, 2004, revised selected papers
Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT’s (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro?t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate ?exibility, heterogeneity and openness, and enable system veri?cation.
Database Schema Evolution and Meta-Modeling ; 9th International Workshop on Foundations of Models and Languages for Data and Objects FoMLaDO/DEMM 2000 Dagstuhl Castle, Germany, September 18-21, 2000 Selected Papers
The Ninth International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO) took place in Dagstuhl Germany, Sept- ber 18{21, 2000. The topic of this workshop was Database schema Evolution and Meta-Modeling; this FoMLaDO Workshop was hence assigned the acronym DEMM 2000.
Data Warehousing and Data Mining Techniques for Cyber Security
It provide techniques for collecting information from distributed databases and for performing data analysis. The ever expanding, tremendous amount of data collected and stored in large databases has far exceeded our human ability to comprehend--without the proper tools. There is a critical need for data analysis that can automatically analyze data, summarize it and predict future trends. In the modern age of Internet connectivity, concerns about denial of service attacks, computer viruses and worms are extremely important. Data Warehousing and Data Mining Techniques for Cyber Security contributes to the discipline of security informatics. The author discusses topics that intersect cyber security and data mining, while providing techniques for improving cyber security. Since the cost of information processing and internet accessibility is dropping, an increasing number of organizations are becoming vulnerable to cyber attacks. This volume introduces techniques for applications in the area of retail, finance, and bioinformatics, to name a few.
Data science in theory and practice : Techniques for big data analytics and complex data sets
Delivers a comprehensive treatment of the mathematical and statistical models useful for analyzing data sets arising in various disciplines, like banking, finance, health care, bioinformatics, security, education, and social services. Written in five parts, the book examines some of the most commonly used and fundamental mathematical and statistical concepts that form the basis of data science. The authors go on to analyze various data transformation techniques useful for extracting information from raw data, long memory behavior, and predictive modeling. Readers will also learn from topics like: Analyses of foundational theoretical subjects, including the history of data science, matrix algebra and random vectors, and multivariate analysis A comprehensive examination of time series forecasting, including the different components of time series and transformations to achieve stationarity Introductions to both the R and Python programming languages, including basic data types and sample manipulations for both languages An exploration of algorithms, including how to write one and how to perform an asymptotic analysis A comprehensive discussion of several techniques for analyzing and predicting complex data sets
Cooperative Bug Isolation : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods of understanding software has only increased; so- ware has spread to become the underpinning of much of modern society, and the potentially disastrous consequences of broken or poorly understood software have become all too apparent.
Control Theory Tutorial : Basic Concepts Illustrated by Software Examples
Introduces the basic principles of control theory in a concise self-study guide. It complements the classic texts by emphasizing the simple conceptual unity of the subject. A novice can quickly see how and why the different parts fit together. The concepts build slowly and naturally one after another, until the reader soon has a view of the whole. Each concept is illustrated by detailed examples and graphics. The full software code for each example is available, providing the basis for experimenting with various assumptions, learning how to write programs for control analysis, and setting the stage for future research projects. The topics focus on robustness, design trade-offs, and optimality. Most of the book develops classical linear theory. The last part of the book considers robustness with respect to nonlinearity and explicitly nonlinear extensions, as well as advanced topics such as adaptive control and model predictive control.
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 Robot Manipulators in Joint Space
Robot control is the backbone of robotics, an essential discipline in the maintenance of high quality and productivity in modern industry. The most common method of control for industrial robotic manipulators relies on the measurement and amendment of joint displacement: so-called "joint-space control
Control of nonlinear and hybrid process systems : Designs for uncertainty, constraints and time-delays
The book includes many detailed examples which can be easily modified by a control engineer to be tailored to a specific application. This book is useful for researchers in control systems theory, graduate students pursuing their degree in control systems and control engineers.
Continuous Semigroups of Holomorphic Self-maps of the Unit Disc
The book faces the interplay among dynamical properties of semigroups, analytical properties of infinitesimal generators and geometrical properties of Koenigs functions. The book includes precise descriptions of the behavior of trajectories, backward orbits, petals and boundary behavior in general, aiming to give a rather complete picture of all interesting phenomena that occur. In order to fulfill this task, we choose to introduce a new point of view, which is mainly based on the intrinsic dynamical aspects of semigroups in relation with the hyperbolic distance and a deep use of Carathéodory prime ends topology and Gromov hyperbolicity theory.
Conditionals, Information, and Inference
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, physical laws, and social norms. On the other hand, as default rules or general implications, they constitute a basic tool for reasoning, even in the presence of uncertainty. In this sense, conditionals are intimately connected both to information and inference. Due to their non-Boolean nature, however, conditionals are not easily dealt with. They are not simply true or false — rather, a conditional “if A then B” provides a context, A, for B to be plausible (or true) and must not be confused with “A entails B” or with the material implication “not A or B.” This ill- trates how conditionals represent information, understood in its strict sense as reduction of uncertainty. To learn that, in the context A, the proposition B is plausible, may reduce uncertainty about B and hence is information. The ab- ity to predict such conditioned propositions is knowledge and as such (earlier) acquired information. The ?rst work on conditional objects dates back to Boole in the 19th c- tury, and the interest in conditionals was revived in the second half of the 20th century, when the emerging Arti?cial Intelligence made claims for appropriate formaltoolstohandle“generalizedrules.”Sincethen,conditionalshavebeenthe topic of countless publications, each emphasizing their relevance for knowledge representation, plausible reasoning, nonmonotonic inference, and belief revision.
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”).
Computer Vision and Internet of Things : Technologies and Applications
Explores the utilization of Internet of Things (IoT) with computer vision and its underlying technologies in different applications areas. Using a series of present and future applications – including business insights, indoor-outdoor securities, smart grids, human detection and tracking, intelligent traffic monitoring, e-health departments, and medical imaging – this book focuses on providing a detailed description of the utilization of IoT with computer vision and its underlying technologies in critical application areas, such as smart grids, emergency departments, intelligent traffic cams, insurance, and the automotive industry.
Computer Performance Engineering ; 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008.
