Sciweavers

1860 search results - page 185 / 372
» tools 2009
Sort
View
ACMIDC
2009
15 years 10 months ago
Voices beyond walls: the role of digital storytelling for empowering marginalized youth in refugee camps
In this paper we consider the role of digital storytelling for creative empowerment of marginalized youth, through a threeyear program of workshops conducted in the context of Pal...
Nitin "Nick" Sawhney
181
Voted
DILS
2009
Springer
15 years 10 months ago
An Integration and Analysis Pipeline for Systems Biology in Crop Plant Metabolism
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
Stephan Weise, Christian Colmsee, Eva Grafahrend-B...
ECSQARU
2009
Springer
15 years 10 months ago
Different Representations of Fuzzy Vectors
Fuzzy vectors were introduced as a description of imprecise quantities whose uncertainty originates from vagueness, not from a probabilistic model. Support functions are a classica...
Jiuzhen Liang, Mirko Navara, Thomas Vetterlein
FOSAD
2009
Springer
15 years 10 months ago
Verification of Concurrent Programs with Chalice
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
K. Rustan M. Leino, Peter Müller, Jan Smans
GECCO
2009
Springer
190views Optimization» more  GECCO 2009»
15 years 10 months ago
Genetic programming for protein related text classification
Since the genomics revolution, bioinformatics has never been so popular. Many researchers have investigated with great success the use of evolutionary computation in bioinformatic...
Marc Segond, Cyril Fonlupt, Denis Robilliard