Sciweavers

3949 search results - page 750 / 790
» Local learning projections
Sort
View
IANDC
2008
105views more  IANDC 2008»
13 years 9 months ago
Symbolic protocol analysis for monoidal equational theories
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
Stéphanie Delaune, Pascal Lafourcade, Denis...
BMCBI
2006
104views more  BMCBI 2006»
13 years 9 months ago
MANET: tracing evolution of protein architecture in metabolic networks
Background: Cellular metabolism can be characterized by networks of enzymatic reactions and transport processes capable of supporting cellular life. Our aim is to find evolutionar...
Hee Shin Kim, Jay E. Mittenthal, Gustavo Caetano-A...
CORR
2006
Springer
141views Education» more  CORR 2006»
13 years 8 months ago
Ideas by Statistical Mechanics (ISM)
Ideas by Statistical Mechanics (ISM) is a generic program to model evolution and propagation of ideas/patterns throughout populations subjected to endogenous and exogenous interac...
Lester Ingber
BMCBI
2007
144views more  BMCBI 2007»
13 years 8 months ago
Gene analogue finder: a GRID solution for finding functionally analogous gene products
Background: To date more than 2,1 million gene products from more than 100000 different species have been described specifying their function, the processes they are involved in a...
Angelica Tulipano, Giacinto Donvito, Flavio Licciu...
ETT
2006
154views Education» more  ETT 2006»
13 years 8 months ago
Digital switchover in UHF: the ATHENA concept for broadband access
This paper presents a concept adopted by ATHENA IST-507312 project for the proper adoption of digital switchover (DSO), i.e. the transition form analogue to digital broadcasting in...
Evangelos Pallis, Charalambos Mantakas, George Mas...