Sciweavers

377 search results - page 38 / 76
» Advanced Microeconomic Theory
Sort
View
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 7 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
JSAT
2008
83views more  JSAT 2008»
13 years 7 months ago
The First and Second Max-SAT Evaluations
We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the ...
Josep Argelich, Chu Min Li, Felip Manyà, Jo...
TIP
2008
98views more  TIP 2008»
13 years 7 months ago
On the Construction of Invertible Filter Banks on the 2-Sphere
The theories of signal sampling, filter banks, wavelets and "overcomplete wavelets" are well-established for the Euclidean spaces and are widely used in the processing a...
B. T. Thomas Yeo, Wanmei Ou, Polina Golland
IJKL
2007
73views more  IJKL 2007»
13 years 7 months ago
Societal transformations, globalisation and the knowledge society
: In what sense, then, can it be said that contemporary societies are becoming more and more dependent on the production, dissemination and use of knowledge? Are we witnessing a ch...
Nico Stehr
RML
2002
82views Business» more  RML 2002»
13 years 7 months ago
A Nonmonotonic Rule System using Ontologies
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
Grigoris Antoniou