Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little impact at all. However, because ad hoc programming for parallel machines is so hard, and because progress in software construction has lagged behind architectural advances for such machines, there is a much greater need to develop parallel programming and transformational methodologies. Parallel Algorithm Derivation and Program Transformation stimulates the investigation of formal ways to overcome problems of parallel computation, with respect to both software development and algorithm design. It represents perspectives from two different communities: transformational programming and parallel algorithm design, to discuss programming, transformational, and compiler methodologies for parallel architectures, and algorithmic paradigms, techniques, and tools for parallel machine models. Parallel Algorithm Derivation and Program Transformation is an excellent reference for graduate students and researchers in parallel programming and transformational methodology. Each chapter contains a few initial sections in the style of a first-year, graduate textbook with many illustrative examples. The book may also be used as the text for a graduate seminar course or as a reference book for courses in software engineering, parallel programming or formal methods in program development.
This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991.
The visit of Gerald Sacks to the National University of Singapore in 1981 provided an opportunity to organize a short conference in Mathematical Logic. We were fortunate to receive encouragement and material support for this venture from several sources. Specific acknowledgements are made below. Sponsorship of the conference by the Association for Symbolic Logic was received and gave added inspiration. A final word in this connexion concerns the debt we owe to invited speakers who were able to provide for travel expenses from their own resources. Their presence at the conference would not have been possible otherwise. The publication of these Proceedings came about through an initiative of North Holland. The progress in producing the volume has been somewhat fitful, and we appreciate their forbearance and understanding. The items herein, with some exceptions, are written versions of invited talks given at the conference. Abstracts of contributed papers have appeared in the Journal of Symbolic Logic. The two workshops: in Recursion Theory by Mark Tamthai and Model Theory by Chris Ash, which were held in conjunction with the conference, are not recorded. We were fortunate to receive editorial assistance from John Bell during his visit to NUS. A great debt is owed to Mimi Bell and Madam Lam for producing the splendid typescript for the volume.
Introduction Throughout the history of Mathematics, there has been an interest in
finding algorithms to solve problems or perform computations. Simple examples
of algorithms are long division and the sieve of Eratosthenes for determining
whether or not a number is a prime. A famous example of the search for an
algorithm is Hilbert's Tenth Problem which was to find an algorithm which would
indicate whether or not a diophantine equation with integral coefficients has a
solution in the ...
From earliest infancy, a typically developing child imitates or mirrors the facial expressions, postures and gestures, and emotional behavior of others. Where does this capacity come from, and what function does it serve? What happens when imitation is impaired? Synthesizing cutting-edge research emerging from a range of disciplines, this important book examines the role of imitation in both autism and typical development. Topics include the neural and evolutionary bases of imitation, its pivotal connections to language development and relationships, and how early imitative deficits in autism might help explain the more overt social and communication problems of older children and adults.
One of the more elegant aspects of the self–other mapping hypothesis of autism
comes from its capacity for testability and the potential for such tests to generate
new and exciting leads that increase our understanding of autism. Imitation is ...
The Mind at Hand explores how artists, scientists, writers, and others - students and professionals alike - see their world, record it, revise it and come to know it. It is about the rough-drawn sketch, diagram, chart, or other graphic representation, and the focus these provide for creative work that follows from them. Such work could involve solving a problem, composing a musical score, proposing a hypothesis, creating a painting, and many other imaginative and inventive tasks. The book is for for visual learners of all kinds, for scientists as well as artists, and for anyone who keeps a journal, notebook, or lab book in order to think and create visually. It is also a book for teachers and educational administrators interested in learning about new active learning strategies involving drawing, and possible outcomes of these in classrooms. The formulas and symbols of chemistry, the diagrams and features of the landscape in geology, and the organisms and structures in biology, are all represented as images on pages or screens. Students create them when studying, problem-solving, and learning. Once in front of their eyes, they can be reconsidered, revised, and reconstructed into new images for further consideration and revision. It is how artists often create a painting or a sculpture, and how scientists come up with new hypotheses. This is how learning occurs, not only across disciplines, but in all kinds of creative endeavors, through a continuing process of creation, revision, and re-creation. It is drawing-to-learn.
GEORGE WALD CHAPTER EIGHT Drawing To Learn About Atoms And
Molecules Drawings, Maps, and Symbols As recounted in Chapter Two, I began
to think about drawings and their relationship to the objects they represent when
using ...
