Computer Technology and Computer Programming

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.

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.

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.

This book answers one of the most critical questions of our time, does the vast connectivity afforded by mobile and social media lead to more personal connection with one another? It offers an evidence-based account of the role of technology in close relationships that confronts such pressing questions as where face-to-face communication belongs in this digital age, whether social media is harmful to our well-being, and how online communication spills-over into our offline communication and relationships. Each chapter explores the positive and negative influences of media on relationships, coalescing into a balanced assessment of how technological advancement has altered our connections with each other. By zeroing in on communication with the most important people in our lives and tracing the changes in computer-mediated communication over time, Relating Through Technology focuses the conversation about media on its use in our everyday lives and relationships.

Bringing together experts in multimodal signal processing, this book provides a detailed introduction to the area, with a focus on the analysis, recognition and interpretation of human communication. The technology described has powerful applications. For instance, automatic analysis of the outputs of cameras and microphones in a meeting can make sense of what is happening – who spoke, what they said, whether there was an active discussion and who was dominant in it. These analyses are layered to move from basic interpretations of the signals to richer semantic information. The book covers the necessary analyses in a tutorial manner, going from basic ideas to recent research results. It includes chapters on advanced speech processing and computer vision technologies, language understanding, interaction modeling and abstraction, as well as meeting support technology. This guide connects fundamental research with a wide range of prototype applications to support and analyze group interac

Explore the frontier of device engineering by applying optimization to nanoscience and device design. This cutting-edge work shows how robust, manufacturable designs that meet previously unobtainable system specifications can be created using a combination of modern computer power, adaptive algorithms, and realistic device-physics models. Applying this method to nanoscience is a path to creating new devices with new functionality, and it could be the key design element in making nanoscience a practical technology. Basic introductory examples along with MATLAB code are included, through to more formal and sophisticated approaches, and specific applications and designs are examined. Essential reading for researchers and engineers in electronic devices, nanoscience, materials science, applied mathematics, and applied physics.

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.

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

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.

This book/CD bundle of the greatly expanded third edition of Numerical Recipes now has wider coverage than ever before, many new, expanded and updated sections, and two completely new chapters. Co-authored by four leading scientists from academia and industry, Numerical Recipes starts with basic mathematics and computer science and proceeds to complete, working routines. The informal, easy-to-read style that made earlier editions so popular is kept throughout. Highlights of the new material include: a new chapter on classification and inference, Gaussian mixture models, HMMs, hierarchical clustering, and SVMs; a new chapter on computational geometry, covering KD trees, quad- and octrees, Delaunay triangulation, and algorithms for lines, polygons, triangles, and spheres; interior point methods for linear programming; MCMC; an expanded treatment of ODEs with completely new routines; and many new statistical distributions. For support or further licence information please visit www.nr.com

Mathematics is not, and never will be, an empirical science, but mathematicians are finding that the use of computers and specialized software allows the generation of mathematical insight in the form of conjectures and examples, which pave the way for theorems and their proofs. In this way, the experimental approach to pure mathematics is revolutionizing the way research mathematicians work. As the first of its kind, this book provides material for a one-semester course in experimental mathematics that will give students the tools and training needed to systematically investigate and develop mathematical theory using computer programs written in Maple. Accessible to readers without prior programming experience, and using examples of concrete mathematical problems to illustrate a wide range of techniques, the book gives a thorough introduction to the field of experimental mathematics, which will prepare students for the challenge posed by open mathematical problems.

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

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

There are no silver bullets in algorithm design, and no single algorithmic idea is powerful and flexible enough to solve every computational problem. Nor are there silver bullets in algorithm analysis, as the most enlightening method for analyzing an algorithm often depends on the problem and the application. However, typical algorithms courses rely almost entirely on a single analysis framework, that of worst-case analysis, wherein an algorithm is assessed by its worst performance on any input of a given size. The purpose of this book is to popularize several alternatives to worst-case analysis and their most notable algorithmic applications, from clustering to linear programming to neural network training. Forty leading researchers have contributed introductions to different facets of this field, emphasizing the most important models and results, many of which can be taught in lectures to beginning graduate students in theoretical computer science and machine learning.

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to sel

