Please follow this link to the new website of the Institute of Computer Science ...
Date Name
11/8/18 13:00Doc. PaedDr. RNDr. Stanislav Katina, Ph.D. (Masaryk University in Brno): Visualisation of spatially smoothed biological signal recorded on landmarks, curves or surfaces
Description: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í.
www:https://sites.google.com/site/iscbcr/in-the-news
11/1/18 14:00Aleksander Owczarek, Ph.D., DSc., Eng. (Medical University of Silesia in Katowice): A time-domain-constrained fuzzy clustering method in biomedical data analysis
Description: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í.
www:https://sites.google.com/site/iscbcr/in-the-news
10/31/18 16:00Igor Sedlár (ICS CAS): Fine-grained modal logics: A simple approach
Description: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.
www:https://web.cs.cas.cz/mku/appl/aktualni/aktualni.pdf
10/24/18 16:00Vít Punčochář (FLU CAS): Logics of conditionals
Description: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.
www:https://web.cs.cas.cz/mku/appl/aktualni/aktualni.pdf
10/17/18 16:00Matteo Pascucci (TU Vienna): Checking cohesiveness in canonical models
Description: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.
www:https://web.cs.cas.cz/mku/appl/aktualni/aktualni.pdf
Please follow this link to the new website of the Institute of Computer Science ...