Improving Efficient Computation on Private Data

Monday, 16. Jannuary, 2024 | 9 am
DHEG054

Chairman: Pammer-Schindler Viktoria
1^st examiner: Rechberger Christian
2^nd examiner: Schneider Thomas

Advancing Spreadsheet Quality Assurance: A Novel Fault Localization Approach, User-Centric Evaluations of Explainable Faults, and Tool Over-reliance

Friday, 03. November, 2023 | 2 pm
SR IST

Chairman: Vogtenhuber Birgit
1^st examiner: Wotawa Franz
2^nd examiner: Pinzger Martin

Algebraic Analysis of Arithmetization-Friendly Cryptographic Primitives

Tuesday, 31. October, 2023 | tba
tba

Chairman: tba
1^st examiner: Rechberger Christian
2^nd examiner: Canteaut Anne

Characterization of Engineered Microbial Strains Based on Next Generation Sequencing Data

Friday, 06. October, 2023 | 2 pm
BMT03094

Chairman: Scharfetter Hermann
1^st examiner: Stollberger Rudolf
2^nd examiner: Rumbold Karl
3^rd examiner: Taher Leila

Towards Clinical Translation of Augmented Reality: A Framework for Surgical Navigation in Head and Neck Procedures

Wednesday, 04. October, 2023 | 3 pm
SR ICG

Chairman: Augsdörfer Ursula
1^st examiner: Egger Jan
2^nd examiner: Ferrari Vincenzo

3D Pose and Shape Estimation of Objects and Hands in Challenging Scenarios

Friday, 29. September, 2023 | 10 am
webex

Chairman: Pammer-Schindler Viktoria
1^st examiner: Lepetit Vincent
2^nd examiner: Pons-Moll Gerard
 

Multi-View Stereo in the Deep Learning Era

Wednesday, 27^th September 2023 | time: 2 pm
room: SR ICG

Chairman: Augsdörfer Ursula
1^st examiner: Fraundorfer Friedrich
2^nd examiner: Pollefeys Marc
 

Identifying Risk Factors and Evaluating Interventions for Problem Gambling

Wednesday, 20^th September 2023 | 2 pm
MDEG180G

Chairman: Augsdörfer Ursula
1^st examiner: Helic Denis
2^nd examiner: Demetrovic Zsolt
 

Automatenlernen für das Testen und die Analyse der Sicherheit in vernetzten Umgebungen

Tuesday, 19. September, 2023 | 1 pm
SR IST

Chairman: Vogtenhuber Birgit
1^st examiner: Aichernig Bernhard
2^nd examiner: Leucker Martin

Causal Discovery in Non-Linear Time Series Data

Monday, 18^th September 2023 | time: 2 pm
room: SR IGI

Chairman: Gruß Daniel
1^st examiner: Lindstaedt Stefanie
2^nd examiner: Helic Denis
3^rd examiner: Kern Roman

Network Science of Cross-Linguistic Colexification: Understanding Meaning and Applications to Natural Language Processing

Friday, 15^th September 2023 | 3 pm

room: WALL-E, SAL building, Sandgasse 34

Chairman: Augsdörfer Ursula
1^st examiner: Garcia Beccera David
2^nd examiner: Helic Denis
 

 Playing Proposal Selection Games in 3D Scene Understanding  

Thursday, 14^th September 2023 | time: 3 pm

SR ICG

Chairman: Vogtenhuber Birgit
1^st examiner: Lepetit Vincent
2^nd examiner: Dai Angela
 

Generative Models and Uncertainty for Inverse Problems in Imaging

Monday, 11^th September, 2023 | 2 pm

SR ICG

Chairman: Augsdörfer Ursula
1^st examiner: Pock Thomas
2^nd examiner: Ehrhardt Matthias

Hardware Extensions and Compiler Support for Protection Against Fault Attacks

Thursday, 7^th September, 2023 | 2 pm

IFEG042

Chairman: Schreck Tobias
1^st examiner: Mangard Stefan
2^nd examiner: Verbauwhede Ingrid

On the Application of Unsupervised Machine Learning to Software Testing and Testing for Machine Learning Applications

August 03^rd, 2023 | 10 am
IC02062

Chairman: Vogtenhuber Birgit
1^st examiner: Wotawa Franz
2^nd examiner: Nunez  Manuel
 

Magnetic Resonance RF Pulse Design for Inhomogeneous Field Conditions by Optimal Control

July 26^th, 2023 | 4:30 pm
webex

Chairman: Scharfetter Hermann
1^st examiner: Stollberger Rudolf
2^nd examiner: Zaitsev Maxim
 

Spike-based models for cognitive computations and robust training of memristive neural networks

July 21st, 2023 | 10 am
SR IGI

Chairman: Gruß Daniel
1^st examiner: Legenstein Robert
2^nd examiner: Vassanelli Stefano
 

Motivierende Lernkonzepte und Technologien zur Förderung von digitalen Kompetenzen und Programmieren im Informatikunterricht