First published in 1989, this book is comprised of invited contributions from speakers at the international workshop, Frontiers in Numerical Relativity, held at the University of Illinois, Urbana-Champaign, in May 1988. Advances in supercomputer technology and computational algorithms have stimulated rapid progress in attempts to understand, through numerical means, such diverse phenomena as gravitational radiation emission from astrophysical sources, the evolution of inhomogenous cosmologies and its effects on nucleosynthesis, cosmic string interactions, the formation of 'naked singularities' and the cosmic censorship conjecture and the dynamics of black holes. The book should be of interest to researchers and graduate students in the field of general relativity, astrophysics and applied numerical analysis who wish to understand developments in computer studies of general relativity at the time of publication.

Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.

Arising from the 2019 Darwin College Lectures, this book presents essays from seven prominent public intellectuals on the theme of vision. Each author examines this theme through the lens of their own particular area of expertise, making for a lively interdisciplinary volume including chapters on neuroscience, colour perception, biological evolution, astronomy, the future of technology, computer vision, and the visionary core of science. Featuring contributions by professors of neuroscience Paul Fletcher and Anya Hurlbert, professor of zoology Dan-Eric Nilsson, the futurist Sophie Hackford, Microsoft distinguished scientist Andrew Blake, theoretical physicist and author Carlo Rovelli, and Dr Carolin Crawford, the Public Astronomer at the University of Cambridge, this volume will be of interest to anybody curious about how we see the world.

This unique introduction to the foundational concepts of cyber-physical systems (CPS) describes key design principles and emerging research trends in detail. Several interdisciplinary applications are covered, with a focus on the wide-area management of infrastructures including electric power systems, air transportation networks, and health care systems. Design, control and optimization of cyber-physical infrastructures are discussed, addressing security and privacy issues of networked CPS, presenting graph-theoretic and numerical approaches to CPS evaluation and monitoring, and providing readers with the knowledge needed to operate CPS in a reliable, efficient, and secure manner. Exercises are included. This is an ideal resource for researchers and graduate students in electrical engineering and computer science, as well as for practitioners using cyber-physical systems in aerospace and automotive engineering, medical technology, and large-scale infrastructure operations.

The latest methods for troubleshooting and maintaining process equipment While directed particularly at chemical and petroleum refining process equipment, the new edition of A Working Guide to Process Equipment, revised and fully up-dated throughout, remains applicable to a broad range of technicians and industries, and explains how to diagnose, troubleshoot, and correct problems, without complex equations and computer simulations, without ever losing sight of the importance of direct field measurements and observations. Nine new chapters cover: Determining the Causes of Wet Steam, Distillation Process Engineering Design ErrorsTechnical Adventures from the PastSetting Pressure Relief ValvesApplying Process Engineering Technology to Natural Gas ProductionReduction of Flare LossesSuppressing CO2 Emissions and Energy ConservationA Final Word - The Earth's Oxygen ContentEvaluating Distillation Tray CapacityFilled with examples and illustrations, the new edition of this practical resource c

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

