Computer Technology and Computer Programming

After a half-century of glacial creep, television technology has begun to change at the same dizzying pace as computer software. What this will mean--for television, for computers, and for the popular

The latest virtual reality technology allows you to step into a new world by simply strapping on a headset and selecting a program on your computer. With this book, students learn about the past, pres

A technology book for kids!Are you ready to get creative with code? All you need is a computer connected to the Internet, the free trial of MicroWorlds EX software provided with this book, and the fun

This book bridges theoretical computer science and machine learning by exploring what the two sides can teach each other. It emphasizes the need for flexible, tractable models that better capture not what makes machine learning hard, but what makes it easy. Theoretical computer scientists will be introduced to important models in machine learning and to the main questions within the field. Machine learning researchers will be introduced to cutting-edge research in an accessible format, and gain familiarity with a modern, algorithmic toolkit, including the method of moments, tensor decompositions and convex programming relaxations. The treatment beyond worst-case analysis is to build a rigorous understanding about the approaches used in practice and to facilitate the discovery of exciting, new ways to solve important long-standing problems.

Explore the rise of technology that may soon rule our lives!What is a computer, how does it work, what are they being used for and what role may they play in the future? Big impactful photos fill the

Semiotics, the science of signs, has long been recognised as an important discipline for understanding information and communications. Moreover it has found wide application in other areas of computer science, as it offers an effective insight into organisations and the computer systems that support them. An organisation may be viewed as a system of information and communication in which human actors, with the assistance of information technology, are able to process, represent, store and consume information. Computer systems that fit into an organisation and that support and enhance its performance and competitiveness, can be better delivered if semiotic principles are understood and applied. In this book, first published in 2000, semiotic methods are introduced and illustrated through three major case studies, which demonstrate how information systems can be developed to meet business requirements and support business objectives. It will appeal to academics, systems developers and an

Computing developed as a branch of mathematics, only to drift away from this home as computer science diverged towards more general topics such as the theory of how a computer works. Recently the emphasis has become more mathematical and the new disciplines of software engineering and information technology have emerged. This book is designed to form the basis of a one year course in discrete mathematics for first year computer scientists or software engineers. The material presented covers much of undergraduate algebra with a particular bias towards the computing applications. Topics covered include mathematical logic, set theory, finite and infinite relations and mappings, graphs, graphical algorithms and axiom systems. It concludes with implementations of many of the algorithms in Modula-2 to illustrate how the mathematics may be turned into concrete calculations. Numerous examples and exercises are included with selected solutions to the problems appearing in the appendix. Discrete

To perform computer simulation successfully, two rather different sets of skills are required. One of these relates to programming: a simulation program should do what its author intends and do it efficiently. The other is concerned with the collection and analysis of data: statistical tools have to be used in order to obtain with a minimum of effort, accurate and reliable estimates for the desired performance measures. Dr Mitrani covers both of these aspects of the simulation method. The important topics of point and interval estimation, simulation efficiency and the analysis of simulation experiments are discussed in detail. This book, first published in 1982, will be useful to both undergraduate and postgraduate students taking courses on simulation in departments of computer science, operations research and statistics in universities and polytechnics. It will be of benefit also to practitioners in the field.

From the creators of Scratch comes ScratchJr, a programming language designed for young children (ages 5-7).The ScratchJr Book is the perfect addition to the free app and makes coding and computer science easy and fun for all ages!In The ScratchJr Book, kids learn by playing with programming blocks and building their own animated collages, interactive stories, and playable games.Thirty step-by-step activities help kids develop computational thinking, problem-solving, and design skills. Each chapter has several smaller activities that build on one other, culminating with a fun, final project. By the end of the book kids and parents will be ready for all sorts of new programming adventures.Each activity includes:step-by-step, easy-to-follow directionsliteracy and math connectiontips for grown ups and teachers creative challenges to explore and grow!

