Nadcházející semináře

  • M. Paluš: Representing multivariate time series by graphs: Static and dynamic connectivity measures

    8.10.2018 14:00 @ Hora Informaticae

    Complex network theory allows for novel analyses of multivariate and spatio-temporal data. Each time series represents a vertex of a graph. Two vertices are connected by an edge if the related time series are mutually dependent (undirected graphs) or one time series causally influences the other (oriented graphs). Then the graph theory is used to identify important features of studied multivariate systems such as scale-free or small-world topology, highly connected hubs and modularity, and helps to understand information or mass transfers among the subsystems. However, topology of the networks constructed from multivariate time series can be influenced by the connectivity (dependence) measures used to construct the graphs. Correlations, or mutual information, frequently used dependence measures, are “static” measures which can be influenced by local dynamics and can generate interesting, but spurious phenomena resembling highly-connected hubs or small-world topology. We propose mutual information rate (MIR) as a measure reflecting similarity of dynamics. Using examples of climate networks we demonstrate that MIR is able to extract physically reasonable network structure from meteorological data. The approach is suitable also for constructing brain networks and studies of various multivariate complex systems.

  • Tommaso Moraschini (ICS CAS): Focused completeness principles

    10.10.2018 16:00 @ Applied Mathematical Logic

    A quasi-variety K is passively structurally complete (PSC) if all the quasi-equations, which are vacuously admissible in K, happen to be valid in K. In this talk we give a general characterization of PSC quasi-varieties of finite type containing a non-trivial finite member. Moreover, we show that PSC quasi-varieties have the joint embedding property, and obtainsome strengthenings of this observation in the semi-simple case. A logical reading of these facts will be discussed in relation to classical works of Los, Suszko and Maltsev, and (if time allows) some application to Relevance Logic will be given.

  • Matteo Pascucci (TU Vienna): Checking cohesiveness in canonical models

    17.10.2018 16:00 @ Applied Mathematical Logic

    In their presentation of canonical models for normal systems of modal logic, Hughes and Cresswell observe that some of these models are based on a frame which can be also thought of as a collection of isolated frames, since its domain includes at least one pair of states that are not related by any accessibility walk; they call such frames ?non-cohesive?. The problem of checking whether the canonical model of a given system is cohesive is still rather unexplored and no general decision procedure is available. In this presentation we show that canonical models of some relevant classes of normal monomodal and bimodal systems are always non-cohesive.

  • Vít Punčochář (FLU CAS): Logics of conditionals

    24.10.2018 16:00 @ Applied Mathematical Logic

    In my talk, I will discuss several paradoxes of material implication". In general, these paradoxes" are inference patterns that involve implication and are classified as valid by classical logic despite their highly unintuitive character. I will focus mainly on inference patterns, in which implication interacts with disjunction and negation. In these cases, classical logic seems to give particularly unsatisfactory predictions" about validity. However, the most famous theories that avoided these unwanted features of classical logic usually removed also some important parts of classical logic that are highly plausible (e.g. the inference from A or B to if not-A, then B). I will propose a semantic theory (and a corresponding deductive calculus) that has the ambition to avoid the most serious paradoxes and, at the same time, to preserve the acceptable parts of classical logic.

  • Igor Sedlár (ICS CAS): Fine-grained modal logics: A simple approach

    31.10.2018 16:00 @ Applied Mathematical Logic

    A logic is fine-grained (or hyperintensional) if valid equivalence is not a kongruence relation on the set of formulas. Such logics are studied by philosophical logicians at least since the 1970s (Cresswell) and they rose to prominence once again in recent work by Fine, Berto, Leitgeb and others. We present a simple yet fairly general framework for fine-grained extensions of normal modal logics and show how the framework relates to some recent approaches.

  • Aleksander Owczarek, Ph.D., DSc., Eng. (Medical University of Silesia in Katowice): A time-domain-constrained fuzzy clustering method in biomedical data analysis

    1.11.2018 14:00 @ Semináře ISCB ČR

    Mezinárodní společnost pro klinickou biostatistiku v České republice, z. s. ve spolupráci s Ústavem informatiky AV ČR, v.v.i. si Vás dovoluje pozvat na přednášku A. Owczarek, Ph.D., DSc., Eng. Department of Instrumental Analysis Faculty of Pharmacy and Laboratory Medicine in Sosnowiec Medical University of Silesia in Katowice s názvem "A time-domain-constrained fuzzy clustering method in biomedical data analysis". Místo: Učebna č. 222 Ústav informatiky AV ČR, v.v.i. Pod Vodárenskou věží 2 182 07 Praha 8 – Ládví.

  • Doc. PaedDr. RNDr. Stanislav Katina, Ph.D. (Masaryk University in Brno): Visualisation of spatially smoothed biological signal recorded on landmarks, curves or surfaces

    8.11.2018 13:00 @ Semináře ISCB ČR

    Mezinárodní společnost pro klinickou biostatistiku v České republice, z. s. ve spolupráci s Ústavem informatiky AV ČR, v.v.i. si Vás dovoluje pozvat na přednášku doc. PaedDr. RNDr. Stanislava Katiny, Ph.D. z Ústavu matematiky a statistiky Přírodovědecké fakulty Masarykovy univerzity v Brně s názvem Visualisation of spatially smoothed biological signal recorded on landmarks, curves or surfaces. Místo: Učebna č. 222 Ústav informatiky AV ČR, v.v.i. Pod Vodárenskou věží 2 182 07 Praha 8 – Ládví.