Sciweavers

1940 search results - page 382 / 388
» Eurostore - Initial Design and First Results
Sort
View
CORR
2010
Springer
135views Education» more  CORR 2010»
14 years 11 months ago
The Power of Nondeterminism in Self-Assembly
tigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from...
Nathaniel Bryans, Ehsan Chiniforooshan, David Doty...
CORR
2010
Springer
176views Education» more  CORR 2010»
14 years 11 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
BMCBI
2006
89views more  BMCBI 2006»
14 years 11 months ago
A joint model for nonparametric functional mapping of longitudinal trajectory and time-to-event
Background: The characterization of the relationship between a longitudinal response process and a time-to-event has been a pressing challenge in biostatistical research. This has...
Min Lin, Rongling Wu
BMCBI
2006
148views more  BMCBI 2006»
14 years 11 months ago
Exploiting the full power of temporal gene expression profiling through a new statistical test: Application to the analysis of m
Background: The identification of biologically interesting genes in a temporal expression profiling dataset is challenging and complicated by high levels of experimental noise. Mo...
Veronica Vinciotti, Xiaohui Liu, Rolf Turk, Emile ...
BMCBI
2006
78views more  BMCBI 2006»
14 years 11 months ago
Modelling study of dimerization in mammalian defensins
Background: Defensins are antimicrobial peptides of innate immunity functioning by non-specific binding to anionic phospholipids in bacterial membranes. Their cationicity, amphipa...
Anita Suresh, Chandra Verma