Zobrazeno 1 - 10
of 1 175
pro vyhledávání: '"Peruffo, A."'
Autor:
Vadori, Valentina, Graïc, Jean-Marie, Peruffo, Antonella, Vadori, Giulia, Finos, Livio, Grisan, Enrico
Delineating and classifying individual cells in microscopy tissue images is a complex task, yet it is a pivotal endeavor in various medical and biological investigations. We propose a new deep learning framework (CISCA) for automatic cell instance se
Externí odkaz:
http://arxiv.org/abs/2409.04175
The abstraction of dynamical systems is a powerful tool that enables the design of feedback controllers using a correct-by-design framework. We investigate a novel scheme to obtain data-driven abstractions of discrete-time stochastic processes in ter
Externí odkaz:
http://arxiv.org/abs/2404.08344
At the intersection of dynamical systems, control theory, and formal methods lies the construction of symbolic abstractions: these typically represent simpler, finite-state models whose behavior mimics that of an underlying concrete system but are ea
Externí odkaz:
http://arxiv.org/abs/2402.10668
This paper presents Fossil 2.0, a new major release of a software tool for the synthesis of certificates (e.g., Lyapunov and barrier functions) for dynamical systems modelled as ordinary differential and difference equations. Fossil 2.0 is much impro
Externí odkaz:
http://arxiv.org/abs/2311.09793
An emerging branch of control theory specialises in certificate learning, concerning the specification of a desired (possibly complex) system behaviour for an autonomous or control model, which is then analytically verified by means of a function-bas
Externí odkaz:
http://arxiv.org/abs/2309.06090
Autor:
Vadori, Valentina, Peruffo, Antonella, Graïc, Jean-Marie, Finos, Livio, Corain, Livio, Grisan, Enrico
Deep learning has proven to be more effective than other methods in medical image analysis, including the seemingly simple but challenging task of segmenting individual cells, an essential step for many biological studies. Comparative neuroanatomy st
Externí odkaz:
http://arxiv.org/abs/2306.15784
Autor:
Vadori, Valentina, Graïc, Jean-Marie, Finos, Livio, Corain, Livio, Peruffo, Antonella, Grisan, Enrico
In comparative neuroanatomy, the characterization of brain cytoarchitecture is critical to a better understanding of brain structure and function, as it helps to distill information on the development, evolution, and distinctive features of different
Externí odkaz:
http://arxiv.org/abs/2211.07415
A common technique to verify complex logic specifications for dynamical systems is the construction of symbolic abstractions: simpler, finite-state models whose behaviour mimics the one of the systems of interest. Typically, abstractions are construc
Externí odkaz:
http://arxiv.org/abs/2211.01793
Autor:
G Cecchetti, LCB Peruffo, ACB Edir, CC Miranda, SHV Freiras, SB Lopes, FB Patricio, MDC Gonçalves, IS Barbosa, GL Macedo
Publikováno v:
Hematology, Transfusion and Cell Therapy, Vol 46, Iss , Pp S592-S593 (2024)
Objetivo: Descrever o caso de uma paciente jovem com trombose provocada com síndrome do anticorpo antifosfolipide triplo positiva que teve múltiplos episódios de sangramento, sendo diagnosticada hipoprotrombinemia após investigação etiológica.
Externí odkaz:
https://doaj.org/article/c628100edacf4592a3b273b8cd6e453a
Autor:
Elena Giacomelli, Marianna Peruffo, Andrea Cocci, Marta Pezzoli, Raffaele Pulli, Walter Dorigo
Publikováno v:
Annals of Vascular Surgery - Brief Reports and Innovations, Vol 4, Iss 3, Pp 100324- (2024)
Introduction: Gender dysphoria refers to the distress or discomfort experienced when a person's gender identity does not align with the sex assigned at birth. While many transgender individuals affirm their gender identity without surgical interventi
Externí odkaz:
https://doaj.org/article/b32414c841984e18b084de00d97130f1