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
Journal ArticleDOI
TL;DR: A new automatic determination technique of the first arrival times of AE signals is presented for thin metal plates based on Akaike's information criterion and uses a specific characteristic function, which is sensitive to change of frequency in contrast to others such as envelope of the signal.

85 citations

Journal ArticleDOI
01 Feb 2018-Fuel
TL;DR: In this article, the capacity of lignite as a parent source of humic acids for agricultural applications is appreciated mainly on the base of extractability and ash content, and the results of X-ray photoelectron spectroscopy and fluorescence spectrometry are not commonly used for the investigation of Lignite humic acid, although they may provide relevant information.

85 citations

Posted Content
TL;DR: It is proved that any Separation Logic formula using rather general recursively defined predicates is decidable for satisfiability, and moreover, entailments between such formulae are decidability for validity.
Abstract: Separation Logic is a widely used formalism for describing dynamically allocated linked data structures, such as lists, trees, etc. The decidability status of various fragments of the logic constitutes a long standing open problem. Current results report on techniques to decide satisfiability and validity of entailments for Separation Logic(s) over lists (possibly with data). In this paper we establish a more general decidability result. We prove that any Separation Logic formula using rather general recursively defined predicates is decidable for satisfiability, and moreover, entailments between such formulae are decidable for validity. These predicates are general enough to define (doubly-) linked lists, trees, and structures more general than trees, such as trees whose leaves are chained in a list. The decidability proofs are by reduction to decidability of Monadic Second Order Logic on graphs with bounded tree width.

85 citations

Journal ArticleDOI
TL;DR: In this article, the authors discuss the cross-disciplinary approaches devoted to clean technologies, process modelling, monitoring and management framework in the effort to mitigating GHG, air pollution and water pollution.

85 citations

Book ChapterDOI
18 Jul 2015
TL;DR: Norn as discussed by the authors is a solver for an expressive constraint language, including word equations, length constraints, and regular membership queries, which is a decision procedure under the assumption of a set of acyclicity conditions on word equations.
Abstract: We present version 1.0 of the Norn SMT solver for string constraints. Norn is a solver for an expressive constraint language, including word equations, length constraints, and regular membership queries. As a feature distinguishing Norn from other SMT solvers, Norn is a decision procedure under the assumption of a set of acyclicity conditions on word equations, without any restrictions on the use of regular membership. Open image in new window

85 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