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

Publikace ASEP

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

Nalezeno záznamů: 26

0448703 - UIVT-O 2016 CZ cze B - Monografie kniha jako celek
Cintula, Petr - Noguera, Carles - Lávička, T.
Slabě implikativní logiky. Úvod do abstraktního studia výrokových logik.
Praha: Univerzita Karlova, Filozofická fakulta, 2015. 110 s. ISBN 978-80-7308-576–6
Zdroj financování: O - operační programy
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0250346

0456390 - UIVT-O 2016 RIV GB eng B - Monografie kniha jako celek
Cintula, Petr (ed.) - Fermüller, C. (ed.) - Noguera, Carles (ed.)
Handbook of Mathematical Fuzzy Logic - Vol. 3.
London: College Publications, 2015. 384 s. Studies in Logic - Mathematical Logic and Foundations, 58. ISBN 978-1-84890-193-3
Grant CEP: GA ČR(CZ) GF15-34650L
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * handbook * non-classical logic * mathematical logic * vagueness
Kód oboru RIV: BA - Obecná matematika
http://aleph.lib.cas.cz/F/?func=direct&doc_number=002008216&local_base=AV
Trvalý odkaz: http://hdl.handle.net/11104/0256924

Citace, recenze

Citace:
DE MOURA, J.P. - NETO, J.V.D. Fuzzy Controller in the Cargo Cortrol Wagons Dump. PROCEEDINGS OF THE 2016 IEEE CONFERENCE ON EVOLVING AND ADAPTIVE INTELLIGENT SYSTEMS (EAIS). ISSN 2330-4863, 2016, p. 10-16.
MA, L.V. - PARK, J. - NAM, J. - RYU, H. - KIM, J. A Fuzzy-Based Adaptive Streaming Algorithm for Reducing Entropy Rate of DASH Bitrate Fluctuation to Improve Mobile Quality of Service. ENTROPY. ISSN 1099-4300, SEP 2017, vol. 19, no. 9.

0501039 - UIVT-O 2020 GB eng B - Monografie kniha jako celek
Hájek, Petr - Pudlák, Pavel
Metamathematics of First-Order Arithmetic.
Cambridge: Cambridge University Press, 2017. 474 s. Perspectives in Logic. ISBN 978-1-107-16841-1
Institucionální podpora: RVO:67985807 ; RVO:67985840
Klíčová slova: Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (MU-W)
Obor OECD: Pure mathematics; Pure mathematics (MU-W)
Trvalý odkaz: http://hdl.handle.net/11104/0293053

0480065 - UIVT-O 2018 RIV CZ cze B - Monografie kniha jako celek
Čáp, P. - Koťátko, P. - Malý, Marek - Maxová, H. - Šulc, J. - Vízek, M. - Vondra, V. - Zindr, V.
Bronchiální hyperreaktivita a její souvislosti.
[Bronchial Hyperresponsiveness and its Aspects.]
Praha: Mladá fronta, 2017. 190 s. ISBN 978-80-204-4495-0
Institucionální podpora: RVO:67985807
Klíčová slova: bronchiální hyperreaktivita * astma * bronchoprovokační test * metacholin * epidemiologie
Kód oboru RIV: EC - Imunologie
Obor OECD: Immunology
Trvalý odkaz: http://hdl.handle.net/11104/0275981

0468980 - UIVT-O 2017 AT eng B - Monografie kniha jako celek
Strauch, O. - Porubský, Štefan
Distribution of Sequences: A Sampler (Electronic Revised Version December 8, 2016).
Wien: BOKU, 2016. 692 s. ISSN 1336-913X
Grant CEP: GA ČR(CZ) GAP201/12/2351
VEGA(SK) 2/0206/10
Institucionální podpora: RVO:67985807
Klíčová slova: distribution function * discrepancy * diaphony * dispersion * uniform distribution
Kód oboru RIV: BA - Obecná matematika
https://math.boku.ac.at/udt/
https://math.boku.ac.at/udt/books/MYBASISNew.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0266892

