informatik-vortraege Oktober 2018

informatik-vortraege@lists.rwth-aachen.de

3 Teilnehmer
3 Diskussionen

von Blundell, Inga

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Mittwoch, 28. November 2018, 10.00 Uhr Ort: E1, Raum 4312, Ahornstr. 55 Referentin: Inga Blundell Thema: Algorithmic solver selection for systems of differential equations in human brain cell models for the domain specific language NESTML Abstract: The fast advancements in neuroscience and the multitude of newly developed neuron models require a language to describe neurons by means of systems of differential equations. The capability of implementing new models in precise agreement with their mathematical definition and subsequently running computationally efficient simulations is essential for progress on the theoretical foundation of neuroscience. The use of abstract modelling languages like NESTML enables neuroscientists to formally specify their models and to automatically produce high level simulation code that runs efficiently on various computer architectures. An important requirement to these modelling languages is the automatic generation of efficient and precise integrations schemes for differential equations that describe the dynamical behaviour of neuron models. An algorithmic approach to this requirement will be presented in this talk. Es laden ein: Die Dozenten der Informatik ------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------ Forschungszentrum Juelich GmbH 52425 Juelich Sitz der Gesellschaft: Juelich Eingetragen im Handelsregister des Amtsgerichts Dueren Nr. HR B 3498 Vorsitzender des Aufsichtsrats: MinDir Dr. Karl Eugen Huthmacher Geschaeftsfuehrung: Prof. Dr.-Ing. Wolfgang Marquardt (Vorsitzender), Karsten Beneke (stellv. Vorsitzender), Prof. Dr.-Ing. Harald Bolt, Prof. Dr. Sebastian M. Schmidt ------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------

5 Jahre, 5 Monate

Informatik-Kolloquium

von Fachgruppensprecher

This Friday Zeynep Akata will give a talk about “Explaining and Representing Novel Concepts With Minimal Supervision”. You are kindly invited. Please see the details below. Best regards, Martin Grohe ————— Title: Explaining and Representing Novel Concepts With Minimal Supervision Speaker: Zeynep Akata (University of Amsterdam) Time and Place: Friday, October 26th, 14:15, AH I Abstract: Clearly explaining a rationale for a classification decision to an end-user can be as important as the decision itself. Existing approaches for deep visual recognition are generally opaque and do not output any justification text; contemporary vision-language models can describe image content but fail to take into account class-discriminative image properties which justify visual predictions. In this talk, I will present my past and current work on Zero-Shot Learning, Vision and Language for Generative Modeling and Explainable Artificial Intelligence where we show (1) how to generalize image classification models to cases when no visual training data is available, (2) how to generate images and image features using detailed visual descriptions, and (3) how our models focus on discriminating properties of the visible object, jointly predict a class label, explain why/not the predicted label is chosen for the image. ---------------------------------------------------------------- Prof. Dr. Martin Grohe | Fachgruppe Informatik http://www.informatik.rwth-aachen.de/ | Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone ++49 241 80-21701 / Fax -22215 |

5 Jahre, 5 Monate

Einladung Informatik-Oberseminar

von Matthias Terber

+********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +********************************************************************** Zeit: Montag, 29. Oktober 2018, 10:00 Uhr Ort: Raum 2202, i11, Ahornstr. 55 Referent: Matthias Terber, M. Sc. Thema: Praxisorientierte Verwendung und Evaluierung synchroner Programmierung in reaktiven, eingebetteten Systemen Abstract: Durch die große Dominanz der Programmiersprache C im industriellen Bereich, werden die Probleme von reaktiven, eingebetteten Systemen üblicherweise mit konventioneller, sequentieller Programmierung adressiert. Diese bietet jedoch keine spezifische Unterstützung für die Beschreibung von reaktivem Verhalten, wodurch Entwicklung, Verständlichkeit und Wartbarkeit der Software erschwert werden. Synchrone Programmiersprachen könnten eine vielversprechende Lösung darstellen, um den Entstehungsprozess von Software zu vereinfachen und deren Qualität zu verbessern. Bis heute ist der Einsatz von synchroner Programmierung jedoch nur auf sehr spezielle industrielle Anwendungsfälle beschränkt; ihre praktische Anwendung und deren Nutzen werden in existierender Literatur kaum behandelt. In dieser Arbeit wird eine Fallstudie durchgeführt, welche die Anwendbarkeit und Eignung des synchronen Programmierparadigmas anhand eines konkreten, existierenden Smart Devices aus der Industrie untersucht. Mit Fokus auf die reaktive Domäne werden die technischen Herausforderungen für die Entwicklung sowie die Qualitätsprobleme der bestehenden Softwarelösung herausgearbeitet. Basierend auf der synchronen Sprache Céu wird eine synchrone Neuimplementierung skizziert. Diese veranschaulicht den Einsatz von synchroner Programmierung und zeigt deren Vorteile für die Softwareentwicklung. Schließlich glauben wir, dass diese Arbeit grundsätzlich einen praktikablen Weg aufzeigt, wie sich die Qualität eingebetteter Software in industriellen Anwendungen verbessern lässt. Es laden ein: Die Dozenten der Informatik

5 Jahre, 5 Monate

2024

2023

2022

2021

2020

2019

2018

informatik-vortraege Oktober 2018