Results 1  10
of
11,343
Possible behaviours for the Mitchell ordering
, 1998
"... We use a mixture of forcing and inner models techniques to get some results on the possible behaviours of the Mitchell ordering at a measurable . ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
We use a mixture of forcing and inner models techniques to get some results on the possible behaviours of the Mitchell ordering at a measurable .
The genetical evolution of social behaviour
 I. J. Theor. Biol.
, 1964
"... A genetical mathematical model is described which allows for interactions between relatives on one another's fitness. Making use of Wright's Coefficient of Relationship as the measure of the proportion of replica genes in a relative, a quantity is found which incorporates the maximizing p ..."
Abstract

Cited by 932 (2 self)
 Add to MetaCart
property of Darwinian fitness. This quantity is named "inclusive fitness". Species following the model should tend to evolve behaviour such that each organism appears to be attempting to maximize its inclusive fitness. This implies a limited restraint on selfish competitive behaviour
Formalising trust as a computational concept
, 1994
"... Trust is a judgement of unquestionable utility — as humans we use it every day of our lives. However, trust has suffered from an imperfect understanding, a plethora of definitions, and informal use in the literature and in everyday life. It is common to say “I trust you, ” but what does that mean? T ..."
Abstract

Cited by 529 (6 self)
 Add to MetaCart
exploration of the possibilities of future work in the area. Summary 1. Overview This thesis presents an overview of trust as a social phenomenon and discusses it formally. It argues that trust is: • A means for understanding and adapting to the complexity of the environment. • A means of providing added
Possible behaviours for the Mitchell ordering II
 IN PREPARATION
, 1998
"... We analyse the Mitchell ordering in a model where is P 2  hypermeasurable and 2 2 ? (2 ) + . ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
We analyse the Mitchell ordering in a model where is P 2  hypermeasurable and 2 2 ? (2 ) + .
POSSIBLE BEHAVIOURS OF THE REFLECTION ORDERING OF STATIONARY SETS
, 1993
"... If S, T are stationary subsets of a regular uncountable cardinal κ, we say that S reflects fully in T, S < T, if for almost all α ∈ T (except a nonstationary set) S ∩ α is stationary in α. This relation is known to be a wellfounded partial ordering. We say that a given poset P is realized by th ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
If S, T are stationary subsets of a regular uncountable cardinal κ, we say that S reflects fully in T, S < T, if for almost all α ∈ T (except a nonstationary set) S ∩ α is stationary in α. This relation is known to be a wellfounded partial ordering. We say that a given poset P is realized by the reflection ordering if there is a maximal antichain 〈Xp; p ∈ P 〉 of stationary subsets of Reg(κ) so that ∀p, q ∈ P ∀S ⊆ Xp, T ⊆ Xq stationary: (S < T ↔ p <P q). We prove that if V = L [ − → U], o U (κ) = κ ++, and P is an arbitrary wellfounded poset of cardinality ≤ κ + then there is a generic extension where P is realized by the reflection ordering on κ.
Brane Calculi Systems: A Static Preview of their Possible Behaviour
"... We improve the precision of a previous Control Flow Analysis for Brane Calculi [4], by adding information on the context and introducing causality information on the membranes. This allows us to prove some biological properties on the behaviour of systems specified in Brane Calculi. 1 ..."
Abstract
 Add to MetaCart
We improve the precision of a previous Control Flow Analysis for Brane Calculi [4], by adding information on the context and introducing causality information on the membranes. This allows us to prove some biological properties on the behaviour of systems specified in Brane Calculi. 1
Distributed Optimization by Ant Colonies
, 1991
"... Ants colonies exhibit very interesting behaviours: even if a single ant only has simple capabilities, the behaviour of a whole ant colony is highly structured. This is the result of coordinated interactions. But, as communication possibilities among ants are very limited, interactions must be based ..."
Abstract

Cited by 332 (22 self)
 Add to MetaCart
Ants colonies exhibit very interesting behaviours: even if a single ant only has simple capabilities, the behaviour of a whole ant colony is highly structured. This is the result of coordinated interactions. But, as communication possibilities among ants are very limited, interactions must be based
Testing the Equality of Prediction Mean Square Errors
 INTERNATIONAL JOURNAL OF FORECASTING
, 1997
"... Given two sources of forecasts of the same quantity, it is possible to compare prediction records. In particular, it can be useful to test the hypothesis of equal accuracy in forecast performance. We analyse the behaviour of two possible tests, and of modifications of these tests designed to circumv ..."
Abstract

Cited by 286 (1 self)
 Add to MetaCart
Given two sources of forecasts of the same quantity, it is possible to compare prediction records. In particular, it can be useful to test the hypothesis of equal accuracy in forecast performance. We analyse the behaviour of two possible tests, and of modifications of these tests designed
seL4: Formal Verification of an OS Kernel
 ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES
, 2009
"... Complete formal verification is the only known way to guarantee that a system is free of programming errors. We present our experience in performing the formal, machinechecked verification of the seL4 microkernel from an abstract specification down to its C implementation. We assume correctness of ..."
Abstract

Cited by 297 (47 self)
 Add to MetaCart
that the implementation always strictly follows our highlevel abstract specification of kernel behaviour. This encompasses traditional design and implementation safety properties such as the kernel will never crash, and it will never perform an unsafe operation. It also proves much more: we can predict precisely how
High Performance Parametric Modeling with Nimrod/G: Killer Application for the Global Grid?
, 2000
"... This paper examines the role of parametric modeling as an application for the global computing grid, and explores some heuristics which make it possible to specify soft real time deadlines for larger computational experiments. We demonstrate the scheme with a case study utilizing the Globus toolkit ..."
Abstract

Cited by 283 (54 self)
 Add to MetaCart
This paper examines the role of parametric modeling as an application for the global computing grid, and explores some heuristics which make it possible to specify soft real time deadlines for larger computational experiments. We demonstrate the scheme with a case study utilizing the Globus toolkit
Results 1  10
of
11,343