Sciweavers

2182 search results - page 97 / 437
» A pretopological approach for structural analysis
Sort
View
BMCBI
2010
97views more  BMCBI 2010»
14 years 10 months ago
Kinome-wide interaction modelling using alignment-based and alignment-independent approaches for kinase description and linear a
Background: Protein kinases play crucial roles in cell growth, differentiation, and apoptosis. Abnormal function of protein kinases can lead to many serious diseases, such as canc...
Maris Lapinsh, Jarl E. S. Wikberg
EVOW
2006
Springer
15 years 1 months ago
A Neural Evolutionary Classification Method for Brain-Wave Analysis
This paper presents an approach to the joint optimization of neural network structure and weights which can take advantage of backpropagation as a specialized decoder. The approach...
Antonia Azzini, Andrea Tettamanzi
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
15 years 3 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle
SIGDOC
1995
ACM
15 years 1 months ago
Personalized information structures II: hyperstructure hotlists
This paper describes ongoing research into the use of a domain-retargetable reverse engineering environment to aid the structural understanding of large information spaces. In par...
Scott R. Tilley, Walter M. Lamia
SEFM
2005
IEEE
15 years 3 months ago
Description Logics for Shape Analysis
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
Lilia Georgieva, Patrick Maier