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

vault backup: 2025-01-09 17:41:53

Browse Source
This commit is contained in:
Dane Sabo 2025-01-09 17:41:53 -05:00
parent b511d5a952
commit ca9180a822
2 changed files with 43 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

47
201 Metadata/My Library.bib
View File

@ -710,7 +710,7 @@ Opportunities and Challenges toward Responsible AI.pdf}
date = {2003-01-01},
journaltitle = {Progress in Nuclear Energy},
volume = {43},
number = {1-4},
number = {1--4},
pages = {151--158},
issn = {01491970},
doi = {10.1016/s0149-1970(03)00023-4},
@ -845,7 +845,7 @@ Opportunities and Challenges toward Responsible AI.pdf}
}
@article{avigadFORMALSYSTEMEUCLID2009,
title = {A {{FORMAL SYSTEM FOR EUCLID}}’{{S}} {{{\emph{ELEMENTS}}}}},
title = {A {{FORMAL SYSTEM FOR EUCLID}}’{{S}} {{{\mkbibemph{ELEMENTS}}}}},
author = {Avigad, Jeremy and Dean, Edward and Mumma, John},
date = {2009-12},
journaltitle = {The Review of Symbolic Logic},
@ -2100,6 +2100,13 @@ Opportunities and Challenges toward Responsible AI.pdf}
url = {https://cfe.pitt.edu}
}
@online{CH2_Sampled_Data_Analysis_Unfilledpptx2254ME,
title = {{{CH2}}\_{{Sampled}}\_{{Data}}\_{{Analysis}}\_{{Unfilled}}.Pptx: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}},
url = {https://canvas.pitt.edu/courses/301794/files/19365215?module_item_id=5478186},
urldate = {2025-01-09},
file = {/home/danesabo/Zotero/storage/CDGP72KV/CH2_Sampled_Data_Analysis_Unfilled(1).pptx}
}
@incollection{championKindModelChecker2016,
title = {The {{Kind}} 2 {{Model Checker}}},
booktitle = {Computer {{Aided Verification}}},
@ -2152,6 +2159,13 @@ 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}
}
@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,
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}}},
@ -7833,6 +7847,31 @@ for defect classification of TFT–LCD panels.pdf}
file = {/home/danesabo/Zotero/storage/XRHNBS62/McLaughlin and Zonouz - 2014 - Controller-aware false data injection against prog.pdf;/home/danesabo/Zotero/storage/Q2LEVUCB/7007754.html}
}
@online{ME2046_Introduction_Reading_Chapter_1pdf2254ME,
title = {{{ME2046}}\_{{Introduction}}\_{{Reading}}\_{{Chapter}}\_1.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}},
url = {https://canvas.pitt.edu/courses/301794/files/19363968?module_item_id=5477526},
urldate = {2025-01-09},
file = {/home/danesabo/Zotero/storage/HCGVIXG6/ME2046_Introduction_Reading_Chapter_1.pdf 2254 ME 2046 SEC1000 DIGITAL CONTROL SYSTEMS.pdf;/home/danesabo/Zotero/storage/BKIG2CBT/19363968.html}
}
@online{ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME,
title = {{{ME2046}}\_{{Sampled}}\_{{Data}}\_{{Analysis}}\_{{Reading}}\_{{Chapter}}\_2.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}},
url = {https://canvas.pitt.edu/courses/301794/files/19363969?module_item_id=5477527},
urldate = {2025-01-09}
}
@online{ME2046_The_z_transform_Chapter_3pdf2254ME,
title = {{{ME2046}}\_{{The}}\_z\_transform\_{{Chapter}}\_3.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}},
url = {https://canvas.pitt.edu/courses/301794/files/19363970?module_item_id=5477528},
urldate = {2025-01-09}
}
@online{ME2046_The_z_transform_Chapter_3pdf2254MEb,
title = {{{ME2046}}\_{{The}}\_z\_transform\_{{Chapter}}\_3.Pdf: 2254 {{ME}} 2046 {{SEC1000 DIGITAL CONTROL SYSTEMS}}},
url = {https://canvas.pitt.edu/courses/301794/files/19363970?module_item_id=5477528},
urldate = {2025-01-09}
}
@thesis{medeirosFaultIntrusionTolerant2011,
type = {mathesis},
title = {A Fault - and Intrusion - Tolerant Architecture for {{EDP Distribuição SCADA}} System},
@ -9251,7 +9290,7 @@ Insights from the Social Sciences.pdf}
journaltitle = {Reliability Engineering \& System Safety},
shortjournal = {Reliability Engineering \& System Safety},
volume = {91},
number = {10-11},
number = {10--11},
pages = {1290--1300},
issn = {09518320},
doi = {10.1016/j.ress.2005.11.025},
@ -12505,7 +12544,7 @@ Subject\_term: Careers, Politics, Policy},
date = {1995},
journaltitle = {Progress in Nuclear Energy},
volume = {29},
number = {3-4},
number = {3--4},
pages = {347--356},
issn = {01491970},
doi = {10.1016/0149-1970(95)00017-e},

0
2025-01-09 Sampling Theory.md Normal file
View File