Sciweavers

8486 search results - page 165 / 1698
» Ordered Enumeration Method
Sort
View
IJAIT
2008
107views more  IJAIT 2008»
13 years 10 months ago
Haplotype Inference with Boolean Satisfiability
One of the main topics of research in genomics is determining the relevance of mutations, described in haplotype data, as causes of some genetic diseases. However, due to technolo...
Inês Lynce, João Marques-Silva
SIAMDM
2002
124views more  SIAMDM 2002»
13 years 10 months ago
Counting Claw-Free Cubic Graphs
Let Hn be the number of claw-free cubic graphs on 2n labeled nodes. Combinatorial reductions are used to derive a second order, linear homogeneous differential equation with polyno...
Edgar M. Palmer, Ronald C. Read, Robert W. Robinso...
JOT
2010
76views more  JOT 2010»
13 years 8 months ago
A Program Transformation Technique to Support AOP within C++ Template
Aspect-oriented programming (AOP) provides assistance in modularizing concerns that crosscut the boundaries of system decomposition. Aspects have the potential to interact with ma...
Suman Roychoudhury, Jeff Gray, Jing Zhang, Purusho...
CAGD
2004
168views more  CAGD 2004»
13 years 10 months ago
A finite element method for surface restoration with smooth boundary conditions
In surface restoration usually a damaged region of a surface has to be replaced by a surface patch which restores the region in a suitable way. In particular one aims for C1-conti...
Ulrich Clarenz, Udo Diewald, G. Dziuk, Martin Rump...
SIAMSC
2010
118views more  SIAMSC 2010»
13 years 5 months ago
Optimal Explicit Strong-Stability-Preserving General Linear Methods
This paper constructs strong-stability-preserving general linear time-stepping methods that are well suited for hyperbolic PDEs discretized by the method of lines. These methods ge...
Emil M. Constantinescu, Adrian Sandu