Fakulta informačních technologií
Browse by
Collections in this community
Recent Submissions
-
A ternary relation for structuring the digital plane
(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
(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)
(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
(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
(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
(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
(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
(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
(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
(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
(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
(NEUVEDEN, 2017-02-02)Seabuckthorn (Hippophae rhamnoides) is a dioecious shrub commonly used in the pharmaceutical, cosmetic, and environmental industry as a source of oil, minerals and vitamins. In this study, we analyzed the transposable ... -
Influence of Skin Diseases on Fingerprint Recognition
(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
(NEUVEDEN, 2018-03-28)A model-based radiostereometric analysis (MBRSA) is a method for precise measurement of prosthesis migration, which does not require marking the implant with tantalum beads. Instead, the prosthesis pose is typically recovered ... -
Experiences in building a mOSAIC of clouds
(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
(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 ...
RSS 1.0