Sciweavers

1830 search results - page 193 / 366
» Functional Programs as Linked Data
Sort
View
119
Voted
MONET
2010
187views more  MONET 2010»
15 years 1 months ago
A Proxy Mobile IPv6 Based Global Mobility Management Architecture and Protocol
This paper specifies a global mobility management architecture and protocol procedure called GPMIP, which is based on Proxy Mobile IPv6. In GPMIP, mobility management is performed ...
Huachun Zhou, Hongke Zhang, Yajuan Qin, Hwang-Chen...
STOC
2012
ACM
236views Algorithms» more  STOC 2012»
13 years 5 months ago
On-the-fly multiparty computation on the cloud via multikey fully homomorphic encryption
We propose a new notion of secure multiparty computation aided by a computationally-powerful but untrusted “cloud” server. In this notion that we call on-the-fly multiparty c...
Adriana López-Alt, Eran Tromer, Vinod Vaiku...
153
Voted
BMCBI
2010
154views more  BMCBI 2010»
15 years 27 days ago
Knowledge-based matrix factorization temporally resolves the cellular responses to IL-6 stimulation
Background: External stimulations of cells by hormones, cytokines or growth factors activate signal transduction pathways that subsequently induce a re-arrangement of cellular gen...
Andreas Kowarsch, Florian Blöchl, Sebastian B...
109
Voted
BMCBI
2008
94views more  BMCBI 2008»
15 years 3 months ago
Conserved co-expression for candidate disease gene prioritization
Background: Genes that are co-expressed tend to be involved in the same biological process. However, co-expression is not a very reliable predictor of functional links between gen...
Martin Oti, Jeroen van Reeuwijk, Martijn A. Huynen...
POPL
2008
ACM
16 years 3 months ago
Imperative self-adjusting computation
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
Umut A. Acar, Amal Ahmed, Matthias Blume