Sciweavers

9595 search results - page 244 / 1919
» Functional programming in C
Sort
View
JUCS
2007
120views more  JUCS 2007»
15 years 6 months ago
Compile-time Computation of Polytime Functions
: We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechan...
Emanuele Covino, Giovanni Pani, Daniele Scrimieri
BMCBI
2008
72views more  BMCBI 2008»
15 years 6 months ago
Using a literature-based NMF model for discovering gene functional relationships
ent> <title> <p>UT-ORNL-KBRIN Bioinformatics Summit 2008</p> </title> <editor>Eric C Rouchka and Julia Krushkal</editor> <note>Meeting ...
Elina Tjioe, Michael W. Berry, Ramin Homayouni, Ke...
EJC
2010
15 years 6 months ago
Inversion of some series of free quasi-symmetric functions
We give a combinatorial formula for the inverses of the alternating sums of free quasi-symmetric functions of the form F(I) where I runs over compositions with parts in a prescribe...
Florent Hivert, Jean-Christophe Novelli, Jean-Yves...
FPL
2009
Springer
161views Hardware» more  FPL 2009»
15 years 11 months ago
A multi-FPGA architecture for stochastic Restricted Boltzmann Machines
Although there are many neural network FPGA architectures, there is no framework for designing large, high-performance neural networks suitable for the real world. In this paper, ...
Daniel L. Ly, Paul Chow
170
Voted
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
15 years 4 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King