A5073281532- Petri Nets in System Modeling
- Flexible and Reconfigurable Manufacturing Systems
- Advanced Control Systems Optimization
- Building Energy and Comfort Optimization
- Business Process Modeling and Analysis
- Formal Methods in Verification
- Real-Time Systems Scheduling
- Smart Grid Energy Management
- Scheduling and Optimization Algorithms
- Manufacturing Process and Optimization
- Microgrid Control and Optimization
- Fault Detection and Control Systems
- Real-time simulation and control systems
- Medical Image Segmentation Techniques
- Functional Brain Connectivity Studies
- Energy Efficiency and Management
- Advanced Neuroimaging Techniques and Applications
- Modeling and Simulation Systems
- Smart Grid Security and Resilience
- Advanced Manufacturing and Logistics Optimization
- Embedded Systems Design Techniques
- Thermal Analysis in Power Transmission
- Advanced Software Engineering Methodologies
- Wind and Air Flow Studies
- Dementia and Cognitive Impairment Research
Politecnico di Milano
2014-2023
Limassol General Hospital
2023
IFOM
2013-2017
Leiden University Medical Center
2005-2014
Ingegneria dei Sistemi (Italy)
2013
Leiden University
2009
GTx (United States)
2006
Sanford Burnham Prebys Medical Discovery Institute
2004
National Research Council
2002
Protection against deadly pathogens requires the production of high-affinity antibodies by B cells, which are generated in germinal centers (GCs). Alteration GC developmental program is common many cell malignancies. Identification regulators response crucial to develop targeted therapies for dysfunctions, including lymphomas. The histone H3 lysine 27 methyltransferase enhancer zeste homolog 2 (EZH2) highly expressed cells and often constitutively activated GC-derived non-Hodgkin lymphomas...
Functional magnetic resonance imaging (fMRI) studies have shown that anatomically distinct brain regions are functionally connected during the resting state. Basic topological properties in functional connectivity (BFC) map highlighted BFC's small-world topology. Modularity, a more advanced property, has been hypothesized to be evolutionary advantageous, contributing adaptive aspects of anatomical and connectivity. However, current definitions modularity for complex networks focus on...
This paper addresses the problem of thermal energy control in shopping centers through application model predictive (MPC) strategies. In particular, this uses an existing center as pilot case, which is characterized by a large common multifloor space, which, turn, gives rise to significant vertical stratification. explores importance MPC parameters efficiency and comfort levels. addition, it some notable extensions, from economic optimization, paves way real-time pricing techniques,...
Reproducing the characteristics and functional responses of blood–brain barrier (BBB) in vitro represents an important task for research community, would be a critical biotechnological breakthrough. Pharmaceutical biotechnology industries provide strong demand inexpensive easy-to-handle BBB models to screen novel drug candidates. Recently, it was shown that canonical Wnt signaling is responsible induction properties neonatal brain microvasculature vivo. In present study, following on from...
Significance Cerebral cavernous malformation (CCM) disease can lead to brain hemorrhages, seizures, and paralysis. No pharmacological therapy is currently available. Here we define, our knowledge for the first time in vivo, sequence of molecular events that CCM vascular cavernomas. We found β-catenin activation trigger followed by TGF-β signaling, which, turn, mediates progression disease. also show signaling cell-autonomous independent Wnt-receptor activation. Most importantly, these...
The goal of this study is to analyze the 3-dimensional anatomy cochlear spiral and investigate consequences its course insertion trauma during implantation.Insertion in implant surgery a feared surgical risk, potentially causing neural degeneration altered performance implant. In literature, reported occur at specific locations. This has been ascribed technique electrode design relation size scala tympani. investigates whether there an underlying anatomic substrate serving as potential...
Since IEC 61499 has reached the state of an international standard and a substantial body research results exists question authors as main intention for this paper was: Do models solve all problems when thinking usability interoperability in heterogeneous system environments? The discussed within concern to execution model defined basic function blocks scheduling events block networks.
The paper presents different approaches to implement the execution model of an IEC 61499 application. standard defines application as a function block network whose nodes are blocks and branches data/event connections. provides also for basic FB behavior instance, but these specifications not exhaustive. Consequently, there may be many implementations that all compliant with produce behaviors. In this work, is carefully analyzed in order point out parts where it non-exhaustive. Furthermore,...
Postmortem studies show pathological changes in the striatum Alzheimer's disease (AD). Here, we examine surface of AD and assess whether are associated with impaired cognitive functioning. The shape (n. accumbens, caudate nucleus, putamen) was compared between 35 patients individuals without impairment. automatically segmented from 3D T1 magnetic resonance images automatic modeling tools (Growing Adaptive Meshes) were applied for morphometrical analysis. Repeated permutation tests used to...
A conceptual and practical methodology is proposed for designing logic control systems with Petri nets. The main objectives are to reduce the design effort due complexity of problems provide criteria that perfectly fit fundamental engineering approach complexity, namely incremental design. based on concepts coming from a number theorems stated proved. designer then provided powerful basic net structures, implementing single tasks, useful connections coordinate synchronize these tasks. This...
The paper addresses the problem of enumerating minimal siphons in an ordinary Petri net. algorithms developed this work recursively use a partitioning procedure to reduce original search multiple simpler subproblems. Each subproblem has specific additional place constraints with respect problem. Some results on algorithm correctness, convergence, and computational complexity are provided, as well experimental evaluation performance. can be applied enumerate minimal, place-minimal siphons, or...
In this study, we investigated the use of hippocampal shape-based markers for automatic detection Alzheimer's disease (AD) and mild cognitive impairment converters (MCI-c). Three-dimensional T1-weighted magnetic resonance images 50 AD subjects,
Abstract The aim of this work was to identify ventricular shape‐based biomarkers in MR images discriminate between patients with Alzheimer's disease (AD) and healthy elderly. Clinical were collected for 58 28 age‐matched controls. After normalizing all the cerebrospinal fluid semiautomatically extracted each subject an innovative technique fully automatic shape modeling applied generate comparable meshes ventricles. search potential carried out repeated permutation tests: results highlighted...
Abstract Motivation: Many aging genes have been found from unbiased screens in model organisms. Genetic interventions promoting longevity are usually quantitative, while many other biological fields (e.g. development) null mutations alone very informative. Therefore, the case of task is larger and need for a more efficient genetic search strategy especially strong. Results: The topology metabolic networks organized according to scale-free distribution, which hubs with large numbers links...
This paper discusses the design and development of a control architecture for reconfigurable manufacturing systems. It presents approach proposed by PABADIS' PROMISE European research project which targets issues reconfigurability, flexibility, efficiency in context interaction among three levels pyramid (ERP, MES, Field). The key feature overall is distributed organization based on agent technology specific ontology