Sciweavers

2470 search results - page 223 / 494
» Liveness-Preserving Simulation Relations
Sort
View
EJWCN
2010
118views more  EJWCN 2010»
15 years 27 days ago
Field Division Routing
Multi-hop communication objectives and constraints impose a set of challenging requirements that create difficult conditions for simultaneous optimization of features such as scala...
Milenko Drinic, Darko Kirovski, Lin Yuan, Gang Qu,...
JCNS
2010
90views more  JCNS 2010»
15 years 25 days ago
Fast Kalman filtering on quasilinear dendritic trees
Optimal filtering of noisy voltage signals on dendritic trees is a key problem in computational cellular neuroscience. However, the state variable in this problem -- the vector of...
Liam Paninski
MMAS
2010
Springer
15 years 24 days 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...
SEMWEB
2010
Springer
15 years 23 days ago
Theoretical foundations and engineering tools for building ontologies as reference conceptual models
Abstract. Perhaps the most fundamental notion underlying the desiderata for a successful Semantic Web is Semantic Interoperability. In this context, ontologies have been more and m...
Giancarlo Guizzardi
SIAMIS
2010
190views more  SIAMIS 2010»
15 years 23 days ago
Analysis and Generalizations of the Linearized Bregman Method
This paper analyzes and improves the linearized Bregman method for solving the basis pursuit and related sparse optimization problems. The analysis shows that the linearized Bregma...
Wotao Yin