From 86c1e8f3f43eb952f80795611fe5cda7098e6be0 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 30 Jul 2025 09:55:49 -0400 Subject: [PATCH] vault backup: 2025-07-30 09:55:49 --- .sessions/Journal.vim | 8 ++++---- Journal/2025_07_30.md | 1 - Templates/Literature Note.md | 2 +- ...eview of Formal Methods applied to Machine Learning.md | 2 +- ...atic classification of neural-network-based control.md | 2 +- ... autonomous control framework for advanced reactors.md | 2 +- ... nuclear reactor operations - A revised perspective.md | 4 +--- ... Reactors - A systematic review and research agenda.md | 2 +- ...ty via Synthesis - Challenges and Future Directions.md | 2 +- ...s of Neural Networks with Mixed Integer Programming.md | 2 +- .../Formal requirements elicitation with FRET.md | 2 +- ...ion of neural network controlled autonomous systems.md | 2 +- ...of Formal Methods applied to Machine Learning-Note.md} | 0 ...lassification of neural-network-based control-Note.md} | 0 ...omous control framework for advanced reactors-Note.md} | 0 ...r reactor operations- A revised perspective - Note.md} | 0 ...tors- A systematic review and research agenda-Note.md} | 0 ...a Synthesis- Challenges and Future Directions-Note.md} | 0 ...eural Networks with Mixed Integer Programming-Note.md} | 0 ... => Formal requirements elicitation with FRET-Note.md} | 0 ... neural network controlled autonomous systems-Note.md} | 0 ...Loop Papers.md => Hardware In The Loop Papers-Note.md} | 0 ...ety Assurance of Machine Learning Controllers-Note.md} | 0 ...SMT Solver for Verifying Deep Neural Networks-Note.md} | 0 ...digital twins and centralized offsite control-Note.md} | 0 ...Safety Assurance Using Reinforcement Learning-Note.md} | 0 ... => Safe Reinforcement Learning via Shielding-Note.md} | 0 ... of Cyber-Physical Systems- A Focus on Models-Note.md} | 0 ...he Safety Assurance of Machine Learning Controllers.md | 2 +- ...cient SMT Solver for Verifying Deep Neural Networks.md | 2 +- ...on of digital twins and centralized offsite control.md | 2 +- ...ntime Safety Assurance Using Reinforcement Learning.md | 2 +- .../Safe Reinforcement Learning via Shielding.md | 2 +- ...uture of Cyber-Physical Systems - A Focus on Models.md | 2 +- 34 files changed, 20 insertions(+), 23 deletions(-) rename Zettelkasten/Literature Notes/Notes on Papers/{A Review of Formal Methods applied to Machine Learning.md => A Review of Formal Methods applied to Machine Learning-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{A systematic classification of neural-network-based control.md => A systematic classification of neural-network-based control-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{An autonomous control framework for advanced reactors.md => An autonomous control framework for advanced reactors-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Automation levels for nuclear reactor operations- A revised perspective.md => Automation levels for nuclear reactor operations- A revised perspective - Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Economics and finance of Small Modular Reactors- A systematic review and research agenda.md => Economics and finance of Small Modular Reactors- A systematic review and research agenda-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md => Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Evaluating Robustness of Neural Networks with Mixed Integer Programming.md => Evaluating Robustness of Neural Networks with Mixed Integer Programming-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Formal requirements elicitation with FRET.md => Formal requirements elicitation with FRET-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Formal verification of neural network controlled autonomous systems.md => Formal verification of neural network controlled autonomous systems-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Hardware In The Loop Papers.md => Hardware In The Loop Papers-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md => On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md => Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control.md => Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Runtime Safety Assurance Using Reinforcement Learning.md => Runtime Safety Assurance Using Reinforcement Learning-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{Safe Reinforcement Learning via Shielding.md => Safe Reinforcement Learning via Shielding-Note.md} (100%) rename Zettelkasten/Literature Notes/Notes on Papers/{The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md => The Past, Present and Future of Cyber-Physical Systems- A Focus on Models-Note.md} (100%) diff --git a/.sessions/Journal.vim b/.sessions/Journal.vim index 4f57bd33..c757dac5 100644 --- a/.sessions/Journal.vim +++ b/.sessions/Journal.vim @@ -13,7 +13,7 @@ if &shortmess =~ 'A' else set shortmess=aoO endif -badd +22 Journal/2025_07_30.md +badd +21 Journal/2025_07_30.md argglobal %argdel edit Journal/2025_07_30.md @@ -28,12 +28,12 @@ setlocal foldnestmax=20 setlocal foldenable silent! normal! zE let &fdl = &fdl -let s:l = 22 - ((21 * winheight(0) + 27) / 55) +let s:l = 21 - ((20 * winheight(0) + 27) / 55) if s:l < 1 | let s:l = 1 | endif keepjumps exe s:l normal! zt -keepjumps 22 -normal! 03| +keepjumps 21 +normal! 012| tabnext 1 if exists('s:wipebuf') && len(win_findbuf(s:wipebuf)) == 0 && getbufvar(s:wipebuf, '&buftype') isnot# 'terminal' silent exe 'bwipe ' . s:wipebuf diff --git a/Journal/2025_07_30.md b/Journal/2025_07_30.md index be893b3f..735aae00 100644 --- a/Journal/2025_07_30.md +++ b/Journal/2025_07_30.md @@ -19,4 +19,3 @@ Anyways, here's the goals for today: - [ ] Write down 6 ideas for a thesis - [ ] Review literature notes, and organize my notes -[[testing note]] diff --git a/Templates/Literature Note.md b/Templates/Literature Note.md index 785e01ff..6de022e5 100755 --- a/Templates/Literature Note.md +++ b/Templates/Literature Note.md @@ -99,7 +99,7 @@ Published: {{ date | format("YYYY-MM") }} # Annotations ## Notes -![[Notes on Papers/{{ title | replace(':', '-') | replace('&', 'and') | replace('<', '') | replace('>', '') | replace('#', '') | replace('*', '') | replace('(', '') | replace(')', '') | replace('[', '') | replace(']', '') }}.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/{{ title | replace(':', '-') | replace('&', 'and') | replace('<', '') | replace('>', '') | replace('#', '') | replace('*', '') | replace('(', '') | replace(')', '') | replace('[', '') | replace(']', '') }}-notes.md]] ## Highlights From Zotero {#- Process non-Purple highlights -#} diff --git a/Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning.md b/Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning.md index 02106f84..51bb2861 100644 --- a/Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning.md +++ b/Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning.md @@ -1,4 +1,4 @@ ---- +-- authors: - "Urban, Caterina" diff --git a/Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md b/Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md index 0fd129f2..c4d1de56 100644 --- a/Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md +++ b/Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md @@ -30,7 +30,7 @@ Published: 1997-04 # Annotations ## Notes -![[Zettelkasten/Literature Notes/Notes on Papers/A systematic classification of neural-network-based control]] +![[A systematic classification of neural-network-based control-Note]] ## Highlights From Zotero >[!highlight] Highlight diff --git a/Zettelkasten/Literature Notes/An autonomous control framework for advanced reactors.md b/Zettelkasten/Literature Notes/An autonomous control framework for advanced reactors.md index ccaa97a6..2c76a036 100644 --- a/Zettelkasten/Literature Notes/An autonomous control framework for advanced reactors.md +++ b/Zettelkasten/Literature Notes/An autonomous control framework for advanced reactors.md @@ -34,7 +34,7 @@ Published: 2017-08 # Annotations ## Notes -![[Zettelkasten/Literature Notes/Notes on Papers/An autonomous control framework for advanced reactors]] +![[An autonomous control framework for advanced reactors-Note]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Zettelkasten/Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md b/Zettelkasten/Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md index 89689958..288d404c 100644 --- a/Zettelkasten/Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md +++ b/Zettelkasten/Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md @@ -1,5 +1,4 @@ --- -title: Automation levels for nuclear reactor operations: A revised perspective authors: - "Alberti, Anthony L." @@ -13,7 +12,6 @@ authors: - "de Oliveira, Cassiano R. E." citekey: "albertiAutomationLevelsNuclear2023" -alias: "albertiAutomationLevelsNuclear2023" publish_date: 2023-03-01 journal: "Progress in Nuclear Energy" volume: 157 @@ -39,7 +37,7 @@ Published: 2023-03 # Annotations ## Notes -![[Notes on Papers/Automation levels for nuclear reactor operations- A revised perspective.md]] +![[Automation levels for nuclear reactor operations- A revised perspective - Note]] ## Highlights From Zotero >[!highlight] Highlight diff --git a/Zettelkasten/Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md b/Zettelkasten/Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md index 87439db7..0dd308a7 100644 --- a/Zettelkasten/Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md +++ b/Zettelkasten/Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md @@ -30,7 +30,7 @@ Published: 2020-02 # Annotations ## Notes -![[Economics and finance of Small Modular Reactors- A systematic review and research agenda]] +![[Economics and finance of Small Modular Reactors- A systematic review and research agenda-Note]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Zettelkasten/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md b/Zettelkasten/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md index 45ecdfb5..d8ab07b5 100644 --- a/Zettelkasten/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md +++ b/Zettelkasten/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md @@ -26,7 +26,7 @@ Published: 2025-06 # Annotations ## Notes -![[Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions]] +![[Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions-Note]] ## Highlights From Zotero >[!done] Important diff --git a/Zettelkasten/Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md b/Zettelkasten/Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md index 62bb3803..1fa5e04e 100644 --- a/Zettelkasten/Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md +++ b/Zettelkasten/Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md @@ -31,7 +31,7 @@ Published: 2019-02 # Annotations ## Notes -![[Zettelkasten/Literature Notes/Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming]] +![[Evaluating Robustness of Neural Networks with Mixed Integer Programming-Note]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Zettelkasten/Literature Notes/Formal requirements elicitation with FRET.md b/Zettelkasten/Literature Notes/Formal requirements elicitation with FRET.md index 0e1381a7..1130f564 100644 --- a/Zettelkasten/Literature Notes/Formal requirements elicitation with FRET.md +++ b/Zettelkasten/Literature Notes/Formal requirements elicitation with FRET.md @@ -33,7 +33,7 @@ Published: 2020-01 # Annotations ## Notes -![[Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET]] +![[Formal requirements elicitation with FRET-Note]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md b/Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md index 375a2e66..bd0930e0 100644 --- a/Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md +++ b/Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md @@ -35,7 +35,7 @@ Published: 2019-04 # Annotations ## Notes -![[Zettelkasten/Literature Notes/Notes on Papers/Formal verification of neural network controlled autonomous systems]] +![[Formal verification of neural network controlled autonomous systems-Note]] ## Highlights From Zotero >[!highlight] Highlight diff --git a/Zettelkasten/Literature Notes/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md b/Zettelkasten/Literature Notes/Notes on Papers/A Review of Formal Methods applied to Machine Learning-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md rename to Zettelkasten/Literature Notes/Notes on Papers/A Review of Formal Methods applied to Machine Learning-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/A systematic classification of neural-network-based control.md b/Zettelkasten/Literature Notes/Notes on Papers/A systematic classification of neural-network-based control-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/A systematic classification of neural-network-based control.md rename to Zettelkasten/Literature Notes/Notes on Papers/A systematic classification of neural-network-based control-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/An autonomous control framework for advanced reactors.md b/Zettelkasten/Literature Notes/Notes on Papers/An autonomous control framework for advanced reactors-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/An autonomous control framework for advanced reactors.md rename to Zettelkasten/Literature Notes/Notes on Papers/An autonomous control framework for advanced reactors-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Automation levels for nuclear reactor operations- A revised perspective.md b/Zettelkasten/Literature Notes/Notes on Papers/Automation levels for nuclear reactor operations- A revised perspective - Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Automation levels for nuclear reactor operations- A revised perspective.md rename to Zettelkasten/Literature Notes/Notes on Papers/Automation levels for nuclear reactor operations- A revised perspective - Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Economics and finance of Small Modular Reactors- A systematic review and research agenda.md b/Zettelkasten/Literature Notes/Notes on Papers/Economics and finance of Small Modular Reactors- A systematic review and research agenda-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Economics and finance of Small Modular Reactors- A systematic review and research agenda.md rename to Zettelkasten/Literature Notes/Notes on Papers/Economics and finance of Small Modular Reactors- A systematic review and research agenda-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md b/Zettelkasten/Literature Notes/Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md rename to Zettelkasten/Literature Notes/Notes on Papers/Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md b/Zettelkasten/Literature Notes/Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md rename to Zettelkasten/Literature Notes/Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET.md b/Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET.md rename to Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Formal verification of neural network controlled autonomous systems.md b/Zettelkasten/Literature Notes/Notes on Papers/Formal verification of neural network controlled autonomous systems-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Formal verification of neural network controlled autonomous systems.md rename to Zettelkasten/Literature Notes/Notes on Papers/Formal verification of neural network controlled autonomous systems-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Hardware In The Loop Papers.md b/Zettelkasten/Literature Notes/Notes on Papers/Hardware In The Loop Papers-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Hardware In The Loop Papers.md rename to Zettelkasten/Literature Notes/Notes on Papers/Hardware In The Loop Papers-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md b/Zettelkasten/Literature Notes/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md rename to Zettelkasten/Literature Notes/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md b/Zettelkasten/Literature Notes/Notes on Papers/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md rename to Zettelkasten/Literature Notes/Notes on Papers/Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control.md b/Zettelkasten/Literature Notes/Notes on Papers/Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control.md rename to Zettelkasten/Literature Notes/Notes on Papers/Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md b/Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md rename to Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding.md b/Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding.md rename to Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding-Note.md diff --git a/Zettelkasten/Literature Notes/Notes on Papers/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md b/Zettelkasten/Literature Notes/Notes on Papers/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models-Note.md similarity index 100% rename from Zettelkasten/Literature Notes/Notes on Papers/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md rename to Zettelkasten/Literature Notes/Notes on Papers/The Past, Present and Future of Cyber-Physical Systems- A Focus on Models-Note.md diff --git a/Zettelkasten/Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md b/Zettelkasten/Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md index 1f3e587b..0a14783d 100644 --- a/Zettelkasten/Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md +++ b/Zettelkasten/Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md @@ -35,7 +35,7 @@ Published: 2022-03 # Annotations ## Notes -![[Zettelkasten/Literature Notes/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers]] +![[On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers-Note]] ## Highlights From Zotero >[!done] Important diff --git a/Zettelkasten/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md b/Zettelkasten/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md index ff21f7e3..04158b76 100644 --- a/Zettelkasten/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md +++ b/Zettelkasten/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md @@ -43,7 +43,7 @@ Published: 2017-01 # Annotations ## Notes -![[Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks]] +![[Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks-Note]] ## Highlights From Zotero diff --git a/Zettelkasten/Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md b/Zettelkasten/Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md index f171b4c3..51ba1dca 100644 --- a/Zettelkasten/Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md +++ b/Zettelkasten/Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md @@ -34,7 +34,7 @@ Published: 2023-12 # Annotations ## Notes -![[Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control]] +![[Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control-Note]] ## Highlights From Zotero >[!warning] Dubious diff --git a/Zettelkasten/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md b/Zettelkasten/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md index 7de7e273..fa8c0b88 100644 --- a/Zettelkasten/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md +++ b/Zettelkasten/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md @@ -31,7 +31,7 @@ Published: 2020-10 # Annotations ## Notes -![[Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning]] +![[Runtime Safety Assurance Using Reinforcement Learning-Note]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md b/Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md index 5e29162c..97dac89c 100644 --- a/Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md +++ b/Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md @@ -39,7 +39,7 @@ Published: 2018-04 # Annotations ## Notes -![[Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding]] +![[Safe Reinforcement Learning via Shielding-Note]] ## Highlights From Zotero diff --git a/Zettelkasten/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md b/Zettelkasten/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md index 9e263f6d..0084d1d9 100644 --- a/Zettelkasten/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md +++ b/Zettelkasten/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md @@ -29,7 +29,7 @@ Published: 2015-02 # Annotations ## Notes -![[The Past, Present and Future of Cyber-Physical Systems- A Focus on Models]] +![[The Past, Present and Future of Cyber-Physical Systems- A Focus on Models-Note]] ## Highlights From Zotero