0478466 - UIVT-O 2018 CZ cze B - Monografie kniha jako celek
Řezanková, Hana
Analýza dat z dotazníkových šetření.
[Analysis of Data from Questionnaire Surveys.]
4. přepracované vydání. - Praha: Professional Publishing, 2017. 225 s. ISBN 978-80-906594-8-3
Institucionální podpora: RVO:67985807
Klíčová slova: analýza kategoriálních dat * dotazníková šetření * kontigenční tabulky * metody vícerozměrné analýzy
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Trvalý odkaz: http://hdl.handle.net/11104/0274579

Citace, recenze

Citace:
PECAKOVA, I. Analysis of Data from Questionnaire Surveys. STATISTIKA-STATISTICS AND ECONOMY JOURNAL. ISSN 0322-788X, 2018, vol. 98, no. 1, p. 88-89.

0458433 - UIVT-O 2017 RIV CZ eng B - Monografie kniha jako celek
Pekár, S. - Brabec, Marek
Modern Analysis of Biological Data. Generalized Linear Models in R.
Brno: Masarykova univerzita, 2016. 226 s. ISBN 978-80-210-8019-5
Institucionální podpora: RVO:67985807
Klíčová slova: GLM * statistical modeling * exponential class * regression for non normal data * iterative least squares
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
http://aleph.nkp.cz/F/?func=direct&doc_number=002785092&local_base=NKC
Trvalý odkaz: http://hdl.handle.net/11104/0258714

Citace, recenze

Citace:
RASKA, J. - STYS, P. - EXNEROVA, A. How variation in prey aposematic signals affects avoidance learning, generalization and memory of a salticid spider. ANIMAL BEHAVIOUR. ISSN 0003-3472, AUG 2017, vol. 130, p. 107-117.
HIRT, K. - RUCH, J. - SCHNEIDER, J.M. Strategic male mating behaviour in Argiope lobata. ANIMAL BEHAVIOUR. ISSN 0003-3472, FEB 2017, vol. 124, p. 27-34.
CEPELKA, L. - HEROLDOVA, M. - HOMOLKA, M. - PURCHART, L. - SUCHOMEL, J. DIVERSITY AND ABUNDANCE OF SMALL MAMMALS IN FOREST PLANTATIONS IN AUTUMN 2015. REPORTS OF FORESTRY RESEARCH-ZPRAVY LESNICKEHO VYZKUMU. ISSN 0322-9688, 2017, vol. 62, no. 3, p. 189-196.
MICHALKO, R. - KOSULIC, O. - PUNG, T. - VICHITBANDHA, P. Behavioral predictability in a lynx spider is interactively influenced by mean behavior, prey density, and an insecticide. CURRENT ZOOLOGY. ISSN 1674-5507, DEC 2018, vol. 64, no. 6, p. 713-720.
MICHALKO, R. - KULA, E. - KOSULIC, O. Liming alters body size distribution in a community of epigeic spiders in birch forest (Betula pendula Roth). ANNALS OF FOREST SCIENCE. ISSN 1286-4560, NOV 5 2018, vol. 75, no. 4.
MICHALKO, R. - REZUCHA, R. Top predator's aggressiveness and mesopredator's risk-aversion additively determine probability of predation. BEHAVIORAL ECOLOGY AND SOCIOBIOLOGY. ISSN 0340-5443, JUL 2018, vol. 72, no. 7.
PETCHARAD, B. - KOSULIC, O. - MICHALKO, R. Insecticides alter prey choice of potential biocontrol agent Philodromus cespitum (Araneae, Philodromidae). CHEMOSPHERE. ISSN 0045-6535, JUL 2018, vol. 202, p. 491-497.
HEROLDOVA, M. - MICHALKO, R. - SUCHOMEL, J. - ZEJDA, J. Influence of no-tillage versus tillage system on common vole (Microtus arvalis) population density. PEST MANAGEMENT SCIENCE. ISSN 1526-498X, JUN 2018, vol. 74, no. 6, p. 1346-1350.
KOSULIC, O. - VICHITBANDHA, P. - PUNG, T. - MICHALKO, R. Lethal and sublethal effects of Embelia ribes and two commercial pesticides on a generalist predator. JOURNAL OF APPLIED ENTOMOLOGY. ISSN 0931-2048, MAY 2018, vol. 142, no. 4, p. 428-436.
KUBICEK, J. - SPINLEROVA, Z. - MICHALKO, R. - VRSKA, T. - MATULA, R. Temporal Dynamics and size effects of Mistletoe (Loranthus europaeus Jacq.) Infection in an Oak Forest. AUSTRIAN JOURNAL OF FOREST SCIENCE. ISSN 0379-5292, APR-JUN 2018, vol. 135, no. 2, p. 119-135.
CHOWDHURY, S. - HESSELBERG, T. - BOHM, M. - ISLAM, M.R. - AICH, U. Butterfly diversity in a tropical urban habitat (Lepidoptera: Papilionoidea). ORIENTAL INSECTS. ISSN 0030-5316, 2017, vol. 51, no. 4, p. 417-430.

0510546 - UIVT-O 2020 RIV CZ cze B - Monografie kniha jako celek
Brabec, Marek - Pekár, S.
Moderní analýza biologických dat 3. Nelineární modely v prostředí R.
[Modern analysis of biological data 3. Nonlinear models in R.]
Brno: Masarykova univerzita, 2019. 218 s. ISBN 978-80-210-9277-8
Institucionální podpora: RVO:67985807
Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
Obor OECD: Statistics and probability
Trvalý odkaz: http://hdl.handle.net/11104/0300994

0457466 - UIVT-O 2016 RIV CH eng M - Část monografie knihy
Vetterlein, T. - Petrík, Milan
The Semantics of Fuzzy Logics: Two Approaches to Finite Tomonoids.
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory. Cham: Springer, 2016 - (Saminger-Platz, S.; Mesiar, R.), s. 83-108. Studies in Fuzziness and Soft Computing, 336. ISBN 978-3-319-28807-9
Grant CEP: GA ČR GJ15-07724Y
Klíčová slova: triangular norm * direction cone * monomial pre-order * finite totally ordered monoids * Rees coextension of totally ordered monoids * tomonoid partition
Kód oboru RIV: BA - Obecná matematika
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/0257863

0442769 - UIVT-O 2020 eng M - Část monografie knihy
Kůrková, Věra
Inverse problems in learning from data.
Recent Advances in Dynamics and Control of Neural Networks. Cambridge: Cambridge Scientific Publishers, 2019 - (Kaslik, E.; Sivasundaram, S.), in print 2017. Mathematical Problems in Engineering Aerospace and Sciences, 6. ISBN 978-1-908106-16-2
Institucionální podpora: RVO:67985807
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/0245612

0442771 - UIVT-O 2016 RIV DE eng M - Část monografie knihy
Nedoma, Jiří
Mathematical Simulation of Earthquakes in Regions under Typhoons: Possible Methods for the Risk Prediction: Mathematical Models, Computational Methods and Algorithms.
Natural Disasters. Typhoons and Landslides - Risk Prediction, Crisis Management and Environmental Impacts. Hauppauge: Nova Science Publishers, 2015 - (Linwood, K.), s. 21-97. Natural Disaster Research, Prediction and Mitigation. ISBN 978-1-63463-309-3
Institucionální podpora: RVO:67985807
Klíčová slova: earthquakes * tsunamiearthquakes * typhoons * tsunamis * landslides * mudslides * mathematical models * varionational formulations of corresponding model problems * computational methods and algorithms
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0245613

0432930 - UIVT-O 2015 RIV CH eng M - Část monografie knihy
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The Quest for the Basic Fuzzy Logic.
Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 245-290. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
Grant CEP: GA ČR GAP202/10/1826; GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
MICINN project TASSAT(XE) TIN2010-20967-C04-01
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * basic fuzzy logic * T-norm * core fuzzy logics * core semilinear logics * non-associative substructural logics * standard completeness
Kód oboru RIV: BA - Obecná matematika
Cintula, Petr
Trvalý odkaz: http://hdl.handle.net/11104/0237239

