Algebra, Meaning, and Computation

Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Author: Kokichi Futatsugi

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 642

View: 755

Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, logics in computer science, semiotics, interface design, multimedia, and consciousness, to mention just some of the areas, have all been enriched in fundamental ways by his ideas. This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation. The papers were presented at a Symposium in San Diego, California, USA in June 2006. Both the Festschrift volume and the Symposium allow the articulation of a retrospective and prospective view of a range of related research topics by key members of the research community in computer science and other fields connected with Joseph Goguen's work.

Algebra and Coalgebra in Computer Science

Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Author: Alexander Kurz

Publisher: Springer

ISBN:

Category: Computers

Page: 457

View: 850

This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT. This year the conference was held in Udine, Italy, September 7-10, 2009. The 23 full papers were carefully reviewed and selected from 42 submissions. They are presented together with four invited talks and workshop papers from the CALCO-tools Workshop. The conference was divided into the following sessions: algebraic effects and recursive equations, theory of coalgebra, coinduction, bisimulation, stone duality, game theory, graph transformation, and software development techniques.

Foundations of Software Science and Computational Structures

11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings

Author: Roberto Amadio

Publisher: Springer

ISBN:

Category: Computers

Page: 508

View: 845

This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems.

Logic, Meaning and Computation

Essays in Memory of Alonzo Church

Author: C. Anthony Anderson

Publisher: Springer Science & Business Media

ISBN:

Category: Philosophy

Page: 627

View: 740

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.

Linear Algebra

Author: Harold M. Edwards

Publisher: Springer Science & Business Media

ISBN:

Category: Mathematics

Page: 184

View: 830

* Proposes a radically new and thoroughly algorithmic approach to linear algebra * Each proof is an algorithm described in English that can be translated into the computer language the class is using and put to work solving problems and generating new examples * Designed for a one-semester course, this text gives the student many examples to work through and copious exercises to test their skills and extend their knowledge of the subject

Algebraic Statistics for Computational Biology

Author: L. Pachter

Publisher: Cambridge University Press

ISBN:

Category: Mathematics

Page: 420

View: 314

This book, first published in 2005, offers an introduction to the application of algebraic statistics to computational biology.

Symbolic and Numerical Scientific Computation

Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers

Author: Franz Winkler

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 386

View: 443

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001. The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in algebra and geometry, and applications in physics and engineering.