Sciweavers

2703 search results - page 223 / 541
» Working Class Hero
Sort
View
COMPGEOM
2008
ACM
15 years 8 months ago
Delpsc: a delaunay mesher for piecewise smooth complexes
This video presents the working of a new algorithm/software called DelPSC that meshes piecewise smooth complexes in three dimensions with Delaunay simplices. Piecewise smooth comp...
Tamal K. Dey, Joshua A. Levine
DNA
2008
Springer
104views Bioinformatics» more  DNA 2008»
15 years 8 months ago
Self-assembly of Discrete Self-similar Fractals
In this paper, we search for theoretical limitations of the Tile Assembly Model (TAM), along with techniques to work around such limitations. Specifically, we investigate the self...
Matthew J. Patitz, Scott M. Summers
EWCBR
2008
Springer
15 years 8 months ago
Conservative Adaptation in Metric Spaces
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...
Julien Cojan, Jean Lieber
FMCO
2008
Springer
109views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Session-Based Compilation Framework for Multicore Programming
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Herv&...
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt