Kolloquium WS 2017/18

Fakultätskolloquium der Technischen Fakultät im WS 2017/18

  • Die Kolloquien an den Instituten für Elektrotechnik und Informationstechnik sowie Materialwissenschaften:

Jeweils montags eine halbe Stunde vor Beginn der Vorträge, also um 16.45 Uhr, werden die Gastredner den Besuchern des Kolloquiums in einer zwanglosen Runde bei einer Tasse Kaffee in der "Eisdiele" (Eingangshalle Geb. D, neben dem "Aquarium") vorgestellt.

Ansprechpartner:  Daniel Johannsen (Tel. 0431-880-6068) dekanat@tf.uni-kiel.de

  • Die Kolloquien am Institut für Informatik:

Alle Vorträge finden - soweit nicht anders angegeben - im Raum Ü2/K des Instituts für Informatik (Ludewig-Meyn-Str. 2, Vorbau des Mathematischen Seminars) freitags um 14 Uhr c.t. statt. 45 Minuten vor Vortragsbeginn stehen Tee und Kaffee bereit.

Ansprechpartner/innen: Geschäftszimmer des Instituts für Informatik (Tel. 0431 880-7270)aktuell@informatik.uni-kiel.de

  • Wenn Sie die Einladungen per E-Mail erhalten möchten tragen Sie sich bitte in die Mailingliste ein.

Bitte achten Sie bei Sonderkolloquien auf die Zeit- und Raumangaben!

 

Nachfolgend alle Vortragstermine in chronologischer Abfolge

Sonderkolloquium (INF), Vijay Ganesh, University of Waterloo, Kanada / am 17.10.2017

17.10.2017 von 14:00 bis 15:00

Institut für Informatik, Christian-Albrechts-Platz 4, 24118 Kiel

Titel: On The Unreasonable Effectiveness of Boolean SAT Solvers

Abstract: Modern conflict-driven clause-learning (CDCL) Boolean SAT solvers routinely solve very large industrial SAT instances in relatively short periods of time. This phenomenon has stumped both theoreticians and practitioners since Boolean satisfiability is an NP-complete problem widely believed to be intractable. It is clear that these solvers somehow exploit the structure of real-world instances. However, to-date there have been few results that precisely characterize this structure or shed any light on why these SAT solvers are so efficient.

In this talk, I will present results that provide a deeper empirical understanding of why CDCL SAT solvers are so efficient, which may eventually lead to a complexity-theoretic result. Our results can be divided into two parts. First, I will talk about structural parameters that can characterize industrial instances and shed light on why they are easier to solve even though they may contain millions of variables compared to small crafted instances with hundreds of variables. Second, I will talk about internals of CDCL SAT solvers, and describe why they are particularly suited to solve industrial instances.

Brief Bio: Dr. Vijay Ganesh is an assistant professor at the University of Waterloo since 2012. Prior to that he was a research scientist at MIT, and completed his PhD in computer science from Stanford University in 2007. Vijay's primary area of research is the theory and practice of automated reasoning aimed at software engineering, formal methods, security, and mathematics. In this context he has led the development of many SAT/SMT solvers, most notably, STP, The Z3 string solver, MapleSAT, and MathCheck. He has also proved several decidability and complexity results relating to the SATisfiability problem for various mathematical theories. For his research, he has won over 20 awards including an ACM Test of Time Award at CCS 2016, two Google Faculty Research Awards in 2011 and 2013, and a Ten-Year Most Influential Paper Award at DATE 2008.

Prof. Nowotka

Diesen Termin meinem iCal-Kalender hinzufügen

zurück

Kolloquiumsvortrag (ET&IT), M.Sc. Jonas Sauter, Nuance Communications / am 20.11.2017

20.11.2017 von 17:15 bis 18:00

Institute Ostufer, Geb. D, "Aquarium", Kaiserstr. 2, 24143 Kiel

Titel: Artificial Bandwidth Extension for Speech Signals Using Deep Neural Networks

Abstract: In mobile communication, the bandwidth of transferred speech signals is either narrow-band (300Hz – 3.4kHz) or wide-band (50Hz – 7kHz or higher). As the limitation to 3.4kHz degrades the speech quality and intelligibility, it is of great interest to artificially extend narrow-band speech signals to wide-band speech.

This talk presents a deep neural network (DNN) approach to artificial bandwidth extension with a focus on robustness in practical applications.

It is based on the source-filter model which decomposes the signal into two parts: an excitation signal and a spectral envelope. The excitation (source part) describes the fine spectral structure which consists of white noise for unvoiced speech and an impulse train for voiced speech. The spectral envelope (filter part) describes the coarse spectral structure, i.e. the formants or resonance frequencies that make up different phonemes.

While the extension of the excitation signal can be done with simple mathematical methods that do not introduce strong artifacts, the envelope is much more relevant for the quality of the reconstructed wide-band signal. That is why the wide-band envelope is estimated with DNNs in this approach, which are trained on a large speech corpus.

Short biography

Jonas Sautter studied Electrical Engineering, Information Technology and Computer Engineering at RWTH Aachen University, Germany. He received his Master of Science degree in 2016. The Master’s thesis with the title “Digital Robust Control for Active Noise Cancellation in Headphones and Hearing Aids” was composed at the Institute of Communication Systems at RWTH Aachen. Since November 2016, he is a PhD student at Nuance Communications in Ulm, supervised by Professor Gerhard Schmidt, Head of the Digital Signal Processing and System Theory group at Christian-Albrechts-Universität, Kiel.

Prof. Schmidt

Diesen Termin meinem iCal-Kalender hinzufügen

zurück

Kolloquiumsvortrag (ET&IT), Dr. Andreas Bisplinghoff, Cisco / am 04.12.2017

04.12.2017 von 17:15 bis 18:00

Institute Ostufer, Geb. D, "Aquarium", Kaiserstr. 2, 24143 Kiel

Titel: From Long-Haul to Data-Center-Interconnect - Effiziente Signalverarbeitungsalgorithmen für Flexible Optische Netze

Abstract:

Bio:

Andreas Bisplinghoff was born in Forchheim in 1984. He received the Dipl.-Ing. and Dr.-Ing. degrees both in electrical and electronic engineering from the Friedrich-Alexander University of Erlangen in 2009 and 2015, respectively.

From 2010 to 2013, he was a Research Assistant with the Institute of Microwaves and Photonics at the University of Erlangen. Since 2013 he has been a Hardware Engineer in Advanced Development with the Cisco Optical GmbH. His research interests include the development of slip-reduced carrier phase recovery techniques and of power-efficient forward error correction schemes for coherent optical communication. Andreas Bisplinghoff has broad experience in complexity-aware algorithm design, FPGA-based prototyping, and power-optimized ASIC implementation.

Prof. Pachnicke

Diesen Termin meinem iCal-Kalender hinzufügen

zurück

Kolloquiumsvortrag (MaWi), PD Dr. Pavel Levkin, Karlsruhe Institute of Technology / am 18.12.2017

18.12.2017 von 17:15 bis 18:00

Institute Ostufer, Geb. D, "Aquarium", Kaiserstr. 2, 24143 Kiel

Titel: Designing biofunctional interfaces: from superhydrophobicity to cell microarrays

 

 

Abstract: folgt

Prof. Selhuber

Diesen Termin meinem iCal-Kalender hinzufügen

zurück