Citace, recenze

Citace:
YANG, E. Weakening-free, non-associative fuzzy logics: Micanorm-based logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, OCT 1 2015, vol. 276, p. 43-58.
CONIGLIO, M.E. - ESTEVA, F. - GODO, L. Logics of formal inconsistency arising from systems of fuzzy logic. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, DEC 2014, vol. 22, no. 6, p. 880-904.
YANG, E. Involutive basic substructural core fuzzy logics: Involutive mianorm-based logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, AUG 1 2017, vol. 320, p. 1-16.
YANG, E. Basic substructural core fuzzy logics and their extensions: Mianorm-based logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, OCT 15 2016, vol. 301, p. 1-18.
YANG, E. Set-Theoretic Kripke-Style Semantics for Monoidal T-Norm (Based) Logics. FUZZY SYSTEMS AND DATA MINING II. ISSN 0922-6389, 2016, vol. 293, p. 131-137.
GODO, L. - GOTTWALD, S. Fuzzy sets and formal logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 15 2015, vol. 281, SI, p. 44-60.
YANG, E. A non-associative generalization of continuous t-norm-based logics. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS. ISSN 1064-1246, 2017, vol. 33, no. 6, p. 3743-3752.

0432931 - UIVT-O 2015 RIV CH eng M - Část monografie knihy
Běhounek, Libor - Haniková, Zuzana
Set Theory and Arithmetic in Fuzzy Logic.
Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 63-89. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
Grant CEP: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy set theory * fuzzy logic * naive comprehension * non-classical arithmetic
Kód oboru RIV: BA - Obecná matematika
Běhounek, Libor
Trvalý odkaz: http://hdl.handle.net/11104/0237238

Citace, recenze

Citace:
ALTAY, A. - TOY, A.O. - EKINCI, Y. Fuzzy heuristic solution approaches for the warm/cold lot sizing problem. APPLIED SOFT COMPUTING. ISSN 1568-4946, NOV 2016, vol. 48, p. 691-702.
GOTTWALD, S. Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences. ON LOGICAL, ALGEBRAIC, AND PROBABILISTIC ASPECTS OF FUZZY SET THEORY. ISSN 1434-9922, 2016, vol. 336, p. 1-11.
DANKOVA, M. A graded notion of functionality. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, MAY 15 2018, vol. 339, p. 134-151.

0432937 - UIVT-O 2015 RIV CH eng M - Část monografie knihy
Haniková, Zuzana
Petr Hájek: A Scientific Biography.
Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 21-38. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy set theory * fuzzy logic * naive comprehension * non-classical arithmetic
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0237240

Citace, recenze

Citace:
SVEJDAR, V. MODERN CZECH LOGIC: VOPENKA AND HAJEK, HISTORY AND BACKGROUND. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. ISSN 2055-3706, SEP 2018, vol. 5, no. 6, SI, p. 1261-1271.

0488936 - UIVT-O 2019 RIV CH eng M - Část monografie knihy
Albuquerque, H. - Font, J.M. - Jansana, R. - Moraschini, Tommaso
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic.
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Cham: Springer, 2018 - (Czelakowski, J.), s. 53-79. Outstanding Contributions to Logic, 16. ISBN 978-3-319-74771-2
Institucionální podpora: RVO:67985807
Klíčová slova: Abstract algebraic logic * Leibniz hierarchy * Frege hierarchy * truth-equational logics * assertional logics * Fregean logics * full generalized models * unital matrices
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
https://link.springer.com/book/10.1007/978-3-319-74772-9
Trvalý odkaz: http://hdl.handle.net/11104/0283447

0502476 - UIVT-O 2020 RIV US eng M - Část monografie knihy
Kalina, Jan
Mental Health Clinical Decision Support Exploiting Big Data.
Computational Methods and Algorithms for Medicine and Optimized Clinical Practice. Hershey: IGI Global, 2019 - (Chui, K.; Lytras, M.), s. 160-184. ISBN 978-1-5225-8244-1
Grant CEP: GA ČR(CZ) GA19-05704S
Institucionální podpora: RVO:67985807
Klíčová slova: big data * decision support * machine learning * supervised learning * mental health
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/0294415

