diff --git a/.claude/commands/weekly-report.md b/.claude/commands/weekly-report.md index a02388ee6..958dd7270 100644 --- a/.claude/commands/weekly-report.md +++ b/.claude/commands/weekly-report.md @@ -36,11 +36,23 @@ Run `task modified.after:[wednesday-7days] modified.before:[wednesday] status:pe Run `task end.after:[wednesday-7days] end.before:[wednesday] status:deleted` to get tasks that were cancelled/deleted in the past 7 days. Present as a bulleted list with strikethrough (~~task~~). ## To Do -Run `task due.after:[wednesday] due.before:[wednesday+7days] status:pending` to get all tasks due in the 7 days after Wednesday. Group them by: -- Immediate (due within 24 hours from now) -- Due dates throughout the week -- Group related tasks together (e.g., tasks with dependencies) -Present them as a clear bulleted list with due dates. +First, run `task due.after:[wednesday] due.before:[wednesday+7days] status:pending` to get all tasks due in the 7 days after Wednesday. + +Additionally, run `task status:pending rc.report.next.sort=urgency- limit:10` to get the top 10 highest urgency pending tasks. + +Combine these lists (removing duplicates) and present them organized as: + +**Due This Week** +- Tasks that have due dates within the next 7 days +- Group by immediacy (due within 24 hours, then by date) +- Show due dates + +**High Priority** +- High urgency tasks that aren't already listed above +- Sort by urgency (highest first) +- Show urgency score if helpful + +Present as a clear bulleted list with project names and relevant dates/urgency info. After creating the file, tell me the filename and location where it was saved. diff --git a/.task/backlog.data b/.task/backlog.data index 161497e98..8ac770964 100644 --- a/.task/backlog.data +++ b/.task/backlog.data @@ -320,3 +320,12 @@ {"description":"Read Proposal 6","end":"20251117T180749Z","entry":"20251113T163725Z","modified":"20251117T180749Z","project":"ERLM","status":"completed","uuid":"b5c399b8-7d6a-4567-82ac-7518083bd975"} {"description":"Read Proposal 2","end":"20251117T180802Z","entry":"20251113T163725Z","modified":"20251117T180802Z","project":"ERLM","status":"completed","uuid":"efe3b2d7-0ced-4559-8d06-fce66df6b17a"} {"description":"Mock Peer Review Assignment","due":"20251117T170000Z","end":"20251117T180813Z","entry":"20251111T184240Z","modified":"20251117T180813Z","project":"ERLM","status":"completed","uuid":"f2c3f1e5-b50d-4e03-a57f-41dfaf83c250","depends":["b21053d0-2061-4010-9434-15db418d5d6b","b5c399b8-7d6a-4567-82ac-7518083bd975","efe3b2d7-0ced-4559-8d06-fce66df6b17a"]} +{"description":"Submit enrollment form to Antoine","due":"20251117T050000Z","end":"20251119T170850Z","entry":"20251112T191455Z","modified":"20251119T170850Z","status":"completed","uuid":"86401e85-9e08-4451-b609-007f264fc83b"} +{"description":"Add Karniadakis to list of candidates","end":"20251119T170857Z","entry":"20251113T194624Z","modified":"20251119T170906Z","project":"Chair-Search","status":"deleted","uuid":"b505a96b-5e89-4fb6-9ec8-617e38101bcf"} +{"description":"Email Shamma and Karniadakis about chair position","due":"20251118T050000Z","end":"20251119T170910Z","entry":"20251113T194646Z","modified":"20251119T170910Z","project":"Chair-Search","status":"completed","uuid":"e55e55b1-6893-416a-8257-dd21c617d65d","depends":["b505a96b-5e89-4fb6-9ec8-617e38101bcf"]} +{"description":"finish peer reviews","entry":"20251119T170926Z","modified":"20251119T170926Z","project":"ERLM","status":"pending","uuid":"6d9589a6-37d9-4447-aaa4-197affc63409"} +{"description":"finish peer reviews","end":"20251119T172718Z","entry":"20251119T170926Z","modified":"20251119T172718Z","project":"ERLM","status":"completed","uuid":"6d9589a6-37d9-4447-aaa4-197affc63409"} +{"description":"Review interview questions","due":"20251124T050000Z","entry":"20251121T184207Z","modified":"20251121T184207Z","project":"Chair-Search","status":"pending","uuid":"1156892a-3889-4b9d-baea-01e4802fd755"} +{"description":"Get information from FSAE about job placements and a couple sentences about their value for the website","due":"20251126T050000Z","entry":"20251121T184558Z","modified":"20251121T184558Z","project":"Chair-Search","status":"pending","uuid":"fb997f7c-c3d8-4f3c-b02c-f6d55cc9b1c8"} +{"description":"Make list of tasks for contact about student groups","due":"20251126T050000Z","entry":"20251121T184623Z","modified":"20251121T184623Z","project":"Chair-Search","status":"pending","uuid":"0addf099-132c-41af-90d8-19f5f9a9c832"} +{"description":"How do we handle numerical barriers when creating discrete automata?","entry":"20251124T170306Z","modified":"20251124T170306Z","project":"Thesis","status":"pending","uuid":"1f202b4d-6925-46a2-9b61-029312d61635","tags":["question"]} diff --git a/.task/completed.data b/.task/completed.data index 21b4c4bac..741b64d08 100644 --- a/.task/completed.data +++ b/.task/completed.data @@ -1,3 +1,7 @@ +[description:"finish peer reviews" end:"1763573238" entry:"1763572166" modified:"1763573238" project:"ERLM" status:"completed" uuid:"6d9589a6-37d9-4447-aaa4-197affc63409"] +[description:"Submit enrollment form to Antoine" due:"1763355600" end:"1763572130" entry:"1762974895" modified:"1763572130" status:"completed" uuid:"86401e85-9e08-4451-b609-007f264fc83b"] +[description:"Add Karniadakis to list of candidates" end:"1763572137" entry:"1763063184" modified:"1763572146" project:"Chair-Search" status:"deleted" uuid:"b505a96b-5e89-4fb6-9ec8-617e38101bcf"] +[dep_b505a96b-5e89-4fb6-9ec8-617e38101bcf:"x" depends:"b505a96b-5e89-4fb6-9ec8-617e38101bcf" description:"Email Shamma and Karniadakis about chair position" due:"1763442000" end:"1763572150" entry:"1763063206" modified:"1763572150" project:"Chair-Search" status:"completed" uuid:"e55e55b1-6893-416a-8257-dd21c617d65d"] [dep_b21053d0-2061-4010-9434-15db418d5d6b:"x" dep_b5c399b8-7d6a-4567-82ac-7518083bd975:"x" dep_efe3b2d7-0ced-4559-8d06-fce66df6b17a:"x" depends:"b21053d0-2061-4010-9434-15db418d5d6b,b5c399b8-7d6a-4567-82ac-7518083bd975,efe3b2d7-0ced-4559-8d06-fce66df6b17a" description:"Mock Peer Review Assignment" due:"1763398800" end:"1763402893" entry:"1762886560" modified:"1763402893" project:"ERLM" status:"completed" uuid:"f2c3f1e5-b50d-4e03-a57f-41dfaf83c250"] [description:"Read Proposal 2" end:"1763402882" entry:"1763051845" modified:"1763402882" project:"ERLM" status:"completed" uuid:"efe3b2d7-0ced-4559-8d06-fce66df6b17a"] [description:"Read Proposal 6" end:"1763402869" entry:"1763051845" modified:"1763402869" project:"ERLM" status:"completed" uuid:"b5c399b8-7d6a-4567-82ac-7518083bd975"] diff --git a/.task/pending.data b/.task/pending.data index a88d24ccd..2717db6d8 100644 --- a/.task/pending.data +++ b/.task/pending.data @@ -60,6 +60,7 @@ [description:"Draft Presentations" due:"1763787540" entry:"1762886561" modified:"1762886561" project:"ERLM" status:"pending" uuid:"aa7dde10-50d7-4e92-8732-e9f97e049fd9"] [description:"Tune up state of the art for Proposal" due:"1764997140" entry:"1762886561" modified:"1762886561" project:"ERLM" status:"pending" uuid:"953a73fa-aadc-4112-bf98-7a4825068053"] [description:"Final Presentations" due:"1765213200" entry:"1762886561" modified:"1762886561" project:"ERLM" status:"pending" uuid:"538a2b60-16d5-4033-a40f-d45653b9a5a5"] -[description:"Submit enrollment form to Antoine" due:"1763355600" entry:"1762974895" modified:"1762974895" status:"pending" uuid:"86401e85-9e08-4451-b609-007f264fc83b"] -[description:"Add Karniadakis to list of candidates" entry:"1763063184" modified:"1763063184" project:"Chair-Search" status:"pending" uuid:"b505a96b-5e89-4fb6-9ec8-617e38101bcf"] -[dep_b505a96b-5e89-4fb6-9ec8-617e38101bcf:"x" depends:"b505a96b-5e89-4fb6-9ec8-617e38101bcf" description:"Email Shamma and Karniadakis about chair position" due:"1763442000" entry:"1763063206" modified:"1763063206" project:"Chair-Search" status:"pending" uuid:"e55e55b1-6893-416a-8257-dd21c617d65d"] +[description:"Review interview questions" due:"1763960400" entry:"1763750527" modified:"1763750527" project:"Chair-Search" status:"pending" uuid:"1156892a-3889-4b9d-baea-01e4802fd755"] +[description:"Get information from FSAE about job placements and a couple sentences about their value for the website" due:"1764133200" entry:"1763750758" modified:"1763750758" project:"Chair-Search" status:"pending" uuid:"fb997f7c-c3d8-4f3c-b02c-f6d55cc9b1c8"] +[description:"Make list of tasks for contact about student groups" due:"1764133200" entry:"1763750783" modified:"1763750783" project:"Chair-Search" status:"pending" uuid:"0addf099-132c-41af-90d8-19f5f9a9c832"] +[description:"How do we handle numerical barriers when creating discrete automata?" entry:"1764003786" modified:"1764003786" project:"Thesis" status:"pending" tags:"question" tags_question:"x" uuid:"1f202b4d-6925-46a2-9b61-029312d61635"] diff --git a/.task/undo.data b/.task/undo.data index 6792d6452..1c33de098 100644 --- a/.task/undo.data +++ b/.task/undo.data @@ -1148,3 +1148,34 @@ time 1763402893 old [dep_b21053d0-2061-4010-9434-15db418d5d6b:"x" dep_b5c399b8-7d6a-4567-82ac-7518083bd975:"x" dep_efe3b2d7-0ced-4559-8d06-fce66df6b17a:"x" depends:"b21053d0-2061-4010-9434-15db418d5d6b,b5c399b8-7d6a-4567-82ac-7518083bd975,efe3b2d7-0ced-4559-8d06-fce66df6b17a" description:"Mock Peer Review Assignment" due:"1763398800" entry:"1762886560" modified:"1763051854" project:"ERLM" status:"pending" uuid:"f2c3f1e5-b50d-4e03-a57f-41dfaf83c250"] new [dep_b21053d0-2061-4010-9434-15db418d5d6b:"x" dep_b5c399b8-7d6a-4567-82ac-7518083bd975:"x" dep_efe3b2d7-0ced-4559-8d06-fce66df6b17a:"x" depends:"b21053d0-2061-4010-9434-15db418d5d6b,b5c399b8-7d6a-4567-82ac-7518083bd975,efe3b2d7-0ced-4559-8d06-fce66df6b17a" description:"Mock Peer Review Assignment" due:"1763398800" end:"1763402893" entry:"1762886560" modified:"1763402893" project:"ERLM" status:"completed" uuid:"f2c3f1e5-b50d-4e03-a57f-41dfaf83c250"] --- +time 1763572130 +old [description:"Submit enrollment form to Antoine" due:"1763355600" entry:"1762974895" modified:"1762974895" status:"pending" uuid:"86401e85-9e08-4451-b609-007f264fc83b"] +new [description:"Submit enrollment form to Antoine" due:"1763355600" end:"1763572130" entry:"1762974895" modified:"1763572130" status:"completed" uuid:"86401e85-9e08-4451-b609-007f264fc83b"] +--- +time 1763572146 +old [description:"Add Karniadakis to list of candidates" entry:"1763063184" modified:"1763063184" project:"Chair-Search" status:"pending" uuid:"b505a96b-5e89-4fb6-9ec8-617e38101bcf"] +new [description:"Add Karniadakis to list of candidates" end:"1763572137" entry:"1763063184" modified:"1763572146" project:"Chair-Search" status:"deleted" uuid:"b505a96b-5e89-4fb6-9ec8-617e38101bcf"] +--- +time 1763572150 +old [dep_b505a96b-5e89-4fb6-9ec8-617e38101bcf:"x" depends:"b505a96b-5e89-4fb6-9ec8-617e38101bcf" description:"Email Shamma and Karniadakis about chair position" due:"1763442000" entry:"1763063206" modified:"1763063206" project:"Chair-Search" status:"pending" uuid:"e55e55b1-6893-416a-8257-dd21c617d65d"] +new [dep_b505a96b-5e89-4fb6-9ec8-617e38101bcf:"x" depends:"b505a96b-5e89-4fb6-9ec8-617e38101bcf" description:"Email Shamma and Karniadakis about chair position" due:"1763442000" end:"1763572150" entry:"1763063206" modified:"1763572150" project:"Chair-Search" status:"completed" uuid:"e55e55b1-6893-416a-8257-dd21c617d65d"] +--- +time 1763572166 +new [description:"finish peer reviews" entry:"1763572166" modified:"1763572166" project:"ERLM" status:"pending" uuid:"6d9589a6-37d9-4447-aaa4-197affc63409"] +--- +time 1763573238 +old [description:"finish peer reviews" entry:"1763572166" modified:"1763572166" project:"ERLM" status:"pending" uuid:"6d9589a6-37d9-4447-aaa4-197affc63409"] +new [description:"finish peer reviews" end:"1763573238" entry:"1763572166" modified:"1763573238" project:"ERLM" status:"completed" uuid:"6d9589a6-37d9-4447-aaa4-197affc63409"] +--- +time 1763750527 +new [description:"Review interview questions" due:"1763960400" entry:"1763750527" modified:"1763750527" project:"Chair-Search" status:"pending" uuid:"1156892a-3889-4b9d-baea-01e4802fd755"] +--- +time 1763750758 +new [description:"Get information from FSAE about job placements and a couple sentences about their value for the website" due:"1764133200" entry:"1763750758" modified:"1763750758" project:"Chair-Search" status:"pending" uuid:"fb997f7c-c3d8-4f3c-b02c-f6d55cc9b1c8"] +--- +time 1763750783 +new [description:"Make list of tasks for contact about student groups" due:"1764133200" entry:"1763750783" modified:"1763750783" project:"Chair-Search" status:"pending" uuid:"0addf099-132c-41af-90d8-19f5f9a9c832"] +--- +time 1764003786 +new [description:"How do we handle numerical barriers when creating discrete automata?" entry:"1764003786" modified:"1764003786" project:"Thesis" status:"pending" tags:"question" tags_question:"x" uuid:"1f202b4d-6925-46a2-9b61-029312d61635"] +--- diff --git a/Class_Work/engr3100/0001_review.pdf b/Class_Work/engr3100/0001_review.pdf index a0b0c9d17..7d07775a1 100644 Binary files a/Class_Work/engr3100/0001_review.pdf and b/Class_Work/engr3100/0001_review.pdf differ diff --git a/Class_Work/engr3100/0002_review.pdf b/Class_Work/engr3100/0002_review.pdf new file mode 100644 index 000000000..d03f3adce Binary files /dev/null and b/Class_Work/engr3100/0002_review.pdf differ diff --git a/Presentations/ERLM/actual-presentation-outline.md b/Presentations/ERLM/actual-presentation-outline.md new file mode 100644 index 000000000..e6d1ba8a7 --- /dev/null +++ b/Presentations/ERLM/actual-presentation-outline.md @@ -0,0 +1,184 @@ +# Presentation Outline: ERLM Presentation + +Audience: +- Engineering PhD students +- Dr. Cole, +- Potentially other faculty members. + +Presentation Style: +Proposal, Assertion Evidence + +## SLIDE 1: HOOK + +### Message +**THE UNITED STATES STANDS ON THE PRECIPICE OF A SEVERE +ENERGY CRISIS** + +1. We're looking down the barrel of a severe energy shortage + with the introduction of data centers for AI buildout +2. The cheapest way to build new power right now is natural + gas combined cycle power plants +3. We also have a climate crisis, which nat gas definitely + will not help with +4. The only baseload power solution we have to meet this + demand is nuclear power + +*BUT NUCLEAR POWER IS VERY EXPENSIVE TO OPERATE* + +1. Nuclear power is actually really cheap when it comes to + fuel +2. What makes nuclear power expensive is capital and + operating costs. +3. Capital costs are being solved by new modular reactors +4. Labor costs today actually get worse figuring modular + reactors. Reason being same staff required for different +MWh +5. This is the challenge we're going to take on. By making + autonomous systems that are safe, we can eliminate +reliance on human operators + +### Presentation Strategy + +1. First, present a graph on energy consumption estimates in + US in a graph. +2. Then, show the LCOE of different forms of energy + production. Highlight the relative cost of labor and +operating costs. +3. LCOE costs expect large nuclear reactors. Modular + reactors on usually a third of the power, so labor costs +are a big deal. +4. Bullet ending, we need to reduce labor costs of advanced + nuclear power + +## SLIDE 2: STATE OF THE ART + +### Message +**Modern nuclear reactor operation is highly prescriptive +and labor intensive** + +1. We've been talking about labor, who's in the reactor + room? Usually a senior reactor operator, and 2-3 reactor +operators. Usually there's a chemist floating around too. +2. It's this staffing, 24/7/365 +3. Reactor operators are extensively trained individuals. + They have to train for multiple years and pass extensive +and recurrent examinations. +4. Reactor operator jobs aren't always super attractive + jobs. The work is somewhat monotonous, and requires +individuals to usually live in very rural locations. +5. What is the work? Well, it's extremely prescriptive + operations manuals. Nuclear reactors are so highly +regulated and capital intensive that procedures and their +creation happen in the design stage, before reactors are +built. Safety is ensured at the design stage. +6. Thus, we're using humans basically as controllers for + highly prescriptive tasks. +7. What are humans really good at? Well for the most part, + general intelligence. Humans can use judgement and adapt + to situations. + +*But, human operators in nuclear reactor operating rooms are +trained and instructed to follow strict procedural +guidelines.* + +8. There's also evidence that humans are actually not very + good at being controllers. +9. Humans have very limited baud rates. We can only perceive + so much information at a time, and the probability of +human error increases dramatically when we perceive an +emergency and are overwhelmed. +10. Enter, the whole damn field of human factors + engineering. We bend over backwards to design control +rooms and operating procedures to minimize the possibility +of human error. This takes a lot of time and is expensive to +implement. + +### Presentation Strategy + +1. First, show a picture of a reactor operating room, and + explain who the people are inside. +2. Explain how these operators are trained, the + qualifications necesssary +3. What are they actually doing in here? +4. Split screen with reactor design photo. Show that there's + a wall between them. +5. introduce point and details afterwards +6. Talk about how designing these procedures, building these + control rooms, and training these people is extremely +expensive + +## SLIDE 3: LIMITATIONS + +### Message +These are going to just be a summary of the limits. + +### Presentation strategy +Basically just a bulleted list of the limits. + +## SLIDE 4: RESEARCH APPROACH + +### Message +**We will create high assurance autonomous control systems +by breaking down the problem into smaller steps** + +1. One does not go from zero to hero easily with these + systems. +2. Instead, we're going to create a *chain of proof* that + our system is high assurance +3. We'll start with the procedures. We'll take the natural + language and turn them into FRETish requirements +4. We can do realizability checks at this point +5. We take the requirements from FRET as temporal logical + statements, and move to the next step +6. We take our temporal logic statements, and use reactive + synthesis tools to break them down into discrete automata +7. These are our switching behvaior between continuous + modes +8. Then, once we have this automata, we have two things: + 1. We have the switching behavior with the boundary + conditions + 2. We have a map of how one mode goes to another mode. +9. At this point, we will build individual controllers for + each of the discrete modes +10. To ensure the continuous dynamics actually satisfy + boundaries between states, we will use a couple of +techniques from formal methods. + 1. Reachability. Reachability will ensure that our input + and output conditions only satisfy the discrete + transition boundaries that we define. + 2. Barrier Certificates. These will ensure that on the + interfaces, we won't develop zeno behavior + +*Each of these links together is what will allow us to prove +that the whole system satisfies requirements.* + +### Presentation Strategy + +## SLIDE 5: METRICS OF SUCCESS + +### Message + +### Presentation Strategy + + +## SLIDE 6: RISKS AND CONTINGENCIES + +### Message + +### Presentation Strategy + + +## SLIDE 7: BROADER IMPACTS + +### Message + +### Presentation Strategy + + +## SLIDE 8: MONEY SLIDE + +### Message + +### Presentation Strategy + + diff --git a/Presentations/ERLM/main.aux b/Presentations/ERLM/main.aux index c4c01fe31..c7747bc8e 100644 --- a/Presentations/ERLM/main.aux +++ b/Presentations/ERLM/main.aux @@ -6,21 +6,9 @@ \@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} \@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{4/4}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {4}{4}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{5/5}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {5}{5}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{6/6}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {6}{6}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{7/7}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {7}{7}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{8}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{8}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{8}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {8}}} -\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {9}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{8/8}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {8}{8}}} -\gdef \@abspage@last{16} +\@writefile{nav}{\headcommand {\beamer@partpages {1}{2}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{2}}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{2}}} +\@writefile{nav}{\headcommand {\beamer@documentpages {2}}} +\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {2}}} +\gdef \@abspage@last{2} diff --git a/Presentations/ERLM/main.fdb_latexmk b/Presentations/ERLM/main.fdb_latexmk index 698c91f7d..93d12dc6a 100644 --- a/Presentations/ERLM/main.fdb_latexmk +++ b/Presentations/ERLM/main.fdb_latexmk @@ -1,29 +1,20 @@ # Fdb version 4 -["lualatex"] 1762980478.72303 "main.tex" "main.pdf" "main" 1762980481.22101 2 +["lualatex"] 1763671005.10711 "main.tex" "main.pdf" "main" 1763671006.49486 0 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1246382020 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1246382020 916 f87d7c45f9c908e672703b83b72241a3 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1246382020 924 9904cf1d39e9767e7a3622f2a125a565 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1246382020 928 2dc8d444221b7a635bb58038579b861a "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1246382020 908 2921f8a10601f252058503cc6570e581 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1246382020 940 75ac932a52f80982a9f8ea75d03a34cf "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1246382020 940 228d6584342e91276bf566bcf9716b83 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1136768653 992 662f679a0b3d2d53c1b94050fdaa3f50 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm" 1136768653 1528 abec98dbc43e172678c11b3b9031252a "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1136768653 1524 4414a8315f39513458b80dfc63bff03a "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm" 1136768653 1508 3b32edd0d68f6498a5a375e78f9edc5e "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1136768653 1512 f21f83efb36853c0b70002322c1ab3ad "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi7.tfm" 1136768653 1528 e2423ae06dc7dee599cceb79d1c9dc32 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1136768653 1520 eccf95517727cb11801f4f1aee3a21b4 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1136768653 1316 b636689f1933f24d1294acdf6041daaa "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1136768653 1324 37b971caf729d7edd9cbb9f9b0ea76eb "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss17.tfm" 1136768653 1320 ed93d62c5f2c16343826001f03341dbc "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1136768653 1296 d77f431d10d47c8ea2cc18cf45346274 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1136768653 1124 6c73e740cf17375f03eec0ee63599741 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy5.tfm" 1136768653 1112 14d5d5f6bd3c949edecb5b872f295553 "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1136768653 1116 933a60c408fc0a863a92debe84b2d294 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy7.tfm" 1136768653 1120 2b3f9b25605010c69bc328bea6ac000f "" - "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1136768653 1120 8b7d695260f3cff42e636090a8002094 "" "/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1461363279 71627 94eb9990bed73c364d7f53f960cc8c5b "" "/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" 1576625341 40635 c40361e206be584d448876bba8a64a3b "" "/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty" 1576016050 33961 6b5c75130e435b2bfdb9f480a09a39f9 "" @@ -260,7 +251,6 @@ "/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1601326656 443 8c872229db56122037e86bcda49e14f3 "" "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" 1601326656 348 ee405e64380c11319f0e249fed57e6c5 "" "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty" 1601326656 274 5ae372b7df79135d240456a1c6f2cf9a "" - "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfpages.sty" 1601326656 36299 1cc9347091c2fb861270e66da42a0a3e "" "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1601326656 325 f9f16d12354225b7dd52a3321f085955 "" "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty" 1601326656 2232 b9a67bccba736ed334b4b1a860a85c6f "" "/usr/share/texlive/texmf-dist/tex/latex/pgfplots/pgfplots.sty" 1496704190 4904 ee78b44e85d6fccf08cd99370557481e "" @@ -268,7 +258,6 @@ "/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" 1657483315 9714 ba3194bd52c8499b3f1e3eb91d409670 "" "/usr/share/texlive/texmf-dist/tex/latex/tex-ini-files/lualatexquotejobname.lua" 1700513690 1021 ae37ae5e20605f170274bb33ea1a0e3d "" "/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty" 1698869629 12667 e4b5eb11e4b7239e6c8a52bbe074a6c6 "" - "/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty" 1698869629 10214 547fd4d29642cb7c80bf54b49d447f01 "" "/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty" 1698869629 3468 0ef513f22d965f96b06adb5cff671cd7 "" "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict" 1596662134 3535 7dc96051305a7e943219126c49c44cd6 "" "/usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict" 1512078926 903 c6d17f0656e9e1abb172b4faebabd617 "" @@ -288,38 +277,31 @@ "/usr/share/texmf/fonts/tfm/public/lm/ec-lmsso12.tfm" 1254269338 11352 d9e290eeb53800a380f9d1e4c40ad6c8 "" "/usr/share/texmf/fonts/tfm/public/lm/ec-lmsso17.tfm" 1254269338 11356 c443b354551592cb6ab466c242281873 "" "/usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm" 1254269338 11312 6908420b41cb9ad797e206f7391721ea "" - "/usr/share/texmf/fonts/tfm/public/lm/ec-lmtt12.tfm" 1254269338 1368 6a60e6a5e029141041d64d339b87e533 "" "/usr/share/texmf/fonts/tfm/public/lm/rm-lmr12.tfm" 1254269338 11888 6841b91e46b65cf41a49b160e6e74130 "" "/usr/share/texmf/fonts/tfm/public/lm/rm-lmss12.tfm" 1254269338 11024 7a83ae8920360cd8bd5d0289069119dc "" + "/usr/share/texmf/fonts/type1/public/lm/lmss12.pfb" 1255129361 96107 daf52840b555e3b38f9679b629b5e2df "" + "/usr/share/texmf/fonts/type1/public/lm/lmssbx10.pfb" 1255129361 119663 e82fa1a58f98ccd89bdbd77311ac9cf1 "" + "/usr/share/texmf/fonts/type1/public/lm/lmsso8.pfb" 1255129361 106860 a773e4958b589eadcc5b01a914624508 "" "/usr/share/texmf/tex/latex/lm/ot1lmr.fd" 1616454256 1882 28c08db1407ebff35a658fd141753d16 "" "/usr/share/texmf/tex/latex/lm/ot1lmss.fd" 1616454256 1657 338c306198616f83902603448cf66d97 "" "/usr/share/texmf/tex/latex/lm/t1lmss.fd" 1616454256 1641 f48673bce41ac279099d0c9523459753 "" - "/usr/share/texmf/tex/latex/lm/t1lmtt.fd" 1616454256 2682 555da1faa2e266801e4b221d01a42cb5 "" "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1722610820.43889 128028 f533b797fba58d231669ea19e894e23e "" "/var/lib/texmf/web2c/luahbtex/lualatex.fmt" 1726005827 12241850 afe77aad1222fbf42eeb2a1860f5d5eb "" "images/back.jpg" 1761320217.92102 240691 0cb5c8c7430464955925d0babbadff74 "" "images/logo.png" 1761320217.92132 72759 d854b0b4145b18961bb2668be3694a61 "" "images/title.png" 1761320217.92144 7783 cf1b0502d51a4234f6adb5c03ec1ebaf "" - "main.aux" 1762980481.08822 1464 e3c540dbfa4bdfc15973ba13811922ba "lualatex" - "main.nav" 1762980481.08922 923 ecf3afe8be2bb3ef203bcea4504b36b5 "lualatex" - "main.out" 1762980479.99621 0 d41d8cd98f00b204e9800998ecf8427e "lualatex" - "main.tex" 1762979872.20271 2154 2868f66867177ee3a2a7793e8e546e79 "" - "sections/01_title.tex" 1762979043.95888 1046 3d2a33cd181fcde9f1098de4d5c75f8e "" - "sections/02_economic_challenge.tex" 1762980241.31271 1094 d176362b8c7bdf4301ac689ee3d68995 "" - "sections/03_safety_imperative.tex" 1762980328.69268 1760 090228aa1ab260dbbfb27a8e8291ac5d "" - "sections/04_the_paradox.tex" 1762980328.69558 1634 26f782e7961dd87d7119e9b9122042cc "" - "sections/05_hybrid_systems.tex" 1762980328.6982 1561 5cdca85b2189d7a5396ce32de269accd "" - "sections/06_current_gaps.tex" 1762980328.70187 1759 12cfba69d910f857f3cbef7556e1a134 "" - "sections/07_approach_overview.tex" 1762980328.70462 2476 29e7dcc6b54a1aa3f545e2e1bd5b86d7 "" - "sections/08_thrust1_procedures.tex" 1762980328.70724 1534 4a4170a8e6c4bd479e4545c46aa49f1f "" - "sections/09_thrust2_synthesis.tex" 1762980328.71027 2050 1b437b14ce458cba45507758c9ff87f9 "" - "sections/10_thrust3_continuous.tex" 1762980328.7132 1800 69b3ded317cbd5ec516c04f6a4269c51 "" - "sections/11_key_insight.tex" 1762980328.71705 1502 e3f069d85a9c075c7ac2a625f7599a49 "" - "sections/12_demonstration.tex" 1762980328.72035 1865 369498e3d0719eaef400b3b0d7aaf31c "" - "sections/13_outcomes.tex" 1762980328.72328 2148 83134e50c75082a3b3afaddfd4d0a29f "" - "sections/14_broader_impact.tex" 1762980328.72575 1746 2703c4bb2f429e7573763131dee1032e "" - "sections/15_innovation.tex" 1762980328.72865 1926 a227598ede7e1fcea42853e58adf924c "" - "sections/16_conclusion.tex" 1762980328.73132 2745 385eff2a0cd7de4432b4d01158a2274d "" + "main.aux" 1763671006.38197 719 572e16de66780eb60851374e7196524e "lualatex" + "main.nav" 1763671006.38297 395 640a03f4d3f0f705896c1d8375ddfa75 "lualatex" + "main.out" 1763671006.15496 0 d41d8cd98f00b204e9800998ecf8427e "lualatex" + "main.tex" 1763668791.34945 1687 2557f721ec022b598da5445fd727e976 "" + "slides/1_Hook.tex" 1763671004.55116 121 e34930cdc235e336948eafffb037f72a "" + "slides/2_State_of_the_Art.tex" 1763668448.00633 0 d41d8cd98f00b204e9800998ecf8427e "" + "slides/3_Limitations.tex" 1763668452.52841 0 d41d8cd98f00b204e9800998ecf8427e "" + "slides/4_Research_Approach.tex" 1763668464.37463 0 d41d8cd98f00b204e9800998ecf8427e "" + "slides/5_Metrics_of_Success.tex" 1763668668.74431 0 d41d8cd98f00b204e9800998ecf8427e "" + "slides/6_Risks_and_Contingencies.tex" 1763668678.87049 0 d41d8cd98f00b204e9800998ecf8427e "" + "slides/7_Broader_Impacts.tex" 1763668687.91365 0 d41d8cd98f00b204e9800998ecf8427e "" + "slides/8_Money_Slide.tex" 1763668695.34078 0 d41d8cd98f00b204e9800998ecf8427e "" "theme/beamercolorthemedane_native.sty" 1762979794.23182 2336 ce6c2fd04d9167747a6e682d3445f342 "" "theme/beamerfontthemedane_native.sty" 1762977558.14195 1296 654c41f94efd9f9391ac224a886b5e98 "" "theme/beamerinnerthemedane_native.sty" 1762977557.67194 1522 9a600bede07804daabc0bfe050a25e4a "" diff --git a/Presentations/ERLM/main.fls b/Presentations/ERLM/main.fls index a77f2bf5c..c31400c5f 100644 --- a/Presentations/ERLM/main.fls +++ b/Presentations/ERLM/main.fls @@ -303,8 +303,6 @@ INPUT ./theme/beamercolorthemedane_native.sty INPUT ./theme/beamerfontthemedane_native.sty INPUT ./theme/beamerinnerthemedane_native.sty INPUT ./theme/beamerouterthemedane_native.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfpages.sty -INPUT /usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty INPUT /usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-luatex.def INPUT /usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-luatex.lua INPUT ./main.aux @@ -329,7 +327,6 @@ INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm INPUT ./images/logo.png INPUT ./images/logo.png -INPUT ./sections/01_title.tex INPUT ./images/logo.png INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss17.tfm INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm @@ -371,7 +368,8 @@ INPUT ./images/back.jpg INPUT ./images/back.jpg INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss8.tfm INPUT ./images/logo.png -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss8.tfm +INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map +INPUT ./slides/1_Hook.tex INPUT ./images/logo.png INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss17.tfm INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm @@ -393,72 +391,18 @@ INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso12.tfm INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso12.tfm INPUT ./images/back.jpg INPUT ./images/logo.png -INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map -INPUT ./sections/02_economic_challenge.tex -INPUT ./images/logo.png -INPUT ./images/back.jpg -INPUT ./images/logo.png -INPUT ./sections/03_safety_imperative.tex -INPUT ./images/logo.png -INPUT ./images/back.jpg -INPUT ./images/logo.png -INPUT ./sections/04_the_paradox.tex -INPUT ./images/logo.png -INPUT ./images/back.jpg -INPUT ./images/logo.png -INPUT ./sections/05_hybrid_systems.tex -INPUT ./images/logo.png -INPUT ./images/back.jpg -INPUT ./images/logo.png -INPUT ./sections/06_current_gaps.tex -INPUT ./images/logo.png -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss17.tfm -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm -INPUT ./images/back.jpg -INPUT ./images/logo.png -INPUT ./sections/07_approach_overview.tex -INPUT ./images/logo.png -INPUT ./images/back.jpg -INPUT ./images/logo.png -INPUT ./sections/08_thrust1_procedures.tex -INPUT ./images/logo.png -INPUT ./sections/09_thrust2_synthesis.tex -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi5.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy5.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm -INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss8.tfm -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm -INPUT ./sections/10_thrust3_continuous.tex -INPUT ./sections/11_key_insight.tex -INPUT ./sections/12_demonstration.tex -INPUT ./sections/13_outcomes.tex -INPUT ./sections/14_broader_impact.tex -INPUT ./sections/15_innovation.tex -INPUT ./sections/16_conclusion.tex -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss17.tfm -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm -INPUT /usr/share/texmf/tex/latex/lm/t1lmtt.fd -INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmtt12.tfm +INPUT ./slides/2_State_of_the_Art.tex +INPUT ./slides/3_Limitations.tex +INPUT ./slides/4_Research_Approach.tex +INPUT ./slides/5_Metrics_of_Success.tex +INPUT ./slides/6_Risks_and_Contingencies.tex +INPUT ./slides/7_Broader_Impacts.tex +INPUT ./slides/8_Money_Slide.tex OUTPUT main.nav OUTPUT main.toc OUTPUT main.snm INPUT ./main.aux INPUT ./main.out +INPUT /usr/share/texmf/fonts/type1/public/lm/lmss12.pfb +INPUT /usr/share/texmf/fonts/type1/public/lm/lmssbx10.pfb +INPUT /usr/share/texmf/fonts/type1/public/lm/lmsso8.pfb diff --git a/Presentations/ERLM/main.log b/Presentations/ERLM/main.log index f656ccb6f..1f4b2e9cd 100644 --- a/Presentations/ERLM/main.log +++ b/Presentations/ERLM/main.log @@ -1,4 +1,4 @@ -This is LuaHBTeX, Version 1.17.0 (TeX Live 2023/Debian) (format=lualatex 2024.9.10) 12 NOV 2025 15:47 +This is LuaHBTeX, Version 1.17.0 (TeX Live 2023/Debian) (format=lualatex 2024.9.10) 20 NOV 2025 15:36 restricted system commands enabled. file:line:error style messages enabled. **main.tex @@ -753,37 +753,10 @@ File: pgflibraryarrows.meta.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgfarrowwidth=\dimen338 \pgfarrowlinewidth=\dimen339 ) -(./theme/beamercolorthemedane_native.sty) (./theme/beamerfontthemedane_native.sty) (./theme/beamerinnerthemedane_native.sty) (./theme/beamerouterthemedane_native.sty (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfpages.sty -Package: pgfpages 2011/01/05 ver 0.02 - (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty -Package: calc 2023/07/08 v4.3 Infix arithmetic (KKT,FJ) -\calc@Acount=\count355 -\calc@Bcount=\count356 -\calc@Adimen=\dimen340 -\calc@Bdimen=\dimen341 -\calc@Askip=\skip68 -\calc@Bskip=\skip69 -LaTeX Info: Redefining \setlength on input line 80. -LaTeX Info: Redefining \addtolength on input line 81. -\calc@Ccount=\count357 -\calc@Cskip=\skip70 -) -\pgf@logicalpages=\count358 -\pgf@firstshipout=\count359 -\pgf@lastshipout=\count360 -\pgf@currentshipout=\count361 -\pgf@cpn=\count362 -\pgf@shipoutnextto=\count363 -\pgfphysicalheight=\dimen342 -\pgfphysicalwidth=\dimen343 -\pgfpages@shipoutbox=\box106 -) -\pgfpages@box@1=\box107 -\pgfpages@box@2=\box108 -)) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-luatex.def +(./theme/beamercolorthemedane_native.sty) (./theme/beamerfontthemedane_native.sty) (./theme/beamerinnerthemedane_native.sty) (./theme/beamerouterthemedane_native.sty)) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-luatex.def File: l3backend-luatex.def 2024-01-04 L3 backend support: PDF output (LuaTeX) -\l__color_backend_stack_int=\count364 -\l__pdf_internal_box=\box109 +\l__color_backend_stack_int=\count355 +\l__pdf_internal_box=\box106 ) (./main.aux) \openout1 = main.aux @@ -848,16 +821,16 @@ LaTeX Font Info: ... okay on input line 50. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count365 -\scratchdimen=\dimen344 -\scratchbox=\box110 -\nofMPsegments=\count366 -\nofMParguments=\count367 +\scratchcounter=\count356 +\scratchdimen=\dimen340 +\scratchbox=\box107 +\nofMPsegments=\count357 +\nofMParguments=\count358 \everyMPshowfont=\toks58 -\MPscratchCnt=\count368 -\MPscratchDim=\dimen345 -\MPnumerator=\count369 -\makeMPintoPDFobject=\count370 +\MPscratchCnt=\count359 +\MPscratchDim=\dimen341 +\MPnumerator=\count360 +\makeMPintoPDFobject=\count361 \everyMPtoPDFconversion=\toks59 ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf @@ -935,612 +908,68 @@ File: images/logo.png Graphic file (type png) Package luatex.def Info: images/logo.png used on input line 50. (luatex.def) Requested size: 56.9055pt x 22.63397pt. - (./sections/01_title.tex File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 4. +Package luatex.def Info: images/logo.png used on input line 54. (luatex.def) Requested size: 56.9055pt x 22.63397pt. File: images/title.png Graphic file (type png) -Package luatex.def Info: images/title.png used on input line 4. +Package luatex.def Info: images/title.png used on input line 54. (luatex.def) Requested size: 227.62204pt x 227.62718pt. -LaTeX Font Info: Trying to load font information for U+msa on input line 4. +LaTeX Font Info: Trying to load font information for U+msa on input line 54. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) -LaTeX Font Info: Trying to load font information for U+msb on input line 4. +LaTeX Font Info: Trying to load font information for U+msb on input line 54. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) LaTeX Font Info: Font shape `T1/lmss/m/it' in size <14.4> not available -(Font) Font shape `T1/lmss/m/sl' tried instead on input line 4. +(Font) Font shape `T1/lmss/m/sl' tried instead on input line 54. LaTeX Font Info: Font shape `T1/lmss/m/it' in size <10> not available -(Font) Font shape `T1/lmss/m/sl' tried instead on input line 4. +(Font) Font shape `T1/lmss/m/sl' tried instead on input line 54. LaTeX Font Info: Font shape `T1/lmss/m/it' in size <7> not available -(Font) Font shape `T1/lmss/m/sl' tried instead on input line 4. +(Font) Font shape `T1/lmss/m/sl' tried instead on input line 54. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 4. +Package luatex.def Info: images/logo.png used on input line 54. (luatex.def) Requested size: 85.35826pt x 33.95337pt. -Overfull \vbox (6.42271pt too high) detected at line 4 +Overfull \vbox (6.42271pt too high) detected at line 54 [] File: images/back.jpg Graphic file (type jpg) +Package luatex.def Info: images/back.jpg used on input line 54. +(luatex.def) Requested size: 780.44925pt x 341.43306pt. +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 54. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. +[1 + +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}<./images/back.jpg><./images/title.png><./images/logo.png>] (./slides/1_Hook.tex +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 4. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. +LaTeX Font Info: Font shape `T1/lmss/m/it' in size <17.28> not available +(Font) Font shape `T1/lmss/m/sl' tried instead on input line 4. +LaTeX Font Info: Font shape `T1/lmss/m/it' in size <12> not available +(Font) Font shape `T1/lmss/m/sl' tried instead on input line 4. +File: images/back.jpg Graphic file (type jpg) + Package luatex.def Info: images/back.jpg used on input line 4. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) Package luatex.def Info: images/logo.png used on input line 4. (luatex.def) Requested size: 56.9055pt x 22.63397pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 39. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -LaTeX Font Info: Font shape `T1/lmss/m/it' in size <17.28> not available -(Font) Font shape `T1/lmss/m/sl' tried instead on input line 39. -LaTeX Font Info: Font shape `T1/lmss/m/it' in size <12> not available -(Font) Font shape `T1/lmss/m/sl' tried instead on input line 39. -File: images/back.jpg Graphic file (type jpg) - -Package luatex.def Info: images/back.jpg used on input line 39. -(luatex.def) Requested size: 780.44925pt x 341.43306pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 39. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -[2 + [2 -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} -warning (pdf backend): ignoring duplicate destination with the name 'Navigation1' - -warning (pdf backend): ignoring duplicate destination with the name 'page.1' - -<./images/back.jpg><./images/title.png><./images/logo.png>]) (./sections/02_economic_challenge.tex -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 18. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -File: images/back.jpg Graphic file (type jpg) - -Package luatex.def Info: images/back.jpg used on input line 18. -(luatex.def) Requested size: 780.44925pt x 341.43306pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 18. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. - [3 - - -warning (pdf backend): ignoring duplicate destination with the name 'Navigation2' - -warning (pdf backend): ignoring duplicate destination with the name 'page.2' - -]) (./sections/03_safety_imperative.tex -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 43. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. - -Overfull \vbox (164.0267pt too high) detected at line 43 - [] - -File: images/back.jpg Graphic file (type jpg) - -Package luatex.def Info: images/back.jpg used on input line 43. -(luatex.def) Requested size: 780.44925pt x 341.43306pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 43. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -[4 - - -warning (pdf backend): ignoring duplicate destination with the name 'Navigation3' - -warning (pdf backend): ignoring duplicate destination with the name 'page.3' - -]) (./sections/04_the_paradox.tex -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 37. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. - -Overfull \vbox (135.56216pt too high) detected at line 37 - [] - -File: images/back.jpg Graphic file (type jpg) - -Package luatex.def Info: images/back.jpg used on input line 37. -(luatex.def) Requested size: 780.44925pt x 341.43306pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 37. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -[5 - - -warning (pdf backend): ignoring duplicate destination with the name 'Navigation4' - -warning (pdf backend): ignoring duplicate destination with the name 'page.4' - -]) (./sections/05_hybrid_systems.tex -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 35. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. - -Missing character: There is no ° (U+00B0) in font cmss10! -Missing character: There is no ° (U+00B0) in font cmss10! - -Overfull \vbox (75.18929pt too high) detected at line 35 - [] - -File: images/back.jpg Graphic file (type jpg) - -Package luatex.def Info: images/back.jpg used on input line 35. -(luatex.def) Requested size: 780.44925pt x 341.43306pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 35. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -[6 - - -Missing character: There is no → (U+2192) in font ec-lmss12! - -warning (pdf backend): ignoring duplicate destination with the name 'Navigation5' - -warning (pdf backend): ignoring duplicate destination with the name 'page.5' - -Missing character: There is no → (U+2192) in font ec-lmss12! -]) (./sections/06_current_gaps.tex -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 50. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -LaTeX Font Info: Font shape `T1/lmss/m/it' in size <8> not available -(Font) Font shape `T1/lmss/m/sl' tried instead on input line 50. - -Overfull \vbox (61.1709pt too high) detected at line 50 - [] - -File: images/back.jpg Graphic file (type jpg) - -Package luatex.def Info: images/back.jpg used on input line 50. -(luatex.def) Requested size: 780.44925pt x 341.43306pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 50. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -[7 - - -Missing character: There is no → (U+2192) in font ec-lmss12! -Missing character: There is no → (U+2192) in font ec-lmss12! -Missing character: There is no → (U+2192) in font ec-lmss12! - -warning (pdf backend): ignoring duplicate destination with the name 'Navigation6' - -warning (pdf backend): ignoring duplicate destination with the name 'page.6' - -Missing character: There is no → (U+2192) in font ec-lmss12! -Missing character: There is no → (U+2192) in font ec-lmss12! -Missing character: There is no → (U+2192) in font ec-lmss12! -]) (./sections/07_approach_overview.tex -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 60. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. - - -./sections/07_approach_overview.tex:60: LaTeX Error: Something's wrong--perhaps a missing \item. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.60 \end{frame} - -Try typing to proceed. -If that doesn't work, type X to quit. - - -./sections/07_approach_overview.tex:60: LaTeX Error: Something's wrong--perhaps a missing \item. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.60 \end{frame} - -Try typing to proceed. -If that doesn't work, type X to quit. - - -./sections/07_approach_overview.tex:60: LaTeX Error: Something's wrong--perhaps a missing \item. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.60 \end{frame} - -Try typing to proceed. -If that doesn't work, type X to quit. - - -Overfull \vbox (101.39546pt too high) detected at line 60 - [] - -File: images/back.jpg Graphic file (type jpg) - -Package luatex.def Info: images/back.jpg used on input line 60. -(luatex.def) Requested size: 780.44925pt x 341.43306pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 60. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -[8 - - -Missing character: There is no → (U+2192) in font ec-lmss12! - -warning (pdf backend): ignoring duplicate destination with the name 'Navigation7' - -warning (pdf backend): ignoring duplicate destination with the name 'page.7' - -Missing character: There is no → (U+2192) in font ec-lmss12! -]) (./sections/08_thrust1_procedures.tex -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 40. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. - -./sections/08_thrust1_procedures.tex:40: Missing number, treated as zero. - -S -l.40 \end{frame} - -A number should have been here; I inserted `0'. -(If you can't figure out why I needed to see a number, -look up `weird error' in the index to The TeXbook.) - -./sections/08_thrust1_procedures.tex:40: Illegal unit of measure (pt inserted). - -S -l.40 \end{frame} - -Dimensions can be in units of em, ex, in, pt, pc, -cm, mm, dd, cc, nd, nc, bp, or sp; but yours is a new one! -I'll assume that you meant to say pt, for printer's points. -To recover gracefully from this error, it's best to -delete the erroneous units; e.g., type `2' to delete -two letters. (See Chapter 27 of The TeXbook.) - - -./sections/08_thrust1_procedures.tex:40: Package calc Error: `S' invalid at this point. - -See the calc package documentation for explanation. -Type H for immediate help. - ... - -l.40 \end{frame} - -I expected to see one of: + - * / ) - -./sections/08_thrust1_procedures.tex:40: Extra }, or forgotten \endgroup. -\beamer@doifinframe ...hecking finding conflicts } - ; \end {tikzpicture} \end ... -l.40 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - -./sections/08_thrust1_procedures.tex:40: Undefined control sequence. -\endtikzpicture ...r@layerlist@globally \endscope - \let \pgf@baseline =\pgf@s... -l.40 \end{frame} - -The control sequence at the end of the top line -of your error message was never \def'ed. If you have -misspelled it (e.g., `\hobx'), type `I' and the correct -spelling (e.g., `I\hbox'). Otherwise just continue, -and I'll forget about whatever was undefined. - - -./sections/08_thrust1_procedures.tex:40: Package tikz Error: Giving up on this path. Did you forget a semicolon?. - -See the tikz package documentation for explanation. -Type H for immediate help. - ... - -l.40 \end{frame} - -This error message was generated by an \errmessage -command, so I can't give any explicit help. -Pretend that you're Hercule Poirot: Examine all clues, -and deduce the truth by order and method. - -./sections/08_thrust1_procedures.tex:40: Extra }, or forgotten \endgroup. -\endpgfpicture ...dpicture \endgroup \hss \egroup - \pgfsys@typesetpicturebox ... -l.40 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - - -./sections/08_thrust1_procedures.tex:40: LaTeX Error: Something's wrong--perhaps a missing \item. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.40 \end{frame} - -Try typing to proceed. -If that doesn't work, type X to quit. - - -./sections/08_thrust1_procedures.tex:40: LaTeX Error: Something's wrong--perhaps a missing \item. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.40 \end{frame} - -Try typing to proceed. -If that doesn't work, type X to quit. - - -./sections/08_thrust1_procedures.tex:40: LaTeX Error: Something's wrong--perhaps a missing \item. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.40 \end{frame} - -Try typing to proceed. -If that doesn't work, type X to quit. - - -./sections/08_thrust1_procedures.tex:40: LaTeX Error: \begin{tikzpicture} on input line 40 ended by \end{center}. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.40 \end{frame} - -Your command was ignored. -Type I to replace it with another command, -or to continue without it. - -./sections/08_thrust1_procedures.tex:40: Missing } inserted. - -} -l.40 \end{frame} - -I've inserted something that you may have forgotten. -(See the above.) -With luck, this will get me unwedged. But if you -really didn't forget anything, try typing `2' now; then -my insertion and my current dilemma will both disappear. - - -./sections/08_thrust1_procedures.tex:40: LaTeX Error: \begin{tikzpicture} on input line 40 ended by \end{beamer@framepauses}. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.40 \end{frame} - -Your command was ignored. -Type I to replace it with another command, -or to continue without it. - -./sections/08_thrust1_procedures.tex:40: Extra }, or forgotten \endgroup. -\endbeamer@frameslide ...amer@framepauses}\egroup - \ifx \beamer@frametitle \@... -l.40 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - - -./sections/08_thrust1_procedures.tex:40: LaTeX Error: \begin{tikzpicture} on input line 40 ended by \end{beamer@frameslide}. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.40 \end{frame} - -Your command was ignored. -Type I to replace it with another command, -or to continue without it. - -./sections/08_thrust1_procedures.tex:40: Improper \prevdepth. -\newpage ...everypar {}\fi \par \ifdim \prevdepth - >\z@ \vskip -\ifdim \prevd... -l.40 \end{frame} - -You can refer to \spacefactor only in horizontal mode; -you can refer to \prevdepth only in vertical mode; and -neither of these is meaningful inside \write. So -I'm forgetting what you said and using zero instead. - -./sections/08_thrust1_procedures.tex:40: Missing } inserted. - -} -l.40 \end{frame} - -I've inserted something that you may have forgotten. -(See the above.) -With luck, this will get me unwedged. But if you -really didn't forget anything, try typing `2' now; then -my insertion and my current dilemma will both disappear. - - -Overfull \hbox (508.76315pt too wide) detected at line 40 -[][][][] [][][] - [] - -) (./sections/09_thrust2_synthesis.tex - -./sections/09_thrust2_synthesis.tex:15: LaTeX Error: Something's wrong--perhaps a missing \item. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.15 \node[state] (cold) {Cold\\S - hutdown}; -Try typing to proceed. -If that doesn't work, type X to quit. - - -./sections/09_thrust2_synthesis.tex:17: LaTeX Error: Something's wrong--perhaps a missing \item. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.17 ...\node[state, right of=heat] (power) {Full\\P - ower}; -Try typing to proceed. -If that doesn't work, type X to quit. - -LaTeX Font Info: Font shape `T1/lmss/m/it' in size <5> not available -(Font) Font shape `T1/lmss/m/sl' tried instead on input line 20. -Missing character: There is no ° (U+00B0) in font cmss8! -./sections/09_thrust2_synthesis.tex:53: Extra }, or forgotten \endgroup. -\endframe ->\egroup - \begingroup \def \@currenvir {frame} -l.53 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - -) (./sections/10_thrust3_continuous.tex -./sections/10_thrust3_continuous.tex:39: Extra }, or forgotten \endgroup. -\endframe ->\egroup - \begingroup \def \@currenvir {frame} -l.39 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - -) (./sections/11_key_insight.tex -./sections/11_key_insight.tex:38: Extra }, or forgotten \endgroup. -\endframe ->\egroup - \begingroup \def \@currenvir {frame} -l.38 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - -) (./sections/12_demonstration.tex -./sections/12_demonstration.tex:40: Extra }, or forgotten \endgroup. -\endframe ->\egroup - \begingroup \def \@currenvir {frame} -l.40 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - -) (./sections/13_outcomes.tex -./sections/13_outcomes.tex:60: Extra }, or forgotten \endgroup. -\endframe ->\egroup - \begingroup \def \@currenvir {frame} -l.60 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - -) (./sections/14_broader_impact.tex -./sections/14_broader_impact.tex:43: Extra }, or forgotten \endgroup. -\endframe ->\egroup - \begingroup \def \@currenvir {frame} -l.43 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - -) (./sections/15_innovation.tex -./sections/15_innovation.tex:52: Extra }, or forgotten \endgroup. -\endframe ->\egroup - \begingroup \def \@currenvir {frame} -l.52 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - -) (./sections/16_conclusion.tex -./sections/16_conclusion.tex:64: Extra }, or forgotten \endgroup. -\endframe ->\egroup - \begingroup \def \@currenvir {frame} -l.64 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - -LaTeX Font Info: Trying to load font information for T1+lmtt on input line 79. -(/usr/share/texmf/tex/latex/lm/t1lmtt.fd -File: t1lmtt.fd 2015/05/01 v1.6.1 Font defs for Latin Modern -) -./sections/16_conclusion.tex:88: Extra }, or forgotten \endgroup. -\endframe ->\egroup - \begingroup \def \@currenvir {frame} -l.88 \end{frame} - -I've deleted a group-closing symbol because it seems to be -spurious, as in `$x}$'. But perhaps the } is legitimate and -you forgot something else, as in `\hbox{$x}'. In such cases -the way to recover is to insert both the forgotten and the -deleted material, e.g., by typing `I$}'. - -) +]) (./slides/2_State_of_the_Art.tex) (./slides/3_Limitations.tex) (./slides/4_Research_Approach.tex) (./slides/5_Metrics_of_Success.tex) (./slides/6_Risks_and_Contingencies.tex) (./slides/7_Broader_Impacts.tex) (./slides/8_Money_Slide.tex) \tf@nav=\write6 \openout6 = main.nav @@ -1550,77 +979,29 @@ deleted material, e.g., by typing `I$}'. \tf@snm=\write8 \openout8 = main.snm - [9 - - -Missing character: There is no → (U+2192) in font ec-lmssbx10! -Missing character: There is no → (U+2192) in font ec-lmssbx10! - -warning (pdf backend): ignoring duplicate destination with the name 'Navigation8' - -warning (pdf backend): ignoring duplicate destination with the name 'page.8' - -Missing character: There is no → (U+2192) in font ec-lmssbx10! -Missing character: There is no → (U+2192) in font ec-lmssbx10! -] - -./main.tex:80: LaTeX Error: \begin{frame} on input line 67 ended by \end{document}. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.80 \end{document} - -Your command was ignored. -Type I to replace it with another command, -or to continue without it. - -(./main.aux) + (./main.aux) *********** LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> *********** Package rerunfilecheck Info: File `main.out' has not changed. (rerunfilecheck) Checksum: D41D8CD98F00B204E9800998ECF8427E;0. - -./main.tex:80: You can't use `\end' in internal vertical mode. -\enddocument ...cument/end}\deadcycles \z@ \@@end - -l.80 \end{document} - -Sorry, but I'm not programmed to handle this case; -I'll just pretend that you didn't ask for it. -If you're in the wrong mode, you might be able to -return to the right one by typing `I}' or `I$' or `I\par'. - - -./main.tex:80: LaTeX Error: \begin{frame} on input line 67 ended by \end{document}. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.80 \end{document} - -Your command was ignored. -Type I to replace it with another command, -or to continue without it. - ) -! Emergency stop. -<*> main.tex - -*** (job aborted, no legal \end found) - - Here is how much of LuaTeX's memory you used: - 39979 strings out of 476553 - 195338,1977958 words of node,token memory allocated 138958 words of node memory still in use: - 1015 hlist, 72 vlist, 84 rule, 1375 disc, 148 local_par, 2 dir, 55 math, 3526 glue, 711 kern, 333 penalty, 11022 glyph, 88 glue_spec, 1 temp, 10 write, 1295 pdf_literal, 2 pdf_start_link, 2 pdf_end_link, 2 pdf_dest, 2 pdf_action, 286 pdf_colorstack nodes - avail lists: 1:1,2:34,3:1213,4:330,5:251,6:50,7:5065,8:24,9:718,10:16,11:481 - 60528 multiletter control sequences out of 65536+600000 - 99 fonts using 4105163 bytes - 101i,18n,104p,747b,1251s stack positions out of 10000i,1000n,20000p,200000b,200000s -! ==> Fatal error occurred, no output PDF file produced! + 39128 strings out of 476553 + 100000,1977958 words of node,token memory allocated + 2515 words of node memory still in use: + 47 hlist, 9 vlist, 11 rule, 7 disc, 2 local_par, 2 math, 58 glue, 4 kern, 10 penalty, 84 glyph, 63 glue_spec, 4 write, 68 pdf_literal, 42 pdf_colorstack nodes + avail lists: 2:35,3:620,4:180,5:119,6:43,7:1536,8:1,9:637,10:4,11:61 + 59809 multiletter control sequences out of 65536+600000 + 70 fonts using 2906467 bytes + 101i,18n,104p,747b,1029s stack positions out of 10000i,1000n,20000p,200000b,200000s +{/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc} +Output written on main.pdf (2 pages, 368209 bytes). + +PDF statistics: 77 PDF objects out of 1000 (max. 8388607) + 39 compressed objects within 1 object stream + 5 named destinations out of 1000 (max. 131072) + 176 words of extra memory for PDF output out of 10000 (max. 100000000) + diff --git a/Presentations/ERLM/main.nav b/Presentations/ERLM/main.nav index f2e1a8099..9033d8ba0 100644 --- a/Presentations/ERLM/main.nav +++ b/Presentations/ERLM/main.nav @@ -2,20 +2,8 @@ \headcommand {\beamer@framepages {1}{1}} \headcommand {\slideentry {0}{0}{2}{2/2}{}{0}} \headcommand {\beamer@framepages {2}{2}} -\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}} -\headcommand {\beamer@framepages {3}{3}} -\headcommand {\slideentry {0}{0}{4}{4/4}{}{0}} -\headcommand {\beamer@framepages {4}{4}} -\headcommand {\slideentry {0}{0}{5}{5/5}{}{0}} -\headcommand {\beamer@framepages {5}{5}} -\headcommand {\slideentry {0}{0}{6}{6/6}{}{0}} -\headcommand {\beamer@framepages {6}{6}} -\headcommand {\slideentry {0}{0}{7}{7/7}{}{0}} -\headcommand {\beamer@framepages {7}{7}} -\headcommand {\beamer@partpages {1}{8}} -\headcommand {\beamer@subsectionpages {1}{8}} -\headcommand {\beamer@sectionpages {1}{8}} -\headcommand {\beamer@documentpages {8}} -\headcommand {\gdef \inserttotalframenumber {9}} -\headcommand {\slideentry {0}{0}{8}{8/8}{}{0}} -\headcommand {\beamer@framepages {8}{8}} +\headcommand {\beamer@partpages {1}{2}} +\headcommand {\beamer@subsectionpages {1}{2}} +\headcommand {\beamer@sectionpages {1}{2}} +\headcommand {\beamer@documentpages {2}} +\headcommand {\gdef \inserttotalframenumber {2}} diff --git a/Presentations/ERLM/main.pdf b/Presentations/ERLM/main.pdf new file mode 100644 index 000000000..d9c167d84 Binary files /dev/null and b/Presentations/ERLM/main.pdf differ diff --git a/Presentations/ERLM/main.synctex.gz b/Presentations/ERLM/main.synctex.gz index 9c3ff10a2..77f80e942 100644 Binary files a/Presentations/ERLM/main.synctex.gz and b/Presentations/ERLM/main.synctex.gz differ diff --git a/Presentations/ERLM/main.tex b/Presentations/ERLM/main.tex index 3d3a9e25d..3194c8375 100644 --- a/Presentations/ERLM/main.tex +++ b/Presentations/ERLM/main.tex @@ -21,7 +21,7 @@ \texorpdfstring{\small{dane.sabo@pitt.edu}}{dane.sabo@pitt.edu}% \texorpdfstring{\\}{ }% \texorpdfstring{\vspace{0.25cm}}{}% - \texorpdfstring{\textbf{Dr. Dan G. Cole}}{Dr. Dan G. Cole}% + \texorpdfstring{\textbf{Dr. Daniel G. Cole}}{Dr. Daniel G. Cole}% \texorpdfstring{\\}{ }% \texorpdfstring{\small{dgcole@pitt.edu}}{dgcole@pitt.edu}% } @@ -36,7 +36,7 @@ %DEFINE TOGGLES! \def\darkmode{1} -\def\notemode{1} +\def\notemode{0} \def\gridmode{0} % @@ -49,32 +49,18 @@ \begin{document} -% Title -\input{sections/01_title} +\begin{frame} + \titlepage +\end{frame} -% Part I: The Problem - Why We Need This -\input{sections/02_economic_challenge} -\input{sections/03_safety_imperative} -\input{sections/04_the_paradox} +\input{slides/1_Hook} +\input{slides/2_State_of_the_Art} +\input{slides/3_Limitations} +\input{slides/4_Research_Approach} +\input{slides/5_Metrics_of_Success} +\input{slides/6_Risks_and_Contingencies} +\input{slides/7_Broader_Impacts} +\input{slides/8_Money_Slide} -% Part II: Technical Foundation - What We're Building -\input{sections/05_hybrid_systems} -\input{sections/06_current_gaps} - -% Part III: The Solution - How We'll Do It -\input{sections/07_approach_overview} -\input{sections/08_thrust1_procedures} -\input{sections/09_thrust2_synthesis} -\input{sections/10_thrust3_continuous} -\input{sections/11_key_insight} - -% Part IV: Validation - Proof It Works -\input{sections/12_demonstration} -\input{sections/13_outcomes} - -% Part V: Impact - Why It Matters -\input{sections/14_broader_impact} -\input{sections/15_innovation} -\input{sections/16_conclusion} \end{document} diff --git a/Presentations/ERLM/presentation-outline.md b/Presentations/ERLM/presentation-outline.md index 11ec744c5..f5edfad38 100644 --- a/Presentations/ERLM/presentation-outline.md +++ b/Presentations/ERLM/presentation-outline.md @@ -6,7 +6,7 @@ --- -## 1. Title Slide +## 0. Title Slide **Assertion:** Autonomous Hybrid Control with Formal Safety Guarantees Enables Economic Viability of Next-Generation Nuclear Power **Content:** diff --git a/Presentations/ERLM/slides/1_Hook.tex b/Presentations/ERLM/slides/1_Hook.tex new file mode 100644 index 000000000..b14386a7f --- /dev/null +++ b/Presentations/ERLM/slides/1_Hook.tex @@ -0,0 +1,4 @@ +\begin{frame}{The United States stands on the simultaneous precipice of severe + energy and climate crises} + +\end{frame} diff --git a/Presentations/ERLM/slides/2_State_of_the_Art.tex b/Presentations/ERLM/slides/2_State_of_the_Art.tex new file mode 100644 index 000000000..e69de29bb diff --git a/Presentations/ERLM/slides/3_Limitations.tex b/Presentations/ERLM/slides/3_Limitations.tex new file mode 100644 index 000000000..e69de29bb diff --git a/Presentations/ERLM/slides/4_Research_Approach.tex b/Presentations/ERLM/slides/4_Research_Approach.tex new file mode 100644 index 000000000..e69de29bb diff --git a/Presentations/ERLM/slides/5_Metrics_of_Success.tex b/Presentations/ERLM/slides/5_Metrics_of_Success.tex new file mode 100644 index 000000000..e69de29bb diff --git a/Presentations/ERLM/slides/6_Risks_and_Contingencies.tex b/Presentations/ERLM/slides/6_Risks_and_Contingencies.tex new file mode 100644 index 000000000..e69de29bb diff --git a/Presentations/ERLM/slides/7_Broader_Impacts.tex b/Presentations/ERLM/slides/7_Broader_Impacts.tex new file mode 100644 index 000000000..e69de29bb diff --git a/Presentations/ERLM/slides/8_Money_Slide.tex b/Presentations/ERLM/slides/8_Money_Slide.tex new file mode 100644 index 000000000..e69de29bb diff --git a/Zettelkasten/Fleeting Notes/Meetings/emerson.md b/Zettelkasten/Fleeting Notes/Meetings/emerson.md new file mode 100644 index 000000000..18f894cd9 --- /dev/null +++ b/Zettelkasten/Fleeting Notes/Meetings/emerson.md @@ -0,0 +1,17 @@ +# Meeting With Emerson about Internship + +## Attendees +Dan +Myself +Rick + +## + +## Questions I have: +- What does the day to day work you'd have me working on +look like? +- Size of the team? +- On site in cranberry? +- Next steps? When should I hear from you? + + diff --git a/Zettelkasten/Fleeting Notes/Weekly/2025_47.md b/Zettelkasten/Fleeting Notes/Weekly/2025_47.md new file mode 100644 index 000000000..8e46ccd66 --- /dev/null +++ b/Zettelkasten/Fleeting Notes/Weekly/2025_47.md @@ -0,0 +1,58 @@ +--- +id: 2025-47 +title: Weekly — 2025-11-19 +type: Weekly +created: 2025-11-19T14:34:56-05:00 +modified: 2025-11-19T14:34:56-05:00 +tags: [weekly] +--- + +# Weekly - 2025 CW 47 (Wed 2025-11-19) + +## Accomplishments + +### ERLM +- ✓ Assertion-Evidence --- do in lieu of class +- ✓ Read Proposal 1 +- ✓ Read Proposal 2 +- ✓ Read Proposal 6 +- ✓ Create ORCID account +- ✓ Make data management plan +- ✓ Make biographical sketch +- ✓ Make facilities section +- ✓ Mock Peer Review Assignment +- ✓ Add more tasks for this week + +### General +- ✓ Get Dan's approval for course +- ✓ Create updated plan of study document + +## Pushed or Rescheduled + +No tasks were rescheduled during this period. + +## Cancelled or Deleted + +No tasks were cancelled or deleted during this period. + +## To Do + +### Due This Week (Nov 19-26) + +**ERLM** +- Draft Presentations (due 2025-11-21) [urgency: 8.75] + +### High Priority + +**ERLM** +- Tune up state of the art for Proposal (due in 2 weeks) [urgency: 3.44] +- Final Presentations (due in 2 weeks) [urgency: 3.44] + +**Zettelkasten (zk)** +- Write zettels about Andre Platzer and differential dynamic logic [urgency: 3.19] +- Write zettels about webofscience database [urgency: 3.19] +- Deterministic Parity Automata [urgency: 2.95] +- Mealy Machines [urgency: 2.95] +- AIGER Circuits [urgency: 2.95] +- Reactive Synthesis [urgency: 2.95] +- Write about opp. chall. and res. needs for remote micro ope. [urgency: 2.92]