History
1
475


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

Elements of design for containers and solutions in the LinBox library (extended abstract). (English)
Hong, Hoon (ed.) et al., Mathematical software ‒ ICMS 2014. 4th international congress, Seoul, South Korea, August 5‒9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 654-662 (2014).
WorldCat.org
1
Static analysis of programs with imprecise probabilistic inputs. (English)
Cohen, Ernie (ed.) et al., Verified software: theories, tools, experiments. 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17‒19, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-54107-0/pbk). Lecture Notes in Computer Science 8164, 22-47 (2014).
WorldCat.org
2
Filtering AtMostNValue with difference constraints: application to the shift minimisation personnel task scheduling problem. (English)
Artif. Intell. 212, 116-133 (2014).
WorldCat.org
3
Processing and Data Collection of Program Structures in Open Source Repositories. (English)
SQAMIA, 57-66(2014)
WorldCat.org
4
Unsupervised Named Entity Recognition and Disambiguation: An Application to Old French Journals. (English)
ICDM, 12-23(2014)
WorldCat.org
5
Content-based inference of hierarchical structural grammar for recurrent TV programs using multiple sequence alignment. (English)
ICME, 1-6(2014)
WorldCat.org
6
Sparse Matrix Beamforming and Image Reconstruction for 2-D HIFU Monitoring Using Harmonic Motion Imaging for Focused Ultrasound (HMIFU) With In Vitro Validation. (English)
IEEE Trans. Med. ImagingIEEE Trans. Med. Imaging 33, N0. 11, 2107-2117(2014)
WorldCat.org
7
Oqtans: the RNA-seq workbench in the cloud for complete and reproducible quantitative transcriptome analysis. (English)
BioinformaticsBioinformatics 30, N0. 9, 1300-1301(2014)
WorldCat.org
8
Two-party competition with persistent policies. (English)
J. Economic TheoryJ. Economic Theory 152, 64-91(2014)
WorldCat.org
9
Elements of Design for Containers and Solutions in the LinBox Library - Extended Abstract. (English)
ICMS, 654-662(2014)
WorldCat.org
10
Essentially optimal interactive certificates in linear algebra. (English)
ISSAC, 146-153(2014)
WorldCat.org
11
Formulating Cost-Effective Monitoring Strategies for Service-Based Systems. (English)
IEEE Trans. Software Eng.IEEE Trans. Software Eng. 40, N0. 5, 461-482(2014)
WorldCat.org
12
Automated analysis of performance and energy consumption for cloud applications. (English)
ICPE, 39-50(2014)
WorldCat.org
14
A Translation-Based Approach for Revision of Argumentation Frameworks. (English)
JELIA, 397-411(2014)
WorldCat.org
15
A biologically constrained model of the whole basal ganglia addressing the paradoxes of connections and selection. (English)
Journal of Computational NeuroscienceJournal of Computational Neuroscience 36, N0. 3, 445-468(2014)
WorldCat.org
16
A reactive extension of the OpenMusic visual programming language. (English)
J. Vis. Lang. Comput.J. Vis. Lang. Comput. 25, N0. 4, 363-375(2014)
WorldCat.org
17
Parallel Computation of Echelon Forms. (English)
Euro-Par, 499-510(2014)
WorldCat.org
18
GLV/GLS Decomposition, Power Analysis, and Attacks on ECDSA Signatures with Single-Bit Nonce Bias. (English)
ASIACRYPT (1), 262-281(2014)
WorldCat.org
19
Automatic detection of reuses and citations in literary texts. (English)
LLCLLC 29, N0. 3, 412-421(2014)
WorldCat.org
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 475 total

Valid XHTML 1.0 Transitional Valid CSS!