Showing 1–20 of 23 results
/ Date/ Name
Jan 31, 2019Towards a Characterization of Explainable SystemsAug 30, 2024Configuration Monitor SynthesisSep 7, 2021An Executable Structural Operational Formal Semantics for PythonApr 20, 2016Calibration of the K-Profile Parameterization of ocean boundary layer mixing. Part I: DevelopmentJun 29, 2015Electronic tuneability of a structurally rigid surface intermetallic and Kondo lattice: CePt$_5$ / Pt(111)Sep 26, 2015Impact of Fe doping on the electronic structure of SrTiO3 thin films determined by resonant photoemissionMar 23, 2012Direct observation of interacting Kondo screened 4f moments in CePt5 with XMCDMay 22, 2024Tools at the Frontiers of Quantitative VerificationSep 12, 2024De novo design of high-affinity protein binders with AlphaProteoSep 27, 2024Collective action and entanglement of magnetically active liquid crystal elastomer ribbonsNov 9, 2021RTLola on Board: Testing Real Driving Emissions on your PhoneMar 31, 2026Latent-Y: A Lab-Validated Autonomous Agent for De Novo Drug DesignApr 17, 2019Automated Design of Deep Learning Methods for Biomedical Image SegmentationMay 30, 2019A Hierarchical Probabilistic U-Net for Modeling Multi-Scale AmbiguitiesJul 22, 2019Reg R-CNN: Lesion Detection and Grading under Noisy LabelsJul 9, 2019Deep Probabilistic Modeling of Glioma GrowthDec 23, 2025Drug-like antibodies with low immunogenicity in human panels designed with Latent-X2Nov 21, 2018Retina U-Net: Embarrassingly Simple Exploitation of Segmentation Supervision for Medical Object DetectionNov 28, 2019A Case for the Score: Identifying Image Anomalies using Variational Autoencoder GradientsDec 14, 2018Context-encoding Variational Autoencoder for Unsupervised Anomaly Detection