Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Executable Interval Temporal Logic Specifications


May 07, 2021
Antonio Cau, Stefan Kuhn, James Hoey

* 11 pages, 0 figures, 1 table, abridged version to published in Reversible Computation 2021 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A Pilot Study For Fragment Identification Using 2D NMR and Deep Learning


Mar 18, 2021
Stefan Kuhn, Eda Tumer, Simon Colreavy-Donnelly, Ricardo Moreira Borges

* 11 pages, 3 figures, 3 tables 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Optimal Camera Placement to measure Distances Conservativly Regarding Static and Dynamic Obstacles


May 17, 2011
Maria Hänel, Stefan Kuhn, Dominik Henrich, Lars Grüne, Jürgen Pannek

* 9 pages, 10 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email