Author: Raymond Turner
Publisher: Springer
ISBN: 3662555654
Category : Computers
Languages : en
Pages : 248
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.
Computational Artifacts
Author: Raymond Turner
Publisher: Springer
ISBN: 3662555654
Category : Computers
Languages : en
Pages : 248
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.
Publisher: Springer
ISBN: 3662555654
Category : Computers
Languages : en
Pages : 248
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
Author: Subrata Dasgupta
Publisher: Oxford University Press
ISBN: 0198733461
Category : Computers
Languages : en
Pages : 169
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.
Publisher: Oxford University Press
ISBN: 0198733461
Category : Computers
Languages : en
Pages : 169
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
Author: Dina Goldin
Publisher: Springer Science & Business Media
ISBN: 3540348743
Category : Computers
Languages : en
Pages : 488
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.
Publisher: Springer Science & Business Media
ISBN: 3540348743
Category : Computers
Languages : en
Pages : 488
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
Author: Kylie Peppler
Publisher: Routledge
ISBN: 1317537092
Category : Education
Languages : en
Pages : 268
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.
Publisher: Routledge
ISBN: 1317537092
Category : Education
Languages : en
Pages : 268
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.
Handbook of Research on Computational Science and Engineering: Theory and Practice
Author: Leng, J.
Publisher: IGI Global
ISBN: 161350117X
Category : Technology & Engineering
Languages : en
Pages : 701
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.
Publisher: IGI Global
ISBN: 161350117X
Category : Technology & Engineering
Languages : en
Pages : 701
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.
Computation and Human Experience
Author: Philip Agre
Publisher: Cambridge University Press
ISBN: 9780521386036
Category : Computers
Languages : en
Pages : 394
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.
Publisher: Cambridge University Press
ISBN: 9780521386036
Category : Computers
Languages : en
Pages : 394
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.
digitalSTS
Author: Janet Vertesi
Publisher: Princeton University Press
ISBN: 0691187088
Category : Science
Languages : en
Pages : 568
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.
Publisher: Princeton University Press
ISBN: 0691187088
Category : Science
Languages : en
Pages : 568
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.
Understanding Computation
Author: Arnold L. Rosenberg
Publisher: Springer Nature
ISBN: 3031100557
Category : Computers
Languages : en
Pages : 577
Book Description
Computation theory is a discipline that uses mathematical concepts and tools to expose the nature of "computation" and to explain a broad range of computational phenomena: Why is it harder to perform some computations than others? Are the differences in difficulty that we observe inherent, or are they artifacts of the way we try to perform the computations? How does one reason about such questions? This unique textbook strives to endow students with conceptual and manipulative tools necessary to make computation theory part of their professional lives. The work achieves this goal by means of three stratagems that set its approach apart from most other texts on the subject. For starters, it develops the necessary mathematical concepts and tools from the concepts' simplest instances, thereby helping students gain operational control over the required mathematics. Secondly, it organizes development of theory around four "pillars," enabling students to see computational topics that have the same intellectual origins in physical proximity to one another. Finally, the text illustrates the "big ideas" that computation theory is built upon with applications of these ideas within "practical" domains in mathematics, computer science, computer engineering, and even further afield. Suitable for advanced undergraduate students and beginning graduates, this textbook augments the "classical" models that traditionally support courses on computation theory with novel models inspired by "real, modern" computational topics,such as crowd-sourced computing, mobile computing, robotic path planning, and volunteer computing. Arnold L. Rosenberg is Distinguished Univ. Professor Emeritus at University of Massachusetts, Amherst, USA. Lenwood S. Heath is Professor at Virgina Tech, Blacksburg, USA.
Publisher: Springer Nature
ISBN: 3031100557
Category : Computers
Languages : en
Pages : 577
Book Description
Computation theory is a discipline that uses mathematical concepts and tools to expose the nature of "computation" and to explain a broad range of computational phenomena: Why is it harder to perform some computations than others? Are the differences in difficulty that we observe inherent, or are they artifacts of the way we try to perform the computations? How does one reason about such questions? This unique textbook strives to endow students with conceptual and manipulative tools necessary to make computation theory part of their professional lives. The work achieves this goal by means of three stratagems that set its approach apart from most other texts on the subject. For starters, it develops the necessary mathematical concepts and tools from the concepts' simplest instances, thereby helping students gain operational control over the required mathematics. Secondly, it organizes development of theory around four "pillars," enabling students to see computational topics that have the same intellectual origins in physical proximity to one another. Finally, the text illustrates the "big ideas" that computation theory is built upon with applications of these ideas within "practical" domains in mathematics, computer science, computer engineering, and even further afield. Suitable for advanced undergraduate students and beginning graduates, this textbook augments the "classical" models that traditionally support courses on computation theory with novel models inspired by "real, modern" computational topics,such as crowd-sourced computing, mobile computing, robotic path planning, and volunteer computing. Arnold L. Rosenberg is Distinguished Univ. Professor Emeritus at University of Massachusetts, Amherst, USA. Lenwood S. Heath is Professor at Virgina Tech, Blacksburg, USA.
Multiple Representations in Physics Education
Author: David F. Treagust
Publisher: Springer
ISBN: 3319589148
Category : Science
Languages : en
Pages : 329
Book Description
This volume is important because despite various external representations, such as analogies, metaphors, and visualizations being commonly used by physics teachers, educators and researchers, the notion of using the pedagogical functions of multiple representations to support teaching and learning is still a gap in physics education. The research presented in the three sections of the book is introduced by descriptions of various psychological theories that are applied in different ways for designing physics teaching and learning in classroom settings. The following chapters of the book illustrate teaching and learning with respect to applying specific physics multiple representations in different levels of the education system and in different physics topics using analogies and models, different modes, and in reasoning and representational competence. When multiple representations are used in physics for teaching, the expectation is that they should be successful. To ensure this is the case, the implementation of representations should consider design principles for using multiple representations. Investigations regarding their effect on classroom communication as well as on the learning results in all levels of schooling and for different topics of physics are reported. The book is intended for physics educators and their students at universities and for physics teachers in schools to apply multiple representations in physics in a productive way.
Publisher: Springer
ISBN: 3319589148
Category : Science
Languages : en
Pages : 329
Book Description
This volume is important because despite various external representations, such as analogies, metaphors, and visualizations being commonly used by physics teachers, educators and researchers, the notion of using the pedagogical functions of multiple representations to support teaching and learning is still a gap in physics education. The research presented in the three sections of the book is introduced by descriptions of various psychological theories that are applied in different ways for designing physics teaching and learning in classroom settings. The following chapters of the book illustrate teaching and learning with respect to applying specific physics multiple representations in different levels of the education system and in different physics topics using analogies and models, different modes, and in reasoning and representational competence. When multiple representations are used in physics for teaching, the expectation is that they should be successful. To ensure this is the case, the implementation of representations should consider design principles for using multiple representations. Investigations regarding their effect on classroom communication as well as on the learning results in all levels of schooling and for different topics of physics are reported. The book is intended for physics educators and their students at universities and for physics teachers in schools to apply multiple representations in physics in a productive way.
Advances in Information Retrieval
Author: Joemon M. Jose
Publisher: Springer Nature
ISBN: 3030454428
Category : Computers
Languages : en
Pages : 709
Book Description
This two-volume set LNCS 12035 and 12036 constitutes the refereed proceedings of the 42nd European Conference on IR Research, ECIR 2020, held in Lisbon, Portugal, in April 2020.* The 55 full papers presented together with 8 reproducibility papers, 46 short papers, 10 demonstration papers, 12 invited CLEF papers, 7 doctoral consortium papers, 4 workshop papers, and 3 tutorials were carefully reviewed and selected from 457 submissions. They were organized in topical sections named: Part I: deep learning I; entities; evaluation; recommendation; information extraction; deep learning II; retrieval; multimedia; deep learning III; queries; IR – general; question answering, prediction, and bias; and deep learning IV. Part II: reproducibility papers; short papers; demonstration papers; CLEF organizers lab track; doctoral consortium papers; workshops; and tutorials. *Due to the COVID-19 pandemic, this conference was held virtually.
Publisher: Springer Nature
ISBN: 3030454428
Category : Computers
Languages : en
Pages : 709
Book Description
This two-volume set LNCS 12035 and 12036 constitutes the refereed proceedings of the 42nd European Conference on IR Research, ECIR 2020, held in Lisbon, Portugal, in April 2020.* The 55 full papers presented together with 8 reproducibility papers, 46 short papers, 10 demonstration papers, 12 invited CLEF papers, 7 doctoral consortium papers, 4 workshop papers, and 3 tutorials were carefully reviewed and selected from 457 submissions. They were organized in topical sections named: Part I: deep learning I; entities; evaluation; recommendation; information extraction; deep learning II; retrieval; multimedia; deep learning III; queries; IR – general; question answering, prediction, and bias; and deep learning IV. Part II: reproducibility papers; short papers; demonstration papers; CLEF organizers lab track; doctoral consortium papers; workshops; and tutorials. *Due to the COVID-19 pandemic, this conference was held virtually.