Sciweavers

4591 search results - page 139 / 919
» The Global Computer
Sort
View
109
Voted
JNS
2010
55views more  JNS 2010»
14 years 9 months ago
Initiation of Cracks in Griffith's Theory: An Argument of Continuity in Favor of Global Minimization
The initiation of a crack in a sound body is a real issue in the setting of Griffith's theory of brittle fracture. If one uses the concept of critical energy release rate (Gri...
Jean-Jacques Marigo
121
Voted
MMAS
2010
Springer
14 years 9 months ago
Global Energy Matching Method for Atomistic-to-Continuum Modeling of Self-Assembling Biopolymer Aggregates
This paper studies mathematical models of biopolymer supramolecular aggregates that are formed by the self-assembly of single monomers. We develop a new multiscale numerical appro...
Lei Zhang, Leonid Berlyand, Maxim V. Fedorov, Houm...
126
Voted
CHB
2011
93views more  CHB 2011»
14 years 6 months ago
Web Wisdom: An essay on how Web 2.0 and Semantic Web can foster a global knowledge society
Admittedly this is a presumptuous title that should never be used when reporting on individual research advances. Wisdom is just not a scientific concept. In this case, though, w...
Christopher Thomas, Amit P. Sheth
130
Voted
SODA
2012
ACM
205views Algorithms» more  SODA 2012»
13 years 5 months ago
Global minimum cuts in surface embedded graphs
We give a deterministic algorithm to find the minimum cut in a surface-embedded graph in near-linear time. Given an undirected graph embedded on an orientable surface of genus g,...
Jeff Erickson, Kyle Fox, Amir Nayyeri
221
Voted
POPL
2006
ACM
16 years 2 months ago
A fixpoint calculus for local and global program flows
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan