Sciweavers

2956 search results - page 219 / 592
» Databases and Higher Types
Sort
View
109
Voted
ENTCS
2008
140views more  ENTCS 2008»
15 years 3 months ago
Functions and Lazy Evaluation in Prolog
There are several proposals for extending Prolog with functional capabilities. The basic idea is to enlarge the language with function definitions that are translated (or expanded...
Juan Rodríguez-Hortalá, Jaime S&aacu...
143
Voted
COMBINATORICS
2006
124views more  COMBINATORICS 2006»
15 years 3 months ago
A Hybrid of Darboux's Method and Singularity Analysis in Combinatorial Asymptotics
A "hybrid method", dedicated to asymptotic coefficient extraction in combinatorial generating functions, is presented, which combines Darboux's method and singulari...
Philippe Flajolet, Éric Fusy, Xavier Gourdo...
IJHPCA
2006
105views more  IJHPCA 2006»
15 years 3 months ago
Advances, Applications and Performance of the Global Arrays Shared Memory Programming Toolkit
This paper describes capabilities, evolution, performance, and applications of the Global Arrays (GA) toolkit. GA was created to provide application programmers with an interface ...
Jarek Nieplocha, Bruce Palmer, Vinod Tipparaju, Ma...
107
Voted
JIB
2006
67views more  JIB 2006»
15 years 3 months ago
The implications for Bioinformatics of integration across physical scales
Bioinformatics blossomed with research developments in molecular biology. But as the focus of research moves back up the physical scale to the biology of whole multicellular organ...
T. Charles Hodgman, Y. Ugartechea-Chirino, G. Tans...
107
Voted
IJRFITA
2007
114views more  IJRFITA 2007»
15 years 3 months ago
Semi-passive RFID and beyond: steps towards automated quality tracing in the food chain
: Precise temperature monitoring is the major precondition to supervise quality losses within the transport chain for fresh products. Different types of miniaturised data loggers w...
Reiner Jedermann, Walter Lang