نتایج جستجو برای Relative Content

تعداد نتایج: 562100  

2003
Peter A. Cholak, Peter G. Hinman,

A result of Soare and Stob asserts that for any non-recursive r.e. set C, there exists a r.e.[C] set A such that A⊕C is not of r.e. degree. A set Y is called [of] m-REA (m-REA[C]) [degree] iff it is [Turing equivalent to] the result of applying m-many iterated ‘hops’ to the empty set (to C), where a hop is any function of the form X 7→ X ⊕W e . The cited result is the special case m = 0, n = 1 ...

2005
Johan W. Klüwer, Arild Waaler,

We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure implicit in a trust relation can be made fully explicit by means of a lattice and how a system of default expectations arises from a systematic interpretation. The default structure lends itself to formal interpretatio...

Journal: :J. Symb. Log. 1998
Ulrich Kohlenbach,

In a previous paper [10] we introduced a hierarchy (GnA )n∈IN of subsystems of classical arithmetic in all finite types where the growth of definable functions of GnA ω corresponds to the well–known Grzegorczyk hierarchy. Let AC–qf denote the schema of quantifier–free choice. [8],[10] and subsequent papers (under preparation) study various analytical principles Γ in the context of the theories ...

2003
Mike Hazas,

Many ubiquitous computing applications rely upon location information describing the positions of people and devices. To date, location systems for ubiquitous computing have commonly supplied position data which has a single system-wide reference [1]. Examples include 3D coordinates inside a building, or public areas on a campus. In order to provide statically-referenced data, such systems nece...

2003
Albert Krohn,

Positioning of mobile devices is a core requirement in many mobile computing applications. Typically, such applications use external infrastructure installed in the environment to obtain position information. Several different technologies have been investigated such as ultra sound, magnetic fields or inertial systems. In contrast to most of the established location systems, a promising approac...

2017
RADHIKA GUPTA,

In this paper we define currents relative to a free factor system. We prove that a fully irreducible outer automorphism relative to a free factor system acts with uniform north-south dynamics on a subspace of the space of projective relative currents.

2015
Christina Boucher, Alexander Bowe, Travis Gagie, Giovanni Manzini, Jouni Sirén,

Motivated by the problem of storing coloured de Bruijn graphs, we show how, if we can already support fast select queries on one string, then we can store a little extra information and support fairly fast select queries on a similar string.

2008
Brian Whited, Jarek Rossignac,

Solid models may be rounded through filleting or blending operations. In 3D, the faces created by rounding are portions of the canal surface bounding the region swept by a ball (of constant or varying radius) as the ball rolls on (i.e., moves while maintaining tangential contact with) the two solids. Procedural or algebraic definitions of how the radius of the ball varies as it rolls may prove ...

2006
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu,

A safety property restricts the set of reachable states. In this paper, we introduce a notion of relative safety which states that certain program states are reachable provided certain other states are. A key, but not exclusive, application of this method is in representing symmetry in a program. Here, we show that relative safety generalizes the programs that are presently accommodated by exis...

2016
Andrew Bacon,

The fact that physical laws often admit certain kinds of space-time symmetries is often thought to be problematic for substantivalism — the view that space-time is as real as the objects it contains. The most prominent alternative, relationism, avoids these problems but at the cost of giving abstract objects (rather than space-time points) a pivotal role in the fundamental metaphysics. This inc...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید