System of System Architecture Modeling and Verification
-
Updated
Dec 2, 2020 - TeX
System of System Architecture Modeling and Verification
A repository for a research project studying a new mathematically rigorous conception of fragility via methods from Stochastic Analysis (specifically Random Walks)
Thesis work
Implementation of algorithms for simulating gene expression and translation in order to investigate about NF-kB model in colon cancer cells.
Lecture notes of the course Model Identification and Data Analysis - Part 1, Politecnico di Milano, A.Y. 2021-2022.
This repository contains work for Stefano's first thesis chapter, which estimates how mean resources and the variace around them affect animals' spatial needs.
Exercise solution to Stochastic Processes course
An unfinished conference paper outlining the experimental results obtained in my course project in 2015.
These are my notes on The First Course in Stochastic Processes by Karlin and Taylor. Work in progress.
Codes and Class Notes for Stochastic Processes and Modeling
A paper about integral equation approach to stochastic processes
Static Analysis and Verification - Project - PRISM
Supplemental material for the article "Variable Order Fractional Fokker-Planck Equations derived from Continuous Time Random Walks"
Totally Asymmetric Simple Exclusion Process (TASEP) using reinforcement learning (RL) agents
Zheng Zhao's doctoral dissertation from Aalto University
Exercises and notes for N.G. Van Kampen's Stochastic Processes in Physics and Chemistry
Add a description, image, and links to the stochastic-processes topic page so that developers can more easily learn about it.
To associate your repository with the stochastic-processes topic, visit your repo's landing page and select "manage topics."