These proceedings derive from an international conference on the history of computing and education. This conference is the third of hopefully a series of conferences that will take place within the International Federation for Information Processing (IFIP) and hence, we describe it as the "Third IFIP Conference on the History of Computing and Education" or simply "History of Computing and Education 3" (HCE3). This volume consists of a collection of articles presented at the HCE3 conference held in association with the IFIP 2008 World Computer Congress in Milano, Italy. Articles range from a wide variety of computing perspectives and they represent activities from six continents. The HCE3 conference is an event of the IFIP Working Group 9.7 on the History of Computing, a working group of IFIP' s Technical Committee 9 (TC9) on the Relationship between Computers and Society. In addition, it is in cooperation with the IFIP Technical Committee 3 (TC3) on Education. The HCE3 conference brings to light a broad spectrum of issues. It illustrates topics in computing as they occurred in the "early days" of computing whose ramifications or overtones remain with us today. Indeed, many of the early challenges remain part of our educational tapestry; most likely, many will evolve into future challenges. Therefore, these proceedings provide additional value to the reader as it will reflect in part the future development of computing and education to stimulate new ideas and models in educational development.

This volume presents the proceedings of the IFIP TC2 WG 2.5 Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software, held in Prescott, Arizona from July 17-21, 2006.

Grid-Based Problem Solving Environments will be of particular interest to users of both grid-based and traditional problem solving environments, developers of both grid-based and traditional problem solving environments, developers of grid infrastructure, and developers of numerical software.

Among other topics, Grid-Based Problem Solving Environments explores the following:

- accuracy contracts and software services

- standards for problem specification

- service models for the use of numerical software

- using the grid to link numerical and other services together

- experiences with web-based numerical services

- application-oriented numerical interfaces such as web portals

- software deployment issues including updates and bug fixes

- large data (including data security) and grid-based numerical software

- grid-based services as an alternative to deployment

- evaluation and comparison of both production and research software

Thirteen essays explore the varying virtual, physical, cultural and institutional contexts influencing the nature of electronic space for women and explore the intersection of feminisms, power, authority, voice, and computer technologies. It also contains four interviews with prominent scholars, which historicize the disciplinary formation of computers and composition and the impact of technology on the professional lives of women. This collection continues the ongoing conversation exploring the theoretical, pedagogical, and political implications of computer technologies for composition studies, with an primary audience of teachers and theorists of writing in electronic environments.

This text concerns the computer-based design and modelling, computational approaches and instrumental methods for elucidating molecular mechanisms of protein folding. Ligand-acceptor interactions are included in volumes 202 and 203 as are genetic and chemical methods for the production of functional molecules including antibodies and antigens, enzymes, receptors, nucleic acids and polysaccharides and drugs.

In recent years, building information modeling has become a very active research area of construction informatics with investigation of ICT use within construction industry processes and organizations. The Handbook of Research on Building Information Modeling and Construction Informatics: Concepts and Technologies addresses the problems related to information integration and interoperability throughout the lifecycle of a building, from feasibility and conceptual design through to demolition and recycling stages. Containing research from leading international experts, this Handbook of Research provides comprehensive coverage and definitions of the most important issues, concepts, trends, and technologies within the field.

With the rapid advancement in information technologies, e-business is rapidly growing in significance and is having a direct impact upon business applications and technologies.

Enterprise Modeling: Improving Global Industrial Competitiveness gives an overview of the current state-of-the-art in enterprise modeling and its application. Enterprise modeling is both a concept and a tool that is highly developed at the research level, but which still promises many new industrial applications. Enterprise models constitute a theoretical basis for the information system in an enterprise and are regarded by many as a substantial opportunity to improve global industrial competitiveness. Enterprise Modeling: Improving Global Industrial Competitiveness gives the reader an understanding of enterprise modeling as a concept and provides examples of its application by describing some of the currently available tools. It is organized in five parts: overview and international trends, the basis of enterprise modeling, application areas, implementation, and industrial experience with enterprise modeling. Enterprise Modeling: Improving Global Industrial Competitiveness is useful to developers of business information systems, users of technical information systems, engineers within operations management, and engineers and economists dealing with performance assessment and improvement. Enterprise Modeling: Improving Global Industrial Competitiveness is suitable as a secondary text for a graduate level course, and as a reference for researchers and practitioners in industry.