July 12^th, 2023 | 9 am
DHEG136E

Chairman: Lex Elisabeth
1^st examiner: Gütl Christian
2^nd examiner: Dengel Andreas
 

Memory Safety and Fault Security Through Cryptography

July 06th, 2023 | 11 am
IFEG042

Chairman: Veas Eduardo Enrique
1^st examiner: Mangard Stefan
2^nd examiner: Dutertre Jean-Max

Experimental multiscale studies on the passive mechanical behavior of human aortas

June 30th, 2023 | 2 pm
BMT03094

Chairman: Scharfetter Hermann
1^st examiner: Sommer Gerhard
2^nd examiner: Avril Stephane
3^rd examiner: Holzapfel Gerhard

 Utilizing synaptic plasticity and memory for computation and learning in simple neural network models of brain function

June 26th, 2023 | 13 am
SR IGI und webex

Chairman: Vogtenhuber Birgit
1^st examiner: Legenstein Robert
2^nd examiner: Tetzlaff Christian

Strategies for the analysis of ChIP-seq and RNA-seq data - Application in FXR studies

June 13th, 2023 | 9 am
BMT03094

Chairman: Scharfetter Hermann
1^st examiner: Stollberger Rudolf
2^nd examiner: Wagner Martin
3^rd examiner: Taher Leila

Data-Driven Modeling of Cyber-Physical Systems: Machine Learning for Building Simulation

June 15th, 2023 | 12 am
IC02062

Chairman: Augsdörfer Ursula
1^st examiner: Wotawa Franz
2^nd examiner: Broman David

Privacy-Preserving, Fine-Grained Access Control and Identiy Management in Heterogeneous Cloud Environments

May 08^th, 2023 | 9 am
IFEG042

Chairman: Pammer-Schindler Viktoria
1^st examiner: Mangard Stefan
2^nd examiner: Venturi Daniele

Clinical Implications of Stented Arteries: Experimental Investigations for Biomechanical and Histological Characterization

April 28^th, 2023 | 3 pm
BMT01046

Chairman: Scharfetter Hermann
1^st examiner: Holzapfel Gerhard
2^nd examiner: Mächler Heinrich

Deep Learning in Medical Spatiotemporal Imaging

April 26th, 2023 | 2 pm
BMT03094

Chairman: Scharfetter Hermann
1^st examiner: Baumgartner Christian
2^nd examiner: Rittner Leticia

Alternative Shading Spaces for Streaming and Real-Time Rendering

February 7th, 11:00
SR ICG

Chairman: Vogtenhuber Birgit
1^st examiner: Steinberger Markus
2^nd examiner: Ritschel Thomas

Side-Channel and Fault Analysis of Cryptographic Implementations

February 10th, 10:00
SR IAIK

Chairman: Lex Elisabeth
1^st examiner: Mangard Stefan
2^nd examiner: Daemen Joan

Remote Side-Channel Attacks and Defenses

February 2nd, 10:00
SR IAIK

Chairman: Augsdörfer Ursula
1^st examiner: Gruß Daniel
2^nd examiner: Vanhoef Mathy

Exploring Sparsity in Neural Networks

February 3rd, 09:00
SR ICG

Chairman: Pammer-Schindler Viktoria
1^st examiner: Steinberger Markus
2^nd examiner: Wonka Peter

Relations, Probability, and Memory -- Bringing more Intelligence into Spiking Neural Networks

December 22nd, 14:00
webex

Chairman: Lex Elisabeth
1^st examiner: Maas Wolfgang
2^nd examiner: Furber Steve

Crossmodal Search, Visual Exploration and Restoration of Digital Pottery
Artifacts

December 21st, 10:00
SR CGV

Chairman: Augsdörfer Ursula
1^st examiner: Schreck Tobias
2^nd examiner: Mara Hubert

Towards the Automatization of Cranial Implant Design: Retrospect, Current Methods and Future Perspective

December 20th, 09:00
webex

Chairman: Augsdörfer Ursula
1^st examiner: Egger Jan
2^nd examiner: Kleesiek Jens
 

 Redundancy and Data Fusion Benefits from Multi-Scale Camera Networks for Robust 3D Reconstruction

December, 14th, 10:00
SR

Chairman: Pammer-Schindler Viktoria
1^st examiner: Bischof Horst
2^nd examiner: Mayer Helmut

Practitioner Assisted Teaching of Vital Computational Thinking Skills for a 21st Century Society.

November 28^th, 09:00
webex

Chairman: Augsdörfer Ursula
1^st examiner: Ebner Martin
2^nd examiner: Purgathofer Peter

Virtual Director – A Concept for Automatic Vision Mixing of Live Video Streams

November 24th, 16:00
SR IGI

Chairman: Vogtenhuber Birgit
1^st examiner: Gütl Christian
2^nd examiner: Ursu Marian F.

