Page 5
Page 5
img

Linear and Generalized Linear Mixed Models and Their Applications

This book covers two major classes of mixed effects models—linear mixed models and generalized linear mixed models—and it presents an up-to-date account of theory and methods in analysis of these models as well as their applications in various fields. It offers a systematic approach to inference about non-Gaussian linear mixed models. Furthermore, it discusses the latest developments and methods in the field, incorporating relevant updates since publication of the first edition. These include advances in high-dimensional linear mixed models in genome-wide association studies (GWAS), advances in inference about generalized linear mixed models with crossed random effects, new methods in mixed model prediction, mixed model selection, and mixed model diagnostics.

img

Biomimetic neural learning for intelligent robots : Intelligent systems, cognitive robotics, and neuroscience

This book presents research performed as part of the EU project on biomimeticmultimodal learning in a mirror neuron-based robot (MirrorBot) and contribu-tions presented at the International AI-Workshop on NeuroBotics. The over-all aim of the book is to present a broad spectrum of current research intobiomimetic neural learning for intelligent autonomous robots. In this book we show the development of newtechniques using cell assemblies, associative neural networks, and Hebbian-typelearning in order to associate vision, language and motor concepts. We havedeveloped biomimetic multimodal learning and language instruction in a robotto investigate the task of searching for objects. As well as the research performedin this area for the MirrorBot project, the second part of this book incorporatessignificant contributions from other research in the field of biomimetic robotics.This second part of the book concentrates on the progress made in neuroscienceinspired robotic learning approaches (in short: NeuroBotics). We hope that this book stimulates and encourages new research in this in-teresting and dynamic area.

img

Best practices in software measurement : How to use metrics to improve project and process performance

Not everything that counts can be counted. Not everything that is counted counts. Albert Einstein This is a book about software measurement from the practitioner’s point of view and it is a book for practitioners. Software measurement needs a lot of practical guidance to build upon experiences and to avoid repeating errors. This book t- gets exactly this need, namely to share experiences in a constructive way that can be followed. It tries to summarize experiences and knowledge about software measurement so that it is applicable and repeatable. It extracts experiences and lessons learned from the narrow context of the specific industrial situation, thus facilitating transfer to other contexts. Software measurement is not at a standstill. With the speed software engine- ing is evolving, software measurement has to keep pace. While the underlying theory and basic principles remain invariant in the true sense (after all, they are not specific to software engineering), the application of measurement to specific contexts and situations is continuously extended. The book thus serves as a ref- ence on these invariant principles as well as a practical guidance on how to make software measurement a success.

img

Avatars at Work and Play : Collaboration and Interaction in Shared Virtual Environments

examining uses of shared virtual environments in practical settings such as scientific collaboration, distributed meetings, building models together, and others. It also covers online gaming in virtual environments, which has attracted hundreds of thousands of users and presents an opportunity for studying a myriad of social issues. Covering both ‘work’ and ‘play’, the volume brings together issues common to the two areas.

img

Autonomous driving : Technical, legal and social aspects

This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles be integrated into the current transportation system with diverse users and human drivers? Where do automated vehicles fall under current legal frameworks? What risks are associated with automation and how will society respond to these risks? How will the marketplace react to automated vehicles and what changes may be necessary for companies?

img

Applications of Agent Technology in Traffic and Transportation

Building effective and user-friendly transportation systems is one of the big challenges for engineers in the 21st century. There is an increasing need to understand, model, and govern such systems at both the individual (micro) and the society (macro) level. Still, this raises significant technical problems, as transportation systems may contain thousands of autonomous, "intelligent" entities that need to be simulated and/or controlled. Therefore, traffic and transportation scenarios are extraordinarily appealing for Distributed Artificial Intelligence, and (multi-) agent technology in particular. This book gives an overview of recent advances in agent-based transportation systems. It includes both a state-of-the-art survey and reports on cutting-edge research in the field.

img

Applications and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.

img

Android Application Development for the Intel® Platform

The number of Android devices running on Intel processors has increased since Intel and Google announced, in late 2011, that they would be working together to optimize future versions of Android for Intel Atom processors. Today, Intel processors can be found in Android smartphones and tablets made by some of the top manufacturers of Android devices, such as Samsung, Lenovo, and Asus.

img

An Introduction to Quantum and Vassiliev Knot Invariants

Provides an accessible introduction to knot theory, focussing on Vassiliev invariants, quantum knot invariants constructed via representations of quantum groups, and how these two apparently distinct theories come together through the Kontsevich invariant. Consisting of four parts, the book opens with an introduction to the fundamentals of knot theory, and to knot invariants such as the Jones polynomial. The second part introduces quantum invariants of knots, working constructively from first principles towards the construction of Reshetikhin-Turaev invariants and a description of how these arise through Drinfeld and Jimbo's quantum groups. Its third part offers an introduction to Vassiliev invariants, providing a careful account of how chord diagrams and Jacobi diagrams arise in the theory, and the role that Lie algebras play. The final part of the book introduces the Konstevich invariant. This is a universal quantum invariant and a universal Vassiliev invariant, and brings together these two seemingly different families of knot invariants. The book provides a detailed account of the construction of the Jones polynomial via the quantum groups attached to sl(2), the Vassiliev weight system arising from sl(2), and how these invariants come together through the Kontsevich invariant.

