Showing 1–32 of 32 results for author: Novak, A

Analysis Facilities White Paper

Authors: D. Ciangottini, A. Forti, L. Heinrich, N. Skidmore, C. Alpigiani, M. Aly, D. Benjamin, B. Bockelman, L. Bryant, J. Catmore, M. D'Alfonso, A. Delgado Peris, C. Doglioni, G. Duckeck, P. Elmer, J. Eschle, M. Feickert, J. Frost, R. Gardner, V. Garonne, M. Giffels, J. Gooding, E. Gramstad, L. Gray, B. Hegner , et al. (41 additional authors not shown)

Abstract: This white paper presents the current status of the R&D for Analysis Facilities (AFs) and attempts to summarize the views on the future direction of these facilities. These views have been collected through the High Energy Physics (HEP) Software Foundation's (HSF) Analysis Facilities forum, established in March 2022, the Analysis Ecosystems II workshop, that took place in May 2022, and the WLCG/HS… ▽ More This white paper presents the current status of the R&D for Analysis Facilities (AFs) and attempts to summarize the views on the future direction of these facilities. These views have been collected through the High Energy Physics (HEP) Software Foundation's (HSF) Analysis Facilities forum, established in March 2022, the Analysis Ecosystems II workshop, that took place in May 2022, and the WLCG/HSF pre-CHEP workshop, that took place in May 2023. The paper attempts to cover all the aspects of an analysis facility. △ Less

Submitted 15 April, 2024; v1 submitted 2 April, 2024; originally announced April 2024.

Deep learning-driven scheduling algorithm for a single machine problem minimizing the total tardiness

Authors: Michal Bouška, Přemysl Šůcha, Antonín Novák, Zdeněk Hanzálek

Abstract: In this paper, we investigate the use of the deep learning method for solving a well-known NP-hard single machine scheduling problem with the objective of minimizing the total tardiness. We propose a deep neural network that acts as a polynomial-time estimator of the criterion value used in a single-pass scheduling algorithm based on Lawler's decomposition and symmetric decomposition proposed by D… ▽ More In this paper, we investigate the use of the deep learning method for solving a well-known NP-hard single machine scheduling problem with the objective of minimizing the total tardiness. We propose a deep neural network that acts as a polynomial-time estimator of the criterion value used in a single-pass scheduling algorithm based on Lawler's decomposition and symmetric decomposition proposed by Della Croce et al. Essentially, the neural network guides the algorithm by estimating the best splitting of the problem into subproblems. The paper also describes a new method for generating the training data set, which speeds up the training dataset generation and reduces the average optimality gap of solutions. The experimental results show that our machine learning-driven approach can efficiently generalize information from the training phase to significantly larger instances. Even though the instances used in the training phase have from 75 to 100 jobs, the average optimality gap on instances with up to 800 jobs is 0.26%, which is almost five times less than the gap of the state-of-the-art heuristic. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Journal ref: European Journal of Operational Research, Volume 308, Issue 3, 1 August 2023, Pages 990-1006

Navigating the Complex Landscape of Shock Filter Cahn-Hilliard Equation: From Regularized to Entropy Solutions

Authors: Darko Mitrovic, Andrej Novak

Abstract: Image inpainting involves filling in damaged or missing regions of an image by utilizing information from the surrounding areas. In this paper, we investigate a highly nonlinear partial differential equation inspired by the modified Cahn-Hilliard equation. Instead of using standard potentials that depend solely on pixel intensities, we consider morphological image enhancement filters that are base… ▽ More Image inpainting involves filling in damaged or missing regions of an image by utilizing information from the surrounding areas. In this paper, we investigate a highly nonlinear partial differential equation inspired by the modified Cahn-Hilliard equation. Instead of using standard potentials that depend solely on pixel intensities, we consider morphological image enhancement filters that are based on a variant of the shock filter: : \begin{align*} \partial_t u &= Δ\left(-ν\arctan(Δu)|\nabla u| - μΔu \right)+ λ(u_0 - u). \end{align*} This is referred to as the Shock Filter Cahn-Hilliard Equation. This equation is nonlinear with respect to the second-order derivative, which poses significant mathematical challenges. To address these, we make use of a specific approximation argument, establishing the existence of a family of approximate solutions through the Leray-Schauder fixed point theorem and the Aubin-Lions lemma. In the limit, we obtain a solution strategy wherein we can prove the existence and uniqueness of solutions. Proving the latter involves the use of Young measures and Kruzhkov entropy type-admissibility conditions. Additionally, we use a numerical method based on the convexity splitting idea to approximate solutions of the nonlinear partial differential equation and achieve fast inpainting results. To demonstrate the effectiveness of our approach, we apply our method to standard binary images and compare it with variations of the Cahn-Hilliard equation commonly used in the field. △ Less

Submitted 31 May, 2024; v1 submitted 31 October, 2023; originally announced October 2023.

Comments: 40 pages, 37 figures

MSC Class: 65M06; 94A08; 68U10; 47H10; 35K55; 80A22

Silicon Carbide Timepix3 detector for quantum-imaging detection and spectral tracking of charged particles in wide range of energy and field-of-view

Authors: Andrej Novak, Carlos Granja, Andrea Sagatova, Jan Jakubek, Bohumir Zatko, Vladimir Vondracek, Michal Andrlik, Vaclav Zach, Stepan Polansky, Anuj Rathi, Cristina Oancea

Abstract: The hybrid architecture of the Timepix (TPX) family of detectors enables the use of different semiconductor sensors, most commonly silicon (Si), as well as high-density materials such as Cadmium Telluride (CdTe) or Gallium Arsenide (GaAs). For this purpose, we explore the potential of a silicon carbide (SiC) sensor bump-bonded on a Timepix3 detector as a radiation imaging and particle tracking det… ▽ More The hybrid architecture of the Timepix (TPX) family of detectors enables the use of different semiconductor sensors, most commonly silicon (Si), as well as high-density materials such as Cadmium Telluride (CdTe) or Gallium Arsenide (GaAs). For this purpose, we explore the potential of a silicon carbide (SiC) sensor bump-bonded on a Timepix3 detector as a radiation imaging and particle tracking detector. SiC stands as a radiation-hard material also with the ability to operate at elevated temperatures up to several hundreds of degrees Celsius. As a result, this sensor material is more suitable for radiation harsh environments compared to conventional e.g., Si sensors. In this work, we evaluate the response for precise radiation spectrometry and high-resolution particle tracking of newly developed SiC Timepix3 detector which is built and operated as a compact radiation camera MiniPIX-Timepix3 with integrated readout electronics. Calibration measurements were conducted with mono-energetic proton beams with energies of 13, 22, and 31 MeV at the U-120M cyclotron at the Nuclear Physics Institute Czech Academy of Science (NPI CAS), Prague, as well as 100 and 226 MeV at the Proton Therapy Center Czech (PTC) in Prague. High-resolution pattern recognition analysis and single-particle spectral tracking are used for detailed inspection and understanding of the sensor response. Results include distributions of deposited energy and linear energy transfer (LET) spectra. The spatial uniformity of the pixelated detector response is examined in terms of homogeneously distributed deposited energy. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Comments: 9 pages, proceedings iWoRiD

A Preliminary Fluid-Structure Coupling of NekRS and MOOSE via Cardinal

Authors: A. Chaube, A. J. Novak, H. Yuan, E. Merzari, D. R. Shaver, P. F. Fischer, C. S. Brooks

Abstract: Fluid-Structure Interaction (FSI) is a significant phenomenon in most nuclear reactors, causing effects such as Flow-Induced Vibration (FIV) and thermally-driven Core-Radial Expansion (CRE). We demonstrate that Cardinal, an open-source coupling of NekRS and OpenMC to MOOSE, can be used for modelling FSI by coupling the Tensor Mechanics Module from the Multiphysics Object Oriented Simulation Enviro… ▽ More Fluid-Structure Interaction (FSI) is a significant phenomenon in most nuclear reactors, causing effects such as Flow-Induced Vibration (FIV) and thermally-driven Core-Radial Expansion (CRE). We demonstrate that Cardinal, an open-source coupling of NekRS and OpenMC to MOOSE, can be used for modelling FSI by coupling the Tensor Mechanics Module from the Multiphysics Object Oriented Simulation Environment (MOOSE) to NekRS's Arbitrary Lagrangian-Eulerian (ALE) solver. The solid mechanics-thermal hydraulics coupling is implemented using efficient in-memory coupling and data transfers. We provide a preliminary demonstration of these capabilities with a 3-D FSI benchmark for an elastic block in crossflow. △ Less

Submitted 22 August, 2023; originally announced August 2023.

Comments: The International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering, 2023

Constraint Programming and Constructive Heuristics for Parallel Machine Scheduling with Sequence-Dependent Setups and Common Servers

Authors: Vilém Heinz, Antonín Novák, Marek Vlk, Zdeněk Hanzálek

Abstract: This paper examines scheduling problem denoted as $P|seq, ser|C_{max}$ in Graham's notation; in other words, scheduling of tasks on parallel identical machines ($P$) with sequence-dependent setups ($seq$) each performed by one of the available servers ($ser$). The goal is to minimize the makespan ($C_{max}$). We propose a Constraint Programming (CP) model for finding the optimal solution and const… ▽ More This paper examines scheduling problem denoted as $P|seq, ser|C_{max}$ in Graham's notation; in other words, scheduling of tasks on parallel identical machines ($P$) with sequence-dependent setups ($seq$) each performed by one of the available servers ($ser$). The goal is to minimize the makespan ($C_{max}$). We propose a Constraint Programming (CP) model for finding the optimal solution and constructive heuristics suitable for large problem instances. These heuristics are also used to provide a feasible starting solution to the proposed CP model, significantly improving its efficiency. This combined approach constructs solutions for benchmark instances of up to 20 machines and 500 tasks in 10 seconds, with makespans 3-11.5% greater than the calculated lower bounds with a 5% average. The extensive experimental comparison also shows that our proposed approaches outperform the existing ones. △ Less

Submitted 31 May, 2023; originally announced May 2023.

Comments: Cite from https://www.sciencedirect.com/science/article/pii/S0360835222005836

Second Analysis Ecosystem Workshop Report

Authors: Mohamed Aly, Jackson Burzynski, Bryan Cardwell, Daniel C. Craik, Tal van Daalen, Tomas Dado, Ayanabha Das, Antonio Delgado Peris, Caterina Doglioni, Peter Elmer, Engin Eren, Martin B. Eriksen, Jonas Eschle, Giulio Eulisse, Conor Fitzpatrick, José Flix Molina, Alessandra Forti, Ben Galewsky, Sean Gasiorowski, Aman Goel, Loukas Gouskos, Enrico Guiraud, Kanhaiya Gupta, Stephan Hageboeck, Allison Reinsvold Hall , et al. (44 additional authors not shown)

Abstract: The second workshop on the HEP Analysis Ecosystem took place 23-25 May 2022 at IJCLab in Orsay, to look at progress and continuing challenges in scaling up HEP analysis to meet the needs of HL-LHC and DUNE, as well as the very pressing needs of LHC Run 3 analysis. The workshop was themed around six particular topics, which were felt to capture key questions, opportunities and challenges. Each to… ▽ More The second workshop on the HEP Analysis Ecosystem took place 23-25 May 2022 at IJCLab in Orsay, to look at progress and continuing challenges in scaling up HEP analysis to meet the needs of HL-LHC and DUNE, as well as the very pressing needs of LHC Run 3 analysis. The workshop was themed around six particular topics, which were felt to capture key questions, opportunities and challenges. Each topic arranged a plenary session introduction, often with speakers summarising the state-of-the art and the next steps for analysis. This was then followed by parallel sessions, which were much more discussion focused, and where attendees could grapple with the challenges and propose solutions that could be tried. Where there was significant overlap between topics, a joint discussion between them was arranged. In the weeks following the workshop the session conveners wrote this document, which is a summary of the main discussions, the key points raised and the conclusions and outcomes. The document was circulated amongst the participants for comments before being finalised here. △ Less