Hardening the Kernel Against Unprivileged Attacks

November 09^th, 10:00
webex

Chairman: Augsdörfer Ursula
1^st examiner: Gruß Daniel
2^nd examiner: Piessens Frank

 On Actionable Explainable Artificial Intelligence with a human-in-the-loop  

October 12^th, 10:00
webex

Chairman: Augsdörfer Ursula
1^st examiner: Holzinger Andreas
2^nd examiner:  Hauschild Anne-Christin

Qualified Self-Sovereign Identity: Addressing the gaps between Self-Sovereign Identity and traditional Identity Systems

September 15^th, 09:00
IFEG042

Chairman: Augsdörfer Ursula
1^st examiner: Posch Reinhard
2^nd examiner: Turkanovic Muhamed

Taking a Multi-Component Perspective to provide Decision Support for Predictive Maintenance

September 13^th, 15:00
PZ2EG034

Chairman: Augsdörfer Ursula
1^st examiner: Lindstaedt Stefanie
2^nd examiner: Thalmann Stefan

Search-based Testing of Automated Driving Systems  

September 22^nd, 10:00
SR IST

Chairman: Pammer-Schindler Viktoria
1^st examiner: Wotawa Franz
2^nd examiner: Nunez Manuel

Internet of Things based functional health assessments in a telehealth context

September 02^nd, 10:00
BMT03094

Chairman: Scharfetter Hermann
1^st examiner: Schreier Günter
2^nd examiner: Goswami Nandu

New directions in recording and processing electro-mechanical signals from the human body

August 11^th, 10:00
BMT03094

Chairman: Sommer Gerhard
1^st examiner: Baumgartner Christian
2^nd examiner: Peham Christian

Computational Cancer Electrophysiology: New Methods and Directions  

August 04^th, 09:00
BMT03094

Chairman: Scharfetter Hermann
1^st examiner: Baumgartner Christian
2^nd examiner: Weinberg Seth. H.

Apparent Motion Estimation And Applications With Deep Learning

August 01^st, 14:00
SR ICG

Chairman: Lex Elisabeth
1^st examiner: Pock Thomas
2^nd examiner: Ochs Peter

Real-time Recommender Systems in Multi-Domain Settings

July 22^th, 11:00
PZ2062

Chairman: Augsdörfer Ursula
1^st examiner: Lex Elisabeth
2^nd examiner: Granitzer Michael

Trustworthy Service Composition Systems for E-Government  

July 12^th, 09:00
IFEG42

Chairman: Vogtenhuber Birgit
1^st examiner: Posch Reinhard
2^nd examiner: Prodan Radu

Methods of magnetization transfer MRI for assessing brain white matter damage  

July 08^th, 11:15
BMT03094

Chairman: Scharfetter Hermann
1^st examiner: Stollberger Rudolf
2^nd examiner: Helms Gunter

New Cerebral Open Flow Microperfusion (cOFM) Probe for Sampling Macromolecules from Brain Interstitial Fluid

July 07^th, 14:00
BMT03094

Chairman: Taher Leila
1^st examiner: Scharfetter Hermann
2^nd examiner: Sinner Frank

Quantitative Analysis of Micro- und Macro-scale Blood Flow from Cardiac Magnetic Resonance Imaging  

July 04^th, 11:00
BMT03094

Chairman: Scharfetter Hermann
1^st examiner: Stollberger Rudolf
2^nd examiner: Beer Meinrad

Improving Efficiency and Generalization in DeepLearning Models for Industrial Applications

July 01^st, 13:00
IDEG134

Chairman: Augsdörfer Ursula
1^st examiner: Pernkopf Franz
2^nd examiner: Tschiatschek Sebastian

On Straight-Line Drawings of Graphs in the Plane: Angles, Triangles and Compatibility  

June 27^th, 10:00
SR IST

Chairman: Augsdörfer Ursula
1^st examiner: Vogtenhuber Birgit
2^nd examiner: Ruy Fabila-Monroy

Ontology-based combinatorial testing for autonomous driving systems

June 20^th, 13:00
SR IST

Chairman: Augsdörfer Ursula
1^st examiner: Wotawa Franz
2^nd examiner: Gargantini Angelo

Improving Modern Cryptographic Protocols using Domain-Specific Symmetric Primitives

May 20^th, 11:00
IFEG 042

Chairman: Augsdörfer Ursula
1^st examiner: Rechberger Christian
2^nd examiner: Carsten Baum

Design and Analysis of Arithmetization-Oriented Cryptographic Primitives

April, 28^th, 14:00
SR ICG

Chairman: Gruß Daniel
1^st examiner: Rechberger Christian
2^nd examiner: Tiessen Tyge

Resource-efficient Neural Networks for Automotive Radar Interference Mitigation

April, 12^th,14:00
IDEG 134 and webex

Chairman: Steinbauer-Wagner Gerald
1^st examiner: Pernkopf Franz
2^nd examiner: Fröning Holger