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

Publikace ASEP

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

Nalezeno záznamů: 190

0490220 - ÚI 2019 RIV GB eng A - Abstrakt
Resler, Jaroslav - Krč, Pavel - Belda, Michal - Juruš, Pavel - Benešová, N. - Vlček, O. - Damašková, D. - Eben, Kryštof - Derbek, P.
Street-Level Assessment of Urban Scenarios on Thermal Comfort and Air Quality by the Means of Newly Developed Urban Surface Model for LES model PALM.
Proceedings of Abstracts 11th International Conference on Air Quality Science and Application. Hertfordshire: University of Hertfordshire, 2018 - (Sokhi, R.; Gállego, M.; Pushp, R.; Craviotto Arnau, J.; Castells Giuiu, C.; Singh, V.). s. 116-116. ISBN 978-1-5272-2150-5.
[Air Quality 2018: International Conference /11./. 12.03.2018-16.03.2018, Barcelona]
Institucionální podpora: RVO:67985807
Klíčová slova: PALM-4U * Large Eddy Simulation * micro-scale modelling * urban heat island * air quality * urban adaptation measures
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
Obor OECD: Meteorology and atmospheric sciences
http://www.airqualityconference.org
Trvalý odkaz: http://hdl.handle.net/11104/0284492

0490230 - ÚI 2019 RIV GB eng A - Abstrakt
Benešová, N. - Belda, M. - Eben, Kryštof - Geletič, Jan - Huszár, P. - Juruš, Pavel - Krč, Pavel - Resler, Jaroslav - Vlček, O.
New Open Source Emission Processor for Air Quality Models.
Proceedings of Abstracts 11th International Conference on Air Quality Science and Application. Hertfordshire: University of Hertfordshire, 2018 - (Sokhi, R.; Gállego, M.; Pushp, R.; Craviotto Arnau, J.; Castells Giuiu, C.; Singh, V.). s. 27-27. ISBN 978-1-5272-2150-5.
[Air Quality 2018: International Conference /11./. 12.03.2018-16.03.2018, Barcelona]
TA ČR(CZ) TA04020797
Institucionální podpora: RVO:67985807
Klíčová slova: emission processor * air quality modelling * chemical transport models * air pollution
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
Obor OECD: Meteorology and atmospheric sciences
Benešová, N.
Trvalý odkaz: http://hdl.handle.net/11104/0284498

0490759 - ÚI 2019 US eng A - Abstrakt
Hájek, T. - Kolenic, M. - Franke, K. - Hlinka, Jaroslav - Čapková, J. - Matějka, M. - Pausová, Z. - Uher, R. - Alda, M. - Španiel, F.
Obesity and Brain Age in First Episode of Schizophrenia-Spectrum Disorders Effects of Antipsychotic Medications.
Biological Psychiatry. Elsevier. Roč. 83, č. 9 (2018), s. 219-219. ISSN 0006-3223.
[Annual Scientific Convention and Meeting of the Society-of-Biological-Psychiatry /73./. 10.05.2018-12.05.2018, New York]
Institucionální podpora: RVO:67985807
Klíčová slova: Obesity * Brain Aging * Antipsychotics
Trvalý odkaz: http://hdl.handle.net/11104/0284910

0490773 - ÚI 2019 HU eng A - Abstrakt
Kalina, Jan
Locally Most Powerful Sequential Rank Tests.
Abstracts of the 9-th International Workshop on Applied Probability. Budapest: IWAP International Board, 2018 - (Márkus, L.; Prokaj, V.). s. 17-17
[International Workshop on Applied Probability /9./. 18.06.2018-21.06.2018, Budapešť]
Grant CEP: GA ČR GA17-07384S
Institucionální podpora: RVO:67985807
https://iwap2018.com/upload/BEK072_01.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0284918

0490760 - ÚI 2019 GB eng A - Abstrakt
Řasová, K. - Pavlíková, M. - Freeman, J. - Cattaneo, D. - Jonsdottir, J. - Baert, I. - Smedal, T. - Romberg, A. - Feys, P. - Alves-Guerreiro, J. - Habek, M. - Henze, T. - Santoyo Medina, C. - Beiske, A. - Van Asch, P. - Bakalidou, D. - Salci, Y. - Dimitrova, E.N. - Martinková, Patrícia
Content of physical therapy in multiple sclerosis across Europe: questionnaire survey.
Multiple Sclerosis. Roč. 24, č. 6 (2018), s. 855-856. ISSN 1352-4585.
[RIMS 2018. Annual Conference on Rehabilitation in Multiple Sclerosis /23./. 31.05.2018-02.06.2018, Amsterdam]
GA MZd(CZ) NV16-32791A; GA MŠk(CZ) LO1611
Institucionální podpora: RVO:67985807
Trvalý odkaz: http://hdl.handle.net/11104/0284911

