Sciweavers

2949 search results - page 310 / 590
» Universal Sparse Modeling
Sort
View
103
Voted
ENTCS
2007
108views more  ENTCS 2007»
15 years 28 days ago
Simulating and Compiling Code for the Sequential Quantum Random Access Machine
We present the SQRAM architecture for quantum computing, which is based on Knill’s QRAM model. We detail a suitable instruction set, which implements a universal set of quantum ...
Rajagopal Nagarajan, Nikolaos Papanikolaou, David ...
CERA
2005
101views more  CERA 2005»
15 years 26 days ago
An Integrated Approach to Manufacturing Process Design and Costing
In order to accurately cost the new product manufacture, and to assess a `what if' scenario in a rapid manner, requires an information system which can integrate the process ...
S. Grewal, C. K. Choi
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 4 months ago
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
Andreas Abel, Thierry Coquand, Miguel Pagano
129
Voted
NAR
2011
223views Computer Vision» more  NAR 2011»
14 years 3 months ago
KUPS: constructing datasets of interacting and non-interacting protein pairs with associated attributions
KUPS (The University of Kansas Proteomics Service) provides high-quality protein–protein interaction (PPI) data for researchers developing and evaluating computational models fo...
Xue-wen Chen, Jong Cheol Jeong, Patrick Dermyer
CRYPTO
2012
Springer
247views Cryptology» more  CRYPTO 2012»
13 years 3 months ago
Black-Box Constructions of Composable Protocols without Set-Up
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...
Huijia Lin, Rafael Pass