Jun Inoue | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Yoriyuki Yamagata
5 publications
Marc Pouzet
2 publications
Timothy Bourke
1 publication

research

∙ 12/31/2018

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers

This paper describes the design and implementation of a comprehensive OC...

0 Timothy Bourke, et al. ∙

research

∙ 05/15/2017

Operational Semantics of Process Monitors

CSPe is a specification language for runtime monitors that can directly ...

0 Jun Inoue, et al. ∙