Theory of Computer Science


Book Description

This Third Edition, in response to the enthusiastic reception given by academia and students to the previous edition, offers a cohesive presentation of all aspects of theoretical computer science, namely automata, formal languages, computability, and complexity. Besides, it includes coverage of mathematical preliminaries. NEW TO THIS EDITION • Expanded sections on pigeonhole principle and the principle of induction (both in Chapter 2) • A rigorous proof of Kleene’s theorem (Chapter 5) • Major changes in the chapter on Turing machines (TMs) – A new section on high-level description of TMs – Techniques for the construction of TMs – Multitape TM and nondeterministic TM • A new chapter (Chapter 10) on decidability and recursively enumerable languages • A new chapter (Chapter 12) on complexity theory and NP-complete problems • A section on quantum computation in Chapter 12. • KEY FEATURES • Objective-type questions in each chapter—with answers provided at the end of the book. • Eighty-three additional solved examples—added as Supplementary Examples in each chapter. • Detailed solutions at the end of the book to chapter-end exercises. The book is designed to meet the needs of the undergraduate and postgraduate students of computer science and engineering as well as those of the students offering courses in computer applications.




Computer Science Education


Book Description

Drawing together the most up-to-date research from experts all across the world, the second edition of Computer Science Education offers the most up-to-date coverage available on this developing subject, ideal for building confidence of new pre-service and in-service educators teaching a new discipline. It provides an international overview of key concepts, pedagogical approaches and assessment practices. Highlights of the second edition include: - New sections on machine learning and data-driven (epistemic) programming - A new focus on equity and inclusion in computer science education - Chapters updated throughout, including a revised chapter on relating ethical and societal aspects to knowledge-rich aspects of computer science education - A new set of chapters on the learning of programming, including design, pedagogy and misconceptions - A chapter on the way we use language in the computer science classroom. The book is structured to support the reader with chapter outlines, synopses and key points. Explanations of key concepts, real-life examples and reflective points keep the theory grounded in classroom practice. The book is accompanied by a companion website, including online summaries for each chapter, 3-minute video summaries by each author and an archived chapter on taxonomies and competencies from the first edition.




Practicable Learning Analytics


Book Description

This book is about practicable learning analytics, that is able to become a successful part of practice, ultimately leading to improved learning and teaching. The aim of the book is to shift our perspective on learning analytics creation and implementation from that of “designing of” technology to that of “designing for” a system of practice. That is, any successful implementation of learning analytics requires a systematic approach, which the book explains through the lens of the Information Systems Artefact, constituting of the three interdependent artefacts: “technical”, “information” and “social”. The contributions of this book go beyond a consideration of particular humans such as teachers and students, and their individual activities to consider the larger systems of activity of which analytics become part of. The chapters included in this book present different cases of learning analytics implementation across countries, and the related opportunities and challenges related to generalizability of the results. The book is written for designers, students and educators of learning analytics who aim to improve learning and teaching through learning analytics.




National Cyber Summit (NCS) Research Track 2021


Book Description

This book presents findings from the papers accepted at the Cyber Security Education Stream and Cyber Security Technology Stream of The National Cyber Summit’s Research Track, reporting on latest advances on topics ranging from software security to cyber-attack detection and modelling to the use of machine learning in cyber security to legislation and policy to surveying of small businesses to cyber competition, and so on. Understanding the latest capabilities in cyber security ensures users and organizations are best prepared for potential negative events. This book is of interest to cyber security researchers, educators and practitioners, as well as students seeking to learn about cyber security.




Communicating Process Architectures 2007


Book Description

Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments.




Communicating Process Architectures 2006


Book Description

Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more.




Modelling Web-based Learning Ecosystems for Aggregation and Reuse


Book Description