Wireless ad hoc sensor networks has recently become a very active research subject. Achieving efficient, fault-tolerant realizations of very large, highly dynamic, complex, unconventional networks is a real challenge for abstract modelling, algorithmic design and analysis, but a solid foundational and theoretical background seems to be lacking. This book presents high-quality contributions by leading experts worldwide on the key algorithmic and complexity-theoretic aspects of wireless sensor networks. The intended audience includes researchers and graduate students working on sensor networks, and the broader areas of wireless networking and distributed computing, as well as practitioners in the relevant application areas. The book can also serve as a text for advanced courses and seminars.

The aims of this book are: to provide a guide to the nature, uses, availability and limitations of the main data sources for interpreting and undertaking local and regional studies of economic activity and land use in the United Kingdom; and to examine the methods of collecting information on these topics, the geographic information systems used for storing and analyzing the data, and the range of techniques used to forecast local and regional economic change.

"Pro Crystal Enterprise/BusinessObjects XI Programming" shows you how to create customized solutions using the Business Objects/Crystal Enterprise object model. Here youll see the object model utilized to create professional-quality tools like on-demand web services, report metadata extraction, scheduling, security, and user management.

Author Carl Ganz explains in detail how to build advanced reporting solutions for Crystal Enterprise/Business Objects XI. He shows how to integrate CE/BO XI with .NET 2.0 and Visual Studio to create more flexible, tailored, and responsive reporting solutions than have previously been possible. In short, you'll surpass what you thought you could achieve, and learn to create almost any imaginable reporting solution that Business Objects XI can handle.

Image motion processing is important to machine vision systems because it can lead to the recovery of 3D structure and motion. Author Amar Mitiche offers a comprehensive mathematical treatment of this key subject in visual systems research. Mitiche examines the interpretation of point correspondences as well as the interpretation of straight line correspondences and optical flow. In addition, the author considers interpretation by knowledge-based systems and presents the relevant mathematical basis for 3D interpretation.

Reuse Techniques for VLSI Design is a reflection on the current state of the art in design reuse for microelectronic systems. To that end, it is the first book to garner the input of leading experts from both research and application areas. These experts document herein not only their more mature approaches, but also their latest research results. Firstly, it sets out the background and support from international organisations that enforce System-on-a-Chip (SoC) design by reuse- oriented methodologies. This overview is followed by a number of technical presentations covering different requirements of the reuse domain. These are presented from different points of view, i.e., IP provider, IP user, designer, isolated reuse, intra-company or inter-company reuse. More general systems or case studies, e.g., metrics, are followed by comprehensive reuse systems, e.g., reuse management systems partly including business models. Since design reuse must not be restricted to digital components, mixed- signal and analog reuse approaches are also presented. In parallel to the digital domain, this area covers research in reuse database design. Design verification and legal aspects are two important topics that are closely related to the realization of design reuse. These hot topics are covered by presentations that finalize the survey of outstanding research, development and application of design reuse for SoC design. Reuse Techniques for VLSI Design is an invaluable reference for researchers and engineers involved in VLSI/ASIC design.

Design of Low-Voltage, Low-Power CMOS Operational Amplifier Cells describes the theory and design of the circuit elements that are required to realize a low-voltage, low-power operational amplifier. These elements include constant-gm rail-to-rail input stages, class-AB rail-to-rail output stages and frequency compensation methods. Several examples of each of these circuit elements are investigated. Furthermore, the book illustrates several silicon realizations, giving their measurement results. The text focuses on compact low-voltage low-power operational amplifiers with good performance. Six simple high-performance class-AB amplifiers are realized using a very compact topology making them particularly suitable for use as VLSI library cells. All of the designs can use a supply voltage as low as 3V. One of the amplifier designs dissipates only 50uW with a unity gain frequency of 1.5 MHz. A second set of amplifiers run on a supply voltage slightly above 1V. The amplifiers combine a low power consumption with a gain of 120 dB. In addition, the design of three fully differential operational amplifiers is addressed. Design of Low-Voltage, Low-Power CMOS Operational Amplifier Cells is intended for professional designers of analog circuits. It is also suitable for use as a text book for an advanced course in CMOS operational amplifier design."

