Sciweavers

15375 search results - page 79 / 3075
» cans 2008
Sort
View
JSYML
2008
86views more  JSYML 2008»
13 years 7 months ago
On Skolemization in constructive theories
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...
Matthias Baaz, Rosalie Iemhoff
JSYML
2008
112views more  JSYML 2008»
13 years 7 months ago
Internal consistency for embedding complexity
In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with ...
Sy-David Friedman, Katherine Thompson
JUCS
2008
115views more  JUCS 2008»
13 years 7 months ago
Drives and Barriers for Development of Broadband Access - CE Perspective
: Development of e-services in the CE (Central European) countries depends on a number of factors which can result in overcoming or extending digital divide between the "new&q...
Zbigniew Hulicki
MANSCI
2008
100views more  MANSCI 2008»
13 years 7 months ago
Financing the Entrepreneurial Venture
This paper is about ...nancial contracting choices for the entrepreneur. In an incomplete contracts model, the entrepreneur can design contracts contingent on three possible contr...
Jean-Etienne de Bettignies
NETWORKS
2008
13 years 7 months ago
A simple method for improving the primal simplex method for the multicommodity flow problem
We present a new efficient approach for solving the multicommodity flow problem as a sequence of subproblems, each on a very sparse but connected network. We show that each subpro...
Agustín Bompadre, James B. Orlin