LIT Lecture am 14. März 2018
Denkende Autos, U-Bahnen auf Computerchips, Fingerabdrücke von Atomen - wenn Sie wissen wollen, worum es an der JKU geht, sind Sie herzlich eingeladen, an der LIT Lecture Series teilzunehmen!
"Con Espressione! AI, Machine Learning & Music" Gerhard Widmer (Department of Computational Perception)
"Ultra-sensitive sequencing-the path to discovering rare mutations" Irene Tiemann-Boege (LIT / Institute of Biophysics)
"Teaching Computational Thinking via Logical Modeling and Reasoning" Armin Biere (LIT / Institute for Formal Models and Verification)
14. März 2018
12.00 - 13.30 Uhr
Johannes Kepler Universität Linz
Altenberger Straße 69
Uni-Center, Festsaal A
Con Espressione! AI, Machine Learning & Music
Music is a wonderful thing, and as a complex manifestation of human intellect and creativity, it is a wonderful object of study for a discipline that calls itself Artificial Intelligence. We will look at recent AI research that tries to shed new light onto a central musical art: expressive performance. The audience will be subjected to a little experiment, which may, or may not, yield a surprising result.
Gerhard Widmer (Department of Computational Perception)
Ultra-sensitive sequencing-the path to discovering rare mutations
Mutations include single changes in our DNA that are as hard to detect as a needle in a haystack. To date, finding mutations in the human genome involves an enormous sequencing effort or is limited by technical artifacts. Our USS project is devised to discover individual mutations in our genome at an unprecedented sensitivity by using smart bioinformatics and creative molecular design.
Irene Tiemann - Boege (LIT / Institute of Biophysics)
Teaching Computational Thinking via Logical Modeling and Reasoning
Computational thinking is one of the most important skills today. Besides algo-rithmic aspects, the key in computational thinking is precise formal modeling and reasoning, based on mathematical logic. In the LOGTECHEDU project, we are building software based on logic to aid education in science, technology, engineering and mathematics and to support students to better understand logic itself.
Armin Biere (LIT / Institute for Formal Models and Verification)