scispace - formally typeset
Search or ask a question
Institution

Brno University of Technology

EducationBrno, Czechia
About: Brno University of Technology is a education organization based out in Brno, Czechia. It is known for research contribution in the topics: Fracture mechanics & Filter (video). The organization has 6339 authors who have published 15226 publications receiving 194088 citations. The organization is also known as: Vysoké učení technické v Brně & BUT.


Papers
More filters
Proceedings ArticleDOI
01 Jan 2005
TL;DR: In this paper, the authors used the shift-invariant dyadic discrete-time wavelet transform decomposition for pilot estimation and Wiener filtering with hybrid thresholding for suppression of parasitic EMG signals.
Abstract: The aim of this study is suppression of parasite electromyographic (EMG) signals (myopotentials) included in ECG signals with use of the Wiener filtering in shift-invariant wavelet domain with pilot estimation of the signal. The wavelet filtering with hybrid thresholding was used for pilot estimation. The four-levels shift-invariant dyadic discrete-time wavelet transform decomposition was used for both main blocks of pilot estimation and Wiener filtering. Sampling frequency of used signals was 500 Hz. The testing set have included signals with small waves Q, high R waves and significant variations of precipitousness in onsets and offsets of QRS complexes. These signals were additionally noised by normal distribution noise its power spectrum was adjusted according to typical form of power spectrum of EMG signals

46 citations

Journal ArticleDOI
TL;DR: Electrospinning as a versatile technique producing nanofibers was employed to study the influence of the processing parameters and chemical and physical parameters of solutions on poly(vinylidene fluoride) (PVDF) fibers’ morphology, crystallinity, phase composition and dielectric and piezoelectric characteristics.
Abstract: Electrospinning as a versatile technique producing nanofibers was employed to study the influence of the processing parameters and chemical and physical parameters of solutions on poly(vinylidene fluoride) (PVDF) fibers’ morphology, crystallinity, phase composition and dielectric and piezoelectric characteristics PVDF fibrous layers with nano- and micro-sized fiber diameters were prepared by a controlled and reliable electrospinning process The fibers with diameters from 276 nm to 1392 nm were spun at a voltage of 25 kV–50 kV from the pure PVDF solutions or in the presence of a surfactant—Hexadecyltrimethylammonium bromide (CTAB) Although the presence of the CTAB decreased the fibers’ diameter and increased the electroactive phase content, the piezoelectric performance of the PVDF material was evidently deteriorated The maximum piezoelectric activity was achieved in the fibrous PVDF material without the use of the surfactant, when a piezoelectric charge of 33 pC N−1 was measured in the transversal direction on a mean fiber diameter of 649 nm In this direction, the material showed a higher piezoelectric activity than in the longitudinal direction

46 citations

Journal Article
01 Jan 2005-Infinity
TL;DR: This work describes how various incrementally refinable abstractions on finite (word and tree) automata can be used for verification of programs manipulating tree-like dynamic data structures and illustrates the efficiency of abstract regular (tree) model checking in verification of simple systems with various sources of infinity.
Abstract: Regular model checking is a generic technique for verification of infinite-state and/or parametrised systems which uses finite word automata or finite tree automata to finitely represent potentially infinite sets of reachable configurations of the systems being verified. The problems addressed by regular model checking are typically undecidable. In order to facilitate termination in as many cases as possible, acceleration is needed in the incremental computation of the set of reachable configurations in regular model checking. In this work, we describe how various incrementally refinable abstractions on finite (word and tree) automata can be used for this purpose. Moreover, the use of abstraction does not only increase chances of the technique to terminate, but it also significantly reduces the problem of an explosion in the number of states of the automata that are generated by regular model checking. We illustrate the efficiency of abstract regular (tree) model checking in verification of simple systems with various sources of infinity such as unbounded counters, queues, stacks, and parameters. We then show how abstract regular tree model checking can be used for verification of programs manipulating tree-like dynamic data structures. Even more complex data structures can be handled using a suitable tree-like encoding.

46 citations

Journal ArticleDOI
TL;DR: The various diseases, which might influence functionality of the fingerprint-based systems, are introduced, mainly from the medical point of view and some examples of diseased finger fingerprints, acquired both from dactyloscopic card and electronic sensors are presented.
Abstract: 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, which is discriminating for them, since they are not allowed to use their fingerprints for the authentication purposes. First in this paper the various diseases, which might influence functionality of the fingerprint-based systems, are introduced, mainly from the medical point of view. This overview is followed by some examples of diseased finger fingerprints, acquired both from dactyloscopic card and electronic sensors. At the end of this paper the proposed fingerprint image enhancement algorithm is described.

46 citations

Journal ArticleDOI
TL;DR: A critical overview of phenomenological thermodynamic approaches to reaction rate equations of the type based on the law of mass-action is given in this paper, where treatments based on classical equilibria are discussed.
Abstract: A critical overview is given of phenomenological thermodynamic approaches to reaction rate equations of the type based on the law of mass-action. The review covers treatments based on classical equ...

46 citations


Authors

Showing all 6383 results

NameH-indexPapersCitations
Georg Kresse111430244729
Patrik Schmuki10976352669
Michael Schmid8871530874
Robert M. Malina8869138277
Jiří Jaromír Klemeš6456514892
Alessandro Piccolo6228414332
René Kizek6167216554
George Danezis5920911516
Stevo Stević583749832
Edvin Lundgren5728610158
Franz Halberg5575015400
Vojtech Adam5561114442
Lukas Burget5325221375
Jan Cermak532389563
Hynek Hermansky5131714372
Network Information
Related Institutions (5)
Vienna University of Technology
49.3K papers, 1.3M citations

87% related

Polytechnic University of Catalonia
45.3K papers, 949.3K citations

86% related

Fraunhofer Society
40.1K papers, 820.8K citations

86% related

Polytechnic University of Milan
58.4K papers, 1.2M citations

86% related

Aalto University
32.6K papers, 829.6K citations

85% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
202328
2022106
20211,053
20201,010
20191,214
20181,131