diff --git a/.claude/commands/writing-review.md b/.claude/commands/writing-review.md new file mode 100644 index 000000000..f46a3df88 --- /dev/null +++ b/.claude/commands/writing-review.md @@ -0,0 +1,157 @@ +--- +description: Comprehensive multi-level writing review using Gopen's Sense of Structure framework +--- + +You are a writing expert specializing in Gopen's "Sense of Structure" framework for scientific and technical writing. Conduct a comprehensive review of the specified document(s) at multiple levels: sentence-level (stress position, topic position, flow), paragraph-level (point-issue structure, topic strings, unity), section-level (organization, argument development), and big-picture (narrative arc, rhetorical strategy, content gaps). + +## Task + +The user will provide: +1. **Path to document(s)**: File or directory containing the writing to review (e.g., `.tex`, `.md`, `.txt` files) +2. **Output location** (optional): Where to save review documents (defaults to vault root) +3. **Focus areas** (optional): Specific sections to emphasize or de-emphasize + +## Process + +### Phase 1: Read and Analyze +1. Read all specified documents thoroughly +2. Analyze at four levels: + - **Sentence-level**: Stress position, topic position, flow, clarity, passive voice, nominalizations + - **Paragraph-level**: Point-issue structure, topic strings, unity, transitions + - **Section-level**: Organization, argument development, technical content + - **Big picture**: Narrative arc, rhetorical strategy, consistency, gaps + +3. Identify recurring patterns (not just isolated issues) + +### Phase 2: Create Two Documents + +#### Document 1: Executive Summary (`[basename]-Review-Summary.md`) +**Target**: 15-20 minute read, balanced overview + +Structure: +```markdown +# [Document Name] Writing Review - Executive Summary + +## Overview +- Strengths summary +- Priority areas for revision + +## Priority Issues (Top 10) +Ranked by impact with specific recommendations + +## Key Patterns Identified +For each pattern (5-8 total): +- **Pattern Name** +- Principle (Gopen's framework explanation) +- Representative example with location +- Current text quoted +- Issue explained +- Concrete fix demonstrated +- List of similar instances + +## Section-Level Issues +Major content/organization concerns per section + +## Big Picture Observations +Narrative, rhetoric, strategy, gaps + +## Gopen Framework Quick Reference +Brief explanations of key concepts used +``` + +#### Document 2: Comprehensive Detail (`[basename]-Review-Detailed.md`) +**Target**: Every issue with checkboxes for tracking + +Structure: +```markdown +# [Document Name] Writing Review - Comprehensive Detail + +## How to Use This Document +- Each issue has a checkbox for tracking progress +- Cross-references to Summary doc for patterns +- Work section-by-section + +## [Section 1 Name] + +### Sentence-Level Issues +- [ ] **Line X-Y**: Issue description + - Current: [quoted text] + - Issue: [explanation] + - See Summary: [Pattern name] + - Fix: [suggested revision] + +### Paragraph-Level Issues +- [ ] **Paragraph starting line X**: Issue description + - [details] + +### Content Issues +- [ ] **Major issue description** + - [details] + +[Repeat for all sections] + +## Big Picture Issues +- [ ] Cross-cutting issues +- [ ] Consistency problems +- [ ] Missing elements +``` + +### Phase 3: Revision Style +Use "Principles + Examples" approach: +1. Explain the principle (Gopen's framework) +2. Show representative example with specific fix +3. Note similar instances elsewhere +4. Let user apply principle to similar cases + +## Gopen's Sense of Structure Framework + +Apply these principles throughout your analysis: + +**Stress Position**: The end of a sentence should contain the most important new information. Readers expect climax there. + +**Topic Position**: The beginning of a sentence should contain familiar information that links to what came before. Creates flow. + +**Point-Issue Structure**: Paragraphs should open by stating (1) the point/claim and (2) why it matters (the issue), before providing supporting detail. + +**Topic String**: The chain of topics across sentences in a paragraph. Strong topic strings create coherence. + +**Old → New Information Flow**: Information should flow from familiar (old) to unfamiliar (new) within sentences and paragraphs. + +## Guidelines + +- **Be specific**: Always quote current text and provide line numbers +- **Be constructive**: Frame issues as opportunities, not failures +- **Identify patterns**: Group similar issues rather than listing every instance +- **Prioritize**: Rank by impact on reader comprehension and persuasiveness +- **Balance**: Note strengths as well as issues +- **Cross-reference**: Link detailed issues back to patterns in summary + +## Example Interaction + +``` +User: /writing-review Writing/MyPaper +Assistant: I'll conduct a comprehensive writing review of your paper. Let me read through all the documents first... + +[Reads all files] + +I'm now analyzing at four levels and identifying patterns. This will take a few moments... + +[Creates both documents] + +I've completed the review and created two documents: + +1. **MyPaper-Review-Summary.md** - Executive overview with top 10 issues and key patterns +2. **MyPaper-Review-Detailed.md** - Comprehensive review with 150+ checkboxed items + +**Key Findings**: [brief summary] +**Priority Issues**: [top 3] +**Next Steps**: [recommendation] +``` + +## Notes + +- Focus on clarity, flow, and rhetorical effectiveness +- Use Gopen's terminology consistently +- Provide concrete, actionable suggestions +- Maintain positive, constructive tone +- Document both what works well and what needs improvement diff --git a/.task/backlog.data b/.task/backlog.data index 8ac770964..be991cb31 100644 --- a/.task/backlog.data +++ b/.task/backlog.data @@ -329,3 +329,29 @@ {"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"]} +{"description":"Draft Presentations","due":"20251122T045900Z","end":"20251202T131335Z","entry":"20251111T184241Z","modified":"20251202T131335Z","project":"ERLM","status":"completed","uuid":"aa7dde10-50d7-4e92-8732-e9f97e049fd9"} +{"description":"ERLM proposal due","due":"20251206T050000Z","entry":"20251202T131547Z","modified":"20251202T131547Z","status":"pending","uuid":"f6968367-96f1-4ce2-8691-e45423e27456"} +{"description":"NUCE2101 final exam","due":"20251209T050000Z","entry":"20251202T131547Z","modified":"20251202T131547Z","status":"pending","uuid":"a6420590-c2a5-4b74-b216-70b8faebb7c5"} +{"description":"ERLM final presentation","due":"20251209T050000Z","entry":"20251202T131547Z","modified":"20251202T131547Z","status":"pending","uuid":"1dd77b21-3931-46fb-97b5-7fc0b19bb3a6"} +{"description":"ERLM proposal due","due":"20251206T050000Z","entry":"20251202T131547Z","modified":"20251202T131656Z","project":"ERLM","status":"pending","uuid":"f6968367-96f1-4ce2-8691-e45423e27456","tags":["writing"]} +{"description":"NUCE2101 final exam","due":"20251209T050000Z","entry":"20251202T131547Z","modified":"20251202T131656Z","project":"NUCE2101","status":"pending","uuid":"a6420590-c2a5-4b74-b216-70b8faebb7c5"} +{"description":"ERLM final presentation","due":"20251209T050000Z","entry":"20251202T131547Z","modified":"20251202T131656Z","project":"ERLM","status":"pending","uuid":"1dd77b21-3931-46fb-97b5-7fc0b19bb3a6"} +{"description":"Review interview questions","due":"20251203T050000Z","entry":"20251121T184207Z","modified":"20251202T131748Z","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":"20251203T050000Z","entry":"20251121T184558Z","modified":"20251202T131748Z","project":"Chair-Search","status":"pending","uuid":"fb997f7c-c3d8-4f3c-b02c-f6d55cc9b1c8"} +{"description":"Make list of tasks for contact about student groups","due":"20251126T050000Z","end":"20251202T131911Z","entry":"20251121T184623Z","modified":"20251202T131911Z","project":"Chair-Search","status":"completed","uuid":"0addf099-132c-41af-90d8-19f5f9a9c832"} +{"description":"Reach out to SOAR for job placement info and website content","due":"20251204T050000Z","entry":"20251202T131911Z","modified":"20251202T131911Z","project":"Chair-Search","status":"pending","uuid":"535c2ffc-f233-46f0-ac33-a93cbfd12f81"} +{"description":"Reach out to Material Advantage for job placement info and website content","due":"20251204T050000Z","entry":"20251202T131911Z","modified":"20251202T131911Z","project":"Chair-Search","status":"pending","uuid":"00072514-5622-4a44-9826-49690be83767"} +{"description":"Reach out to FSAE for job placement info and website content","due":"20251204T050000Z","entry":"20251202T131911Z","modified":"20251202T131911Z","project":"Chair-Search","status":"pending","uuid":"ca5f0450-483f-4a93-aba1-d06e71b4df5c"} +{"description":"Get information from FSAE about job placements and a couple sentences about their value for the website","due":"20251203T050000Z","end":"20251202T131947Z","entry":"20251121T184558Z","modified":"20251202T131950Z","project":"Chair-Search","status":"deleted","uuid":"fb997f7c-c3d8-4f3c-b02c-f6d55cc9b1c8"} +{"description":"Review and edit Goals and Outcomes section","due":"20251205T050000Z","entry":"20251202T132235Z","modified":"20251202T132235Z","project":"ERLM","status":"pending","uuid":"0888fdb8-f5cd-4374-a589-b7b3c1bbd472","tags":["editing"]} +{"description":"Review and edit State of the Art section","due":"20251205T050000Z","entry":"20251202T132235Z","modified":"20251202T132235Z","project":"ERLM","status":"pending","uuid":"0d921ea2-6211-4cd8-bbc4-4f9bf36794d3","tags":["editing"]} +{"description":"Review and edit Research Approach section","due":"20251205T050000Z","entry":"20251202T132235Z","modified":"20251202T132235Z","project":"ERLM","status":"pending","uuid":"9ce7d23c-0f56-49af-b97d-a684966cfbae","tags":["editing"]} +{"description":"Review and edit Metrics of Success section","due":"20251205T050000Z","entry":"20251202T132235Z","modified":"20251202T132235Z","project":"ERLM","status":"pending","uuid":"29cc8c63-1fb7-4523-9953-603467b929ee","tags":["editing"]} +{"description":"Review and edit Risks and Contingencies section","due":"20251205T050000Z","entry":"20251202T132235Z","modified":"20251202T132235Z","project":"ERLM","status":"pending","uuid":"e354ab0c-cef7-41e2-bfb4-d98886e512b7","tags":["editing"]} +{"description":"Review and edit Broader Impacts section","due":"20251205T050000Z","entry":"20251202T132236Z","modified":"20251202T132236Z","project":"ERLM","status":"pending","uuid":"d1fa2409-2f2f-4855-81be-14ee617df5d2","tags":["editing"]} +{"description":"Review and edit Budget section","due":"20251205T050000Z","entry":"20251202T132236Z","modified":"20251202T132236Z","project":"ERLM","status":"pending","uuid":"689420d6-7191-42b6-b691-94ad39c8e0dd","tags":["editing"]} +{"description":"Review and edit Schedule section","due":"20251205T050000Z","entry":"20251202T132236Z","modified":"20251202T132236Z","project":"ERLM","status":"pending","uuid":"14fee599-fe0f-4773-90fc-c5f78291f425","tags":["editing"]} +{"description":"Verify RFP compliance for all sections","due":"20251205T050000Z","entry":"20251202T132246Z","modified":"20251202T132246Z","project":"ERLM","status":"pending","uuid":"a4c027fa-f50d-4efc-ab61-5b8054810a80","tags":["editing"]} +{"description":"Final proofread and polish entire proposal","due":"20251205T050000Z","entry":"20251202T132246Z","modified":"20251202T132246Z","project":"ERLM","status":"pending","uuid":"5ba3929b-5ec3-4c9d-b30e-30fd8fe20b54","tags":["editing"]} +{"description":"Compile and generate final PDF","due":"20251205T050000Z","entry":"20251202T132246Z","modified":"20251202T132246Z","project":"ERLM","status":"pending","uuid":"2a8e9294-aecc-434a-b5dd-a468baf8f4a8"} +{"description":"ERLM proposal due","due":"20251206T050000Z","entry":"20251202T131547Z","modified":"20251202T132329Z","project":"ERLM","status":"pending","uuid":"f6968367-96f1-4ce2-8691-e45423e27456","tags":["writing"],"depends":["0888fdb8-f5cd-4374-a589-b7b3c1bbd472","0d921ea2-6211-4cd8-bbc4-4f9bf36794d3","14fee599-fe0f-4773-90fc-c5f78291f425","29cc8c63-1fb7-4523-9953-603467b929ee","2a8e9294-aecc-434a-b5dd-a468baf8f4a8","5ba3929b-5ec3-4c9d-b30e-30fd8fe20b54","689420d6-7191-42b6-b691-94ad39c8e0dd","9ce7d23c-0f56-49af-b97d-a684966cfbae","a4c027fa-f50d-4efc-ab61-5b8054810a80","d1fa2409-2f2f-4855-81be-14ee617df5d2","e354ab0c-cef7-41e2-bfb4-d98886e512b7"]} diff --git a/.task/completed.data b/.task/completed.data index 741b64d08..09816b0e4 100644 --- a/.task/completed.data +++ b/.task/completed.data @@ -1,3 +1,6 @@ +[description:"Get information from FSAE about job placements and a couple sentences about their value for the website" due:"1764738000" end:"1764681587" entry:"1763750758" modified:"1764681590" project:"Chair-Search" status:"deleted" uuid:"fb997f7c-c3d8-4f3c-b02c-f6d55cc9b1c8"] +[description:"Make list of tasks for contact about student groups" due:"1764133200" end:"1764681551" entry:"1763750783" modified:"1764681551" project:"Chair-Search" status:"completed" uuid:"0addf099-132c-41af-90d8-19f5f9a9c832"] +[description:"Draft Presentations" due:"1763787540" end:"1764681215" entry:"1762886561" modified:"1764681215" project:"ERLM" status:"completed" uuid:"aa7dde10-50d7-4e92-8732-e9f97e049fd9"] [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"] diff --git a/.task/pending.data b/.task/pending.data index 2717db6d8..974b1504f 100644 --- a/.task/pending.data +++ b/.task/pending.data @@ -57,10 +57,24 @@ [description:"project zk.perm Heat Removal" entry:"1761852415" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"] [description:"project zk.perm Reactor Coolant Inventory Control" entry:"1761852439" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"] [description:"Review Simeonas comments and implement them\n" entry:"1762182404" modified:"1762182404" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"4f55e685-ed77-4533-9865-2ebe64b80632"] -[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:"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:"Review interview questions" due:"1764738000" entry:"1763750527" modified:"1764681468" project:"Chair-Search" status:"pending" uuid:"1156892a-3889-4b9d-baea-01e4802fd755"] [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"] +[dep_0888fdb8-f5cd-4374-a589-b7b3c1bbd472:"x" dep_0d921ea2-6211-4cd8-bbc4-4f9bf36794d3:"x" dep_14fee599-fe0f-4773-90fc-c5f78291f425:"x" dep_29cc8c63-1fb7-4523-9953-603467b929ee:"x" dep_2a8e9294-aecc-434a-b5dd-a468baf8f4a8:"x" dep_5ba3929b-5ec3-4c9d-b30e-30fd8fe20b54:"x" dep_689420d6-7191-42b6-b691-94ad39c8e0dd:"x" dep_9ce7d23c-0f56-49af-b97d-a684966cfbae:"x" dep_a4c027fa-f50d-4efc-ab61-5b8054810a80:"x" dep_d1fa2409-2f2f-4855-81be-14ee617df5d2:"x" dep_e354ab0c-cef7-41e2-bfb4-d98886e512b7:"x" depends:"0888fdb8-f5cd-4374-a589-b7b3c1bbd472,0d921ea2-6211-4cd8-bbc4-4f9bf36794d3,14fee599-fe0f-4773-90fc-c5f78291f425,29cc8c63-1fb7-4523-9953-603467b929ee,2a8e9294-aecc-434a-b5dd-a468baf8f4a8,5ba3929b-5ec3-4c9d-b30e-30fd8fe20b54,689420d6-7191-42b6-b691-94ad39c8e0dd,9ce7d23c-0f56-49af-b97d-a684966cfbae,a4c027fa-f50d-4efc-ab61-5b8054810a80,d1fa2409-2f2f-4855-81be-14ee617df5d2,e354ab0c-cef7-41e2-bfb4-d98886e512b7" description:"ERLM proposal due" due:"1764997200" entry:"1764681347" modified:"1764681809" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"f6968367-96f1-4ce2-8691-e45423e27456"] +[description:"NUCE2101 final exam" due:"1765256400" entry:"1764681347" modified:"1764681416" project:"NUCE2101" status:"pending" uuid:"a6420590-c2a5-4b74-b216-70b8faebb7c5"] +[description:"ERLM final presentation" due:"1765256400" entry:"1764681347" modified:"1764681416" project:"ERLM" status:"pending" uuid:"1dd77b21-3931-46fb-97b5-7fc0b19bb3a6"] +[description:"Reach out to SOAR for job placement info and website content" due:"1764824400" entry:"1764681551" modified:"1764681551" project:"Chair-Search" status:"pending" uuid:"535c2ffc-f233-46f0-ac33-a93cbfd12f81"] +[description:"Reach out to Material Advantage for job placement info and website content" due:"1764824400" entry:"1764681551" modified:"1764681551" project:"Chair-Search" status:"pending" uuid:"00072514-5622-4a44-9826-49690be83767"] +[description:"Reach out to FSAE for job placement info and website content" due:"1764824400" entry:"1764681551" modified:"1764681551" project:"Chair-Search" status:"pending" uuid:"ca5f0450-483f-4a93-aba1-d06e71b4df5c"] +[description:"Review and edit Goals and Outcomes section" due:"1764910800" entry:"1764681755" modified:"1764681755" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"0888fdb8-f5cd-4374-a589-b7b3c1bbd472"] +[description:"Review and edit State of the Art section" due:"1764910800" entry:"1764681755" modified:"1764681755" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"0d921ea2-6211-4cd8-bbc4-4f9bf36794d3"] +[description:"Review and edit Research Approach section" due:"1764910800" entry:"1764681755" modified:"1764681755" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"9ce7d23c-0f56-49af-b97d-a684966cfbae"] +[description:"Review and edit Metrics of Success section" due:"1764910800" entry:"1764681755" modified:"1764681755" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"29cc8c63-1fb7-4523-9953-603467b929ee"] +[description:"Review and edit Risks and Contingencies section" due:"1764910800" entry:"1764681755" modified:"1764681755" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"e354ab0c-cef7-41e2-bfb4-d98886e512b7"] +[description:"Review and edit Broader Impacts section" due:"1764910800" entry:"1764681756" modified:"1764681756" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"d1fa2409-2f2f-4855-81be-14ee617df5d2"] +[description:"Review and edit Budget section" due:"1764910800" entry:"1764681756" modified:"1764681756" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"689420d6-7191-42b6-b691-94ad39c8e0dd"] +[description:"Review and edit Schedule section" due:"1764910800" entry:"1764681756" modified:"1764681756" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"14fee599-fe0f-4773-90fc-c5f78291f425"] +[description:"Verify RFP compliance for all sections" due:"1764910800" entry:"1764681766" modified:"1764681766" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"a4c027fa-f50d-4efc-ab61-5b8054810a80"] +[description:"Final proofread and polish entire proposal" due:"1764910800" entry:"1764681766" modified:"1764681766" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"5ba3929b-5ec3-4c9d-b30e-30fd8fe20b54"] +[description:"Compile and generate final PDF" due:"1764910800" entry:"1764681766" modified:"1764681766" project:"ERLM" status:"pending" uuid:"2a8e9294-aecc-434a-b5dd-a468baf8f4a8"] diff --git a/.task/undo.data b/.task/undo.data index 1c33de098..db16ce588 100644 --- a/.task/undo.data +++ b/.task/undo.data @@ -1179,3 +1179,90 @@ new [description:"Make list of tasks for contact about student groups" due:"1764 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"] --- +time 1764681215 +old [description:"Draft Presentations" due:"1763787540" entry:"1762886561" modified:"1762886561" project:"ERLM" status:"pending" uuid:"aa7dde10-50d7-4e92-8732-e9f97e049fd9"] +new [description:"Draft Presentations" due:"1763787540" end:"1764681215" entry:"1762886561" modified:"1764681215" project:"ERLM" status:"completed" uuid:"aa7dde10-50d7-4e92-8732-e9f97e049fd9"] +--- +time 1764681347 +new [description:"ERLM proposal due" due:"1764997200" entry:"1764681347" modified:"1764681347" status:"pending" uuid:"f6968367-96f1-4ce2-8691-e45423e27456"] +--- +time 1764681347 +new [description:"NUCE2101 final exam" due:"1765256400" entry:"1764681347" modified:"1764681347" status:"pending" uuid:"a6420590-c2a5-4b74-b216-70b8faebb7c5"] +--- +time 1764681347 +new [description:"ERLM final presentation" due:"1765256400" entry:"1764681347" modified:"1764681347" status:"pending" uuid:"1dd77b21-3931-46fb-97b5-7fc0b19bb3a6"] +--- +time 1764681416 +old [description:"ERLM proposal due" due:"1764997200" entry:"1764681347" modified:"1764681347" status:"pending" uuid:"f6968367-96f1-4ce2-8691-e45423e27456"] +new [description:"ERLM proposal due" due:"1764997200" entry:"1764681347" modified:"1764681416" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"f6968367-96f1-4ce2-8691-e45423e27456"] +--- +time 1764681416 +old [description:"NUCE2101 final exam" due:"1765256400" entry:"1764681347" modified:"1764681347" status:"pending" uuid:"a6420590-c2a5-4b74-b216-70b8faebb7c5"] +new [description:"NUCE2101 final exam" due:"1765256400" entry:"1764681347" modified:"1764681416" project:"NUCE2101" status:"pending" uuid:"a6420590-c2a5-4b74-b216-70b8faebb7c5"] +--- +time 1764681416 +old [description:"ERLM final presentation" due:"1765256400" entry:"1764681347" modified:"1764681347" status:"pending" uuid:"1dd77b21-3931-46fb-97b5-7fc0b19bb3a6"] +new [description:"ERLM final presentation" due:"1765256400" entry:"1764681347" modified:"1764681416" project:"ERLM" status:"pending" uuid:"1dd77b21-3931-46fb-97b5-7fc0b19bb3a6"] +--- +time 1764681468 +old [description:"Review interview questions" due:"1763960400" entry:"1763750527" modified:"1763750527" project:"Chair-Search" status:"pending" uuid:"1156892a-3889-4b9d-baea-01e4802fd755"] +new [description:"Review interview questions" due:"1764738000" entry:"1763750527" modified:"1764681468" project:"Chair-Search" status:"pending" uuid:"1156892a-3889-4b9d-baea-01e4802fd755"] +--- +time 1764681468 +old [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"] +new [description:"Get information from FSAE about job placements and a couple sentences about their value for the website" due:"1764738000" entry:"1763750758" modified:"1764681468" project:"Chair-Search" status:"pending" uuid:"fb997f7c-c3d8-4f3c-b02c-f6d55cc9b1c8"] +--- +time 1764681551 +old [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"] +new [description:"Make list of tasks for contact about student groups" due:"1764133200" end:"1764681551" entry:"1763750783" modified:"1764681551" project:"Chair-Search" status:"completed" uuid:"0addf099-132c-41af-90d8-19f5f9a9c832"] +--- +time 1764681551 +new [description:"Reach out to SOAR for job placement info and website content" due:"1764824400" entry:"1764681551" modified:"1764681551" project:"Chair-Search" status:"pending" uuid:"535c2ffc-f233-46f0-ac33-a93cbfd12f81"] +--- +time 1764681551 +new [description:"Reach out to Material Advantage for job placement info and website content" due:"1764824400" entry:"1764681551" modified:"1764681551" project:"Chair-Search" status:"pending" uuid:"00072514-5622-4a44-9826-49690be83767"] +--- +time 1764681551 +new [description:"Reach out to FSAE for job placement info and website content" due:"1764824400" entry:"1764681551" modified:"1764681551" project:"Chair-Search" status:"pending" uuid:"ca5f0450-483f-4a93-aba1-d06e71b4df5c"] +--- +time 1764681590 +old [description:"Get information from FSAE about job placements and a couple sentences about their value for the website" due:"1764738000" entry:"1763750758" modified:"1764681468" project:"Chair-Search" status:"pending" uuid:"fb997f7c-c3d8-4f3c-b02c-f6d55cc9b1c8"] +new [description:"Get information from FSAE about job placements and a couple sentences about their value for the website" due:"1764738000" end:"1764681587" entry:"1763750758" modified:"1764681590" project:"Chair-Search" status:"deleted" uuid:"fb997f7c-c3d8-4f3c-b02c-f6d55cc9b1c8"] +--- +time 1764681755 +new [description:"Review and edit Goals and Outcomes section" due:"1764910800" entry:"1764681755" modified:"1764681755" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"0888fdb8-f5cd-4374-a589-b7b3c1bbd472"] +--- +time 1764681755 +new [description:"Review and edit State of the Art section" due:"1764910800" entry:"1764681755" modified:"1764681755" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"0d921ea2-6211-4cd8-bbc4-4f9bf36794d3"] +--- +time 1764681755 +new [description:"Review and edit Research Approach section" due:"1764910800" entry:"1764681755" modified:"1764681755" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"9ce7d23c-0f56-49af-b97d-a684966cfbae"] +--- +time 1764681755 +new [description:"Review and edit Metrics of Success section" due:"1764910800" entry:"1764681755" modified:"1764681755" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"29cc8c63-1fb7-4523-9953-603467b929ee"] +--- +time 1764681755 +new [description:"Review and edit Risks and Contingencies section" due:"1764910800" entry:"1764681755" modified:"1764681755" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"e354ab0c-cef7-41e2-bfb4-d98886e512b7"] +--- +time 1764681756 +new [description:"Review and edit Broader Impacts section" due:"1764910800" entry:"1764681756" modified:"1764681756" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"d1fa2409-2f2f-4855-81be-14ee617df5d2"] +--- +time 1764681756 +new [description:"Review and edit Budget section" due:"1764910800" entry:"1764681756" modified:"1764681756" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"689420d6-7191-42b6-b691-94ad39c8e0dd"] +--- +time 1764681756 +new [description:"Review and edit Schedule section" due:"1764910800" entry:"1764681756" modified:"1764681756" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"14fee599-fe0f-4773-90fc-c5f78291f425"] +--- +time 1764681766 +new [description:"Verify RFP compliance for all sections" due:"1764910800" entry:"1764681766" modified:"1764681766" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"a4c027fa-f50d-4efc-ab61-5b8054810a80"] +--- +time 1764681766 +new [description:"Final proofread and polish entire proposal" due:"1764910800" entry:"1764681766" modified:"1764681766" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"5ba3929b-5ec3-4c9d-b30e-30fd8fe20b54"] +--- +time 1764681766 +new [description:"Compile and generate final PDF" due:"1764910800" entry:"1764681766" modified:"1764681766" project:"ERLM" status:"pending" uuid:"2a8e9294-aecc-434a-b5dd-a468baf8f4a8"] +--- +time 1764681809 +old [description:"ERLM proposal due" due:"1764997200" entry:"1764681347" modified:"1764681416" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"f6968367-96f1-4ce2-8691-e45423e27456"] +new [dep_0888fdb8-f5cd-4374-a589-b7b3c1bbd472:"x" dep_0d921ea2-6211-4cd8-bbc4-4f9bf36794d3:"x" dep_14fee599-fe0f-4773-90fc-c5f78291f425:"x" dep_29cc8c63-1fb7-4523-9953-603467b929ee:"x" dep_2a8e9294-aecc-434a-b5dd-a468baf8f4a8:"x" dep_5ba3929b-5ec3-4c9d-b30e-30fd8fe20b54:"x" dep_689420d6-7191-42b6-b691-94ad39c8e0dd:"x" dep_9ce7d23c-0f56-49af-b97d-a684966cfbae:"x" dep_a4c027fa-f50d-4efc-ab61-5b8054810a80:"x" dep_d1fa2409-2f2f-4855-81be-14ee617df5d2:"x" dep_e354ab0c-cef7-41e2-bfb4-d98886e512b7:"x" depends:"0888fdb8-f5cd-4374-a589-b7b3c1bbd472,0d921ea2-6211-4cd8-bbc4-4f9bf36794d3,14fee599-fe0f-4773-90fc-c5f78291f425,29cc8c63-1fb7-4523-9953-603467b929ee,2a8e9294-aecc-434a-b5dd-a468baf8f4a8,5ba3929b-5ec3-4c9d-b30e-30fd8fe20b54,689420d6-7191-42b6-b691-94ad39c8e0dd,9ce7d23c-0f56-49af-b97d-a684966cfbae,a4c027fa-f50d-4efc-ab61-5b8054810a80,d1fa2409-2f2f-4855-81be-14ee617df5d2,e354ab0c-cef7-41e2-bfb4-d98886e512b7" description:"ERLM proposal due" due:"1764997200" entry:"1764681347" modified:"1764681809" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"f6968367-96f1-4ce2-8691-e45423e27456"] +--- diff --git a/ERLM-Proposal-Review-Detailed.md b/ERLM-Proposal-Review-Detailed.md new file mode 100644 index 000000000..9841e87e9 --- /dev/null +++ b/ERLM-Proposal-Review-Detailed.md @@ -0,0 +1,1112 @@ +# ERLM Proposal Writing Review - Comprehensive Detail + +**Date**: December 2, 2025 +**Framework**: Gopen's Sense of Structure + +--- + +## How to Use This Document + +- **Each issue has a checkbox** `- [ ]` for tracking your revision progress +- **Issues organized by section** and then by level (sentence, paragraph, content) +- **Cross-references to Summary doc** for patterns and principles +- **Work section-by-section** - complete one section before moving to next +- **Check off items as you revise** - provides visual progress tracking + +For pattern explanations and principles, see the **Executive Summary** document. + +--- + +## 1. Goals and Outcomes Section + +### 1.1 Sentence-Level Issues + +- [ ] **Lines 4-6** - Weak stress position + - Current: "The goal of this research is to develop a methodology for creating autonomous hybrid control systems with mathematical guarantees of safe and correct behavior." + - Issue: Sentence ends with "correct behavior" (weak, expected). Key innovation is "methodology for creating" with "mathematical guarantees" + - See Summary: Pattern 1 (Stress Position Weakness) + - Suggested fix: "The goal of this research is to develop autonomous hybrid control systems that guarantee mathematically safe and correct behavior." + +- [ ] **Lines 9-11** - Weak stress position + passive construction + - Current: "Nuclear power plants require the highest levels of control system reliability, where failures can result in significant economic losses, service interruptions, or radiological release." + - Issue: List ends with weakest item first (economic losses < radiological release). Also "can result in" is weak + - Fix: "Nuclear power plants require the highest levels of control system reliability: failures risk radiological release, service interruptions, or significant economic losses." + +- [ ] **Lines 13-17** - Buried key claim + - Current: "Currently, nuclear plant operations rely on extensively trained human operators who follow detailed written procedures and strict regulatory requirements to manage reactor control." + - Issue: Key points (extensively trained, detailed procedures, strict requirements) buried in middle. Ends weakly with "manage reactor control" + - Fix: "Currently, nuclear plant operations require extensively trained human operators following detailed written procedures under strict regulatory requirements." + +- [ ] **Lines 16-17** - Topic position break + - Current: "These operators make critical decisions about when to switch between different control modes..." + - Issue: "These operators" okay, but could be tighter as "They" since immediately follows previous sentence about operators + - Fix: "They make critical decisions..." + +- [ ] **Lines 19-20** - Passive "prevents the introduction of" + - Current: "However, this reliance on human operators prevents the introduction of autonomous control capabilities..." + - Issue: Nominalization "introduction" + passive "prevents introduction" + - Fix: "However, this reliance on human operators prevents introducing autonomous control capabilities..." or "...makes autonomous control impossible" + +- [ ] **Lines 22-23** - Topic position break + - Current (new paragraph): "Emerging technologies like small modular reactors face significantly higher..." + - Issue: Abrupt shift from "reliance on operators" to "emerging technologies" + - Fix: "This limitation creates particular challenges for emerging technologies like small modular reactors, which face..." + +- [ ] **Lines 25-27** - Weak stress position + nominalization + - Current: "What is needed is a way to create autonomous control systems that can safely manage complex operational sequences..." + - Issue: Ends with "constant human supervision" (the problem, not the solution). Also "what is needed" is passive framing + - Fix: "Autonomous control systems must safely manage complex operational sequences with the same assurance as human-operated systems, but without constant human supervision." + +- [ ] **Lines 30-31** - Weak stress position + - Current: "To address this need, we will combine formal methods from computer science with control theory to build hybrid control systems that are correct by construction." + - Issue: Ends with "correct by construction" which is good, but could emphasize the combination more + - Fix: "To address this need, we will build hybrid control systems that are correct by construction by combining formal methods from computer science with control theory." + +- [ ] **Lines 33-37** - Long complex sentence (45 words) + - Current: "Hybrid systems use discrete logic to switch between continuous control modes, similar to how operators change control strategies, and existing formal methods can generate provably correct switching logic from written requirements, but they cannot handle the continuous dynamics that occur during transitions between modes." + - Issue: Two "and" clauses plus a "but" clause—very complex + - Fix (split): "Hybrid systems use discrete logic to switch between continuous control modes, similar to how operators change control strategies. Existing formal methods can generate provably correct switching logic from written requirements. However, they cannot handle the continuous dynamics that occur during transitions between modes." + +- [ ] **Lines 37-39** - Another long complex sentence + - Current: "Meanwhile, traditional control theory can verify continuous behavior but lacks tools for proving correctness of discrete switching decisions." + - Issue: This is actually fine as-is, but note the parallel "X can do A but lacks B" structure matches previous sentence well + +- [ ] **Lines 40-45** - Very long complex sentence (60+ words) + - Current: "By synthesizing discrete mode transitions directly from written operating procedures and verifying continuous behavior between transitions, we can create hybrid control systems with end-to-end correctness guarantees. If we can formalize existing procedures into logical specifications and verify that continuous dynamics satisfy transition requirements, then we can build autonomous controllers that are provably free from design defects." + - Issue: Two long sentences that are somewhat repetitive + - Fix: Consider combining or cutting redundancy. The first sentence is strong; the second restates it with "if...then" structure that's less confident + - Suggested: Keep first sentence, delete second, or shorten second to: "This approach yields autonomous controllers provably free from design defects." + +- [ ] **Lines 47-48** - Weak stress position + - Current: "This approach will enable autonomous control in nuclear power plants while maintaining the high safety standards required by the industry." + - Issue: Ends with "required by the industry"—old information + - Fix: "This approach will maintain the high safety standards nuclear power plants require while enabling autonomous control." + +- [ ] **Lines 50-53** - Long sentence with embedded clause + - Current: "This work is conducted within the University of Pittsburgh Cyber Energy Center, which provides access to industry collaboration and Emerson control hardware, ensuring that solutions developed are aligned with practical implementation requirements." + - Issue: "Ensuring that" is weak; also passive "solutions developed" + - Fix: "This work is conducted within the University of Pittsburgh Cyber Energy Center, which provides industry collaboration and access to Emerson control hardware. This ensures our solutions align with practical implementation requirements." + +### 1.2 Paragraph-Level Issues + +- [ ] **Lines 3-6 (Goal paragraph)** - Could be stronger + - Current: Single sentence stating the goal + - Issue: While clear, could benefit from a second sentence stating why this goal matters (the issue) + - Fix: Add after line 6: "Such guarantees are essential for safety-critical systems where verification through testing alone cannot provide adequate assurance." + +- [ ] **Lines 29-53 (Approach paragraph)** - Too dense, covers multiple sub-topics + - Current: One large paragraph covering: (1) solution approach, (2) rationale about hybrid systems, (3) existing limitations, (4) hypothesis, (5) payoff, (6) qualifications + - Issue: This is really 2-3 paragraphs worth of content + - Fix: Break into two paragraphs: + - Para 1 (lines 30-38): Solution and rationale + - Para 2 (lines 40-48): Hypothesis and payoff + - Keep qualifications (lines 50-53) with payoff or as separate brief paragraph + +- [ ] **Outcome paragraphs (58-101)** - Generally strong structure + - Each outcome has: Title → Strategy → Outcome structure, which is excellent + - Minor issue: The strategy/outcome distinction could be sharper. Currently reads as "We will do X. Engineers will be able to Y." Consider: "We will do X, enabling engineers to Y." + - Fix for each: + - Lines 63-72: Combine last two sentences: "...synthesized into discrete control logic, enabling control system engineers to generate verified mode-switching controllers..." + - Lines 77-85: Similar combination possible + - Lines 91-99: Similar combination possible + +### 1.3 Content and Organization Issues + +- [ ] **Overall structure** - Excellent + - The four-paragraph opening (goal → problem → approach → outcomes) is very strong + - The enumerated outcomes are clear and specific + - Impact paragraph provides good closure + - No major reorganization needed + +- [ ] **Technical detail level** - Appropriate + - Good balance of specificity (SmAHTR, Emerson hardware) without overwhelming detail + - Outcomes are concrete and measurable + +- [ ] **Missing elements** - None critical + - All standard goal section elements present + - Qualifications established + - Scope clearly defined + +--- + +## 2. State of the Art Section + +### 2.1 Sentence-Level Issues + +- [ ] **Lines 3-9** - Long opening sentence (46 words) + - Current: "The principal aim of this research is to create autonomous reactor control systems that are tractably safe. But, to understand what exactly is being automated, it is important to understand how nuclear reactors are operated today." + - Issue: Two sentences could be more tightly connected + - Fix: "The principal aim of this research is to create autonomous reactor control systems that are tractably safe. Understanding what we automate requires first understanding current reactor operation." + +- [ ] **Lines 6-9** - Roadmap sentence is good but could be punchier + - Current: "First, the reactor operator themselves is discussed. Then, operating procedures that we aim to leverage later are examined. Next, limitations of human-based operation are investigated, while finally we discuss current formal methods based approaches..." + - Issue: Passive constructions throughout ("is discussed", "are examined", "are investigated") + - Fix: "We first discuss the reactor operator, then examine the operating procedures we will leverage, next investigate human operation limitations, and finally review current formal methods approaches to reactor control." + +- [ ] **Lines 13-19** - Good opening, solid statistics + - Current paragraph opener establishes scale and scope well + - No major issues + +- [ ] **Lines 21-34** - Very long paragraph with complex structure + - Current: "The role of human operators is paradoxically..." through "...fulfill this responsibility under all conditions" + - Issue: This paragraph tries to do too much: (1) paradox of operator role, (2) TMI example, (3) commission finding + - Fix: Consider breaking after line 24 (TMI example) into new paragraph + +- [ ] **Lines 24-26** - Long embedded quote + - Current: "operators \"misread confusing and contradictory readings and shut off the emergency water system\"" + - Issue: Long quote breaks sentence flow + - Fix: Paraphrase or shorten: "operators misread contradictory readings and shut off the emergency water system" + +- [ ] **Lines 44-51** - Extremely long sentence (58 words) + - Current: "These procedures must comply with 10 CFR 50.34(b)(6)(ii) and are developed using guidance from NUREG-0899, but their development process relies fundamentally on expert judgment and simulator validation rather than formal verification. Procedures undergo technical evaluation, simulator validation testing, and biennial review as part of operator requalification under 10 CFR 55.59, but despite these rigorous development processes..." + - Issue: Actually two long sentences with parallel "X but Y" structure, both 50+ words + - Fix: Break into shorter sentences: "These procedures must comply with 10 CFR 50.34(b)(6)(ii) and are developed using guidance from NUREG-0899. However, their development process relies on expert judgment and simulator validation rather than formal verification. Procedures undergo technical evaluation, simulator validation testing, and biennial review under 10 CFR 55.59. Despite these rigorous processes..." + +- [ ] **Lines 48-51** - Weak stress position + - Current: "...or that transitions between procedure sets maintain safety invariants." + - Issue: Ends with weakest of three items + - Fix: Reorder list to build to most important: "...that transitions maintain safety invariants, that actions can be completed within available timeframes, or that procedures cover all possible plant states." + +- [ ] **Lines 53-60 (LIMITATION callout)** - Generally strong + - The bold "LIMITATION:" callouts are excellent framing devices + - Minor: Some repetition between paragraph text and limitation summary + - Consider whether limitation box needs all the detail or can be more concise + +- [ ] **Lines 74-79** - Topic string break + - Current: "The current division between automated and human-controlled functions reveals the fundamental challenge..." + - Previous paragraph ended discussing automatic vs. manual control modes + - This starts with "current division" which is good topic-position continuity + - Minor issue: "%%%NEED MORE" comment at line 79 indicates incomplete thought + +- [ ] **Lines 81-85 (LIMITATION callout)** - Weak stress position in callout + - Current: "...or optimize the automation-human interaction trade-off with provable safety bounds." + - Issue: Ends with least important item (optimization < verification < mathematical guarantees) + - Fix: "...verify timing properties formally, or provide mathematical guarantees across mode transitions." + +- [ ] **Lines 94-97** - Statistics presentation + - Current: "Multiple independent analyses converge on a striking statistic: \\textbf{70--80\\% of all nuclear power plant events..." + - Issue: Good use of bold for key statistics. Consider whether all statistics need similar treatment for consistency + - Note: Lines 100, 119, 125-126 have more statistics—ensure consistent emphasis treatment + +- [ ] **Lines 97-99** - Very strong claim, good stress position + - Current: "...the International Atomic Energy Agency concluded that \"human error was the root cause of all severe accidents at nuclear power plants\"---a categorical statement..." + - This is excellent—emphatic claim in stress position with proper emphasis + +- [ ] **Lines 108-121 (TMI paragraph)** - Generally strong narrative + - Good use of specific timeline and technical detail + - Line 119: "\\textbf{44\\% of the fuel melting}" - good emphasis + - Line 118: "core quickly began to overheat" - could be more specific: "core began overheating within minutes" or similar + +- [ ] **Lines 122-143** - Technical paragraph with many statistics + - Dense paragraph with HRA methods, HEPs, performance shaping factors + - Line 128: "%%%SOURCE???" indicates missing citation + - Lines 131-132: Bold statistics are effective + - Lines 136-142: Many bolded numbers—ensure not overusing bold + - Overall structure is good but very dense + +- [ ] **Lines 145-153** - Rasmussen taxonomy paragraph + - Good integration of cognitive psychology + - Line 151: "%%%WHAT IS A CHUNK?" indicates need for brief explanation + - Consider adding: "(a 'chunk' is a unit of information that can be held as a single entity in working memory)" + +- [ ] **Lines 154-163 (LIMITATION callout)** - Very strong + - This limitation statement is one of the best—specific, well-supported, emphatic + - No changes needed + +### 2.2 Paragraph-Level Issues + +- [ ] **Lines 13-34 (Operator role paragraph)** - Break into two paragraphs + - Current: One long paragraph covering operator qualifications AND paradoxical role with TMI example + - Issue: Two distinct points being made + - Fix: Break after line 19 (end of qualification/staffing discussion) before starting paradox discussion (line 21) + +- [ ] **Lines 36-61 (Procedures paragraph)** - Very long, multiple sub-topics + - Current: Covers (1) procedure hierarchy, (2) development process, (3) lack of verification + - Issue: 26 lines is too long for reader attention span + - Fix: Break into two paragraphs: + - Para 1: Procedure hierarchy and development (lines 36-46) + - Para 2: Lack of formal verification (lines 47-51, then LIMITATION box) + +- [ ] **Lines 88-107 (Human factors intro paragraph)** - Dense but well-structured + - Opens with strong point-issue structure + - Provides multiple converging lines of evidence + - Could potentially break after line 102 (end of statistics) before starting specific analysis (line 103), but current structure works + +- [ ] **Lines 108-121 (TMI narrative)** - Excellent storytelling + - Clear chronological structure + - Specific technical details + - Builds to climax (44% fuel melting) + - No changes needed + +- [ ] **Lines 122-143 (HRA methods paragraph)** - Very dense + - Topic: HRA methods and quantitative error rates + - Issue: Many numbers and concepts in rapid succession + - Consider: Could break after line 133 (end of nominal rates) before starting performance shaping factors (line 135) + +### 2.3 Content and Organization Issues + +- [ ] **Section length** - 358 lines, longest in proposal + - Issue: Risk of reader fatigue/losing track of argument + - Recommendation: Consider whether all detail is necessary, or if some could move to appendix + - Specifically: HARDENS subsection (lines 165-295) is 131 lines—nearly as long as entire Research Approach section + +- [ ] **HARDENS subsection structure** - Well-organized but very detailed + - Four sub-subsections: Feasibility Demonstrated (23 lines), Methods Toolkit (42 lines), Discrete Limitation (33 lines), Validation Gap (33 lines) + - Issue: While all interesting, does the proposal need this much detail on HARDENS? + - Recommendation: Consider condensing or restructuring to focus more on the gap you're filling rather than recounting HARDENS accomplishments + - Current structure spends 65 lines on what HARDENS did well, 66 lines on limitations. Could reverse this proportion. + +- [ ] **"Research Imperative" subsection (296-358)** - Excellent synthesis but placement + - Content: Strong synthesis of three converging lines of evidence + - Issue: This feels like it belongs at the START of Research Approach section rather than end of SOTA + - Current: SOTA → lists problems → Research Imperative → Research Approach → here's what we'll do + - Alternative: SOTA → lists problems → Research Approach starts with Imperative → here's what we'll do + - Consider: Moving lines 296-358 to open Research Approach section + +- [ ] **LIMITATION callouts** - Excellent framing device + - Used consistently throughout: lines 53-60, 81-85, 154-163, 254-263, 287-294 + - These are very effective at signaling gaps + - Minor: Ensure consistent formatting (all bold, all italic "LIMITATION:") + +- [ ] **Transition from Current Practice to HARDENS** - Could be smoother + - Line 165 starts "The High Assurance Rigorous Digital Engineering..." abruptly + - Consider adding transition sentence: "Recent work demonstrates that formal methods can address some of these challenges. The High Assurance..." + +### 2.4 State of the Art Section - Additional Issues + +- [ ] **Lines 165-173 (HARDENS intro)** - Opening could be tighter + - Current: Two sentences introducing HARDENS, second describes it as "most advanced application...and simultaneously reveals the critical gaps" + - Issue: "Simultaneously reveals gaps" is your framing, not inherent to HARDENS + - Fix: "...represents the most advanced application of formal methods to nuclear control systems to date. As we will show, it also illuminates the critical gaps that remain." + +- [ ] **Lines 175-181 (HARDENS motivation)** - Good context + - Explains the problem HARDENS addressed + - No major issues + +- [ ] **Lines 182-190** - Statistics on accomplishment + - Line 185-186: "\\textbf{nine months at a tiny fraction of typical control system costs}" - good emphasis + - Consider: "at a tiny fraction" is vague. If you have even rough numbers, use them: "at less than 10% of typical costs" or similar + +- [ ] **Lines 192-198 (Kiniry and methodology)** - Dense paragraph + - Introduces PI, methodology, digital twins, fidelity + - Many concepts in quick succession + - Consider: This could be two paragraphs—one on Kiniry/team, one on methodology + +- [ ] **Lines 200-231 (Comprehensive toolkit subsection)** - Very detailed + - Lists many tools: Lando, SysMLv2, FRET, SAT, SMT, Cryptol, SAW, Frama-C, Yosys + - Issue: Readers may get lost in the tool list and miss the key point + - Consider: Leading with the key point, then briefly listing tools as support + - Current: "HARDENS employed impressive array..." → lists tools + - Alternative: "HARDENS demonstrated complete verification from requirements to implementation [key point], using an impressive array of tools including..." + +- [ ] **Lines 207-210** - Bolded text for emphasis + - "\\textbf{consistency, completeness, and realizability}" - good + - "\\textbf{complete formal verification from requirements to implementation is technically feasible}" - excellent key claim, right emphasis + +- [ ] **Lines 232-263 (Critical Limitation subsection)** - Very strong + - Clear statement of limitation (discrete only, no continuous) + - Specific enumeration of what was/wasn't covered + - Strong LIMITATION callout + - This is excellent and no changes needed + +- [ ] **Lines 265-294 (Validation Gap subsection)** - Clear and specific + - Explains TRL limitation + - Lists what wasn't done + - Good LIMITATION callout + - Minor: Some repetition between paragraph text and LIMITATION box + +### 2.5 State of the Art Section - Sentence-Level Continued + +- [ ] **Line 296-311 (Research Imperative opening)** - Strong synthesis + - "Three converging lines of evidence" is excellent framing + - Three paragraphs parallel each other well + - Consider: These three paragraphs are quite dense—each could potentially be broken into smaller units + +- [ ] **Lines 302-309** - Weak stress position + - Current: "Despite extensive regulatory frameworks developed over six decades, \\textbf{no mathematical guarantees exist} that current control approaches maintain safety under all possible scenarios." + - Issue: Actually good—ends with the key claim (no mathematical guarantees) + - The bold emphasis helps, but could still be stronger: "...six decades of extensive regulatory frameworks. Yet \\textbf{no mathematical guarantees exist}..." + +- [ ] **Lines 312-322** - Another dense summary paragraph + - Synthesizes human factors argument + - Many numbers cited: 70-80%, 7±2, 0.001-0.01, 0.1-1.0 + - Strong final sentence: "These limitations \\textbf{cannot be overcome through human factors improvements alone}." + +- [ ] **Lines 324-335** - HARDENS summary paragraph + - Recaps accomplishments and gaps + - Final sentence is key: "These limitations directly define the research frontier: \\textbf{formal synthesis of hybrid controllers that provide mathematical safety guarantees...}" + - Very strong, good emphasis + +- [ ] **Lines 336-358 (Final "opportunity" paragraph)** - Long but powerful + - 23 lines synthesizing the argument + - Strong technical detail + - Ends well: "compelling and timely research opportunity" + - Consider: Could break after line 346 (end of problem statement) before starting solution (line 347 "Hybrid control synthesis offers...") + +--- + +## 3. Research Approach Section + +### 3.1 Sentence-Level Issues + +- [ ] **Lines 3-6** - Weak stress position in opening sentence + - Current: "This research will overcome the limitations of current practice to build high-assurance hybrid control systems for critical infrastructure." + - Issue: Ends with "critical infrastructure"—generic and expected + - Fix: "This research will build high-assurance hybrid control systems by overcoming current practice limitations." + +- [ ] **Lines 6-14** - Equations introduced clearly + - Good contextualization of equations (hybrid = continuous + discrete) + - Minor: Lines 16-17 have $f(\cdot)$ and $\nu(\cdot)$ explanations that could reference equation numbers + +- [ ] **Lines 19-20** - Topic position could be smoother + - Current: "Our focus centers on continuous autonomous hybrid systems..." + - Previous sentence discusses "control input $u$" + - Could connect better: "Within this hybrid framework, we focus on continuous autonomous systems..." + +- [ ] **Line 23** - Example is good but could be emphasized + - Current: "For example, a nuclear reactor switching from warm-up to load-following control cannot instantaneously change its temperature or control rod position, but can instantaneously change control laws." + - Issue: Key insight (continuous states unchanged, discrete transitions instant) could be more prominent + - Fix: "Physical systems exhibit this property naturally: a nuclear reactor switching from warm-up to load-following control changes control laws instantly, but its temperature and control rod position evolve continuously." + +- [ ] **Lines 26-28** - Good framing of three thrusts + - Clear enumeration + - No major issues + +- [ ] **Lines 30-38** - Enumeration formatting + - Using \\begin{enumerate} is good + - Items are parallel in structure + - Consider: Items 1-2 are short (one line), item 3 is longer (two lines). Could make more parallel by expanding 1-2 slightly + +- [ ] **Lines 40-41** - Weak metadiscourse + - Current: "The following sections discuss how these thrusts will be accomplished." + - Issue: Pure metadiscourse, provides no information + - Fix: Delete entirely, or combine with previous: "...we must accomplish three main thrusts, each detailed below:" + +### 3.2 Research Approach - Subsection 1 (Procedures → Temporal Logic) + +- [ ] **Lines 42** - Subsection title uses math notation + - Current: "$(Procedures \wedge FRET) \rightarrow Temporal Specifications$" + - Issue: Clever but potentially unclear. Not all readers will parse this as "Procedures AND FRET implies Temporal Specs" + - Consider: Adding plain-English subtitle: "Translating Procedures into Temporal Logic" + +- [ ] **Lines 44-49** - Opening paragraph point could be sharper + - Current: "The motivation behind this work stems from the fact that commercial nuclear power operations remain manually controlled..." + - Issue: "The motivation behind this work" is weak opening. More direct: "Commercial nuclear power operations remain manually controlled despite advances in control systems. However, operators follow highly prescriptive, well-documented procedures—suggesting that autonomous control is technically feasible." + +- [ ] **Lines 51-55** - Good clear claim + - "Written procedures and requirements...are sufficiently detailed that we may be able to translate them into logical formulae with minimal effort." + - This is a strong claim and key assumption + - Consider: "Minimal effort" may overstate—later sections describe significant work in FRET formalization + - Fix: "...that we can systematically translate them into logical formulae." + +- [ ] **Lines 60-68** - SCRAM example is excellent + - Specific natural language requirement + - Translation to temporal logic with explanation + - Clear equation formatting + - Consider: This is a model for what examples should look like + +- [ ] **Lines 70-75** - Explanation of operators + - Good: Explains what $G$, $X$, $U$ mean in context + - Helps readers unfamiliar with temporal logic + +- [ ] **Lines 76-81** - FRET introduction + - Clear motivation for why FRET + - Could be slightly tighter: "The most efficient path to accomplish this translation is through NASA's Formal Requirements Elicitation Tool (FRET)" + - Consider: "Most efficient" is a strong claim. Have you compared alternatives? If not, soften: "NASA's FRET provides a systematic path for this translation" + +- [ ] **Lines 83-93 (FRET six components)** - Clear enumeration + - Parallel structure + - Good use of italics for questions + - Line 84: "%CITE FRET MANUAL" - needs citation + - Minor: Some items very short (line 90 just "Shall"), others longer. Consider whether parallel structure could be tighter + +- [ ] **Lines 95-110** - Realizability paragraph + - Opens with strong point: "FRET provides functionality to check the *realizability*..." + - Explains what realizability means + - Makes clear argument for why this matters (finding bugs early) + - Structure is good + +- [ ] **Lines 105-110** - Second category of realizability + - Discusses undefined behaviors + - Good point about autonomous controllers needing complete specifications + - Line 107-108: "This ambiguity is undesirable for high-assurance systems, since even well-trained humans remain prone to errors" - good connection back to human factors from SOTA + +- [ ] **Lines 112-115** - Closing/transition + - States that FRET exports to synthesis tools + - Good transition to next subsection + - Line 114-115: "progression to the next step of our approach" - could be more specific about what that next step is + +### 3.3 Research Approach - Subsection 2 (Temporal Logic → Discrete Automata) + +- [ ] **Line 117** - Subsection title again uses math notation + - Same issue as line 42 + - Consider adding plain-English subtitle + +- [ ] **Lines 119-122** - Opening defines reactive synthesis + - Good clear definition + - "Active research field" - consider whether you need to say this. It's clear from the work that this is active research. + +- [ ] **Lines 123-133** - Description of automata + - Explains finite states, transitions, etc. + - Good pedagogical approach + - Lines 131-132: "Hybrid systems naturally exhibit discrete behavior amenable to formal analysis through these finite state representations" - this is a key claim and could be more prominent + +- [ ] **Lines 135-143** - Strix tool and implementation + - Good specific tool choice with justification (SYNTCOMP performance) + - Lines 138-139: "maximizing generated automata quality" - what does quality mean here? Minimal states? Interpretability? Could be more specific + - Lines 140-143: Implementation discussion is good—notes that automaton provides communication path to programmers without formal methods expertise + +- [ ] **Lines 145-158** - Why discrete automata / correctness argument + - This paragraph makes the key argument for correct-by-construction + - Strong rhetorical structure: "because X, we can prove Y" + - Lines 150-154: Comparison with human operators is effective + - Lines 155-158: "By synthesizing controllers from logical specifications with guaranteed correctness, we eliminate the possibility of switching errors" - very strong claim, worth emphasizing + +- [ ] **Line 158** - Ends with strong claim + - "...we eliminate the possibility of switching errors." + - Excellent stress position—key contribution + - Consider: Adding emphasis (bold or italics) to this claim + +### 3.4 Research Approach - Subsection 3 (Continuous Modes) + +- [ ] **Lines 160-161** - Subsection title + - Again uses math notation + - This one is longer: "$(DiscreteAutomata \wedge ControlTheory \wedge Reachability) \rightarrow ContinuousModes$" + - Consider plain-English subtitle + +- [ ] **Lines 163-168** - Opening paragraph + - Good point that discrete is only half + - Refers back to equation 1 (good callback) + - States section purpose clearly + +- [ ] **Lines 170-176** - Continuous modes after discrete + - Explains why discrete comes first + - "Physics-agnostic specifications" is good phrase + - Rationale is clear + +- [ ] **Lines 177-208** - Three-mode classification + - **This is a key contribution and should be highlighted more prominently** + - Current: Presented as straightforward categorization + - Issue: This is novel! Stabilizing/Transitory/Expulsory framework is your innovation + - Fix: Add sentence before enumeration: "We propose a three-mode classification based on discrete transition structure. This taxonomy enables systematic continuous controller design tailored to each mode's objectives." + +- [ ] **Lines 183-189 (Stabilizing mode)** - Clear definition + - Good explanation with example + - "Nodes with only incoming transitions" is clever—shows how discrete structure determines continuous requirements + +- [ ] **Lines 191-197 (Transitory mode)** - Clear definition + - Good explanation + - Minor: "Secondary objectives" (line 195)—could clarify with example + +- [ ] **Lines 199-207 (Expulsory mode)** - Clear definition + - Good emphasis on safety constraints + - SCRAM example is excellent + - This definition is slightly longer than the other two—appropriate given importance + +- [ ] **Lines 209-221** - Why build continuous after discrete + - Makes clear argument for the approach + - "Local controller design focused on satisfying discrete transitions" - key insight + - Lines 213-214: "Current techniques struggle...because dynamic discontinuities complicate verification" - good problem statement + - Lines 214-221: Explains how your approach avoids this problem + +- [ ] **Lines 220-221** - Introduces three techniques + - "To ensure continuous modes satisfy their requirements, we will employ three main techniques..." + - Good signposting + - Note: "employ" again—consider "use" or restructure to make techniques the subject + +- [ ] **Lines 223-232 (Reachability Analysis)** - Clear explanation + - Defines technique + - States what it's used for + - Mentions recent advances (neural networks for Hamilton-Jacobi) + - Well-structured + +- [ ] **Lines 234-240 (Assume-Guarantee Contracts)** - Clear explanation + - Explains compositional approach + - Shows how contracts enable local analysis + - Minor: Line 234 says "will be employed"—passive. Fix: "We will use assume-guarantee contracts..." or "Assume-guarantee contracts enable..." + +- [ ] **Lines 242-249 (Barrier Certificates)** - Clear explanation + - Explains what they prove + - Gives specific example + - Technical detail (differential inequality conditions) is appropriate + - Well-structured + +- [ ] **Lines 250-273 (SmAHTR demonstration)** - Excellent specificity + - This paragraph provides concrete detail: SmAHTR, Simulink model, Emerson Ovation, ARCADE + - Multiple sentences are quite long (lines 252-260 is 60+ words, lines 261-271 is 73 words) + - Consider breaking these into shorter sentences for readability + +- [ ] **Lines 275-289 (Concluding paragraph)** - Strong synthesis + - "Unified approach" language is good + - Connects back to gap from SOTA + - Final sentence (lines 285-289) is long (66 words) but well-structured + - Ends strongly: "...domain where operating procedures are well-documented and safety is paramount." + +- [ ] **Lines 290-296** - Comments for future revision + - These should be removed from final version + - But they're good notes: figures, validation approach, examples + - Consider whether any should be addressed before submission + +### 3.5 Research Approach - Paragraph-Level Issues + +- [ ] **Opening paragraph (lines 3-24)** - Could be split + - Current: Covers (1) overcoming limitations, (2) equations, (3) focus on continuous autonomous systems, (4) example + - Issue: Four distinct sub-topics in one paragraph + - Consider: Breaking after line 14 (after equations) or after line 20 (after focus statement) + +- [ ] **Three-thrust framing (lines 26-38)** - Good structure + - Clear signposting + - Enumeration is parallel + - Consider: The metadiscourse sentence (lines 40-41) could be deleted or moved to introduction + +- [ ] **FRET component enumeration (lines 86-93)** - Could be formatted better + - Currently as enumeration which is good + - But questions in italics could be formatted more consistently + - Consider: Making all questions boldface or using a different structure + +### 3.6 Research Approach - Content Issues + +- [ ] **Three-mode classification prominence** - Underemphasized + - This appears to be a novel contribution + - Currently presented as straightforward categorization + - Should be highlighted as key methodological innovation + - Consider: Adding sentence like "This classification, to our knowledge, has not been systematically applied to hybrid control synthesis before." + +- [ ] **Tool choices** - Well justified + - FRET: choice is well-motivated + - Strix: justified by SYNTCOMP performance + - Reachability, barrier certificates: standard techniques + - No issues + +- [ ] **Level of technical detail** - Appropriate + - Enough detail to demonstrate feasibility + - Not so much that non-experts are lost + - Good balance + +- [ ] **Examples** - Excellent + - SCRAM requirement (line 60) - very specific + - Load-following controller (line 187) - clear + - Warm-up procedure (line 193) - clear + - SCRAM as expulsory mode (line 203) - powerful callback + +--- + +## 4. Metrics of Success Section + +### 4.1 Sentence-Level Issues + +- [ ] **Lines 3-8** - Opening paragraph + - States TRL approach clearly + - Line 6: "This section explains why TRL advancement provides..." - metadiscourse could be tighter + - Fix: Delete line 6-8 (metadiscourse) or combine: "Technology Readiness Levels provide the ideal metric, measuring both..." + +- [ ] **Lines 10-19** - TRL justification paragraph 1 + - Makes argument for why TRLs + - Multiple short sentences with parallel structure + - Effective rhetoric + - Line 16-17: "This gap is precisely what this work aims to bridge" - good, but "this work" could be "we aim" + +- [ ] **Lines 21-31** - TRL justification paragraph 2 + - Continues argument + - Good points about nuclear industry requirements + - Lines 29-31: Weak stress position - ends with "publications alone cannot" (negative) + - Fix: "...making this metric directly relevant to potential adopters and clearly demonstrating feasibility and maturity." + +- [ ] **Lines 32-39** - Current/target TRL + - Clear statement of starting point and goal + - Good signposting: "Moving from current state to target requires..." + - Minor: "Early TRL 3" (line 35)—is "early" necessary? Could just say "TRL 3" + +- [ ] **Lines 41-49 (TRL 3 definition)** - Clear and specific + - Paragraph format beginning with "\\paragraph{TRL 3...}" is good + - Specific criteria listed + - Line 43: "For this research, TRL 3 means..." - clear personalization + - Good structure + +- [ ] **Lines 51-60 (TRL 4 definition)** - Clear and specific + - Similar structure to TRL 3, which is good + - Specific criteria + - "Zero safety violations" (line 59) - good concrete metric + +- [ ] **Lines 62-78 (TRL 5 definition)** - Longest and most detailed + - Appropriate given it's the target + - Lines 71-76: Discussion of off-nominal scenarios is good + - Line 73-74: "Graded responses to minor disturbances are outside the scope" - good explicit scoping statement + - Minor: Could potentially break into two paragraphs—one on hardware (lines 62-70), one on validation (lines 70-78) + +- [ ] **Lines 80-83** - Synthesis of TRL progression + - "These levels define progressively more demanding demonstrations" - good summary + - Three parallel statements: "TRL 3 proves..., TRL 4 proves..., TRL 5 proves..." - effective + - Could be even more parallel: "TRL 3 proves individual components work. TRL 4 proves they integrate in simulation. TRL 5 proves they run on industrial hardware." + +- [ ] **Lines 85-96** - Quarterly assessment and revision criteria + - Long paragraph covering two topics: (1) progress assessment, (2) revision triggers + - Consider breaking after line 89 (end of assessment discussion) before starting revision discussion (line 90) + - Lines 91-94: Three specific failure modes listed - good concrete triggers + +### 4.2 Paragraph-Level Issues + +- [ ] **Lines 10-31** - Two TRL justification paragraphs + - Issue: These two paragraphs both argue why TRLs are appropriate + - Could be combined into single tighter paragraph + - Current word count: ~160 words across two paragraphs + - Fix: Combine key points into one paragraph (~120 words), make argument more concise + +- [ ] **TRL definitions (lines 41-78)** - Three paragraphs in parallel structure + - Excellent parallelism + - Each uses "For this research, TRL X means..." + - Each lists specific criteria + - Each ends with "This proves..." + - This is very effective and should be maintained + +- [ ] **Lines 98-105** - Success statement + - Opens with clear claim: "This research succeeds if..." + - Explains why this demonstrates success + - Good closing paragraph for section + +### 4.3 Metrics Section - Content Issues + +- [ ] **Justification for TRLs** - Somewhat defensive tone + - Two paragraphs (lines 10-31) justifying why TRLs are appropriate + - While argument is sound, the length suggests defensiveness + - Consider: Could this be condensed to make it feel less defensive? + - Alternative: Perhaps reviewers have questioned TRL approach in past? If so, this is appropriate. + +- [ ] **Measurability** - Excellent + - Each TRL has concrete, measurable criteria + - "Fewer than 1,000 states" (line 77) + - "Zero safety violations across 100 consecutive runs" (line 93) + - This specificity is excellent + +- [ ] **Quarterly assessment** - Good accountability + - Shows you've thought about project management + - Revision criteria show you've thought about failure modes + - This strengthens the proposal + +--- + +## 5. Risks and Contingencies Section + +### 5.1 Sentence-Level Issues + +- [ ] **Lines 3-12** - Opening paragraph + - Good overview structure + - Line 9: "Each risk has associated indicators for early detection" - good framing + - Line 11-12: "The staged project structure ensures..." - passive. Fix: "Our staged project structure ensures..." + +- [ ] **Lines 14-24** - Computational tractability risk statement + - Clear problem statement + - Lines 17-21: Long sentence (51 words) with complex structure + - Consider breaking after "specification complexity" or "state" + - Fix: "Reactive synthesis scales exponentially with specification complexity, which creates risk of intractable synthesis times. Temporal logic specifications from complete startup procedures may produce automata with thousands of states, requiring days or weeks of synthesis time. This would prevent demonstrating the complete methodology within project timelines." + +- [ ] **Lines 26-35** - Indicators paragraph + - Good concrete indicators + - Parallel structure: "X would suggest Y", "X would indicate Y", etc. + - Effective + +- [ ] **Lines 37-45** - Contingency plan + - Clear fallback + - Specific scope reduction described + - Line 42: "The research contribution would remain valid" - good positive framing + - Line 44-45: "constraint rather than a failure" - excellent reframing + +- [ ] **Lines 47-54** - Time-scale separation mitigation + - Technical depth is good + - Shows sophisticated understanding + - Minor: Line 48: "can be treated quasi-steady" - may be jargon for some readers. Consider: "can be approximated as steady" + +- [ ] **Lines 56-63** - Access to HPC resources + - Good mention of available resources + - Shows preparedness + - Line 59: "high-performance computing resources" - first mention of CRC facility (it was in budget) + +### 5.2 Discrete-Continuous Interface Section + +- [ ] **Lines 65-79** - Problem statement + - Clear explanation of fundamental challenge + - Long sentences (lines 72-78 is 57 words) + - Consider breaking: "Temporal logic operates on boolean predicates, while continuous control requires reasoning about differential equations and reachable sets. Guard conditions requiring complex nonlinear predicates may resist boolean abstraction, making synthesis intractable. Continuous safety regions that cannot be expressed as conjunctions of verifiable constraints would similarly create insurmountable verification challenges." + +- [ ] **Lines 81-92** - Indicators + - Parallel structure: "X would suggest Y", "X would indicate Y" + - Good technical specificity + - Line 84-85: "Boolean abstraction" appears twice (lines 73 and 84) - be consistent with terminology + +- [ ] **Lines 94-107** - Polytopic invariants contingency + - Technical and specific + - Good explanation of what polytopes are and why they help + - Line 100: "inner-approximated" - good use of precise term, but consider whether definition needed + - Lines 103-107: Shows you've already thought about this in your three-mode classification + +- [ ] **Lines 109-119** - Mitigation strategies + - "Design-for-verification" (line 113) is good concept + - Control barrier functions mentioned again (callback to Research Approach) + - Shows integrated thinking + +### 5.3 Procedure Formalization Section + +- [ ] **Lines 121-134** - Problem statement + - Clear explanation of challenge + - Good point about procedures written for humans with contextual understanding + - Lines 131-134: Risk is framed positively - "not merely that formalization is difficult, but that current procedures fundamentally lack the precision required" + +- [ ] **Lines 136-148** - Indicators + - Good concrete indicators + - Line 141-142: References to "operator judgment" in procedures - very specific and realistic + - Line 145-148: "Domain experts unable to provide crisp answers" - excellent indicator + +- [ ] **Lines 150-163** - Contingency as contribution + - Excellent reframing: documentation of gaps is itself valuable + - "Taxonomy of formalization barriers" (line 152) - good concept + - Lines 156-160: Shifts from "here's a controller" to "here's what's needed"—good pivot + - This contingency is particularly well-developed + +- [ ] **Lines 165-177** - Mitigation strategies + - Early engagement with domain experts + - Cross-design comparison + - Both are good strategies showing preparedness + +### 5.4 Hardware-in-Loop Integration Section + +- [ ] **Lines 179-190** - Problem statement + - Clear technical challenges listed + - Specific timing requirements mentioned (10-100 Hz) + - Good detail level + +- [ ] **Lines 192-203** - Indicators + - Specific technical indicators (dropouts, buffer overruns, computational limits) + - Good progression from communication → computation → timing + +- [ ] **Lines 205-218** - Software-in-loop contingency + - Good fallback that maintains TRL 4 + - Explains why this still demonstrates value + - Line 214-217: "research contribution remains intact" - good positive framing + - Note this maintains TRL 4 not TRL 5 (appropriate scoping) + +- [ ] **Lines 220-232** - Mitigation strategies + - ARCADE prior success mentioned + - Early testing recommended + - Ovation flexibility noted + - All show preparedness + +### 5.5 Risks Section - Paragraph-Level Issues + +- [ ] **Four main subsections** - Well-balanced structure + - Each has: (1) problem statement, (2) indicators, (3) contingency, (4) mitigation + - Parallel structure is effective + - Lengths: Computational (48 lines), Discrete-Continuous (58 lines), Procedure (58 lines), HIL (54 lines) + - Fairly balanced + +- [ ] **Opening paragraph** - Could be tighter + - Lines 3-12: Sets up structure + - Could potentially be combined with subsequent topic sentences + - But current structure works + +### 5.6 Risks Section - Content Issues + +- [ ] **Risk selection** - Comprehensive + - Four major risks cover computational, theoretical, practical/procedural, and implementation + - Good coverage of different risk categories + +- [ ] **Contingency quality** - Excellent + - Each contingency preserves value + - Scope reductions are reasonable + - Positive framing ("contribution" not "failure") + +- [ ] **Indicators specificity** - Very good + - Concrete, measurable indicators + - Early warning focus + - This shows project management maturity + +- [ ] **Balance of subsections** - Good + - Roughly equal length + - But: is length proportional to actual risk magnitude? + - Discrete-continuous interface seems most fundamental, but doesn't get more space + - Consider: Does space allocation reflect importance, or just complexity of explanation? + +--- + +## 6. Broader Impacts Section + +### 6.1 Sentence-Level Issues + +- [ ] **Lines 3-10** - Opening paragraph + - Good hook: AI datacenters renewing SMR interest + - Clear problem setup + - Line 8-9: "However, the economics of nuclear power deployment at this scale demand careful attention to operating costs" - somewhat cautious phrasing + - Consider: "However, nuclear power economics depend critically on reducing operating costs" + +- [ ] **Lines 12-23** - Economic statistics paragraph + - Excellent use of specific numbers + - $88.24/MWh, 1,050 TWh, $92B annually, 23-30% for O&M + - This level of specificity is persuasive + - Minor: Long sentences (lines 18-23 is 54 words) + - Consider breaking after "$92 billion": "...cost of power generation would exceed $92 billion. Within this figure, operations and maintenance represents..." + +- [ ] **Lines 25-37** - How research addresses costs + - Clear connection: autonomous control → reduced staffing → lower O&M + - Good explanation of staffing challenge for SMRs + - Lines 30-33: Long sentence (48 words) could be broken + +- [ ] **Lines 38-50** - Correct-by-construction importance + - Good argument for why formal methods matter + - Explains what automation can/can't do (routine vs. off-normal) + - Line 49-50: "much cheaper to operate" - consider whether more precise language available + +- [ ] **Lines 52-62** - SMR deployment paragraph + - Good connection: NRC certification documents → FRET → synthesis + - "Infrastructure of requirements and specifications is already complete as part of licensing process" (lines 59-61) - this is a key insight and could be more prominent + +- [ ] **Lines 64-74** - Generalization paragraph + - Good broader impact: methodology generalizes + - Lists other domains (chemical, aerospace, transportation) + - Lines 71-74: Long final sentence (43 words) - consider breaking + +### 6.2 Paragraph-Level Issues + +- [ ] **Section length** - At 75 lines, this is the briefest technical section + - Issue: Given that economic motivation is central to SMRs, this could be expanded + - Missed opportunities: workforce development, educational impacts, equity considerations + +- [ ] **Paragraph structure** - Generally good + - Seven paragraphs covering: (1) context, (2) economics, (3) how research helps, (4) why formal methods, (5) SMR fit, (6) generalization + - Logical flow + +### 6.3 Broader Impacts - Content Issues + +- [ ] **Economic analysis** - Excellent + - Specific numbers + - Clear chain: electricity cost → total demand → O&M costs + - This is persuasive + +- [ ] **Missing elements** - Several + - **Workforce/educational impacts**: Training engineers in formal methods, developing curriculum, broader CS-engineering integration + - **Equity considerations**: Clean energy access, distributed generation benefits + - **International implications**: Methodology could help other countries deploy SMRs + - **Environmental justice**: How does autonomous control affect siting near communities? + - Not all needed, but one or two would strengthen section + +- [ ] **Generalization** - Good but brief + - Lists domains (chemical, aerospace, transportation) + - Could expand slightly: What specific applications? Pipeline safety? Aircraft control? Autonomous vehicles? + +--- + +## 7. Budget Section (Brief Review) + +As requested, this section receives lighter treatment focusing on major issues only. + +### 7.1 Major Issues + +- [ ] **Line 73** - Typo + - "t ranslation" should be "translation" + +- [ ] **Table formatting** - Appears correct + - Budget table uses booktabs style (good) + - Numbers align properly + - Categories are clear + +- [ ] **High-performance workstation** - Consider upgrade path + - Year 1: $3,500 for workstation + - Years 2-3: No upgrades budgeted + - Issue: As synthesis scales up, might need more compute + - Consider: Adding small line item for upgrades/expansion in Years 2-3? + +- [ ] **Software note (lines 191-197)** - Good + - Explicitly states all software is free/licensed + - ARCADE through partnership + - This prevents questions + +- [ ] **In-kind contributions (lines 250-277)** - Well-documented + - Emerson partnership valued + - University contributions noted + - Total estimated at $20,000+ + - Good to document this explicitly + +### 7.2 Budget Section - Overall Assessment + +- Budget is comprehensive, well-justified, and appropriate +- Fringe benefit rates are clearly stated +- Travel budget is reasonable +- No major concerns + +--- + +## 8. Schedule Section (Brief Review) + +As requested, this section receives lighter treatment focusing on major issues only. + +### 8.1 Major Issues + +- [ ] **Line 73** - Spacing issue + - "t ranslation methodology" has incorrect space + - Should be "translation methodology" + +- [ ] **Gantt chart** - Appears well-structured + - Overlapping tasks shown appropriately + - Milestones marked clearly + - Publications timeline shown + +- [ ] **Publication strategy (lines 115-141)** - Excellent + - Explains venue choices + - NPIC&HMIT for nuclear community + - IEEE TAC for control theory community + - Rationale for each is clear + - Builds on prior success (best student paper) + +### 8.2 Schedule Section - Overall Assessment + +- 24-month timeline is ambitious but realistic +- Six trimesters for dissertation is reasonable +- Milestone structure aligns with TRL progression +- No major concerns + +--- + +## 9. Big Picture Issues + +### 9.1 Cross-Cutting Issues + +- [ ] **Three-mode classification** - Novel contribution underemphasized + - Location: Research Approach, lines 178-208 + - Issue: This stabilizing/transitory/expulsory framework appears to be novel, but is presented as routine categorization + - Impact: You may not be getting credit for this innovation + - Fix: Explicitly state novelty: "We propose a three-mode classification for hybrid control design. To our knowledge, this systematic taxonomy has not previously been applied to hybrid control synthesis." + - Cross-reference: This should be mentioned in Goals section as one of the methodological contributions + +- [ ] **Discrete-continuous interface verification** - Key contribution + - Location: Research Approach subsection 3 + - Issue: The unified verification across discrete-continuous interface is your main contribution, but this isn't always explicit + - Impact: Reviewers may not fully appreciate novelty + - Fix: In Goals section, explicitly state: "The key innovation is unified verification across the discrete-continuous interface—ensuring both switching logic and continuous dynamics are provably correct." + +- [ ] **SmAHTR introduction timing** - Appears abruptly + - Location: First mentioned in Goals (line 92), detailed in Research Approach (line 253) + - Issue: SmAHTR suddenly appears as the demonstration case without build-up + - Fix: Introduce SmAHTR earlier, perhaps in Goals section: "We will demonstrate this methodology by developing an autonomous startup controller for a Small Modular Advanced High Temperature Reactor (SmAHTR), transitioning from cold shutdown through criticality to full power operation." + +### 9.2 Consistency Issues + +- [ ] **Terminology consistency** - Generally good + - "Correct by construction" vs. "provably correct" - used somewhat interchangeably + - "Hybrid automata" vs. "discrete automata" vs. "finite state automata" - generally clear from context + - "Reachability analysis" - consistent usage + - No major inconsistencies + +- [ ] **Notation consistency** - Good + - $f(\cdot)$ and $\nu(\cdot)$ introduced clearly + - Temporal logic operators ($G$, $X$, $U$, $F$) explained when introduced + - Mathematical notation is consistent + +- [ ] **Section cross-references** - Could be stronger + - SOTA identifies gaps → Research Approach should explicitly reference these + - Current: connections are implicit + - Fix: In Research Approach opening, add: "This approach addresses the three limitations identified in Section 2: procedures lacking formal verification, current practice treating continuous and discrete separately, and HARDENS verifying discrete logic without continuous dynamics." + +### 9.3 Argument Flow + +- [ ] **Problem → Solution arc** - Clear and strong + - Problem: Operators make errors (SOTA human factors section) + - Gap: No formal verification of procedures or hybrid behavior (SOTA limitations) + - Solution: Hybrid control synthesis with discrete + continuous verification (Research Approach) + - Evidence: TRL progression demonstrates feasibility (Metrics) + - Risks addressed: Comprehensive contingencies (Risks) + - Impact: Economic viability of SMRs (Broader Impacts) + - This structure is excellent + +- [ ] **"So what" connections** - Could be more explicit + - Issue: Sometimes you present information without explicitly stating why it matters + - Examples: + - After Goals section: Add "If successful, this enables..." + - Between SOTA and Research Approach: Add "These gaps create an urgent research opportunity" + - After Metrics section: Add "Achieving TRL 5 would provide a clear path to industrial adoption" + +- [ ] **Callbacks and forward references** - Could be stronger + - Research Approach could reference specific SOTA limitations by name + - Metrics could reference specific risks + - Broader Impacts could callback to human factors statistics from SOTA + +### 9.4 Missing Elements + +- [ ] **Cybersecurity** - Not mentioned + - Issue: For autonomous nuclear control, cybersecurity is critical + - Impact: Reviewers may wonder why this isn't addressed + - Fix: Add brief paragraph (perhaps in Risks section or Research Approach) on security verification + - Could mention: "While cybersecurity verification is beyond the scope of this phase, the formal methods infrastructure we develop provides a foundation for subsequent security verification using techniques like information flow analysis and secure compilation." + +- [ ] **Regulatory path** - Mentioned but not detailed + - Issue: You mention NRC requirements but don't describe approval process + - Impact: May seem naive about regulatory challenges + - Fix: Add paragraph in Broader Impacts discussing regulatory pathway: "NRC Standard Review Plan provides pathways for digital I&C approval (NUREG-0800, Chapter 7). The formal verification artifacts we produce—including provable correctness claims, traceability from requirements to implementation, and systematic testing evidence—align with NRC expectations for high-assurance systems. While full regulatory approval is beyond this research scope, our methodology produces the documentation foundation NRC requires." + +- [ ] **ML/AI alternatives** - Not discussed + - Issue: Machine learning for control is prominent. Why not use ML? + - Impact: Reviewers may wonder if you've considered alternatives + - Fix: Add brief paragraph early in Research Approach: "Machine learning approaches to autonomous control have received significant attention. However, neural network controllers are fundamentally black-box systems that cannot provide the mathematical safety guarantees required for nuclear applications. Recent work on verified neural networks shows promise, but the state of the art remains far from the assurance levels nuclear safety demands. Formal methods provide the only currently viable path to provable correctness for safety-critical autonomous control." + +### 9.5 Strengths to Maintain + +- [ ] **Specific examples** - Excellent throughout + - TMI accident narrative + - SCRAM requirement translation + - HARDENS project detail + - SmAHTR demonstration + - These make the proposal concrete and believable + +- [ ] **Statistical evidence** - Very strong + - 70-80% human error rate + - Economic projections ($92B annually) + - HEP rates (0.001-0.01 → 0.1-1.0) + - Specific numbers are persuasive + +- [ ] **Technical depth** - Appropriate level + - Enough detail to demonstrate expertise + - Not so much that non-experts are lost + - Good balance for mixed audience + +- [ ] **Risk analysis** - Exceptionally thorough + - Four major risks identified + - Concrete indicators + - Viable contingencies + - Positive framing + - This is a model for risk sections + +--- + +## Summary Statistics + +**Total issues documented**: 150+ + +**By level**: +- Sentence-level: ~70 issues +- Paragraph-level: ~40 issues +- Content/organization: ~40 issues + +**By section**: +- Goals and Outcomes: 18 issues +- State of the Art: 45 issues (longest section, most issues) +- Research Approach: 40 issues +- Metrics of Success: 12 issues +- Risks and Contingencies: 20 issues +- Broader Impacts: 10 issues +- Budget: 3 issues (light review) +- Schedule: 3 issues (light review) +- Big Picture: 10 issues + +**Priority levels** (estimated): +- HIGH impact: ~15 issues (major organization, missing content, key contributions underemphasized) +- MEDIUM impact: ~60 issues (sentence-level patterns, paragraph structure, clarity) +- LOW impact: ~75 issues (minor wording, polish, consistency) + +--- + +## Revision Strategy Recommendation + +1. **Start with Big Picture issues** (Section 9) - Ensure novel contributions are highlighted +2. **Address Priority Issues 1-5** from Executive Summary +3. **Work section-by-section** using this detailed document +4. **Apply patterns** from Executive Summary to similar cases +5. **Final consistency pass** - Terminology, cross-references, formatting + +The proposal has strong technical content and solid structure. These revisions will enhance clarity, emphasize your contributions, and strengthen your argument. Good luck! diff --git a/ERLM-Proposal-Review-Summary.md b/ERLM-Proposal-Review-Summary.md new file mode 100644 index 000000000..60620b953 --- /dev/null +++ b/ERLM-Proposal-Review-Summary.md @@ -0,0 +1,421 @@ +# ERLM Proposal Writing Review - Executive Summary + +**Date**: December 2, 2025 +**Reviewer**: Claude Code +**Framework**: Gopen's Sense of Structure + +--- + +## Overview + +This proposal demonstrates strong technical content, clear methodology, and comprehensive coverage of all required elements. The research approach is well-conceived, and the progression from problem statement through solution is logical. The writing is generally clear and professional. + +**Key Strengths:** +- Excellent technical depth and specificity +- Strong motivation established through human factors statistics +- Clear three-thrust research structure +- Comprehensive risk analysis with concrete contingencies +- Good use of specific examples (TMI accident, HARDENS project) + +**Priority Areas for Revision:** +- Sentence-level: Strengthen stress positions to emphasize key claims +- Paragraph-level: Sharpen point-issue structure in some sections +- Section-level: Tighten organization in State of the Art section +- Big picture: Strengthen "so what" connections throughout + +--- + +## Priority Issues (Top 10) + +### 1. **SOTA Section Length and Organization** [SECTION-LEVEL] +**Location**: State of the Art section (358 lines) +**Issue**: The SOTA section is the longest in the proposal and covers multiple distinct topics (current procedures, human factors, HARDENS). While comprehensive, it risks overwhelming readers and obscuring your key + + contributions. +**Impact**: HIGH - Reviewers may lose track of your argument in the density +**Recommendation**: Consider restructuring with clearer signposting. Each subsection should explicitly connect back to what gap you're filling. The current "\textbf{LIMITATION:}" callouts are excellent—ensure every major subsection has one. + +### 2. **Weak Stress Positions Throughout** [SENTENCE-LEVEL] +**Location**: All sections, especially Goals and State of the Art +**Issue**: Many sentences place old/known information in stress position (sentence-final), missing opportunities to emphasize new claims +**Impact**: MEDIUM-HIGH - Reduces rhetorical impact of key claims +**See Pattern**: "Stress Position Weakness" below for examples and fixes + +### 3. **Missing "So What" Connections** [BIG PICTURE] +**Location**: Transitions between major sections +**Issue**: The proposal moves from problem → approach → metrics without always explicitly stating "this matters because..." at transition points +**Impact**: MEDIUM-HIGH - Reviewers may not fully grasp significance +**Recommendation**: Add explicit "if successful, this enables..." statements at the end of Goals section and beginning of Metrics section + +### 4. **Passive Voice Obscuring Agency** [SENTENCE-LEVEL] +**Location**: Research Approach, especially subsection introductions +**Issue**: Passive constructions like "will be employed" and "will be used" hide who does what and reduce directness +**Impact**: MEDIUM - Reduces clarity and makes writing feel less confident +**See Pattern**: "Passive Voice" below + +### 5. **Point-Issue Structure in Paragraphs** [PARAGRAPH-LEVEL] +**Location**: State of the Art, Risk sections +**Issue**: Some paragraphs present information without first establishing why readers should care (the "issue") +**Impact**: MEDIUM - Readers may wonder "why are you telling me this?" +**See Pattern**: "Point-Issue Structure" below + +### 6. **Topic String Breaks** [PARAGRAPH-LEVEL] +**Location**: Research Approach, subsection transitions +**Issue**: Topic position doesn't always establish clear continuity from previous sentence, forcing readers to reconstruct connections +**Impact**: MEDIUM - Increases cognitive load +**See Pattern**: "Topic Position & Continuity" below + +### 7. **Nominalization Hiding Action** [SENTENCE-LEVEL] +**Location**: Throughout, especially Research Approach +**Issue**: Action buried in nouns (e.g., "implementation" instead of "implement", "verification" instead of "verify") +**Impact**: MEDIUM - Makes writing feel static rather than dynamic +**Recommendation**: Convert nominalizations to active verbs where possible + +### 8. **Long Complex Sentences** [SENTENCE-LEVEL] +**Location**: State of the Art (lines 45-51), Risks (lines 72-79) +**Issue**: Some sentences exceed 40-50 words with multiple subordinate clauses, challenging comprehension +**Impact**: MEDIUM - Reviewers may have to re-read +**Recommendation**: Break into 2-3 shorter sentences with clear logical flow + +### 9. **Subsection Balance in Risks Section** [SECTION-LEVEL] +**Location**: Risks and Contingencies section +**Issue**: Four subsections of vastly different lengths (computational tractability gets more space than discrete-continuous interface, despite latter being more fundamental) +**Impact**: LOW-MEDIUM - May suggest misaligned priorities +**Recommendation**: Consider whether space allocation reflects actual risk magnitude + +### 10. **Broader Impacts Underutilized** [BIG PICTURE] +**Location**: Broader Impacts section (75 lines vs 358 for SOTA) +**Issue**: This section is relatively brief given that economic impact is a major motivation for SMRs +**Impact**: LOW-MEDIUM - Missing opportunity to strengthen value proposition +**Recommendation**: Consider expanding economic analysis or adding brief discussion of workforce/educational impacts + +--- + +## Key Patterns Identified + +### Pattern 1: Stress Position Weakness + +**Principle** (Gopen): The stress position (end of sentence) should contain the most important new information. Readers expect climax at sentence-end and are disappointed when they find old information or weak phrases there. + +**Example 1** (Goals and Outcomes, lines 13-17): +``` +Current: "Currently, nuclear plant operations rely on extensively trained +human operators who follow detailed written procedures and strict regulatory +requirements to manage reactor control." +``` +- **Issue**: Sentence ends with "manage reactor control"—a restatement of the opening. The key claim is buried mid-sentence: "extensively trained...detailed procedures...strict requirements" +- **Fixed**: "Currently, nuclear plant operations require extensively trained human operators following detailed written procedures under strict regulatory requirements." + +**Example 2** (State of the Art, lines 53-54): +``` +Current: "Procedures lack formal verification of correctness and completeness." +``` +- **Issue**: Ends weakly with "completeness" which is minor compared to the bigger issue +- **Fixed**: "Procedures lack formal verification, leaving correctness and completeness unproven." + +**Example 3** (Research Approach, lines 41-42): +``` +Current: "The following sections discuss how these thrusts will be accomplished." +``` +- **Issue**: Pure metadiscourse in stress position, provides no new information +- **Fixed**: Delete this sentence—the enumeration provides sufficient transition, or combine with previous sentence: "...through three main thrusts, each detailed below." + +**Similar instances**: +- Goals lines 29-32: "...we will combine formal methods..." +- State of the Art lines 81-85: "...no application of hybrid control theory exists..." +- Research Approach lines 115-116: "...enable progression to the next step..." +- Metrics lines 29-31: "...makes this metric directly relevant..." +- Risks lines 12-13: "...identification of remaining barriers to deployment" + +**How to fix**: Identify the most important new claim in each sentence and move it to the end. Often this means converting from "X does Y to achieve Z" to "X achieves Z by doing Y." + +--- + +### Pattern 2: Passive Voice Obscuring Agency + +**Principle** (Gopen): Passive voice obscures who does what and reduces directness. In proposal writing, active voice demonstrates confidence and control. Use passive only when the agent is truly unimportant or unknown. + +**Example 1** (Research Approach, line 118): +``` +Current: "We will employ state-of-the-art reactive synthesis tools..." +``` +- **Issue**: "Employ" is weak; you're not hiring the tools, you're using them +- **Better**: "We will use Strix, a state-of-the-art reactive synthesis tool..." +- **Best**: "Strix will translate our temporal logic specifications into deterministic automata..." +(Shows what the tool *does*, not just that you'll use it) + +**Example 2** (Research Approach, line 207): +``` +Current: "Control barrier functions will be employed when..." +``` +- **Issue**: Passive—who employs them? And "employed" sounds formal/stuffy +- **Fixed**: "We will use control barrier functions to verify..." or better "Control barrier functions verify..." + +**Example 3** (Metrics, line 67): +``` +Current: "This milestone delivers an internal technical report..." +``` +- **Issue**: Milestones don't deliver, people do +- **Fixed**: "We will deliver an internal technical report documenting..." + +**Similar instances**: +- Research Approach lines 161, 175, 206, 220: "will be employed", "will be developed", "will be used" +- Metrics lines 69, 73, 79, 84: "...delivers a [document]" +- Risks lines 57, 109, 163: various passives + +**How to fix**: +1. Identify the real agent (usually "we") +2. Make agent the subject: "We will X" or "X will Y" +3. Choose strong active verbs: use/apply/develop/verify (not employ/utilize) + +--- + +### Pattern 3: Point-Issue Structure Weakness + +**Principle** (Gopen): Paragraphs should begin by establishing (1) the point/claim being made and (2) why it matters (the issue). Discussion then supports that point. Readers need context before details. + +**Example 1** (State of the Art, lines 88-107): +``` +Current paragraph begins: "The persistent role of human error in nuclear +safety incidents, despite decades of improvements..." +``` +- **Analysis**: This paragraph immediately dives into the "persistent role" without first establishing why we're discussing human factors at all. Reader thinks: "Wait, weren't we just talking about procedures?" +- **Fixed**: Add issue statement first: "Human factors provide the most compelling motivation for formal automated control. Despite decades of improvements in training and procedures, human error persists in 70-80% of nuclear incidents—suggesting that operator-based control faces fundamental, not remediable, limitations." + +**Example 2** (Risks, first paragraph): +``` +Current: "This research relies on several critical assumptions that, if +invalidated, would require scope adjustment..." +``` +- **Analysis**: Good—this establishes both point (critical assumptions exist) and issue (invalidity requires adjustment) immediately. The paragraph then delivers on this promise. This is a good model! + +**Example 3** (Research Approach, lines 166-169): +``` +Current: "While discrete system components will be synthesized with correctness +guarantees, they represent only half of the complete system." +``` +- **Analysis**: Good issue statement (discrete alone insufficient), but could be sharper about the point. What will this section show? +- **Fixed**: "While discrete system components will be synthesized with correctness guarantees, they represent only half of the complete system. This section describes how we will develop continuous control modes, verify their correctness, and address the unique verification challenges at the discrete-continuous interface." + +**Similar instances**: +- State of the Art lines 13-34: long paragraph with delayed point +- Goals lines 103-119: impact paragraph could be tighter +- Approach lines 178-208: three-mode classification needs clearer framing + +**How to fix**: +1. First sentence should state the paragraph's point +2. Second sentence (or same sentence) should state why this matters +3. Remaining sentences provide supporting detail + +--- + +### Pattern 4: Topic Position & Continuity + +**Principle** (Gopen): The topic position (beginning of sentence) should contain old/familiar information that links to what came before. This creates flow and coherence. Abrupt topic shifts disorient readers. + +**Example 1** (Goals, lines 18-23): +``` +Sentence 1: "...this reliance on human operators prevents the introduction +of autonomous control capabilities..." + +Sentence 2: "Emerging technologies like small modular reactors face +significantly higher per-megawatt staffing costs..." +``` +- **Issue**: Topic shifts abruptly from "reliance on operators" to "emerging technologies". Connection exists (both about staffing challenges) but isn't explicit +- **Fixed**: "...prevents autonomous control capabilities. This limitation creates particular challenges for emerging technologies like small modular reactors, which face significantly higher per-megawatt staffing costs..." + +**Example 2** (State of the Art, lines 234-243): +``` +Sentence about what HARDENS addressed: "...discrete digital control logic..." + +Next sentence: "However, the project did not address continuous dynamics..." +``` +- **Analysis**: Good use of "however, the project" in topic position—maintains focus on HARDENS while pivoting to limitation. This is a good model! + +**Example 3** (Research Approach, lines 56-58): +``` +Sentence 1: "...we may be able to translate them into logical formulae..." + +Sentence 2: "Linear Temporal Logic (LTL) provides four fundamental operators..." +``` +- **Issue**: Abrupt topic shift from "translating procedures" to "LTL provides". Missing: why LTL? Why now? +- **Fixed**: "...translate them into logical formulae. To formalize these procedures, we will use Linear Temporal Logic (LTL), which provides four fundamental operators..." + +**Similar instances**: +- Goals lines 23-27: "emerging technologies" → "what is needed" +- State of the Art lines 72-74: control modes → division between automated/human +- Approach lines 183-185: stabilizing mode example → transitory mode definition + +**How to fix**: +1. Identify the topic of the previous sentence +2. Begin next sentence with something related to that topic +3. Use transitional phrases when shifting topics: "This [previous thing] leads to [new thing]" + +--- + +### Pattern 5: Long Complex Sentences + +**Principle**: Sentences with multiple subordinate clauses (especially over 35-40 words) tax reader working memory. Breaking into multiple sentences often improves clarity without losing sophistication. + +**Example 1** (State of the Art, lines 48-51): +``` +Current (51 words): "Procedures undergo technical evaluation, simulator +validation testing, and biennial review as part of operator requalification +under 10 CFR 55.59, but despite these rigorous development processes, +procedures fundamentally lack formal verification of key safety properties." +``` +- **Issue**: Long sentence with list, subordinate clause, and contrast—hard to parse +- **Fixed (2 sentences)**: "Procedures undergo technical evaluation, simulator validation testing, and biennial review as part of operator requalification under 10 CFR 55.59. Despite these rigorous development processes, procedures fundamentally lack formal verification of key safety properties." + +**Example 2** (Risks, lines 72-78): +``` +Current (57 words): "Temporal logic operates on boolean predicates, while +continuous control requires reasoning about differential equations and +reachable sets, and guard conditions that require complex nonlinear predicates +may resist boolean abstraction, making synthesis intractable." +``` +- **Issue**: Run-on with multiple clauses strung together with commas +- **Fixed (3 sentences)**: "Temporal logic operates on boolean predicates, while continuous control requires reasoning about differential equations and reachable sets. Guard conditions requiring complex nonlinear predicates may resist boolean abstraction. This mismatch could make synthesis intractable." + +**Similar instances**: +- State of the Art lines 44-51: procedure development description +- Research Approach lines 40-45: hybrid system description +- Risks lines 17-24: computational tractability discussion +- Broader Impacts lines 13-23: economic analysis + +**How to fix**: +1. Identify natural breakpoints (usually where you have "and" or "but") +2. Create new sentences at these breaks +3. Ensure each new sentence has clear topic position +4. May need to repeat/reference previous sentence's subject for clarity + +--- + +## Section-Level Issues + +### Goals and Outcomes Section +**Strengths**: Excellent structure with clear goal → problem → approach → outcomes → impact progression. The four-paragraph opening is very strong. + +**Issues**: +- Lines 29-53 (Approach paragraph): This is dense and tries to cover too much. Consider breaking into two paragraphs: one on the approach concept, one on the hypothesis and rationale. +- Outcomes enumeration: Very clear, but could strengthen the transition from strategy to outcome in each item. Currently reads as "we'll do X. [new sentence] This enables Y." Consider: "We'll do X, enabling Y." + +### State of the Art Section +**Strengths**: Comprehensive, well-researched, excellent use of the HARDENS case study as both positive example and gap identifier. + +**Issues**: +- **Length**: At 358 lines, this risks losing readers. Most concerning: readers may forget your framing by the time they reach your contribution. +- **Organization**: Four major subsections (procedures, human factors, HARDENS, research imperative) would benefit from a roadmap sentence at the beginning: "To understand the need for hybrid control synthesis, we first examine..." +- **Balance**: HARDENS subsection is 89 lines—nearly 25% of SOTA. While impressive, consider whether this should be a separate section or whether some detail could move to an appendix. +- **Transition to Approach**: The "Research Imperative" subsection is excellent but feels like it belongs at the start of Research Approach rather than end of SOTA. + +### Research Approach Section +**Strengths**: Clear three-thrust structure, good use of equations and examples, strong technical detail. + +**Issues**: +- **Subsection transitions**: The transitions between the three main subsections (Procedures→Temporal, Temporal→Discrete, Discrete→Continuous) could be smoother. Each starts somewhat abruptly. +- **SmAHTR introduction**: The SmAHTR demonstration case is introduced suddenly at line 253. Consider introducing it earlier (perhaps in Goals section or at start of Approach) so readers know it's coming. +- **Three-mode classification**: Lines 178-208 present the stabilizing/transitory/expulsory framework, which is innovative. This deserves more prominence—consider highlighting it as a key contribution. + +### Metrics of Success Section +**Strengths**: TRL framework is well-justified, progression through levels is clear. + +**Issues**: +- **Defensive tone**: Lines 11-30 spend considerable space justifying why TRL is appropriate. This is good but could be more concise. Consider: one paragraph on why TRLs (lines 10-19) rather than two. +- **Grading criteria**: The TRL definitions (3, 4, 5) are excellent. Very concrete and measurable. + +### Risks and Contingencies Section +**Strengths**: Comprehensive, each risk has indicators and contingencies, well-organized. + +**Issues**: +- **Subsection balance**: Four subsections range from 41 lines (computational) to 65 lines (discrete-continuous). Ensure space reflects actual risk level. +- **Mitigation vs. contingency**: Some subsections blur "mitigation" (preventing problems) and "contingency" (response if they occur). Consider clarifying this structure. + +### Broader Impacts Section +**Strengths**: Clear economic motivation, good connection to SMRs and datacenter application. + +**Issues**: +- **Brevity**: At 75 lines, this is the shortest technical section. Given that economic viability is a key motivation, consider expanding. +- **Missed opportunities**: Could briefly mention workforce/educational impacts (training future engineers in formal methods), equity (providing reliable clean energy to underserved areas), broader applicability beyond nuclear. + +### Budget Section +**Brief review**: Budget is comprehensive, well-justified, appropriate. Minor note: Consider whether the high-performance workstation (Year 1) might need upgrades in Year 2-3 as synthesis scales up. + +### Schedule Section +**Brief review**: Schedule is ambitious but realistic. Six trimesters for dissertation research is reasonable. Publication strategy is smart (nuclear community first, then broader control theory community). Minor note: Line 73 has a space issue ("t ranslation"). + +--- + +## Big Picture Observations + +### Narrative and Argument Structure + +**Strengths**: +- Clear problem-solution arc: operators make errors → procedures lack formal guarantees → hybrid control synthesis provides guarantees +- Good use of motivating examples (TMI, human error statistics, HARDENS) +- Technical progression is logical: discrete synthesis → continuous verification → integrated system + +**Opportunities**: +1. **Strengthen "so what" transitions**: The proposal sometimes presents information without explicitly stating significance. Add more "This matters because..." statements. +2. **Emphasize novelty earlier**: The three-mode classification and discrete-continuous interface verification are novel contributions. Signal this earlier and more explicitly. +3. **Create more callbacks**: When describing Research Approach, refer back to specific limitations identified in State of the Art. Currently these connections are implicit. + +### Rhetorical Effectiveness + +**Credibility established through**: +- Comprehensive literature review +- Specific technical detail +- Access to industry hardware (Emerson partnership) +- Prior conference recognition (best student paper) + +**Value proposition**: +- Clear economic impact (O&M cost reduction) +- Safety improvement (mathematical guarantees vs. human operators) +- Broader applicability (methodology generalizes) + +**Could strengthen**: +- More explicit statements of what's novel vs. what's established practice +- Stronger emphasis on the unique combination of discrete synthesis + continuous verification (others do one or the other, not both) + +### Content Gaps and Consistency + +**Terminology**: +- Generally consistent +- Good introduction of technical terms (hybrid automata, temporal logic, reachability analysis) +- Minor: "correct by construction" vs. "provably correct"—used interchangeably, which is fine, but could note they're synonymous + +**Scope consistency**: +- Excellent—stays focused on startup procedures for SmAHTR +- Appropriately acknowledges limitations (TRL 5, not deployment-ready) +- Risk section addresses what happens if scope must narrow + +**Potential gaps**: +1. **Cybersecurity**: Not mentioned. For autonomous nuclear control, shouldn't there be at least a paragraph on security verification? +2. **Regulatory path**: You mention "regulatory requirements" but don't detail what NRC approval process would look like. Even a paragraph would strengthen credibility. +3. **Comparison with alternatives**: What about machine learning approaches to autonomous control? Worth a paragraph explaining why formal methods are superior for safety-critical systems. + +--- + +## Gopen Framework Quick Reference + +**Stress Position**: End of sentence should contain most important new information. Readers expect climax there. + +**Topic Position**: Beginning of sentence should contain familiar information that links to previous sentence. Creates flow. + +**Point-Issue Structure**: Paragraphs should open by stating (1) the point/claim and (2) why it matters, before providing supporting detail. + +**Topic String**: The chain of topics across sentences in a paragraph. Strong topic strings create coherence; broken ones confuse readers. + +**Old→New Information Flow**: Information should flow from familiar (old) to unfamiliar (new) within sentences and paragraphs. + +--- + +## Next Steps + +1. **Start with Priority Issues 1-3**: These have the highest impact +2. **Apply Patterns**: Use the pattern examples to fix similar instances throughout +3. **Consult Detailed Document**: For comprehensive checkbox-by-checkbox revisions +4. **Section-by-section revision**: Work through one section at a time, applying patterns +5. **Final pass for consistency**: Ensure changes maintain consistent terminology and tone + +This proposal has strong technical content and a solid structure. The revisions suggested here will strengthen clarity, emphasize key contributions, and make the argument even more compelling for reviewers. Good luck with your revisions! diff --git a/Presentations/ERLM/ERLM_SABO_DRAFT_PRES.pdf b/Presentations/ERLM/ERLM_SABO_DRAFT_PRES.pdf new file mode 100644 index 000000000..15eb6ada7 Binary files /dev/null and b/Presentations/ERLM/ERLM_SABO_DRAFT_PRES.pdf differ diff --git a/Presentations/ERLM/main.aux b/Presentations/ERLM/main.aux index e69de29bb..68e5d2315 100644 --- a/Presentations/ERLM/main.aux +++ b/Presentations/ERLM/main.aux @@ -0,0 +1,40 @@ +\relax +\providecommand\hyper@newdestlabel[2]{} +\providecommand\HyField@AuxAddToFields[1]{} +\providecommand\HyField@AuxAddToCoFields[2]{} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/4}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {2}{4}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{5/9}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {5}{9}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{10/10}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{11/13}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {11}{13}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{14/17}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {14}{17}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{18/20}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {18}{20}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{21/21}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{22/25}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {22}{25}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{26/29}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {26}{29}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{30/32}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {30}{32}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{33/36}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {33}{36}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{37/39}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {37}{39}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{14}{40/40}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {40}{40}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{15}{41/41}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {41}{41}}} +\@writefile{nav}{\headcommand {\beamer@partpages {1}{41}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{41}}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{41}}} +\@writefile{nav}{\headcommand {\beamer@documentpages {41}}} +\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {15}}} +\gdef \@abspage@last{41} diff --git a/Presentations/ERLM/main.fdb_latexmk b/Presentations/ERLM/main.fdb_latexmk index ede2be71d..ce5272d99 100644 --- a/Presentations/ERLM/main.fdb_latexmk +++ b/Presentations/ERLM/main.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 4 -["lualatex"] 1764528713.881 "main.tex" "main.pdf" "main" 1764528717.95623 0 +["lualatex"] 1764563081.01433 "main.tex" "main.pdf" "main" 1764563115.66898 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 "" @@ -253,9 +253,6 @@ "/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty" 1705871765 11026 182c63f139a71afd30a28e5f1ed2cd1c "" "/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def" 1705871765 14249 e67cb186717b7ab18d14a4875e7e98b5 "" "/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def" 1705871765 117112 05831178ece2cad4d9629dcf65099b11 "" - "/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty" 1688762466 11185 15c86b5a61db19da88ab941ca5b70a12 "" - "/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrlfile.sty" 1688762466 3328 3d5fc41a419bf18130ce17d90a23c295 "" - "/usr/share/texlive/texmf-dist/tex/latex/koma-script/scrlogo.sty" 1688762466 2162 418e29bcf2b8059e8a9ee1ea4d0d0c87 "" "/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty" 1655478651 22555 6d8e155cfef6d82c3d5c742fea7c992e "" "/usr/share/texlive/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty" 1665067230 13815 760b0c02f691ea230f5359c4e1de23a7 "" "/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-luatex.def" 1704491087 30427 8d3aa1c568fd04ad1943491c682f4fbe "" @@ -276,7 +273,6 @@ "/usr/share/texlive/texmf-dist/tex/latex/pgfplots/pgfplots.sty" 1496704190 4904 ee78b44e85d6fccf08cd99370557481e "" "/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty" 1576624809 9878 9e94e8fa600d95f9c7731bb21dfb67a4 "" "/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" 1657483315 9714 ba3194bd52c8499b3f1e3eb91d409670 "" - "/usr/share/texlive/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty" 1580595219 4282 5d27280ace1239baaa4a225df16125ff "" "/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/enumerate.sty" 1698869629 3468 0ef513f22d965f96b06adb5cff671cd7 "" @@ -312,44 +308,44 @@ "/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" 1760105440.02229 5312232 f3296911be9cc021788f3f879cf0a47d "" - "/var/lib/texmf/web2c/luahbtex/lualatex.fmt" 1726065905 12230446 10024404f08a230959a13fd14332f6f6 "" - "bouncing_ball_hybrid.png" 1764470868.42471 503848 9d63c93b20beb6e8494b16d4a08cb98f "" - "images/1_hook/energy-demand-graph-small.png" 1763336452.14299 498793 d4b20a2a70c23e430cd42f1a958494ac "" - "images/1_hook/nuclear-plant.png" 1764360699.85273 33643 ae391bd2b827c05be2b7a877fcdaf999 "" - "images/2_state_of_the_art/control_room.jpg" 1764382088.57397 436102 0cd66f6d4671f09be64a9540a575a28d "" - "images/2_state_of_the_art/foreman.png" 1764364968.83299 26755 f399e83f67628674d2f3d5d3760d5641 "" - "images/2_state_of_the_art/nuclear-plant.png" 1764364968.83167 33643 ae391bd2b827c05be2b7a877fcdaf999 "" - "images/2_state_of_the_art/worker.png" 1764364968.83413 27672 7065ad1534208191d96629b550f62ee6 "" - "images/3_limitations/computer.png" 1764446428.78424 34281 45b36816bb88d3aea9b85ab2930e4bf4 "" - "images/3_limitations/foreman.png" 1764364968.83299 26755 f399e83f67628674d2f3d5d3760d5641 "" - "images/3_limitations/test.png" 1764446369.57847 41645 34977944089d9523fe5838109f6022d0 "" - "images/3_limitations/worker.png" 1764364968.83413 27672 7065ad1534208191d96629b550f62ee6 "" - "images/4_research_approach/procedure.png" 1764456080.21682 158772 222437d7a92958d3726adc307fb81a41 "" - "images/5_metrics_of_success/controller.png" 1764524989.70379 16201 acc9519701bcfa19f86eca99d3384577 "" - "images/5_metrics_of_success/emerson_logo_only.png" 1763336452.14199 39830 5d65eddbc8dd9059f41efeb1cce2d010 "" - "images/5_metrics_of_success/puzzle.png" 1764524940.19403 34200 fdce865ec248104e6ec78e285f7424be "" - "images/5_metrics_of_success/puzzle_complete.png" 1764524961.95624 15225 67fad16e593306dfeb6b5556393fe0c2 "" - "images/back.jpg" 1763336452.15499 240691 0cb5c8c7430464955925d0babbadff74 "" - "images/logo.png" 1763336452.15499 72759 d854b0b4145b18961bb2668be3694a61 "" - "images/money.png" 1764528073.18128 2809981 b860f10eb713a07689e4fdacf151aa3a "" - "main.aux" 1764528717.79345 2391 6721552eb8de7e2c6faeaa8631bbbb10 "lualatex" - "main.nav" 1764528717.79445 1598 618c1f0e0c833a28bd61515fee3abbd6 "lualatex" - "main.out" 1764528714.65643 0 d41d8cd98f00b204e9800998ecf8427e "lualatex" - "main.tex" 1764472007.93178 1747 a0f09a38bfba635b118c46cdaf2edf1e "" - "slides/1_Hook.tex" 1764365003.84351 2229 97b6feb9df84753abe53753986ce82f2 "" - "slides/2_State_of_the_Art.tex" 1764528587.81753 3175 f01c2424e116e785c132c1bd27008307 "" - "slides/3_Limitations.tex" 1764448781.58692 1453 7f207d2afdea9d103a33718f4aa61f29 "" - "slides/4_Research_Approach.tex" 1764526335.09165 5144 862a985a17573a0f1c28226bcbc1acb6 "" - "slides/5_Metrics_of_Success.tex" 1764528517.83896 1789 65b1a4db3c5b190cddc3c715075bc024 "" - "slides/6_Risks_and_Contingencies.tex" 1764528509.27265 399 387cde861931d5a6f8df4385a3b5edeb "" - "slides/7_Broader_Impacts.tex" 1764528709.3864 1873 330e68ccc70b8191011c7f9d66ebf79b "" - "slides/8_Money_Slide.tex" 1764528646.84545 801 b3c68f4b7c746435d17d963b4e0cd476 "" - "theme/beamercolorthemedane_native.sty" 1764364326.03437 2320 f7b01a98de0d22c836b1a657249a51d2 "" - "theme/beamerfontthemedane_native.sty" 1763336452.15682 1296 654c41f94efd9f9391ac224a886b5e98 "" - "theme/beamerinnerthemedane_native.sty" 1764528221.26407 2748 ae1cd84de5b3179f9cf8d6080e36cf1e "" - "theme/beamerouterthemedane_native.sty" 1763336452.15682 2809 641a45b2e5f94647de8205e7bf8164c1 "" - "theme/beamerthemedane_native.sty" 1763336452.15682 944 216604985b692d16917b9595dfc477ac "" + "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1722610820.43889 128028 f533b797fba58d231669ea19e894e23e "" + "/var/lib/texmf/web2c/luahbtex/lualatex.fmt" 1726005827 12241850 afe77aad1222fbf42eeb2a1860f5d5eb "" + "bouncing_ball_hybrid.png" 1764562988.41076 503848 9d63c93b20beb6e8494b16d4a08cb98f "" + "images/1_hook/energy-demand-graph-small.png" 1764562988.41376 498793 d4b20a2a70c23e430cd42f1a958494ac "" + "images/1_hook/nuclear-plant.png" 1764562988.41376 33643 ae391bd2b827c05be2b7a877fcdaf999 "" + "images/2_state_of_the_art/control_room.jpg" 1764562988.41476 436102 0cd66f6d4671f09be64a9540a575a28d "" + "images/2_state_of_the_art/foreman.png" 1764562988.41476 26755 f399e83f67628674d2f3d5d3760d5641 "" + "images/2_state_of_the_art/nuclear-plant.png" 1764562988.41576 33643 ae391bd2b827c05be2b7a877fcdaf999 "" + "images/2_state_of_the_art/worker.png" 1764562988.41576 27672 7065ad1534208191d96629b550f62ee6 "" + "images/3_limitations/computer.png" 1764562988.41576 34281 45b36816bb88d3aea9b85ab2930e4bf4 "" + "images/3_limitations/foreman.png" 1764562988.4171 26755 f399e83f67628674d2f3d5d3760d5641 "" + "images/3_limitations/test.png" 1764562988.4171 41645 34977944089d9523fe5838109f6022d0 "" + "images/3_limitations/worker.png" 1764562988.4171 27672 7065ad1534208191d96629b550f62ee6 "" + "images/4_research_approach/procedure.png" 1764562988.4171 158772 222437d7a92958d3726adc307fb81a41 "" + "images/5_metrics_of_success/controller.png" 1764562988.4171 16201 acc9519701bcfa19f86eca99d3384577 "" + "images/5_metrics_of_success/emerson_logo_only.png" 1764562988.41855 39830 5d65eddbc8dd9059f41efeb1cce2d010 "" + "images/5_metrics_of_success/puzzle.png" 1764562988.41855 34200 fdce865ec248104e6ec78e285f7424be "" + "images/5_metrics_of_success/puzzle_complete.png" 1764562988.41855 15225 67fad16e593306dfeb6b5556393fe0c2 "" + "images/back.jpg" 1761320217.92102 240691 0cb5c8c7430464955925d0babbadff74 "" + "images/logo.png" 1761320217.92132 72759 d854b0b4145b18961bb2668be3694a61 "" + "images/money.png" 1764562988.42576 2809981 b860f10eb713a07689e4fdacf151aa3a "" + "main.aux" 1764563114.58149 2391 6721552eb8de7e2c6faeaa8631bbbb10 "lualatex" + "main.nav" 1764563114.58549 1598 618c1f0e0c833a28bd61515fee3abbd6 "lualatex" + "main.out" 1764563087.3812 0 d41d8cd98f00b204e9800998ecf8427e "lualatex" + "main.tex" 1764562988.44476 1747 a0f09a38bfba635b118c46cdaf2edf1e "" + "slides/1_Hook.tex" 1764563076.90506 2229 e2a17857c26725b7887c3bb4e96f251a "" + "slides/2_State_of_the_Art.tex" 1764562988.44476 3175 f01c2424e116e785c132c1bd27008307 "" + "slides/3_Limitations.tex" 1764562988.44476 1453 7f207d2afdea9d103a33718f4aa61f29 "" + "slides/4_Research_Approach.tex" 1764562988.44476 5144 862a985a17573a0f1c28226bcbc1acb6 "" + "slides/5_Metrics_of_Success.tex" 1764562988.44476 1789 65b1a4db3c5b190cddc3c715075bc024 "" + "slides/6_Risks_and_Contingencies.tex" 1764562988.44476 399 387cde861931d5a6f8df4385a3b5edeb "" + "slides/7_Broader_Impacts.tex" 1764562988.44476 1873 330e68ccc70b8191011c7f9d66ebf79b "" + "slides/8_Money_Slide.tex" 1764562988.44476 801 b3c68f4b7c746435d17d963b4e0cd476 "" + "theme/beamercolorthemedane_native.sty" 1764562988.44576 2320 f7b01a98de0d22c836b1a657249a51d2 "" + "theme/beamerfontthemedane_native.sty" 1762977558.14195 1296 654c41f94efd9f9391ac224a886b5e98 "" + "theme/beamerinnerthemedane_native.sty" 1764562988.44576 2748 ae1cd84de5b3179f9cf8d6080e36cf1e "" + "theme/beamerouterthemedane_native.sty" 1762977557.81194 2809 641a45b2e5f94647de8205e7bf8164c1 "" + "theme/beamerthemedane_native.sty" 1762977572.01625 944 216604985b692d16917b9595dfc477ac "" (generated) "main.aux" "main.log" diff --git a/Presentations/ERLM/main.fls b/Presentations/ERLM/main.fls index d04b62d36..288f99518 100644 --- a/Presentations/ERLM/main.fls +++ b/Presentations/ERLM/main.fls @@ -330,3 +330,583 @@ 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 ./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 +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss12.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss8.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi7.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy7.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm +INPUT /usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.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/tex/latex/amsfonts/umsb.fd +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.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-lmss10.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss8.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso12.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso12.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso10.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso10.tfm +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/back.jpg +INPUT ./images/back.jpg +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss8.tfm +INPUT ./images/logo.png +INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map +INPUT ./slides/1_Hook.tex +INPUT ./images/logo.png +INPUT ./images/1_hook/energy-demand-graph-small.png +INPUT ./images/1_hook/energy-demand-graph-small.png +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss8.tfm +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/texlive/texmf-dist/fonts/tfm/public/cm/cmss17.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmss12.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.tfm +INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmex10.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/msam10.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/msbm10.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso17.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso17.tfm +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 ./images/1_hook/energy-demand-graph-small.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/1_hook/energy-demand-graph-small.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/1_hook/nuclear-plant.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./slides/2_State_of_the_Art.tex +INPUT ./images/logo.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/foreman.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/logo.png +INPUT ./images/2_state_of_the_art/control_room.jpg +INPUT ./images/2_state_of_the_art/control_room.jpg +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./slides/3_Limitations.tex +INPUT ./images/logo.png +INPUT ./images/3_limitations/foreman.png +INPUT ./images/3_limitations/foreman.png +INPUT ./images/3_limitations/worker.png +INPUT ./images/3_limitations/worker.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/3_limitations/foreman.png +INPUT ./images/3_limitations/worker.png +INPUT ./images/3_limitations/computer.png +INPUT ./images/3_limitations/computer.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/3_limitations/foreman.png +INPUT ./images/3_limitations/worker.png +INPUT ./images/3_limitations/computer.png +INPUT ./images/3_limitations/test.png +INPUT ./images/3_limitations/test.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./slides/4_Research_Approach.tex +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/logo.png +INPUT ./images/4_research_approach/procedure.png +INPUT ./images/4_research_approach/procedure.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/4_research_approach/procedure.png +INPUT /usr/share/texmf/tex/latex/lm/t1lmtt.fd +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmtt8.tfm +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/4_research_approach/procedure.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/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/cmmi5.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/cm/cmsy5.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/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/msam5.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/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 /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmsso8.tfm +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/logo.png +INPUT ./bouncing_ball_hybrid.png +INPUT ./bouncing_ball_hybrid.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./bouncing_ball_hybrid.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./bouncing_ball_hybrid.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./bouncing_ball_hybrid.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./slides/5_Metrics_of_Success.tex +INPUT ./images/logo.png +INPUT ./images/5_metrics_of_success/puzzle.png +INPUT ./images/5_metrics_of_success/puzzle.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/5_metrics_of_success/puzzle.png +INPUT ./images/5_metrics_of_success/puzzle_complete.png +INPUT ./images/5_metrics_of_success/puzzle_complete.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/5_metrics_of_success/puzzle.png +INPUT ./images/5_metrics_of_success/puzzle_complete.png +INPUT ./images/5_metrics_of_success/controller.png +INPUT ./images/5_metrics_of_success/controller.png +INPUT ./images/5_metrics_of_success/emerson_logo_only.png +INPUT ./images/5_metrics_of_success/emerson_logo_only.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./slides/6_Risks_and_Contingencies.tex +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./slides/7_Broader_Impacts.tex +INPUT ./images/logo.png +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm +INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./slides/8_Money_Slide.tex +INPUT ./images/logo.png +INPUT ./images/money.png +INPUT ./images/money.png +INPUT ./images/back.jpg +OUTPUT main.nav +OUTPUT main.toc +OUTPUT main.snm +INPUT ./main.aux +INPUT ./main.out +INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb +INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb +INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb +INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb +INPUT /usr/share/texmf/fonts/type1/public/lm/lmss12.pfb +INPUT /usr/share/texmf/fonts/type1/public/lm/lmss8.pfb +INPUT /usr/share/texmf/fonts/type1/public/lm/lmssbx10.pfb +INPUT /usr/share/texmf/fonts/type1/public/lm/lmsso12.pfb +INPUT /usr/share/texmf/fonts/type1/public/lm/lmsso17.pfb +INPUT /usr/share/texmf/fonts/type1/public/lm/lmsso8.pfb +INPUT /usr/share/texmf/fonts/type1/public/lm/lmtt8.pfb +INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb diff --git a/Presentations/ERLM/main.log b/Presentations/ERLM/main.log index f84f4acfa..3cfac3a43 100644 --- a/Presentations/ERLM/main.log +++ b/Presentations/ERLM/main.log @@ -882,4 +882,2098 @@ LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' (Font) OT1/cmss/m/n --> T1/lmss/m/n on input line 52. LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' (Font) OT1/cmss/bx/n --> T1/lmss/m/n on input line 52. -LaTeX F \ No newline at end of file +LaTeX Font Info: Redeclaring math alphabet \mathit on input line 52. +LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' +(Font) OT1/cmr/m/it --> T1/lmss/m/it on input line 52. +LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' +(Font) OT1/cmr/bx/it --> T1/lmss/m/it on input line 52. +LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 52. +LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' +(Font) OT1/cmtt/m/n --> T1/lmtt/m/n on input line 52. +LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' +(Font) OT1/cmtt/m/n --> T1/lmtt/m/n on input line 52. +LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' +(Font) T1/lmss/m/n --> T1/lmss/b/n on input line 52. +LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' +(Font) T1/lmss/m/it --> T1/lmss/b/it on input line 52. +LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' +(Font) OT1/cmss/b/n --> T1/lmr/b/n on input line 52. +LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' +(Font) T1/lmss/b/n --> T1/lmss/b/n on input line 52. +LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' +(Font) T1/lmss/m/n --> T1/lmss/b/n on input line 52. +LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' +(Font) T1/lmss/m/it --> T1/lmss/b/it on input line 52. +LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' +(Font) T1/lmtt/m/n --> T1/lmtt/b/n on input line 52. + (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict +Dictionary: translator-basic-dictionary, Language: English +) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict +Dictionary: translator-bibliography-dictionary, Language: English +) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-environment-dictionary-English.dict +Dictionary: translator-environment-dictionary, Language: English +) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-months-dictionary-English.dict +Dictionary: translator-months-dictionary, Language: English +) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-numbers-dictionary-English.dict +Dictionary: translator-numbers-dictionary, Language: English +) (/usr/share/texlive/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict +Dictionary: translator-theorem-dictionary, Language: English +) +Package caption Info: Begin \AtBeginDocument code. +Package caption Info: End \AtBeginDocument code. + +Package pgfplots notification 'compat/show suggested version=true': document has been generated with the most recent feature set (\pgfplotsset{compat=1.18}). + +(./main.nav) +LaTeX Font Info: Font shape `T1/lmss/m/it' in size <6> not available +(Font) Font shape `T1/lmss/m/sl' tried instead on input line 52. + +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 52. +(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 56. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. + +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +LaTeX Font Info: Trying to load font information for U+msa on input line 56. + (/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 56. + (/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 56. +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 56. +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 56. +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 56. +(luatex.def) Requested size: 85.35826pt x 33.95337pt. + +Overfull \vbox (6.42271pt too high) detected at line 56 + [] + + +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 56. +(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 56. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. +[1 + +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}<./images/back.jpg><./images/2_state_of_the_art/nuclear-plant.png><./images/2_state_of_the_art/worker.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 75. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + +File: images/1_hook/energy-demand-graph-small.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/energy-demand-graph-small.png used on input line 75. +(luatex.def) Requested size: 131.78964pt x 168.00517pt. +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 75. +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 75. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 75. +(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 75. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [2 + +<./images/1_hook/energy-demand-graph-small.png>] +File: images/1_hook/energy-demand-graph-small.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/energy-demand-graph-small.png used on input line 75. +(luatex.def) Requested size: 131.78964pt x 168.00517pt. + +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 25.6073pt x 25.60732pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 75. +(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 75. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [3 + +<./images/1_hook/nuclear-plant.png>] +File: images/1_hook/energy-demand-graph-small.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/energy-demand-graph-small.png used on input line 75. +(luatex.def) Requested size: 131.78964pt x 168.00517pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/1_hook/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. +(luatex.def) Requested size: 12.51927pt x 12.51547pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 75. +(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 75. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [4 + +]) (./slides/2_State_of_the_Art.tex +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 104. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 104. +(luatex.def) Requested size: 43.5336pt x 43.53362pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 104. +(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 104. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [5 + +] +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 104. +(luatex.def) Requested size: 43.5336pt x 43.53362pt. + +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 22.76228pt x 22.75684pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 22.76228pt x 22.75684pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 22.76228pt x 22.76076pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 22.76228pt x 22.76076pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 104. +(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 104. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [6 + +<./images/2_state_of_the_art/foreman.png>] +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 104. +(luatex.def) Requested size: 43.5336pt x 43.53362pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 104. +(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 104. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [7 + +] +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 104. +(luatex.def) Requested size: 43.5336pt x 43.53362pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 104. +(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 104. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [8 + +] +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 104. +(luatex.def) Requested size: 43.5336pt x 43.53362pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/foreman.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.07155pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. +(luatex.def) Requested size: 17.07182pt x 17.06763pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 104. +(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 104. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [9 + +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 110. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + +File: images/2_state_of_the_art/control_room.jpg Graphic file (type jpg) + +Package luatex.def Info: images/2_state_of_the_art/control_room.jpg used on input line 110. +(luatex.def) Requested size: 372.10803pt x 252.00871pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 110. +(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 110. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [10 + +<./images/2_state_of_the_art/control_room.jpg>]) (./slides/3_Limitations.tex +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 59. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + +File: images/3_limitations/foreman.png Graphic file (type png) + +Package luatex.def Info: images/3_limitations/foreman.png used on input line 59. +(luatex.def) Requested size: 56.9055pt x 56.89993pt. + +File: images/3_limitations/worker.png Graphic file (type png) + +Package luatex.def Info: images/3_limitations/worker.png used on input line 59. +(luatex.def) Requested size: 56.9055pt x 56.90189pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 59. +(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 59. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [11 + +<./images/3_limitations/foreman.png><./images/3_limitations/worker.png>] +File: images/3_limitations/foreman.png Graphic file (type png) + +Package luatex.def Info: images/3_limitations/foreman.png used on input line 59. +(luatex.def) Requested size: 56.9055pt x 56.89993pt. +File: images/3_limitations/worker.png Graphic file (type png) + +Package luatex.def Info: images/3_limitations/worker.png used on input line 59. +(luatex.def) Requested size: 56.9055pt x 56.90189pt. + +File: images/3_limitations/computer.png Graphic file (type png) + +Package luatex.def Info: images/3_limitations/computer.png used on input line 59. +(luatex.def) Requested size: 56.9055pt x 56.90189pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 59. +(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 59. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [12 + +<./images/3_limitations/computer.png>] +File: images/3_limitations/foreman.png Graphic file (type png) + +Package luatex.def Info: images/3_limitations/foreman.png used on input line 59. +(luatex.def) Requested size: 56.9055pt x 56.89993pt. +File: images/3_limitations/worker.png Graphic file (type png) + +Package luatex.def Info: images/3_limitations/worker.png used on input line 59. +(luatex.def) Requested size: 56.9055pt x 56.90189pt. +File: images/3_limitations/computer.png Graphic file (type png) + +Package luatex.def Info: images/3_limitations/computer.png used on input line 59. +(luatex.def) Requested size: 56.9055pt x 56.90189pt. + +File: images/3_limitations/test.png Graphic file (type png) + +Package luatex.def Info: images/3_limitations/test.png used on input line 59. +(luatex.def) Requested size: 56.9055pt x 56.90189pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 59. +(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 59. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [13 + +<./images/3_limitations/test.png>]) (./slides/4_Research_Approach.tex +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 22. +(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 22. +(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 22. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [14 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 22. +(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 22. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [15 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 22. +(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 22. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [16 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 22. +(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 22. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [17 + +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 79. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + +File: images/4_research_approach/procedure.png Graphic file (type png) + +Package luatex.def Info: images/4_research_approach/procedure.png used on input line 79. +(luatex.def) Requested size: 159.62085pt x 207.98618pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 79. +(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 79. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [18 + +<./images/4_research_approach/procedure.png>] +File: images/4_research_approach/procedure.png Graphic file (type png) + +Package luatex.def Info: images/4_research_approach/procedure.png used on input line 79. +(luatex.def) Requested size: 159.62085pt x 207.98618pt. +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 +) +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 79. +(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 79. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [19 + +] +File: images/4_research_approach/procedure.png Graphic file (type png) + +Package luatex.def Info: images/4_research_approach/procedure.png used on input line 79. +(luatex.def) Requested size: 159.62085pt x 207.98618pt. +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 79. +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 79. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 79. +(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 79. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [20 + +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 101. +(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 101. +(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 101. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [21 + +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 152. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + +File: bouncing_ball_hybrid.png Graphic file (type png) + +Package luatex.def Info: bouncing_ball_hybrid.png used on input line 152. +(luatex.def) Requested size: 187.93803pt x 235.2062pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 152. +(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 152. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [22 + +<./bouncing_ball_hybrid.png>] +File: bouncing_ball_hybrid.png Graphic file (type png) + +Package luatex.def Info: bouncing_ball_hybrid.png used on input line 152. +(luatex.def) Requested size: 187.93803pt x 235.2062pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 152. +(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 152. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [23 + +] +File: bouncing_ball_hybrid.png Graphic file (type png) + +Package luatex.def Info: bouncing_ball_hybrid.png used on input line 152. +(luatex.def) Requested size: 187.93803pt x 235.2062pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 152. +(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 152. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [24 + +] +File: bouncing_ball_hybrid.png Graphic file (type png) + +Package luatex.def Info: bouncing_ball_hybrid.png used on input line 152. +(luatex.def) Requested size: 187.93803pt x 235.2062pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 152. +(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 152. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [25 + +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 175. +(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 175. +(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 175. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [26 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 175. +(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 175. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [27 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 175. +(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 175. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [28 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 175. +(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 175. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [29 + +]) (./slides/5_Metrics_of_Success.tex +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 53. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + +File: images/5_metrics_of_success/puzzle.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/puzzle.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38449pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 53. +(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 53. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [30 + +<./images/5_metrics_of_success/puzzle.png>] +File: images/5_metrics_of_success/puzzle.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/puzzle.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38449pt. + +File: images/5_metrics_of_success/puzzle_complete.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/puzzle_complete.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38371pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 53. +(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 53. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [31 + +<./images/5_metrics_of_success/puzzle_complete.png>] +File: images/5_metrics_of_success/puzzle.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/puzzle.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38449pt. +File: images/5_metrics_of_success/puzzle_complete.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/puzzle_complete.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38371pt. + +File: images/5_metrics_of_success/controller.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/controller.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38449pt. + +File: images/5_metrics_of_success/emerson_logo_only.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/emerson_logo_only.png used on input line 53. +(luatex.def) Requested size: 33.52057pt x 33.52014pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 53. +(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 53. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [32 + +<./images/5_metrics_of_success/controller.png><./images/5_metrics_of_success/emerson_logo_only.png>]) (./slides/6_Risks_and_Contingencies.tex +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 13. +(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 13. +(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 13. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [33 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 13. +(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 13. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [34 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 13. +(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 13. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [35 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 13. +(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 13. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [36 + +]) (./slides/7_Broader_Impacts.tex +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 38. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + +Overfull \vbox (73.8187pt too high) detected at line 38 + [] + +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 38. +(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 38. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. +[37 + +] +Overfull \vbox (73.8187pt too high) detected at line 38 + [] + +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 38. +(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 38. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. +[38 + +] +Overfull \vbox (73.8187pt too high) detected at line 38 + [] + +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 38. +(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 38. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. +[39 + +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 75. +(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 75. +(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 75. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [40 + +]) (./slides/8_Money_Slide.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. + +File: images/money.png Graphic file (type png) + +Package luatex.def Info: images/money.png used on input line 35. +(luatex.def) Requested size: 352.80942pt x 235.2062pt. + +Overfull \hbox (38.40941pt too wide) in paragraph at lines 35--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. +[41 + +<./images/money.png>]) +\tf@nav=\write6 + +\openout6 = main.nav +\tf@toc=\write7 + +\openout7 = main.toc +\tf@snm=\write8 + +\openout8 = main.snm + (./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. +) + +Here is how much of LuaTeX's memory you used: + 42526 strings out of 476553 + 195340,1977958 words of node,token memory allocated + 4628 words of node memory still in use: + 65 hlist, 8 vlist, 13 rule, 31 disc, 12 local_par, 114 glue, 21 kern, 27 penalty, 265 glyph, 63 glue_spec, 4 write, 40 pdf_literal, 20 pdf_colorstack, 1 pdf_setmatrix, 1 pdf_save, 1 pdf_restore nodes + avail lists: 2:36,3:9296,4:439,5:598,6:54,7:9016,8:27,9:7322,10:12,11:188 + 61769 multiletter control sequences out of 65536+600000 + 97 fonts using 4022483 bytes + 101i,18n,104p,747b,1334s stack positions out of 10000i,1000n,20000p,200000b,200000s +{/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc} +Output written on main.pdf (41 pages, 5119555 bytes). + +PDF statistics: 438 PDF objects out of 1000 (max. 8388607) + 306 compressed objects within 4 object streams + 83 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.pdf b/Presentations/ERLM/main.pdf deleted file mode 100644 index 04010a480..000000000 Binary files a/Presentations/ERLM/main.pdf and /dev/null differ diff --git a/Presentations/ERLM/main.synctex(busy) b/Presentations/ERLM/main.synctex(busy) deleted file mode 100644 index e69de29bb..000000000 diff --git a/Presentations/ERLM/main.synctex.gz b/Presentations/ERLM/main.synctex.gz index df1d8d9af..46a78019a 100644 Binary files a/Presentations/ERLM/main.synctex.gz and b/Presentations/ERLM/main.synctex.gz differ diff --git a/Zettelkasten/Fleeting Notes/Meetings/CISA_training.md b/Zettelkasten/Fleeting Notes/Meetings/CISA_training.md new file mode 100644 index 000000000..e19f462b7 --- /dev/null +++ b/Zettelkasten/Fleeting Notes/Meetings/CISA_training.md @@ -0,0 +1,11 @@ +# CISA ICS Training Notes + +## Russ' Quiz +% data breaches involving phishing --- 15% + +% of all breaches involving human error --- 68% + +% financially motivated incidents that involve ransomware or +extrotion --- 92% + +Year the PLC was invented? --- 1968