This is an introduction to the field of efficient parallel algorithms and to the techniques for efficient parallelisation. It is self-contained and presumes no special knowledge of parallel computers or particular mathematics. The book emphasises designing algorithms within the timeless and abstracted context of a high-level programming language rather than within highly specific computer architectures. This is an approach which concentrates on the essence of algorithmic theory, determining and taking advantage of the inherently parallel nature of certain types of problem. The authors present regularly-used techniques and a range of algorithms which includes some of the more celebrated and well-known. Efficient Parallel Algorithms is targeted at non-specialists who are considering entering the field of parallel algorithms. It will be particularly useful for courses aimed at advanced undergraduate or new postgraduate students of computer science and mathematics.

This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages including Pascal, FORTRAN, COBOL, and Assembler. The book also includes chapters on abstract data types, analysing existing programs, and a small case study. First-year undergraduates in computer science and graduates taking courses in computing will find this a comprehensive introduction to program construction.

This is the ideal companion text for mathematicians and physical scientists using mathematical software packages such as Maple. It provides a user-friendly introduction to computer-assisted algebra and demonstrates the use of this technology for deriving approximate solutions to integrals and differential equations. Over 1000 exercises are incorporated with Internet solutions.

What are the principles behind intelligent systems? How are they built? What are intelligent systems useful for? How do we choose the right tool for the job? These questions are answered by Michael Negnevitsky’s Artificial Intelligence: A Guide to Intelligent Systems.Unlike many books on computer intelligence, which use complex computer science terminology and are crowded with complex matrix algebra and differential equations, this text demonstrates that the ideas behind intelligent systems are simple and straightforward. This text assumes little or no programming experience as it tackles topics like expert systems, fuzzy systems, artificial neural networks, evolutionary computation, knowledge engineering, and data mining.TABLE OF CONTENTS1. Introduction to Intelligent Systems 1.1 Intelligent Machines, or What Machines Can Do 1.2 The History of Artificial Intelligence, or From the ‘Dark Ages’ to Knowledge-based Systems 1.3 Generative AI 1.4 Summary Questions fo

As personal computers have become more available, there has been a great deal of optimism for educational reform through wide computer use, both at school and in the home. Beyond Technology's Promise, first published in 1994, takes a hard look at the home computer scene. The research reported in the book focuses on whether families are using computers to help children learn academic skills and, if so, how well they are doing it. The three year, qualitative investigation provides contextual information crucial to our understanding of how computers are really being used. The authors draw the not so surprising conclusion that most children use computers to play games. They therefore propose directions that must be taken in order to facilitate the educational use of home computers or any other promising educational technology. In so doing, they examine such topics as parental leadership, the home-school computer connection, and the role of gender in home computing use.

Domain theory is an established part of theoretical computer science, used in giving semantics to programming languages and logics. In mathematics and logic it has also proved to be useful in the study of algorithms. This book is devoted to providing a unified and self-contained treatment of the subject. The theory is presented in a mathematically precise manner which nevertheless is accessible to mathematicians and computer scientists alike. The authors begin with the basic theory including domain equations, various domain representations and universal domains. They then proceed to more specialized topics such as effective and power domains, models of lambda-calculus and so on. In particular, the connections with ultrametric spaces and the Kleene–Kreisel continuous functionals are made precise. Consequently the text will be useful as an introductory textbook (earlier versions have been class-tested in Uppsala, Gothenburg, Passau, Munich and Swansea), or as a general reference for prof

If you've ever spent hours renaming files or updating hundreds of spreadsheet cells, you know how tedious tasks like these can be. But what if you could have your computer do them for you? In this fully revised edition of the best-selling classic Automate the Boring Stuff with Python, you'll learn how to use Python to write programs that do in minutes what would take you hours to do by hand - no prior programming experience required. You'll learn the basics of coding in Python and explore the language's rich library of modules for performing specific tasks, like scraping data from websites, searching for text across multiple files, and merging, watermarking, or encrypting PDFs. The third edition includes: Expanded coverage of developer techniques, like creating command line programs; Updated examples and new projects; Additional chapters about working with SQLite databases, speech-recognition technology, video and audio editing, and text-to-speech capabilities; Simplified explanations