0492007 - ÚI 2019 GB eng A - Abstrakt
Androvičová, R. - Novák, O. - Hůla, M. - Tomeček, D. - Hlinka, Jaroslav - Weiss, P. - Klapilová, K.
Is Stranger Rape a Strategy to Avoid Female Courtship Behavior?: a Parallel fMRI and Penile Plethysmography Study.
Journal of Sexual Medicine. Roč. 15, 7, Suppl. 3 (2018), S246-S247. ISSN 1743-6095.
[2018 World Meeting on Sexual Medicine /21./. 28.02.2018-03.03.2018, Lisbon]
Grant CEP: GA ČR(CZ) GA17-11004S
GA MŠk(CZ) LO1611
Institucionální podpora: RVO:67985807
Trvalý odkaz: http://hdl.handle.net/11104/0285597

0492121 - ÚI 2019 GB eng A - Abstrakt
Tejkalová, H. - Kačer, P. - Klaschka, Jan - Mrázek, Jakub - Kvasnová, Simona - Fliegerová, Kateřina
Consequences of gut microbiota manipulation by antibiotics in animal model of early immune dysregulation: phenotype analysis of behaviour and biochemical correlates.
FEBS Open Bio. Roč. 8, Suppl. 1 (2018), s. 199-199. ISSN 2211-5463
Grant CEP: GA ČR(CZ) GBP304/12/G069; GA MZd(CZ) NV17-31852A
GA MŠk(CZ) LO1611
Institucionální podpora: RVO:67985807 ; RVO:67985904
Klíčová slova: gut microbiome * microbiome * rats * antibiotics * behaviour * neurotransmitters
Kód oboru RIV: FH - Neurologie, neurochirurgie, neurovědy; EE - Mikrobiologie, virologie (UZFG-Y)
Obor OECD: Psychiatry; Microbiology (UZFG-Y)
Trvalý odkaz: http://hdl.handle.net/11104/0285684

0492629 - ÚI 2019 CZ cze A - Abstrakt
Drabinová, A. - Martinková, Patrícia
Modely přidané hodnoty škol.
Robust 2018. Sborník abstraktů. Praha: KPMS MFF UK, 2018. s. 2-3.
[ROBUST 2018. 21.01.2018-26.01.2018, Rybník]
Institucionální podpora: RVO:67985807
http://www.karlin.mff.cuni.cz/~antoch/robust18/abstrakty.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0286079

0492639 - ÚI 2019 RIV US eng A - Abstrakt
Martinková, Patrícia - Drabinová, Adéla
ShinyItemAnalysis for Psychometric Training and Research.
IMPS 2018: Abstracts Book - Posters. New York City: Columbia University, 2018.
[IMPS 2018: International Meeting of Psychometric Society. 09.07.2018-13.07.2018, New York City]
Grant CEP: GA ČR GJ15-15856Y
Institucionální podpora: RVO:67985807
Klíčová slova: analýza testů * položková analýza * teorie odpovědi na položku * odlišné fungování položek * Shiny * R
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
https://www.psychometricsociety.org/sites/default/files/IMPS%202018%20Poster%20Abstracts.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0286087

0493164 - ÚI 2019 RIV DE eng A - Abstrakt
Martinková, Patrícia - Goldhaber, D. - Erosheva, E.
Model-Based Reliability to Check for Disparities in Ratings of Internal and External Applicants.
Abstractband. VIII. European Congress on Methodology. Abstract Book. Jena: Institut für Psychologie, Friedrich-Schiller-Universität, 2018. s. 102-102.
[2018 European Congress on Methodology /8./. 25.07.2018-27.07.2018, Jena]
Grant CEP: GA ČR GJ15-15856Y
Institucionální podpora: RVO:67985807
Klíčová slova: Generalizability * Linear Mixed Models * Reliability * Variance Decomposition
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
Martinková, Patrícia
Trvalý odkaz: http://hdl.handle.net/11104/0286582

