Sciweavers

2232 search results - page 283 / 447
» A Scalable Approach to MPI Application Performance Analysis
Sort
View
168
Voted
CAV
2000
Springer
197views Hardware» more  CAV 2000»
15 years 8 months ago
Bounded Model Construction for Monadic Second-Order Logics
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
Abdelwaheb Ayari, David A. Basin
VIS
2005
IEEE
204views Visualization» more  VIS 2005»
16 years 5 months ago
Differential Protein Expression Analysis via Liquid-Chromatography/Mass-Spectrometry Data Visualization
Differential protein expression analysis is one of the main challenges in proteomics. It denotes the search for proteins, whose encoding genes are differentially expressed under a...
Lars Linsen, Julia Löcherbach, Matthias Berth...
RTAS
2005
IEEE
15 years 9 months ago
Timing Analysis for Sensor Network Nodes of the Atmega Processor Family
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...
Sibin Mohan, Frank Mueller, David B. Whalley, Chri...
BMCBI
2004
150views more  BMCBI 2004»
15 years 4 months ago
Graph-based iterative Group Analysis enhances microarray interpretation
Background: One of the most time-consuming tasks after performing a gene expression experiment is the biological interpretation of the results by identifying physiologically impor...
Rainer Breitling, Anna Amtmann, Pawel Herzyk
BMCBI
2011
14 years 7 months ago
Gene set analysis for longitudinal gene expression data
Background: Gene set analysis (GSA) has become a successful tool to interpret gene expression profiles in terms of biological functions, molecular pathways, or genomic locations. ...
Ke Zhang, Haiyan Wang, Arne C. Bathke, Solomon W. ...