Sciweavers

828 search results - page 32 / 166
» Topological Properties of OTIS-Networks
Sort
View
ICAISC
2010
Springer
13 years 9 months ago
Computer Assisted Peptide Design and Optimization with Topology Preserving Neural Networks
Abstract. We propose a non-standard neural network called TPNN which offers the direct mapping from a peptide sequence to a property of interest in order to model the quantitative ...
Jörg D. Wichard, Sebastian Bandholtz, Carsten...
CORR
2010
Springer
126views Education» more  CORR 2010»
13 years 7 months ago
Automatic Verification of Parametric Specifications with Complex Topologies
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Vio...
IMC
2003
ACM
14 years 28 days ago
In search of path diversity in ISP networks
Internet Service Providers (ISPs) can exploit path diversity to balance load and improve robustness. Unfortunately, it is difficult to evaluate the potential impact of these appr...
Renata Teixeira, Keith Marzullo, Stefan Savage, Ge...
IPMI
1999
Springer
14 years 8 months ago
Statistical Shape Analysis Using Fixed Topology Skeletons: Corpus Callosum Study
The goal of this work is to develop an approach to shape representation and classification that will allow us to detect and quantify differences in shape of anatomical structures d...
Polina Golland, W. Eric L. Grimson, Ron Kikinis
CORR
2010
Springer
105views Education» more  CORR 2010»
13 years 7 months ago
The Impact of Topology on Byzantine Containment in Stabilization
Self-stabilization is an versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of ...
Swan Dubois, Toshimitsu Masuzawa, Sébastien...