Nápověda

Ústav informatiky AV ČR, v. v. i.

Publikace ASEP

Označit vše / Zobrazit všechny roky / Zrušit označení

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 164

0619600 - FZÚ 2026 RIV US eng J - Článek v odborném periodiku
Acero, M. A. - Acharya, B. - Adamson, P. - Filip, Peter - Hakl, František - Lokajíček, Miloš - Zálešák, Jaroslav … celkem 208 autorů
Dual-baseline search for active-to-sterile neutrino oscillations in NOvA.
Physical Review Letters. Roč. 134, Feb (2025), č. článku 081804. ISSN 0031-9007. E-ISSN 1079-7114
Grant CEP: GA MŠMT(CZ) EH22_008/0004632
Výzkumná infrastruktura: Fermilab-CZ III - 90261
Institucionální podpora: RVO:68378271 ; RVO:67985807
Klíčová slova: NOvA * NuMI beam * active-to-sterile neutrino oscillations
Obor OECD: Particles and field physics; Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O)
Impakt faktor: 9, rok: 2024 ; AIS: 2.88, rok: 2024
Způsob publikování: Open access
Trvalý odkaz: https://hdl.handle.net/11104/0366286

0619514 - FZÚ 2026 RIV US eng J - Článek v odborném periodiku
Acero, M. A. - Acharya, B. - Adamson, P. - Filip, Peter - Hakl, František - Lokajíček, Miloš - Zálešák, Jaroslav … celkem 212 autorů
Measurement of ��2⁢��/��⁢|→��|⁢��⁢��avail in charged current ����-nucleus interactions at ⟨����⟩=1.86  GeV using the NOvA Near Detector.
Physical Review D. Roč. 111, č. 5 (2025), č. článku 052009. ISSN 2470-0010. E-ISSN 2470-0029
Grant CEP: GA MŠMT(CZ) EH22_008/0004632
Výzkumná infrastruktura: Fermilab-CZ III - 90261
Institucionální podpora: RVO:68378271 ; RVO:67985807
Klíčová slova: NOvA * SuSAv2 2p2h models * theory-based València
Obor OECD: Particles and field physics; Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O)
Impakt faktor: 5.3, rok: 2024 ; AIS: 0.994, rok: 2024
Způsob publikování: Open access
Trvalý odkaz: https://hdl.handle.net/11104/0366178

0619656 - FZÚ 2026 RIV US eng J - Článek v odborném periodiku
Acero, M. A. - Acharya, B. - Adamson, P. - Filip, Peter - Hakl, František - Lokajíček, Miloš - Zálešák, Jaroslav … celkem 221 autorů
Monte Carlo method for constructing confidence intervals with unconstrained and constrained nuisance parameters in the NOvA experiment.
Journal of Instrumentation. Roč. 20, č. 2 (2025), č. článku T02001. ISSN 1748-0221. E-ISSN 1748-0221
Grant CEP: GA MŠMT(CZ) EH22_008/0004632
Výzkumná infrastruktura: Fermilab-CZ III - 90261
Institucionální podpora: RVO:68378271 ; RVO:67985807
Klíčová slova: neutrino: oscillation * statistical analysis: frequentist * NOvA
Obor OECD: Particles and field physics; Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O)
Impakt faktor: 1.3, rok: 2024 ; AIS: 0.373, rok: 2024
Trvalý odkaz: https://hdl.handle.net/11104/0366285

0600572 - MÚ 2026 RIV NL eng J - Článek v odborném periodiku
Akbar Tabatabai, Seyed Amirhossein - Jalali Keshavarz, Raheleh
Universal proof theory: Feasible admissibility in intuitionistic modal logics.
Annals of Pure and Applied Logic. Roč. 176, č. 2 (2025), č. článku 103526. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA23-04825S; GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985840
Klíčová slova: admissible rules * feasible disjunction property * intuitionistic modal logics
Obor OECD: Pure mathematics; Pure mathematics (UIVT-O)
Impakt faktor: 0.6, rok: 2024 ; AIS: 0.656, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2024.103526
Trvalý odkaz: https://hdl.handle.net/11104/0357882

0598219 - MÚ 2026 RIV NL eng J - Článek v odborném periodiku
Akbar Tabatabai, Seyed Amirhossein - Jalali Keshavarz, Raheleh
Universal proof theory: Semi-analytic rules and Craig interpolation.
Annals of Pure and Applied Logic. Roč. 176, č. 1 (2025), č. článku 103509. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA23-04825S; GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985840 ; RVO:67985807
Klíčová slova: Craig interpolation * linear logics * sequent calculi
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2024 ; AIS: 0.656, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2024.103509
Jalali Keshavarz, Raheleh
Trvalý odkaz: https://hdl.handle.net/11104/0355944

0635806 - ÚI 2026 RIV US eng J - Článek v odborném periodiku
Akhmejanova, M. - Šileikis, Matas
On the upper tail of star counts in random graphs.
Electronic Journal of Probability. Roč. 30, č. 2025 (2025), s. 1-20. ISSN 1083-6489. E-ISSN 1083-6489
Institucionální podpora: RVO:67985807
Klíčová slova: random graph * subgraph statistic * upper tail * large deviations
Obor OECD: Pure mathematics
Impakt faktor: 1.1, rok: 2024 ; AIS: 1.297, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1214/25-EJP1345
Šileikis, Matas
Trvalý odkaz: https://hdl.handle.net/11104/0366829

