Auto sync: 2025-09-24 17:06:55 (13 files changed)
M .task/backlog.data M .task/completed.data M .task/pending.data M .task/undo.data A .taskrc A Writing/ERLM/broader-impacts/v1.tex M Writing/ERLM/main.aux M Writing/ERLM/main.fdb_latexmk
This commit is contained in:
parent
3521afad7f
commit
8e8dd514d3
@ -73,3 +73,16 @@
|
||||
{"description":"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations","entry":"20250910T150523Z","modified":"20250917T160629Z","project":"thesis","status":"pending","uuid":"96c76e6b-5c33-4f54-a156-5c59e718f01a","tags":["reading"]}
|
||||
{"description":"Read Branicky Lyapunov paper","end":"20250911T214953Z","entry":"20250911T183429Z","modified":"20250917T160655Z","project":"thesis","status":"completed","uuid":"f4d32147-ec74-4f68-b8d5-146c0b6f35df","tags":["reading"]}
|
||||
{"description":"Research Approach Outline","end":"20250917T203802Z","entry":"20250916T203752Z","modified":"20250917T203802Z","project":"ERLM","status":"completed","uuid":"e6cc0b14-6db4-4935-b19f-674c812aeda3","tags":["writing"]}
|
||||
{"description":"Research Approach First Draft","end":"20250924T163711Z","entry":"20250916T203815Z","modified":"20250924T163711Z","project":"ERLM","status":"completed","uuid":"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4","tags":["writing"],"depends":["e6cc0b14-6db4-4935-b19f-674c812aeda3"]}
|
||||
{"description":"Write research approach","due":"20250922T040000Z","end":"20250924T163719Z","entry":"20250916T203728Z","modified":"20250924T163719Z","project":"ERLM","status":"completed","uuid":"56c9b3cc-078e-4155-b4cd-f982ae23bd36","tags":["writing"],"depends":["c008dbde-ec2a-42f7-a34c-a6038e9d8cd4","e6cc0b14-6db4-4935-b19f-674c812aeda3"]}
|
||||
{"description":"Broader Impacts Worksheet","entry":"20250924T163748Z","modified":"20250924T163748Z","project":"ERLM","status":"pending","uuid":"47b4efbf-8785-40d2-857d-6c9e44d2369e","tags":["writing"]}
|
||||
{"description":"Broader Impacts First Draft","entry":"20250924T163806Z","modified":"20250924T163806Z","project":"ERLM","status":"pending","uuid":"403ad6c3-34b1-424c-a0ac-c50f91756dbf","tags":["writing"],"depends":["47b4efbf-8785-40d2-857d-6c9e44d2369e"]}
|
||||
{"description":"Broader Impacts First Draft","due":"20250929T040000Z","entry":"20250924T163806Z","modified":"20250924T163843Z","project":"ERLM","status":"pending","uuid":"403ad6c3-34b1-424c-a0ac-c50f91756dbf","tags":["writing"],"depends":["47b4efbf-8785-40d2-857d-6c9e44d2369e"]}
|
||||
{"description":"Complete peer review for SOTA","due":"20250926T040000Z","entry":"20250924T163914Z","modified":"20250924T163914Z","project":"ERLM","status":"pending","uuid":"c32e480c-5c11-488d-90d6-87b572fbf10f"}
|
||||
{"description":"Edit goals and outcomes","entry":"20250924T163953Z","modified":"20250924T163953Z","project":"ERLM","status":"pending","uuid":"bbc41e22-c647-4209-9500-382e0321b625"}
|
||||
{"description":"Rewrite state of the art for nuclear controls engineering and hybrid systems","due":"20250929T040000Z","entry":"20250924T164019Z","modified":"20250924T164019Z","project":"ERLM","status":"pending","uuid":"e0636009-9061-47d0-9b59-1f2464a252a7"}
|
||||
{"description":"Complete peer review for SOTA","due":"20250926T040000Z","entry":"20250924T163914Z","modified":"20250924T164102Z","project":"ERLM","status":"pending","uuid":"c32e480c-5c11-488d-90d6-87b572fbf10f","tags":["review"]}
|
||||
{"description":"Rewrite state of the art for nuclear controls engineering and hybrid systems","due":"20250929T040000Z","entry":"20250924T164019Z","modified":"20250924T164116Z","project":"ERLM","status":"pending","uuid":"e0636009-9061-47d0-9b59-1f2464a252a7","tags":["editing"]}
|
||||
{"description":"Edit goals and outcomes to adjust capabilities. What is new capability, not research task","entry":"20250924T164236Z","modified":"20250924T164236Z","project":"ERLM","status":"pending","uuid":"ce706282-31bb-4cba-882d-86f09a76045d","tags":["writing"]}
|
||||
{"description":"Add research tasks to research approach section","entry":"20250924T164328Z","modified":"20250924T164328Z","project":"ERLM","status":"pending","uuid":"56028c48-5a4b-46cd-a40e-ada624cf6187","tags":["editing","writing"]}
|
||||
{"description":"Fix pagination that Dan was complaining about","entry":"20250924T164344Z","modified":"20250924T164344Z","project":"ERLM","status":"pending","uuid":"306c574b-c3f6-4363-914b-f1eddda04543"}
|
||||
|
||||
@ -1,3 +1,5 @@
|
||||
[dep_c008dbde-ec2a-42f7-a34c-a6038e9d8cd4:"x" dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4,e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Write research approach" due:"1758513600" end:"1758731839" entry:"1758055048" modified:"1758731839" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"56c9b3cc-078e-4155-b4cd-f982ae23bd36"]
|
||||
[dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Research Approach First Draft" end:"1758731831" entry:"1758055095" modified:"1758731831" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
|
||||
[description:"Research Approach Outline" end:"1758141482" entry:"1758055072" modified:"1758141482" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"e6cc0b14-6db4-4935-b19f-674c812aeda3"]
|
||||
[dep_8e7a8e19-9197-4008-b7d9-521ffcf7ba91:"x" dep_96c76e6b-5c33-4f54-a156-5c59e718f01a:"x" dep_f4d32147-ec74-4f68-b8d5-146c0b6f35df:"x" depends:"8e7a8e19-9197-4008-b7d9-521ffcf7ba91,96c76e6b-5c33-4f54-a156-5c59e718f01a,f4d32147-ec74-4f68-b8d5-146c0b6f35df" description:"Write first draft of state of the art" due:"1757649600" end:"1758040405" entry:"1757449978" modified:"1758040405" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"4bec1530-18bc-43cb-9f0b-61e35dbf1730"]
|
||||
[description:"Read Branicky Lyapunov paper" end:"1757627393" entry:"1757615669" modified:"1758125215" project:"thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"f4d32147-ec74-4f68-b8d5-146c0b6f35df"]
|
||||
|
||||
@ -5,8 +5,6 @@
|
||||
[description:"get FSAE COM and track data to Matt barry for statics problem. He also wants a cad model?" due:"1758254400" entry:"1757515988" modified:"1757515988" status:"pending" uuid:"48f997bf-b686-4c0b-bee5-ac8e5f874ad9"]
|
||||
[description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1758125189" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"]
|
||||
[description:"Write zettel about lipschitz continuity" entry:"1757625029" modified:"1757625029" status:"pending" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"]
|
||||
[dep_c008dbde-ec2a-42f7-a34c-a6038e9d8cd4:"x" dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4,e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Write research approach" due:"1758513600" entry:"1758055048" modified:"1758055281" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"56c9b3cc-078e-4155-b4cd-f982ae23bd36"]
|
||||
[dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Research Approach First Draft" entry:"1758055095" modified:"1758055295" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
|
||||
[description:"The Algorithmic Analysis of Hybrid Systems (1995)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b15bdc1a-205f-4489-a8fb-e9843306e40d"]
|
||||
[description:"Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1993)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"6ed5ae99-0296-4011-bb90-39d97021d7ae"]
|
||||
[description:"Hybrid Systems: Review and Recent Progress (2003)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"1d8043ca-e583-4835-9d77-65e0e92361c3"]
|
||||
@ -33,3 +31,11 @@
|
||||
[description:"Learning Local Control Barrier Functions for Hybrid Systems (2024)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"3abf4246-566a-4ba8-b392-cbab5d7a9aa0"]
|
||||
[description:"Model Predictive Control of Stochastic Hybrid Systems with Signal Temporal Logic Constraints (2025)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"320ec48e-134f-462f-ac3c-ffaf70698691"]
|
||||
[description:"Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications (2024)" entry:"1758125087" modified:"1758125087" project:"thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b47de464-8a66-45d2-b487-6588a60c8112"]
|
||||
[description:"Broader Impacts Worksheet" entry:"1758731868" modified:"1758731868" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"47b4efbf-8785-40d2-857d-6c9e44d2369e"]
|
||||
[dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" due:"1759118400" entry:"1758731886" modified:"1758731923" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
|
||||
[description:"Complete peer review for SOTA" due:"1758859200" entry:"1758731954" modified:"1758732062" project:"ERLM" status:"pending" tags:"review" tags_review:"x" uuid:"c32e480c-5c11-488d-90d6-87b572fbf10f"]
|
||||
[description:"Edit goals and outcomes" entry:"1758731993" modified:"1758731993" project:"ERLM" status:"pending" uuid:"bbc41e22-c647-4209-9500-382e0321b625"]
|
||||
[description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" entry:"1758732019" modified:"1758732076" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"]
|
||||
[description:"Edit goals and outcomes to adjust capabilities. What is new capability, not research task" entry:"1758732156" modified:"1758732156" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"ce706282-31bb-4cba-882d-86f09a76045d"]
|
||||
[description:"Add research tasks to research approach section" entry:"1758732208" modified:"1758732208" project:"ERLM" status:"pending" tags:"editing,writing" tags_editing:"x" tags_writing:"x" uuid:"56028c48-5a4b-46cd-a40e-ada624cf6187"]
|
||||
[description:"Fix pagination that Dan was complaining about" entry:"1758732224" modified:"1758732224" project:"ERLM" status:"pending" uuid:"306c574b-c3f6-4363-914b-f1eddda04543"]
|
||||
|
||||
@ -247,3 +247,47 @@ time 1758141482
|
||||
old [description:"Research Approach Outline" entry:"1758055072" modified:"1758055144" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"e6cc0b14-6db4-4935-b19f-674c812aeda3"]
|
||||
new [description:"Research Approach Outline" end:"1758141482" entry:"1758055072" modified:"1758141482" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"e6cc0b14-6db4-4935-b19f-674c812aeda3"]
|
||||
---
|
||||
time 1758731831
|
||||
old [dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Research Approach First Draft" entry:"1758055095" modified:"1758055295" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
|
||||
new [dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Research Approach First Draft" end:"1758731831" entry:"1758055095" modified:"1758731831" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4"]
|
||||
---
|
||||
time 1758731839
|
||||
old [dep_c008dbde-ec2a-42f7-a34c-a6038e9d8cd4:"x" dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4,e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Write research approach" due:"1758513600" entry:"1758055048" modified:"1758055281" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"56c9b3cc-078e-4155-b4cd-f982ae23bd36"]
|
||||
new [dep_c008dbde-ec2a-42f7-a34c-a6038e9d8cd4:"x" dep_e6cc0b14-6db4-4935-b19f-674c812aeda3:"x" depends:"c008dbde-ec2a-42f7-a34c-a6038e9d8cd4,e6cc0b14-6db4-4935-b19f-674c812aeda3" description:"Write research approach" due:"1758513600" end:"1758731839" entry:"1758055048" modified:"1758731839" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"56c9b3cc-078e-4155-b4cd-f982ae23bd36"]
|
||||
---
|
||||
time 1758731868
|
||||
new [description:"Broader Impacts Worksheet" entry:"1758731868" modified:"1758731868" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"47b4efbf-8785-40d2-857d-6c9e44d2369e"]
|
||||
---
|
||||
time 1758731886
|
||||
new [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" entry:"1758731886" modified:"1758731886" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
|
||||
---
|
||||
time 1758731923
|
||||
old [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" entry:"1758731886" modified:"1758731886" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
|
||||
new [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" due:"1759118400" entry:"1758731886" modified:"1758731923" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"]
|
||||
---
|
||||
time 1758731954
|
||||
new [description:"Complete peer review for SOTA" due:"1758859200" entry:"1758731954" modified:"1758731954" project:"ERLM" status:"pending" uuid:"c32e480c-5c11-488d-90d6-87b572fbf10f"]
|
||||
---
|
||||
time 1758731993
|
||||
new [description:"Edit goals and outcomes" entry:"1758731993" modified:"1758731993" project:"ERLM" status:"pending" uuid:"bbc41e22-c647-4209-9500-382e0321b625"]
|
||||
---
|
||||
time 1758732019
|
||||
new [description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" entry:"1758732019" modified:"1758732019" project:"ERLM" status:"pending" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"]
|
||||
---
|
||||
time 1758732062
|
||||
old [description:"Complete peer review for SOTA" due:"1758859200" entry:"1758731954" modified:"1758731954" project:"ERLM" status:"pending" uuid:"c32e480c-5c11-488d-90d6-87b572fbf10f"]
|
||||
new [description:"Complete peer review for SOTA" due:"1758859200" entry:"1758731954" modified:"1758732062" project:"ERLM" status:"pending" tags:"review" tags_review:"x" uuid:"c32e480c-5c11-488d-90d6-87b572fbf10f"]
|
||||
---
|
||||
time 1758732076
|
||||
old [description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" entry:"1758732019" modified:"1758732019" project:"ERLM" status:"pending" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"]
|
||||
new [description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" entry:"1758732019" modified:"1758732076" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"]
|
||||
---
|
||||
time 1758732156
|
||||
new [description:"Edit goals and outcomes to adjust capabilities. What is new capability, not research task" entry:"1758732156" modified:"1758732156" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"ce706282-31bb-4cba-882d-86f09a76045d"]
|
||||
---
|
||||
time 1758732208
|
||||
new [description:"Add research tasks to research approach section" entry:"1758732208" modified:"1758732208" project:"ERLM" status:"pending" tags:"editing,writing" tags_editing:"x" tags_writing:"x" uuid:"56028c48-5a4b-46cd-a40e-ada624cf6187"]
|
||||
---
|
||||
time 1758732224
|
||||
new [description:"Fix pagination that Dan was complaining about" entry:"1758732224" modified:"1758732224" project:"ERLM" status:"pending" uuid:"306c574b-c3f6-4363-914b-f1eddda04543"]
|
||||
---
|
||||
|
||||
42
.taskrc
Normal file
42
.taskrc
Normal file
@ -0,0 +1,42 @@
|
||||
# [Created by task 2.6.2 9/9/2025 13:24:33]
|
||||
# Taskwarrior program configuration file.
|
||||
# For more documentation, see https://taskwarrior.org or try 'man task', 'man task-color',
|
||||
# 'man task-sync' or 'man taskrc'
|
||||
|
||||
# Here is an example of entries that use the default, override and blank values
|
||||
# variable=foo -- By specifying a value, this overrides the default
|
||||
# variable= -- By specifying no value, this means no default
|
||||
# #variable=foo -- By commenting out the line, or deleting it, this uses the default
|
||||
|
||||
# You can also refence environment variables:
|
||||
# variable=$HOME/task
|
||||
# variable=$VALUE
|
||||
|
||||
# Use the command 'task show' to see all defaults and overrides
|
||||
|
||||
# Files
|
||||
data.location=/home/danesabo/Documents/Dane's Vault/.task
|
||||
|
||||
# To use the default location of the XDG directories,
|
||||
# move this configuration file from ~/.taskrc to ~/.config/task/taskrc and uncomment below
|
||||
|
||||
#data.location=~/.local/share/task
|
||||
#hooks.location=~/.config/task/hooks
|
||||
|
||||
# Color theme (uncomment one to use)
|
||||
#include light-16.theme
|
||||
#include light-256.theme
|
||||
#include dark-16.theme
|
||||
#include dark-256.theme
|
||||
#include dark-red-256.theme
|
||||
#include dark-green-256.theme
|
||||
#include dark-blue-256.theme
|
||||
#include dark-violets-256.theme
|
||||
#include dark-yellow-green.theme
|
||||
#include dark-gray-256.theme
|
||||
#include dark-gray-blue-256.theme
|
||||
include solarized-dark-256.theme
|
||||
#include solarized-light-256.theme
|
||||
#include no-color.theme
|
||||
|
||||
urgency.user.tag.zk.coefficient=3.0
|
||||
2
Writing/ERLM/broader-impacts/v1.tex
Normal file
2
Writing/ERLM/broader-impacts/v1.tex
Normal file
@ -0,0 +1,2 @@
|
||||
\subsection{Broader Impacts}
|
||||
|
||||
@ -19,6 +19,7 @@
|
||||
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Requirements: $(Procedures \wedge FRET) \rightarrow Temporal Specifications$}{6}{}\protected@file@percent }
|
||||
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Discrete Synthesis: $(TemporalLogic \wedge ReactiveSynthesis) \rightarrow DiscreteAutomata$}{7}{}\protected@file@percent }
|
||||
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}$(DiscreteAutomata \wedge ControlTheory \wedge Reachability) \rightarrow ContinuousModes$}{7}{}\protected@file@percent }
|
||||
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Broader Impacts}{10}{}\protected@file@percent }
|
||||
\bibdata{references}
|
||||
\bibcite{geromel2006stability}{1}
|
||||
\bibcite{branicky1998multiple}{2}
|
||||
@ -33,5 +34,5 @@
|
||||
\bibcite{platzer2008differential}{11}
|
||||
\bibcite{platzer2017complete}{12}
|
||||
\bibcite{fulton2015keymaera}{13}
|
||||
\@writefile{toc}{\contentsline {section}{References}{10}{}\protected@file@percent }
|
||||
\gdef \@abspage@last{11}
|
||||
\@writefile{toc}{\contentsline {section}{References}{11}{}\protected@file@percent }
|
||||
\gdef \@abspage@last{12}
|
||||
|
||||
@ -1,13 +1,13 @@
|
||||
# Fdb version 4
|
||||
["bibtex main"] 1758557112.56091 "main.aux" "main.bbl" "main" 1758557140.32895 0
|
||||
["bibtex main"] 1758729135.32235 "main.aux" "main.bbl" "main" 1758729136.16459 0
|
||||
"./references.bib" 1757962977.69814 9415 fb740c67337f78e30e95f745a7cf3dae ""
|
||||
"/usr/share/texlive/texmf-dist/bibtex/bst/base/unsrt.bst" 1292289607 18030 1376b4b231b50c66211e47e42eda2875 ""
|
||||
"main.aux" 1758557140.19536 2118 a57066142aea7c36ef70d6820a019284 "pdflatex"
|
||||
"main.aux" 1758729136.04082 2227 483080ce239cef6535179c4c6ee56b2a "pdflatex"
|
||||
(generated)
|
||||
"main.bbl"
|
||||
"main.blg"
|
||||
(rewritten before read)
|
||||
["pdflatex"] 1758557139.47267 "main.tex" "main.pdf" "main" 1758557140.32921 0
|
||||
["pdflatex"] 1758729135.35378 "main.tex" "main.pdf" "main" 1758729136.16483 0
|
||||
"/etc/texmf/web2c/texmf.cnf" 1722610814.59577 475 c0e671620eb5563b2130f56340a5fde8 ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc" 1165713224 4850 80dc9bab7f31fb78a000ccfed0e27cab ""
|
||||
"/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 ""
|
||||
@ -233,11 +233,12 @@
|
||||
"/usr/share/texmf/web2c/texmf.cnf" 1707919699 40399 f2c302f7d2af602abb742093540a5834 ""
|
||||
"/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1722610820.43889 128028 f533b797fba58d231669ea19e894e23e ""
|
||||
"/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1726005817 6800784 2b63e5a224c5ad740802d8f9921962c1 ""
|
||||
"broader-impacts/v1.tex" 1758729133.19877 30 0271c1cc2b90522c90f792d5b925b9ee ""
|
||||
"dane_proposal_format.cls" 1757904657.11823 2553 3bbf169a90a50515ed103fe388c111f0 ""
|
||||
"goals-and-outcomes/v4.tex" 1757896122.20856 5764 a67e489f9ea8343564010d217ae37ec2 ""
|
||||
"main.aux" 1758557140.19536 2118 a57066142aea7c36ef70d6820a019284 "pdflatex"
|
||||
"main.bbl" 1758557112.57993 3170 7f578afdcd1e73f308616474dc5a4003 "bibtex main"
|
||||
"main.tex" 1758556517.96287 224 bb88520482f757f8a407a04cda51ec23 ""
|
||||
"main.aux" 1758729136.04082 2227 483080ce239cef6535179c4c6ee56b2a "pdflatex"
|
||||
"main.bbl" 1758729135.34581 3170 7f578afdcd1e73f308616474dc5a4003 "bibtex main"
|
||||
"main.tex" 1758655691.00804 260 8a2e5bfe0cccd54264b900a26d32df80 ""
|
||||
"research-approach/v2.tex" 1758557109.9037 13747 97ad683c7942f87218a074a6187782d1 ""
|
||||
"state-of-the-art/v2.tex" 1757962977.69875 10918 a65147e24336b6a318bf18223339313e ""
|
||||
(generated)
|
||||
|
||||
@ -467,6 +467,11 @@ INPUT ./research-approach/v2.tex
|
||||
INPUT ./research-approach/v2.tex
|
||||
INPUT ./research-approach/v2.tex
|
||||
INPUT research-approach/v2.tex
|
||||
INPUT ./broader-impacts/v1.tex
|
||||
INPUT ./broader-impacts/v1.tex
|
||||
INPUT ./broader-impacts/v1.tex
|
||||
INPUT ./broader-impacts/v1.tex
|
||||
INPUT broader-impacts/v1.tex
|
||||
INPUT ./main.bbl
|
||||
INPUT ./main.bbl
|
||||
INPUT main.bbl
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.10) 22 SEP 2025 12:05
|
||||
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2024.9.10) 24 SEP 2025 11:52
|
||||
entering extended mode
|
||||
restricted \write18 enabled.
|
||||
file:line:error style messages enabled.
|
||||
@ -892,25 +892,25 @@ Overfull \hbox (1.34416pt too wide) in paragraph at lines 44--48
|
||||
[]\OT1/ptm/m/n/12 FRET em-ploys a spe-cial-ized re-quire-ments lan-guage sim-i-lar to nat-u-ral lan-guage called FRETish.
|
||||
[]
|
||||
|
||||
[6] [7]) [8] [9] (./main.bbl) [10] (./main.aux)
|
||||
[6] [7]) [8] [9] (./broader-impacts/v1.tex) [10] (./main.bbl) [11] (./main.aux)
|
||||
***********
|
||||
LaTeX2e <2023-11-01> patch level 1
|
||||
L3 programming layer <2024-01-22>
|
||||
***********
|
||||
)
|
||||
Here is how much of TeX's memory you used:
|
||||
25417 strings out of 476182
|
||||
527946 string characters out of 5795595
|
||||
25426 strings out of 476182
|
||||
528162 string characters out of 5795595
|
||||
1934975 words of memory out of 5000000
|
||||
46863 multiletter control sequences out of 15000+600000
|
||||
46868 multiletter control sequences out of 15000+600000
|
||||
590786 words of font info for 108 fonts, out of 8000000 for 9000
|
||||
14 hyphenation exceptions out of 8191
|
||||
110i,9n,107p,1008b,285s stack positions out of 10000i,1000n,20000p,200000b,200000s
|
||||
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/symbol/usyr.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
|
||||
Output written on main.pdf (11 pages, 119324 bytes).
|
||||
Output written on main.pdf (12 pages, 119984 bytes).
|
||||
PDF statistics:
|
||||
108 PDF objects out of 1000 (max. 8388607)
|
||||
62 compressed objects within 1 object stream
|
||||
111 PDF objects out of 1000 (max. 8388607)
|
||||
64 compressed objects within 1 object stream
|
||||
0 named destinations out of 1000 (max. 500000)
|
||||
109 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||
|
||||
|
||||
Binary file not shown.
Binary file not shown.
@ -8,6 +8,8 @@
|
||||
\input{state-of-the-art/v2}
|
||||
\newpage
|
||||
\input{research-approach/v2}
|
||||
\newpage
|
||||
\input{broader-impacts/v1}
|
||||
|
||||
\newpage
|
||||
\bibliography{references}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user