On the structure and values of betweenness centrality in dense betweenness-uniform graphs
Ghanbari, B.; Hartman, David; Jelínek, V.; Pokorná, Aneta; Šámal, R.; Valtr, P.
2023 - English Betweenness centrality is a network centrality measure based on the amount ofshortest paths passing through a given vertex. A graph is betweenness-uniform (BUG)if all vertices have an equal value of betweenness centrality. In this contribution, wefocus on betweenness-uniform graphs with betweenness centrality below one. Wedisprove a conjecture about the existence of a BUG with betweenness valueαforany rational numberαfrom the interval (3/4,∞) by showing that only very few be-tweenness centrality values below 6/7 are attained for at least one BUG. Furthermore,among graphs with diameter at least three, there are no betweenness-uniform graphswith a betweenness centrality smaller than one. In graphs of smaller diameter, thesame can be shown under a uniformity condition on the components of the comple-ment. Available in digital repository of the ASCR On the structure and values of betweenness centrality in dense betweenness-uniform graphs

Betweenness centrality is a network centrality measure based on the amount ofshortest paths passing through a given vertex. A graph is betweenness-uniform (BUG)if all vertices have an equal value of ...

Ghanbari, B.; Hartman, David; Jelínek, V.; Pokorná, Aneta; Šámal, R.; Valtr, P.
Ústav informatiky, 2023

Different Boundary Conditions For LES Solver PALM 6.0 Used for ABL in Tunnel Experiment
Řezníček, Hynek; Geletič, Jan; Bureš, Martin; Krč, Pavel; Resler, Jaroslav; Vrbová, Kateřina; Trush, Arsenii; Michálek, Petr; Beneš, L.; Sühring, M.
2023 - English We tried to reproduce results measured in the wind tunnel experiment with a CFD simulation provided by numerical model PALM. A realistic buildings layout from the Prague-Dejvice quarter has been chosen as a testing domain because solid validation campaign for PALM simulation of Atmospheric Boundary Layer (ABL) over this quarter was documented in the past. The question of input data needed for such simulation and capability of the model to capture correctly the inlet profile and its turbulence structure provided by the wind-tunnel is discussed in the study The PALM dynamical core contains a solver for the Navier-Stokes equations. By default, the model uses the Large Eddy Simulation (LES) approach in which the bulk of the turbulent motions is explicitly resolved. It is well validated tool for simulations of the complex air-flow within the real urban canopy and also within its reduced scale provided by wind tunnel experiments. However the computed flow field between the testing buildings did not correspond well to the measured wind velocity in some points. Different setting of the inlet boundary condition was tested but none of them gave completely developed turbulent flow generated by vortex generators and castellated barrier wall place at the entrance of the aerodynamic section of the wind tunnel.\n Keywords: large eddy simulation; wind tunnel; atmospheric boundary layer; PALM model; turbulence Fulltext is available at external website. Different Boundary Conditions For LES Solver PALM 6.0 Used for ABL in Tunnel Experiment

We tried to reproduce results measured in the wind tunnel experiment with a CFD simulation provided by numerical model PALM. A realistic buildings layout from the Prague-Dejvice quarter has been ...

Řezníček, Hynek; Geletič, Jan; Bureš, Martin; Krč, Pavel; Resler, Jaroslav; Vrbová, Kateřina; Trush, Arsenii; Michálek, Petr; Beneš, L.; Sühring, M.
Ústav informatiky, 2023

Some modifications of the limited-memory variable metric optimization methods
Vlček, Jan; Lukšan, Ladislav
2023 - English Several modifications of the limited-memory variable metric (or quasi-Newton) line search methods for large scale unconstrained optimization are investigated. First the block version of the symmetric rank-one (SR1) update formula is derived in a similar way as for the block BFGS update in Vlˇcek and Lukˇsan (Numerical Algorithms 2019). The block SR1 formula is then modified to obtain an update which can reduce the required number of arithmetic operations per iteration. Since it usually violates the corresponding secant conditions, this update is combined with the shifting investigated in Vlˇcek and Lukˇsan (J. Comput. Appl. Math. 2006). Moreover, a new efficient way how to realize the limited-memory shifted BFGS method is proposed. For a class of methods based on the generalized shifted economy BFGS update, global convergence is established. A numerical comparison with the standard L-BFGS and BNS methods is given. Keywords: unconstrained minimization; variable metric methods; limited-memory methods; variationally derived methods; arithmetic operations reduction; global convergence Available in a digital repository NRGL Some modifications of the limited-memory variable metric optimization methods

Several modifications of the limited-memory variable metric (or quasi-Newton) line search methods for large scale unconstrained optimization are investigated. First the block version of the symmetric ...

Vlček, Jan; Lukšan, Ladislav
Ústav informatiky, 2023

Rooting algebraic vertices of convergent sequences
Hartman, David; Hons, T.; Nešetřil, J.
2023 - English Structural convergence is a framework for convergence of graphs by Nešetřil andOssona de Mendez that unifies the dense (left) graph convergence and Benjamini-Schramm convergence. They posed a problem asking whether for a given sequenceof graphs (Gn) converging to a limit L and a vertexrofLit is possible to find asequence of vertices (rn) such thatLrooted atris the limit of the graphsGnrootedatrn. A counterexample was found by Christofides and Král’, but they showed thatthe statement holds for almost all vertices r of L. We offer another perspective to theoriginal problem by considering the size of definable sets to which the rootrbelongs.We prove that if r is an algebraic vertex (i.e. belongs to a finite definable set), thesequence of roots (rn) always exists. Available in digital repository of the ASCR Rooting algebraic vertices of convergent sequences

Structural convergence is a framework for convergence of graphs by Nešetřil andOssona de Mendez that unifies the dense (left) graph convergence and Benjamini-Schramm convergence. They posed a problem ...

Hartman, David; Hons, T.; Nešetřil, J.
Ústav informatiky, 2023

Spatio-Spectral EEG Patterns in the Source-Reconstructed Space and Relation to Resting-State Networks: An EEG-fMRI Study
Jiříček, Stanislav; Koudelka, V.; Mantini, D.; Mareček, R.; Hlinka, Jaroslav
2022 - English In this work, we present and evaluate a novel EEG-fMRI integration approach combining a spatio-spectral decomposition method and a reliable source localization technique. On the large 72 subjects resting- state hdEEG-fMRI data set we tested the stability of the proposed method in terms of both extracted spatio-spectral patterns(SSPs) as well as their correspondence to the BOLD signal. We also compared the proposed method with the spatio-spectral decomposition in the electrode space as well as well-known occipital alpha correlate in terms of the explained variance of BOLD signal. We showed that the proposed method is stable in terms of extracted patterns and where they correlate with the BOLD signal. Furthermore, we show that the proposed method explains a very similar level of the BOLD signal with the other methods and that the BOLD signal in areas of typical BOLD functional networks is explained significantly more than by a chance. Nevertheless, we didn’t observe a significant relation between our source-space SSPs and the BOLD ICs when spatio-temporally comparing them. Finally, we report several the most stable source space EEG-fMRI patterns together with their interpretation and comparison to the electrode space patterns. Keywords: EEG-fMRI Integration; EEG-informed fMRI; Spatio-spectral Decomposition; Electrical Source Imaging; Independent Component Analysis; Resting State Networks Available in digital repository of the ASCR Spatio-Spectral EEG Patterns in the Source-Reconstructed Space and Relation to Resting-State Networks: An EEG-fMRI Study

In this work, we present and evaluate a novel EEG-fMRI integration approach combining a spatio-spectral decomposition method and a reliable source localization technique. On the large 72 subjects ...

Jiříček, Stanislav; Koudelka, V.; Mantini, D.; Mareček, R.; Hlinka, Jaroslav
Ústav informatiky, 2022