The latest developments in rendering, visualization, and rasterization hardware are reported in this volume, which contains revised versions of thecontributions to the Sixth Eurographics Workshop on Graphics Hardware, held in Vienna in September 1991 in conjunction with the Eurographics '91 Conference. The book has five parts and a keynote paper, "Issues and Directions for Graphics Hardware Accelerators," by Kurt Akeley. The first part of the book concerns graphics hardware design, including simulation and silicon compilers. The second part contains two papers on graphics systems. The third part focuses on volume (voxel-based) machines, describing two devices to facilitate transformations of volumes. The fourth part includes papers on rasterization systems, including character rasterization and scan-conversion of triangular faces. The papers in the last part of the book focus on rendering machines. They include a programmable rendering engine, primitive shaders, and radiosity implementation on a parallel architecture.

This book is concerned with computing in materio: that is, unconventional computing performed by directly harnessing the physical properties of materials. It offers an overview of the field, covering four main areas of interest: theory, practice, applications and implications. Each chapter synthesizes current understanding by deliberately bringing together researchers across a collection of related research projects. The book is useful for graduate students, researchers in the field, and the general scientific reader who is interested in inherently interdisciplinary research at the intersections of computer science, biology, chemistry, physics, engineering and mathematics.

The collection of papers that makes up this book arises largely from the joint activities of two specialist groups of the British Computer Society, namely the Displays Group and the Computer Arts Society. Both these groups are now more than 20 years old and during the whole of this time have held regular, separate meetings. In recent years, however, the two groups have held a joint annual meeting at which presentations of mutual interest have been given and it is mainly from the last two of these that the present papers have been drawn. They fall naturally into four classes: visualisation, art, design and animation-although, as in all such cases, the boundaries between the classes are fuzzy and overlap inevitably occurs. Visualisation The graphic potential of computers has been recognised almost since computing was first used, but it is only comparatively recently that their possibilities as devices for the visualisation of complex. and largely ab stract phenomena has begun to be more fully appreciated. Some workers stress the need to be able to model photographic reality in order to assist in this task. They look to better algorithms and more resolution to achieve this end. Others-Alan Mackay for instance-suggest that it is "not just a matter of providing more and more pixels. It is a matter of providing congenial clues which employ to the greatest extent what we already know.

An in-depth look at soft computing methods and their applications in the human sciences, such as the social and the behavioral sciences. Soft computing methods - including fuzzy systems, neural networks, evolutionary computing and probabilistic reasoning - are state-of-the-art methods in theory formation and model construction. The powerful application areas of these methods in the human sciences are demonstrated, including the replacement of statistical models by simpler numerical or linguistic soft computing models and the use of computer simulations with approximate and linguistic constituents. "Dr. Niskanen's work opens new vistas in application of soft computing, fuzzy logic and fuzzy set theory to the human sciences. This book is likely to be viewed in retrospect as a landmark in its field" (Lotfi A. Zadeh, Berkeley)

Information Systems (IS) as a discipline draws on diverse areas including, technology, organisational theory, management and social science. The field is recognized as very broad and encompassing many themes and areas. However, the development of artefacts, or information systems development (ISD), in the broadest sense, is a central concern of the discipline. Significantly, ISD impacts on the organisational and societal contexts through the use of the artefacts constructed by the development. Today, that impact also needs to be evaluated in terms of its effects on the environment. Sustainable, or "green," IT is a catch-all term used to describe the development, manufacture, management, use and disposal of ICT in a way that minimizes damage to the environment. As a result, the term has many different meanings, depending on the role assumed in the life span of the ICT artefact. The theme of the proposed work is to critically examine the whole range of issues around ISD from the perspective of sustainability. Sustainable IT is an emerging theme in academic research and industry practice in response to an individual concern for the environment and the embryonic regulatory environments being enacted globally to address the environmental impact of ICT. In this work we intend to bring together in one volume the diverse research around the development of sustainable IS."

