danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2024-10-30 14:46:27

Browse Source
This commit is contained in:
Dane Sabo 2024-10-30 14:46:27 -04:00
parent 6fbfa029dd
commit ff668bb7ea
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
201 Metadata/My Library.bib
View File

@ -5545,6 +5545,13 @@ Regulatory Premises.pdf}
urldate = {2024-08-08}
}
@online{HttpsVbnaaudkWs,
title = {{{https://vbn.aau.dk/ws/portalfiles/portal/140575/fulltext}}},
url = {https://vbn.aau.dk/ws/portalfiles/portal/140575/fulltext},
urldate = {2024-10-30},
file = {/home/danesabo/Zotero/storage/3LAD5CQX/fulltext.pdf}
}
@online{HttpsWwwWhitehouse,
title = {{{https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf}}},
url = {https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf},
@ -11867,6 +11874,17 @@ Subject\_term: Careers, Politics, Policy},
annotation = {Page Version ID: 1191589904}
}
@article{toffner-clausenMuSynthesisMuSynthesis1995,
title = {Mu-{{Synthesis}}: {{Mu-Synthesis}}},
shorttitle = {Mu-{{Synthesis}}},
author = {Tøffner-Clausen, S. and Andersen, Palle},
date = {1995},
journaltitle = {Recent Results in Robust and Adaptive Control, EURACO Workshop Florence 11-14 September 1995},
pages = {269--303},
abstract = {This paper provides an introduction to mu-synthesis.},
file = {/home/danesabo/Zotero/storage/MCTBWR4Y/fulltext.pdf}
}
@article{tomlinComputationalTechniquesVerification2003,
title = {Computational Techniques for the Verification of Hybrid Systems},
author = {Tomlin, C.J. and Mitchell, I. and Bayen, A.M. and Oishi, M.},