Hasil Pencarian  ::  Simpan CSV :: Kembali

"Information theory and best practices in the IT industry examining benchmarking in the business of software development and studying how it is affected by development process, application type, hardware platforms used, and many other variables.Next the book identifies different variables which affect productivity and variables that affect quality, developing useful equations that explaining their relationships. Finally these equations and findings are applied to case studies. "

"In this book, the capability map, a novel general representation of the kinematic capabilities of a robot arm, is introduced. The capability map allows to determine how well regions of the workspace are reachable for the end effector in different orientations. It is a representation that can be machine processed as well as intuitively visualized for the human. The capability map and the derived algorithms are a valuable source of information for high- and low-level planning processes. The versatile applicability of the capability map is shown by examples from several distinct application domains. In human-robot interaction, a bi-manual interface for tele-operation is objectively evaluated. In low-level geometric planning, more human-like motion is planned for a humanoid robot while also reducing the computation time. And in high-level task reasoning, the suitability of a robot for a task is evaluated. "

"This book constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 2012, held in Taipei, Taiwan, in August 2012. The 34 regular papers presented were carefully reviewed and selected from numerous submissions. The volume also contains the papers or extended abstracts of 4 invited lectures, as well as a special memorial presentation in honor of Sheng Yu. The topics covered include grammars, acceptors and transducers for words, trees and graphs, algebraic theories of automata, algorithmic, combinatorial and algebraic properties of words and languages; variable length codes, symbolic dynamics, cellular automata, polyominoes and multidimensional patterns, decidability questions, image manipulation and compression, efficient text algorithms, relationships to cryptography, concurrency, complexity theory and logic, bio-inspired computing, quantum computing."

"This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections : UQ need: risk, policy, and decision making, UQ theory, UQ tools, UQ practice, and hot topics. The papers are followed by the records of the discussions between the participants and the speaker."

"The Workshop on Computation: Theory and Practice (WCTP)-2011 was the first workshop organized jointly by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research–Osaka University, the University of the Philippines Diliman, and De La Salle University–Manila devoted to theoretical and practical approaches to computation. The aim of the workshop was to present the latest developments by theoreticians and practitioners in academe and industry working to address computational problems that can directly impact the way we live in society. This book comprises the refereed proceedings of WCTP-2011, held in Quezon City, the Philippines, in September 2011. The 16 carefully reviewed and revised full papers presented here deal with biologically inspired computational modeling, programming language theory, advanced studies in networking, and empathic computing."

"Developing many of the major, exciting, pre- and post-millennium developments from the ground up, this book is an ideal entry point for graduate students into quantum information theory. Significant attention is given to quantum mechanics for quantum information theory, and careful studies of the important protocols of teleportation, superdense coding, and entanglement distribution are presented. In this new edition, readers can expect to find over 100 pages of new material, including detailed discussions of Bell's theorem, the CHSH game, Tsirelson's theorem, the axiomatic approach to quantum channels, the definition of the diamond norm and its interpretation, and a proof of the Choi–Kraus theorem. Discussion of the importance of the quantum dynamic capacity formula has been completely revised, and many new exercises and references have been added. This new edition will be welcomed by the upcoming generation of quantum information theorists and the already established community of classical information theorists."