Loos, Sarah
357  results:
Search for persons X
?
1

Correction to: How to model and prove hybrid systems with K..:

Quesel, Jan-David ; Mitsch, Stefan ; Loos, Sarah..
International Journal on Software Tools for Technology Transfer.  23 (2021)  5 - p. 827-827 , 2021
 
?
2

How to model and prove hybrid systems with KeYmaera: a tuto..:

Quesel, Jan-David ; Mitsch, Stefan ; Loos, Sarah..
International Journal on Software Tools for Technology Transfer.  18 (2015)  1 - p. 67-91 , 2015
 
?
4

The impact of memory on learning sequence-to-sequence tasks:

Seif, Alireza ; Loos, Sarah A M ; Tucci, Gennaro..
Machine Learning: Science and Technology.  5 (2024)  1 - p. 015053 , 2024
 
?
 
?
14

Equilibrium stochastic delay processes:

Holubec, Viktor ; Ryabov, Artem ; Loos, Sarah A M.
New Journal of Physics.  24 (2022)  2 - p. 023021 , 2022
 
?
15

Entropy, Information and Energy Flows:

, In: Stochastic Systems with Time Delay; Springer Theses,
Loos, Sarah A. M. - p. 225-260 , 2021
 
1-15