Sciweavers

4719 search results - page 484 / 944
» Newtonian program analysis
Sort
View
FCA
2005
Springer
207views Formal Methods» more  FCA 2005»
16 years 11 days ago
From Formal Concept Analysis to Contextual Logic
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
Frithjof Dau, Julia Klinger
CASCON
2006
119views Education» more  CASCON 2006»
15 years 8 months ago
Static analysis for dynamic coupling measures
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to p...
Yin Liu, Ana Milanova
BMCBI
2005
113views more  BMCBI 2005»
15 years 6 months ago
Pathway level analysis of gene expression using singular value decomposition
Background: A promising direction in the analysis of gene expression focuses on the changes in expression of specific predefined sets of genes that are known in advance to be rela...
John K. Tomfohr, Jun Lu, Thomas B. Kepler
SCFBM
2008
107views more  SCFBM 2008»
15 years 6 months ago
Microbial Diagnostic Array Workstation (MDAW): a web server for diagnostic array data storage, sharing and analysis
Background: Microarrays are becoming a very popular tool for microbial detection and diagnostics. Although these diagnostic arrays are much simpler when compared to the traditiona...
Joy Scaria, Aswathy Sreedharan, Yung-Fu Chang
SIGSOFT
2003
ACM
16 years 7 months ago
Deadline analysis of interrupt-driven software
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
Dennis Brylow, Jens Palsberg