Sciweavers

CORR
2011
Springer
184views Education» more  CORR 2011»
13 years 6 months ago
A Doubly Exponentially Crumbled Cake
Weconsiderthefollowingcakecuttinggame:AlicechoosesasetPofnpointsin thesquare(cake)[0,1]2,where(0,0)∈P;Bobcutsoutnaxis-parallelrectangles withdisjointinteriors,eachofthemhavingap...
Tobias Christ, Andrea Francke, Heidi Gebauer, Jir&...
CORR
2011
Springer
189views Education» more  CORR 2011»
13 years 6 months ago
Peer Effects and Stability in Matching Markets
Many-to-one matching markets exist in numerous different forms, such as college admissions, matching medical interns to hospitals for residencies, assigning housing to college st...
Elizabeth Bodine-Baron, Christina Lee, Anthony Cho...
CORR
2011
Springer
170views Education» more  CORR 2011»
13 years 6 months ago
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann,...
CORR
2011
Springer
173views Education» more  CORR 2011»
13 years 6 months ago
Linear Dependent Types and Relative Completeness
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
Ugo Dal Lago, Marco Gaboardi
CORR
2011
Springer
147views Education» more  CORR 2011»
13 years 6 months ago
Realization theory of discrete-time linear switched systems
The paper presents realization theory of discrete-time linear switched systems (abbreviated by DTLSSs). We present necessary and sufficient conditions for an input-output map to ...
Mihály Petreczky, Laurent Bako, Jan H. van ...
CORR
2011
Springer
173views Education» more  CORR 2011»
13 years 6 months ago
U-Sem: Semantic Enrichment, User Modeling and Mining of Usage Data on the Social Web
With the growing popularity of Social Web applications, more and more user data is published on the Web everyday. Our research focuses on investigating ways of mining data from su...
Fabian Abel, Ilknur Celik, Claudia Hauff, Laura Ho...
CORR
2011
Springer
153views Education» more  CORR 2011»
13 years 6 months ago
A short proof of the Quantum Substate Theorem
The Quantum Substate Theorem due to Jain, Radhakrishnan, and Sen [7] gives us a powerful operational interpretation of the observational divergence of two quantum states, a quanti...
Rahul Jain, Ashwin Nayak
CORR
2011
Springer
200views Education» more  CORR 2011»
13 years 6 months ago
Sequential Analysis in High Dimensional Multiple Testing and Sparse Recovery
—This paper studies the problem of high-dimensional multiple testing and sparse recovery from the perspective of sequential analysis. In this setting, the probability of error is...
Matt Malloy, Robert Nowak
CORR
2011
Springer
164views Education» more  CORR 2011»
13 years 6 months ago
Irreducible triangulations of surfaces with boundary
A triangulation of a surface is irreducible if no edge can be contracted to produce a triangulation of the same surface. In this paper, we investigate irreducible triangulations o...
Alexandre Boulch, Éric Colin de Verdi&egrav...