Search results: Found 51

Listing 11 - 20 of 51 << page
of 6
>>
Sort by
How the Computer went to School

Author:
Book Series: Education ISBN: 9781922235169 9781925523850 Year: Language: English
Publisher: Monash University Publishing Grant: Knowledge Unlatched - 102630
Subject: Education
Added to DOAB on : 2019-03-15 11:21:02
License:

Loading...
Export citation

Choose an application

Abstract

For more than 30 years, certain governments, individuals and organisations have actively promoted computers as learning technologies. Enormous amounts of money and time have been spent promoting specific kinds of educational computing, and policies by which these might be implemented. The view that computers can enhance student learning has gained broad acceptance. The computers should not automatically be associated with success in schools. The view that all school children will benefit equally from access to computers overlooks inequities associated with differing patterns of use. How the Computer Went to School gives an account of the origins and development of the computer industry in the United States and shows how these influenced educational computing in both the US and Australia. It explores government policy that prioritises the economic benefits of educational computing for the nation and questions the proper role of the computer in education more generally.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030255404 Year: Pages: 673 DOI: 10.1007/978-3-030-25540-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.

Principles of Security and Trust

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030171384 Year: Pages: 249 DOI: 10.1007/978-3-030-17138-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.

Computation and the Humanities: Towards an Oral History of Digital Humanities

Authors: ---
Book Series: Springer Series on Cultural Computing ISSN: 2195-9056 ISBN: 9783319201696 9783319201702 Year: Pages: 285 DOI: 10.1007/978-3-319-20170-2 Language: English
Publisher: Springer Nature
Subject: Arts in general --- Computer Science
Added to DOAB on : 2017-03-02 09:53:09
License:

Loading...
Export citation

Choose an application

Abstract

This book addresses the application of computing to cultural heritage and the discipline of Digital Humanities that formed around it. Digital Humanities research is transforming how the Human record can be transmitted, shaped, understood, questioned and imagined and it has been ongoing for more than 70 years. However, we have no comprehensive histories of its research trajectory or its disciplinary development. The authors make a first contribution towards remedying this by uncovering, documenting, and analysing a number of the social, intellectual and creative processes that helped to shape this research from the 1950s until the present day.By taking an oral history approach, this book explores questions like, among others, researchers’ earliest memories of encountering computers and the factors that subsequently prompted them to use the computer in Humanities research.Computation and the Humanities will be an essential read for cultural and computing historians, digital humanists and those interested in developments like the digitisation of cultural heritage and artefacts.

Rethinking Productivity in Software Engineering

Authors: ---
ISBN: 9781484242216 Year: Pages: 310 DOI: 10.1007/978-1-4842-4221-6 Language: English
Publisher: Springer Nature
Subject: Business and Management --- Computer Science
Added to DOAB on : 2020-02-05 11:21:04
License:

Loading...
Export citation

Choose an application

Abstract

Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity. The results of their work, Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, guidelines for measuring productivity in specific contexts, best practices and pitfalls, and theories and open questions on productivity. You'll benefit from the many short chapters, each offering a focused discussion on one aspect of productivity in software engineering. Readers in many fields and industries will benefit from their collected work. Developers wanting to improve their personal productivity, will learn effective strategies for overcoming common issues that interfere with progress. Organizations thinking about building internal programs for measuring productivity of programmers and teams will learn best practices from industry and researchers in measuring productivity. And researchers can leverage the conceptual frameworks and rich body of literature in the book to effectively pursue new research directions. What You'll Learn Review the definitions and dimensions of software productivity See how time management is having the opposite of the intended effect Develop valuable dashboards Understand the impact of sensors on productivity Avoid software development waste Work with human-centered methods to measure productivity Look at the intersection of neuroscience and productivity Manage interruptions and context-switching Who Book Is For Industry developers and those responsible for seminar-style courses that include a segment on software developer productivity. Chapters are written for a generalist audience, without excessive use of technical terminology. ; Collects the wisdom of software engineering thought leaders in a form digestible for any developer Shares hard-won best practices and pitfalls to avoid An up to date look at current practices in software engineering productivity

Supercomputing Frontiers

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030186456 Year: Pages: 107 DOI: 10.1007/978-3-030-18645-6 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 5th Asian Supercomputing Conference, SCFA 2019, held in Singapore in March 2019. The 6 full papers presented in this book were carefully reviewed and selected from 33 submissions. They cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, resource usage prediction, and data caching.

