Released on 2012-07-11Categories Computers

Advances in Cognitive Engineering and Neuroergonomics

Advances in Cognitive Engineering and Neuroergonomics

Author: Kay M. Stanney

Publisher: CRC Press

ISBN: 9781439870174

Category: Computers

Page: 328

View: 751

This volume explores cognitive ergonomics, which is concerned with mental processes—otherwise known as brain work. It discusses perception, memory, reasoning, and motor response, as they affect interactions among humans and other elements of a system. Topics will include mental workload, decision-making, skilled performance, human-computer interaction, human reliability, work stress and training as these relate to human-system design.
Released on 2008-01-01Categories Computers

Communicating Process Architectures 2008

Communicating Process Architectures 2008

Author: P. H. Welch

Publisher: IOS Press

ISBN: 9781586039073

Category: Computers

Page: 459

View: 368

Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they all are connected through SAT. My personal interest in SAT stems from actual solving: The increase in power of modern SAT solvers over the past 15 years has been phenomenal. It has become the key enabling technology in automated verification of both computer hardware and software. Bounded Model Checking (BMC) of computer hardware is now probably the most widely used model checking technique. The counterexamples that it finds are just satisfying instances of a Boolean formula obtained by unwinding to some fixed depth a sequential circuit and its specification in linear temporal logic. Extending model checking to software verification is a much more difficult problem on the frontier of current research. One promising approach for languages like C with finite word-length integers is to use the same idea as in BMC but with a decision procedure for the theory of bit-vectors instead of SAT. All decision procedures for bit-vectors that I am familiar with ultimately make use of a fast SAT solver to handle complex formulas. Decision procedures for more complicated theories, like linear real and integer arithmetic, are also used in program verification. Most of them use powerful SAT solvers in an essential way. Clearly, efficient SAT solving is a key technology for 21st century computer science. I expect this collection of papers on all theoretical and practical aspects of SAT solving will be extremely useful to both students and researchers and will lead to many further advances in the field.' Edmund Clarke (FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University)
Released on 2000Categories Computers

Robots for Kids

Robots for Kids

Author: Allison Druin

Publisher: Morgan Kaufmann

ISBN: 1558605975

Category: Computers

Page: 412

View: 136

Within the sphere of children's learning and play, the concept of robot and the application of actual robots are undergoing a dramatic expansion. Here the term "robot" refers to a growing range of interactive devices-including toys, pets, assistants to the disabled, and overtly educational tools-which are being used in ways that are expected to have profound and beneficial effects on how our children develop and grow. Robots for Kids: Exploring New Technologies for Learning opens with contributions from leading designers and researchers, each offering a unique perspective into the challenge of developing robots specifically for children. The second part is devoted to the stories of educators who work with children using these devices, exploring new applications and mapping their impact. Throughout the book, essays by children are included that discuss their first-hand experiences and ideas about robots. This is an engaging, entertaining, and insightful book for a broad audience, including HCI, AI, and robotics researchers in business and academia, new media and consumer product developers, robotics hobbyists, toy designers, teachers, and education researchers. * contributions by leaders in the fields of human-computer interaction and robotics * product development stories told by leading designers and researchers in organizations such as Microsoft, MIT Media Lab, Disney, and Sony * product application stories told by educators who are making robots a central part of kids' learning experiences, both in and out of the classroom * essays by kids-some, users of robotic technology, and others, designers in their own right
Released on 2020-05-31Categories Social Science

Building Blocks

Building Blocks

Author: Jose Muñoz Alvis

Publisher: transcript Verlag

ISBN: 9783839447819

Category: Social Science

Page: 318

View: 631

Building blocks are practical materials for playing, learning and working at kindergartens, schools, universities and companies. How did building blocks, which were primarily established as toys for children, come to be practical materials used in professional and educational settings? This study explores the historical implications of particular sets of building blocks in the interdisciplinary consolidation and transformation of techniques, materials, discourses and subjects. By mapping the genealogy of building blocks from Fröbel's »gifts« to their current systematization as interlocked blocks, this study proposes that building blocks should be understood not exclusively as concrete objects, but as the materiality of a combinatorial program, which delineates a modular system characterized by a code of composition, a context-neutrality and a semantic component.
Released on 2011-12-03Categories Computers

Intelligent Robotics and Applications

Intelligent Robotics and Applications

Author: Sabina Jeschke

Publisher: Springer

ISBN: 9783642254864

Category: Computers