In der E-Learning-Domäne bilden sowohl die Lernressourcen, Lehrende und Lernende als auch die stattfindenden Lernprozesse in ihrer Gesamtheit Lernökosysteme. Diese Dissertation untersucht die Modellierung von Lernökosystemen zur Unterstützung ihrer Aggregation und Wiederverwendung. Zur Erreichung dieses Ziels müssen Modelle von Lernökosystemen die Aggregierbarkeit, Austauschbarkeit, Interoperabilität und granulare Wiederverwendbarkeit ihrer Daten unterstützen. Auf Basis durchgeführter Nutzerstudien werden Konzepte digitaler Modelle von Lernökosystemen, sogenannte LOOCs (Linked Open Online Courses), entwickelt. Dabei werden insbesondere Technologien des Semantic Webs sowie Linked-Data-Konzepte betrachtet. Die entwickelten ontologischen Modelle bilden die Basis für mehrere E-Learning-Applikationen, welche die Tragfähigkeit der Konzepte sowie eine hohe Nutzerakzeptanz zeigen. Ferner wird ein formales Interpretermodell für CSCL (Computer-Supported Collaborative Learning) Scripts zur Beschreibung von Lernprozessen, welches mit Hilfe von Abstract State Machines spezifiziert wurde, vorgestellt. In the e-learning domain, the learning resources, teachers and learners and the active learning processes in their entirety construct the learning ecosystems. This thesis examines the modelling of learning ecosystems to support their aggregation and reuse. To achieve this goal, learning ecosystem models must support aggregation, compatibility, interoperability and granular re-usability of their data. Through user studies, digital model concepts of learning ecosystems, i.e. so-called LOOCs (linked open online courses), were developed. In particular, Semantic Web technologies and Linked Data concepts are considered within the context. The developed ontological models form the basis for a number of e-learning applications that show the viability of the concepts as well as a high user acceptance. Further, a formal interpreter model for CSCL (Computer-Supported Collaborative Learning) Scripts for the description of learning processes specified by using Abstract State Machines is presented.




Disabled Students in Education: Technology, Transition, and Inclusivity


Book Description

There can be little doubt that the rapid technological developments that have characterized the decades since the middle of the 19th century have given great scope for improving the quality of life of disabled people. Disabled Students in Education: Technology, Transition, and Inclusivity reports on 15 research projects aimed at improving the educational prospects of disabled people. Through its discussion of three main themes—technology, transition, and inclusivity—this book aims to be of interest to disabled students, their parents and teachers, and the people who run, and set policies for, their educational providers.




Past, Present and Future of Computing Education Research


Book Description

This book presents a collection of meta-studies, reviews, and scientometric analyses that together reveal a fresh picture about the past, present, and future of computing education research (CER) as a field of science. The book begins with three chapters that discuss and summarise meta-research about the foundations of CER, its disciplinary identity, and use of research methodologies and theories. Based on this, the book proceeds with several scientometric analyses, which explore authors and their collaboration networks, dissemination practices, international collaboration, and shifts in research focus over the years. Analyses of dissemination are deepened in two chapters that focus on some of the most influential publication venues of CER. The book also contains a series of country-, or region-level analyses, including chapters that focus on the evolution of CER in the Baltic Region, Finland, Australasia, Israel, and in the UK & Ireland. Two chapters present case studies of influential CER initiatives in Sweden and Namibia. This book also includes chapters that focus on CER conducted at school level, and cover crucially important issues such as technology ethics, algorithmic bias, and their implications for CER.In all, this book contributes to building an understanding of the past, present and future of CER. This book also contributes new practical guidelines, highlights topical areas of research, shows who to connect with, where to publish, and gives ideas of innovative research niches. The book takes a unique methodological approach by presenting a combination of meta-studies, scientometric analyses of publication metadata, and large-scale studies about the evolution of CER in different geographical regions. This book is intended for educational practitioners, researchers, students, and anyone interested in CER. This book was written in collaboration with some of the leading experts of the field.




Web 2.0


Book Description

While the web itself is about twenty years old, businesses are still impleme- ing the technology into the fabric of the business model. The background section will focus on defining the building blocks for the framework including defining the basic components of Web 1. 0 which focused on the presence and business transaction. The Web 2. 0 section will focus on defining the basic building blocks of customer interactions, while the final section will focus on a review the wine industry. 2. 1 Web 1. 0: Presence and Electronic Commerce The term Web 1. 0 emerged from the research around the development of Web 2. 0. Prior to this, researchers commonly referred to Web 1. 0 as Electronic C- merce or E-Business. Where as, web 1. 0 focused on a read only web interface, Web 2. 0 focuses on a read-write interface where value emerges from the contri- tion of a large volume of users. The Internet initially focused on the command and control of the information itself. Information was controlled by a relative small number of resources but distributed to a large number which spawned the massive growth of the web itself. Like television before it, the web allowed for the broadcasting of information to a large number of users. Initial web sites were built simply to communicate presence or provide information on the business - self. This component includes information like marketing materials, investor re- tions, employment opportunities, and product information.