Sciweavers

1526 search results - page 77 / 306
» Computer algebra in systems biology
Sort
View
ISMB
1993
15 years 7 months ago
Grammatical Formalization of Metabolic Processes
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
Ralf Hofestädt
ISMB
1994
15 years 7 months ago
An Intelligent System for Comparing Protein Structures
Anapproachto protein structure comparisonis presented whichuses techniquesof artificial intelligence (AI) generate a mappingbetweentwoprotein structures. The approachproceedsby fi...
Ethan Benatan
PVM
2007
Springer
16 years 10 days ago
Parallelizing Dense Linear Algebra Operations with Task Queues in
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...
Antonio J. Dorta, José M. Badía, Enr...
BIRTHDAY
2000
Springer
15 years 10 months ago
Discrete time process algebra with silent step
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
Jos C. M. Baeten, Jan A. Bergstra, Michel A. Renie...
AIED
2007
Springer
16 years 12 days ago
Benefits of Handwritten Input for Students Learning Algebra Equation Solving
Building on past results establishing a benefit for using handwriting when entering mathematics on the computer, we hypothesize that handwriting as an input modality may be able to...
Lisa Anthony, Jie Yang, Kenneth R. Koedinger