Search

Your search keyword '"Peruffo, A."' showing total 1,260 results

Search Constraints

Start Over You searched for: Author "Peruffo, A." Remove constraint Author: "Peruffo, A."
1,260 results on '"Peruffo, A."'

Search Results

1. Automated Classification of Cell Shapes: A Comparative Evaluation of Shape Descriptors

2. CISCA and CytoDArk0: a Cell Instance Segmentation and Classification method for histo(patho)logical image Analyses and a new, open, Nissl-stained dataset for brain cytoarchitecture studies

3. Data-driven Interval MDP for Robust Control Synthesis

4. Data-Driven Abstractions for Control Systems via Random Exploration

5. Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models

6. A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis

7. NCIS: Deep Color Gradient Maps Regression and Three-Class Pixel Classification for Enhanced Neuronal Cell Instance Segmentation in Nissl-Stained Histological Images

9. SÍNDROME DO ANTICORPO ANTIFOSFOLÍPIDE ‒ HIPOPROTROMBINEMIA: RELATO DE CASO

10. Unusual iatrogenic common femoral artery injury during penile prosthesis placement in gender-confirming surgery

14. NCIS: Deep Color Gradient Maps Regression and Three-Class Pixel Classification for Enhanced Neuronal Cell Instance Segmentation in Nissl-Stained Histological Images

15. MR-NOM: Multi-scale Resolution of Neuronal cells in Nissl-stained histological slices via deliberate Over-segmentation and Merging

16. Data-driven Abstractions for Verification of Deterministic Systems

17. How does atmospheric pressure cold helium plasma affect the biomechanical behaviour on alkali-lesioned corneas?

18. O sistema monetário e financeiro internacional e a revolução digital: perspectivas para os países emergentes e em desenvolvimento

19. Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems

21. The Hidden Relationship between Intestinal Microbiota and Immunological Modifications in Preeclampsia Pathogenesis

29. Age-related changes in the primary auditory cortex of newborn, adults and aging bottlenose dolphins (Tursiops truncatus) are located in the upper cortical layers

30. Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers

31. Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models

32. Formal Synthesis of Lyapunov Neural Networks

33. NEUROTOXOPLASMOSE

34. Aggregation of a heterogeneous population of solar panels : verification and control

36. Cytoarchitectureal changes in hippocampal subregions of the NZB/W F1 mouse model of lupus

37. Augmented Neural Lyapunov Control

40. How does atmospheric pressure cold helium plasma affect the biomechanical behaviour on alkali-lesioned corneas?

44. Monitoring Convergence in the European Union with the convergEU Package for R

Catalog

Books, media, physical & digital resources