Sciweavers

1729 search results - page 128 / 346
» Deterministic Expressions in C
Sort
View
SCP
2000
135views more  SCP 2000»
15 years 4 months ago
A calculus of functional BSP programs
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
Frédéric Loulergue, Gaétan Ha...
140
Voted
CSFW
2004
IEEE
15 years 8 months ago
Cassandra: Flexible Trust Management, Applied to Electronic Health Records
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
Moritz Y. Becker, Peter Sewell
129
Voted
BMCBI
2006
119views more  BMCBI 2006»
15 years 4 months ago
Utilization of two sample t-test statistics from redundant probe sets to evaluate different probe set algorithms in GeneChip stu
Background: The choice of probe set algorithms for expression summary in a GeneChip study has a great impact on subsequent gene expression data analysis. Spiked-in cRNAs with know...
Zihua Hu, Gail R. Willsky
BMCBI
2007
180views more  BMCBI 2007»
15 years 4 months ago
Splicy: a web-based tool for the prediction of possible alternative splicing events from Affymetrix probeset data
Background: The Affymetrix™ technology is nowadays a well-established method for the analysis of gene expression profiles in cancer research studies. However, changes in gene ex...
Davide Rambaldi, Barbara Felice, Viviane Praz, Phi...
NAR
2006
100views more  NAR 2006»
15 years 4 months ago
The LIFEdb database in 2006
LIFEdb (http://www.LIFEdb.de) integrates data from large-scale functional genomics assays and manual cDNA annotation with bioinformatics gene expression and protein analysis. New ...
Alexander Mehrle, Heiko Rosenfelder, Ingo Schupp, ...