0506939 - UTIA-B 2020 CH eng M - Část monografie knihy
Broniatowski, M. - Jurečková, Jana - Kalina, Jan
Likelihood Ratio Testing under Measurement Errors.
New Developments in Statistical Information Theory Based on Entropy and Divergence Measures. Basel: MDPI, 2019 - (Pardo, L.), s. 117-125. ISBN 978-3-03897-936-4
GA ČR(CZ) GA18-01137S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: measurement errors * robust testing * information theory * robust optimization * two-sample test
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace; BA - Obecná matematika (UIVT-O)
Obor OECD: Computer hardware and architecture; Pure mathematics (UIVT-O)
http://library.utia.cas.cz/separaty/2019/SI/jureckova-0506939.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0298067

0478661 - UIVT-O 2019 RIV CH eng M - Část monografie knihy
Esteva, F. - Godo, L. - Vidal, Amanda
A Modal Account of Preference in a Fuzzy Setting.
Soft Computing Based Optimization and Decision Models. Cham: Springer, 2018 - (Pelta, D.; Corona, C.), s. 241-260. Studies in Fuzziness and Soft Computing, 360. ISBN 978-3-319-64285-7
Grant CEP: GA ČR(CZ) GF15-34650L
Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807
Klíčová slova: preference structures * fuzzy preorder * strict fuzzy order * preference two-tiered modal logic
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://aleph.lib.cas.cz/F/?func=direct&doc_number=002219853&local_base=AV
Godo, L.
Trvalý odkaz: http://hdl.handle.net/11104/0274739

0446024 - UIVT-O 2016 RIV SK slo M - Část monografie knihy
Porubský, Štefan
Quasimodo v ríši grúp.
[Quasimodo in the Kingdom of Groups.]
Ab igne ignem. K 75. narodeninám Bélu Laszlóa. Nitra: Fakulta stredoeurópskych študií UKF, 2015 - (Komzsík, A.; Szabó, T.), s. 61-72. ISBN 978-80-558-0792-8
Institucionální podpora: RVO:67985807
Klíčová slova: group theory * change ringing
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0247999

0470013 - UIVT-O 2018 RIV CH eng M - Část monografie knihy
van Leeuwen, J. - Wiedermann, Jiří
Knowledge, Representation and the Dynamics of Computation.
Representation and Reality in Humans, Other Living Organisms and Intelligent Machines. Cham: Springer, 2017 - (Dodig-Crnkovic, G.; Giovagnoli, R.), s. 69-89. Studies in Applied Philosophy, Epistemology and Rational Ethics, 28. ISBN 978-3-319-43782-8
GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: computation * knowledge * metaspaces * knowledge generation * knowledge recognition
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)
van Leeuwen, J.
Trvalý odkaz: http://hdl.handle.net/11104/0267755

Citace, recenze

Citace:
DODIG-CRNKOVIC, G. Cognition as Embodied Morphological Computation. PHILOSOPHY AND THEORY OF ARTIFICIAL INTELLIGENCE 2017. ISSN 2192-6255, 2018, vol. 44, p. 19-23.

0471990 - UIVT-O 2017 RIV GB eng M - Část monografie knihy
Bílková, Marta
Uniform Interpolation in Provability Logics.
Liber Amicorum Alberti. A Tribute to Albert Visser. London: College Publications, 2016 - (Eijck van, J.; Iemhoff, R.; Joosten, J.), s. 57-90. Tributes, 30. ISBN 978-1-84890-204-6
Grant CEP: GA ČR GAP202/11/1632
Institucionální podpora: RVO:67985807
Klíčová slova: uniform interpolation * provability logics * analytical calculi * terminating calculi
Kód oboru RIV: BA - Obecná matematika
Trvalý odkaz: http://hdl.handle.net/11104/0269350

