Sciweavers

4353 search results - page 113 / 871
» Computational Challenges of Systems Biology
Sort
View
IJCNN
2007
IEEE
16 years 24 days ago
Computational Templates, Neural Network Dynamics, and Symbolic Logic
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
Otto Lappi
WWW
2001
ACM
16 years 7 months ago
Online Learning in Hong Kong: A Preliminary Comparison of the Lecture and Online Versions of a Computing Fundamentals Course
This case study compares students' learning experience and outcomes in the lecture and online versions of a first-year introductory computing course offered at the Department...
Giovanni B. Moneta, Synnöve Kekkonen-Moneta
CIKM
1994
Springer
15 years 10 months ago
Facilitating Transformations in a Human Genome Project Database
Human Genome Project databases present a confluence of interesting database challenges: rapid schema and data evolution, complex data entry and constraint management, and the need...
Susan B. Davidson, Anthony Kosky, Barbara A. Eckma...
ASM
2000
ASM
15 years 10 months ago
An ASM Dynamic Semantics for Standard ML
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
Steven C. Cater, James K. Huggins
RECOMB
2005
Springer
16 years 6 months ago
Consensus Folding of Unaligned RNA Sequences Revisited
As one of the earliest problems in computational biology, RNA secondary structure prediction (sometimes referred to as "RNA folding") problem has attracted attention agai...
Vineet Bafna, Haixu Tang, Shaojie Zhang