Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001–2005)

Overvew of the contents of the volume "Semantic and logical foundations of global computing

Logical Criticism of Buddhist Doctrines

Logical Criticism of Buddhist Doctrines is a ‘thematic compilation’ by Avi Sion. It collects in one volume the essays that he has written on this subject over a period of some 15 years after the publication of his first book on Buddhism, Buddhist Illogic. It comprises expositions and empirical and logical critiques of many (though not all) Buddhist doctrines, such as impermanence, interdependence, emptiness, the denial of self or soul. It includes his most recent essay, regarding the five skandhas doctrine

Volume Management in SAN Environment

Logical volume managers have long been key components of a storage system. Their key features are creation of logical or virtual views of physical storage devices and support for various software RAID levels. These make it possible to overcome the limits to capacity, availability and performance of a physical storage device. Most logical volume managers are operated in a single system environment. They are not adequate for SAN (storage area network) environments where several hosts share and access a logical volume at the same time. Some recent logical volume managers are run in a multi-host environment. However, they cannot support the enterprise computing environments in which the system must support 24*7*365 uptime operations such as online resizing and online backup. We propose a logical volume manager called \u27SANtopia Volume Manager\u27 that supports multihost environments and provides various volume management features to support enterprise computing. Also it is a cluster enabled logical volume manager that maximizes the parallelism for high performance, and provides high scalability and high availability

Active volume: An architecture for efficient fault-tolerant quantum computers with limited non-local connections

In existing general-purpose architectures for surface-code-based fault-tolerant quantum computers, the cost of a quantum computation is determined by the circuit volume, i.e., the number of qubits multiplied by the number of non-Clifford gates. We introduce an architecture using non-2D-local connections in which the cost does not scale with the number of qubits, and instead only with the number of logical operations. Each logical operation has an associated active volume, such that the cost of a quantum computation can be quantified as a sum of active volumes of all operations. For quantum computations with thousands of logical qubits, the active volume can be orders of magnitude lower than the circuit volume. Importantly, the architecture does not require all-to-all connectivity between N logical qubits. Instead, each logical qubit is connected to O(log N) other sites. As an example, we show that, using the same number of logical qubits, a 2048-bit factoring algorithm can be executed 44 times faster than on a general-purpose architecture without non-local connections. With photonic qubits, long-range connections are available and we show how photonic components can be used to construct a fusion-based active-volume quantum computer

Presuppositions in Context: Constructing Bridges

About the book: The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997, gave rise to the present book, which contains a selection of the papers presented there, thoroughly refereed and revised. The treatment of contexts as bona fide objects of logical formalisation has gained wide acceptance, following the seminal impetus given by McCarthy in his Turing Award address. The field of natural language offers a particularly rich variety of examples and challenges to researchers concerned with the formal modelling of context, and several chapters in the volume deal with contextualisation in the setting of natural language. Others adopt a purely formal-logical viewpoint, seeking to develop general models of even wider applicability. The 12 chapters are organised in three groups: formalisation of contextual information in natural language understanding and generation, the application of context in mechanised reasoning domains, and novel non-classical logics for contextual application

U.S. Securities Law for International Financial Transactions and Capital Markets

This book review assesses Guy P. Lander\u27s two-volume work on U.S. Securities Law for International Financial Transactions and Capital Markets. The review finds Landers’ volumes reliable and complete, believing that they will be utilized in much the same manner and with the degree of regularity with which such established treatises as the Lipton and Steinberger work, Takeovers & Freeze-Outs, are consulted. The present state of U.S. securities laws and their application to international transactions are presented in a logical and instructive fashion. The material is presented with clarity, but without oversimplification

The shuttle main engine: A first look

Anyone entering the Space Shuttle Main Engine (SSME) team attends a two week course to become familiar with the design and workings of the engine. This course provides intensive coverage of the individual hardware items and their functions. Some individuals, particularly those involved with software maintenance and development, have felt overwhelmed by this volume of material and their lack of a logical framework in which to place it. To provide this logical framework, it was decided that a brief self-taught introduction to the overall operation of the SSME should be designed. To aid the people or new team members with an interest in the software, this new course should also explain the structure and functioning of the controller and its software. This paper presents a description of this presentation