An accessible guide to cybersecurity for the everyday user, covering cryptography and public key infrastructure, malware, blockchain, and other topics.It seems that everything we touch is connected to the internet, from mobile phones and wearable technology to home appliances and cyber assistants. The more connected our computer systems, the more exposed they are to cyber attacks--attempts to steal data, corrupt software, disrupt operations, and even physically damage hardware and network infrastructures. In this volume of the MIT Press Essential Knowledge series, cybersecurity expert Duane Wilson offers an accessible guide to cybersecurity issues for everyday users, describing risks associated with internet use, modern methods of defense against cyber attacks, and general principles for safer internet use. Wilson describes the principles that underlie all cybesecurity defense: confidentiality, integrity, availability, authentication, authorization, and non-repudiation (validating the

In the long-awaited follow-up to the beloved classic Frindle, a new generation of kids discovers the power of words and imagination - and yes, even screens - to solve a mystery and change their world!"A fitting final work from a master storyteller."--Kirkus ReviewsJosh Willet is a techie, a serious gamer. Which is why Josh and his friends can't stand Mr. N's ELA class; it's a strict no-tech zone. Mr. N makes them write everything out by hand, he won't use a Smartboard, and he's obsessed with some hundred-year-old grammar book. Then Josh discovers a secret; turns out Mr. N's been keeping a lot more than technology from his students! Together with his best friend Vanessa, and using all the computer skills they've got, Josh is determined to solve the mystery of Mr. N's past. And maybe get some screentime back, too? Andrew Clements's final novel is a timely one--about the importance of language, the changes that come along with technology (good and bad), and how sometimes you have to chall

In the long-awaited follow-up to the beloved classic Frindle, a new generation of kids discovers the power of words and imagination – and yes, even screens – to solve a mystery and change their world!“A fitting final work from a master storyteller” – Kirkus ReviewsJosh Willet is a techie, a serious gamer. Which is why Josh and his friends can’t stand Mr. N’s ELA class; it’s a strict no-tech zone. Mr. N makes them write everything out by hand, he won’t use a Smartboard, and he’s obsessed with some hundred-year-old grammar book. Then Josh discovers a secret; turns out Mr. N's been keeping a lot more than technology from his students! Together with his best friend Vanessa, and using all the computer skills they’ve got, Josh is determined to solve the mystery of Mr. N’s past. And maybe get some screentime back, too? Andrew Clement’s final novel is a timely one -- about the importance of language, the power of technology (good and bad), and how you might have to challenge

This book offers step-by-step descriptions of various random systems and explores the world of computer simulations. In addition, this book offers a working introduction to those who want to learn how to create and run Monte Carlo simulations. Monte Carlo simulation has been a powerful computational tool for physics models, and when combined with the programming language Excel, this book is a valuable resource for readers who wish to acquire knowledge that can be applied to more complex systems. Visualization of the simulation results via the Visual Basic built in Microsoft EXCEL is presented as the first step towards the subject. Prior experience with the Excel add-in VBA is kept to a minimum. In addition, a chapter on quantum optimization simulation utilizing Python is added to explore the quantum computation. Readers will gain a fundamental knowledge and techniques of simulation physics, which can be extended to STEM projects and other research projects.

This book may be used as a self-contained manual for BBC-BASIC, the main language of the BBC Microcomputer and Master Series Computers. Information is presented in a form handy for reference. Page 163, for example, tabulates all characters in the ASCII range; pages 124-5 summarize all information needed when composing screens of MODE 7 graphics. A quick reference to all functions and operators is given on page 179; the syntax of every statement and command of BBC-Basic is summarized on pages 180-1. But there is more to this book. How do you make a computer sort names into alphabetical order? Not as obvious as it might seem. Three different sorting techniques are explained by example in this book: bubble sort, monkey puzzle (more formally the 'binary tree') and Quicksort relies on 'recursion' - an important programming concept which is explained and demonstrated. Making coloured objects rebound around the walls of a squash court is another technique demonstrated; so is making voices sin

The second PHENOMENALLY FUNNY out-of-this-world adventure from YouTube sensation and TV presenter Adam B is perfect for fans of David Baddiel and Ben MIller!Thirteen-year-old Adam has made a lot of mistakes in his life, but this has to be the biggest.Thanks to a MASSIVE fight with his little brother Callum, the mysterious and magical computer algorithm Popularis Incrementum has exploded - and accidentally transported them both to a completely different world!No, not just a different world. A different dimension: one where Adam and Callum were never born and the internet doesn't exist, and neither does any of the technology they rely on to make their epic YouTube videos!Will the brothers survive in this strange Altiverse where everything is ALMOST like home but ISN'T? And how do you stop an evil villain from sabotaging your dad's world-changing technology when in this universe your dad doesn't even know who you are?But for now there's only one question in Adam's mind: how do they get ba

The interdisciplinary field of the learning sciences encompasses educational psychology, cognitive science, computer science, and anthropology, among other disciplines. The Cambridge Handbook of the Learning Sciences, first published in 2006, is the definitive introduction to this innovative approach to teaching, learning, and educational technology. In this significantly revised third edition, leading scholars incorporate the latest research to provide seminal overviews of the field. This research is essential in developing effective innovations that enhance student learning - including how to write textbooks, design educational software, prepare effective teachers, and organize classrooms. The chapters illustrate the importance of creating productive learning environments both inside and outside school, including after school clubs, libraries, and museums. The Handbook has proven to be an essential resource for graduate students, researchers, consultants, software designers, and poli

Fluid mechanics is a branch of classical physics that has a rich tradition in applied mathematics and numerical methods. It is at work virtually everywhere, from nature to technology. This broad and fundamental coverage of computational fluid dynamics (CFD) begins with a presentation of basic numerical methods and flows into a rigorous introduction to the subject. A heavy emphasis is placed on the exploration of fluid mechanical physics through CFD, making this book an ideal text for any new course that simultaneously covers intermediate fluid mechanics and computation. Ample examples, problems and computer exercises are provided to allow students to test their understanding of a variety of numerical methods for solving flow physics problems, including the point-vortex method, numerical methods for hydrodynamic stability analysis, spectral methods and traditional CFD topics.

Fluid mechanics is a branch of classical physics that has a rich tradition in applied mathematics and numerical methods. It is at work virtually everywhere, from nature to technology. This broad and fundamental coverage of computational fluid dynamics (CFD) begins with a presentation of basic numerical methods and flows into a rigorous introduction to the subject. A heavy emphasis is placed on the exploration of fluid mechanical physics through CFD, making this book an ideal text for any new course that simultaneously covers intermediate fluid mechanics and computation. Ample examples, problems and computer exercises are provided to allow students to test their understanding of a variety of numerical methods for solving flow physics problems, including the point-vortex method, numerical methods for hydrodynamic stability analysis, spectral methods and traditional CFD topics.

Advanced information technology infrastructure is increasingly being employed in the Earth sciences to provide researchers with efficient access to massive central databases and to integrate diversely formatted information from a variety of sources. These geoinformatics initiatives enable manipulation, modeling and visualization of data in a consistent way, and are helping to develop integrated Earth models at various scales, and from the near surface to the deep interior. This book uses a series of case studies to demonstrate computer and database use across the geosciences. Chapters are thematically grouped into sections that cover data collection and management; modeling and community computational codes; visualization and data representation; knowledge management and data integration; and web services and scientific workflows. Geoinformatics is a fascinating and accessible introduction to this emerging field for readers across the solid Earth sciences and an invaluable reference fo

Advanced information technology infrastructure is increasingly being employed in the Earth sciences to provide researchers with efficient access to massive central databases and to integrate diversely formatted information from a variety of sources. These geoinformatics initiatives enable manipulation, modeling and visualization of data in a consistent way, and are helping to develop integrated Earth models at various scales, and from the near surface to the deep interior. This book uses a series of case studies to demonstrate computer and database use across the geosciences. Chapters are thematically grouped into sections that cover data collection and management; modeling and community computational codes; visualization and data representation; knowledge management and data integration; and web services and scientific workflows. Geoinformatics is a fascinating and accessible introduction to this emerging field for readers across the solid Earth sciences and an invaluable reference fo

IAU Symposium 309 contains contributions on the timely theme of spatially and energetically resolved properties of galaxies. New technologies in 3D spectroscopy in the optical and near-infrared regimes, and radio interferometry, allow for the first time the efficient mapping of stars, gas and dust in galaxies near and far. This volume demonstrates how detailed measurements of individual objects are complemented by surveys aiming at a full census of galaxies across the local Universe. Reaching out to the limits of the Universe, the evolution of spatially resolved properties is traced throughout our whole cosmic history. In parallel with this, new computer technology and highly advanced algorithms are exploited for detailed simulations to probe the underlying physical and cosmological connections. This volume benefits astronomers and graduate students working in areas relating to galaxy formation and evolution, star formation, dust and stellar populations.

This volume offers a historical and critical analysis of the emerging field of the learning sciences, which takes an interdisciplinary approach to understanding and improving how children and adults learn. It features a wide range of authors, including established scholars who founded and guided the learning sciences through the initial turbulence of forming a new line of academic inquiry, as well as newcomers who are continuing to shape the field. This diversity allows for a broad yet selective perspective on what the learning sciences are, why they came to be, and how contributors conduct their work. Reflections on the Learning Sciences serves both as a starting point for discussion among scholars familiar with the discipline and as an introduction for those interested in learning more. It will benefit graduate students and researchers in computer science, educational psychology, instructional technology, science, engineering, and mathematics.

This volume offers a historical and critical analysis of the emerging field of the learning sciences, which takes an interdisciplinary approach to understanding and improving how children and adults learn. It features a wide range of authors, including established scholars who founded and guided the learning sciences through the initial turbulence of forming a new line of academic inquiry, as well as newcomers who are continuing to shape the field. This diversity allows for a broad yet selective perspective on what the learning sciences are, why they came to be, and how contributors conduct their work. Reflections on the Learning Sciences serves both as a starting point for discussion among scholars familiar with the discipline and as an introduction for those interested in learning more. It will benefit graduate students and researchers in computer science, educational psychology, instructional technology, science, engineering, and mathematics.