Sciweavers

5131 search results - page 255 / 1027
» Heterogeneous Component Analysis
Sort
View
IJON
2008
128views more  IJON 2008»
15 years 4 months ago
Independent arrays or independent time courses for gene expression time series data analysis
In this paper we apply three different independent component analysis (ICA) methods, including spatial ICA (sICA), temporal ICA (tICA), and spatiotemporal ICA (stICA), to gene exp...
Sookjeong Kim, Jong Kyoung Kim, Seungjin Choi
ICCAD
2006
IEEE
107views Hardware» more  ICCAD 2006»
16 years 1 months ago
Current path analysis for electrostatic discharge protection
The electrostatic discharge (ESD) problem has become a challenging reliability issue in nanometer circuit design. High voltages resulted from ESD might cause high current densitie...
Hung-Yi Liu, Chung-Wei Lin, Szu-Jui Chou, Wei-Ting...
ESOP
2010
Springer
16 years 1 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey
KBSE
2007
IEEE
15 years 10 months ago
Combined static and dynamic mutability analysis
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
Shay Artzi, Adam Kiezun, David Glasser, Michael D....
AAAI
2006
15 years 6 months ago
A Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Michael W. Hofbaur, Franz Wotawa