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

vault backup: 2025-01-23 15:43:36

Browse Source
This commit is contained in:
Dane Sabo 2025-01-23 15:43:36 -05:00
parent 85e8490c09
commit 1e93e31b47
1 changed files with 20 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
201 Metadata/My Library.bib
View File

@ -2144,6 +2144,20 @@ Opportunities and Challenges toward Responsible AI.pdf}
file = {/home/danesabo/Zotero/storage/CDGP72KV/CH2_Sampled_Data_Analysis_Unfilled(1).pptx;/home/danesabo/Zotero/storage/GJGSRZXQ/CH2_Sampled_Data_Analysis_Unfilled.pdf} file = {/home/danesabo/Zotero/storage/CDGP72KV/CH2_Sampled_Data_Analysis_Unfilled(1).pptx;/home/danesabo/Zotero/storage/GJGSRZXQ/CH2_Sampled_Data_Analysis_Unfilled.pdf}
} }
@article{CH3ZTransformDifference,
title = {{{CH3 The}} Z-{{Transform}} and the {{Difference Equation}}},
journaltitle = {DIGITAL CONTROL SYSTEMS},
langid = {english},
file = {/home/danesabo/Zotero/storage/YVUXYFW8/Chapter 3 The z-Transform and the Difference Equation.pdf}
}
@online{CH4System_Representation_S2020pdf2254,
title = {{{CH4 System}}\_{{Representation}}\_{{S2020}}.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}},
url = {https://canvas.pitt.edu/courses/301794/files/19520682?module_item_id=5521302},
urldate = {2025-01-23},
file = {/home/danesabo/Zotero/storage/V4AZ95G2/Chap4_System_Representation_S2020.pdf 2254 ME 2046 SEC1000 DIGITAL CONTROL SYSTEMS.pdf}
}
@incollection{championKindModelChecker2016, @incollection{championKindModelChecker2016,
title = {The {{Kind}} 2 {{Model Checker}}}, title = {The {{Kind}} 2 {{Model Checker}}},
booktitle = {Computer {{Aided Verification}}}, booktitle = {Computer {{Aided Verification}}},
@ -2179,6 +2193,12 @@ Opportunities and Challenges toward Responsible AI.pdf}
file = {/home/danesabo/Zotero/storage/B654ZQJB/Reasoning about Bayesian Network Classifiers} file = {/home/danesabo/Zotero/storage/B654ZQJB/Reasoning about Bayesian Network Classifiers}
} }
@online{Chap4_System_Representation_S2020pdf2254MEa,
title = {Chap4\_{{System}}\_{{Representation}}\_{{S2020}}.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}},
url = {https://canvas.pitt.edu/courses/301794/files/19520682?module_item_id=5521302},
urldate = {2025-01-23}
}
@article{chappellatElementaryProofsClassical1990, @article{chappellatElementaryProofsClassical1990,
title = {Elementary Proofs of Some Classical Stability Criteria}, title = {Elementary Proofs of Some Classical Stability Criteria},
author = {Chappellat, H. and Mansour, M. and Bhattacharyya, S.P.}, author = {Chappellat, H. and Mansour, M. and Bhattacharyya, S.P.},
@ -2196,13 +2216,6 @@ Opportunities and Challenges toward Responsible AI.pdf}
file = {/home/danesabo/Zotero/storage/72C8YKGT/Chappellat et al. - 1990 - Elementary proofs of some classical stability crit.pdf;/home/danesabo/Zotero/storage/YLLB6JD5/57067.html} file = {/home/danesabo/Zotero/storage/72C8YKGT/Chappellat et al. - 1990 - Elementary proofs of some classical stability crit.pdf;/home/danesabo/Zotero/storage/YLLB6JD5/57067.html}
} }
@article{Chapter3ZTransform,
title = {Chapter 3 {{The}} Z-{{Transform}} and the {{Difference Equation}}},
journaltitle = {DIGITAL CONTROL SYSTEMS},
langid = {english},
file = {/home/danesabo/Zotero/storage/YVUXYFW8/Chapter 3 The z-Transform and the Difference Equation.pdf}
}
@online{charalambousNewEraSoftware2023, @online{charalambousNewEraSoftware2023,
title = {A {{New Era}} in {{Software Security}}: {{Towards Self-Healing Software}} via {{Large Language Models}} and {{Formal Verification}}}, title = {A {{New Era}} in {{Software Security}}: {{Towards Self-Healing Software}} via {{Large Language Models}} and {{Formal Verification}}},
shorttitle = {A {{New Era}} in {{Software Security}}}, shorttitle = {A {{New Era}} in {{Software Security}}},