History
1
547


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 547 total

Computing the Duquenne-Guigues basis: an algorithm for choosing the order. (English)
Int. J. Gen. Syst. 45, No. 2, 57-85 (2016).
WorldCat.org
1
Weak keys for the quasi-cyclic MDPC public key encryption scheme. (English)
Pointcheval, David (ed.) et al., Progress in cryptology ‒ AFRICACRYPT 2016. 8th international conference on cryptology in Africa, Fes, Morocco, April 13‒15, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-31516-4/pbk; 978-3-319-31517-1/ebook). Lecture Notes in Computer Science 9646, 346-367 (2016).
WorldCat.org
2
Relative Hilbert-post completeness for exceptions. (English)
Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11‒13, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-32858-4/pbk; 978-3-319-32859-1/ebook). Lecture Notes in Computer Science 9582, 596-610 (2016).
WorldCat.org
3
The salesman and the tree: the importance of search in CP. (English)
Constraints 21, No. 2, 145-162 (2016).
WorldCat.org
4
Operads, quasiorders, and regular languages. (English)
Adv. Appl. Math. 75, 56-93 (2016).
WorldCat.org
5
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. (English)
FUN, 8:1-8:20(2016)
WorldCat.org
6
Opaque service virtualisation: a practical tool for emulating endpoint systems. (English)
ICSE (Companion Volume), 202-211(2016)
WorldCat.org
8
Recursive Double-Size Fixed Precision Arithmetic. (English)
ICMS, 223-231(2016)
WorldCat.org
9
Visualizing the First World War Using StreamGraphs and Information Extraction. (English)
IV, 290-293(2016)
WorldCat.org
10
Fast Subset Path Planning/ Replanning to Avoid Obstacles with Time-Varying Probabilistic Motion Patterns. (English)
STAIRS, 185-196(2016)
WorldCat.org
11
REDEN: Named Entity Linking in Digital Literary Editions Using Linked Data Sets. (English)
CSIMQ 7, 60-80(2016)
WorldCat.org
12
Translation-Based Revision and Merging for Minimal Horn Reasoning. (English)
ECAI, 734-742(2016)
WorldCat.org
13
Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings. (English)
Automatica 70, 14-20(2016)
WorldCat.org
15
Computing the Duquenne-Guigues basis: an algorithm for choosing the order. (English)
Int. J. General Systems 45, N0. 2, 57-85(2016)
WorldCat.org
16
Weak Keys for the Quasi-Cyclic MDPC Public Key Encryption Scheme. (English)
AFRICACRYPT, 346-367(2016)
WorldCat.org
17
On distributed memory MPI-based parallelization of SPH codes in massive HPC context. (English)
Computer Physics Communications 200, 1-14(2016)
WorldCat.org
18
BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation. (English)
International Journal of Parallel Programming 44, N0. 3, 574-597(2016)
WorldCat.org
19
Distributing Knowledge into Simple Bases. (English)
IJCAI, 1109-1115(2016)
WorldCat.org
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 547 total

Valid XHTML 1.0 Transitional Valid CSS!