Submitted 9 December, 2022; originally announced December 2022.

Report number: HSF-DOC-2022-02

Design of an electronic circuit for loudspeaker real-time digital signal processing

Authors: Oliver Munroe, Stephane Letourneur, Antonin Novak

Abstract: In modern audio systems, real-time digital signal processing algorithms are widely used for a variety of applications. The possibility of using a simple electronic circuit for variety of research projects has shown remarkable potential and is gradually attracting more and more attention from researchers and engineers. This contribution describes a design of such a board used in the framework of a… ▽ More In modern audio systems, real-time digital signal processing algorithms are widely used for a variety of applications. The possibility of using a simple electronic circuit for variety of research projects has shown remarkable potential and is gradually attracting more and more attention from researchers and engineers. This contribution describes a design of such a board used in the framework of a PhD thesis whose subject is centred on the real-time correction of loudspeaker nonlinearities. The solution chosen in this work is based on a Teensy 3.6 microcontroller which is easy to program using the Arduino IDE and the libraries provided by Teensy. Two solutions are provided : one with an Audio board available on the market and another with a homemade board. Both solutions contain two inputs and at least one output (all 16 bits). This contribution does not detail the compensation algorithm related to the loudspeaker nonlinearities but focuses on the boards design, comparison of proposed solutions, and provides the basic codes to perform the real-time digital signal processing. △ Less

Submitted 3 June, 2022; originally announced June 2022.

Journal ref: 16eme Congr{è}s Fran{\c c}ais d'Acoustique, Apr 2022, Marseille, France

Simulation of dielectric axion haloscopes with deep neural networks: a proof-of-principle

Authors: Philipp Alexander Jung, Bernardo Ary dos Santos, Dominik Bergermann, Tim Graulich, Maximilian Lohmann, Andrzej Novák, Erdem Öz, Ali Riahinia, Alexander Schmidt

Abstract: Dielectric axion haloscopes, such as the MADMAX experiment, are promising concepts for the direct search for dark matter axions. A reliable simulation is a fundamental requirement for the successful realisation of the experiments. Due to the complexity of the simulations, the demands on computing resources can quickly become prohibitive. In this paper, we show for the first time that modern deep l… ▽ More Dielectric axion haloscopes, such as the MADMAX experiment, are promising concepts for the direct search for dark matter axions. A reliable simulation is a fundamental requirement for the successful realisation of the experiments. Due to the complexity of the simulations, the demands on computing resources can quickly become prohibitive. In this paper, we show for the first time that modern deep learning techniques can be applied to aid the simulation and optimisation of dielectric haloscopes. △ Less

Submitted 10 November, 2022; v1 submitted 1 June, 2022; originally announced June 2022.

Comments: 7 pages, 6 figures

Journal ref: Comput Softw Big Sci 6, 18 (2022)

Improving Robustness of Jet Tagging Algorithms with Adversarial Training

Authors: Annika Stein, Xavier Coubez, Spandan Mondal, Andrzej Novak, Alexander Schmidt

Abstract: Deep learning is a standard tool in the field of high-energy physics, facilitating considerable sensitivity enhancements for numerous analysis strategies. In particular, in identification of physics objects, such as jet flavor tagging, complex neural network architectures play a major role. However, these methods are reliant on accurate simulations. Mismodeling can lead to non-negligible differenc… ▽ More Deep learning is a standard tool in the field of high-energy physics, facilitating considerable sensitivity enhancements for numerous analysis strategies. In particular, in identification of physics objects, such as jet flavor tagging, complex neural network architectures play a major role. However, these methods are reliant on accurate simulations. Mismodeling can lead to non-negligible differences in performance in data that need to be measured and calibrated against. We investigate the classifier response to input data with injected mismodelings and probe the vulnerability of flavor tagging algorithms via application of adversarial attacks. Subsequently, we present an adversarial training strategy that mitigates the impact of such simulated attacks and improves the classifier robustness. We examine the relationship between performance and vulnerability and show that this method constitutes a promising approach to reduce the vulnerability to poor modeling. △ Less

Submitted 16 September, 2022; v1 submitted 25 March, 2022; originally announced March 2022.

Comments: 17 pages, 16 figures, 2 tables. Replaced with the published version. Added the journal reference and the DOI. Code accessible under https://github.com/AnnikaStein/Adversarial-Training-for-Jet-Tagging

Journal ref: Comput Softw Big Sci 6 (2022) 15

A Critical Review of the Baseline Soldier Physical Readiness Requirements Study

Authors: Kyle A. Novak

Abstract: The Army's Baseline Soldier Physical Readiness Requirements Study (BSPRRS) was a multiyear effort designed to inform evidence-based change in the Army's physical fitness test of record from a gender- and age-specific standard to a gender- and age-neutral standard based on recurring, physically demanding tasks encountered by soldiers. The physical fitness test events determined by BSPRRS became the… ▽ More The Army's Baseline Soldier Physical Readiness Requirements Study (BSPRRS) was a multiyear effort designed to inform evidence-based change in the Army's physical fitness test of record from a gender- and age-specific standard to a gender- and age-neutral standard based on recurring, physically demanding tasks encountered by soldiers. The physical fitness test events determined by BSPRRS became the six-event Army Combat Fitness Test (ACFT). A close examination of the BSPRRS model reveals critical mistakes and the lack of rigorous cross-validation. △ Less