0493290 - ÚI 2019 RIV IE eng A - Abstrakt
Pitra, Zbyněk - Repický, Jakub - Holeňa, Martin
Transfer of Knowledge for Surrogate Model Selection in Cost-Aware Optimization.
ECML PKDD 2018: Workshop on Interactive Adaptive Learning. Proceedings. Dublin, 2018 - (Krempl, G.; Lemaire, V.; Kottke, D.; Calma, A.; Holzinger, A.; Polikar, R.; Sick, B.). s. 89-94
[ECML PKDD 2018: The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. 10.09.2018-14.09.2018, Dublin]
Grant CEP: GA ČR GA17-01251S
ČVUT(CZ) SGS17/193/OHK4/3T/14; GA MŠk(CZ) LM2015042
Institucionální podpora: RVO:67985807
Klíčová slova: Metalearing * Surrogate model * Gaussian process * Random forest * Exploratory landscape analysis
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://www.ies.uni-kassel.de/p/ial2018/ialatecml2018.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0286679

0493292 - ÚI 2019 RIV IE eng A - Abstrakt
Repický, Jakub - Pitra, Zbyněk - Holeňa, Martin
Adaptive Selection of Gaussian Process Model for Active Learning in Expensive Optimization.
ECML PKDD 2018: Workshop on Interactive Adaptive Learning. Proceedings. Dublin, 2018 - (Krempl, G.; Lemaire, V.; Kottke, D.; Calma, A.; Holzinger, A.; Polikar, R.; Sick, B.). s. 80-84
[ECML PKDD 2018: The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. 10.09.2018-14.09.2018, Dublin]
Grant CEP: GA ČR GA17-01251S
Institucionální podpora: RVO:67985807
Klíčová slova: Gaussian process * Surrogate model * Black-box optimization * Active Learning
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://www.ies.uni-kassel.de/p/ial2018/ialatecml2018.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0286678

0494248 - ÚI 2019 RIV US eng A - Abstrakt
Resler, Jaroslav - Geletič, Jan - Krč, Pavel - Belda, M. - Juruš, Pavel - Benešová, N. - Lopata, J. - Vlček, O. - Damašková, D. - Eben, Kryštof - Derbek, P. - Maronga, B. - Kanani-Sühring, F. - Salim, M.
An Urban Surface Scheme for the Urban Microscale Model PALM-4U - Model Development and First Validation.
ICUC 2018. Abstracts. New York: American Meteorological Society, 2018.
[ICUC 2018: International Conference on Urban Climate /10./ and Symposium on the Urban Environment /14./. 06.08.2018-10.08.2018, New York]
Grant CEP: GA KHP(CZ) UH0383
Institucionální podpora: RVO:67985807
Klíčová slova: PALM-4U * Large Eddy Simulation * micro-scale modelling * urban modelling * urban heat island
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
Obor OECD: Meteorology and atmospheric sciences
https://ams.confex.com/ams/ICUC10/meetingapp.cgi/Session/46782
Resler, Jaroslav
Trvalý odkaz: http://hdl.handle.net/11104/0287477

0494892 - ÚI 2019 US eng A - Abstrakt
Geletič, Jan - Lehnert, M. - Jurek, M.
Modelled Spatiotemporal Variability of Air Temperature during a Heat Wave Under Real and Modified Landcover Characteristics: The Case of Brno and Prague (Czech Republic).
ICUC 2018. Abstracts. New York: American Meteorological Society, 2018.
[ICUC 2018: International Conference on Urban Climate /10./ and Symposium on the Urban Environment /14./. 06.08.2018-10.08.2018, New York]
Institucionální podpora: RVO:67985807
Klíčová slova: MUKLIMO_3 * air temperature * albedo * urban climate * heat-wave
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
Obor OECD: Meteorology and atmospheric sciences
https://ams.confex.com/ams/ICUC10/meetingapp.cgi/Paper/341325
Geletič, Jan
Trvalý odkaz: http://hdl.handle.net/11104/0287939

0491756 - ÚI 2019 BE eng A - Abstrakt
Kalina, Jan - Šiman, Miroslav
Nonparametric tests of symmetry for non-elliptical distributions.
ICORS 2018. Book of Abstracts. Leuven, 2018. s. 122-122.
[ICORS 2018. International Conference on Robust Statistics. 02.07.2018-06.07.2018, Leuven]
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Robust estimation * Multivariate data * Location and scatter * Shape estimator * Symmetry test
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Statistics and probability
https://wis.kuleuven.be/events/icors18/BookOfAbstracts
Trvalý odkaz: http://hdl.handle.net/11104/0285396

0491783 - ÚI 2019 IT eng A - Abstrakt
Kalina, Jan - Peštová, Barbora
A comparison of robust nonlinear regression methods by statistical learning.
ISNPS 2018. Book of Abstracts. Salerno, 2018 - (La Rocca, M.; Liseo, B.; Parella, M.; Salmaso, L.; Tardella, L.). s. 42-42. ISBN 978-88-61970-00-7.
[ISNPS 2018. Conference of the International Society for Nonparametric Statistics /4./. 11.06.2018-15.06.2018, Salerno]
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: metalearning * robust estimation * nonlinear regression * nonlinear regression quantiles * heteroscedasticity
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
https://drive.google.com/file/d/13Sqxpj5A0oHiNn4jLBGSUPpSmlYvFX-0/view
Trvalý odkaz: http://hdl.handle.net/11104/0285411

0492638 - ÚI 2019 RIV US eng A - Abstrakt
Drabinová, Adéla - Martinková, Patrícia
Detection of Differential Item Functioning with difNLR Package.
IMPS 2018: Abstracts Book - Talks. New York City: Columbia University, 2018. s. 42-42.
[IMPS 2018: International Meeting of Psychometric Society. 09.07.2018-13.07.2018, New York City]
Grant CEP: GA ČR GJ15-15856Y
Institucionální podpora: RVO:67985807
Klíčová slova: differential item functioning * nonparametric statistic * regression curves
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
https://www.psychometricsociety.org/sites/default/files/IMPS%202018%20Talk%20Abstracts.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0286086

0497829 - ÚI 2019 DE eng A - Abstrakt
Paluš, Milan - Wang, G.
How long is causal information being transferred from North Atlantic to Central Europe?
Geophysical Research Abstracts. Roč. 20 (2018), s. 11454. ISSN 1607-7962.
[EGU General Assembly 2018. 08.04.2018-13.04.2018, Vienna]
Institucionální podpora: RVO:67985807
https://meetingorganizer.copernicus.org/EGU2018/EGU2018-11454.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0290311

0497833 - ÚI 2019 DE eng A - Abstrakt
Del Rio Amador, L. - Jajcay, Nikola - Lovejoy, S. - Paluš, Milan
CanStoc: a merged CanSIPS-StocSIPS macroweather forecasting system.
Geophysical Research Abstracts. Roč. 20 (2018), s. 9361. ISSN 1607-7962.
[EGU General Assembly 2018. 08.04.2018-13.04.2018, Vienna]
Institucionální podpora: RVO:67985807
https://meetingorganizer.copernicus.org/EGU2018/EGU2018-9361-1.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0290313

0497832 - ÚI 2019 DE eng A - Abstrakt
Jajcay, Nikola - Del Rio Amador, L. - Lovejoy, S. - Paluš, Milan
Improving StocSIPS forecasts by exploiting SST data: StocSST.
Geophysical Research Abstracts. Roč. 20 (2018), s. 9489. ISSN 1607-7962.
[EGU General Assembly 2018. 08.04.2018-13.04.2018, Vienna]
Institucionální podpora: RVO:67985807
https://meetingorganizer.copernicus.org/EGU2018/EGU2018-9489.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0290312

0503448 - ÚI 2019 RIV IT eng A - Abstrakt
Martinková, Patrícia - Goldhaber, D. - Erosheva, E. - Lee, C.
Improving the Peer-Review Process with Model-Based Estimates of Inter-Rater Reliability and Detection of Rating Bias: From Teacher Selection to Journal Submissions and Grant Applications.
PEERE Conference on Peer Review, Rome 2018: Presentations. Rome: PEERE: New Frontiers of Peer Review, 2018.
[PEERE 2018: Conference on Peer Review. 07.03.2018-09.03.2018, Rome]
Grant CEP: GA ČR GJ15-15856Y
Institucionální podpora: RVO:67985807
Klíčová slova: Generalizability * Linear Mixed Models * Reliability * Peer review
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
http://www.peere.org/wp-content/uploads/2018/10/PEERE2018_martinkovaIRR.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0295265

