Merge pull request #243 from MyersResearchGroup/add_grant_numbers

Add grant numbers
MyersResearchGroup · Dec 18, 2024 · caf2798 · caf2798
2 parents 65e1900 + 9315cbb
commit caf2798
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/content/authors/FLUENT/_index.md b/content/authors/FLUENT/_index.md
@@ -63,3 +63,5 @@ user_groups:
 ---
 
 This research aims at advancing probabilistic verification techniques for the rigorous design of dependable systems in synthetic biology and nanotechnology. Major goals of the project include the following. First, scale up stochastic model checking with efficient and accurate state space truncation techniques. Secondly, investigate practical stochastic counterexample generation techniques and utilize them to improve the accuracy of the state reductions. Thirdly, derive automated guidance mechanisms learned from stochastic counterexamples to improve the quality and efficiency of rare-event stochastic simulations. Lastly, integrate our proposed framework within existing state-of-the-art stochastic model checking tools, PRISM and STORM; and evaluate the proposed methodology on a wide range of case studies derived from synthetic biology and nanotechnology applications. The combination of these methods into this new methodology is being explored for the first time. Altogether, this research will improve the accuracy of analysis of infinite state stochastic systems with rare-event properties.
+
+This project was supported by National Science Foundation Grants No. 1856740. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the funding agencies.
diff --git a/content/authors/SD2/_index.md b/content/authors/SD2/_index.md
@@ -63,3 +63,6 @@ SD2E began as the DARPA SD2 program Environment for enabling advanced scientific
 SD2E now serves SD2 and other related data-driven scientific programs.  SD2E consists of this web-portal; a web-based research workbench, a RESTful APIs (Tapis) and function-as-a-service (Abaco) linking computational applications and workflows with command line access and control via web-portal; high performance advanced computational and data storage hardware; and the skilled personnel supporting scientists in their use of the computational resources.  Additional tools incorporated into SD2E include JupyterHub, Gitlab, Jenkins, Redash, and Synbiohub. Access control to data and software is maintained at multiple levels, allowing private user-only access during initial testing, followed by project level shared access, and finally publishing capabilities.
 
 SD2E is managed by the Texas Advanced Computing Center (TACC), where many of the world’s most powerful research computing resources are designed and operated.  More information on TACC resources can be found <a href=" https://www.tacc.utexas.edu" target="_blank">here</a>.
+
+
+This project was supported by DARPA FA8750-17-C-0229. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the funding agencies.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -63,3 +63,5 @@ user_groups:
		---

		This research aims at advancing probabilistic verification techniques for the rigorous design of dependable systems in synthetic biology and nanotechnology. Major goals of the project include the following. First, scale up stochastic model checking with efficient and accurate state space truncation techniques. Secondly, investigate practical stochastic counterexample generation techniques and utilize them to improve the accuracy of the state reductions. Thirdly, derive automated guidance mechanisms learned from stochastic counterexamples to improve the quality and efficiency of rare-event stochastic simulations. Lastly, integrate our proposed framework within existing state-of-the-art stochastic model checking tools, PRISM and STORM; and evaluate the proposed methodology on a wide range of case studies derived from synthetic biology and nanotechnology applications. The combination of these methods into this new methodology is being explored for the first time. Altogether, this research will improve the accuracy of analysis of infinite state stochastic systems with rare-event properties.

		This project was supported by National Science Foundation Grants No. 1856740. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the funding agencies.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -63,3 +63,6 @@ SD2E began as the DARPA SD2 program Environment for enabling advanced scientific
		SD2E now serves SD2 and other related data-driven scientific programs. SD2E consists of this web-portal; a web-based research workbench, a RESTful APIs (Tapis) and function-as-a-service (Abaco) linking computational applications and workflows with command line access and control via web-portal; high performance advanced computational and data storage hardware; and the skilled personnel supporting scientists in their use of the computational resources. Additional tools incorporated into SD2E include JupyterHub, Gitlab, Jenkins, Redash, and Synbiohub. Access control to data and software is maintained at multiple levels, allowing private user-only access during initial testing, followed by project level shared access, and finally publishing capabilities.

		SD2E is managed by the Texas Advanced Computing Center (TACC), where many of the world’s most powerful research computing resources are designed and operated. More information on TACC resources can be found <a href=" https://www.tacc.utexas.edu" target="_blank">here</a>.


		This project was supported by DARPA FA8750-17-C-0229. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the funding agencies.