Results 121 to 130 of about 188,404 (207)

Meta-path guided policy distillation for resilient coordination in autonomous unmanned swarm. [PDF]

open access: yesPLoS One
Han X   +11 more
europepmc   +1 more source

Federated learning and Data Lakehouse for healthcare analytics: a knowledge transfer initiative between Germany and Tunisia. [PDF]

open access: yesFront Med (Lausanne)
Taieb MAH   +14 more
europepmc   +1 more source

On the safety of Nöcker's strictness analysis

open access: yes, 2004
This paper proves correctness of Nocker s method of strictness analysis, implemented for Clean, which is an e ective way for strictness analysis in lazy functional languages based on their operational semantics.
Sabel, David   +2 more
core  

On the Semantics of Place/Transition Petri Nets

open access: yes, 1997
Place/Transition (PT) Petri nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the 'token game' is too intensional, even in its more abstract interpretations in ...
Meseguer, J., Montanari, U., Sassone, V.
core  

Home - About - Disclaimer - Privacy