vault backup: 2024-12-13 09:31:28
This commit is contained in:
parent
6c3c89f43f
commit
d80eefd956
@ -1187,7 +1187,7 @@ Opportunities and Challenges toward Responsible AI.pdf}
|
||||
@article{benidirExtendedTableEliminating1990,
|
||||
title = {Extended Table for Eliminating the Singularities in {{Routh}}'s Array},
|
||||
author = {Benidir, M. and Picinbono, B.},
|
||||
year = {Feb./1990},
|
||||
date = {1990-02},
|
||||
journaltitle = {IEEE Transactions on Automatic Control},
|
||||
shortjournal = {IEEE Trans. Automat. Contr.},
|
||||
volume = {35},
|
||||
@ -3561,7 +3561,7 @@ Artificial Intelligence Program.pdf}
|
||||
@article{einickeRobustExtendedKalman1999,
|
||||
title = {Robust Extended {{Kalman}} Filtering},
|
||||
author = {Einicke, G.A. and White, L.B.},
|
||||
year = {Sept./1999},
|
||||
date = {1999-09},
|
||||
journaltitle = {IEEE Transactions on Signal Processing},
|
||||
shortjournal = {IEEE Trans. Signal Process.},
|
||||
volume = {47},
|
||||
@ -3894,6 +3894,13 @@ Artificial Intelligence Program.pdf}
|
||||
institution = {Center for Workforce Information \& Analysis}
|
||||
}
|
||||
|
||||
@online{EVinciMicroreactorWestinghouse,
|
||||
title = {{{eVinci}}™ {{Microreactor}} | {{Westinghouse Nuclear}}},
|
||||
url = {https://westinghousenuclear.com/energy-systems/evinci-microreactor/},
|
||||
urldate = {2024-12-10},
|
||||
file = {/home/danesabo/Zotero/storage/9S4TABYY/evinci-microreactor.html}
|
||||
}
|
||||
|
||||
@online{ExplainableVerificationSurvey2024,
|
||||
title = {Explainable {{Verification}}: {{Survey}}, {{Situations}}, and {{New Ideas}}},
|
||||
shorttitle = {Explainable {{Verification}}},
|
||||
@ -5642,6 +5649,13 @@ Regulatory Premises.pdf}
|
||||
file = {/home/danesabo/Zotero/storage/5HM8P7BE/ariane5.pdf}
|
||||
}
|
||||
|
||||
@online{HttpsWwwnrcgovDocs,
|
||||
title = {{{https://www.nrc.gov/docs/ml0929/ml092950511.pdf}}},
|
||||
url = {https://www.nrc.gov/docs/ml0929/ml092950511.pdf},
|
||||
urldate = {2024-12-10},
|
||||
file = {/home/danesabo/Zotero/storage/L5XNSBSG/ml092950511.pdf}
|
||||
}
|
||||
|
||||
@online{HttpsWwwWhitehouse,
|
||||
title = {{{https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf}}},
|
||||
url = {https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf},
|
||||
@ -6759,6 +6773,13 @@ Regulatory Premises.pdf}
|
||||
file = {/home/danesabo/Zotero/storage/PC3HFWNV/Kong et al. - 2015 - dReach δ-Reachability Analysis for Hybrid Systems.pdf}
|
||||
}
|
||||
|
||||
@article{korsahNUREGCR6992Instrumentation,
|
||||
title = {{{NUREG}}/{{CR-6992}}, {{Instrumentation}} and {{Controls}} in {{Nuclear Power Plants}}: {{An Emerging Technologies Update}}.},
|
||||
author = {Korsah, Kofi},
|
||||
langid = {english},
|
||||
file = {/home/danesabo/Zotero/storage/IHLKJNGI/Korsah - NUREGCR-6992, Instrumentation and Controls in Nuclear Power Plants An Emerging Technologies Updat.pdf}
|
||||
}
|
||||
|
||||
@inproceedings{kottlerFormalVerificationLadder2017,
|
||||
title = {Formal Verification of Ladder Logic Programs Using {{NuSMV}}},
|
||||
booktitle = {{{SoutheastCon}} 2017},
|
||||
@ -8138,6 +8159,13 @@ Insights from the Social Sciences.pdf}
|
||||
file = {/home/danesabo/Zotero/storage/JBSEDF23/Mitra and Chandy - 2008 - A Formalized Theory for Verifying Stability and Co.pdf}
|
||||
}
|
||||
|
||||
@online{MITREATTCK,
|
||||
title = {{{MITRE ATT}}\&{{CK}}®},
|
||||
url = {https://attack.mitre.org/},
|
||||
urldate = {2024-12-10},
|
||||
file = {/home/danesabo/Zotero/storage/2MFSA9E2/attack.mitre.org.html}
|
||||
}
|
||||
|
||||
@online{MizarHomePage,
|
||||
title = {Mizar {{Home Page}}},
|
||||
url = {http://mizar.org/},
|
||||
@ -9809,7 +9837,7 @@ Insights from the Social Sciences.pdf}
|
||||
@article{picinbonoSecondorderComplexRandom1996,
|
||||
title = {Second-Order Complex Random Vectors and Normal Distributions},
|
||||
author = {Picinbono, B.},
|
||||
year = {Oct./1996},
|
||||
date = {1996-10},
|
||||
journaltitle = {IEEE Transactions on Signal Processing},
|
||||
shortjournal = {IEEE Trans. Signal Process.},
|
||||
volume = {44},
|
||||
@ -11149,7 +11177,7 @@ Subject\_term: Careers, Politics, Policy},
|
||||
@article{shevitzLyapunovStabilityTheory1994,
|
||||
title = {Lyapunov Stability Theory of Nonsmooth Systems},
|
||||
author = {Shevitz, D. and Paden, B.},
|
||||
year = {Sept./1994},
|
||||
date = {1994-09},
|
||||
journaltitle = {IEEE Transactions on Automatic Control},
|
||||
shortjournal = {IEEE Trans. Automat. Contr.},
|
||||
volume = {39},
|
||||
@ -12308,6 +12336,13 @@ Subject\_term: Careers, Politics, Policy},
|
||||
file = {/home/danesabo/Zotero/storage/CGT7IB7B/tikzpgfmanual.pdf}
|
||||
}
|
||||
|
||||
@online{TippingPointsSpace,
|
||||
title = {Tipping {{Points}} of {{Space Debris}} in {{Low Earth Orbit}} | {{International Journal}} of the {{Commons}}},
|
||||
url = {https://thecommonsjournal.org/articles/10.5334/ijc.1275},
|
||||
urldate = {2024-12-12},
|
||||
file = {/home/danesabo/Zotero/storage/HBVNXACD/Tipping Points of Space Debris in LEO - Supplement-1.pdf;/home/danesabo/Zotero/storage/HIL8DKDV/Tipping Points of Space Debris in Low Earth Orbit International Journal of the Commons.pdf;/home/danesabo/Zotero/storage/QG7TULMU/ijc.html}
|
||||
}
|
||||
|
||||
@article{titlesec,
|
||||
title = {Titlesec, Titleps and Titletoc {{Packages}}},
|
||||
author = {Bezos, Javier},
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user