Page: 643

View: 338

The two volume set LNAI 7101 and LNAI 7102 constitutes the refereed proceedings of the 4th International Conference on Intelligent Robotics and Applications, ICIRA 2011, held in Aachen, Germany, in November 2011. The 122 revised full papers presented were thoroughly reviewed and selected from numerous submissions. They are organized in topical sections on progress in indoor UAV, robotics intelligence, industrial robots, rehabilitation robotics, mechanisms and their applications, multi robot systems, robot mechanism and design, parallel kinematics, parallel kinematics machines and parallel robotics, handling and manipulation, tangibility in human-machine interaction, navigation and localization of mobile robot, a body for the brain: embodied intelligence in bio-inspired robotics, intelligent visual systems, self-optimising production systems, computational intelligence, robot control systems, human-robot interaction, manipulators and applications, stability, dynamics and interpolation, evolutionary robotics, bio-inspired robotics, and image-processing applications.
Released on 2015-11-28Categories Computers

Product-Focused Software Process Improvement

Product-Focused Software Process Improvement

Author: Pekka Abrahamsson

Publisher: Springer

ISBN: 9783319268446

Category: Computers

Page: 616

View: 651

This book constitutes the refereed proceedings of the 16th International Conference on Product-Focused Software Process Improvement, PROFES 2015, held in Bolzano, Italy, in December 2015. The 18 revised full papers presented together with 10 short papers and 18 workshop papers were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on lessons learned from industry-research collaborations; instruments to improve the software development process; requirements, features, and release management; practices of modern development processes; human factors in modern software development; effort and size estimation validated by professionals; empirical generalization; software reliability and testing in industry; workshop on processes, methods and tools for engineering embedded systems; workshop on human factors in software development processes; and workshop on software startups: state of the art and state of the practice.
Released on 2018-06-11Categories Education

Innovations, Technologies and Research in Education

Innovations, Technologies and Research in Education

Author: Linda Daniela

Publisher: Cambridge Scholars Publishing

ISBN: 9781527512023

Category: Education

Page: 362

View: 925

The book includes studies presented at the ATEE Spring Conference 2017 on emerging trends in the use of technology in educational processes, the use of robotics to facilitate the construction of knowledge, how to facilitate learning motivation, transformative learning, and innovative educational solutions. Chapters here are devoted to studies on the didactic aspects of technology usage, how to facilitate learning, and the social aspects affecting acquisition of education, among others. This volume serves as a basis for further discussions on the development of educational science, on topical research fields and practical challenges. It will be useful to scientists in the educational field who wish to get acquainted with the results of studies conducted in countries around the world on emerging educational issues. Moreover, teachers who need to implement into practice the newest scientific findings and opinions and future teachers who need to acquire new knowledge will also find this book useful.
Released on 2021-07-02Categories Technology & Engineering

Advances in the Human Side of Service Engineering

Advances in the Human Side of Service Engineering

Author: Christine Leitner

Publisher: Springer Nature

ISBN: 9783030808402

Category: Technology & Engineering

Page: 529

View: 607

This book reports on cutting-edge research and best practices in developing innovative service systems. It covers issues concerning the suitability of a given system for human use, human services, and excellent human experiences. It explores a wide range of ways in which human factors in engineering, ergonomics, human–computer interaction (HCI), cognitive engineering, and many other disciplines can contribute to the design and management of service systems. It considers aspects related to cost effectiveness, ethics, and privacy, among others, and covers applications in many areas, from healthcare to education, transportation, and the economy. Based on the AHFE 2021 Conference on the Human Side of Service Engineering, held virtually on 25–29 July, 2021, from USA, this book provides readers with a comprehensive overview of current research and future challenges in the field of service engineering, together with practical insights into the development of innovative services for various kinds of organizations.
Released on 2013-08-16Categories Juvenile Fiction

Lights, Camera, Ali!

Lights, Camera, Ali!

Author: Christine Marciniak

Publisher: Zumaya Thresholds

ISBN: 9781612712161

Category: Juvenile Fiction

Page: 232

View: 806

Ali Caldwell figures her fifteen minutes of fame have expired, and she is ready to ditch the TV cameras. That’s hard to do when she has to spend Thanksgiving with her mother in Malibu, where they’ll be filming the Christmas special for their reality show. Then her little brother disappears while she’s in charge of him, and and everyone in the world is watching and blaming her, including her mother. Ali is determined to find him make everything right, but life is ever that simple.