Submitted 6 October, 2021; originally announced October 2021.

Comments: 18 pages

Highly Optimized Full-Core Reactor Simulations on Summit

Authors: Paul Fischer, Elia Merzari, Misun Min, Stefan Kerkemeier, Yu-Hsiang Lan, Malachi Phillips, Thilina Rathnayake, April Novak, Derek Gaston, Noel Chalmers, Tim Warburton

Abstract: Nek5000/RS is a highly-performant open-source spectral element code for simulation of incompressible and low-Mach fluid flow, heat transfer, and combustion with a particular focus on turbulent flows in complex domains. It is based on high-order discretizations that realize the same (or lower) cost per gridpoint as traditional low-order methods. State-of-the-art multilevel preconditioners, efficien… ▽ More Nek5000/RS is a highly-performant open-source spectral element code for simulation of incompressible and low-Mach fluid flow, heat transfer, and combustion with a particular focus on turbulent flows in complex domains. It is based on high-order discretizations that realize the same (or lower) cost per gridpoint as traditional low-order methods. State-of-the-art multilevel preconditioners, efficient high-order time-splitting methods, and runtime-adaptive communication strategies are built on a fast OCCA-based kernel library, libParanumal, to provide scalability and portability across the spectrum of current and future high-performance computing platforms. On Summit, Nek5000/RS has recently achieved an milestone in the simulation of nuclear reactors: the first full-core computational fluid dynamics simulations of reactor cores, including pebble beds with > 350,000 pebbles and 98M elements advanced in less than 0.25 seconds per Navier-Stokes timestep. With carefully tuned algorithms, it is possible to simulate a single flow-through time for a full reactor core in less than six hours on all of Summit. △ Less

Submitted 1 October, 2021; originally announced October 2021.

Comments: 9 pages, 3 figures, 6 tables

MSC Class: 35-04 ACM Class: D.0; F.2; G.2; G.4; I.6; J.2

VidHarm: A Clip Based Dataset for Harmful Content Detection

Authors: Johan Edstedt, Amanda Berg, Michael Felsberg, Johan Karlsson, Francisca Benavente, Anette Novak, Gustav Grund Pihlgren

Abstract: Automatically identifying harmful content in video is an important task with a wide range of applications. However, there is a lack of professionally labeled open datasets available. In this work VidHarm, an open dataset of 3589 video clips from film trailers annotated by professionals, is presented. An analysis of the dataset is performed, revealing among other things the relation between clip an… ▽ More Automatically identifying harmful content in video is an important task with a wide range of applications. However, there is a lack of professionally labeled open datasets available. In this work VidHarm, an open dataset of 3589 video clips from film trailers annotated by professionals, is presented. An analysis of the dataset is performed, revealing among other things the relation between clip and trailer level annotations. Audiovisual models are trained on the dataset and an in-depth study of modeling choices conducted. The results show that performance is greatly improved by combining the visual and audio modality, pre-training on large-scale video recognition datasets, and class balanced sampling. Lastly, biases of the trained models are investigated using discrimination probing. VidHarm is openly available, and further details are available at: https://vidharm.github.io △ Less

Submitted 2 September, 2022; v1 submitted 15 June, 2021; originally announced June 2021.

Global Controllability for Quasilinear Non-negative Definite System of ODEs and SDEs

Authors: Jasmina Djordjevic, Sanja Konjik, Darko Mitrović, Andrej Novak

Abstract: We consider exact and averaged control problem for a system of quasi-linear ODEs and SDEs with a non-negative definite symmetric matrix of the system. The strategy of the proof is the standard linearization of the system by fixing the function appearing in the nonlinear part of the system, and then applying the Leray-Schauder fixed point theorem. We shall also need the continuous induction argumen… ▽ More We consider exact and averaged control problem for a system of quasi-linear ODEs and SDEs with a non-negative definite symmetric matrix of the system. The strategy of the proof is the standard linearization of the system by fixing the function appearing in the nonlinear part of the system, and then applying the Leray-Schauder fixed point theorem. We shall also need the continuous induction arguments to prolong the control to the final state which is a novel approach in the field. This enables us to obtain controllability for arbitrarily large initial data (so called global controllability). △ Less

Submitted 14 June, 2021; originally announced June 2021.

MSC Class: Primary: 34H05; Secondary: 49J15; 93C15; 60H10

Data-driven Algorithm for Scheduling with Total Tardiness

Authors: Michal Bouška, Antonín Novák, Přemysl Šůcha, István Módos, Zdeněk Hanzálek

Abstract: In this paper, we investigate the use of deep learning for solving a classical NP-Hard single machine scheduling problem where the criterion is to minimize the total tardiness. Instead of designing an end-to-end machine learning model, we utilize well known decomposition of the problem and we enhance it with a data-driven approach. We have designed a regressor containing a deep neural network that… ▽ More In this paper, we investigate the use of deep learning for solving a classical NP-Hard single machine scheduling problem where the criterion is to minimize the total tardiness. Instead of designing an end-to-end machine learning model, we utilize well known decomposition of the problem and we enhance it with a data-driven approach. We have designed a regressor containing a deep neural network that learns and predicts the criterion of a given set of jobs. The network acts as a polynomial-time estimator of the criterion that is used in a single-pass scheduling algorithm based on Lawler's decomposition theorem. Essentially, the regressor guides the algorithm to select the best position for each job. The experimental results show that our data-driven approach can efficiently generalize information from the training phase to significantly larger instances (up to 350 jobs) where it achieves an optimality gap of about 0.5%, which is four times less than the gap of the state-of-the-art NBR heuristic. △ Less

Submitted 12 May, 2020; originally announced May 2020.

Long term measurements from the Mátra Gravitational and Geophysical Laboratory

