Computer Technology and Computer Programming

Students of evolutionary and behavioural ecology are often unfamiliar with mathematical techniques, though much of biology relies on mathematics. Evolutionary ideas are often complex, meaning that the logic of hypotheses proposed should not only be tested empirically but also mathematically. There are numerous different modelling tools used by ecologists, ranging from population genetic 'bookkeeping', to game theory and individual-based computer simulations. Due to the many different modelling options available, it is often difficult to know where to start. Hanna Kokko has designed this 2007 book to help with these decisions. Each method described is illustrated with one or two biologically interesting examples that have been chosen to help overcome fears of many biologists when faced with mathematical work, whilst also providing the programming code (Matlab) for each problem. Aimed primarily at students of evolutionary and behavioural ecology, this book will be of interest to any biol

Charles Babbage was a key figure of a great era of British history. Best remembered for his pioneering Difference and Analytical Engines, forerunners of the modern computer, Babbage was also an active reformer of science and society. Among his friends were the Bonapartes, the Duke of Wellington, the Duke of Somerset, Byron's daughter Ada Lovelace and the reforming Earl of Shaftesbury, whose interest Babbage directed to the factories. In this book, Anthony Hyman has selected passages from Babbage's many publications, including his proposals on profit sharing and life peerages and his ideas on such topics as the applications of science, scientific management, taxation and life assurance. Setting each extract in perspective, Hyman has provided the passages with an explanatory editorial commentary. Together with his concern for the systematic application of science, technology and mathematical method to commercial, industrial and economic problems, his work on computing makes Charles Babba

The center of gravity in the technology world has shifted east. Today, India and China are churning out some of the world's best-trained computer science and electrical engineering graduates. In both

Advances in computer technology and in the development of modern microwave test instruments over the past decade have given electrical engineers, researchers and university students a number of new ap

John Hayes and Carl Holladay have thoroughly revised and expanded this best-selling textbook, adding new chapters on emerging methods of interpretation and the use of computer technology for exegesis.

This book addresses the market demand of novice .NET programmers to learn about, and build, networked applications – a subject very often omitted from traditional computer programming books. The book

Virtually every four-year electrical and computer engineering program requires a course in electromagnetic fields and waves encompassing Maxwell's equations. Understanding and appreciating the laws of

Increases in computer power and technology have rapidly advanced the applications of numerical modelling in environmental and earth sciences. The progress of numerical modelling in atmospheric, oceanic and geophysical sciences was the topic of an international conference held by the National Autonomous University of Mexico. The review articles and research papers in this volume constitute a wide-ranging account of modelling environmental and earth processes through a variety of numerical simulations. Sections are devoted to such topics as general circulation models and global change, methods of geophysical data assimilation, and mathematical and computational methods with geophysical applications. This book forms an excellent introduction and overview for graduate students as well as a critical update for researchers.

The bestselling Parents' Choice Award Winner-now expanded with a new section on computer and technology terms. Fully illustrated in a large format with clear, easy-to-read instructions, Signing for

本書內容包含PART ONE: FUNDAMENTALS1. Introduction to Computer Programming 2. Getting Started in C Programming 3. Processing and Interactive Input PART TWO: FLOW OF CONTROL 4. Selection 5. Repetition 6. Modu

What impact does having a home computer and the ability to access information on the Internet have on success in school? Macho (technology education, State U. of New York, Buffalo College) takes on th

Upper-level undergraduates and graduate students will benefit from this treatment of discrete optimization algorithms, which covers linear and integer programming. It offers ready-to-use computer prog

Because of its portability and platform-independence, Java is the ideal computer programming language to use when working on graph algorithms and other mathematical programming problems. Collecting so

Technology-mediated tertiary labor, involving work that is mediated, regulated, surveilled, and measured through computers, computer networks, telecommunications systems, and other new technologies an

The field of human factors/ergonomics has changed markedly in the past decade. The widespread influence of computer technology has permeated every aspect of the human machine system. The systems are

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.

