Sciweavers

7047 search results - page 252 / 1410
» Focusing on Binding and Computation
Sort
View
ACSC
2004
IEEE
15 years 10 months ago
Visually Sealed and Digitally Signed Documents
One of the primary flaws with current digital signature technology is that a digital signature does not "feel" or resemble a traditional seal or personal signature to th...
Vicky Liu, William J. Caelli, Ernest Foo, Selwyn R...
CIE
2008
Springer
15 years 8 months ago
Recursion on Nested Datatypes in Dependent Type Theory
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
Ralph Matthes
ISMB
2004
15 years 8 months ago
Predicting gene regulation by sigma factors in Bacillus subtilis from genome-wide data
Motivation: Sigma factors regulate the expression of genes in Bacillus subtilis at the transcriptional level. First we assess the ability of currently available gene regulatory ne...
Michiel J. L. de Hoon, Yuko Makita, Seiya Imoto, K...
BMCBI
2010
173views more  BMCBI 2010»
15 years 6 months ago
The Yeast Resource Center Public Image Repository: A large database of fluorescence microscopy images
Background: There is increasing interest in the development of computational methods to analyze fluorescent microscopy images and enable automated large-scale analysis of the subc...
Michael Riffle, Trisha N. Davis
BMCBI
2010
227views more  BMCBI 2010»
15 years 6 months ago
Accurate and efficient gp120 V3 loop structure based models for the determination of HIV-1 co-receptor usage
Background: HIV-1 targets human cells expressing both the CD4 receptor, which binds the viral envelope glycoprotein gp120, as well as either the CCR5 (R5) or CXCR4 (X4) co-recepto...
Majid Masso, Iosif I. Vaisman