0643501 - ÚI 2027 NL eng J - Článek v odborném periodiku
Aranda, A. - Hartman, David
Morphism extension classes of countable L-colored graphs.
European Journal of Combinatorics. Roč. 132, Part A (2026), č. článku 104256. ISSN 0195-6698. E-ISSN 1095-9971
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Obor OECD: Pure mathematics
Impakt faktor: 0.9, rok: 2024 ; AIS: 0.939, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.ejc.2025.104256
Trvalý odkaz: https://hdl.handle.net/11104/0373355

0616462 - ÚI 2026 RIV US eng J - Článek v odborném periodiku
Araújo, P. - Pavez-Signé, M. - Sanhueza-Matamala, Nicolás
Ramsey numbers of cycles in random graphs.
Random Structures and Algorithms. Roč. 66, č. 1 (2025), č. článku e21253. ISSN 1042-9832. E-ISSN 1098-2418
Grant CEP: GA ČR(CZ) GJ20-27757Y; GA ČR(CZ) GA19-08740S
Institucionální podpora: RVO:67985807
Klíčová slova: combinatorics * random graphs * Ramsey theorey
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2024 ; AIS: 0.959, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1002/rsa.21253
Trvalý odkaz: https://hdl.handle.net/11104/0363461

0639500 - ÚI 2026 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ayala-Rincón, M. - Cerna, David M. - Kutsia, T. - Ringeissen, Ch.
Combining Generalization Algorithms in Regular Collapse-Free Theories.
10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025). LIPICs Proceedings, vol. 337. Dagstuhl: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025 - (Fernández, M.), č. článku 7. Leibniz International Proceedings in Informatics (LIPIcs), 337. ISBN 978-3-95977-374-4. ISSN 1868-8969.
[FSCD 2025: International Conference on Formal Structures for Computation and Deduction /10./. Birmingham (GB), 14.07.2025-20.07.2025]
Grant CEP: GA ČR(CZ) GF22-06414L
Institucionální podpora: RVO:67985807
Klíčová slova: Generalization * Anti-unification * Equational theories * Combination
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.FSCD.2025.7
Trvalý odkaz: https://hdl.handle.net/11104/0369920

0635987 - ÚI 2026 J - Článek v odborném periodiku
Bartoš, František - Martinková, Patrícia - Wagenmakers, E. J.
Adjusting for Publication Bias Reveals No Evidence for the Effect of ChatGPT on Students’ Learning Performance, Learning Perception, and Higher-Order Thinking (SUBMITTED).
. (2025)
Grant CEP: GA MŠMT(CZ) EH22_008/0004583
Institucionální podpora: RVO:67985807
Trvalý odkaz: https://hdl.handle.net/11104/0366994

0619340 - ÚI 2026 RIV DE eng J - Článek v odborném periodiku
Bauerová, P. - Keder, J. - Šindelářová, A. - Vlček, O. - Patiño, W. - Krč, Pavel - Geletič, Jan - Řezníček, Hynek - Bureš, Martin - Eben, Kryštof - Belda, M. - Radović, J. - Fuka, V. - Jareš, R. - Esau, I. - Resler, Jaroslav
Measurement report: A complex street-level air quality observation campaign in a heavy-traffic area utilizing the multivariate adaptive regression splines method for field calibration of low-cost sensors.
Atmospheric Chemistry and Physics. Roč. 25, č. 8 (2025), s. 4477-4504. ISSN 1680-7316. E-ISSN 1680-7324
Grant CEP: GA TA ČR(CZ) TO01000219; GA TA ČR(CZ) SS02030031
Institucionální podpora: RVO:67985807
Klíčová slova: air quality * observations * low-cost sensor * LCS * multivariate adaptive regression splines * MARS
Obor OECD: Meteorology and atmospheric sciences
Impakt faktor: 5.1, rok: 2024 ; AIS: 1.626, rok: 2024
Způsob publikování: Open access
https://doi.org/10.5194/acp-25-4477-2025
Bauerová, P.
Trvalý odkaz: https://hdl.handle.net/11104/0366071

0604125 - ÚI 2026 RIV US eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Crisp Bi-Gödel modal logic and its paraconsistent expansion.
Logic Journal of the IGPL. Roč. 33, č. 5 (2025), č. článku jzad017. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Paraconsistent logics * Gödel modal logic * correspondence theory * axiomatic systems * complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.8, rok: 2024 ; AIS: 0.259, rok: 2024
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1093/jigpal/jzad017
Kozhemiachenko, D.
Trvalý odkaz: https://hdl.handle.net/11104/0373968

0604115 - ÚI 2026 RIV GB eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Fuzzy bi-Godel modal logic and its paraconsistent relatives.
Journal of Logic and Computation. Roč. 35, č. 2 (2025), č. článku exae011. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Impakt faktor: 0.7, rok: 2024 ; AIS: 0.331, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1093/logcom/exae011
Bílková, Marta
Trvalý odkaz: https://hdl.handle.net/11104/0373973

0637267 - ÚI 2026 RIV GB eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej
Two-layered logics for probabilities and belief functions over Belnap-Dunn logic.
Mathematical Structures in Computer Science. Roč. 35, April 2025 (2025), č. článku e1. ISSN 0960-1295. E-ISSN 1469-8072
Grant CEP: GA ČR(CZ) GF22-23022L
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: Two-layered logics * Lukasiewicz logic * non-standard probabilities * non-standard belief functions * paraconsistent logics
Impakt faktor: 0.9, rok: 2024 ; AIS: 0.443, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1017/S0960129525000064
Kozhemiachenko, D.
Trvalý odkaz: https://hdl.handle.net/11104/0368180

0635666 - ÚI 2026 RIV US eng J - Článek v odborném periodiku
Böhm, A. - Lucka, J. - Jajcay, Nikola - Segev, A. - Janková, J. - Kollárová, M. - Hollý, O. - Šebenová Jerigová, V. - Števková, J. - Špilák, M. - Škorec, F. - Guzma, K. - Johanesová, L. - Hanesz, Z. - Karolčík, Š. - Remák, A. - Sobotka, P. A. - Bezák, B.
A Noninvasive System for Remote Monitoring of Left Ventricular Filling Pressures.
JACC-Basic to Translational Science. Roč. 10, č. 3 (2025), s. 256-258. ISSN 2452-302X. E-ISSN 2452-302X
Institucionální podpora: RVO:67985807
Klíčová slova: heart failure * remote monitoring * left ventricular filling pressure
Obor OECD: Cardiac and Cardiovascular systems
Impakt faktor: 7.2, rok: 2024 ; AIS: 2.965, rok: 2024
Způsob publikování: Open access
https://www.jacc.org/doi/10.1016/j.jacbts.2025.01.008
Trvalý odkaz: https://hdl.handle.net/11104/0366699

0638819 - ÚI 2026 RIV BE eng J - Článek v odborném periodiku
Böhm, A. - Lucka, J. - Segev, A. - Kollárová, M. - Toth, S. - Jajcay, Nikola - Bezák, B.
A novel, non-invasive AI-based telemonitoring system for heart failure: Detection of undiagnosed hyperthyroidism in an asymptomatic patient.
European Journal of Case Reports in Internal Medicine. Roč. 12, č. 8 (2025). ISSN 2284-2594
Institucionální podpora: RVO:67985807
Klíčová slova: Heart failure * telemonitoring * artificial intelligence * hyperthyroidism * photoplethysmography
Obor OECD: Cardiac and Cardiovascular systems
Způsob publikování: Open access
https://doi.org/10.12890/2025_005420
Böhm, A.
Trvalý odkaz: https://hdl.handle.net/11104/0369379

0603919 - ÚI 2026 RIV GB eng J - Článek v odborném periodiku
Böhm, A. - Segev, A. - Jajcay, Nikola - Krychtiuk, K. A. - Tavazzi, G. - Spartalis, M. - Kollárová, M. - Berta, I. - Janková, J. - Guerra, F. - Pogran, E. - Remák, A. - Jarakovic, M. - Jerigová, V. S. - Petríková, K. - Matetzky, S. - Skurk, C. - Huber, K. - Bezák, B.
Machine-learning based scoring system to predict cardiogenic shock in acute coronary syndrome.
European Heart Journal - Digital Health. Roč. 6, č. 2 (2025), s. 240-251. ISSN 2634-3916. E-ISSN 2634-3916
Institucionální podpora: RVO:67985807
Klíčová slova: acute coronary syndrome * cardiogenic shock machine learning * risk prediction score
Obor OECD: Cardiac and Cardiovascular systems
Impakt faktor: 4.4, rok: 2024 ; AIS: 1.686, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1093/ehjdh/ztaf002
Trvalý odkaz: https://hdl.handle.net/11104/0361216

0639493 - ÚI 2026 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bonnet, E. - Braunfeld, Samuel Walker - Eleftheriadis, I. - Geniet, C. - Mählmann, N. - Pilipczuk, M. - Przybyszewski, W. - Toruńczyk, S.
Separability Properties of Monadically Dependent Graph Classes.
52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025). Proceedings. Dagstuhl: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025 - (Censor-Hillel, K.; Grandoni, F.; Ouaknine, J.; Puppis, G.), č. článku 147. Leibniz International Proceedings in Informatics (LIPIcs), 334. ISBN 978-3-95977-372-0.
[ICALP 2025: EATCS International Colloquium on Automata, Languages, and Programming /52./. Aarhus (DK), 08.07.2025-11.07.2025]
Institucionální podpora: RVO:67985807
Klíčová slova: Structural graph theory * Monadic dependence
Obor OECD: Pure mathematics
https://doi.org/10.4230/LIPIcs.ICALP.2025.147
Trvalý odkaz: https://hdl.handle.net/11104/0369910

0616866 - ÚI 2026 RIV DE eng J - Článek v odborném periodiku
Brabec, Marek - Marmolejo-Ramos, F. - Loh, L. - Lee, I. O. - Kulyabin, M. - Zhdanov, A. - Posada-Quintero, H. - Thompson, D. A. - Constable, P. A.
Remodeling the light-adapted electroretinogram using a bayesian statistical approach.
BMC Research Notes. Roč. 18, č. 1 (2025), č. článku 33. ISSN 1756-0500. E-ISSN 1756-0500
Institucionální podpora: RVO:67985807
Klíčová slova: Attention deficit hyperactivity disorder * Neurodevelopment * Retina * Time-domain ERG trajectory
Obor OECD: Statistics and probability
Impakt faktor: 1.7, rok: 2024 ; AIS: 0.472, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1186/s13104-025-07115-4
Constable, P. A.
Trvalý odkaz: https://hdl.handle.net/11104/0363852

0635673 - ÚI 2026 RIV DE eng J - Článek v odborném periodiku
Brabec, Marek - Marmolejo-Ramos, F. - Loh, L. - Lee, I. O. - Kulyabin, M. - Zhdanov, A. - Posada-Quintero, H. - Thompson, D. A. - Constable, P. A.
Remodeling the light-adapted electroretinogram using a Bayesian statistical approach.
BMC Research Notes. Roč. 18, January (2025), č. článku 33. ISSN 1756-0500. E-ISSN 1756-0500
Institucionální podpora: RVO:67985807
Klíčová slova: Attention deficit hyperactivity disorder * Neurodevelopment * Retina * Time-domain * ERG trajectory
Obor OECD: Statistics and probability
Impakt faktor: 1.7, rok: 2024 ; AIS: 0.472, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1186/s13104-025-07115-4
Constable, P. A.
Trvalý odkaz: https://hdl.handle.net/11104/0366706

0604101 - ÚI 2026 RIV US eng J - Článek v odborném periodiku
Braunfeld, Samuel Walker
Decidability in geometric grid classes of permutations.
Proceedings of the American Mathematical Society. Roč. 153, č. 3 (2025), s. 987-1000. ISSN 0002-9939. E-ISSN 1088-6826
Institucionální podpora: RVO:67985807
Impakt faktor: 0.8, rok: 2024 ; AIS: 0.738, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1090/proc/17083
Trvalý odkaz: https://hdl.handle.net/11104/0373979

0637116 - ÚI 2026 RIV eng J - Článek v odborném periodiku
Braunfeld, Samuel Walker - Nešetřil, J. - Ossona de Mendez, P. - Siebertz, S.
Decomposition horizons and a characterization of stable hereditary classes of graphs.
European Journal of Combinatorics. Roč. 129, October (2025), č. článku 104130.
Institucionální podpora: RVO:67985807
Klíčová slova: structural graph theory * stability * NIP
Obor OECD: Pure mathematics
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.ejc.2025.104130
Trvalý odkaz: https://hdl.handle.net/11104/0368036

0639509 - ÚI 2026 US eng J - Článek v odborném periodiku
Braunfeld, Samuel Walker - Laskowski, M.
Indiscernibles in monadically NIP theories.
Bulletin of the London Mathematical Society. Online 25 July 2025 (2025). ISSN 0024-6093. E-ISSN 1469-2120
Institucionální podpora: RVO:67985807
Klíčová slova: monadic NIP * distal theories
Obor OECD: Pure mathematics
Impakt faktor: 0.9, rok: 2024 ; AIS: 1.064, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1112/blms.70155
Trvalý odkaz: https://hdl.handle.net/11104/0369927

0639366 - ÚI 2026 RIV DE eng J - Článek v odborném periodiku
Braunfeld, Samuel Walker - Nešetřil, J. - Ossona de Mendez, P. - Siebertz, S.
On First-Order Transductions of Classes of Graphs.
Logical Methods in Computer Science. Roč. 21, č. 2 (2025). ISSN 1860-5974. E-ISSN 1860-5974
Institucionální podpora: RVO:67985807
Klíčová slova: Finite model theory * first-order transductions * structural graph theory
Obor OECD: Pure mathematics
Impakt faktor: 1, rok: 2024 ; AIS: 0.361, rok: 2024
Způsob publikování: Open access
https://doi.org/10.46298/lmcs-21(2:26)2025
Trvalý odkaz: https://hdl.handle.net/11104/0369809

0642021 - ÚI 2026 RIV GB eng J - Článek v odborném periodiku
Brkić, J. - Reissigová, Jindra - Okuyan, B. - Hadziabdic, M. O. - Marinković, V. - Somers, A. - Onder, G. - Sesto, S. - Altiparmak, O. - Kummer, I. - Držaić, M. - Fialová, D.
Assessing potentially inappropriate medication use among older adults in Central and Eastern Europe.
Annals of Medicine. Roč. 57, č. 1 (2025), č. článku 2579794. ISSN 0785-3890. E-ISSN 1365-2060
Institucionální podpora: RVO:67985807
Klíčová slova: Potentially inappropriate medication list * aged * prevalence
Impakt faktor: 4.3, rok: 2024 ; AIS: 1.077, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1080/07853890.2025.2579794
Brkić, J.
Trvalý odkaz: https://hdl.handle.net/11104/0371989

0604135 - ÚI 2026 RIV NL eng J - Článek v odborném periodiku
Bujtás, C. - Davoodi, Akbar - Ding, L. - Győri, E. - Tuza, Z. - Yang, D.
Covering the edges of a graph with triangles.
Discrete Mathematics. Roč. 348, č. 1 (2025), č. článku 114226. ISSN 0012-365X. E-ISSN 1872-681X
Institucionální podpora: RVO:67985807
Klíčová slova: Edge-disjoint triangles * Edge clique covering * Nordhaus-Gaddum inequality
Impakt faktor: 0.9, rok: 2024 ; AIS: 0.619, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1016/j.disc.2024.114226
Bujtás, C.
Trvalý odkaz: https://hdl.handle.net/11104/0373965

