7.10.2014 13:15 @ Computational Methods
9.10.2014 14:00 @ Machine Learning and Modelling
Jakub Šmíd vás uvede do problematiky automatického doporučování metod strojového učení a jejich parametrů za účelem řešení úloh z oblasti dobývání znalostí.
20.10.2014 14:00 @ Hora Informaticae
The topic of causal coupling inference from time series with Granger causality-based approaches (prediction improvement, transfer entropy) is discussed. It is analyzed how strongly the results of those basic approaches are affected by quite realistic conditions of low temporal resolution of the data, significant observational noise, and hidden state variables. It is shown that spurious coupling detection is then rather possible and all these situations can be considered as cases of incomplete observations of states of the systems under study. Special tests for bidirectional coupling accounting for the above factors are suggested. It is further discussed that Granger causality idea does not suffice to characterize diverse effects of couplings on dynamics and it is suggested to complement it with a model-based study of longer-term causal effects. The methods are applied to studying interactions between large-scale climatic processes such as El-Nino-Southern Oscillation, North Atlantic SST variations, and Indian monsoon. The latter is done in collaboration with Prof. Juergen Kurths (Potsdam Institute for Climate Impact Research, Potsdam, Germany) and Prof. Igor Mokhov (A.M. Obukhov Institute of Atmospheric Physics of the Russian Academy of Sciences, Moscow, Russia).
22.10.2014 14:00 @ Applied Mathematical Logic
23.10.2014 14:00 @ Machine Learning and Modelling
29.10.2014 14:00 @ Applied Mathematical Logic
In our 2010 paper, Implicational (semilinear) logics I, we introduced a framework to study very general notions of implication and the classes of logics they determine. The crucial feature of our implications was that they induce an order relation in any general algebraic (matricial) model of the logic in question. One of the main results of the paper was a partial characterization (restricted to finitary logics) of the so-called semilinear implications and semilinear logics, i.e., logics complete w.r.t. the semantics in which the order induced by the implication is total. In this talk we present a full characterization by identifying the `missing' property, which can be seen as generalized form of finitarity. We also discuss three consequences of our work with an interest of their own. First we present a new hierarchy of logics, inspired by the above-mentioned property, characterized by the behavior of their (finitely) meet-irreducible filters/theories. Secondly, while proving the theorem we observed a flaw in the method of natural extensions (one of the important techniques of Abstract Algebraic Logic); here we give an example showing that the method really does not work in general but we also identify a very wide class of logics not affected by this problem. Finally we use the new characterization theorem to greatly strengthen several corollaries from the original paper.
29.10.2014 15:40 @ Seminars of the ISCB ČR
Matematicko-fyzikální fakulta UK, Sokolovská 83, Praha 8, učebna K1
17. 10. 2014 - 17. 10. 2014 | 1-day course on „Principles of Biostatistical Reasoning: A Practical Introduction to Statistical Methods in Clinical Research“ presented by Prof. Emmanuel Lesaffre, Ph.D., in the Institute of Computer Science AS CR, Prague 8
- more info -
24. 1. 2015 - 29. 1. 2015 | 41st International Conference on Current Trends in Theory and Practice of Computer Science, hotel Horizont, Pec pod Snezkou, CR
- more info -
