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ů: 190

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

0492044 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Papáček, Š. - Matonoha, Ctirad - Petera, K.
Modeling and Simulation of Microalgae Growth in a Couette-Taylor Bioreactor.
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. 174-187. 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: Microalgae * Mathematical modeling * Photosynthesis * CFD * Couette-Taylor bioreactor * Flashing light enhancement
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Matonoha, Ctirad
Trvalý odkaz: http://hdl.handle.net/11104/0285622

0492065 - ÚI 2019 CA eng C - Konferenční příspěvek (zahraniční konf.)
Krčál, Marek - Švec, O. - Jašek, O. - Bálek, M.
Deep Convolutional Malware Classifiers Can Learn from Raw Executables and Labels Only.
ICLR 2018 Workshop Track. Vancouver, 2018.
[ICLR 2018: International Conference on Learning Representations /6./. Vancouver (CA), 30.04.2018-03.05.2018]
Institucionální podpora: RVO:67985807
Klíčová slova: malware detection * convolutional networks * end-to-end 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://openreview.net/forum?id=HkHrmM1PM
Trvalý odkaz: http://hdl.handle.net/11104/0285636

Citace, recenze▾
Citace:
VINAYAKUMAR, R. - SOMAN, K.P. DeepMalNet: Evaluating shallow and deep networks for static PE malware detection. ICT EXPRESS. ISSN 2405-9595, DEC 2018, vol. 4, no. 4, p. 255-258.
GO, W. - LEE, D. Toward Trustworthy Deep Learning in Security. PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18). 2018, p. 2219-2221.

0492190 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Gergelits, Tomáš - Hnětynková, I. - Kubínová, Marie
Relating Computed and Exact Entities in Methods Based on Lanczos Tridiagonalization.
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. 73-87. 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]
GA ČR(CZ) GC17-04150J
Institucionální podpora: RVO:67985807
Klíčová slova: Krylov subspace * CGL * Finite-precision computations * MINRES * Loss of orthogonality * Delay of convergence * Lanczos vectors
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Applied mathematics
Kubínová, Marie
Trvalý odkaz: http://hdl.handle.net/11104/0285734

0493293 - ÚI 2019 RIV IE eng C - Konferenční příspěvek (zahraniční konf.)
Šabata, T. - Pulc, Petr - Holeňa, Martin
Semi-supervised and Active Learning in Video Scene Classification from Statistical Features.
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. 24-35
[ECML PKDD 2018: The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases. Dublin (IE), 10.09.2018-14.09.2018]
Grant CEP: GA ČR(CZ) GA18-18080S
Institucionální podpora: RVO:67985807
Klíčová slova: video data * scene classification * semi-supervised learning * active learning * colour statistics * feedforward neural 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)
ttps://www.ies.uni-kassel.de/p/ial2018/ialatecml2018.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0286680

0493805 - ÚI 2019 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kalina, Jan - Pitra, Zbyněk
How to down-weight observations in robust regression: A metalearning study.
Mathematical Methods in Economics 2018. Conference Proceedings. Prague: MatfyzPress, 2018 - (Váchová, L.; Kratochvíl, V.), s. 204-209. ISBN 978-80-7378-371-6.
[MME 2018. International Conference Mathematical Methods in Economics /36./. Jindřichův Hradec (CZ), 12.09.2018-14.09.2018]
Grant CEP: GA ČR GA17-07384S; GA ČR GA17-01251S
Institucionální podpora: RVO:67985807
Klíčová slova: metalearning * robust statistics * linear regression * outliers
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
Trvalý odkaz: http://hdl.handle.net/11104/0287108

0493825 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kůrková, Věra
Sparsity and Complexity of Networks Computing Highly-Varying Functions.
Artificial Neural Networks and Machine Learning – ICANN 2018. Proceedings, Part III. Cham: Springer, 2018 - (Kůrková, V.; Manolopoulos, Y.; Hammer, B.; Iliadis, L.; Maglogiannis, I.), s. 534-543. Lecture Notes in Computer Science, 11141. ISBN 978-3-030-01423-0. ISSN 0302-9743.
[ICANN 2018. International Conference on Artificial Neural Networks /27./. Rhodes (GR), 04.10.2018-07.10.2018]
Grant CEP: GA ČR(CZ) GA18-23827S
Institucionální podpora: RVO:67985807
Klíčová slova: Shallow and deep networks * Model complexity * Sparsity * Highly-varying functions * Covering numbers * Dictionaries of computational units * Perceptrons
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.springer.com/us/book/9783030014230
Kůrková, Věra
Trvalý odkaz: http://hdl.handle.net/11104/0287121