0602750 - ÚI 2026 US eng C - Konferenční příspěvek (zahraniční konf.)
Cabessa, Jérémie - Hernault, H. - Mushtaq, U.
Argument Mining with Fine-Tuned Large Language Models.
COLING 2025: The 31st International Conference on Computational Linguistics. Proceedings of the Main Conference. Stroudsburg: The Association for Computational Linguistics, 2025, s. 6624-6635. ISBN 979-8-89176-196-4.
[COLING 2025: International Conference on Computational Linguistics /31./. Abu Dhabi (AE), 19.01.2025-24.01.2025]
Grant CEP: GA ČR(CZ) GA22-02067S
Institucionální podpora: RVO:67985807
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: https://hdl.handle.net/11104/0360038

0637283 - ÚI 2026 RIV NL eng J - Článek v odborném periodiku
Cabessa, Jérémie - Strozecki, Y.
Refined Kolmogorov complexity of analog, evolving and stochastic recurrent neural networks.
Information Sciences. Roč. 711, September 2025 (2025), č. článku 122104. ISSN 0020-0255. E-ISSN 1872-6291
Grant CEP: GA ČR(CZ) GA22-02067S; GA ČR(CZ) GA25-15490S
Institucionální podpora: RVO:67985807
Klíčová slova: Analog computation * Computability theory * Computational power * Echo state networks * Kolmogorov complexity * Quantization * Recurrent neural networks * Stochastic computation
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 6.8, rok: 2024 ; AIS: 1.389, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.ins.2025.122104
Trvalý odkaz: https://hdl.handle.net/11104/0368201

0637989 - ÚI 2026 RIV US eng J - Článek v odborném periodiku
Campos Araújo, Pedro - Botler, F. - Mota, G. O.
Counting graph orientations with no directed triangles.
Electronic Journal of Combinatorics. Roč. 32, č. 3 (2025), č. článku P32. ISSN 1077-8926. E-ISSN 1077-8926
Institucionální podpora: RVO:67985807
Klíčová slova: graphs * graph orientations
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2024 ; AIS: 0.672, rok: 2024
Způsob publikování: Open access
https://doi.org/10.37236/12923
Trvalý odkaz: https://hdl.handle.net/11104/0368757

