Skip to main content

4 Result(s)

within Conference Paper Remove this filter Franco Fummi Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Toward Smart Doors: A Position Paper

    Conventional automatic doors cannot distinguish between people wishing to pass through the door and people passing by the door, so they often open unnecessarily. This leads to the need to adopt new systems in ...

    Luigi Capogrosso, Geri Skenderi… in Pattern Recognition, Computer Vision, and … (2023)

  2. No Access

    Chapter and Conference Paper

    On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation

    This work presents a platform for the modelling, simulation and automatic parametrization of semi-quantitative metabolic networks. Starting from a network modelled through Petri Nets (PN) and represented in SB...

    Nicola Bombieri, Antonio Mastrandrea… in Computational Intelligence Methods for Bio… (2020)

  3. No Access

    Chapter and Conference Paper

    Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework

    Model development and analysis of biological systems is recognized as a key requirement for integrating in-vitro and in-vivo experimental data. In-silico simulations of a biochemical model allows one to test d...

    Nicola Bombieri, Rosario Distefano… in Computational Methods in Systems Biology (2014)

  4. No Access

    Chapter and Conference Paper

    Hardware Design and Simulation for Verification

    The development of more and more complex embedded systems constitutes a very challenging task for EDA experts, due to their HW/SW-mixed nature joint to the high demand for quality and reliability. Recently, bo...

    Nicola Bombieri, Franco Fummi… in Formal Methods for Hardware Verification (2006)