Computational Artifacts


Book Description

The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. The book will be of value to philosophers and computer scientists.




Computer Science


Book Description

While the development of Information Technology has been obvious to all, the underpinning computer science has been less apparent. Subrata Dasgupta provides a thought-provoking introduction to the field and its core principles, considering computer science as a science of symbol processing.




Interactive Computation


Book Description

The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift in technology from main-frame number-crunching to distributed intelligent networks with graphical user interfaces. The book is arranged in four sections: "Introduction", comprising three chapters that explore and summarize the fundamentals of interactive computation; "Theory" with six chapters, each discussing a specific aspect of interaction; "Applications," five chapters showing how this principle is applied in subdisciplines of computer science; and "New Directions," presenting four multidisciplinary applications. The book challenges traditional Turing machine-based answers to fundamental questions of problem solving and the scope of computation.




Makeology


Book Description

Makeology introduces the emerging landscape of the Maker Movement and its connection to interest-driven learning. While the movement is fueled in part by new tools, technologies, and online communities available to today’s makers, its simultaneous emphasis on engaging the world through design and sharing with others harkens back to early educational predecessors including Froebel, Dewey, Montessori, and Papert. Makers as Learners (Volume 2) highlights leading researchers and practitioners as they discuss and share current perspectives on the Maker movement and research on educational outcomes in makerspaces. Each chapter closes with a set of practical takeaways for educators, researchers, and parents.




Teaching Computational Thinking and Coding to Young Children


Book Description

Computational thinking is a lifelong skill important for succeeding in careers and life. Students especially need to acquire this skill while in school as it can assist with solving a number of complex problems that arise later in life. Therefore, the importance of teaching computational thinking and coding in early education is paramount for fostering problem-solving and creativity. Teaching Computational Thinking and Coding to Young Children discusses the importance of teaching computational thinking and coding in early education. The book focuses on interdisciplinary connections between computational thinking and other areas of study, assessment methods for computational thinking, and different contexts in which computational thinking plays out. Covering topics such as programming, computational thinking assessment, computational expression, and coding, this book is essential for elementary and middle school teachers, early childhood educators, administrators, instructional designers, curricula developers, educational software developers, researchers, educators, academicians, and students in computer science, education, computational thinking, and early childhood education.




digitalSTS


Book Description

New perspectives on digital scholarship that speak to today's computational realities Scholars across the humanities, social sciences, and information sciences are grappling with how best to study virtual environments, use computational tools in their research, and engage audiences with their results. Classic work in science and technology studies (STS) has played a central role in how these fields analyze digital technologies, but many of its key examples do not speak to today’s computational realities. This groundbreaking collection brings together a world-class group of contributors to refresh the canon for contemporary digital scholarship. In twenty-five pioneering and incisive essays, this unique digital field guide offers innovative new approaches to digital scholarship, the design of digital tools and objects, and the deployment of critically grounded technologies for analysis and discovery. Contributors cover a broad range of topics, including software development, hackathons, digitized objects, diversity in the tech sector, and distributed scientific collaborations. They discuss methodological considerations of social networks and data analysis, design projects that can translate STS concepts into durable scientific work, and much more. Featuring a concise introduction by Janet Vertesi and David Ribes and accompanied by an interactive microsite, this book provides new perspectives on digital scholarship that will shape the agenda for tomorrow’s generation of STS researchers and practitioners.




Handbook of Research on Computational Science and Engineering: Theory and Practice


Book Description

By using computer simulations in research and development, computational science and engineering (CSE) allows empirical inquiry where traditional experimentation and methods of inquiry are difficult, inefficient, or prohibitively expensive. The Handbook of Research on Computational Science and Engineering: Theory and Practice is a reference for interested researchers and decision-makers who want a timely introduction to the possibilities in CSE to advance their ongoing research and applications or to discover new resources and cutting edge developments. Rather than reporting results obtained using CSE models, this comprehensive survey captures the architecture of the cross-disciplinary field, explores the long term implications of technology choices, alerts readers to the hurdles facing CSE, and identifies trends in future development.




Ubiquitous Computing Fundamentals


Book Description

"...a must-read text that provides a historical lens to see how ubicomp has matured into a multidisciplinary endeavor. It will be an essential reference to researchers and those who want to learn more about this evolving field." -From the Foreword, Professor Gregory D. Abowd, Georgia Institute of Technology First introduced two decades ago, the term ubiquitous computing is now part of the common vernacular. Ubicomp, as it is commonly called, has grown not just quickly but broadly so as to encompass a wealth of concepts and technology that serves any number of purposes across all of human endeavor. While such growth is positive, the newest generation of ubicomp practitioners and researchers, isolated to specific tasks, are in danger of losing their sense of history and the broader perspective that has been so essential to the field’s creativity and brilliance. Under the guidance of John Krumm, an original ubicomp pioneer, Ubiquitous Computing Fundamentals brings together eleven ubiquitous computing trailblazers who each report on his or her area of expertise. Starting with a historical introduction, the book moves on to summarize a number of self-contained topics. Taking a decidedly human perspective, the book includes discussion on how to observe people in their natural environments and evaluate the critical points where ubiquitous computing technologies can improve their lives. Among a range of topics this book examines: How to build an infrastructure that supports ubiquitous computing applications Privacy protection in systems that connect personal devices and personal information Moving from the graphical to the ubiquitous computing user interface Techniques that are revolutionizing the way we determine a person’s location and understand other sensor measurements While we needn’t become expert in every sub-discipline of ubicomp, it is necessary that we appreciate all the perspectives that make up the field and understand how our work can influence and be influenced by those perspectives. This is important, if we are to encourage future generations to be as successfully innovative as the field’s originators.




Computation and Human Experience


Book Description

By paying close attention to the metaphors of artificial intelligence and their consequences for the field's patterns of success and failure, this text argues for a reorientation of the field away from thought and toward activity. It offers a critical reconstruction of AI research.




Pervasive Computing


Book Description

This volume contains the proceedings of Pervasive 2002, the ?rst in a series of international conferences on Pervasive Computing. The conference took place at ETH Zurich from August 26to 28, 2002. Its objective was to present, discuss, and explore the latest technical developments in the emerging ?eld of pervasive computing, as well as potential future directions. Pervasive Computing is a cross-disciplinary area that extends the appli- tion of computing to diverse usage models. It covers a broad set of research topics such as low power, integrated technologies, embedded systems, mobile - vices, wireless and mobile networking, middleware, applications, user interfaces, security, and privacy. The great amount of interest we are witnessing in Per- sive Computing is driven by relentless progress in basic information technologies such as microprocessors, memory chips, integrated sensors, storage devices, and wireless communication systems that continue to enable ever smaller, lighter, and faster systems. Such systems are also becoming a?ordable due to their high integration and mass production, paving the way for their adoption.