0644647 - ÚI 2026 RIV GB eng J - Článek v odborném periodiku
Caputi, Luigi - Pidnebesna, Anna - Hlinka, Jaroslav
Integral Betti signatures of brain, climate and financial networks compared to hyperbolic, Euclidean and spherical models.
Scientific Reports. Roč. 16, č. 1 (2026), č. článku 2026. ISSN 2045-2322. E-ISSN 2045-2322
Grant CEP: GA MŠMT(CZ) EH22_008/0004643; GA ČR(CZ) GA21-17211S; GA ČR(CZ) GA21-32608S; GA ČR(CZ) GA23-07074S
Institucionální podpora: RVO:67985807
Klíčová slova: Data manifolds * Functional connectivity * TDA * Betti curves * Hyperbolic geometry * Integral Betti signatures
Obor OECD: Neurosciences (including psychophysiology
Impakt faktor: 3.9, rok: 2024 ; AIS: 1.029, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1038/s41598-025-31700-z
Hlinka, Jaroslav
Trvalý odkaz: https://hdl.handle.net/11104/0374499

0641859 - ÚI 2027 GB eng J - Článek v odborném periodiku
Cintula, Petr
A Variant of the Lindenbaum Lemma for Infinitary Closure Systems.
Review of Symbolic Logic. Online 20 November 2025 (2026). ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR(CZ) GA22-16111S
Institucionální podpora: RVO:67985807
Klíčová slova: Lindenbaum lemma * consequence relations * infinitary logic
Obor OECD: Pure mathematics
Impakt faktor: 0.9, rok: 2024 ; AIS: 0.699, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S1755020325101019
Cintula, Petr
Trvalý odkaz: https://hdl.handle.net/11104/0371871

0644188 - ÚI 2026 RIV CH eng J - Článek v odborném periodiku
Constable, P. A. - Pinzon-Arenas, J. O. - Mercado Diaz, L. R. - Lee, I. O. - Marmolejo-Ramos, F. - Loh, L. - Zhdanov, A. - Kulyabin, M. - Brabec, Marek - Skuse, D. H. - Thompson, D. A. - Posada-Quintero, H.
Spectral Analysis of Light-Adapted Electroretinograms in Neurodevelopmental Disorders: Classification with Machine Learning.
Bioengineering. Roč. 12, č. 1 (2025), č. článku 15. ISSN 2306-5354. E-ISSN 2306-5354
Institucionální podpora: RVO:67985807
Klíčová slova: biomarker * retina * autism * attention deficit hyperactivity disorder * sex * medication * feature selection
Obor OECD: Statistics and probability
Impakt faktor: 3.7, rok: 2024 ; AIS: 0.713, rok: 2024
Způsob publikování: Open access
https://doi.org/10.3390/bioengineering12010015
Constable, P. A.
Trvalý odkaz: https://hdl.handle.net/11104/0373991

0637817 - ÚI 2026 RIV GB eng J - Článek v odborném periodiku
Craven, A. R. - Dwyer, G. - Ersland, L. - Kazimierczak, Katarzyna - Lilleskare, L. - Noeske, R. - Brunvoll Sandøy, L. - Johnsen, E. - Hugdahl, K.
GABA, glutamate dynamics and BOLD observed during cognitive processing in psychosis patients with hallucinatory traits.
Scientific Reports. Roč. 15, June 2025 (2025), č. článku 19466. ISSN 2045-2322. E-ISSN 2045-2322
Institucionální podpora: RVO:67985807
Klíčová slova: GABA * Glutamate * MEGA-PRESS * Functional spectroscopy * Hallucinations * Psychosis
Obor OECD: Neurosciences (including psychophysiology
Impakt faktor: 3.9, rok: 2024 ; AIS: 1.029, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1038/s41598-025-03644-x
Craven, A. R.
Trvalý odkaz: https://hdl.handle.net/11104/0368619

0635636 - ÚI 2026 RIV NL eng J - Článek v odborném periodiku
Dallmer-Zerbe, Isa - Kopal, Jakub - Pidnebesna, Anna - Curot, J. - Denuelle, M. - de Barros, A. - Sol, J.-Ch. - Valton, L. - Barbeau, E. J. - Hlinka, Jaroslav
Pro-ictal, rather than pre-ictal, brain state marked by global critical slowing and local gamma power increase.
Clinical Neurophysiology. Roč. 175, July 2025 (2025), č. článku 2110742. ISSN 1388-2457. E-ISSN 1872-8952
Grant CEP: GA ČR(CZ) GA21-32608S; GA MŠMT(CZ) EH22_008/0004643
Institucionální podpora: RVO:67985807
Impakt faktor: 3.6, rok: 2024 ; AIS: 1.376, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1016/j.clinph.2025.2110742
Trvalý odkaz: https://hdl.handle.net/11104/0366666

0636592 - ÚTIA 2026 RIV CZ eng K - Konferenční příspěvek (tuzemská konf.)
Daniel, Milan - Jiroušek, Radim - Kratochvíl, Václav
Discounting or Optimizing? Different Approaches to Pseudo-Belief Function Correction.
Proceedings of the 13th Workshop on Uncertainty Processing (WUPES’25). Prague: MatfyzPress, 2025 - (Studený, M.; Ay, N.; Capotorti, A.; Csirmaz, L.; Jiroušek, R.; Kleiter, G.; Shenoy, P.), s. 104-115. ISBN 978-80-7378-525-3.
[Workshop on Uncertainty Processing - WUPES 2025 /13./. Třešť (CZ), 04.06.2025-07.06.2025]
Institucionální podpora: RVO:67985556 ; RVO:67985807
Klíčová slova: belief function * learning * computational geometry
Obor OECD: Applied mathematics
http://library.utia.cas.cz/separaty/2025/MTR/jirousek-0636592.pdf
https://wupes.utia.cas.cz/2025/Proceedings.pdf#page=113
Trvalý odkaz: https://hdl.handle.net/11104/0367707

0636593 - ÚTIA 2026 RIV CZ eng K - Konferenční příspěvek (tuzemská konf.)
Daniel, Milan - Jiroušek, Radim - Kratochvíl, Václav
How Sir Harold Jeffreys would create a belief function based on data.
Proceedings of the 13th Workshop on Uncertainty Processing (WUPES’25). Prague: MatfyzPress, 2025 - (Studený, M.; Ay, N.; Capotorti, A.; Csirmaz, L.; Jiroušek, R.; Kleiter, G.; Shenoy, P.), s. 92-103. ISBN 978-80-7378-525-3.
[Workshop on Uncertainty Processing - WUPES 2025 /13./. Třešť (CZ), 04.06.2025-07.06.2025]
Institucionální podpora: RVO:67985556 ; RVO:67985807
Klíčová slova: belief function * learning * confidence interval
Obor OECD: Applied mathematics
http://library.utia.cas.cz/separaty/2025/MTR/jirousek-0636593.pdf
https://wupes.utia.cas.cz/2025/Proceedings.pdf#page=101
Trvalý odkaz: https://hdl.handle.net/11104/0367706

0617513 - ÚI 2026 RIV SI eng J - Článek v odborném periodiku
Davoodi, Akbar - Javadi, R. - Kamranian, A. - Raeisi, G.
On a conjecture of Erdős on size Ramsey number of star forests.
Ars Mathematica Contemporanea. Roč. 25, č. 2 (2025). ISSN 1855-3966. E-ISSN 1855-3974
Grant CEP: GA ČR(CZ) GA19-08740S
Institucionální podpora: RVO:67985807
Klíčová slova: Size Ramsey number * star forest * Ramsey minimal graph
Impakt faktor: 0.9, rok: 2024 ; AIS: 0.595, rok: 2024
Způsob publikování: Open access
https://doi.org/10.26493/1855-3974.3081.d6c
Trvalý odkaz: https://hdl.handle.net/11104/0364405

0617069 - ÚI 2026 RIV NL eng J - Článek v odborném periodiku
Davoodi, Akbar - Holeňa, Martin - Brunovský, M. - Kathpalia, Aditi - Hlinka, Jaroslav - Bareš, M. - Paluš, Milan
Response prediction of antidepressants: Using graph theory tools for brain network connectivity analysis.
Biomedical Signal Processing and Control. Roč. 103, May 2025 (2025), č. článku 107362. ISSN 1746-8094. E-ISSN 1746-8108
Grant CEP: GA ČR(CZ) GF21-14727K; GA MŠMT(CZ) EH22_008/0004643
Institucionální podpora: RVO:67985807
Klíčová slova: Major depressive disorder * Electroencephalography * Antidepressant response * Machine learning * Graph theory * Partial ordering
Impakt faktor: 4.9, rok: 2024 ; AIS: 0.869, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1016/j.bspc.2024.107362
Trvalý odkaz: https://hdl.handle.net/11104/0364072

0637269 - ÚI 2026 RIV US eng J - Článek v odborném periodiku
De Caterina, R. - Unverdorben, M. - Chen, C. - Choi, E. K. - Koretsune, Y. - Morrone, D. - Pecen, Ladislav - Bramlage, P. - Wang, C. - Yamashita, T. - Kirchhof, P.
Two-Year Follow-Up of Patients With Atrial Fibrillation Receiving Edoxaban in Routine Clinical Practice: Results From the Global ETNA-AF Program.
Clinical Cardiology. Roč. 48, č. 3 (2025), č. článku e70091. ISSN 0160-9289. E-ISSN 1932-8737
Institucionální podpora: RVO:67985807
Klíčová slova: anticoagulation * atrial fibrillation * direct oral anticoagulant (DOAC) * edoxaban * major bleeding * oral anticoagulants * stroke prevention
Obor OECD: Cardiac and Cardiovascular systems
Impakt faktor: 2.3, rok: 2024 ; AIS: 0.832, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1002/clc.70091
Trvalý odkaz: https://hdl.handle.net/11104/0368181

0643940 - ÚI 2026 US eng J - Článek v odborném periodiku
De Martin Polo, Fabio
Bilateral Labeled Sequent Calculi.
Notre Dame Journal of Formal Logic. Accepted January 2026 (2026). ISSN 0029-4527. E-ISSN 1939-0726
Grant CEP: GA MŠMT(CZ) EH23_025/0008711
Institucionální podpora: RVO:67985807
Klíčová slova: sequent calculus * bilateralism * connexive logic * proof search * countermodel
Impakt faktor: 0.5, rok: 2024 ; AIS: 0.463, rok: 2024
Trvalý odkaz: https://hdl.handle.net/11104/0373753

0641211 - ÚI 2026 RIV DE eng J - Článek v odborném periodiku
De Martin Polo, Fabio
Exploring Jaśkowski’s Discussive Logic: Proof Analysis and Related Remarks.
Journal of Philosophical Logic. Roč. 54, September 2025 (2025), s. 935-993. ISSN 0022-3611. E-ISSN 1573-0433
Institucionální podpora: RVO:67985807
Klíčová slova: Discussive logic * Modal logic * Sequent calculus * Embedding * Proof search * Natural deduction * Paraconsistency
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1, rok: 2024 ; AIS: 0.885, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1007/s10992-025-09808-4
Trvalý odkaz: https://hdl.handle.net/11104/0371416

0642079 - ÚI 2026 RIV GB eng J - Článek v odborném periodiku
DeBiasio, L. - Han, J. - Lo, A. - Molla, T. - Piga, Simon - Treglown, A.
Powers of Hamilton cycles in oriented and directed graphs.
Combinatorics Probability & Computing. Online 28 October 2025 (2025). ISSN 0963-5483. E-ISSN 1469-2163
Institucionální podpora: RVO:67985807
Klíčová slova: Powers of Hamilton cycles * directed graphs; * regularity lemma * blow-up lemma * absorbing * dependent random choice * tournaments
Impakt faktor: 0.8, rok: 2024 ; AIS: 1.081, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1017/S0963548325100230
Treglown, A.
Trvalý odkaz: https://hdl.handle.net/11104/0372040

0640620 - ÚI 2026 DE eng J - Článek v odborném periodiku
Dropka, N. - Petkovic, M. - Frank-Rotsch, C. - Linke, D. - Holeňa, Martin
Toward a Universal Czochralski Growth Model Leveraging Data-Driven Techniques.
Advanced Theory and Simulations. Online 17 September 2025 (2025), č. článku e01159. E-ISSN 2513-0390
Institucionální podpora: RVO:67985807
Klíčová slova: computational fluid dynamics * Czochralski growth * machine learning * SHAP analysis
Impakt faktor: 2.9, rok: 2024 ; AIS: 0.677, rok: 2024
Způsob publikování: Open access
Trvalý odkaz: https://hdl.handle.net/11104/0371000

0639076 - ÚI 2026 RIV J - Článek v odborném periodiku
Elavsky, S. - Brabec, Marek - Malý, Marek - Knapová, L. - Kaštovská, B. - Sebera, M. - Ely, M. - Jandačková, V. K. - Keller, J. - Pavel, M.
The Temporal Dynamics of the Association between Daily Physical Activity and Life Satisfaction.
ANNALS OF BEHAVIORAL MEDICINE. Roč. 59, č. 1 (2025), č. článku kaaf079. ISSN 0883-6612. E-ISSN 1532-4796
Grant CEP: GA MŠMT(CZ) EH22_008/0004583
Institucionální podpora: RVO:67985807
Klíčová slova: life satisfaction * physical activity * exercise identity * dynamic modeling * within-person variability * Bayesian vector autoregressive model * air pollution
Obor OECD: Statistics and probability
Impakt faktor: 3.3, rok: 2024 ; AIS: 1.402, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1093/abm/kaaf079
Elavsky, S.
Trvalý odkaz: https://hdl.handle.net/11104/0369587

0643773 - ÚI 2027 RIV GB eng J - Článek v odborném periodiku
Farisco, M. - Evers, K. - Annen, J. - Blandin, V. - Camassa, A. - Cecconi, B. - Charland, V. - Deco, G. - Gosseries, O. - Laureys, S. - Manasanch, A. - Massimini, M. - Muckli, L. - Panda, R. - Pennartz, C. - Pigorini, A. - Torao, M. - Sanchez-Vives, M. V. - Goldman, J. - Zamora-López, Gorka
Advancing the science of consciousness: From ethics to clinical care.
Neuroscience and Biobehavioral Reviews. Roč. 180, January 2026 (2026), č. článku 106497. ISSN 0149-7634. E-ISSN 1873-7528
Grant CEP: GA MŠMT(CZ) EH22_008/0004643
Institucionální podpora: RVO:67985807
Klíčová slova: Consciousness * Disorders of consciousness * Brain injury * Medicine * Ethics * Clinical neuroscience * Computational neuroscience
Obor OECD: Neurosciences (including psychophysiology
Impakt faktor: 7.9, rok: 2024 ; AIS: 3.03, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1016/j.neubiorev.2025.106497
Trvalý odkaz: https://hdl.handle.net/11104/0373627

0637931 - ÚI 2026 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Fejlek, Jiří - Ernst, G.
Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals.
HSCC '25: Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control. New York: ACM, 2025, s. 1-11, č. článku 7. ISBN 979-8-4007-1504-4.
[HSCC '25: Hybrid Systems: Computation and Control /28./. Irvine (US), 06.05.2025-09.05.2025]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: falsification * hybrid systems * rapidly exploring random trees
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1145/3716863.3718051
Trvalý odkaz: https://hdl.handle.net/11104/0368704

0641222 - ÚI 2026 RIV AU eng J - Článek v odborném periodiku
Ferenz, Nicholas - Tedder, A.
The Content of Content Semantics.
Australasian Journal of Logic. Roč. 22, č. 5 (2025), s. 487-507. ISSN 1448-5052. E-ISSN 1448-5052
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: content semantics
Obor OECD: Pure mathematics
Impakt faktor: 0.4, rok: 2024 ; AIS: 0.558, rok: 2024
Způsob publikování: Open access
https://doi.org/10.26686/ajl.v22i5.9252
Ferenz, Nicholas
Trvalý odkaz: https://hdl.handle.net/11104/0371418

0637279 - ÚI 2026 RIV CH eng M - Část monografie knihy
Ferguson, Thomas Macaulay
A Topic-Theoretic Perspective on Variable-Sharing (from the Black Sheep of the Family).
New Directions in Relevant Logic. Cham: Springer, 2025 - (Sedlár, I.; Standefer, S.; Tedder, A.), s. 425-452. Trends in Logic, 63. ISBN 978-3-031-69940-5
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
https://doi.org/10.1007/978-3-031-69940-5_3
Trvalý odkaz: https://hdl.handle.net/11104/0368191

0604123 - ÚI 2026 RIV DE eng J - Článek v odborném periodiku
Ferguson, Thomas Macaulay - Logan, S. A.
Topic Transparency and Variable Sharing in Weak Relevant Logics.
Erkenntnis. Roč. 90, č. 3 (2025), s. 1227-1254. ISSN 0165-0106. E-ISSN 1572-8420
Grant CEP: GA ČR(CZ) GA22-01137S; GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Relevant logic * Topic transparency * Variable sharing
Impakt faktor: 0.9, rok: 2024 ; AIS: 0.611, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10670-023-00748-6
Ferguson, Thomas Macaulay
Trvalý odkaz: https://hdl.handle.net/11104/0373970

0643476 - ÚI 2026 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Fradi, N. - Cabessa, Jérémie - Zeglaoui, A.
Few-Shot High-Dimensional Feature Selection with Lagrange Programming Neural Networks.
IJCNN 2025: International Joint Conference on Neural Networks Conference Proceedings. Piscataway: IEEE, 2025. ISBN 979-8-3315-1042-8.
[IJCNN 2025: International Joint Conference on Neural Networks. Rome (IT), 30.06.2025-06.07.2025]
Grant CEP: GA ČR(CZ) GA25-15490S
Institucionální podpora: RVO:67985807
Klíčová slova: Recurrent Neural Networks * Lagrange Programming Neural Networks (LPNNs) * Few-shot Learning * Feature Selection * LASSO * High-Dimensional Data
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1109/IJCNN64981.2025.11227603
Trvalý odkaz: https://hdl.handle.net/11104/0373340