Help

Institute of Computer Science of the CAS, v. v. i.

ASEP Publications

Select all / Display all years / Unmark

Select all / Display all / Unmark

Records found: 27

0478466 - ÚI 2018 CZ cze B - Monograph 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
Institutional Support: RVO:67985807
Keywords: analýza kategoriálních dat * dotazníková šetření * kontigenční tabulky * metody vícerozměrné analýzy
Subject RIV: BB - Applied Statistics, Operational Research
Permanent link: http://hdl.handle.net/11104/0274579

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

0480065 - ÚI 2018 RIV CZ cze B - Monograph 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
Institutional Support: RVO:67985807
Keywords: bronchiální hyperreaktivita * astma * bronchoprovokační test * metacholin * epidemiologie
Subject RIV: EC - Immunology
Obor OECD: Immunology
Permanent link: http://hdl.handle.net/11104/0275981

0501039 - ÚI 2020 GB eng B - Monograph 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
Institutional Support: RVO:67985807 ; RVO:67985840
Keywords: Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
Subject RIV: BA - General Mathematics; BA - General Mathematics
Obor OECD: Pure mathematics; Pure mathematics (MU-W)
Permanent link: http://hdl.handle.net/11104/0293053

Citation, Review▾
Citation:
WALSH, S. THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. ISSN 2055-3706, NOV 2017, vol. 4, no. 10, SI, p. 3467-3485.
HIRSCHFELDT, D.R. - LANGE, K. - SHORE, R.A. Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem. MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0065-9266, SEP 2017, vol. 249, no. 1187, p. 1-+.
CARL, M. - D'AQUINO, P. - KUHLMANN, S. On the value group of a model of Peano Arithmetic. FORUM MATHEMATICUM. ISSN 0933-7741, JUL 2017, vol. 29, no. 4, p. 951-957.
RIN, B.G. - WALSH, S. REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG'S 1985 CONSTRUCTION. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, DEC 2016, vol. 9, no. 4, p. 752-809.
STEILA, S. - YOKOYAMA, K. Reverse mathematical bounds for the Termination Theorem. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 2016, vol. 167, no. 12, p. 1213-1241.
KREUZER, A.P. - YOKOYAMA, K. On principles between Sigma(1)- and Sigma(2)-induction, and monotone enumerations. JOURNAL OF MATHEMATICAL LOGIC. ISSN 0219-0613, JUN 2016, vol. 16, no. 1.
WALSH, S. THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, MAR 2016, vol. 22, no. 1, p. 105-120.
DORAIS, F.G. - HIRST, J.L. - SHAFER, P. COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF Sigma(0)(2) INDUCTION. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 2015, vol. 80, no. 4, p. 1211-1235.
BELANGER, D.R. WKL0 and induction principles in model theory. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JUL-AUG 2015, vol. 166, no. 7-8, p. 767-799.
AKAMA, Y. Realizability interpretation of PA by iterated limiting PCA. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. ISSN 0960-1295, DEC 2014, vol. 24, no. 6.
WALSH, S. Empiricism, probability, and knowledge of arithmetic: A preliminary defense. JOURNAL OF APPLIED LOGIC. ISSN 1570-8683, SEP 2014, vol. 12, no. 3, SI, p. 319-348.
WALSH, S. LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, MAR 2014, vol. 7, no. 1, p. 84-119.
DEAN, W. - KUROKAWA, H. The Paradox of the Knower revisited. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JAN 2014, vol. 165, no. 1, SI, p. 199-224.
ODINTSOV, S.P. - SPERANSKI, S.O. Computability Issues for Adaptive Logics in Multi-Consequence Standard Format. STUDIA LOGICA. ISSN 0039-3215, DEC 2013, vol. 101, no. 6, p. 1237-1262.
CONIDIS, C.J. - SLAMAN, T.A. RANDOM REALS, THE RAINBOW RAMSEY THEOREM, AND ARITHMETIC CONSERVATION. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2013, vol. 78, no. 1, p. 195-206.
JERABEK, E. - KOLODZIEJCZYK, L.A. Real closures of models of weak arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, FEB 2013, vol. 52, no. 1-2, p. 143-157.
WALSH, S. Comparing Peano arithmetic, Basic Law V, and Hume's Principle. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, NOV 2012, vol. 163, no. 11, SI, p. 1679-1709.
KREUZER, A.P. - KOHLENBACH, U. TERM EXTRACTION AND RAMSEY'S THEOREM FOR PAIRS. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2012, vol. 77, no. 3, p. 853-895.
CORDUAN, J.R. - DORAIS, F.G. On the Indecomposability of omega(n). NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2012, vol. 53, no. 3, p. 373-395.
KREUZER, A.P. Primitive Recursion and the Chain Antichain Principle. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2012, vol. 53, no. 2, p. 245-265.
CHONG, C.T. - LEMPP, S. - YANG, Y. ON THE ROLE OF THE COLLECTION PRINCIPLE FOR Sigma(0)(2)-FORMULAS IN SECOND-ORDER REVERSE MATHEMATICS. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0002-9939, MAR 2010, vol. 138, no. 3, p. 1093-1100.
MALY, J. - MULLER, M. A remark on pseudo proof systems and hard instances of the satisfiability problem. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, DEC 2018, vol. 64, no. 6, p. 418-428.
PELUPESSY, F. Reverse mathematics of the finite downwards closed subsets of Nk ordered by inclusion and adjacent Ramsey for fixed dimension. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, JUL 2018, vol. 64, no. 3, p. 178-182.
KARIMI, A. - SALEHI, S. DIAGONAL ARGUMENTS AND FIXED POINTS. BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY. ISSN 1735-8515, OCT 2017, vol. 43, no. 5, p. 1073-1088.
FRITTAION, E. - STEILA, S. - YOKOYAMA, K. The Strength of the SCT Criterion. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2017). ISSN 0302-9743, 2017, vol. 10185, p. 259-272.
ADAMS, R. - LUO, Z.H. A pluralist approach to the formalisation of mathematics. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. ISSN 0960-1295, AUG 2011, vol. 21, no. 4, SI, p. 913-942.
CARLUCCI, L. - DEHORNOY, P. - WEIERMANN, A. Unprovability results involving braids. PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY. ISSN 0024-6115, JAN 2011, vol. 102, 1, p. 159-192.
NICOLAI, C. - PIAZZA, M. The Implicit Commitment of Arithmetical Theories and Its Semantic Core. ERKENNTNIS. ISSN 0165-0106, AUG 2019, vol. 84, no. 4, p. 913-937.
SALEHI, S. - SERAJI, P. On constructivity and the Rosser property: a closer look at some Godelean proofs. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, OCT 2018, vol. 169, no. 10, p. 971-980.
DEAN, W. STRICT FINITISM, FEASIBILITY, AND THE SORITES. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, JUN 2018, vol. 11, no. 2, p. 295-346.
NICOLAI, C. - ROSSI, L. Principles for Object-Linguistic Consequence: from Logical to Irreflexive. JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, JUN 2018, vol. 47, no. 3, p. 549-577.
BIENVENU, L. - PATEY, L. - SHAFER, P. On the logical strengths of partial solutions to mathematical problems. TRANSACTIONS OF THE LONDON MATHEMATICAL SOCIETY. ISSN 2052-4986, DEC 2017, vol. 4, no. 1, p. 30-71.
WCISLO, B. - LELYK, M. NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, SEP 2017, vol. 10, no. 3, p. 455-480.
HENK, P. - VISSER, A. Interpretability suprema in Peano Arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, AUG 2017, vol. 56, no. 5-6, p. 555-584.
NICOLAI, C. EQUIVALENCES FOR TRUTH PREDICATES. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, JUN 2017, vol. 10, no. 2, p. 322-356.
DEAN, W. - WALSH, S. THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, JUN 2017, vol. 10, no. 2, p. 357-396.
SHAFER, P. Honest elementary degrees and degrees of relative provability without the cupping property. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAY 2017, vol. 168, no. 5, p. 1017-1031.
FISCHER, B. Modal Justification via Theories. MODAL JUSTIFICATION VIA THEORIES. ISSN 0166-6991, 2017, vol. 380, p. 1-135.
HORSTEN, L. - LEIGH, G.E. Truth is Simple. MIND. ISSN 0026-4423, JAN 2017, vol. 126, no. 501, p. 191-228.
LEIGH, G.E. REFLECTING ON TRUTH. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. ISSN 2055-3706, OCT 2016, vol. 3, no. 4, SI, p. 557-593.
BELLOTTI, L. VON NEUMANN'S CONSISTENCY PROOF LUCA BELLOTTI. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, SEP 2016, vol. 9, no. 3, p. 429-455.
PRUSS, A.R. Possibility is not consistency. PHILOSOPHICAL STUDIES. ISSN 0031-8116, SEP 2015, vol. 172, no. 9, p. 2341-2348.
PAKHOMOV, F.N. On elementary theories of ordinal notation systems based on reflection principles. PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS. ISSN 0081-5438, MAY 2015, vol. 289, no. 1, p. 194-212.
MADORE, D.A. - ORGOGOZO, F. Computability of etale cohomology of module l. ALGEBRA & NUMBER THEORY. ISSN 1937-0652, 2015, vol. 9, no. 7, p. 1647-1739.
MEADOWS, T. FIXED POINTS FOR CONSEQUENCE RELATIONS. LOGIQUE ET ANALYSE. ISSN 0024-5836, SEP 2014, no. 227, SI, p. 333-357.
DEAN, W. Models and Computability. PHILOSOPHIA MATHEMATICA. ISSN 0031-8019, JUN 2014, vol. 22, no. 2, p. 143-166.
CIESLINSKI, C. - URBANIAK, R. Godelizing the Yablo Sequence. JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, OCT 2013, vol. 42, no. 5, p. 679-695.
SALEHI, S. Herbrand consistency of some finite fragments of bounded arithmetical theories. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2013, vol. 52, no. 3-4, p. 317-333.
SALEHI, S. HERBRAND CONSISTENCY OF SOME ARITHMETICAL THEORIES. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2012, vol. 77, no. 3, p. 807-827.
SALEHI, S. Separating bounded arithmetical theories by Herbrand consistency. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, JUN 2012, vol. 22, no. 3, p. 545-560.
HETZL, S. The Computational Content of Arithmetical Proofs. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2012, vol. 53, no. 3, p. 289-296.
YAMAGATA, Y. BOUNDED ARITHMETIC IN FREE LOGIC. LOGICAL METHODS IN COMPUTER SCIENCE. ISSN 1860-5974, 2012, vol. 8, no. 3.
ARANA, A. INFINITY OF PRIME NUMBERS: A CASE STUDY OF THE PURETY OF METHODS Introductions. ETUDES PHILOSOPHIQUES. ISSN 0014-2166, APR 2011, no. 2, p. 193-+.
HALIMI, B. The Versatility of Universality in Principia Mathematica. HISTORY AND PHILOSOPHY OF LOGIC. ISSN 0144-5340, 2011, vol. 32, no. 3, p. 241-264.
SANDERS, S. Relative arithmetic. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, DEC 2010, vol. 56, no. 6, p. 564-572.
SANDERS, S. More infinity for a better finitism. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, SEP 2010, vol. 161, no. 12, p. 1525-1540.
SHORE, R.A. REVERSE MATHEMATICS: THE PLAYGROUND OF LOGIC. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, SEP 2010, vol. 16, no. 3, p. 378-402.
SCHIEMER, G. - GRATZL, N. The Epsilon-Reconstruction of Theories and Scientific Structuralism. ERKENNTNIS. ISSN 0165-0106, APR 2016, vol. 81, no. 2, p. 407-432.
DEAN, W. Arithmetical Reflection and the Provability of Soundness. PHILOSOPHIA MATHEMATICA. ISSN 0031-8019, FEB 2015, vol. 23, no. 1, p. 31-64.
CONIDIS, C.J. Infinite dimensional proper subspaces of computable vector spaces. JOURNAL OF ALGEBRA. ISSN 0021-8693, MAY 15 2014, vol. 406, p. 346-375.