img

An Introduction to Knowledge Engineering

Knowledge Engineering refers to the development of systems that use knowledge, rather than data, to solve many novel computing problems. This is achieved by the application of computing techniques, closely associated with human cognitive processes, for transforming data into knowledge. An Introduction to Knowledge Engineering presents a simple but detailed exploration of current and established work in the field.

img

Algorithmes dapproximation

Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. Il allie la profondeur de la théorie mathématique aux promesses d'applications pratiques d'un intérêt considérable. La plupart des problèmes issus d'applications relevant de domaines aussi différents que la conception de circuits VLSI, la conception et la planification de réseaux, l'ordonnancement, la théorie des jeux, la biologie ou la théorie des nombres, sont des problèmes NP-difficiles. Leur résolution exacte demanderait des ressources informatiques inaccessibles et ne peut donc être envisagée. Pour faire face à cette situation, un grand nombre d'algorithmes proposant des solutions approchées à ces problèmes ont été développés.

img

Algebraic Aspects of the Advanced Encryption Standard

The Belgian block cipher Rijndael was chosen in 2000 by the U.S. government’s National Institute of Standards and Technology (NIST) to be the successor to the Data Encryption Standard. Rijndael was subsequently standardized as the Advanced Encryption Standard (AES), which is potentially the world’s most important block cipher. In 2002, some new analytical techniques were suggested that may have a dramatic effect on the security of the AES. Existing analytical techniques for block ciphers depend heavily on a statistical approach, whereas these new techniques are algebraic in nature.

img

Agent Technology from a Formal Perspective

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.

img

Advances in UAV detection, classification and tracking

Explores the latest techniques and advancements in unmanned aerial vehicle (UAV) detection, classification, and tracking. As UAV technology continues to evolve and become more accessible, there is a growing need for effective methods to detect, identify, and track these devices in various scenarios. This reprint provides a thorough overview of the state-of-the-art approaches for UAV detection, classification, and tracking, covering both theoretical and practical aspects.The reprint begins by introducing the basics of UAVs and their various applications, followed by a detailed overview of the challenges associated with UAV detection, classification, and tracking. The authors then present the latest techniques and algorithms used in the field, including machine-learning-based approaches, computer vision techniques, and sensor fusion techniques. The reprint also covers the challenges of real-world applications, such as dealing with occlusions, sensor noise, and environmental factors.

img

Advances in pervasive computing and networking

"Pervasive Computing and Networking aim at providing ubiquitous, ever-present, adaptable, smart, enveloping and immersive environments in which computing components and humans can interact regardless of the location. The combination of an abundance of computational power of the processors and the communication bandwidth provided by the wireless and mobile networking everywhere and all the time makes such environments within the reach of current technology. Yet, to realize the full potential of such environments, many technical and economical challenges needs to be overcome. These challenges and the perspective on the seminal directions of the research in this area were the subject of the Workshop for Pervasive Computing and Networking at Rensselaer Polytechnic Institute, Troy, NY, USA.

img

Advances in Big Data Analytics : Theory, Algorithms and Practices

Provides a comprehensive and cutting-edge study on big data analytics, based on the research findings and applications developed by the author and his colleagues in related areas. It addresses the concepts of big data analytics and/or data science, multi-criteria optimization for learning, expert and rule-based data analysis, support vector machines for classification, feature selection, data stream analysis, learning analysis, sentiment analysis, link analysis, and evaluation analysis. The book also explores lessons learned in applying big data to business, engineering and healthcare. Lastly, it addresses the advanced topic of intelligence-quotient (IQ) tests for artificial intelligence.

img

AdvancED Flash Interface Design

Flash allows users to create some amazing interactive interfaces to interact with rich Internet applications, e-learning systems, and simple web sites. In this book, two of the most talented Flash designers in the world will show you how to use them effectively to create breathtaking visuals for your Flash web sites. You'll also learn how to take advantage of Flash's powerful built-in vector-based drawing tools.

img

Action Research in Software Engineering: Theory and Applications

This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. It elaborates on how to find the right research activities and how to distinguish them from non-significant ones. Further, it details how to glean lessons from the research results, no matter whether they are positive or negative. Lastly, it shows how companies can evolve and build talents while expanding their product portfolio.

img

Abstract Computing Machines : A Lambda Calculus Perspective

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.

img

A journey of embedded and cyber-physical systems : Essays dedicated to Peter Marwedel on the occasion of his 70th birthday

This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday.

Results Per Page