Originally published in 1960, as the second edition of a 1957 original, this textbook is aimed at those without advanced mathematical training and provides a comprehensive introductory account of digital computers, what they are capable of doing and how they are made to do it. It begins with a discussion of programming - the preparation of instructions for the computer. This leads on to a consideration of systems of number storage, from the simple decimal system of desk calculating machines to the varieties of binary storage systems used in modern high-speed computers. The final chapter considers points, which arise in applying computers to engineering calculations, and gives details of some of the problems already solved in this way. Throughout the book the emphasis is on the applications of computers to routine work rather than to advanced research. This book will be of value to students of the history of computer science.

A First Course in Combinatorial Optimization is a text for a one-semester introductory graduate-level course for students of operations research, mathematics, and computer science. It is a self-contained treatment of the subject, requiring only some mathematical maturity. Topics include: linear and integer programming, polytopes, matroids and matroid optimization, shortest paths, and network flows. Central to the exposition is the polyhedral viewpoint, which is the key principle underlying the successful integer-programming approach to combinatorial-optimization problems. Another key unifying topic is matroids. The author does not dwell on data structures and implementation details, preferring to focus on the key mathematical ideas that lead to useful models and algorithms. Problems and exercises are included throughout as well as references for further study.

Is art created with computers really art? This book answers 'yes.' Computers can generate visual art with unique aesthetic effects based on innovations in computer technology and a Postmodern naturalization of technology wherein technology becomes something we live in as well as use. The present study establishes these claims by looking at digital art's historical emergence from the 1960s to the start of the present century. Paul Crowther, using a philosophical approach to art history, considers the first steps towards digital graphics, their development in terms of three-dimensional abstraction and figuration, and then the complexities of their interactive formats.

Information technology has become a constant presence in contemporary life, infiltrating community, business and state affairs. This book discusses the uses and problems of IT in both developing and advanced countries, focusing on the ways in which IT changes society without neglecting the problematic aspects of the Internet revolution such as computer crime and the lack of professionals with computer literacy, particularly from a developing country's perspective. It examines such issues as the characteristics of network economies, connectivity pricing, Internet access, regulation, changes in supply chains, IT gaps between supply and demand, productivity increases, and the digital divide. Emanuele Giovannetti, Mitsuhiro Kagami and Masatsugu Tsuji have gathered together a group of international experts in economics and trade who discuss the impact of this revolution globally, looking at countries or regions including the UK, EU, Central and Eastern Europe, USA, Japan, India, South Afric

This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into pract

The Second International Congress of Applied Linguistics, held in Cambridge (8–12 September 1969), provided papers from all over the world to different subjects within the linguistic family. These are: linguistics applied to literary texts, computer analysis of texts, psychology of first and second language learning, speech research, technology of language learning, language teaching and test material and methodology, lexicography, theory of translation, contrastive linguistics, and sociolinguistics. This book is a fascinating and useful work of reference for all concerned with applied linguistics.

Human factors is one of the critical issues in Information Technology, as industry realizes the need to change from technology-oriented goals to meet the demands of computer users. Human factors can help to improve Informatics Usability for real people, and to reduce the huge people-costs of human machine interactions. This book has been developed from lectures given at an Advanced Study course, sponsored by the European Science and Technology Research Committee of the Commission of the European Communities (CREST), and by the Science and Engineering Research Council (SERC) of the UK. It has three objectives: 1. To review the knowledge and methods available from the field of human factors for improving the usability of informatics systems; 2. To describe recent theoretical and methodological developments in the area; 3. To stimulate increased application of this expertise.

This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.

This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming.

This is a textbook on graph theory, especially suitable for computer scientists but also suitable for mathematicians with an interest in computational complexity. Although it introduces most of the classical concepts of pure and applied graph theory (spanning trees, connectivity, genus, colourability, flows in networks, matchings and traversals) and covers many of the major classical theorems, the emphasis is on algorithms and thier complexity: which graph problems have known efficient solutions and which are intractable. For the intractable problems a number of efficient approximation algorithms are included with known performance bounds. Informal use is made of a PASCAL-like programming language to describe the algorithms. A number of exercises and outlines of solutions are included to extend and motivate the material of the text.

Written in a tutorial style, this comprehensive guide follows a structured approach explaining cloud techniques, models and platforms. Popular cloud services such as Amazon, Google and Microsoft Azure are explained in the text. The security risks and challenges of cloud computing are discussed in detail with useful examples. Emerging trends including mobile cloud computing and internet of things are discussed in the book for the benefit of the readers. Numerous review questions, multiple choice exercises and case studies facilitate enhanced understanding. This textbook is ideal for undergraduate and graduate students of computer science engineering, and information technology.

