Sciweavers

14386 search results - page 2693 / 2878
» Algorithms for user interfaces
Sort
View
COCO
2005
Springer
96views Algorithms» more  COCO 2005»
15 years 9 months ago
A Geometric Approach to Information-Theoretic Private Information Retrieval
A t-private private information retrieval (PIR) scheme allows a user to retrieve the ith bit of an n-bit string x replicated among k servers, while any coalition of up to t server...
David P. Woodruff, Sergey Yekhanin
DILS
2005
Springer
15 years 9 months ago
Setup and Annotation of Metabolomic Experiments by Integrating Biological and Mass Spectrometric Metadata
Unbiased metabolomic surveys are used for physiological, clinical and genomic studies to infer genotype-phenotype relationships. Long term reusability of metabolomic data needs bot...
Oliver Fiehn, Gert Wohlgemuth, Martin Scholz
DILS
2005
Springer
15 years 9 months ago
BioNavigation: Selecting Optimum Paths Through Biological Resources to Evaluate Ontological Navigational Queries
Publicly available biological resources form a complex maze of highly heterogeneous data sources, interconnected by navigational capabilities and applications. Although it offers ...
Zoé Lacroix, Kaushal Parekh, Maria-Esther V...
EUROPAR
2005
Springer
15 years 9 months ago
A Grid Information Service Based on Peer-to-Peer
Abstract. Information Services are fundamental blocks of the Grid infrastructure. They are responsible for collecting and distributing information about resource availability and s...
Diego Puppin, Stefano Moncelli, Ranieri Baraglia, ...
FROCOS
2005
Springer
15 years 9 months ago
Combination of Isabelle/HOL with Automatic Tools
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
Sergey Tverdyshev
« Prev « First page 2693 / 2878 Last » Next »