Sciweavers

10848 search results - page 92 / 2170
» Programming in Biomolecular Computation
Sort
View
LPNMR
2005
Springer
15 years 3 months ago
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
Lengning Liu, Miroslaw Truszczynski
SIGCSE
1994
ACM
172views Education» more  SIGCSE 1994»
15 years 1 months ago
Collaborative learning in an introductory computer science course
An experiment in collaborative learning was conducted in two introductory programming courses at Loyola College in Maryland. Data collected included background information on stud...
Roberta Evans Sabin, Edward P. Sabin
EWC
2000
106views more  EWC 2000»
14 years 9 months ago
Object Oriented Tools for Scientific Computing
A set of object oriented tools is presented which, when combined, yield an efficient parallel finite element program. Special emphasis is given to details within the concept of the...
Philippe R. B. Devloo
LCR
1998
Springer
150views System Software» more  LCR 1998»
15 years 2 months ago
Improving Locality in Out-of-Core Computations Using Data Layout Transformations
Programs accessing disk-resident arrays, called out-of-core programs, perform poorly in general due to an excessive number of I/O calls and insufficient help from compilers. In ord...
Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanuja...
IJACTAICIT
2010
127views more  IJACTAICIT 2010»
14 years 7 months ago
New Proposed Algorithms for nth Order Butterworth Active Filter Computer-Aided Design
This paper describes new proposed algorithms for constructing the transfer function of nth order Butterworth LPF using the idea of the cascade combination of active filters. Compu...
Haider Fakher Radhi Al-Saidy