Sciweavers

420 search results - page 20 / 84
» Isosurface Computation Made Simple
Sort
View
TCS
2011
13 years 2 months ago
Realizability models and implicit complexity
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
Ugo Dal Lago, Martin Hofmann
GCC
2007
Springer
14 years 1 months ago
A Component Based Interoperability Solution over Existing Grid Middleware
The purpose of grid technology is to integrate various heterogeneous resources together to provide huge computation and storage capacity for users transparently. However, current ...
Weiyuan Huang, Yongwei Wu, Jia Liu, Guangwen Yang,...
DNA
2005
Springer
102views Bioinformatics» more  DNA 2005»
14 years 1 months ago
Chain Reaction Systems Based on Loop Dissociation of DNA
In the field of DNA computing, more and more efforts are made for constructing molecular machines made of DNA that work in vitro or in vivo. States of some of those machines are...
Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kam...
BIOSYSTEMS
2007
72views more  BIOSYSTEMS 2007»
13 years 7 months ago
On the use of multi-objective evolutionary algorithms for survival analysis
This paper proposes and evaluates a multi-objective evolutionary algorithm for survival analysis. One aim of survival analysis is the extraction of models from data that approxima...
Christian Setzkorn, Azzam Fouad George Taktak, Ber...
ECAL
2003
Springer
14 years 26 days ago
Pattern Recognition in a Bucket
This paper demonstrates that the waves produced on the surface of water can be used as the medium for a “Liquid State Machine” that pre-processes inputs so allowing a simple pe...
Chrisantha Fernando, Sampsa Sojakka