0510546 - ÚI 2020 RIV CZ cze B - Monograph 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
Institutional Support: RVO:67985807
Keywords: statistické modelování * parametrický nelineární model * semiparametirický model * GAM * penalizovaná regrese * statistical modeling * parametric nonlinear model * semiparametric model * GAM * penalized regression
Subject RIV: BB - Applied Statistics, Operational Research
Obor OECD: Statistics and probability
Permanent link: http://hdl.handle.net/11104/0300994

0458433 - ÚI 2017 RIV CZ eng B - Monograph 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
Institutional Support: RVO:67985807
Keywords: GLM * statistical modeling * exponential class * regression for non normal data * iterative least squares
Subject RIV: BB - Applied Statistics, Operational Research
http://aleph.nkp.cz/F/?func=direct&doc_number=002785092&local_base=NKC
Permanent link: http://hdl.handle.net/11104/0258714

Citation, Review▾
Citation:
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.

0456390 - ÚI 2016 RIV GB eng B - Monograph 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
R&D Projects: GA ČR(CZ) GF15-34650L
Institutional Support: RVO:67985807 ; RVO:67985556
Keywords: mathematical fuzzy logic * handbook * non-classical logic * mathematical logic * vagueness
Subject RIV: BA - General Mathematics
http://aleph.lib.cas.cz/F/?func=direct&doc_number=002008216&local_base=AV
Permanent link: http://hdl.handle.net/11104/0256924

Citation, Review▾
Citation:
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.

0448703 - ÚI 2016 CZ cze B - Monograph 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
Source of Funding: O - operační programy
Subject RIV: BA - General Mathematics
Permanent link: http://hdl.handle.net/11104/0250346

0468980 - ÚI 2017 AT eng B - Monograph 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
R&D Projects: GA ČR(CZ) GAP201/12/2351
VEGA(SK) 2/0206/10
Institutional Support: RVO:67985807
Keywords: distribution function * discrepancy * diaphony * dispersion * uniform distribution
Subject RIV: BA - General Mathematics
https://math.boku.ac.at/udt/
https://math.boku.ac.at/udt/books/MYBASISNew.pdf
Permanent link: http://hdl.handle.net/11104/0266892

0488936 - ÚI 2019 RIV CH eng M - Monograph chapter
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
Institutional Support: RVO:67985807
Keywords: Abstract algebraic logic * Leibniz hierarchy * Frege hierarchy * truth-equational logics * assertional logics * Fregean logics * full generalized models * unital matrices
Subject RIV: BA - General Mathematics
Obor OECD: Pure mathematics
https://link.springer.com/book/10.1007/978-3-319-74772-9
Permanent link: http://hdl.handle.net/11104/0283447

0474592 - ÚI 2018 RIV CH eng M - Monograph chapter
Žá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
Institutional Support: RVO:67985807
Keywords: urban heat island of Prague * potential equivalent temperature * mitigation of urban heat island * effects
Subject RIV: DG - Athmosphere Science, Meteorology
Obor OECD: Meteorology and atmospheric sciences
Žák, M.
Permanent link: http://hdl.handle.net/11104/0271610