The Amazing Journey of Reason

Author:
Book Series: SpringerBriefs in Computer Science ISBN: 9783030259624 Year: Pages: 113 DOI: 10.1007/978-3-030-25962-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-02-04 11:21:13
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have good models for describing the evolution of the universe since the Big Bang, but can we apply the same concepts to the evolution of aggregated matter –living matter included? The Amazing Journey analyzes the latest results in chemistry, biology, neuroscience, anthropology and sociology under the light of the evolution of intelligence, seen as the ability of processing information. The main strength of this book is using just two concepts used in physics –information and energy– to explain: The emergence and evolution of life: procaryotes, eukaryotes and complex organisms The emergence and evolution of the brain The emergence and evolution of societies (human and not) Possible evolution of our "internet society" and the role that Artificial Intelligence is playing

Internet of Things. Information Processing in an Increasingly Connected World

Authors: ---
Book Series: IFIP Advances in Information and Communication Technology ISBN: 9783030156510 Year: Pages: 235 DOI: 10.1007/978-3-030-15651-0 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-02-04 11:21:16
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed post-conference proceedings of the First IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018. The 12 full papers presented were carefully reviewed and selected from 24 submissions. Also included in this volume are 4 WCC 2018 plenary contributions, an invited talk and a position paper from the IFIP domain committee on IoT. The papers cover a wide range of topics from a technology to a business perspective and include among others hardware, software and management aspects, process innovation, privacy, power consumption, architecture, applications.

Text and Genre in Reconstruction: Effects of Digitalization on Ideas, Behaviours, Products and Institutions

Author:
Book Series: Digital Humanities Series ISSN: 20542410 20542429 ISBN: 9781906924256 Year: Pages: 253 DOI: 10.11647/OBP.0008 Language: English
Publisher: Open Book Publishers
Subject: Media and communication
Added to DOAB on : 2012-04-06 03:32:42
License:

Loading...
Export citation

Choose an application

Abstract

In this broad-reaching, multi-disciplinary collection, leading scholars investigate how the digital medium has altered the way we read and write text. In doing so, it challenges the very notion of scholarship as it has traditionally been imagined. Incorporating scientific, socio-historical, materialist and theoretical approaches, this rich body of work explores topics ranging from how computers have affected our relationship to language, whether the book has become an obsolete object, the nature of online journalism, and the psychology of authorship. The essays offer a significant contribution to the growing debate on how digitization is shaping our collective identity, for better or worse. Text and Genre in Reconstruction will appeal to scholars in both the humanities and sciences and provides essential reading for anyone interested in the changing relationship between reader and text in the digital age.

Transnational literate lives in digital times

Authors: --- ---
ISBN: 9780874218862 0874218861 Language: English
Publisher: Utah State University Press/ Computers and Composition Digital Press
Subject: Languages and Literatures --- Technology (General)
Added to DOAB on : 2012-06-04 04:59:17

Loading...
Export citation

Choose an application

Abstract

Transnational Literate Lives in Digital Times is a book-length project designed to document how people outside and within the United States take up digital literacies and fold them into the fabric of their daily lives. This research contributes to our knowledge of the impact of digital media on literate practices and also provides a basis for developing approaches for studying and teaching successful practices. The goal of the book is to suggest different and increasingly accurate ways of understanding the life histories and digital literacies of those with transnational connections, attempting to take into account local perspectives and the complex processes of globalization. With its multimodal format, the project represents the authors' first attempt at crafting a born-digital book.We dedicate this book to all coauthors of Transnational Literate Lives in Digital Times and to the community of rhetoric and composition/writing studies, especially those who also claim computers and composition as a field.We also dedicate this book with great admiration to all those who have contributed to making Computers and Composition Digital Press (CCDP) a reality. The scholarly collective devoted to computers and composition has supported all of us far more than the individuals involved know, and, for this, we thank them. We are especially grateful to Michael Spooner, Director of Utah State University Press, for his long-standing support for our work. We're not sure what we would have done without him, but we are certain that the end results would have been far less effective without his magic touch.Because this born-digital book has touched all our lives for many years, we ask that all future citations of this book acknowledge the three of us as authors: Patrick W. Berry, Gail E. Hawisher, and Cynthia L. Selfe.

Listing 11 - 20 of 51 << page
of 6
>>
Sort by