Seminar Talk Announcement

  • Vít Punčochář (Czech Academy of Sciences, Institute of Philosophy):

    Fuzzy Information States and Fuzzy Support

    07.06.2023 16:00Room 318 (live) and ZOOM @ Institute of Computer Science
    Pod Vodárenskou věží 2
    Praha, 182 00
    Applied Mathematical Logic Seminar

    The semantic framework for representing questions known as inquisitive semantics is based on a relation of support relating formulas and information states (modeled as sets of possible worlds). In my talk I will discuss two ways of fuzzifying inquisitive semantics. The first one replaces crisp information states with fuzzy information states (modeled as fuzzy sets of possible worlds). The second one replaces the crisp notion of support with a notion of fuzzy support. I will show some properties of the resulting framework. For example, I will show that if we fuzzify inquisitive semantics in these two different directions, we obtain an abstract and very general version of a principle known from the basic inquisitive semantics as Truth-Support Bridge. I will also sketch some open questions related to this approach.

  • Jiří Kadlec (Department of Signal processing, UTIA, CAS):

    HW Accelerated AI Inference and Fast, Recursive QR System Identification

    13.06.2023 14:00Room 318 (zoom) @ Institute of Computer Science
    Pod Vodárenskou věží 2
    Praha, 182 00
    Hora Informaticae

    We will explain design, implementation and performance of HW accelerated AI inference with 8-bit, fixed point, neural networks for object detection (resnet50) and face detection (dense-box_640_360) on System-on-Chip (SoC) AMD-Xilinx Zynq UltraScale+ device. It is 4-core ARM A53 64bit processor with on-chip programmable logic. We will also explain implementation and performance of HW accelerated, fast, recursive, adaptive system identification QR Lattice algorithms. Algorithms are implemented as pipelined systolic arrays on our floating point FP32 SIMD data processing engines (DPUs) on Zynq UltraScale+ device.

Past Talks