An illustrated guide to exploring the Universe in three dimensions.Astronomers have made remarkable discoveries about our Universe, despite their reliance on the flat projection, or 2D view, the sky has offered them. But now, drawing on the vast stores of data available from telescopes and observatories on the ground and in space, astronomers are using 3D technology to go beyond a flattened view of the cosmos. In Stars in Your Hand, Kimberly Arcand and Megan Watzke offer an illustrated guide to exploring the Universe in three dimensions, with easy-to-follow instructions for creating models of stars and constellations using a 3D printer and 3D computer imaging. Stars in Your Hand and 3D technology make learning about space an adventure. Intrigued by the stunning images from high-powered telescopes? Using this book, you can fly virtually through a 3D spacescape and hold models of cosmic objects in your hand. Arcand and Watzke outline advances in 3D technology, describe some amazing recen

This book is an up-to-date introduction to the quantum theory of measurement, a fast developing field of intense current interest to scientists and engineers for its potential high technology applications. It is also a subject of importance to students for its central role in the foundations of quantum mechanics. Although the main principles of the field were elaborated in the 1930s by Bohr, Schrödinger, Heisenberg, von Neumann and Mandelstam, it was not until the 1980s that technology became sufficiently advanced to allow its application in real experiments. Quantum measurement is now central to many ultra-high technology developments, such as squeezed light, single atom traps, and searches for gravitational radiation. It is also considered to have great promise for computer science and engineering, particularly for its applications in information processing and transfer. The book contains a pedagogical introduction to the relevant theory written at a level accessible to those with on

A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.

This book was first published in 1970. It addresses the increasing use of digital computers for equilibrium calculations in high temperature, high pressure processes, in rocketry and in explosives technology. It surveys the numerical techniques developed over the fifteen to twenty years preceding its publication. The authors derive the equations describing equilibria in different types of system and outline the effect of variation of the parameters of the system on the equilibrium composition. They discuss critically the available methods of solution of the chemical equilibrium problem, both in the minimization and non-linear equations form, and indicate the factors that should be taken into account in selecting the optimum method of solution for a particular problem and computer. The fundamental chemical and thermodynamic analytic material was selected so as to make the book fully accessible for students of chemical engineering, explosives and technology.

Python is today's fastest growing programming language. This engaging and refreshingly different guide breaks down the skills into clear step-by-step chunks and explains the theory using brief easy-to-understand language. Rather than bamboozling readers with pages of mind-numbing technical jargon, this book includes 150 practical challenges, putting the power in the reader's hands. Through creating programs to solve these challenges the reader will quickly progress from mastering the basics to confidently using subroutines, a graphical user interface, and linking to external text, csv and SQL files. This book is perfect for anyone who wants to learn how to program with Python. In particular, students starting out in computer science and teachers who want to improve their confidence in Python will find here a set of ready-made challenges for classroom use.

Reactive flows encompass a broad range of physical phenomena, interacting over many different time and space scales. Such flows occur in combustion, chemical lasers, the earth's oceans and atmosphere, and stars and interstellar space. Despite the obvious physical differences in these flows, there is a striking similarity in the forms of their descriptive equations. Thus, the considerations and procedures for constructing numerical models of these systems are also similar, and these similarities can be exploited. Moreover, using the latest technology, what were once difficult and expensive computations can now be done on desktop computers. This book takes account of the explosive growth in computer technology and the greatly increased capacity for solving complex reactive flow problems that have occurred since the first edition of Numerical Simulation of Reactive Flow was published in 1987. It presents algorithms useful for reactive flow simulations, describes trade-offs involved in the

The authoritative reference on NEURON, the simulation environment for modeling biological neurons and neural networks that enjoys wide use in the experimental and computational neuroscience communities. This book shows how to use NEURON to construct and apply empirically based models. Written primarily for neuroscience investigators, teachers, and students, it assumes no previous knowledge of computer programming or numerical methods. Readers with a background in the physical sciences or mathematics, who have some knowledge about brain cells and circuits and are interested in computational modeling, will also find it helpful. The NEURON Book covers material that ranges from the inner workings of this program, to practical considerations involved in specifying the anatomical and biophysical properties that are to be represented in models. It uses a problem-solving approach, with many working examples that readers can try for themselves.

