1 citations · 2 across the 3 of their papers we have counts for
3 papers
Neural Networks Reduction via Lumping
Dalila Ressi, Riccardo Romanello, Sabina Rossi +1
The increasing size of recently proposed Neural Networks makes it hard to implement them on embedded devices, where memory, battery and computational power are a non-trivial bottle…
Persistent Stochastic Non-Interference
Jane Hillston, Carla Piazza, Sabina Rossi
In this paper we present an information flow security property for stochastic, cooperating, processes expressed as terms of the Performance Evaluation Process Algebra (PEPA). We in…
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Annalisa Bossi, Sandro Etalle, Sabina Rossi +1
In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed to a fixed…