0495556 - ÚI 2019 RIV CH eng M - Monograph chapter
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
R&D Projects: GA ČR GAP402/12/1309
Austrian Science Fund(AT) P25417-G15
Institutional Support: RVO:67985807
Keywords: Game-theoretic semantics * Dialogue games * Many-valued logics
Subject RIV: AH - Economics
Obor OECD: Economic Theory
https://link.springer.com/chapter/10.1007%2F978-3-319-62864-6_10
Fermüller, C.
Permanent link: http://hdl.handle.net/11104/0288512

0482086 - ÚI 2018 CZ cze M - Monograph chapter
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
Institutional Support: RVO:67985807 ; RVO:68378289
http://www.academia.cz/edice/kniha/vyzkum-pro-energetiku-vybrana-temata
Permanent link: http://hdl.handle.net/11104/0277471

0478661 - ÚI 2019 RIV CH eng M - Monograph chapter
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
R&D Projects: GA ČR(CZ) GF15-34650L
Austrian Science Fund(AT) I1897-N25
Institutional Support: RVO:67985807
Keywords: preference structures * fuzzy preorder * strict fuzzy order * preference two-tiered modal logic
Subject RIV: BA - General Mathematics
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.
Permanent link: http://hdl.handle.net/11104/0274739

0511199 - ÚI 2020 RIV SK slo M - Monograph chapter
Porubský, Štefan
Tibor Šalát a jeho doba.
[Tibor Šalát and his Period.]
Tibor Šalát (1926 - 2005). Bratislava: VEDA, vydavateľstvo Slovenskej akadémie ved, 2019 - (Strauch, O.; Belasová, J.; Holá, L.; Baláž, V.), s. 141-205. ISBN 978-80-224-1741-9
Institutional Support: RVO:67985807
Keywords: Tibor Šalát * Charles university * Comenius university * education * theory of function * number theory * theory of infinite series * political regime
Subject RIV: AB - History
Obor OECD: History (history of science and technology to be 6.3, history of specific sciences to be under the respective headings)
Permanent link: http://hdl.handle.net/11104/0301533

0518614 - ÚI 2020 CZ cze M - Monograph chapter
Kůrková, Věra
Věra Kůrková.
70 let podivné vědy. Rozhovory s našimi kybernetiky. Praha: ČVUT, 2019 - (Mařík, V.; Štěpánková, O.; Havel, I.), s. 82-85. ISBN 978-80-01-06667-6
Institutional Support: RVO:67985807
Permanent link: http://hdl.handle.net/11104/0303721

0506939 - ÚTIA 2020 CH eng M - Monograph chapter
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
Institutional Support: RVO:67985807 ; RVO:67985556
Keywords: measurement errors * robust testing * information theory * robust optimization * two-sample test
Subject RIV: JD - Computer Applications, Robotics; BA - General Mathematics
Obor OECD: Computer hardware and architecture; Pure mathematics (UIVT-O)
http://library.utia.cas.cz/separaty/2019/SI/jureckova-0506939.pdf
Permanent link: http://hdl.handle.net/11104/0298067

