Institution
Brno University of Technology
Education•Brno, Czechia•
About: Brno University of Technology is a education organization based out in Brno, Czechia. It is known for research contribution in the topics: Computer science & Fracture mechanics. 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 published on a yearly basis
Papers
More filters
••
TL;DR: This work considers Variational Bayes (VB) as alternative inference process and shows that, notwithstanding VB inference is an order of magnitude faster, it outperforms GS in terms of accuracy.
104 citations
••
TL;DR: Wang et al. as discussed by the authors explored the nexus using the Environmental Input-Output model, and the embodied water and energy consumption and embodied carbon emissions were assessed. But, they did not consider the indirect water consumption and direct water consumption coefficients.
104 citations
•
TL;DR: The verification of non-recursive C programs manipulating dynamic linked data structures with possibly several next pointer selectors and with finite domain non-pointer data is considered and the abstract regular tree model checking framework is used for a fully automated verification.
Abstract: We consider the verification of non-recursive C programs manipulating dynamic linked data structures with possibly several next pointer selectors and with finite domain non-pointer data. We aim at checking basic memory consistency properties (no null pointer assignments, etc.) and shape invariants whose violation can be expressed in an existential fragment of a first order logic over graphs. We formalise this fragment as a logic for specifying bad memory patterns whose formulae may be translated to testers written in C that can be attached to the program, thus reducing the verification problem considered to checking reachability of an error control line. We encode configurations of programs, which are essentially shape graphs, in an original way as extended tree automata and we represent program statements by tree transducers. Then, we use the abstract regular tree model checking framework for a fully automated verification. The method has been implemented and successfully applied on several case studies.
103 citations
••
TL;DR: A CMOS-based circuit for realization of high-performance current differencing transconductance amplifier (CDTA) is demonstrated and the advantages of a wide frequency bandwidth and very small input terminal impedance are offered.
Abstract: A CMOS-based circuit for realization of high-performance current differencing transconductance amplifier (CDTA) is demonstrated. The proposed circuit offers the advantages of a wide frequency bandwidth and very small input terminal impedance. The results of circuit simulations and an application example are given to illustrate the advantages of the proposed circuit for precise high-frequency signal rectification.
103 citations
••
08 Sep 2004TL;DR: In this article, the authors investigated techniques for acoustic modeling in automatic recognition of context-independent phoneme strings from the TIMIT database and reported a 23.6% relative improvement over the baseline in phoneme error rate.
Abstract: We investigate techniques for acoustic modeling in automatic recognition of context-independent phoneme strings from the TIMIT database. The baseline phoneme recognizer is based on TempoRAl Patterns (TRAP). This recognizer is simplified to shorten processing times and reduce computational requirements. More states per phoneme and bi-gram language models are incorporated into the system and evaluated. The question of insufficient amount of training data is discussed and the system is improved. All modifications lead to a faster system with about 23.6% relative improvement over the baseline in phoneme error rate.
103 citations
Authors
Showing all 6383 results
Name | H-index | Papers | Citations |
---|---|---|---|
Georg Kresse | 111 | 430 | 244729 |
Patrik Schmuki | 109 | 763 | 52669 |
Michael Schmid | 88 | 715 | 30874 |
Robert M. Malina | 88 | 691 | 38277 |
Jiří Jaromír Klemeš | 64 | 565 | 14892 |
Alessandro Piccolo | 62 | 284 | 14332 |
René Kizek | 61 | 672 | 16554 |
George Danezis | 59 | 209 | 11516 |
Stevo Stević | 58 | 374 | 9832 |
Edvin Lundgren | 57 | 286 | 10158 |
Franz Halberg | 55 | 750 | 15400 |
Vojtech Adam | 55 | 611 | 14442 |
Lukas Burget | 53 | 252 | 21375 |
Jan Cermak | 53 | 238 | 9563 |
Hynek Hermansky | 51 | 317 | 14372 |