This volume of Analog Circuit Design concentrates on three topics: Operational Amplifiers. A-to-D converters and Analog CAD. The book comprises six papers on each topic written by internationally recognised experts. These papers have a tutorial nature aimed at improving the design of analog circuits. The book is divided into three parts. Part I, Operational Amplifiers, presents new technologies for the design of Op-Amps in both bipolar and CMOS technologies. Two papers demonstrate techniques for improving frequency and gain behavior at high voltage. Low voltage bipolar Op-Amp design is treated in another paper. The realization high-speed and high gain VLSI building blocks in CMOS is demonstrated in two papers. The final paper shows how to provide output power with CMOS buffer amplifiers. Part II, Analog-to-Digital Conversion, presents papers which address very high conversion speeds and very high resolution implementations using sigma-delta modulation architectures. Analog to Digital converters provide the link between the analog world of transducers and the digital world of signal processing and computing. High-performance bipolar and MOS technologies result in high-resolution or high-speed convertors which can be applied in digital audio or video systems. Furthermore, the advanced high-speed bipolar technologies show an increase in conversion speed into the gigahertz range. Part III, Analog Computer Aided Design, presents the latest research towards providing analog circuit designers with the tools needed to automate much of the design process. The techniques and methodologies described demonstrate the advances being made in developing analog design tools comparable with those alreadyavailable for digital design. The papers in this volume are based on those presented at the Workshop on Advances in Analog Circuit Design held in Delft, The Netherlands in 1992. The main intention of the workshop was to brainstorm with a group of about 100 analog design experts on the new possibilities and future developments on the above topics. The result of this brainstorming is contained in Analog Circuit Design, which is thus an important reference for researchers and design engineers working in the forefront of analog circuit design and research.

Asynchronous Pulse Logic is a comprehensive analysis of a newly developed asynchronous circuit family. The book covers circuit theory, practical circuits, design tools and an example of the design of a simple asynchronous microprocessor using the circuit family. Asynchronous Pulse Logic will be of interest to industrial and academic researcher working on high-speed VLSI systems. Graduate students will find this useful reference for computer-aided design of asynchronous or related VLSI systems.

This book explores the intricate connection between the Single Market, characterized by the freedom of movement of goods, services, capital and labor within and across Europe, and the Digital Single Market, the virtual space that promotes freedom of movement of information and data. Both a result and catalyst of the Single Market, the Digital Single Market has become a different space from the Single Market, as the former is based on the application of information and communication technologies (ICTs), while the latter is the result of concerted actions and concessions by Member States in the European Union. The author argues that, similar to the Single Market, the Digital Single Market is an instrument, built by the influence of the Internet, which can provide a new means of socio-economic growth and development in Europe. While sharing many similar characteristics, the Single Market and the Digital Single Market diverge in important aspects, particularly with respect to policy. The research analyzes the interaction between policy actors, their influence in the European decision-making process, and their interests in order to establish a digital policy model, in comparison with market policy. Moreover, this volume considers the implementation process and the success of such initiatives under the current policy model, and puts forward policy recommendations. Ultimately, the author considers the utility of such research on digital policy, considering the current focus on migration, vulnerabilities to internal challenges (e.g., Brexit) and security threats, maintaining that the discussion of digital policies relates to an innovative vision of the European integration process and prospects for its future.

Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational models with a logical foundation.

Computable models have wide-ranging applications from programming language semantics and specification languages, through to knowledge representation languages and formalism for natural language semantics. They are also implicit in computer modelling in many areas of physical and social science.

This detailed investigation into the logical foundations of specification and specification languages and their application to the definition of programming languages, coupled with a clear exposition of theories of data and computable models as mathematical notions will be welcomed by researchers and graduate students.

Computer Aided Innovation (CAI) is a young domain, the goal of which is to support enterprises throughout the complete innovation process. This comprehensive book presents the most up-to-date research on CAI. It addresses the main motivations of the industrial sector regarding the engineering innovation activity with computer tools and methods. The book also discusses organizational, technological and cognitive aspects of the application of CAI methods and tools.