Sciweavers

3571 search results - page 302 / 715
» Cohen and Set Theory
Sort
View
ENTCS
2008
85views more  ENTCS 2008»
15 years 6 months ago
General Refinement, Part One: Interfaces, Determinism and Special Refinement
We introduce a general model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. We show e...
Steve Reeves, David Streader
CORR
2006
Springer
88views Education» more  CORR 2006»
15 years 6 months ago
Polynomial Time Nondimensionalisation of Ordinary Differential Equations via their Lie Point Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equation. ...
Evelyne Hubert, Alexandre Sedoglavic
CORR
2007
Springer
119views Education» more  CORR 2007»
15 years 6 months ago
Hadwiger and Helly-type theorems for disjoint unit spheres
Let S be an ordered set of disjoint unit spheres in R3 . We show that if every subset of at most six spheres from S admits a line transversal respecting the ordering, then the ent...
Otfried Cheong, Xavier Goaoc, Andreas Holmsen, Syl...
CORR
2007
Springer
148views Education» more  CORR 2007»
15 years 6 months ago
Linear time algorithms for Clobber
We prove that the single-player game clobber is solvable in linear time when played on a line or on a cycle. For this purpose, we show that this game is equivalent to an optimizat...
Vincent D. Blondel, Julien M. Hendrickx, Raphael M...
IJUFKS
2006
64views more  IJUFKS 2006»
15 years 6 months ago
Cautious Analysis of Project Risks by Interval-Valued Initial Data
One of the most common performance measures in selection and management of projects is the Net Present Value (NPV). In the paper, we study a case when initial data about the NPV p...
Lev V. Utkin