Demo Data from VLDB 2026 / reviewers in the wild / expert
Marek Behalek
dblp:06/3589 · also Marek Behálek
· DBLP profile ↗
6ranked-venue papers
2as first author
1since 2021 · last 2021
0000-0002-9204-2691ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Applied, interdisciplinary, general and emerging computing · 4 · 2 first-author · 1 since 2021Artificial intelligence and machine learning · 3 · 1 first-authorSoftware engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Bioinformatics and computational biology · 67% Computational science and engineering · 33% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational science and engineering
error model |
0.5 | 1 | 2021 | Determining optical mapping errors by simulations · Bioinform. 2021 |
Bioinformatics and computational biology › genomics
genome analysis |
0.5 | 1 | 2021 | Determining optical mapping errors by simulations · Bioinform. 2021 |
Bioinformatics and computational biology › genomics
optical mapping |
0.5 | 1 | 2021 | Determining optical mapping errors by simulations · Bioinform. 2021 |
Methods — techniques the papers use, named apart from their topics
simulation · 0.5differential evolution · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Determining optical mapping errors by simulationsabstractMOTIVATION: Optical mapping is a complementary technology to traditional DNA sequencing technologies, such as next-generation sequencing (NGS). It provides genome-wide, high-resolution restriction maps from single, stained molecules of DNA. It can be used to detect large and small structural variants, copy number variations and complex rearrangements. Optical mapping is affected by different kinds of errors in comparison with traditional DNA sequencing technologies. It is important to understand the source of these errors and how they affect the obtained data. This article proposes a novel approach to modeling errors in the data obtained from the Bionano Genomics Inc. Saphyr system with Direct Label and Stain (DLS) chemistry. Some studies have already addressed this issue for older instruments with nicking enzymes, but we are unaware of a study that addresses this new system. RESULTS: The main result is a framework for studying errors in the data obtained from the Saphyr instrument with DLS chemistry. The framework's main component is a simulation that computes how major sources of errors for this instrument (a false site, a missing site and resolution errors) affect the distribution of fragment lengths in optical maps. The simulation is parametrized by variables describing these errors and we are using a differential evolution algorithm to evaluate parameters that best fit the data from the instrument. Results of the experiments manifest that this approach can be used to study errors in the optical mapping data analysis. AVAILABILITY AND IMPLEMENTATION: Source codes supporting the presented results are available at: https://github.com/mvasinek/olgen-om-error-prediction. The data underlying this article are available on the Bionano Genomics Inc. website, at: https://bionanogenomics.com/library/datasets/. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. Michal Vasinek, Marek Behalek, Petr Gajdos, Regina Fillerova, Eva Kriegová |
Bioinform. | 2 |
| 2019 | QDSOMA: Towards the Utilization of Quantum Computing within SOMAabstractNowadays, a new type of algorithms inspired by the quantum theory has arisen and brought to light new views of solving standard computational problems like searching, optimizing, scheduling etc. Some of the principles of quantum mechanics can be used even if a quantum computer is not available. The focus of this article is on the utilization of a quantum approach in a selected algorithm called DSOMA. A quantum computing based algorithm is described and all suggested improvements are demonstrated on the flowshop optimization problem. The novelty of the proposed algorithm consists in the use of quantum data. Individuals in other algorithms are usually encoded into a quantum state, whereas the individuals in our extension are just enriched by quantum information, and this data is used to improve behavior of the algorithm. Based on the outcomes of experiments carried out within our research the improved algorithm has achieved better results. Petr Gajdos, Marek Behalek, Jan Janousek, Pavel Krömer |
CEC | 2 |
| 2014 | Kaira: Development Environment for MPI Applications
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský |
Petri Nets | 2 |
| 2013 | Visual Programming of MPI Applications: Debugging and Performance Analysis
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský |
FedCSIS | 2 |
| 2011 | Parallelization of ant colony optimization algorithm using KairaabstractParallel computing can be very useful for meta-heuristic algorithms, because it can reduce time to find a solution with given properties. On the other hand parallel programming is generally more difficult than the sequential one and we need more development time to get a working parallel solution. We are developing a tool named Kaira which is intended for modelling, debugging, and automated generation of parallel applications. The modelling is based on our own variant of Coloured Petri Nets. In this paper we present how to create parallel programs from an existing sequential implementation of Ant Colony Optimization Algorithm using Kaira. This approach simplifies the development process and thus saves the development time and costs. Marek Behalek, Stanislav Böhm, Pavel Krömer, Martin Surkovský, Ondrej Meca |
ISDA | 1 |
| 2007 | Parallel Process Functional Language
Marek Behalek, Petr Saloun |
SOFSEM (2) | 1 |