0507669 - ÚI 2020 CH eng M - Monograph chapter
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
Institutional Support: RVO:67985807
Keywords: human sensorimotor system * neuromechanics * biorobotics * motor control * eigenmovements
Subject RIV: JD - Computer Applications, Robotics
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.
Permanent link: http://hdl.handle.net/11104/0298655

0505161 - ÚI 2020 RIV CH eng M - Monograph chapter
Sedlár, Igor - Majer, Ondrej
Modelling sources of inconsistent information in paraconsistent modal logic.
New Essays on Belnap-Dunn Logic. Cham: Springer, 2019 - (Omori, H.; Wansing, H.), s. 293-310. Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 418. ISBN 978-3-030-31135-3
R&D Projects: GA ČR GBP202/12/G061; GA ČR(CZ) GC16-07954J
Institutional Support: RVO:67985807 ; RVO:67985955
Keywords: Compatibility * Ex falso quodlibet * First degree entailment * Inconsistent information * Modal logic * Paraconsistent logic * Paraconsistent modal logic * Sources of information
Subject RIV: BA - General Mathematics; AA - Philosophy & Religion
Obor OECD: Pure mathematics; Philosophy, History and Philosophy of science and technology (FLU-F)
Permanent link: http://hdl.handle.net/11104/0296660

0442771 - ÚI 2016 RIV DE eng M - Monograph chapter
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
Institutional Support: RVO:67985807
Keywords: earthquakes * tsunamiearthquakes * typhoons * tsunamis * landslides * mudslides * mathematical models * varionational formulations of corresponding model problems * computational methods and algorithms
Subject RIV: BA - General Mathematics
Permanent link: http://hdl.handle.net/11104/0245613

0471990 - ÚI 2017 RIV GB eng M - Monograph chapter
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
R&D Projects: GA ČR GAP202/11/1632
Institutional Support: RVO:67985807
Keywords: uniform interpolation * provability logics * analytical calculi * terminating calculi
Subject RIV: BA - General Mathematics
Permanent link: http://hdl.handle.net/11104/0269350

0446024 - ÚI 2016 RIV SK slo M - Monograph chapter
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
Institutional Support: RVO:67985807
Keywords: group theory * change ringing
Subject RIV: BA - General Mathematics
Permanent link: http://hdl.handle.net/11104/0247999

0470013 - ÚI 2018 RIV CH eng M - Monograph chapter
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
Institutional Support: RVO:67985807
Keywords: computation * knowledge * metaspaces * knowledge generation * knowledge recognition
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
van Leeuwen, J.
Permanent link: http://hdl.handle.net/11104/0267755

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

0432930 - ÚI 2015 RIV CH eng M - Monograph chapter
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
R&D Projects: GA ČR GAP202/10/1826; GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
MICINN project TASSAT(XE) TIN2010-20967-C04-01
Institutional Support: RVO:67985807 ; RVO:67985556
Keywords: mathematical fuzzy logic * basic fuzzy logic * T-norm * core fuzzy logics * core semilinear logics * non-associative substructural logics * standard completeness
Subject RIV: BA - General Mathematics
Cintula, Petr
Permanent link: http://hdl.handle.net/11104/0237239

Citation, Review▾
Citation:
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 - ÚI 2015 RIV CH eng M - Monograph chapter
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
R&D Projects: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826
Institutional Support: RVO:67985807
Keywords: fuzzy set theory * fuzzy logic * naive comprehension * non-classical arithmetic
Subject RIV: BA - General Mathematics
Běhounek, Libor
Permanent link: http://hdl.handle.net/11104/0237238

Citation, Review▾
Citation:
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 - ÚI 2015 RIV CH eng M - Monograph chapter
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
R&D Projects: GA ČR GAP202/10/1826
Institutional Support: RVO:67985807
Keywords: fuzzy set theory * fuzzy logic * naive comprehension * non-classical arithmetic
Subject RIV: BA - General Mathematics
Permanent link: http://hdl.handle.net/11104/0237240

Citation, Review▾
Citation:
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.

0457466 - ÚI 2016 RIV CH eng M - Monograph chapter
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
R&D Projects: GA ČR GJ15-07724Y
Keywords: triangular norm * direction cone * monomial pre-order * finite totally ordered monoids * Rees coextension of totally ordered monoids * tomonoid partition
Subject RIV: BA - General Mathematics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0257863

0502476 - ÚI 2020 RIV US eng M - Monograph chapter
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
R&D Projects: GA ČR(CZ) GA19-05704S
Institutional Support: RVO:67985807
Keywords: big data * decision support * machine learning * supervised learning * mental health
Subject RIV: IN - Informatics, Computer Science
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent link: http://hdl.handle.net/11104/0294415