History
1
548


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 548 total

Recursive double-size fixed precision arithmetic. (English)
Greuel, Gert-Martin (ed.) et al., Mathematical software ‒ ICMS 2016. 5th international conference, Berlin, Germany, July 11‒14, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42431-6/pbk; 978-3-319-42432-3/ebook). Lecture Notes in Computer Science 9725, 223-231 (2016).
WorldCat.org
1
Computing the Duquenne-Guigues basis: an algorithm for choosing the order. (English)
Int. J. Gen. Syst. 45, No. 2, 57-85 (2016).
WorldCat.org
2
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
3
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
4
The salesman and the tree: the importance of search in CP. (English)
Constraints 21, No. 2, 145-162 (2016).
WorldCat.org
5
Operads, quasiorders, and regular languages. (English)
Adv. Appl. Math. 75, 56-93 (2016).
WorldCat.org
6
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
7
Private Multi-party Matrix Multiplication and Trust Computations. (English)
SECRYPT, 61-72(2016)
WorldCat.org
8
Fast Subset Path Planning/ Replanning to Avoid Obstacles with Time-Varying Probabilistic Motion Patterns. (English)
STAIRS, 185-196(2016)
WorldCat.org
9
Opaque service virtualisation: a practical tool for emulating endpoint systems. (English)
ICSE (Companion Volume), 202-211(2016)
WorldCat.org
10
REDEN: Named Entity Linking in Digital Literary Editions Using Linked Data Sets. (English)
CSIMQ 7, 60-80(2016)
WorldCat.org
11
Merging of Abstract Argumentation Frameworks. (English)
KR, 33-42(2016)
WorldCat.org
12
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen. (English)
FUN, 8:1-8:20(2016)
WorldCat.org
13
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. (English)
Parallel Computing 57, 235-249(2016)
WorldCat.org
14
Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings. (English)
Automatica 70, 14-20(2016)
WorldCat.org
15
On distributed memory MPI-based parallelization of SPH codes in massive HPC context. (English)
Computer Physics Communications 200, 1-14(2016)
WorldCat.org
16
Quantifying the Difference Between Argumentation Semantics. (English)
COMMA, 255-262(2016)
WorldCat.org
17
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix. (English)
ISSAC, 199-206(2016)
WorldCat.org
18
Visualizing the First World War Using StreamGraphs and Information Extraction. (English)
IV, 290-293(2016)
WorldCat.org
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 548 total

Valid XHTML 1.0 Transitional Valid CSS!