Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 31 to 40 of 802.
  1. Xiaoting Shao; Karl Stelzner; Kristian Kersting

    Right for the Right Latent Factors: Debiasing Generative Models via Disentanglement

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2202.00391, Pages 0-10, arXiv, 2022.

  2. Zhongjie Yu; Fabrizio Ventola; Nils Thoma; Devendra Singh Dhami; Martin Mundt; Kristian Kersting

    Predictive Whittle networks for time series

    In: James Cussens; Kun Zhang (Hrsg.). Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence. Conference in Uncertainty …

  3. Arseny Skryagin; Wolfgang Stammer; Daniel Ochs; Devendra Singh Dhami; Kristian Kersting

    Neural-Probabilistic Answer Set Programming

    In: Gabriele Kern-Isberner; Gerhard Lakemeyer; Thomas Meyer (Hrsg.). Proceedings of the 19th International Conference on Principles of Knowledge …

  4. Viktor Pfanschilling; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

    Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming

    In: Gabriele Kern-Isberner; Gerhard Lakemeyer; Thomas Meyer (Hrsg.). Proceedings of the 19th International Conference on Principles of Knowledge …

  5. Niklas Bruns; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

    In: Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2022), June 6-8, Irvine, USA, 2022.

  6. Christina Plump; Bernhard J. Berger; Rolf Drechsler

    Adapting mutation and recombination operators to range-aware relations in real-world application data

    In: The Genetic and Evolutionary Computation Conference (GECCO Companion). Genetic and Evolutionary Computation Conference (GECCO-2022), July 9-13, …

  7. Philipp Niemann; Rolf Drechsler

    Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic

    In: 52nd International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2022), May 18-20, …

  8. Durgesh Haribhau Salunkhe; Guillaume Michel; Shivesh Kumar; Marcello Sanguineti; Damien Chablat

    An efficient combined local and global search strategy for optimization of parallel kinematic mechanisms with joint limits and collision constraints

    In: Mechanism and Machine Theory, Vol. 173, Pages 1-32, Elsevier, 4/2022.

  9. Christian Mandel; Kathrin Stich; Serge Autexier; Christoph Lüth; Ariane Ziehn; Karin Hochbaum; Rolf Dembinski; Christoph Int-Veen

    Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation

    In: Proceedings of the 44th. International Conference of the IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE …