E-LIB Suche - Ergebnisse für: De Donato, Massimo Callisto

1

A machine learning based sentient multimedia framework to i..:

Bonifazi, Gianluca ; Corradini, Enrico ; Ursino, Domenico...
Multimedia Tools and Applications. 81 (2021) 1 - p. 141-169 , 2021

Link: https://doi.org/10.1007/..

2

SaveMeNow.AI: A Machine Learning Based Wearable Device for ..:

, In: Enabling AI Applications in Data Science; Studies in Computational Intelligence,

Anceschi, Emiliano ; Bonifazi, Gianluca ; De Donato, Massimo Callisto... - p. 493-514 , 2020

Link: https://doi.org/10.1007/..

3

Enabling 3D Simulation in ThingsBoard: A First Step Towards..:

, In: Enterprise Design, Operations, and Computing. EDOC 2023 Workshops; Lecture Notes in Business Information Processing,

Callisto De Donato, Massimo ; Corradini, Flavio ; Fornari, Fabrizio.. - p. 325-330 , 2024

Link: https://doi.org/10.1007/..

4

Design and Development of a Digital Twin Prototype for the ..:

, In: Enterprise Design, Operations, and Computing. EDOC 2023 Workshops; Lecture Notes in Business Information Processing,

Callisto De Donato, Massimo ; Corradini, Flavio ; Fornari, Fabrizio.. - p. 107-122 , 2024

Link: https://doi.org/10.1007/..

5

SAFE: An ICT platform for supporting monitoring, localizati..:

Callisto De Donato, Massimo ; Corradini, Flavio ; Fornari, Fabrizio.
Internet of Things. 27 (2024) - p. 101273 , 2024

Link: https://doi.org/10.1016/..

6

A machine learning based sentient multimedia framework to i..:

Bonifazi, Gianluca ; Corradini, Enrico ; Ursino, Domenico...
info:eu-repo/semantics/altIdentifier/pmid/34025207. , 2022

Link: https://hdl.handle.net/1..

7

Evaluating the Efficiency of Asynchronous Systems with FASE:

Buti, Federico ; De Donato, Massimo Callisto ; Corradini, Flavio..
http://arxiv.org/abs/1105.1369. , 2011

Link: http://arxiv.org/abs/110..

8

A Framework for the Evaluation of Worst-Case System Efficie..:

De Donato, Massimo Callisto ; Di Berardini, Maria Rita
http://arxiv.org/abs/1105.1370. , 2011

Link: http://arxiv.org/abs/110..

9

Multiscale Modelling: A Mobile Membrane Approach:

Buti, Federico ; De Donato, Massimo Callisto ; Corradini, Flavio..
http://arxiv.org/abs/1108.3434. , 2011

Link: http://arxiv.org/abs/110..

10

Automated Analysis of MUTEX Algorithms with FASE:

Buti, Federico ; De Donato, Massimo Callisto ; Corradini, Flavio..
http://arxiv.org/abs/1106.1231. , 2011

Link: http://arxiv.org/abs/110..

11

Automated Analysis of MUTEX Algorithms with FASE:

Federico Buti ; Massimo Callisto De Donato ; Flavio Corradini..
http://arxiv.org/pdf/1106.1231v1. , 2011

Link: https://doi.org/10.4204/..

12

Towards Abstraction-Based Verification of Shape Calculus:

Buti, F. ; Callisto De Donato, M. ; Corradini, F....
Electronic Notes in Theoretical Computer Science. 284 (2012) - p. 23-34 , 2012

Link: https://doi.org/10.1016/..

13

Nicephori Callisti Xanthopuli ecclesiasticae historiae libr..

Series Graeca : in qua prodeunt patres, doctores, scriptore..:

, In: , In: Patrologiae cursus completus : sive bibliotheca universalis, integra, omnium ss. patrum, doctorum, scriptorumque ecclesiasticorum, sive Latinorum, sive Graecorum ... / Jacques-Paul Migne [Hrsg.],

accedunt Maximi Planudae, ... scripta varii argumenti

Nicephorus Callistus Xanthopulus ; Migne, Jacques Paul - Repr. [d.Ausg.] Paris 1865 . , 1990

Copies: Zentrale:Magazin 03.h.7700