Interaktivní nástroj pro podporu vyhodnocování dat ze standardizovaných testů
Martinková, Patrícia; Potužníková, E.; Netík, Jan
2022 - Czech ZÁKLADNÍ ÚDAJE: Proměny výchovy a vzdělávání a jejich reflexe v pedagogickém výzkumu: Sborník příspěvků XXX. výroční konference České asociace pedagogického výzkumu. Brno: Masarykova univerzita, 2022 - (Švaříček, R., Voňková, H.), s. 29-31. ISBN 978-80-280-0090-5. [ČAPV 2022: Proměny výchovy a vzdělávání a jejich reflexe v pedagogickém výzkumu /30./. Babice / virtual (CZ), 29.08.2022-31.08.2022]. ABSTRAKT: V příspěvku představujeme možnosti využití modulu interaktivního nástroje pro vyhodnocování dat ze znalostních testů na příkladu dat z maturitní zkoušky z matematiky. Představujeme metody pro detekci odlišného fungování položek pro různé typy škol nebo pro porovnání vybrané školy s ostatními. Ukazujeme, že nástroj má potenciál přispět k informovanému využívání dat z testování a rozhodování na úrovni škol i vzdělávací politiky. In this work, we present features of an interactive tool module for supporting analyses of data from achievement tests by presenting an example of data from the Matura (graduation) exam in mathematics. We present methods for detection of different functioning of items for different types of school, or for comparison of a selected school with other schools. We show that the tool has a potential to help with informed use of achievement test data and to support decision making on both the school and the system levels. Keywords: achievement tests; group differences; interactive tool Available at various institutes of the ASCR Interaktivní nástroj pro podporu vyhodnocování dat ze standardizovaných testů

ZÁKLADNÍ ÚDAJE: Proměny výchovy a vzdělávání a jejich reflexe v pedagogickém výzkumu: Sborník příspěvků XXX. výroční konference České asociace pedagogického výzkumu. Brno: Masarykova univerzita, 2022 ...

Martinková, Patrícia; Potužníková, E.; Netík, Jan
Ústav informatiky, 2022

A Bootstrap Comparison of Robust Regression Estimators
Kalina, Jan; Janáček, Patrik
2022 - English The ordinary least squares estimator in linear regression is well known to be highly vulnerable to the presence of outliers in the data and available robust statistical estimators represent more preferable alternatives. It has been repeatedly recommended to use the least squares together with a robust estimator, where the latter is understood as a diagnostic tool for the former. In other words, only if the robust estimator yields a very different result, the user should investigate the dataset closer and search for explanations. For this purpose, a hypothesis test of equality of the means of two alternative linear regression estimators is proposed here based on nonparametric bootstrap. The performance of the test is presented on three real economic datasets with small samples. Robust estimates turn out not to be significantly different from non-robust estimates in the selected datasets. Still, robust estimation is beneficial in these datasets and the experiments illustrate one of possible ways of exploiting the bootstrap methodology in regression modeling. The bootstrap test could be easily extended to nonlinear regression models. Keywords: linear regression; robust estimation; nonparametric bootstrap; bootstrap hypothesis testing Fulltext is available at external website. A Bootstrap Comparison of Robust Regression Estimators

The ordinary least squares estimator in linear regression is well known to be highly vulnerable to the presence of outliers in the data and available robust statistical estimators represent more ...

Kalina, Jan; Janáček, Patrik
Ústav informatiky, 2022

Czech Gathering of Logicians 2022. Book of Abstracts
Haniková, Zuzana; Švejdar, V.; Wannenburg, Johann Joubert
2022 - English Fulltext is available at external website. Czech Gathering of Logicians 2022. Book of Abstracts

Haniková, Zuzana; Švejdar, V.; Wannenburg, Johann Joubert
Ústav informatiky, 2022

Tisková zpráva - měření tepelného komfortu
Geletič, Jan; Lehnert, M.
2022 - Czech Fulltext is available at external website. Tisková zpráva - měření tepelného komfortu

Geletič, Jan; Lehnert, M.
Ústav informatiky, 2022

A Measure of Variability WIthin Parametric Families of Continuous Distributions
Fabián, Zdeněk
2022 - English A continuous probability measure on an open interval of the real line induces in it a unique geometry, "center of gravity" of which is the typical value of the distribution. In the paper is identified a score variance as a finite measure of variability of distributions with respect to the typical value and discussed its properties and methods of estimation. Itroducing a generalized Rao distance in the sample space one can appraise the precision of the estimate of the typical value. Keywords: scalar-valued score; score mean; score variance; distance in the sample space Available at various institutes of the ASCR A Measure of Variability WIthin Parametric Families of Continuous Distributions

A continuous probability measure on an open interval of the real line induces in it a unique geometry, "center of gravity" of which is the typical value of the distribution. In the paper is identified ...

Fabián, Zdeněk
Ústav informatiky, 2022