Papers


Book Description




Symbolic and Algebraic Computation


Book Description

The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education.




Transactions


Book Description







Palaeohistoria 53/54 (2011/2012)


Book Description

The annual journal Palaeohistoria is edited by the staff of the Groningen Institute of Archaeology, and carries detailed articles on material culture, analysis of radiocarbon data and the results of excavations, surveys and coring campaigns.




Classical and Quantum Computation


Book Description

An introduction to a rapidly developing topic: the theory of quantum computing. Following the basics of classical theory of computation, the book provides an exposition of quantum computation theory. In concluding sections, related topics, including parallel quantum computation, are discussed.




Algebraic Number Theory


Book Description

Ideal either for classroom use or as exercises for mathematically minded individuals, this text introduces elementary valuation theory, extension of valuations, local and ordinary arithmetic fields, and global, quadratic, and cyclotomic fields.




Constraint Programming and Decision Making


Book Description

In many application areas, it is necessary to make effective decisions under constraints. Several area-specific techniques are known for such decision problems; however, because these techniques are area-specific, it is not easy to apply each technique to other applications areas. Cross-fertilization between different application areas is one of the main objectives of the annual International Workshops on Constraint Programming and Decision Making. Those workshops, held in the US (El Paso, Texas), in Europe (Lyon, France) and in Asia (Novosibirsk, Russia), from 2008 to 2012, have attracted researchers and practitioners from all over the world. This volume presents extended versions of selected papers from those workshops. These papers deal with all stages of decision making under constraints: (1) formulating the problem of multi-criteria decision making in precise terms, (2) determining when the corresponding decision problem is algorithmically solvable; (3) finding the corresponding algorithms and making these algorithms as efficient as possible and (4) taking into account interval, probabilistic and fuzzy uncertainty inherent in the corresponding decision making problems. The resulting application areas include environmental studies (selecting the best location for a meteorological tower), biology (selecting the most probable evolution history of a species), and engineering (designing the best control for a magnetic levitation train).







Topological Groups and Related Structures


Book Description

This book presents a large amount of material, both classic and recent (on occasion, unpublished) about the relations of Algebra and Topology. It therefore belongs to the area called Topological Algebra. More specifically, the objects of the study are subtle and sometimes unexpected phenomena that occur when the continuity meets and properly feeds an algebraic operation. Such a combination gives rise to many classic structures, including topological groups and semigroups, paratopological groups, etc. Special emphasis is given to tracing the influence of compactness and its generalizations on the properties of an algebraic operation, causing on occasion the automatic continuity of the operation. The main scope of the book, however, is outside of the locally compact structures, thus distinguishing the monograph from a series of more traditional textbooks.The book is unique in that it presents very important material, dispersed in hundreds of research articles, not covered by any monograph in existence. The reader is gently introduced to an amazing world at the interface of Algebra, Topology, and Set Theory. He/she will find that the way to the frontier of the knowledge is quite short -- almost every section of the book contains several intriguing open problems whose solutions can contribute significantly to the area.