Sciweavers

1969 search results - page 32 / 394
» Financial Theory 1
Sort
View
BIRTHDAY
2006
Springer
14 years 16 days ago
Probability Theory on IF Events
Following M. Krachounov ([5]), max and min operations with fuzzy sets are considered instead of Lukasiewicz ones ([6], [7], [8], [9]). Her the domain F of a probability m : F [0, ...
Beloslav Riecan
FLOPS
2006
Springer
14 years 14 days ago
A Computational Approach to Pocklington Certificates in Type Theory
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
Benjamin Grégoire, Laurent Théry, Be...
NECO
2008
69views more  NECO 2008»
13 years 8 months ago
Theory of Input Spike Auto- and Cross-Correlations and Their Effect on the Response of Spiking Neurons
Spike correlations between neurons are ubiquitous in the cortex, but their role is at present not understood. Here we describe the firing response of a leaky integrate-and-fire ne...
Rubén Moreno-Bote, Alfonso Renart, Né...
APAL
2002
56views more  APAL 2002»
13 years 8 months ago
Proof theory in the abstract
eory in the Abstract J. M. E. Hyland June 7, 2001 Dedicated to Anne Troelstra on the occasion of his 60th birthday: with great affection and respect, this small tribute to his infl...
J. M. E. Hyland
INFOCOM
2010
IEEE
13 years 6 months ago
An Axiomatic Theory of Fairness in Network Resource Allocation
We present a set of five axioms for fairness measures in resource allocation. A family of fairness measures satisfying the axioms is constructed. Well-known notions such as -fairne...
Tian Lan, David Kao, Mung Chiang, Ashutosh Sabharw...