Computer Technology and Computer Programming

Computer, electronic, and telecommunication engineers explore the potential of femtocell technology to support increasing demand for data traffic in wireless networks, and enable innovative mobile app

Computer and information scientists explain to business leaders the importance of privacy and having tools necessary to build privacy into the business process. They cover the appropriate technology,

Reflecting the challenges of an era of deep dependence on, and connection to, digital communication technology, this collection of twenty articles on computer crime and digital forensics highlights cu

As important as it is to realize the potential of computer technology to improve education, it is just as important to understand how the social organization of schools and classrooms influences the use of computers, and in turn is effected by that technology in unanticipated ways. In Computers and Classroom Culture, first published in 1996, Janet Schofield observes the fascinating dynamics of the computer-age classroom. Among her many discoveries, Schofield describes how the use of an artificially-intelligent tutor in a geometry class unexpectedly changes aspects like the level of peer competition and the teachers' grading practices. She also discusses why many teachers fail to make significant instructional use of computers and how gender appears to have a crucial impact on students' reactions to computer use. All educators, sociologists, and psychologists concerned with educational computing and the changing shape of the classroom will find themselves compellingly engaged.

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

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

The rapid development of artificial intelligence technology in medical data analysis has led to the concept of radiomics. This book introduces the essential and latest technologies in radiomics, such as imaging segmentation, quantitative imaging feature extraction, and machine learning methods for model construction and performance evaluation, providing invaluable guidance for the researcher entering the field. It fully describes three key aspects of radiomic clinical practice: precision diagnosis, the therapeutic effect, and prognostic evaluation, which make radiomics a powerful tool in the clinical setting.This book is a very useful resource for scientists and computer engineers in machine learning and medical image analysis, scientists focusing on antineoplastic drugs, and radiologists, pathologists, oncologists, as well as surgeons wanting to understand radiomics and its potential in clinical practice.

Researchers in computer science, information technology, and psychology explore interfaces between agent-based systems and education, from perspectives of teaching such systems within and beyond compu

International scholars and applied researchers in computer science, information science, engineering, technology, human-computer interaction, and media informatics report on the latest work in mobile

In the past decade, the number of wireless devices has grown exponentially. Decades ago, all systems were wired computer systems. Wireless technology was not accessible in mobile and portable devices

Neukom (music theory, computer music and sound technology, Zurich U. of the Arts) takes a fascinating subject and expands on it, generating a handbook of computer-aided music resources. He starts at t

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.

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.