0511270 - ÚI 2020 IT eng A - Abstrakt
Haniková, Zuzana - Moraschini, Tommaso
Fragments of the universal theory of algebraic structures — polynomial reductions.
AsubL (Algebra & Substructural Logics- Take 6). Abstracts. Cagliari, 2018.
[AsubL: Algebra & Substructural Logics /6./. 11.06.2018-13.06.2018, Cagliari]
Institucionální podpora: RVO:67985807
https://sites.unica.it/asubl6/files/2018/05/Zuzana-Hanikova.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0301590

0508245 - ÚI 2020 CH eng A - Abstrakt
Baldi, Paolo - Cintula, Petr - Noguera, Carles
Translating logics of uncertainty into two-layered modal fuzzy logics.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 6-10.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299210

0508246 - ÚI 2020 CH eng A - Abstrakt
Majer, Ondrej - Sedlár, Igor
Plausibility and conditional beliefs in paraconsistent modal logic.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 66-70.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: Epistemic logic * Hybrid logic * Paraconsistent logic * Plausibility orders
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299211

0508254 - ÚI 2020 CH eng A - Abstrakt
Punčochář, Vít - Sedlár, Igor
Informational semantics for superintuitionistic modal logics.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 95-99.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Institucionální podpora: RVO:67985807
Klíčová slova: Intuitionistic modal logic * neighborhood semantics * information models * information states
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299215

