Sort by
Refine Your Search
-
code via differential testing)We focus on techniques that apply to real-world software systems. E.g., in the past, we have developed techniques that find and fix bugs in widely used Python, Java, C/C
-
. Arctic microscopy fieldwork: Lead sampling campaigns in Iceland, preparing and analyzing phytoplankton and their parasites via Differential Interference Contrast (DIC) microscopy. Cultivation & co‑culture
-
to them. For this purpose, geometry-driven AI-based methods are to be researched and developed in order to be able to automatically generate the corresponding process steps and parameters using CAD design
-
aspects include rough paths and subsequent developments for nonlinear stochastic partial differential equations. The theory of signatures and rough volatility also provides important connections to algebra