1659 search results - page 155 / 332 » From Functional Analysis to Iterative Methods |
147
Voted
BMCBI
2007
15 years 3 months ago
2007
Time course gene expression experiments are a popular means to infer co-expression. Many methods have been proposed to cluster genes or to build networks based on similarity measu...
141
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
For the analysis of learning processes and the underlying changes of the shape of excitatory synapses (spines), 3-D volume samples of selected dendritic segments are scanned by a ...
145
Voted
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Current hardware trends place increasing pressure on programmers and tools to optimize scientific code. Numerous tools and techniques exist, but no single tool is a pana...
126
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
128
Voted
SAS
2009
Springer
16 years 4 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...