Authors: P. Ván, G. G. Barnaföldi, T. Bulik, T. Biró, S. Czellár, M. Cieślar, Cs. Czanik, E. Dávid, E. Debreceni, M. Denys, M. Dobróka, E. Fenyvesi, D. Gondek-Rosińska, Z. Gráczer, G. Hamar, G. Huba, B. Kacskovics, Á. Kis, I. Kovács, R. Kovács, I. Lemperger, P. Lévai, S. Lökös, J. Mlynarczyk, J. Molnár , et al. (15 additional authors not shown)

Abstract: Summary of the long term data taking, related to one of the proposed next generation ground-based gravitational detector's location is presented here. Results of seismic and infrasound noise, electromagnetic attenuation and cosmic muon radiation measurements are reported in the underground Matra Gravitational and Geophysical Laboratory near Gyöngyösoroszi, Hungary. The collected seismic data of mo… ▽ More Summary of the long term data taking, related to one of the proposed next generation ground-based gravitational detector's location is presented here. Results of seismic and infrasound noise, electromagnetic attenuation and cosmic muon radiation measurements are reported in the underground Matra Gravitational and Geophysical Laboratory near Gyöngyösoroszi, Hungary. The collected seismic data of more than two years is evaluated from the point of view of the Einstein Telescope, a proposed third generation underground gravitational wave observatory. Applying our results for the site selection will significantly improve the signal to nose ratio of the multi-messenger astrophysics era, especially at the low frequency regime. △ Less

Submitted 13 November, 2018; originally announced November 2018.

Comments: 47 pages, 37 figures

Journal ref: The European Physical Journal, Special Topics 228, 1693-1743 (2019)

Haplotype-aware graph indexes

Authors: Jouni Sirén, Erik Garrison, Adam M. Novak, Benedict Paten, Richard Durbin

Abstract: The variation graph toolkit (VG) represents genetic variation as a graph. Each path in the graph is a potential haplotype, though most paths are unlikely recombinations of true haplotypes. We augment the VG model with haplotype information to identify which paths are more likely to be correct. For this purpose, we develop a scalable implementation of the graph extension of the positional Burrows--… ▽ More The variation graph toolkit (VG) represents genetic variation as a graph. Each path in the graph is a potential haplotype, though most paths are unlikely recombinations of true haplotypes. We augment the VG model with haplotype information to identify which paths are more likely to be correct. For this purpose, we develop a scalable implementation of the graph extension of the positional Burrows--Wheeler transform. We demonstrate the scalability of the new implementation by indexing the 1000 Genomes Project haplotypes. We also develop an algorithm for simplifying variation graphs for k-mer indexing without losing any k-mers in the haplotypes. △ Less

Submitted 15 June, 2018; v1 submitted 10 May, 2018; originally announced May 2018.

Comments: Accepted to WABI 2018

First report of long term measurements of the {MGGL} laboratory in the {M}átra mountain range

Authors: G. G. Barnaföldi, T. Bulik, M. Cieslar, E. Dávid, M. Dobróka, E. Fenyvesi, D. Gondek-Rosinska, Z. Gráczer, G. Hamar, G. Huba, Á. Kis, R. Kovács, I. Lemperger, P. Lévai, J. Molnár, D. Nagy, A. Novák, L. Oláh, P. Pázmándi, D. Piri, L. Somlai, T. Starecki, M. Suchenek, G. Surányi, S. Szalai , et al. (6 additional authors not shown)

Abstract: Matra Gravitational and Geophysical Laboratory (MGGL) has been established near Gyöngyösoroszi, Hungary in 2015, in the cavern system of an unused ore mine. The Laboratory is located at 88~m below the surface, with the aim to measure and analyse the advantages of the underground installation of third generation gravitational wave detectors. Specialized instruments have been installed to measure se… ▽ More Matra Gravitational and Geophysical Laboratory (MGGL) has been established near Gyöngyösoroszi, Hungary in 2015, in the cavern system of an unused ore mine. The Laboratory is located at 88~m below the surface, with the aim to measure and analyse the advantages of the underground installation of third generation gravitational wave detectors. Specialized instruments have been installed to measure seismic, infrasound, electromagnetic noise, and the variation of the cosmic muon flux. In the preliminary (RUN-0) test period, March-August 2016, data collection has been accomplished. In this paper we describe the research potential of the MGGL, list the installed equipments and summarize the experimental results of RUN-0. Here we report RUN-0 data, that prepares systematic and synchronized data collection of the next run period. △ Less

Submitted 3 May, 2017; v1 submitted 24 October, 2016; originally announced October 2016.

Comments: 24 pages, 16 figures, accepted version

Journal ref: Class. Quantum Grav. 2017, V34, 114001 (22pp)

On Solving Non-preemptive Mixed-criticality Match-up Scheduling Problem with Two and Three Criticality Levels

Authors: Antonin Novak, Premysl Sucha, Zdenek Hanzalek

Abstract: In this paper, we study an NP-hard problem of a single machine scheduling minimizing the makespan, where the mixed-critical tasks with an uncertain processing time are scheduled. We show the derivation of F-shaped tasks from the probability distribution function of the processing time, then we study the structure of problems with two and three criticality levels for which we propose efficient exac… ▽ More In this paper, we study an NP-hard problem of a single machine scheduling minimizing the makespan, where the mixed-critical tasks with an uncertain processing time are scheduled. We show the derivation of F-shaped tasks from the probability distribution function of the processing time, then we study the structure of problems with two and three criticality levels for which we propose efficient exact algorithms and we present computational experiments for instances with up to 200 tasks. Moreover, we show that the considered problem is approximable within a constant multiplicative factor. △ Less

Submitted 24 October, 2016; originally announced October 2016.

Comments: 16 pages, 2 figures, 2 tables

ACM Class: G.1.6; C.3

Transport-collapse scheme for scalar conservation laws -- initial and boundary value problems

Authors: Darko Mitrovic, Andrej Novak

