Sciweavers

1526 search results - page 141 / 306
» Computer algebra in systems biology
Sort
View
192
Voted
ECCV
1992
Springer
15 years 11 months ago
Constraints for Recognizing and Locating Curved 3D Objects from Monocular Image Features
Abstract. This paper presents viewpoint-dependent constraints that relate image features such as t-junctions and inflections to the pose of curved 3D objects. These constraints can...
David J. Kriegman, B. Vijayakumar, Jean Ponce
178
Voted
CMSB
2008
Springer
15 years 8 months ago
Compositional Definitions of Minimal Flows in Petri Nets
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
Michael Pedersen
187
Voted
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 6 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
CAP
2010
15 years 2 months ago
Parallel sparse polynomial division using heaps
We present a parallel algorithm for exact division of sparse distributed polynomials on a multicore processor. This is a problem with significant data dependencies, so our solutio...
Michael B. Monagan, Roman Pearce
215
Voted
BICOB
2009
Springer
16 years 1 months ago
Towards Large-Scale Molecular Dynamics Simulations on Graphics Processors
Atomistic molecular dynamics (MD) simulations are a vital tool in chemical research, as they are able to provide a view of chemical systems and processes that is not obtainable thr...
Joseph E. Davis, Adnan Ozsoy, Sandeep Patel, Miche...