Transactions on Computational Science XXIV

Transactions on Computational Science XXIV
Author: Marina L. Gavrilova
Publisher: Springer
Total Pages: 159
Release: 2014-12-06
Genre: Computers
ISBN: 3662457113

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 24th issue of the Transactions on Computational Science journal, guest edited by Himanshu Thapliyal and Nagarajan Ranganathan, is devoted to the topic of reversible computing. It is comprised of eight selected papers on reversible energy recovery designs, design of reversible logic gates and arithmetic circuits in optical computing, reversible basic linear algebra subprograms, quantum circuit description language, and reversible circuit and logic synthesis.

Reversible Computation

Reversible Computation
Author: Iain Phillips
Publisher: Springer
Total Pages: 255
Release: 2017-06-26
Genre: Computers
ISBN: 3319599364

This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. The papers are organized in the following topical sections: foundations; reversible circuit synthesis; reversible circuit optimization; testing and fault tolerance; and quantum circuits.

Information Modelling and Knowledge Bases XXIV

Information Modelling and Knowledge Bases XXIV
Author: Peter Vojtáš
Publisher: IOS Press
Total Pages: 376
Release: 2013-01-15
Genre: Computers
ISBN: 1614991766

With the growth in our reliance on information systems and computer science information modeling and knowledge bases have become a focus for academic attention and research. The amount and complexity of information, the number of levels of abstraction and the size of databases and knowledge bases all continue to increase, and new challenges and problems arise every day.This book is part of the series Information Modelling and Knowledge Bases, which concentrates on a variety of themes such as the design and specification of information systems, software engineering and knowledge and process management.

STACS 90

STACS 90
Author: Christian Choffrut
Publisher: Springer Science & Business Media
Total Pages: 324
Release: 1990-02-07
Genre: Computers
ISBN: 9783540522829

The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.

Data Refinement

Data Refinement
Author: W.-P. de Roever
Publisher: Cambridge University Press
Total Pages: 439
Release: 1998-12-03
Genre: Computers
ISBN: 0521641705

The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation.

Distributed Computer Systems

Distributed Computer Systems
Author: H. S. M. Zedan
Publisher: Butterworth-Heinemann
Total Pages: 320
Release: 2014-05-12
Genre: Computers
ISBN: 1483192326

Distributed Computer Systems: Theory and Practice is a collection of papers dealing with the design and implementation of operating systems, including distributed systems, such as the amoeba system, argus, Andrew, and grapevine. One paper discusses the concepts and notations for concurrent programming, particularly language notation used in computer programming, synchronization methods, and also compares three classes of languages. Another paper explains load balancing or load redistribution to improve system performance, namely, static balancing and adaptive load balancing. For program efficiency, the user can choose from various debugging approaches to locate or fix errors without significantly disturbing the program behavior. Examples of debuggers pertain to the ada language and the occam programming language. Another paper describes the architecture of a real-time distributed database system used for computer network management, monitoring integration, as well as administration and control of both local area or wide area communications networks. The book can prove helpful to programmers, computer engineers, computer technicians, and computer instructors dealing with many aspects of computers, such as programming, hardware interface, networking, engineering or design.

Bioengineering and Biophysical Aspects of Electromagnetic Fields, Fourth Edition

Bioengineering and Biophysical Aspects of Electromagnetic Fields, Fourth Edition
Author: Ben Greenebaum
Publisher: CRC Press
Total Pages: 537
Release: 2018-11-02
Genre: Technology & Engineering
ISBN: 1351737546

The two volumes of this new edition of the Handbook cover the basic biological, medical, physical, and electrical engineering principles. They also include experimental results concerning how electric and magnetic fields affect biological systems—both as potential hazards to health and potential tools for medical treatment and scientific research. They also include material on the relationship between the science and the regulatory processes concerning human exposure to the fields. Like its predecessors, this edition is intended to be useful as a reference book but also for introducing the reader to bioelectromagnetics or some of its aspects. FEATURES New topics include coverage of electromagnetic effects in the terahertz region, effects on plants, and explicitly applying feedback concepts to the analysis of biological electromagnetic effects Expanded coverage of electromagnetic brain stimulation, characterization and modeling of epithelial wounds, and recent lab experiments on at all frequencies Section on background for setting standards and precautionary principle Discussion of recent epidemiological, laboratory, and theoretical results; including: WHO IARC syntheses of epidemiological results on both high and low frequency fields, IITRI lab study of cancer in mice exposed to cell phone-like radiation, and other RF studies All chapters updated by internationally acknowledged experts in the field

Theoretical Aspects of Computing - ICTAC 2005

Theoretical Aspects of Computing - ICTAC 2005
Author: Dang Van Hung
Publisher: Springer
Total Pages: 628
Release: 2005-10-21
Genre: Computers
ISBN: 3540320725

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.

Computing and Combinatorics

Computing and Combinatorics
Author: Zhipeng Cai
Publisher: Springer
Total Pages: 704
Release: 2014-07-05
Genre: Computers
ISBN: 3319087835

This book constitutes the refereed proceedings of the 20th International Conference on Computing and Combinatorics, COCOON 2014, held in Atlanta, GA, USA, in August 2014. The 51 revised full papers presented were carefully reviewed and selected from 110 submissions. There was a co-organized workshop on computational social networks (CSoNet 2014) where 8 papers were accepted. The papers cover the following topics: sampling and randomized methods; logic, algebra and automata; database and data structures; parameterized complexity and algorithms; computational complexity; computational biology and computational geometry; approximation algorithm; graph theory and algorithms; game theory and cryptography; scheduling algorithms and circuit complexity and CSoNet.

The Second Age of Computer Science

The Second Age of Computer Science
Author: Subrata Dasgupta
Publisher: Oxford University Press
Total Pages: 361
Release: 2018
Genre: Computers
ISBN: 0190843861

Between the genesis of computer science in the 1960s and the advent of the World Wide Web around 1990, computer science evolved in significant ways. The author has termed this period the "second age of computer science." This book describes its evolution in the form of several interconnected parallel histories.