Abstract: We extend Brenier's transport collapse scheme on the Cauchy problem for heterogeneous scalar conservation laws and initial-boundary value problem for homogeneous scalar conservation laws. It is based on averaging out the solution to the corresponding kinetic equation, and it necessarily converges toward the entropy admissible solution. In the case of initial-boundary value problem, we such a proce… ▽ More We extend Brenier's transport collapse scheme on the Cauchy problem for heterogeneous scalar conservation laws and initial-boundary value problem for homogeneous scalar conservation laws. It is based on averaging out the solution to the corresponding kinetic equation, and it necessarily converges toward the entropy admissible solution. In the case of initial-boundary value problem, we such a procedure is used to construct a numerical scheme which leads us to a new solution concept for initial-boundary value problem for scalar conservation laws. The concept is a generalization (refinement) of the previous works on initial-boundary value problem. We also provide numerical examples. △ Less

Submitted 28 October, 2015; v1 submitted 6 August, 2015; originally announced August 2015.

MSC Class: 35L65; 65M25

Canonical, Stable, General Map** using Context Schemes

Authors: Adam Novak, Yohei Rosen, David Haussler, Benedict Paten

Abstract: Motivation: Sequence map** is the cornerstone of modern genomics. However, most existing sequence map** algorithms are insufficiently general. Results: We introduce context schemes: a method that allows the unambiguous recognition of a reference base in a query sequence by testing the query for substrings from an algorithmically defined set. Context schemes only map when there is a unique be… ▽ More Motivation: Sequence map** is the cornerstone of modern genomics. However, most existing sequence map** algorithms are insufficiently general. Results: We introduce context schemes: a method that allows the unambiguous recognition of a reference base in a query sequence by testing the query for substrings from an algorithmically defined set. Context schemes only map when there is a unique best map**, and define this criterion uniformly for all reference bases. Map**s under context schemes can also be made stable, so that extension of the query string (e.g. by increasing read length) will not alter the map** of previously mapped positions. Context schemes are general in several senses. They natively support the detection of arbitrary complex, novel rearrangements relative to the reference. They can scale over orders of magnitude in query sequence length. Finally, they are trivially extensible to more complex reference structures, such as graphs, that incorporate additional variation. We demonstrate empirically the existence of high performance context schemes, and present efficient context scheme map** algorithms. Availability and Implementation: The software test framework created for this work is available from https://registry.hub.docker.com/u/adamnovak/sequence-graphs/. Contact: [email protected] Supplementary Information: Six supplementary figures and one supplementary section are available with the online version of this article. △ Less

Submitted 11 June, 2015; v1 submitted 16 January, 2015; originally announced January 2015.

Comments: Submission for Bioinformatics

Map** to a Reference Genome Structure

Authors: Benedict Paten, Adam Novak, David Haussler

Abstract: To support comparative genomics, population genetics, and medical genetics, we propose that a reference genome should come with a scheme for map** each base in any DNA string to a position in that reference genome. We refer to a collection of one or more reference genomes and a scheme for map** to their positions as a reference structure. Here we describe the desirable properties of reference… ▽ More To support comparative genomics, population genetics, and medical genetics, we propose that a reference genome should come with a scheme for map** each base in any DNA string to a position in that reference genome. We refer to a collection of one or more reference genomes and a scheme for map** to their positions as a reference structure. Here we describe the desirable properties of reference structures and give examples. To account for natural genetic variation, we consider the more general case in which a reference genome is represented by a graph rather than a set of phased chromosomes; the latter is treated as a special case. △ Less

Submitted 20 April, 2014; originally announced April 2014.

Comments: 25 pages

Macroscopic quantum tunneling of magnetization explored by quantum-first-order reversal curves (QFORC)

Authors: Fanny Béron, Miguel A. Novak, Maria G. F. Vaz, Guilherme P. Guedes, Marcelo Knobel, Amir Caldeira, Kleber R. Pirota

Abstract: A novel method to study the fundamental problem of quantum double well potential systems that display magnetic hysteresis is proposed. The method, coined quantum-first-order reversal curve (QFORC) analysis, is inspired by the conventional first-order reversal curve (FORC) protocol, based on the Preisach model for hysteretic phenomena. We successfully tested the QFORC method in the peculiar hystere… ▽ More A novel method to study the fundamental problem of quantum double well potential systems that display magnetic hysteresis is proposed. The method, coined quantum-first-order reversal curve (QFORC) analysis, is inspired by the conventional first-order reversal curve (FORC) protocol, based on the Preisach model for hysteretic phenomena. We successfully tested the QFORC method in the peculiar hysteresis of the Mn12Ac molecular magnet, which is governed by macroscopic quantum tunneling of magnetization. The QFORC approach allows one to quickly reproduce well the experimental magnetization behavior, and more importantly to acquire information that is difficult to infer from the usual methods based on matrix diagonalization. It is possible to separate the thermal activation and tunneling contributions from the magnetization variation, as well as understand each experimentally observed jump of the magnetization curve and associate them with specific quantum transitions. △ Less

Submitted 12 June, 2013; originally announced June 2013.

Comments: 15 pages, 5 figures

The effects of superconductor-stabilizer interfacial resistance on quench of a pancake coil made out of coated conductor

Authors: G. A. Levin, W. A. Jones, K. A. Novak, P. N. Barnes

Abstract: We present the results of numerical analysis of normal zone propagation in a stack of $YBa_2Cu_3O_{7-x}$ coated conductors which imitates a pancake coil. Our main purpose is to determine whether the quench protection quality of such coils can be substantially improved by increased contact resistance between the superconducting film and the stabilizer. We show that with increased contact resistance… ▽ More We present the results of numerical analysis of normal zone propagation in a stack of $YBa_2Cu_3O_{7-x}$ coated conductors which imitates a pancake coil. Our main purpose is to determine whether the quench protection quality of such coils can be substantially improved by increased contact resistance between the superconducting film and the stabilizer. We show that with increased contact resistance the speed of normal zone propagation increases, the detection of a normal zone inside the coil becomes possible earlier, when the peak temperature inside the normal zone is lower, and stability margins shrink. Thus, increasing contact resistance may become a viable option for improving the prospects of coated conductors for high $T_c$ magnets applications. △ Less

