Neueste Zugänge 

  1. NUMERICAL SURROGATE MODEL OF A COUPLED TANK-PIPING SYSTEM FOR SEISMIC FRAGILITY ANALYSIS WITH SYNTHETIC GROUND MOTIONS 

    di Filippo, Rocco; Abbiati, Giuseppe; Sayginer, Osman; et al. (2019)
    PROCEEDINGS OF THE ASME PRESSURE VESSELS AND PIPING CONFERENCE, 2019, VOL 8
    Conference Paper
  2. Mixed-curvature Variational Autoencoders 

    Skopek, Ondrej; Ganea, Octavian-Eugen; Bécigneul, Gary (2019)
    Conference Paper
  3. Breaking the Softmax Bottleneck via Learnable Monotonic Pointwise Non-linearities 

    Ganea, Octavian-Eugen; Gelly, Sylvain; Bécigneul, Gary; et al. (2019)
    Conference Paper
  4. Multimodal Generative Learning Utilizing Jensen-Shannon Divergence 

    Sutter, Thomas; Daunhawer, Imant; Vogt, Julia E. (2019)
    Conference Paper
  5. Modular Verification of Heap Reachability Properties in Separation Logic 

    Ter-Gabrielyan, Arshavir; Summer, Alexander J.; Müller, Peter (2019)
    Proceedings of the ACM on Programming Languages
    Conference Paper
  6. Leveraging Rust Types for Modular Specification and Verification 

    Müller, Peter (2019)
    Conference Paper
  7. Leveraging Rust Types for Modular Specification and Verification 

    Müller, Peter (2019)
    Conference Paper
  8. Happiness index: Right-sizing the cloud's tenant-provider interface 

    Dukic, Vojislav; Singla, Ankit (2019)
    Proceedings of HotCloud 2019
    Conference Paper
  9. Separate Your Domains: NIST PQC KEMs and Oracle Cloning 

    Bellare, Mihir; Davis, Hannah; Günther, Felix (2020)
    Conference Paper
  10. Distributed Learning over Unreliable Networks 

    Yu, Chen; Tang, Hanlin; Renggli, Cedric; et al. (2019)
    Proceedings of ICML 2019
    Conference Paper
  11. Mapping Vegetation Height from Multispectral Sentinel-2 Images at Country Scale using Deep Learning 

    Lang, Nico; Wegner, Jan D.; Schindler, Konrad (2019)
    Conference Paper
  12. Fault Template Attacks on Block Ciphers Exploiting Fault Propagation 

    Saha, Sayandeep; Bag, Arnab; Basu Roy, Debapriya; et al. (2020)
    Fault attacks (FA) are one of the potent practical threats to modern cryptographic implementations. Over the years the FA techniques have evolved, gradually moving towards the exploitation of device-centric properties of the faults. In this paper, we exploit the fact that activation and propagation of a fault through a given combinational circuit (i.e., observability of a fault) is data-dependent. Next, we show that this property of ...
    Conference Paper
  13. Guided Super-Resolution as Pixel-to-Pixel Transformation 

    De Lutio, Riccardo; D'Aronco, Stefano; Wegner, Jan D.; et al. (2019)
    Conference Paper
  14. PHiSeg: Capturing Uncertainty in Medical Image Segmentation 

    Baumgartner, Christian; Tezcan, Kerem C.; Chaitanya, Krishna; et al. (2019)
    Lecture Notes in Computer Science ~ Medical Image Computing and Computer Assisted Intervention – MICCAI 2019
    Conference Paper
  15. A Partially Reversible U-Net for Memory-Efficient Volumetric Image Segmentation 

    Brügger, Robin; Baumgartner, Christian; Konukoglu, Ender (2019)
    Lecture Notes in Computer Science ~ Medical Image Computing and Computer Assisted Intervention – MICCAI 2019
    Conference Paper
  16. The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations 

    Becker, Nils; Müller, Peter; Summers, Alexander J. (2019)
    Lecture Notes in Computer Science ~ Tools and Algorithms for the Construction and Analysis of Systems. 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
    Conference Paper
  17. Advances in durability monitoring of concrete structures 

    Angst, Ueli (2019)
    Proceedings of the International Conference on Sustainable Materials, Systems and Structures (SMSS2019) Durability, Monitoring and Repair of Structures
    Conference Paper
  18. A domain agnostic measure for monitoring and evaluating GANs 

    Grnarova, Paulina (2019)
    Conference Paper
  19. Modular Product Programs 

    Eilers, Marco; Müller, Peter; Hitz, Samuel (2019)
    Conference Paper
  20. Theoretical and Methodological Framework for Measuring the Robustness of Social Institutions in Education and Training 

    Renold, Ursula; Rageth, Ladina; Caves, Katherine M. (2019)
    Conference Paper

Mehr anzeigen