Sciweavers

7296 search results - page 1196 / 1460
» informs 2010
Sort
View
ER
2010
Springer
132views Database» more  ER 2010»
15 years 5 months ago
Full Satisfiability of UML Class Diagrams
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
EVOW
2010
Springer
15 years 5 months ago
Evolution of Grim Trigger in Prisoner Dilemma Game with Partial Imitation
The emergence of Grim Trigger as the dominant strategy in the Iterated Prisoner Dilemma (IPD) on a square lattice is investigated for players with finite memory, using three differ...
Degang Wu, Mathis Antony, Kwok Yip Szeto
FOCS
2010
IEEE
15 years 5 months ago
Adaptive Hardness and Composable Security in the Plain Model from Standard Assumptions
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
Ran Canetti, Huijia Lin, Rafael Pass
FSTTCS
2010
Springer
15 years 5 months ago
Lower bounds for Quantum Oblivious Transfer
Oblivious transfer is a fundamental primitive in cryptography. While perfect information theoretic security is impossible, quantum oblivious transfer protocols can limit the disho...
André Chailloux, Iordanis Kerenidis, Jamie ...
GCB
2010
Springer
122views Biometrics» more  GCB 2010»
15 years 5 months ago
Quantitative Comparison of Genomic-Wide Protein Domain Distributions
Abstract: Investigations into the origins and evolution of regulatory mechanisms require quantitative estimates of the abundance and co-occurrence of functional protein domains amo...
Arli A. Parikesit, Peter F. Stadler, Sonja J. Proh...
« Prev « First page 1196 / 1460 Last » Next »