Sciweavers

4895 search results - page 221 / 979
» Functional Quantum Programming
Sort
View
CSB
2005
IEEE
124views Bioinformatics» more  CSB 2005»
16 years 7 hour ago
Discovering Functional Transcription Factor Binding from Superimposed Gene Networks
The availability of entire genome sequences, coupled with genome-wide studies of gene expression, offers promise for discovering new pathways along with their regulatory programs....
Matthew T. Weirauch, Joshua M. Stuart
JCIT
2008
100views more  JCIT 2008»
15 years 6 months ago
Basic Portal System with the Function of Communication Control for Each User
The Personal Portal is generally used as a communication mean and serves as an entrance to users where they can acquire interested information on the network. We have several prob...
Kazuya Odagiri, Rihito Yaegashi, Masaharu Tadauchi...
ICFP
2003
ACM
16 years 6 months ago
Software is discrete mathematics
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
Rex L. Page
PADL
2001
Springer
15 years 10 months ago
An A-Prolog Decision Support System for the Space Shuttle
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
Monica Nogueira, Marcello Balduccini, Michael Gelf...
FLOPS
2008
Springer
15 years 8 months ago
EasyCheck - Test Data for Free
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
Jan Christiansen, Sebastian Fischer