diff --git a/Neural Network Formal Methods/NNFM Ontology.canvas b/Neural Network Formal Methods/NNFM Ontology.canvas index 06de51cd9..36b10e44d 100644 --- a/Neural Network Formal Methods/NNFM Ontology.canvas +++ b/Neural Network Formal Methods/NNFM Ontology.canvas @@ -5,7 +5,7 @@ {"id":"17ab7dbc641481be","type":"text","text":"2021","x":-1000,"y":180,"width":250,"height":60}, {"id":"053be4b4e5459efa","type":"text","text":"2023","x":-1000,"y":-160,"width":250,"height":60}, {"id":"ce4a2c0bf9224f9d","type":"text","text":"2019","x":-1000,"y":500,"width":250,"height":60}, - {"id":"684196d797ac66e3","type":"file","file":"Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md","x":-720,"y":-420,"width":480,"height":400,"color":"3"}, + {"id":"684196d797ac66e3","type":"file","file":"Zettelkasten/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md","x":-720,"y":-420,"width":480,"height":400,"color":"3"}, {"id":"35eebdf6214c8c88","type":"text","text":"# Machine Learning","x":-1855,"y":100,"width":440,"height":80}, {"id":"f9208a6e4a7ef241","type":"text","text":"## Linear Temporal Logic","x":-1415,"y":-257,"width":346,"height":74}, {"id":"bcc9c2b5dc701338","type":"text","text":"# Formal Methods","x":-1885,"y":-420,"width":440,"height":80}, @@ -16,20 +16,20 @@ {"id":"42d4be73c13f91cb","type":"text","text":"1st Pass","x":-1635,"y":-615,"width":140,"height":60,"color":"3"}, {"id":"a2800119b02cdda0","type":"text","text":"2nd Pass","x":-1467,"y":-615,"width":145,"height":60,"color":"4"}, {"id":"1c13a0968706a8b0","type":"text","text":"Brilliant / Important","x":-1808,"y":-695,"width":243,"height":60,"color":"5"}, - {"id":"53a95b3f2101d32c","type":"file","file":"Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md","x":-720,"y":1260,"width":480,"height":300,"color":"3"}, + {"id":"53a95b3f2101d32c","type":"file","file":"Zettelkasten/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md","x":-720,"y":1260,"width":480,"height":300,"color":"3"}, {"id":"ac067a0584359781","type":"text","text":"## Cyber-Physical Systems","x":-1515,"y":670,"width":297,"height":80}, {"id":"bbe4a58a5af748eb","type":"text","text":"OLDER","x":-1000,"y":1600,"width":250,"height":60}, {"id":"b081d5b64b515d56","type":"text","text":"2017","x":-1000,"y":890,"width":250,"height":60}, {"id":"2e49adbdc97ce1c2","type":"text","text":"2015","x":-1000,"y":1260,"width":250,"height":60}, - {"id":"6b62b3a19b06fc0a","type":"file","file":"Literature Notes/A Review of Formal Methods applied to Machine Learning.md","x":-200,"y":240,"width":520,"height":370,"color":"3"}, - {"id":"bac68ab8fa2c1c9b","type":"file","file":"Literature Notes/Formal verification of neural network controlled autonomous systems.md","x":-720,"y":530,"width":485,"height":360,"color":"3"}, - {"id":"7ad1df279923e7f4","type":"file","file":"Literature Notes/A systematic classification of neural-network-based control.md","x":-720,"y":1660,"width":480,"height":400,"color":"1"}, - {"id":"b16d77e25162b164","type":"file","file":"Literature Notes/Nonlinear Identification and Control.md","x":-200,"y":1660,"width":400,"height":400,"color":"1"}, - {"id":"dae189dd0beeb46d","type":"file","file":"Literature Notes/Neural network-based flight control systems - Present and future.md","x":-720,"y":100,"width":480,"height":360,"color":"1"}, - {"id":"8af915dccc8e1757","type":"file","file":"Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md","x":240,"y":1660,"width":400,"height":400,"color":"1"}, - {"id":"034773fb85df43e9","type":"file","file":"Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md","x":-200,"y":-183,"width":520,"height":363,"color":"1"}, - {"id":"1b0680305c662125","type":"file","file":"Literature Notes/Safe Reinforcement Learning via Shielding.md","x":-200,"y":670,"width":520,"height":330,"color":"3"}, - {"id":"0655d596e2c1bd88","type":"file","file":"Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md","x":-1242,"y":100,"width":400,"height":400,"color":"3"} + {"id":"6b62b3a19b06fc0a","type":"file","file":"Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning.md","x":-200,"y":240,"width":520,"height":370,"color":"3"}, + {"id":"bac68ab8fa2c1c9b","type":"file","file":"Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md","x":-720,"y":530,"width":485,"height":360,"color":"3"}, + {"id":"7ad1df279923e7f4","type":"file","file":"Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md","x":-720,"y":1660,"width":480,"height":400,"color":"1"}, + {"id":"b16d77e25162b164","type":"file","file":"Zettelkasten/Literature Notes/Nonlinear Identification and Control.md","x":-200,"y":1660,"width":400,"height":400,"color":"1"}, + {"id":"dae189dd0beeb46d","type":"file","file":"Zettelkasten/Literature Notes/Neural network-based flight control systems - Present and future.md","x":-720,"y":100,"width":480,"height":360,"color":"1"}, + {"id":"8af915dccc8e1757","type":"file","file":"Zettelkasten/Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md","x":240,"y":1660,"width":400,"height":400,"color":"1"}, + {"id":"034773fb85df43e9","type":"file","file":"Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md","x":-200,"y":-183,"width":520,"height":363,"color":"1"}, + {"id":"1b0680305c662125","type":"file","file":"Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md","x":-200,"y":670,"width":520,"height":330,"color":"3"}, + {"id":"0655d596e2c1bd88","type":"file","file":"Zettelkasten/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md","x":-1242,"y":100,"width":400,"height":400,"color":"3"} ], "edges":[ {"id":"766a32fa431c6398","fromNode":"bcc9c2b5dc701338","fromSide":"bottom","toNode":"bac68ab8fa2c1c9b","toSide":"top","color":"2"}, diff --git a/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md b/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md index 863e57d0e..5cd687559 100644 --- a/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md +++ b/Writing/SoK_High_Assurance_Reinforcement_Learning_for_Control.md @@ -11,7 +11,7 @@ When was it written: ### What's good about it, what's bad about it? ### What does this review cover? What does it miss? -## [[Literature Notes/A Review of Formal Methods applied to Machine Learning|A Review of Formal Methods applied to Machine Learning]] +## [[Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning|A Review of Formal Methods applied to Machine Learning]] Written by Caterina Urban and Antoine Mine at Universite PSL. Written April 22, 2021 diff --git a/Literature Notes/.archive/CH4System_Representation_S2020pdf2254.md b/Zettelkasten/Literature Notes/.archive/CH4System_Representation_S2020pdf2254.md similarity index 100% rename from Literature Notes/.archive/CH4System_Representation_S2020pdf2254.md rename to Zettelkasten/Literature Notes/.archive/CH4System_Representation_S2020pdf2254.md diff --git a/Literature Notes/.archive/IntroductionDiffusionModels2022.md b/Zettelkasten/Literature Notes/.archive/IntroductionDiffusionModels2022.md similarity index 100% rename from Literature Notes/.archive/IntroductionDiffusionModels2022.md rename to Zettelkasten/Literature Notes/.archive/IntroductionDiffusionModels2022.md diff --git a/Literature Notes/.archive/Kry10TechnicalOverview.md b/Zettelkasten/Literature Notes/.archive/Kry10TechnicalOverview.md similarity index 100% rename from Literature Notes/.archive/Kry10TechnicalOverview.md rename to Zettelkasten/Literature Notes/.archive/Kry10TechnicalOverview.md diff --git a/Literature Notes/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md b/Zettelkasten/Literature Notes/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md similarity index 100% rename from Literature Notes/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md rename to Zettelkasten/Literature Notes/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md diff --git a/Literature Notes/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md b/Zettelkasten/Literature Notes/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md similarity index 100% rename from Literature Notes/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md rename to Zettelkasten/Literature Notes/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md diff --git a/Literature Notes/.archive/My Library.bib b/Zettelkasten/Literature Notes/.archive/My Library.bib similarity index 100% rename from Literature Notes/.archive/My Library.bib rename to Zettelkasten/Literature Notes/.archive/My Library.bib diff --git a/Literature Notes/.archive/aModeladoNucleoAnalisis2023.md b/Zettelkasten/Literature Notes/.archive/aModeladoNucleoAnalisis2023.md similarity index 100% rename from Literature Notes/.archive/aModeladoNucleoAnalisis2023.md rename to Zettelkasten/Literature Notes/.archive/aModeladoNucleoAnalisis2023.md diff --git a/Literature Notes/.archive/atsumiModifiedBodePlots2012.md b/Zettelkasten/Literature Notes/.archive/atsumiModifiedBodePlots2012.md similarity index 100% rename from Literature Notes/.archive/atsumiModifiedBodePlots2012.md rename to Zettelkasten/Literature Notes/.archive/atsumiModifiedBodePlots2012.md diff --git a/Literature Notes/.archive/biggsJuryMonolithicOS2018.md b/Zettelkasten/Literature Notes/.archive/biggsJuryMonolithicOS2018.md similarity index 100% rename from Literature Notes/.archive/biggsJuryMonolithicOS2018.md rename to Zettelkasten/Literature Notes/.archive/biggsJuryMonolithicOS2018.md diff --git a/Literature Notes/.archive/doyleFeedbackControlTheory2009.md b/Zettelkasten/Literature Notes/.archive/doyleFeedbackControlTheory2009.md similarity index 100% rename from Literature Notes/.archive/doyleFeedbackControlTheory2009.md rename to Zettelkasten/Literature Notes/.archive/doyleFeedbackControlTheory2009.md diff --git a/Literature Notes/.archive/doyleGuaranteedMarginsLQG1978.md b/Zettelkasten/Literature Notes/.archive/doyleGuaranteedMarginsLQG1978.md similarity index 100% rename from Literature Notes/.archive/doyleGuaranteedMarginsLQG1978.md rename to Zettelkasten/Literature Notes/.archive/doyleGuaranteedMarginsLQG1978.md diff --git a/Literature Notes/.archive/emamiNeuralNetworkbasedFlight2022.md b/Zettelkasten/Literature Notes/.archive/emamiNeuralNetworkbasedFlight2022.md similarity index 100% rename from Literature Notes/.archive/emamiNeuralNetworkbasedFlight2022.md rename to Zettelkasten/Literature Notes/.archive/emamiNeuralNetworkbasedFlight2022.md diff --git a/Literature Notes/.archive/farzanRobustControlSynthesis2020.md b/Zettelkasten/Literature Notes/.archive/farzanRobustControlSynthesis2020.md similarity index 100% rename from Literature Notes/.archive/farzanRobustControlSynthesis2020.md rename to Zettelkasten/Literature Notes/.archive/farzanRobustControlSynthesis2020.md diff --git a/Literature Notes/.archive/fisherHACMSProgramUsing2017a.md b/Zettelkasten/Literature Notes/.archive/fisherHACMSProgramUsing2017a.md similarity index 100% rename from Literature Notes/.archive/fisherHACMSProgramUsing2017a.md rename to Zettelkasten/Literature Notes/.archive/fisherHACMSProgramUsing2017a.md diff --git a/Literature Notes/.archive/fromherzVerifiedEfficientEmbedding2019.md b/Zettelkasten/Literature Notes/.archive/fromherzVerifiedEfficientEmbedding2019.md similarity index 100% rename from Literature Notes/.archive/fromherzVerifiedEfficientEmbedding2019.md rename to Zettelkasten/Literature Notes/.archive/fromherzVerifiedEfficientEmbedding2019.md diff --git a/Literature Notes/.archive/gengSimplifiedReactorModel2024.md b/Zettelkasten/Literature Notes/.archive/gengSimplifiedReactorModel2024.md similarity index 100% rename from Literature Notes/.archive/gengSimplifiedReactorModel2024.md rename to Zettelkasten/Literature Notes/.archive/gengSimplifiedReactorModel2024.md diff --git a/Literature Notes/.archive/jacksonMARVELReactivityControl2023.md b/Zettelkasten/Literature Notes/.archive/jacksonMARVELReactivityControl2023.md similarity index 100% rename from Literature Notes/.archive/jacksonMARVELReactivityControl2023.md rename to Zettelkasten/Literature Notes/.archive/jacksonMARVELReactivityControl2023.md diff --git a/Literature Notes/.archive/kleinFormallyVerifiedSoftware2018.md b/Zettelkasten/Literature Notes/.archive/kleinFormallyVerifiedSoftware2018.md similarity index 100% rename from Literature Notes/.archive/kleinFormallyVerifiedSoftware2018.md rename to Zettelkasten/Literature Notes/.archive/kleinFormallyVerifiedSoftware2018.md diff --git a/Literature Notes/.archive/lozadaHARDENSFinalReport.md b/Zettelkasten/Literature Notes/.archive/lozadaHARDENSFinalReport.md similarity index 100% rename from Literature Notes/.archive/lozadaHARDENSFinalReport.md rename to Zettelkasten/Literature Notes/.archive/lozadaHARDENSFinalReport.md diff --git a/Literature Notes/.archive/matthewsCoupledMultiphysicsSimulations2021.md b/Zettelkasten/Literature Notes/.archive/matthewsCoupledMultiphysicsSimulations2021.md similarity index 100% rename from Literature Notes/.archive/matthewsCoupledMultiphysicsSimulations2021.md rename to Zettelkasten/Literature Notes/.archive/matthewsCoupledMultiphysicsSimulations2021.md diff --git a/Literature Notes/.archive/matusuRegionsRobustRelative2023.md b/Zettelkasten/Literature Notes/.archive/matusuRegionsRobustRelative2023.md similarity index 100% rename from Literature Notes/.archive/matusuRegionsRobustRelative2023.md rename to Zettelkasten/Literature Notes/.archive/matusuRegionsRobustRelative2023.md diff --git a/Literature Notes/.archive/mihalicHardwareintheLoopSimulationsHistorical2022.md b/Zettelkasten/Literature Notes/.archive/mihalicHardwareintheLoopSimulationsHistorical2022.md similarity index 100% rename from Literature Notes/.archive/mihalicHardwareintheLoopSimulationsHistorical2022.md rename to Zettelkasten/Literature Notes/.archive/mihalicHardwareintheLoopSimulationsHistorical2022.md diff --git a/Literature Notes/.archive/sohl-dicksteinDeepUnsupervisedLearning2015.md b/Zettelkasten/Literature Notes/.archive/sohl-dicksteinDeepUnsupervisedLearning2015.md similarity index 100% rename from Literature Notes/.archive/sohl-dicksteinDeepUnsupervisedLearning2015.md rename to Zettelkasten/Literature Notes/.archive/sohl-dicksteinDeepUnsupervisedLearning2015.md diff --git a/Literature Notes/.archive/stauffHighFidelityMultiphysicsModeling.md b/Zettelkasten/Literature Notes/.archive/stauffHighFidelityMultiphysicsModeling.md similarity index 100% rename from Literature Notes/.archive/stauffHighFidelityMultiphysicsModeling.md rename to Zettelkasten/Literature Notes/.archive/stauffHighFidelityMultiphysicsModeling.md diff --git a/Literature Notes/.archive/stevebruntonControlBootcampIntroduction2017.md b/Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampIntroduction2017.md similarity index 100% rename from Literature Notes/.archive/stevebruntonControlBootcampIntroduction2017.md rename to Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampIntroduction2017.md diff --git a/Literature Notes/.archive/stevebruntonControlBootcampLimitations2017.md b/Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampLimitations2017.md similarity index 100% rename from Literature Notes/.archive/stevebruntonControlBootcampLimitations2017.md rename to Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampLimitations2017.md diff --git a/Literature Notes/.archive/stevebruntonControlBootcampSensitivity2017.md b/Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampSensitivity2017.md similarity index 100% rename from Literature Notes/.archive/stevebruntonControlBootcampSensitivity2017.md rename to Zettelkasten/Literature Notes/.archive/stevebruntonControlBootcampSensitivity2017.md diff --git a/Literature Notes/.archive/sunSoKAttacksIndustrial2021.md b/Zettelkasten/Literature Notes/.archive/sunSoKAttacksIndustrial2021.md similarity index 100% rename from Literature Notes/.archive/sunSoKAttacksIndustrial2021.md rename to Zettelkasten/Literature Notes/.archive/sunSoKAttacksIndustrial2021.md diff --git a/Literature Notes/.archive/testoniReviewNuclearMicroreactors2021.md b/Zettelkasten/Literature Notes/.archive/testoniReviewNuclearMicroreactors2021.md similarity index 100% rename from Literature Notes/.archive/testoniReviewNuclearMicroreactors2021.md rename to Zettelkasten/Literature Notes/.archive/testoniReviewNuclearMicroreactors2021.md diff --git a/Literature Notes/A Novel Lane Change Decision-Making Model of Autonomous Vehicle Based on Support Vector Machine.md b/Zettelkasten/Literature Notes/A Novel Lane Change Decision-Making Model of Autonomous Vehicle Based on Support Vector Machine.md similarity index 100% rename from Literature Notes/A Novel Lane Change Decision-Making Model of Autonomous Vehicle Based on Support Vector Machine.md rename to Zettelkasten/Literature Notes/A Novel Lane Change Decision-Making Model of Autonomous Vehicle Based on Support Vector Machine.md diff --git a/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 similarity index 100% rename from Literature Notes/A Review of Formal Methods applied to Machine Learning.md rename to Zettelkasten/Literature Notes/A Review of Formal Methods applied to Machine Learning.md diff --git a/Literature Notes/A Unified View of Piecewise Linear Neural Network Verification.md b/Zettelkasten/Literature Notes/A Unified View of Piecewise Linear Neural Network Verification.md similarity index 100% rename from Literature Notes/A Unified View of Piecewise Linear Neural Network Verification.md rename to Zettelkasten/Literature Notes/A Unified View of Piecewise Linear Neural Network Verification.md diff --git a/Literature Notes/A systematic classification of neural-network-based control.md b/Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md similarity index 96% rename from Literature Notes/A systematic classification of neural-network-based control.md rename to Zettelkasten/Literature Notes/A systematic classification of neural-network-based control.md index 1a970a0cb..0fd129f23 100644 --- a/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 -![[Notes on Papers/A systematic classification of neural-network-based control.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/A systematic classification of neural-network-based control]] ## Highlights From Zotero >[!highlight] Highlight diff --git a/Literature Notes/An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.md b/Zettelkasten/Literature Notes/An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.md similarity index 100% rename from Literature Notes/An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.md rename to Zettelkasten/Literature Notes/An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.md diff --git a/Literature Notes/An autonomous control framework for advanced reactors.md b/Zettelkasten/Literature Notes/An autonomous control framework for advanced reactors.md similarity index 99% rename from Literature Notes/An autonomous control framework for advanced reactors.md rename to Zettelkasten/Literature Notes/An autonomous control framework for advanced reactors.md index 2c123e983..ccaa97a69 100644 --- a/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 -![[Notes on Papers/An autonomous control framework for advanced reactors.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/An autonomous control framework for advanced reactors]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/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 similarity index 97% rename from Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md rename to Zettelkasten/Literature Notes/Automation levels for nuclear reactor operations - A revised perspective.md index 46ac6a620..08d5fbc76 100644 --- a/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 @@ -36,7 +36,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]] ## Highlights From Zotero >[!highlight] Highlight diff --git a/Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md b/Zettelkasten/Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md similarity index 100% rename from Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md rename to Zettelkasten/Literature Notes/Differential neural networks for robust nonlinear control - identification, state estimation and trajectory tracking.md diff --git a/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 similarity index 97% rename from Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md rename to Zettelkasten/Literature Notes/Economics and finance of Small Modular Reactors - A systematic review and research agenda.md index 989fd2dfa..87439db7b 100644 --- a/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 -![[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]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Literature Notes/Effectiveness and efficiency of search methods in systematic reviews of complex evidence - audit of primary sources.md b/Zettelkasten/Literature Notes/Effectiveness and efficiency of search methods in systematic reviews of complex evidence - audit of primary sources.md similarity index 100% rename from Literature Notes/Effectiveness and efficiency of search methods in systematic reviews of complex evidence - audit of primary sources.md rename to Zettelkasten/Literature Notes/Effectiveness and efficiency of search methods in systematic reviews of complex evidence - audit of primary sources.md diff --git a/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 similarity index 100% rename from Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md rename to Zettelkasten/Literature Notes/Enhancing Cyber-Physical System Dependability via Synthesis - Challenges and Future Directions.md diff --git a/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 similarity index 97% rename from Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md rename to Zettelkasten/Literature Notes/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md index 99d6d9ca1..62bb38033 100644 --- a/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 -![[Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/Evaluating Robustness of Neural Networks with Mixed Integer Programming]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Literature Notes/Formal Verification of Avionics Software Products.md b/Zettelkasten/Literature Notes/Formal Verification of Avionics Software Products.md similarity index 100% rename from Literature Notes/Formal Verification of Avionics Software Products.md rename to Zettelkasten/Literature Notes/Formal Verification of Avionics Software Products.md diff --git a/Literature Notes/Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.md b/Zettelkasten/Literature Notes/Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.md similarity index 100% rename from Literature Notes/Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.md rename to Zettelkasten/Literature Notes/Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks.md diff --git a/Literature Notes/Formal requirements elicitation with FRET.md b/Zettelkasten/Literature Notes/Formal requirements elicitation with FRET.md similarity index 89% rename from Literature Notes/Formal requirements elicitation with FRET.md rename to Zettelkasten/Literature Notes/Formal requirements elicitation with FRET.md index 141d54158..0e1381a7a 100644 --- a/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 -![[Notes on Papers/Formal requirements elicitation with FRET.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Literature Notes/Formal verification of neural network controlled autonomous systems.md b/Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md similarity index 98% rename from Literature Notes/Formal verification of neural network controlled autonomous systems.md rename to Zettelkasten/Literature Notes/Formal verification of neural network controlled autonomous systems.md index 1018bf7ef..375a2e66e 100644 --- a/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 -![[Notes on Papers/Formal verification of neural network controlled autonomous systems]] +![[Zettelkasten/Literature Notes/Notes on Papers/Formal verification of neural network controlled autonomous systems]] ## Highlights From Zotero >[!highlight] Highlight diff --git a/Literature Notes/Literature Note.md b/Zettelkasten/Literature Notes/Literature Note.md similarity index 100% rename from Literature Notes/Literature Note.md rename to Zettelkasten/Literature Notes/Literature Note.md diff --git a/Literature Notes/Neural network-based flight control systems - Present and future.md b/Zettelkasten/Literature Notes/Neural network-based flight control systems - Present and future.md similarity index 100% rename from Literature Notes/Neural network-based flight control systems - Present and future.md rename to Zettelkasten/Literature Notes/Neural network-based flight control systems - Present and future.md diff --git a/Literature Notes/Nonlinear Identification and Control.md b/Zettelkasten/Literature Notes/Nonlinear Identification and Control.md similarity index 100% rename from Literature Notes/Nonlinear Identification and Control.md rename to Zettelkasten/Literature Notes/Nonlinear Identification and Control.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/Notes on Papers/Formal requirements elicitation with FRET.md b/Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET.md similarity index 100% rename from Notes on Papers/Formal requirements elicitation with FRET.md rename to Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/Notes on Papers/Hardware In The Loop Papers.md b/Zettelkasten/Literature Notes/Notes on Papers/Hardware In The Loop Papers.md similarity index 100% rename from Notes on Papers/Hardware In The Loop Papers.md rename to Zettelkasten/Literature Notes/Notes on Papers/Hardware In The Loop Papers.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md b/Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md similarity index 100% rename from Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md rename to Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md diff --git a/Notes on Papers/Safe Reinforcement Learning via Shielding.md b/Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding.md similarity index 100% rename from Notes on Papers/Safe Reinforcement Learning via Shielding.md rename to Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding.md diff --git a/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.md similarity index 100% rename from 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.md diff --git a/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 similarity index 98% rename from Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md rename to Zettelkasten/Literature Notes/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md index 3a1fbdd45..1f3e587b2 100644 --- a/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 -![[Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers]] +![[Zettelkasten/Literature Notes/Notes on Papers/On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers]] ## Highlights From Zotero >[!done] Important diff --git a/Literature Notes/Opportunities and Challenges for Remote Microreactor Operations.md b/Zettelkasten/Literature Notes/Opportunities and Challenges for Remote Microreactor Operations.md similarity index 100% rename from Literature Notes/Opportunities and Challenges for Remote Microreactor Operations.md rename to Zettelkasten/Literature Notes/Opportunities and Challenges for Remote Microreactor Operations.md diff --git a/Literature Notes/Opportunities, Challenges, and Research Needs for Remote Microreactor Operations.md b/Zettelkasten/Literature Notes/Opportunities, Challenges, and Research Needs for Remote Microreactor Operations.md similarity index 100% rename from Literature Notes/Opportunities, Challenges, and Research Needs for Remote Microreactor Operations.md rename to Zettelkasten/Literature Notes/Opportunities, Challenges, and Research Needs for Remote Microreactor Operations.md diff --git a/Literature Notes/Output Range Analysis for Deep Feedforward Neural Networks.md b/Zettelkasten/Literature Notes/Output Range Analysis for Deep Feedforward Neural Networks.md similarity index 100% rename from Literature Notes/Output Range Analysis for Deep Feedforward Neural Networks.md rename to Zettelkasten/Literature Notes/Output Range Analysis for Deep Feedforward Neural Networks.md diff --git a/Literature Notes/Reachability Analysis of Deep Neural Networks with Provable Guarantees.md b/Zettelkasten/Literature Notes/Reachability Analysis of Deep Neural Networks with Provable Guarantees.md similarity index 100% rename from Literature Notes/Reachability Analysis of Deep Neural Networks with Provable Guarantees.md rename to Zettelkasten/Literature Notes/Reachability Analysis of Deep Neural Networks with Provable Guarantees.md diff --git a/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 similarity index 100% rename from Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md rename to Zettelkasten/Literature Notes/Reluplex - An Efficient SMT Solver for Verifying Deep Neural Networks.md diff --git a/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 similarity index 97% rename from Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md rename to Zettelkasten/Literature Notes/Remote nuclear microreactors - a preliminary economic evaluation of digital twins and centralized offsite control.md index 90a0dc697..f171b4c33 100644 --- a/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 -![[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]] ## Highlights From Zotero >[!warning] Dubious diff --git a/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md b/Zettelkasten/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md similarity index 99% rename from Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md rename to Zettelkasten/Literature Notes/Runtime Safety Assurance Using Reinforcement Learning.md index 0b14d2d06..7de7e2732 100644 --- a/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 -![[Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning.md]] +![[Zettelkasten/Literature Notes/Notes on Papers/Runtime Safety Assurance Using Reinforcement Learning]] ## Highlights From Zotero >[!tip] Brilliant diff --git a/Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md b/Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md similarity index 100% rename from Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md rename to Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding under Partial Observability.md diff --git a/Literature Notes/Safe Reinforcement Learning via Shielding.md b/Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md similarity index 96% rename from Literature Notes/Safe Reinforcement Learning via Shielding.md rename to Zettelkasten/Literature Notes/Safe Reinforcement Learning via Shielding.md index a0bcc892e..5e29162cf 100644 --- a/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 -![[Notes on Papers/Safe Reinforcement Learning via Shielding]] +![[Zettelkasten/Literature Notes/Notes on Papers/Safe Reinforcement Learning via Shielding]] ## Highlights From Zotero diff --git a/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 similarity index 100% rename from Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md rename to Zettelkasten/Literature Notes/The Past, Present and Future of Cyber-Physical Systems - A Focus on Models.md diff --git a/Literature Notes/agarwalSystematicClassificationNeuralnetworkbased1997/image-4-x57-y442.png b/Zettelkasten/Literature Notes/agarwalSystematicClassificationNeuralnetworkbased1997/image-4-x57-y442.png similarity index 100% rename from Literature Notes/agarwalSystematicClassificationNeuralnetworkbased1997/image-4-x57-y442.png rename to Zettelkasten/Literature Notes/agarwalSystematicClassificationNeuralnetworkbased1997/image-4-x57-y442.png