313 citations
- University of AmsterdamNL56 papers
- Eindhoven University of TechnologyNL54 papers
- Vrije Universiteit AmsterdamNL14 papers
- Radboud University NijmegenNL13 papers
- Leiden UniversityNL12 papers
- College of Western IdahoUS11 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- University of California, BerkeleyUS7 papers
- University of WaterlooCA7 papers
- Delft University of TechnologyNL6 papers
- Sorbonne UniversitéFR6 papers
- University of CambridgeGB6 papers
8 papers · 1 filter
Sensitive Long-Indel-Aware Alignment of Sequencing Reads
Tobias Marschall, Alexander Schönhuth
The tremdendous advances in high-throughput sequencing technologies have made population-scale sequencing as performed in the 1000 Genomes project and the Genome of the Netherlands…
Automatic Equivalence Proofs for Non-deterministic Coalgebras
Marcello Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac +3
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed by a…
Modularizing and Specifying Protocols among Threads
Sung-Shik T. Q. Jongmans, Farhad Arbab
We identify three problems with current techniques for implementing protocols among threads, which complicate and impair the scalability of multicore software development: implemen…
LOFAR detections of low-frequency radio recombination lines towards Cassiopeia A
Ashish Asgekar, J. B. R. Oonk, S. Yatawatta +89
Cassiopeia A was observed using the Low-Band Antennas of the LOw Frequency ARray (LOFAR) with high spectral resolution. This allowed a search for radio recombination lines (RRLs) a…
Minimum Encoding Approaches for Predictive Modeling
Peter D Grunwald, Petri Kontkanen, Petri Myllymaki +2
We analyze differences between two information-theoretically motivated approaches to statistical inference and model selection: the Minimum Description Length (MDL) principle, and…
Positive Semidefinite Matrix Completion, Universal Rigidity and the Strong Arnold Property
M. Laurent, A. Varvitsiotis
This paper addresses the following three topics: positive semidefinite (psd) matrix completions, universal rigidity of frameworks, and the Strong Arnold Property (SAP). We show som…