Seismic Ray Theory presents a comprehensive treatment of the seismic ray method. This method plays an important role in seismology, seismic exploration, and in the interpretation of seismic measurements. Many concepts which extend the possibilities and increase the efficiency of the seismic ray method are included. The book has a tutorial character: derivations start with a relatively simple problem, in which the main ideas are easier to explain, and then advance to more complex problems. Most of the derived equations in the book are expressed in algorithmic form and may be used directly for computer programming. This book will prove to be an invaluable advanced textbook and reference volume in all academic institutions in which seismology is taught or researched. It will also be an invaluable resource in the research and exploration departments of the petroleum industry and in geological surveys.

Optical techniques have a huge range of potential applications in signal processing and in the interconnection of digital computing systems. This 1995 book provides a detailed review of the key issues which must be addressed in the design, evaluation and implementation of practical systems for signal processing and optical interconnection. Considerations such as the computer modelling of optical design limitations, the size and noise characteristics of optical modulators, and the relative merits of free-space and guided-wave optical technology in different processing systems, are all discussed in detail. The book will be of great interest to optical researchers and designers, and to anyone wishing to learn about the basic techniques of optical processing.

Bringing together idiomatic Python programming, foundational numerical methods, and physics applications, this is an ideal standalone textbook for courses on computational physics. All the frequently used numerical methods in physics are explained, including foundational techniques and hidden gems on topics such as linear algebra, differential equations, root-finding, interpolation, and integration. Accompanying the mathematical derivations are full implementations of dozens of numerical methods in Python, as well as more than 250 end-of-chapter problems. Numerical methods and physics examples are clearly separated, allowing this introductory book to be later used as a reference; the penultimate section in each chapter is an in depth project, tackling physics problems which cannot be solved without the use of a computer. Written primarily for students studying computational physics, this textbook brings the non-specialist quickly up to speed with Python before looking in detail at the

Fortran is a computer language that has been around for a quarter of a century, and is still much used despite predictions throughout its life that it would be replaced by more elegant languages. But Fortran is still the only language in which it is possible to write truly portable programs. Using his own special formula, Donald Alcock now does for Fortran what he did for BASIC in his earlier book, Illustrating BASIC. The Fortran described and illustrated is that defined by the American National Standards Institute in 1966 but with allusions to the same Institute's standard published in 1978. For both the person who is new to computers and programming, and the person who has met only BASIC before, this book will give an excellent introduction to standard Fortran; it also provides a reference manual for the language.

The core of scientific computing is designing, writing, testing, debugging and modifying numerical software for application to a vast range of areas: from graphics, meteorology and chemistry to engineering, biology and finance. Scientists, engineers and computer scientists need to write good code, for speed, clarity, flexibility and ease of re-use. Oliveira and Stewart's style guide for numerical software points out good practices to follow, and pitfalls to avoid. By following their advice, readers will learn how to write efficient software, and how to test it for bugs, accuracy and performance. Techniques are explained with a variety of programming languages, and illustrated with two extensive design examples, one in Fortran 90 and one in C++: other examples in C, C++, Fortran 90 and Java are scattered throughout the book. This manual of scientific computing style will be an essential addition to the bookshelf and lab of everyone who writes numerical software.

What is knowledge and how is it represented? This book focuses on the idea of formalising knowledge as relations, interpreting knowledge represented in databases or logic programs as relational data and discovering new knowledge by identifying hidden and defining new relations. After a brief introduction to representational issues, the author develops a relational language for abstract machine learning problems. He then uses this language to discuss traditional methods such as clustering and decision tree induction, before moving onto two previously underestimated topics that are just coming to the fore: rough set data analysis and inductive logic programming. Its clear and precise presentation is ideal for undergraduate computer science students. The book will also interest those who study artificial intelligence or machine learning at the graduate level. Exercises are provided and each concept is introduced using the same example domain, making it easier to compare the individual pro