Submitted 28 July, 2010; v1 submitted 21 July, 2010; originally announced July 2010.

Comments: 9 pages, 4 figures

The effects of superconductor-stabilizer interfacial resistance on quench of current-carrying coated conductor

Authors: G. A. Levin, P. N. Barnes, K. A. Novak

Abstract: We present the results of numerical analysis of a model of normal zone propagation in coated conductors. The main emphasis is on the effects of increased contact resistance between the superconducting film and the stabilizer on the speed of normal zone propagation, the maximum temperature rise inside the normal zone, and the stability margins. We show that with increasing contact resistance the… ▽ More We present the results of numerical analysis of a model of normal zone propagation in coated conductors. The main emphasis is on the effects of increased contact resistance between the superconducting film and the stabilizer on the speed of normal zone propagation, the maximum temperature rise inside the normal zone, and the stability margins. We show that with increasing contact resistance the speed of normal zone propagation increases, the maximum temperature inside the normal zone decreases, and stability margins shrink. This may have an overall beneficial effect on quench protection quality of coated conductors. We also briefly discuss the propagation of solitons and development of the temperature modulation along the wire. △ Less

Submitted 28 September, 2009; originally announced September 2009.

Comments: To be published in Superconductor Science and Technology. This preprint contains one animated figure (Fig. 6(a)). when asked whether you want to play the content, click "Play". Acrobat Reader (Windows and Mac, but not Linux) will play embedded flash movies. In the printed copy Fig. 6(b) will show the temperature profile at gamma t=150

Magnetic order in the S=1/2 two-dimensional molecular antiferromagnet, copper pyrazine perchlorate Cu(Pz)_2(ClO_4)_2

Authors: T. Lancaster, S. J. Blundell, M. L. Brooks, P. J. Baker, F. L. Pratt, J. L. Manson, M. M. Conner, F. Xiao, C. P. Landee, F. A. Chaves, S. Soriano, M. A. Novak, T. Papageorgiou, A. Bianchi, T. Herrmannsdorfer, J. Wosnitza, J. A. Schlueter

Abstract: We present an investigation of magnetic ordering in the two-dimensional S=1/2 quantum magnet Cu(Pz)_2(ClO_4)_2 using specific heat and zero field muon-spin relaxation (μ^+SR). The magnetic contribution to the specific heat is consistent with an exchange strength of 17.7(3) K. We find unambiguous evidence for a transition to a state of three-dimensional long range order below a critical temperatu… ▽ More We present an investigation of magnetic ordering in the two-dimensional S=1/2 quantum magnet Cu(Pz)_2(ClO_4)_2 using specific heat and zero field muon-spin relaxation (μ^+SR). The magnetic contribution to the specific heat is consistent with an exchange strength of 17.7(3) K. We find unambiguous evidence for a transition to a state of three-dimensional long range order below a critical temperature T_N=4.21(1) K using μ^+SR even though there is no feature in the specific heat at that temperature. The absence of a specific heat anomaly at T_N is consistent with recent theoretical predictions. The ratio of T_N/J=0.24 corresponds to a ratio of intralayer to interlayer exchange constants of |J'/J|=6.8x10^-4, indicative of excellent two-dimensional isolation. The scaled magnetic specific heat of [Cu(Pz)_2(HF_2)]BF_4, a compound with an analogous structure, is essentially identical to that of Cu(Pz)_2(ClO_4)_2 although both differ slightly from the predicted value for an ideal 2D S=1/2 Heisenberg antiferromagnet. △ Less

Submitted 13 December, 2006; originally announced December 2006.

Comments: 7 pages, 4 figures

Journal ref: Phys. Rev. B 75, 094421 (2007)

Fast Switching of Bistable Magnetic Nanowires Through Collective Spin Reversal

Authors: A. Vindigni, A. Rettori, L. Bogani, A. Caneschi, D. Gatteschi, R. Sessoli, M. A. Novak

Abstract: The use of magnetic nanowires as memory units is made possible by the exponential divergence of the characteristic time for magnetization reversal at low temperature, but the slow relaxation makes the manipulation of the frozen magnetic states difficult. We suggest that finite-size segments can show a fast switching if collective reversal of the spins is taken into account. This mechanism gives… ▽ More The use of magnetic nanowires as memory units is made possible by the exponential divergence of the characteristic time for magnetization reversal at low temperature, but the slow relaxation makes the manipulation of the frozen magnetic states difficult. We suggest that finite-size segments can show a fast switching if collective reversal of the spins is taken into account. This mechanism gives rise at low temperatures to a scaling law for the dynamic susceptibility that has been experimentally observed for the dilute molecular chain Co(hfac)2NitPhOMe. These results suggest a possible way of engineering nanowires for fast switching of the magnetization. △ Less

Submitted 13 January, 2005; originally announced January 2005.

Comments: 9 pages, 3 figures, 20 references

Journal ref: Appl. Phys. Lett. 87, 073102 (2005)

Finite-Size effects in "Single Chain Magnets": an experimental and theoretical study

Authors: L. Bogani, A. Caneschi, M. Fedi, D. Gatteschi, M. Massi, M. A. Novak, M. G. Pini, A. Rettori, R. Sessoli, A. Vindigni

