Sciweavers

3808 search results - page 497 / 762
» Perspectives on Systems Biology
Sort
View
ISBI
2006
IEEE
16 years 7 months ago
A multiresolution enhancement to generic classifiers of subcellular protein location images
We propose an algorithm for the classification of fluorescence microscopy images depicting the spatial distribution of proteins within the cell. The problem is at the forefront of...
Thomas E. Merryman, Keridon Williams, Gowri Sriniv...
WWW
2007
ACM
16 years 7 months ago
Adding Value to Biodiversity Images Through Community Annotation
Morphbank, an on-line collection of museum-quality biological images, is an NSF funded project designed to facilitate the on-line collaboration of biologists from around the world...
Gregory A. Riccardi
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
CP
2009
Springer
16 years 7 months ago
From Model-Checking to Temporal Logic Constraint Solving
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
Aurélien Rizk, François Fages
ASM
2010
ASM
16 years 3 months ago
Lightweight Modeling of Java Virtual Machine Security Constraints
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
Mark C. Reynolds