0474592 - UIVT-O 2018 RIV CH eng M - Část monografie knihy
Žák, M. - Zahradníček, P. - Skalák, P. - Halenka, T. - Aleš, D. - Fuka, V. - Kazmuková, M. - Zemánek, O. - Flegl, J. - Kiesel, K. - Jareš, R. - Resler, Jaroslav - Huszár, P.
Pilot Actions in European Cities – Prague.
Counteracting Urban Heat Island Effects in a Global Climate Change Scenario. Cham: Springer, 2016 - (Musco, F.), s. 373-400. ISBN 978-3-319-10424-9
Institucionální podpora: RVO:67985807
Klíčová slova: urban heat island of Prague * potential equivalent temperature * mitigation of urban heat island * effects
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
Obor OECD: Meteorology and atmospheric sciences
Žák, M.
Trvalý odkaz: http://hdl.handle.net/11104/0271610

0505161 - UIVT-O 2020 eng M - Část monografie knihy
Sedlár, Igor - Majer, Ondrej
Modelling sources of inconsistent information in paraconsistent modal logic.
New Essays on Belnap-Dunn Logic. Springer, 2019, in print. Synthese Library Series
Grant CEP: GA ČR GBP202/12/G061; GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985807 ; RVO:67985955
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Trvalý odkaz: http://hdl.handle.net/11104/0296660

0495556 - UIVT-O 2019 RIV CH eng M - Část monografie knihy
Fermüller, C. - Majer, Ondrej
On Semantic Games for Łukasiewicz Logic.
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. Cham: Springer, 2018 - (van Ditmarsch, H.; Sandu, G.), s. 263-278. Outstanding Contributions to Logic, 12. ISBN 978-3-319-62863-9
Grant CEP: GA ČR GAP402/12/1309
Austrian Science Fund(AT) P25417-G15
Institucionální podpora: RVO:67985807
Klíčová slova: Game-theoretic semantics * Dialogue games * Many-valued logics
Kód oboru RIV: AH - Ekonomie
Obor OECD: Economic Theory
https://link.springer.com/chapter/10.1007%2F978-3-319-62864-6_10
Fermüller, C.
Trvalý odkaz: http://hdl.handle.net/11104/0288512

0482086 - UIVT-O 2018 CZ cze M - Část monografie knihy
Pelikán, Emil - Juruš, Pavel - Krč, Pavel - Hanslian, David - Sedlák, Pavel
Meteorologie a klimatologie pro efektivní využití obnovitelných zdrojů energie.
Výzkum pro energetiku: vybraná témata. 1. Praha: Středisko společných činností AV ČR, v. v. i., 2017, s. 2-19. ISBN 978-80-200-2761-0
AV ČR(CZ) StrategieAV21/3
StrategieAV
Institucionální podpora: RVO:67985807 ; RVO:68378289
http://www.academia.cz/edice/kniha/vyzkum-pro-energetiku-vybrana-temata
Trvalý odkaz: http://hdl.handle.net/11104/0277471

0507669 - UIVT-O 2020 CH eng M - Část monografie knihy
Alexandrov, A.V. - Lippi, V. - Mergner, T. - Frolov, A. - Hettich, G. - Húsek, Dušan
Human-Inspired Eigenmovement Concept Provides Coupling-Free Sensorimotor Control in Humanoid Robot.
Neuromechanics and Control of Physical Behavior: from Experimental and Computational Formulations to Bio-inspired Technologies. Lausanne: Frontiers, 2019 - (Sartori, M.; Valero-Cuevas, F.; Schouten, A.; Tresch, M.; Nakamura, Y.; Sreenivasa, M.), s. 208-220. Frontiers Research Topics. ISBN 978-2-88945-946-9
Institucionální podpora: RVO:67985807
Klíčová slova: human sensorimotor system * neuromechanics * biorobotics * motor control * eigenmovements
Kód oboru RIV: JD - Využití počítačů, robotika a její aplikace
Obor OECD: Robotics and automatic control
https://www.frontiersin.org/research-topics/4698/neuromechanics-and-control-of-physical-behavior-from-experimental-and-computational-formulations-to#overview
Mergner, T.
Trvalý odkaz: http://hdl.handle.net/11104/0298655