Abstract: The problem of finite size effects in s=1/2 Ising systems showing slow dynamics of the magnetization is investigated introducing diamagnetic impurities in a Co$^{2+}$-radical chain. The static magnetic properties have been measured and analyzed considering the peculiarities induced by the ferrimagnetic character of the compound. The dynamic susceptibility shows that an Arrhenius law is observed… ▽ More The problem of finite size effects in s=1/2 Ising systems showing slow dynamics of the magnetization is investigated introducing diamagnetic impurities in a Co$^{2+}$-radical chain. The static magnetic properties have been measured and analyzed considering the peculiarities induced by the ferrimagnetic character of the compound. The dynamic susceptibility shows that an Arrhenius law is observed with the same energy barrier for the pure and the doped compounds while the prefactor decreases, as theoretically predicted. Multiple spins reversal has also been investigated. △ Less

Submitted 30 March, 2004; originally announced March 2004.

Comments: 4 pages, 5 figures. Physical Review Letters, accepted for publication

Journal ref: Phys. Rev. Lett. 92, 207204 (2004)

Temperature dependence of the coercive field in single-domain particle systems

Authors: W. C. Nunes, W. S. D. Folly, J. P. Sinnecker, M. A. Novak

Abstract: The magnetic properties of Cu97Co3 and Cu90Co10 granular alloys were measured over a wide temperature range (2 to 300K). The measurements show an unusual temperature dependence of the coercive field. A generalized model is proposed and explains well the experimental behavior over a wide temperature range. The coexistence of blocked and unblocked particles for a given temperature rises difficulti… ▽ More The magnetic properties of Cu97Co3 and Cu90Co10 granular alloys were measured over a wide temperature range (2 to 300K). The measurements show an unusual temperature dependence of the coercive field. A generalized model is proposed and explains well the experimental behavior over a wide temperature range. The coexistence of blocked and unblocked particles for a given temperature rises difficulties that are solved here by introducing a temperature dependent blocking temperature. An empirical factor gamma arise from the model and is directly related to the particle interactions. The proposed generalized model describes well the experimental results and can be applied to other single-domain particle system. △ Less

Submitted 29 April, 2004; v1 submitted 25 October, 2003; originally announced October 2003.

Comments: 7 pages, 8 figures, revised version, accepted to Physical Review B on 29/04/2004

The role of the alloy structure in the magnetic behavior of granular systems

Authors: C. S. M. Bastos, M. Bahiana, W. C. Nunes, M. A. Novak, D. Altbir, P. Vargas, M. Knobel

Abstract: The effect of grain size, easy magnetization axis and anisotropy constant distributions in the irreversible magnetic behavior of granular alloys is considered. A simulated granular alloy is used to provide a realistic grain structure for the Monte Carlo simulation of the ZFC-FC curves. The effect of annealing and external field is also studied. The simulation curves are in good agreement with th… ▽ More The effect of grain size, easy magnetization axis and anisotropy constant distributions in the irreversible magnetic behavior of granular alloys is considered. A simulated granular alloy is used to provide a realistic grain structure for the Monte Carlo simulation of the ZFC-FC curves. The effect of annealing and external field is also studied. The simulation curves are in good agreement with the FC and ZFC magnetization curves measured on melt spun Cu-Co ribbons. △ Less

Submitted 27 May, 2002; originally announced May 2002.

Comments: 13 pages, 10 figures, submitted to PRB

Glauber slow dynamics of the magnetization in a molecular Ising chain

Authors: A. Caneschi, D. Gatteschi, N. Lalioti, C. Sangregorio, R. Sessoli, G. Venturi, A. Vindigni, A. Rettori, M. G. Pini, M. A. Novak

Abstract: The slow dynamics (10^-6 s - 10^4 s) of the magnetization in the paramagnetic phase, predicted by Glauber for 1d Ising ferromagnets, has been observed with ac susceptibility and SQUID magnetometry measurements in a molecular chain comprising alternating Co{2+} spins and organic radical spins strongly antiferromagnetically coupled. An Arrhenius behavior with activation energy Delta=152 K has been… ▽ More The slow dynamics (10^-6 s - 10^4 s) of the magnetization in the paramagnetic phase, predicted by Glauber for 1d Ising ferromagnets, has been observed with ac susceptibility and SQUID magnetometry measurements in a molecular chain comprising alternating Co{2+} spins and organic radical spins strongly antiferromagnetically coupled. An Arrhenius behavior with activation energy Delta=152 K has been observed for ten decades of relaxation time and found to be consistent with the Glauber model. We have extended this model to take into account the ferrimagnetic nature of the chain as well as its helicoidal structure. △ Less

Submitted 13 June, 2001; v1 submitted 12 June, 2001; originally announced June 2001.

Comments: 4 pages, 4 figures (low resolution), 16 references. Submitted to Physical Review Letters

Low temperature specific heat of the molecular cluster Fe$_{8}$: contribution of the local field

Authors: A. M. Gomes, M. A. Novak, W. C. Nunes, R. E. Rapp

Abstract: We present low temperature specific heat and ac-susceptibility measurements on Fe$_{8}$ powdered sample. Below 1.3 K, superparamagnetic blocking effects as well as an excess specific heat contribution are evident. The latter is attributed to a splitting of the ground state doublet in an inhomogeneous local field of hyperfine and dipolar origin. The local field contributions are evident in the re… ▽ More We present low temperature specific heat and ac-susceptibility measurements on Fe$_{8}$ powdered sample. Below 1.3 K, superparamagnetic blocking effects as well as an excess specific heat contribution are evident. The latter is attributed to a splitting of the ground state doublet in an inhomogeneous local field of hyperfine and dipolar origin. The local field contributions are evident in the resonances observed in the field dependent ac-susceptibility and specific heat below 0.5 K. The low temperature Schottky contribution allowed us to check the crystal field parameters of effective spin Hamiltonians, recently proposed to simulate EPR and inelastic neutron scattering experiments. △ Less

Submitted 13 December, 1999; originally announced December 1999.

Comments: 16 pages, 6 figures, submitted to PRB