-
[Gentle Introduction, Easy read] Everything You Always Wanted To Know About Mathematics https://www.math.cmu.edu/~jmackey/151_128/bws_book.pdf
A Guided Journey Into the World of Abstract Mathematics and the Writing of Proofs
nikos-kekatos
nikos-kekatos
/ math.md
Last active
July 28, 2023 21:47
Material for formal definitions, abstract math, symbolic notations, proofs
- SIMILARITY OF NEURAL NETWORK MODELS: A SURVEY OF FUNCTIONAL AND REPRESENTATIONAL MEASURES https://arxiv.org/pdf/2305.06329.pdf
metrics to check a) how much hidden layers differ (representational similarity), and
nikos-kekatos
/ digital_twin_healthcare.md
Last active
August 30, 2023 08:40
Digital Twins & DTs in healthcare
Target: Journal https://www.sciencedirect.com/science/article/pii/S1569190X23000175
- [Journal, cosimulation] Optimizing vehicle dynamics co-simulation performance by introducing mesoscopic traffic simulation https://www.sciencedirect.com/science/article/pii/S1569190X23000175
-
An algorithmic perspective on Imitation Learning https://arxiv.org/pdf/1811.06711.pdf Book, very useful
-
Tutorials/Implementation of IL algorithms https://imitation.readthedocs.io/en/latest/algorithms/bc.html
nikos-kekatos
/ runtime_verification.md
Last active
July 29, 2023 03:39
Material for RV -- focusing on past-time
- Principles of model checking https://is.ifmo.ru/books/_principles_of_model_checking.pdf Book: automata, LTL, equivalence, etc.
nikos-kekatos
/ scenarios_ontologies.md
Last active
April 7, 2023 04:55
Material for ontology-driven scenario generation of autonomous vehicles
- Towards an Ontology for Scenario Definition for the Assessment of Automated Vehicles: An Object-Oriented Framework, 2021 arxiv, IEEE Transactions
- Ontology for Scenarios for the Assessment of Automated Vehicles https://www.semanticscholar.org/paper/Ontology-for-Scenarios-for-the-Assessment-of-Gelder-Paardekooper/e8c0b77614e7ff1e398354a2f1a2cac01b9c243c
- Gerrit Bagschik, Till Menzel and Markus Maurerm. Ontology based Scene Creation for the Development of Automated Vehicles. 2018 arxiv
nikos-kekatos
/ NN_compression.md
Last active
December 12, 2022 07:59
A list of resources for neural network compression
Hybrid Identification Toolbox [HIT], link [not maintained]
Multi-Parametric Toolbox [MPT], link [none native support]
SARXSAT, tool for identifying ARX (autoregressive models with exogenous inputs) and piecewise ARX, Github repo
nikos-kekatos
/ Material_cosim_DT.md
Last active
December 23, 2022 06:23
Material for Co-simulation and Digital Twins
Tailored for Python
Official
-
Tutorial: Jupyter Notebook