9405 search results - page 240 / 1881 » Computing a Model of Set Theory |
131
click to vote
CPHYSICS
2007
15 years 4 months ago
2007
The ATLAS Collaboration[1] has been preparing for Large Hadron Collider (LHC) running for more than 20 years. By summer of 2007 we expect the first colliding beams of protons and...
164
click to vote
CVGIP
2006
15 years 4 months ago
2006
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
137
click to vote
ACSC
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a more efficient privacy preserving set intersection protocol which improves the previously known result by a factor of O(N) in both the computation and communication c...
113
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing and regulating the behavior of cardiac tissues....
148
click to vote
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...