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: 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 published on a yearly basis
Papers
More filters
Agro ParisTech1, Howard Hughes Medical Institute2, Harvard University3, University of Lugano4, ETH Zurich5, Scientific Computing and Imaging Institute6, Broad Institute7, Brno University of Technology8, University of New South Wales9, Commonwealth Scientific and Industrial Research Organisation10, Linköping University11, Rutgers University12, University of Wisconsin-Madison13, Princeton University14
TL;DR: In this article, the first international challenge on 2D segmentation of electron microscopic (EM) images of the brain was organized, and participants submitted boundary maps predicted for a test set of images, and were scored based on their agreement with ground truth from human experts.
Abstract: To stimulate progress in automating the reconstruction of neural circuits, we organized the first international challenge on 2D segmentation of electron microscopic (EM) images of the brain. Participants submitted boundary maps predicted for a test set of images, and were scored based on their agreement with ground truth from human experts. The winning team had no prior experience with EM images, and employed a convolutional network. This ``deep learning'' approach has since become accepted as a standard for segmentation of EM images. The challenge has continued to accept submissions, and the best so far has resulted from cooperation between two teams. The challenge has probably saturated, as algorithms cannot progress beyond limits set by ambiguities inherent in 2D scoring. Retrospective evaluation of the challenge scoring system reveals that it was not sufficiently robust to variations in the widths of neurite borders. We propose a solution to this problem, which should be useful for a future 3D segmentation challenge.
185 citations
••
TL;DR: In this article, a modified gypsum plaster and a salt mixture were chosen as two materials for the study of their impact on room temperature reduction, where measurements were carried out under different conditions such as temporary air change, alternate internal heat gains or clouding.
184 citations
••
Kyoto University1, Hiroshima University2, Subaru3, Japan Aerospace Exploration Agency4, Osaka Kyoiku University5, Okayama University of Science6, American Association of Variable Star Observers7, Phillips Academy8, Osaka University9, Brno University of Technology10, The King's University (Edmonton)11, Rochester Institute of Technology12, Russian Academy of Sciences13, University of Minnesota14, Spanish National Research Council15, Sternberg Astronomical Institute16, University of Warsaw17, British Astronomical Association18, Kagoshima University19, National Autonomous University of Mexico20, National and Kapodistrian University of Athens21, ODESSA22, Slovak Academy of Sciences23
TL;DR: In this article, period variations of superhumps in SU UMa-type dwarf novae based on newly obtained data and past publications were systematically surveyed and the evolution of the superhump period was found to be composed of three distinct stages: early evolutionary stage with a longer superhup period, middle stage with systematically varying periods, and final stage with shorter, stable superhum period.
Abstract: We systematically surveyed period variations of superhumps in SU UMa-type dwarf novae based on newly obtained data and past publications. In many systems, the evolution of superhump period are found to be composed of three distinct stages: early evolutionary stage with a longer superhump period, middle stage with systematically varying periods, final stage with a shorter, stable superhump period. During the middle stage, many systems with superhump periods less than 0.08 d show positive period derivatives. We present observational characteristics of these stages and greatly improved statistics. Contrary to the earlier claim, we found no clear evidence for variation of period derivatives between superoutburst of the same object. We present an interpretation that the lengthening of the superhump period is a result of outward propagation of the eccentricity wave and is limited by the radius near the tidal truncation. We interpreted that late stage superhumps are rejuvenized excitation of 3:1 resonance when the superhumps in the outer disk is effectively quenched. The general behavior of period variation, particularly in systems with short orbital periods, appears to follow the scenario proposed in Kato et al. (2008). We also present an observational summary of WZ Sge-type dwarf novae. Many of WZ Sge-type dwarf novae showed long-enduring superhumps during the post-superoutburst stage having periods longer than those during the main superoutburst. The period derivatives in WZ Sge-type dwarf novae are found to be strongly correlated with the fractional superhump excess, or consequently, mass ratio. WZ Sge-type dwarf novae with a long-lasting rebrightening or with multiple rebrightenings tend to have smaller period derivatives and are excellent candidate for the systems around or after the period minimum of evolution of cataclysmic variables.
182 citations
••
13 Jul 2004TL;DR: In this article, regular model checking is used for verification of parametric and infinite-state systems, where the abstraction is based on collapsing states of automata (or transducers) and its precision is incrementally adjusted by analysing spurious counterexamples.
Abstract: We propose abstract regular model checking as a new generic technique for verification of parametric and infinite-state systems. The technique combines the two approaches of regular model checking and verification by abstraction. We propose a general framework of the method as well as several concrete ways of abstracting automata or transducers, which we use for modelling systems and encoding sets of their configurations as usual in regular model checking. The abstraction is based on collapsing states of automata (or transducers) and its precision is being incrementally adjusted by analysing spurious counterexamples. We illustrate the technique on verification of a wide range of systems including a novel application of automata-based techniques to an example of systems with dynamic linked data structures.
181 citations
••
TL;DR: This paper presents a new approach to inverting (fitting) models of coupled dynamical systems based on state-of-the-art Kalman filtering, which promises to provide a significant advance in characterizing the functional architectures of distributed neuronal systems, even in the absence of known exogenous input.
179 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 |