vault backup: 2025-03-11 13:19:38

This commit is contained in:
Dane Sabo 2025-03-11 13:19:38 -04:00
parent 0301c4023d
commit d3a093ed06
5 changed files with 12 additions and 4 deletions

View File

@ -27,6 +27,7 @@
- [[Weekly Note 2025-02-18.md]] - [[Weekly Note 2025-02-18.md]]
- [[Weekly Note 2025-02-25.md]] - [[Weekly Note 2025-02-25.md]]
- [[Weekly Note 2025-03-04.md]] - [[Weekly Note 2025-03-04.md]]
- [[Weekly Note 2025-03-11.md]]
## Summary ## Summary

View File

@ -7695,6 +7695,13 @@ for defect classification of TFTLCD panels.pdf}
file = {/home/danesabo/Zotero/storage/963RD8XP/Lopez-Miguel et al. - 2022 - PLCverif Status of a Formal Verification Tool for Programmable Logic Controller.pdf;/home/danesabo/Zotero/storage/H94V58P2/2203.html} file = {/home/danesabo/Zotero/storage/963RD8XP/Lopez-Miguel et al. - 2022 - PLCverif Status of a Formal Verification Tool for Programmable Logic Controller.pdf;/home/danesabo/Zotero/storage/H94V58P2/2203.html}
} }
@article{lozadaHARDENSFinalReport,
title = {{{HARDENS Final Report}}},
author = {Lozada, Gascot},
langid = {english},
file = {/home/danesabo/Zotero/storage/P49ZWTJS/Lozada - HARDENS Final Report.pdf}
}
@article{lozadaLetterReportTLRRES, @article{lozadaLetterReportTLRRES,
title = {Letter {{Report}} - {{TLR-RES}}/{{DE}}/{{REB-2021-17}}, {{Technical Challenges}} and {{Gaps}} in {{Digital Twin Enabling Technologies}} for {{Nuclear Reactor Applications}}}, title = {Letter {{Report}} - {{TLR-RES}}/{{DE}}/{{REB-2021-17}}, {{Technical Challenges}} and {{Gaps}} in {{Digital Twin Enabling Technologies}} for {{Nuclear Reactor Applications}}},
author = {Lozada, Gascot}, author = {Lozada, Gascot},

View File

@ -9,12 +9,14 @@
- [[2025-02-26 ME2046 HW3.md]] - [[2025-02-26 ME2046 HW3.md]]
- [[2025-02-27 ME2046 HW3.md]] - [[2025-02-27 ME2046 HW3.md]]
- [[2025-03-03 ME2046 HW3.md]] - [[2025-03-03 ME2046 HW3.md]]
- [[2025-03-05 ME 2046 HW3.md]]
- [[2025-03-05 ME2046 HW3.md]] - [[2025-03-05 ME2046 HW3.md]]
- [[2025-03-06 ME2046 HW3.md]] - [[2025-03-06 ME2046 HW3.md]]
- [[2025-03-06 ME2046 more HW3.md]] - [[2025-03-06 ME2046 more HW3.md]]
- [[2025-03-07 HW2 NUCE 2113.md]] - [[2025-03-07 HW2 NUCE 2113.md]]
- [[2025-03-10 Laboratory 6 Report.md]] - [[2025-03-10 Laboratory 6 Report.md]]
- [[2025-03-11 NUCE Lab 6 Report.md]]
- [[2025-03-12 ME 2046 HW4.md]]
- [[2025-03-12 NUCE 2113 Midterm.md]]
- [[2025-03-14 ME2046 Exam.md]] - [[2025-03-14 ME2046 Exam.md]]
## Summary ## Summary

View File

@ -7,7 +7,6 @@
- [[2025-03-03 Finish Thesis thoughts.md]] - [[2025-03-03 Finish Thesis thoughts.md]]
- [[2025-03-03 Schedule things for this week.md]] - [[2025-03-03 Schedule things for this week.md]]
- [[2025-03-05 Mail Setup and Email.md]] - [[2025-03-05 Mail Setup and Email.md]]
- [[2025-03-08 Chess grad student tournament plan and set up personal website.md]]
- [[stubb!.md]] - [[stubb!.md]]
## Summary ## Summary

View File

@ -10,11 +10,10 @@
- [[2025-02-26 BoardTalk with Robert.md]] - [[2025-02-26 BoardTalk with Robert.md]]
- [[2025-02-28 TLA+ Proof.md]] - [[2025-02-28 TLA+ Proof.md]]
- [[2025-03-07 Finish thesis update and weekly summary.md]] - [[2025-03-07 Finish thesis update and weekly summary.md]]
- [[2025-03-08 Finish Assembly Verification paper.md]]
- [[2025-03-08 Rust Chapter 2.md]]
- [[2025-03-10 Haskell Chapter 3.md]] - [[2025-03-10 Haskell Chapter 3.md]]
- [[2025-03-10 LEAN Addition World.md]] - [[2025-03-10 LEAN Addition World.md]]
- [[2025-03-10 Rust Chapter 3 Common Programming Concepts.md]] - [[2025-03-10 Rust Chapter 3 Common Programming Concepts.md]]
- [[2025-03-11 Write weekly update.md]]
## Summary ## Summary