This is the first book treatment on two "hot button" topics in Information Systems, Computer Science and Education: the application of web technology for educational use. The result is a thorough and

Mackenzie investigates computer software as a social object and cultural process and considers its role in contemporary communication. His account diverges from a general sociology of technology in th

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.

George Landow's widely acclaimed Hypertext was the first book to bring together the worlds of literary theory and computer technology. Landow was one of the first scholars to explore the implications

This book uses the latest technology to address the basic theories involved in solving descriptive geometry problems. By incorporating the practical use of computer-aided drafting and design softwa

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

Hands-On Guide to Windows Media is a highly practical guide that teaches creative and information technology professionals how to distribute audio and video efficiently and effectively over computer n

Argues that while the success of open source code has generated many sophisticated developments in computer technology and subverted many assumptions of economic principles, its use is guided by stand

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.

In recent years, computer technology has permeated all aspects of life-not just work and education, but also leisure time. Increasingly, digital games are the way we play. This volume addresses th

This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.

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.

During the past few decades, the gradual merger of Discrete Geometry and the newer discipline of Computational Geometry has provided enormous impetus to mathematicians and computer scientists interested in geometric problems. This 2005 volume, which contains 32 papers on a broad range of topics of interest in the field, is an outgrowth of that synergism. It includes surveys and research articles exploring geometric arrangements, polytopes, packing, covering, discrete convexity, geometric algorithms and their complexity, and the combinatorial complexity of geometric objects, particularly in low dimension. There are points of contact with many applied areas such as mathematical programming, visibility problems, kinetic data structures, and biochemistry, as well as with algebraic topology, geometric probability, real algebraic geometry, and combinatorics.

Between 1999 and 2003, Seiter (cinema-television, U. of Southern California) volunteered as an after-school computer lab teacher at two public elementary schools, one at the high end of technology and

This is the first Visual Basic.NET book to provide a comprehensive discussion of the major data structures and algorithms. Here, instead of having to translate material on C++ or Java, the professional or student VB.NET programmer will find a tutorial on how to use data structures and algorithms and a reference for implementation using VB.NET for data structures and algorithms from the .NET Framework Class Library as well as those which must be developed by the programmer. In an object-oriented fashion, the author presents arrays and arraylists, linked lists, hash tables, dictionaries, trees, graphs, sorting and searching as well as more advanced algorithms, such as probabilistic algorithms and dynamic programming. His approach is very practical, for example using timing tests rather than Big O analysis to compare the performance of data structures and algorithms. This book can be used in both beginning and advanced computer programming courses that use the VB.NET language and, most im

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.

Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have an interest in the semantics of programming languages will find Action Semantics a most helpful book.

A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students a

The new demands of this "computer and technology age" have focused international attention on literacy levels, on literacy development and literacy disorders. Governments have launched programs to red

Seventh-graders Jasper "Sherlock" Jones and Penny Gordon use their detective skills and faith to identify a software pirate at Diamond Computer Technology, then help solve the kidnapping of the owner'

Spending a little time with this book can save lots of time on the computer!AppleScript is object-oriented programming language used to write script files to automate tasks and customize applications

A Dictionary of Translation Technology is a comprehensive reference book that covers the major concepts and terms in translation studies and computer translation. It is a valuable work for both transl

Leung (computer science, New Jersey Institute of Technology) provides coverage of recent and advanced topics in scheduling. Contributors from management, industrial engineering, operations, and comput

While many of us are concerned with the loss of communal spaces and ties that broaden one's sense of self beyond the 'me' or 'I' and into the 'we' and 'us', less clear are the educational advantages of a community approach in terms of learning curricular content. The chapters in this 2004 volume explore the theoretical, design, learning, and methodological questions with respect to designing for and researching web-based communities to support learning. The authors, coming from diverse academic backgrounds (computer science, information science, instructional systems technology, educational psychology, sociology, and anthropology), are frank in examining what we do and do not know about the processes and practices of designing communities to support learning. Taken as a collection, these manuscripts point to the challenges and complex tensions that emerge when designing for web-supported community, especially when the focal practice of the community is learning.