Recent Submissions

  • A ternary relation for structuring the digital plane 

    Šlapal, Josef (EDP Sciences, 2017-02-28)
    We discuss certain ternary relations, called plain, and show that each of them induces a connectedness on its underlying set. This connectedness allows for definitions of concepts of simple closed and Jordan curves. We ...
  • Shepherding Hordes of Markov Chains 

    Češka, Milan (Springer International Publishing, 2019-04-17)
    This paper considers large families of Markov chains (MCs) that are defined over a set of parameters with finite discrete domains. Such families occur in software product lines, planning under partial observability, and ...
  • PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution) 

    Šoková, Veronika; Peringer, Petr; Vojnar, Tomáš (Springer International Publishing, 2020-02-26)
    This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes ...
  • Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection 

    Češka, Milan; Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš (Springer Verlag, 2018-02-23)
    We consider the problem of approximate reduction of non-deterministic automata that appear in hardware-accelerated network intrusion detection systems (NIDSes). We define an error distance of a reduced automaton from the ...
  • Increasing Visibility of IEC 104 Communication in the Smart Grid 

    Matoušek, Petr; Ryšavý, Ondřej; Grégr, Matěj (BCS Learning and Development Ltd., 2019-06-25)
    Energy systems like smart grids are part of critical infrastructure and their interruption or blackout may have fatal consequences on energy production, distribution, and eventually the life of individual people. In order ...
  • Efficient Low-Resource Compression of HIFU Data 

    Klepárník, Petr; Bařina, David; Zemčík, Pavel; Jaroš, Jiří (NEUVEDEN, 2018-06-26)
    Large-scale numerical simulations of high-intensity focused ultrasound (HIFU), important for model-based treatment planning, generate large amounts of data. Typically, it is necessary to save hundreds of gigabytes during ...
  • Accurate simulation of transcranial ultrasound propagation for ultrasonic neuromodulation and stimulation 

    Robertson, James; Cox, Ben; Jaroš, Jiří; Treeby, Bradley (NEUVEDEN, 2017-03-13)
    Non-invasive, focal neurostimulation with ultrasound is a potentially powerful neuroscientific tool that requires effective transcranial focusing of ultrasound to develop. Time-reversal (TR) focusing using numerical ...
  • Formal Methods for Exact Analysis of Approximate Circuits 

    Vašíček, Zdeněk (NEUVEDEN, 2019-12-21)
    Approximate circuits are digital circuits that are intentionally designed in such a way that the specification is violated in terms of functionality in order to obtain some improvements in power consumption, performance ...
  • A 3D Scan Model and Thermal Image Data Fusion Algorithms for 3D Thermography in Medicine 

    Chromý, Adam; Klíma, Ondřej (NEUVEDEN, 2017-11-08)
    Objectives. At present, medical thermal imaging is still considered a mere qualitative tool enabling us to distinguish between but lacking the ability to quantify the physiological and nonphysiological states of the body. ...
  • Indoor and Outdoor Backpack Mapping with Calibrated Pair of Velodyne LiDARs 

    Veľas, Martin; Španěl, Michal; Herout, Adam (NEUVEDEN, 2019-09-29)
    This paper presents a human-carried mapping backpack based on a pair of Velodyne LiDAR scanners. Our system is a universal solution both for large scale outdoor and also smaller indoor environments. It benefits from ...
  • Anatomy of Biometric Passports 

    Malčík, Dominik; Drahanský, Martin (NEUVEDEN, 2012-07-18)
    Travelling is becoming available for more and more people. Millions of people are on a way every day. That is why a better control over global human transfer and a more reliable identity check is desired. A recent trend ...
  • Satellite DNA and Transposable Elements in Seabuckthorn ( Hippophae rhamnoides ), a Dioecious Plant with Small Y and Large X Chromosomes 

    Puterová, Janka; Razumova, Olga; Martínek, Tomáš; Alexandrov, Oleg; Divashuk, Mikhail; Kubát, Zdeněk; Hobza, Roman; Karlov, Gennady; Kejnovský, Eduard (NEUVEDEN, 2017-02-02)
    Rakytník (Hippophae rhamnoides) je dvoudomý keř bežně používán ve farmaceutickém, kosmetickém a enviromentálním průmyslu jako zdroj oleje, minerálů a vitamínů. V této studii jsme analyzovali transpozony a satelity v jeho ...
  • Influence of Skin Diseases on Fingerprint Recognition 

    Drahanský, Martin; Doležel, Michal; Urbánek, Jaroslav; Březinová, Eva; Kim, Tae hoon (NEUVEDEN, 2012-05-20)
    There are many people, who suffer from some of the skin diseases. These diseases have a strong influence on the process of fingerprint recognition. People with fingerprint diseases are unable to use fingerprint scanners, ...
  • Intensity-based non overlapping area registration supporting "drop-outs" in terms of model-based radiostereometric analysis 

    Klíma, Ondřej; Novobilský, Petr; Madeja, Roman; Bařina, David; Chromý, Adam; Španěl, Michal; Zemčík, Pavel (NEUVEDEN, 2018-03-28)
    Modelová radiostereometrická analýza (MBRSA) je metoda pro přesné měření migrace protézy, která nevyžaduje značení implantátu pomocí tantalových markerů. Místo toho je poloha a rotace protézy určena pomocí 2D-3D registrace ...
  • Experiences in building a mOSAIC of clouds 

    Petcu, Dana; Di Martino, Beniamino; Venticinque, Salvatore; Rak, Massimiliano; Máhr, Tamás; Lopez, Gorka; Brito, Fabrice; Cossu, Roberto; Stopar, Miho; Šperka, Svatopluk; Stankovski, Vlado (NEUVEDEN, 2013-05-24)
    The diversity of Cloud computing services is challenging the application developers as various and non-standard interfaces are provided for these services. Few middleware solutions were developed until now to support the ...
  • Mathematical model of mechanical testing of bone-implant (4.5 mm LCP) construct 

    Urbanová, Lucie; Blažek-Fialová, Iva; Srnec, Robert; Pěnčík, Jan; Kršek, Přemysl; Nečas, Alois (University of Veterinary and Pharmaceutical Sciences in Brno, 2012-09-17)
    The study deals with the possibility of substituting time- and material-demanding mechanical testing of a bone defect fixation by mathematical modelling. Based on the mechanical model, a mathematical model of bone-implant ...