Search Sciweavers | Sciweavers

18

IGPL
2010

120views more IGPL 2010»

A complete axiom set for Hansson's deontic logic DSDL2

13 years 6 months ago

The main contribution of this paper is a (strong) completeness result for an axiomatization of Hansson [13]’s deontic system DSDL2, whose semantics involves a non-necessarily tr...

Xavier Parent

claim paper

Read More »

22

click to vote

FS
2006

105views more FS 2006»

Financial equilibria in the semimartingale setting: Complete markets and markets with withdrawal constraints

13 years 7 months ago

Download www.ma.utexas.edu

We prove existence of stochastic financial equilibria on filtered spaces more general than the ones generated by finite-dimensional Brownian motions. These equilibria span complete...

Gordan Zitkovic

claim paper

Read More »

22

click to vote

IPL
2006

83views more IPL 2006»

The Pair Completion algorithm for the Homogeneous Set Sandwich Problem

13 years 7 months ago

Download www.cos.ufrj.br

A homogeneous set is a non-trivial module of a graph, i.e. a nonempty, non-unitary, proper vertex subset such that all its elements present the same outer neighborhood. Given two ...

Claudson F. Bornstein, Celina M. Herrera de Figuei...

claim paper

Read More »

20

click to vote

CORR
1999
Springer

65views Education» more CORR 1999»

Unambiguous Computation: Boolean Hierarchies and Sparse Turing-Complete Sets

13 years 7 months ago

Download ccc.cs.uni-duesseldorf.de

It is known that for any class C closed under union and intersection, the Boolean closure of C, the Boolean hierarchy over C, and the symmetric difference hierarchy over C all are ...

Lane A. Hemaspaandra, Jörg Rothe

claim paper

Read More »

16

click to vote

RECOMB
2003
Springer

111views Computational Biology» more RECOMB 2003»

A complete and effective move set for simplified protein folding

14 years 7 months ago