diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib index 5366f90af..01c254e0d 100644 --- a/201 Metadata/My Library.bib +++ b/201 Metadata/My Library.bib @@ -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}, diff --git a/2025-01-09 Sampling Theory.md b/2025-01-09 Sampling Theory.md new file mode 100644 index 000000000..e69de29bb