9405 search results - page 1793 / 1881 » Computing a Model of Set Theory |
158
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Since experimental determination of protein folding pathways remains difficult, computational techniques are often used to simulate protein folding. Most current techn...
144
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
tigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from...
138
Voted
CGF
2006
15 years 3 months ago
2006
Spline curves are useful in a variety of geometric modeling and graphics applications and covering problems abound in practical settings. This work defines a class of covering dec...
159
Voted
CG
2007
Springer
15 years 3 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
144
Voted
JSAC
2007
15 years 3 months ago
2007
— We consider the design of Tomlinson-Harashima (TH) precoders for broadcast channels in the presence of channel uncertainty. For systems in which uplink-downlink reciprocity is ...