B. L. Clarke, following a proposal of A. N. Whitehead, presents an axiomatized calculus of individuals based on a primitive predicate "x is connected with y". In this article we show that a proper subset of Clarke's system of axioms characterizes the complete orthocomplemented lattices, while the whole of Clarke's system characterizes the complete atomless Boolean algebras. / Introduction In [2...

The connection method (CM) provides a general framework for automated deduction. It differs from similar deductive frameworks, (such as resolution or tableaux), through its unique feature of establishing the truth of a statement by a thorough analysis of the syntactic structure of the statement, without cost-intensive search for some derivation in the traditional sense of logic. It may thus be ...

0. Introduction 1. Lie Atoms 1.1 Basic notions 1.2 Representations 1.3 Universal enveloping atom 2. Atomic deformation theory 3. Universal deformations 4. The Hitchin symbol 4.1 The definition 4.2 Cohomological formulae 5. Moduli modules revisited 6. Tangent algbera 7. Differential operators 8. Connection algebra 9. Relative deformations over a global base 10.The Atiyah class of a deformation 1...

The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements)...

Multiple MCS support using an enhanced version of the MARS server. Status of this Memo This document is an Internet-Draft. Internet-Drafts are working documents of the Internet Engineering Task Force (IETF), its areas, and its working groups. Note that other groups may also distribute working documents as Internet-Drafts. Internet-Drafts are draft documents v...

Suppose you want to evaluate a graph parameter on a graph G. There is a cut of size k in a graph, and while you know everything about one side of the cut, you have to pay for information about the other side. How much information do you need about the other side? To avoid the trivial solution “just tell me the value of the parameter, if my side looks like this”, let us assume that the informati...

To date, various connection rerouting methods for connection-oriented mobile networks have been proposed. The previous methods, however, are limited to specific topologies or environments. In this paper, we propose the connection-information-based rerouting widely applicable to various connection-oriented mobile networks. This method requires neither a specific topology nor a complex connection...

Today connections are playing an important role in the steel frames subjected to lateral seismic loading. The steel extended end-plate moment connection can play an important role in the steel frame when subjected to seismic loadings. In the past, this type of connection has been under investigation mainly when it was subjected to monotonic loading. After major recent earthquakes and failure of...

This paper evaluates the effect of slot existence with limited length between flanges and web junction of I-shaped beams at the region of moment connections on vertical force and shear stress distribution in beam flanges and web at connection section in comparison with classical theory of stress distribution. The main purpose of this research is to evaluate the efficiency of the slot in connect...