Sciweavers

2949 search results - page 310 / 590
» Universal Sparse Modeling
Sort
View
117
Voted
ENTCS
2007
108views more  ENTCS 2007»
15 years 2 months 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 2 months 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 6 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
NAR
2011
223views Computer Vision» more  NAR 2011»
14 years 5 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 5 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