7 citations · 18 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Quantitative bisimulations using coreflections and open morphisms
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata +1
We investigate a canonical way of defining bisimilarity of systems when their semantics is given by a coreflection, typically in a category of transition systems. We use the fact,…
cs.NE2018
Neural Nets via Forward State Transformation and Backward Loss Transformation
Bart Jacobs, David Sprunger
This article studies (multilayer perceptron) neural networks with an emphasis on the transformations involved --- both forward and backward --- in order to develop a semantical/log…