Sciweavers

2455 search results - page 93 / 491
» Graphical abstract help
Sort
View
SG
2010
Springer
14 years 2 months ago
Self Portraits with Mandelbrot Genetics
This paper is an artist statement describing a manipulation of the Mandelbrot Set equation as the basis for creating semi-figurative images, using a genetic algorithm. Modernist pa...
Jeffrey Ventrella
ERCIMDL
2000
Springer
116views Education» more  ERCIMDL 2000»
14 years 17 days ago
Decomate: Unified Access to Globally Distributed Libraries
Abstract. The Decomate project enables mutual access to heterogeneous, distributed, and pooled digital resources of consortium members. Using a mediator architecture with a Broker ...
Thomas Place, Jeroen Hoppenbrouwers
EJC
2006
13 years 9 months ago
Matroid tree-width
Abstract. We show that the tree-width of a graph can be defined without reference to graph vertices, and hence the notion of tree-width can be naturally extended to matroids. (This...
Petr Hlinený, Geoff Whittle
CADE
2007
Springer
14 years 9 months ago
System for Automated Deduction (SAD): A Tool for Proof Verification
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
Konstantin Verchinine, Alexander V. Lyaletski, And...
CISIS
2010
IEEE
14 years 3 months ago
Gene Ontology Rewritten for Computing Gene Functional Similarity
Abstract—Discovery biological organisation of the cell in modules network is a challenging task. Currently, approaches based on a controlled vocabulary, as Gene Ontology, to iden...
Alessia Visconti, Francesca Cordero, Marco Botta, ...