0508255 - ÚI 2020 CH eng A - Abstrakt
Punčochář, Vít - Sedlár, Igor
From the positive fragment of PDL to its non-classical extensions.
AiML 2018: Accepted Short Papers. Bern: Universität Bern, 2018. s. 100-104.
[AiML 2018: Advances in Modal Logic /12./. 27.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Lambek calculus * dynamic logic * First Degree Entailment * paraconsistent logic * Propositional Dynamic Logic * substructural logics
http://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299216

0508262 - ÚI 2020 CH eng A - Abstrakt
Jasana, R. - Moraschini, Tommaso
Relational semantics, ordered algebras, and quantifiers for deductive systems.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 6-9.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Institucionální podpora: RVO:67985807
Trvalý odkaz: http://hdl.handle.net/11104/0299220

0508271 - ÚI 2020 CH eng A - Abstrakt
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Epimorphisms in varieties of square-increasing residuated structures.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 74-76.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Trvalý odkaz: http://hdl.handle.net/11104/0299227

0508273 - ÚI 2020 CH eng A - Abstrakt
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Epimorphisms, definability and cardinalities.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 77-80.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Trvalý odkaz: http://hdl.handle.net/11104/0299229

0508274 - ÚI 2020 CH eng A - Abstrakt
Cintula, Petr - Menchón, P. - Noguera, Carles
General Neighborhood and Kripke Semantics for Modal Many-Valued Logics.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 31-34.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Trvalý odkaz: http://hdl.handle.net/11104/0299230

0508275 - ÚI 2020 CH eng A - Abstrakt
Cintula, Petr - Diaconescu, D.
Omitting Types Theorem in Mathematical Fuzzy Logic.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 55-57.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Trvalý odkaz: http://hdl.handle.net/11104/0299231

0508276 - ÚI 2020 CH eng A - Abstrakt
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization and Herbrand Theorems for Lattice-Valued Logics.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 58-59.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Trvalý odkaz: http://hdl.handle.net/11104/0299232

0508278 - ÚI 2020 CH eng A - Abstrakt
Sedlár, Igor - Vidal, Amanda
Modal logics for reasoning about weighted graphs.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 84-86.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Institucionální podpora: RVO:67985807
Trvalý odkaz: http://hdl.handle.net/11104/0299234

0508280 - ÚI 2020 CH eng A - Abstrakt
Vidal, Amanda
Non axiomatizability of the finitary Lukasiewicz modal logic.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 89-92.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Institucionální podpora: RVO:67985807
Trvalý odkaz: http://hdl.handle.net/11104/0299235

0508282 - ÚI 2020 US eng A - Abstrakt
Bílková, Marta - Cintula, Petr
Understanding infinitary logics via their symmetrizations.
SYSMICS 2018. Duality in Algebra and Logic. Abstracts. Orange: Chapman University, 2018. s. 1-1.
[SYSMICS 2018. Workshop on Duality in Algebra and Logic /4./. 14.09.2018-17.09.2018, Orange]
Institucionální podpora: RVO:67985807
http://math.chapman.edu/~jipsen/sysmics/SYSMICS4abstracts.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299237

0508285 - ÚI 2020 AT eng A - Abstrakt
Cintula, Petr - Gil-Férez, J. - Moraschini, Tommaso - Paoli, F.
An Abstract Approach to Consequence Relations II.
SYSMICS 2018. Second Workshop - Contributions. Vienna: University of Vienna, 2018.
[SYSMICS 2018: Workshop. Substructural logics: semantics, proof theory, and applications. /2./. 26.02.2018-28.02.2018, Vienna]
Institucionální podpora: RVO:67985807
https://sysmics.logic.at/accepted/_left/SYSMICS-W2_abstract_27.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299239

0508286 - ÚI 2020 AT eng A - Abstrakt
Bonzio, S. - Moraschini, Tommaso - Pra Baldi, M.
Logics of variable inclusion.
SYSMICS 2018. Second Workshop - Contributions. Vienna: University of Vienna, 2018.
[SYSMICS 2018: Workshop. Substructural logics: semantics, proof theory, and applications. /2./. 26.02.2018-28.02.2018, Vienna]
Institucionální podpora: RVO:67985807
https://sysmics.logic.at/accepted/_left/SYSMICS-W2_abstract_8.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299240

0508287 - ÚI 2020 AT eng A - Abstrakt
Galatos, N. - Přenosil, Adam
On an equivalence between integral and involutive residuated structures.
SYSMICS 2018. Second Workshop - Contributions. Vienna: University of Vienna, 2018.
[SYSMICS 2018: Workshop. Substructural logics: semantics, proof theory, and applications. /2./. 26.02.2018-28.02.2018, Vienna]
Institucionální podpora: RVO:67985807
https://sysmics.logic.at/accepted/_left/SYSMICS-W2_abstract_10.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0299241

0503797 - ÚI 2020 CH eng A - Abstrakt
Korčák, J. - Jajcay, Nikola - Tylš, F. - Viktorínová, M. - Androvičová, R. - Horáček, J. - Brunovský, M. - Páleníček, T.
Optimal Number of EEG Microstates in a Serotonergic Model of Psychosis.
Neuropsychobiology. Roč. 77, č. 3 (2018), s. 147-148. ISSN 0302-282X.
[IPEG 2018: Biennial IPEG Meeting /20./. 21.11.2018-25.11.2018, Zürich]
GA MŠk(CZ) LO1611
Institucionální podpora: RVO:67985807
Klíčová slova: Neurosciences * Neurology * Psychiatry * Psychology
Korčák, J.
Trvalý odkaz: http://hdl.handle.net/11104/0295591

0504217 - ÚI 2020 IE eng A - Abstrakt
Aziatskaya, G.A. - Lyukmanov, R. - Frolov, A. - Bobrov, P. - Fedotova, I.R. - Húsek, Dušan - Snášel, V. - Suponeva, N. - Piradov, M. - Poydasheva, A.
Electrophysiological brain activity during motor imagery enhanced by brain–computer interface in healthy volunteers and post-stroke patients.
Clinical Neurophysiology. Elsevier. Roč. 129, Suppl. 1 (2018), e140-e140. ISSN 1388-2457
Institucionální podpora: RVO:67985807
Klíčová slova: brain–computer interface * Monte Carlo modeling * foci of hemodynamic activity * near infrared spectrometry
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0295900

0505233 - ÚI 2020 RIV US eng A - Abstrakt
Maronga, B. - Raasch, S. - Groß, G. - Krč, Pavel - Resler, Jaroslav
Building-Resolving Large-Eddy Simulations for Entire Berlin (Germany) – First Results Using the High-Performance Urban Microscale Model PALM-4U (Invited Presentation).
ICUC 2018. Abstracts. New York: American Meteorological Society, 2018. 5D.1.
[ICUC 2018: International Conference on Urban Climate /10./ and Symposium on the Urban Environment /14./. 06.08.2018-10.08.2018, New York]
Institucionální podpora: RVO:67985807
Klíčová slova: urban climate * PALM-4U * large eddy simulation * urban heat island * air quality
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
Obor OECD: Meteorology and atmospheric sciences
https://ams.confex.com/ams/ICUC10/meetingapp.cgi/Paper/341655
Trvalý odkaz: http://hdl.handle.net/11104/0296720

0505240 - ÚI 2020 RIV US eng A - Abstrakt
Hefny Salim, M. - Schubert, S. - Schneider, Ch. - Maronga, B. - Resler, Jaroslav - Krč, Pavel - Kanani, F. - Sühring, M.
Parameterisation of Radiative Exchange in the Urban Microscale Model PALM-4U: How Much Detail Should We Include?
ICUC 2018. Abstracts. New York: American Meteorological Society, 2018. 5D.1, 13D.4.
[ICUC 2018: International Conference on Urban Climate /10./ and Symposium on the Urban Environment /14./. 06.08.2018-10.08.2018, New York]
Institucionální podpora: RVO:67985807
Klíčová slova: urban climate * urban canopy * PALM-4U * radiative transport * short wave radiation * long wave radiation * direct radiation * diffuse radiation * reflected radiation * surface energy balance
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
Obor OECD: Meteorology and atmospheric sciences
https://ams.confex.com/ams/ICUC10/meetingapp.cgi/Paper/340718
Trvalý odkaz: http://hdl.handle.net/11104/0296726

0477273 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Brabec, Marek - Eben, Kryštof - Pelikán, Emil - Krč, Pavel - Resler, Jaroslav - Juruš, Pavel
Statistical Modeling for Improvement of Numerical-Model-Based Solar Radiation Forecasts.
Proceedings of the Third International Afro-European Conference for Industrial Advancement - AECIA 2016. Cham: Springer, 2018 - (Abraham, A.; Haqiq, A.; Ella Hassanien, A.; Snášel, V.; Alimi, A.), s. 248-257. Advances in Intelligent Systems and Computing, 565. ISBN 978-3-319-60833-4. ISSN 2194-5357.
[AECIA 2016. International Afro-European Conference for Industrial Advancement /3./. Marrakesh (MA), 21.11.2016-26.11.2016]
Grant CEP: GA ČR GA13-34856S
Institucionální podpora: RVO:67985807
Klíčová slova: generalized additive model * numerical weather forecast model * global solar radiation * calibration * semiparametric modeling
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
https://link.springer.com/chapter/10.1007/978-3-319-60834-1_26
Trvalý odkaz: http://hdl.handle.net/11104/0273655

0489976 - ÚT 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Procházka, Pavel - Maturkanič, Dušan - Brabec, Marek
Measurement and Assessment of Turbine Rotor Speed Instabilities in Applying the BTT Method.
I2MTC 2018 - Proceedings. Houston: IEEE, 2018, s. 1320-1324. 2018 IEEE, CFP18IMT-ART. ISBN 978-1-5386-2222-3.
[2018 IEEE International Instrumentation and Measurement Technology Conference. Houston (US), 14.05.2018-17.05.2018]
AV ČR(CZ) StrategieAV21/3
Institucionální podpora: RVO:61388998 ; RVO:67985807
Klíčová slova: turbine rotor * rotating speed instability * non-contact vibration diagnostics * time-varying-coefficient model
Kód oboru RIV: JB - Senzory, čidla, měření a regulace; BB - Aplikovaná statistika, operační výzkum (UIVT-O)
Obor OECD: Electrical and electronic engineering; Statistics and probability (UIVT-O)
Trvalý odkaz: http://hdl.handle.net/11104/0285789

0490784 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Šíma, Jiří
Three Analog Neurons Are Turing Universal.
Theory and Practice of Natural Computing. Cham: Springer, 2018 - (Fagan, D.; Martín-Vide, C.; O'Neill, M.; Vega-Rodríguez, M.), s. 460-472. Lecture Notes in Computer Science, 11324. ISBN 978-3-030-04069-7. ISSN 0302-9743.
[TPNC 2018. International Conference on the Theory and Practice of Natural Computing /7./. Dublin (IE), 12.12.2018-14.12.2018]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: analog neural network * Turing machine * Chomsky hierarchy
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0284924

0490841 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Vidnerová, Petra - Neruda, Roman
Deep Networks with RBF Layers to Prevent Adversarial Examples.
Artificial Intelligence and Soft Computing. Cham: Springer, 2018 - (Rutkowski, L.; Scherer, R.; Korytkowski, M.; Pedrycz, W.; Tadeusiewicz, R.; Zurada, J.), s. 257-266. Lecture Notes in Artificial Intelligence, 10841. ISBN 978-3-319-91252-3. ISSN 0302-9743.
[ICAISC 2018. International Conference on Artificial Intelligence and Soft Computing /17./. Zakopane (PL), 03.06.2018-07.06.2018]
Grant CEP: GA ČR(CZ) GA18-23827S
GA MŠk(CZ) LM2015042
Institucionální podpora: RVO:67985807
Klíčová slova: Adversarial examples * RBF networks * Deep neural networks * Convolutional networks
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: http://hdl.handle.net/11104/0284980

Citace, recenze▾
Citace:
ZHAO, Y. - PEI, J.H. - CHEN, H. Multi-layer radial basis function neural network based on multi-scale kernel learning. APPLIED SOFT COMPUTING. ISSN 1568-4946, SEP 2019, vol. 82.

0490843 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Peštová, Barbora - Pešta, M.
Change Point in Panel Data with Small Fixed Panel Size: Ratio and Non-ratio Test Statistics.
Statistics and Simulation. Cham: Springer, 2018 - (Pilz, J.; Rasch, D.; Melas, V.; Moder, K.), s. 259-271. Springer Proceedings in Mathematics and Statistics, 231. ISBN 978-3-319-76034-6. ISSN 2194-1009.
[IWS 2015. International Workshop on Simulation /8./. Vienna (AT), 21.09.2015-25.09.2015]
Grant CEP: GA ČR(CZ) GBP402/12/G097
Institucionální podpora: RVO:67985807
Klíčová slova: Change point * Panel data * Change in mean * Hypothesis testing * Structural change * Ratio type statistics
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
Trvalý odkaz: http://hdl.handle.net/11104/0284981

0491225 - ÚI 2019 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ralaivaosaona, D. - Šileikis, Matas - Wagner, S.
Asymptotic Normality of Almost Local Functionals in Conditioned Galton-Watson Trees.
29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018). Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, 2018 - (Ward, M.; Fill, J.), č. článku 33. Leibniz International Proceedings in Informatics, 110. ISBN 978-395977078-1. ISSN 1868-8969.
[AofA 2018: International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms /29./. Uppsala (SE), 25.06.2018-29.06.2018]
Grant CEP: GA ČR GJ16-07822Y
Institucionální podpora: RVO:67985807
Klíčová slova: Galton-Watson trees * central limit theorem * additive functional
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=8926
Trvalý odkaz: http://hdl.handle.net/11104/0285264

0491981 - ÚI 2019 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Cintula, Petr - Lávička, Tomáš
Lindenbaum and Pair Extension Lemma in Infinitary Logics.
Logic, Language, Information and Computation. Berlin: Springer, 2018 - (Moss, L.; de Queiroz, R.; Martinez, M.), s. 130-144. Lecture Notes on Computer Science, 10944. ISBN 978-3-662-57668-7. ISSN 0302-9743.
[WoLLIC 2018. International Workshop on Logic, Language, Information and Computation /25./. Bogotá (CO), 24.07.2018-27.07.2018]
Grant CEP: GA ČR GA17-04630S; GA ČR(CZ) GC16-07954J
AV ČR(CZ) JSPS-16-08
Bilaterální spolupráce
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Lindenbaum lemma * Pair extension lemma * Infinitary logic * Infinitary deduction rule * Strong disjunction * Prime theory
Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (UTIA-B)
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Cintula, Petr
Trvalý odkaz: http://hdl.handle.net/11104/0285566

0492042 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Matonoha, Ctirad - Papáček, Š. - Kindermann, S.
Disc vs. Annulus: On the Bleaching Pattern Optimization for FRAP Experiments.
High Performance Computing in Science and Engineering - HPCSE 2017. Cham: Springer, 2018 - (Kozubek, T.; Čermák, M.; Tichý, P.; Blaheta, R.; Šístek, J.; Lukáš, D.; Jaroš, J.), s. 160-173. Lecture Notes in Computer Science, 11087. ISBN 978-3-319-97135-3. ISSN 0302-9743.
[HPCSE 2017: International Conference on High Performance Computing in Science and Engineering /3./. Karolinka (CZ), 22.05.2017-25.05.2017]
CENAKVA(CZ) CZ.1.05/2.1.00/01.0024; GA MŠk(CZ) LO1205; CENAKVA(CZ) CZ.1.05/2.1.00/19.0380
Institucionální podpora: RVO:67985807
Klíčová slova: Optimization * Parameter identification * FRAP Bleaching pattern * Initial boundary value problem * Sensitivity measure
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Matonoha, Ctirad
Trvalý odkaz: http://hdl.handle.net/11104/0285620