For engineers and researchers, Wu (industrial and systems engineering, Guangdong U. of Technology, China) and Zhou (electrical and computer engineering, New Jersey Institute of Technology and XiDian U

Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. The authors develop the mathematical foundations of partially ordered sets with completeness properties of various degrees, in particular directed complete ordered sets and complete lattices. Uniquely, they focus on partially ordered sets that have an extra order relation, modelling the notion that one element 'finitely approximates' another, something closely related to intrinsic topologies linking order and topology. Extensive use is made of topological ideas, both by defining useful topologies on the structures themselves and by developing close connections with numerous aspects of topology. The theory so developed not only has applications to computer science but also within mathematics to such areas as analysis, the spectral theory of algebras and the theory of computability. This authoritative, comprehensive account of the subject will be e

Agricultural automation is the core technology for computer-aided agricultural production management and implementation. An integration of equipment, infotronics, and precision farming technologies, i

This collection of fifteen articles on computer networking showcases current scholarship in network security and management in a variety of information technology contexts. Divided into sections cover

This research-led textbook investigates the use of new technologies for language learning, linking theory to practice. The book synthesises previous technology use (including Computer Assisted La

This collection of twenty-three articles on computer aided design machining showcases current scholarship in the use of technology in architectural design and design education. Topics discussed includ

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

Philosophy and Computing explores each of the following areas of technology: the digital revolution; the computer; the Internet and the Web; CD-ROMs and Mulitmedia; databases, textbases, and hypertext

Explores the possible use of cellular processes and quantum physics to develop the computer technology of the future. The chapter on DNA computing discusses Adleman's experiment, sticker systems and

Protein chemistry has entered a revolutionary era due to the introduction of genetic engineering for modifying protein structure, as well as the application of advanced computer technology to the stud

Computers in Science and Mathematics examines the contributions that have been made to computer technology as well as the many ways in which scientists and mathematicians use computers in their daily

Mathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical proofs. Developments arising out of Gödel's proof of his incompleteness theorem showed that no computer program could automatically prove true all the theorems of mathematics. In practice, however, there are a number of sophisticated automated reasoning programs that are quite effective at checking mathematical proofs. Now in paperback, this book describes the use of a computer program to check the proofs of several celebrated theorems in metamathematics including Gödel's incompleteness theorem and the Church–Rosser theorem. The computer verification using the Boyer–Moore theorem prover yields precise and rigorous proofs of these difficult theorems. It also demonstrates the range and power of automated proof checking technology. The mechanisation of metamathematics itself has important implications for automated reasoning since metatheorems can be applied by labour-saving devices to simpli

Wei (electrical engineering, National Taiwan U.), Rykowski (information technology, Poznan U. of Economics, Poland), and Indian computer scientist Dixit describe the technology of wireless mesh networ

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.

Compiler construction is a tricky subject, involving theory, the application of that theory, and programming technology. Virtually every day, advances in computer technology propel advances in compile

Master the technical skills and industry knowledge you need to begin an exciting career installing, configuring and troubleshooting computer networks with West/Dean/Andrews' NETWORK+ GUIDE TO NETWORKS

Praised by instructors for its concise, focused approach and user-friendly format, the Illustrated Series engages both computer rookies and hot shots in mastering MICROSOFT OFFICE 2013 applications qu

From hubs and routers to servers and cables, Networking BASICS, 2nd Edition provides a step-by-step introduction to the field of computer networking. Beginners will become comfortable with the concep

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

"Advances in computer technology and developments such as the Internet provide a constant momentum to design new techniques and algorithms to support computer graphics. Modelling, animation and render

BCPL is a simple systems programming language with a portable compiler that has been implemented on many machines from large mainframes to mini computers and microprocessors. The book provides an introduction to the language, paying particular attention to programming style. In addition, it covers the more machine-independent parts of the BCPL library and outlines various debugging aids that most implementations provide. The syntax analysis phase of the compiler is described in detail, giving a realistic example of a typical application of the language. This and other substantial examples given in the book will be of interest both to serious users of BCPL and to computer writers. There is a chapter concerned with the portability code generator design. The reference for BCPL appears as the final chapter.

Fortran is one of the oldest high-level languages and remains the premier language for writing code for science and engineering applications. This book is for anyone who uses Fortran, from the novice learner to the advanced expert. It describes best practices for programmers, scientists, engineers, computer scientists and researchers who want to apply good style and incorporate rigorous usage in their own Fortran code or to establish guidelines for a team project. The presentation concentrates primarily on the characteristics of Fortran 2003, while also describing methods in Fortran 90/95 and valuable new features in Fortran 2008. The authors draw on more than a half century of experience writing production Fortran code to present clear succinct guidelines on formatting, naming, documenting, programming and packaging conventions and various programming paradigms such as parallel processing (including OpenMP, MPI and coarrays), OOP, generic programming and C language interoperability.

Thin Metallic multilayer films have become an important part in today's computer technology. The giant magnetoresistance (GMR) effect, which plays a central role here, was discovered in the late 1980s

Our daily lives can be maintained by the high-technology systems. Computer systems are typical examples of such systems. We can enjoy our modern lives by using many computer systems. Much more importa

Donald E. Knuth’s influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TeX and METAFONT systems for desktop publ

Creativity is a topic that has traditionally interested psychologists, historians and biographers. Developments in cognitive science and artificial intelligence have provided a powerful computational framework in which creativity can be studied and the creative process can be described and explained. In this book, creativity in technology is discussed using such a computational approach. Using an important historical episode in computer technology as a case study, namely the invention of microprogramming by Maurice Wilkes in 1951, the author presents a plausible explanation of the process by which Wilkes may have arrived at his invention. Based on this case study, the author has also proposed some very general hypotheses concerning creativity that appear to corroborate the findings of some psychologists and historians and then suggests that creative thinking is not significantly different in nature from everyday thinking and reasoning.

Creativity is a topic that has traditionally interested psychologists, historians and biographers. Developments in cognitive science and artificial intelligence have provided a powerful computational framework in which creativity can be studied and the creative process can be described and explained. In this book, creativity in technology is discussed using such a computational approach. Using an important historical episode in computer technology as a case study, namely the invention of microprogramming by Maurice Wilkes in 1951, the author presents a plausible explanation of the process by which Wilkes may have arrived at his invention. Based on this case study, the author has also proposed some very general hypotheses concerning creativity that appear to corroborate the findings of some psychologists and historians and then suggests that creative thinking is not significantly different in nature from everyday thinking and reasoning.