skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: GraphTrans: A Software System for Network Conversions for Simulation, Structural Analysis, and Graph Operations
Networkrepresentationsofsocio-physicalsystemsareubiquitous,examplesbeingsocial(media)networks and infrastructurenetworkslikepowertransmissionandwatersystems.Themanysoftwaretoolsthatanalyze and visualizenetworks,andcarryoutsimulationsonthem,requiredifferentgraphformats.Consequently, it isimportanttodevelopsoftwareforconvertinggraphsthatarerepresentedinagivensourceformatintoa required representationinadestinationformat.Fornetwork-basedcomputations,graphconversionisakey capability thatfacilitatesinteroperabilityamongsoftwaretools.Thispaperdescribessuchasystemcalled GraphTrans to convertgraphsamongdifferentformats.Thissystemispartofanewcyberinfrastructure for networksciencecalled net.science. Wepresentthe GraphTrans system designandimplementation, results fromaperformanceevaluation,andacasestudytodemonstrateitsutility.  more » « less
Award ID(s):
1916805
PAR ID:
10376928
Author(s) / Creator(s):
; ; ; ;
Date Published:
Journal Name:
2021 Winter Simulation Conference (WSC)
Page Range / eLocation ID:
1 to 12
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    This presentation poster summarizes the recruitment efforts, insights gained, and lessons learned through the VolsTeach for Appalachia project that focuses on recruiting and preparing community college students in becoming STEM teachers in East Tennessee. 
    more » « less
  2. Abstract Quantum technologies are poised to move the foundational principles of quantum physics to the forefront of applications. This roadmap identifies some of the key challenges and provides insights on material innovations underlying a range of exciting quantum technology frontiers. Over the past decades, hardware platforms enabling different quantum technologies have reached varying levels of maturity. This has allowed for first proof-of-principle demonstrations of quantum supremacy, for example quantum computers surpassing their classical counterparts, quantum communication with reliable security guaranteed by laws of quantum mechanics, and quantum sensors uniting the advantages of high sensitivity, high spatial resolution, and small footprints. In all cases, however, advancing these technologies to the next level of applications in relevant environments requires further development and innovations in the underlying materials. From a wealth of hardware platforms, we select representative and promising material systems in currently investigated quantum technologies. These include both the inherent quantum bit systems and materials playing supportive or enabling roles, and cover trapped ions, neutral atom arrays, rare earth ion systems, donors in silicon, color centers and defects in wide-band gap materials, two-dimensional materials and superconducting materials for single-photon detectors. Advancing these materials frontiers will require innovations from a diverse community of scientific expertise, and hence this roadmap will be of interest to a broad spectrum of disciplines. 
    more » « less
  3. Beyersdorff, Olaf; Kanté, Mamadou Moustapha; Kupferman, Orna; Lokshtanov, Daniel (Ed.)
    Given a set P of n points and a set S of n segments in the plane, we consider the problem of computing for each segment of S its closest point in P. The previously best algorithm solves the problem in n^{4/3}2^{O(log^*n)} time [Bespamyatnikh, 2003] and a lower bound (under a somewhat restricted model) Ω(n^{4/3}) has also been proved. In this paper, we present an O(n^{4/3}) time algorithm and thus solve the problem optimally (under the restricted model). In addition, we also present data structures for solving the online version of the problem, i.e., given a query segment (or a line as a special case), find its closest point in P. Our new results improve the previous work. 
    more » « less
  4. Large language models (LLMs) demonstrate impressive reasoning abilities, but translating reasoning into actions in the real world remains challenging. In particular, it is unclear how to complete a given task provably within a minimum number of interactions with the external environment, e.g., through an internal mechanism of reasoning. To this end, we propose the first framework with provable regret guarantees to orchestrate reasoning and acting, which we call “reason for future, act for now” (RAFA). Specifically, we design a prompt template for reasoning that learns from the memory buffer and plans a future trajectory over a long horizon (“reason for future”). At each step, the LLM agent takes the initial action of the planned trajectory (“act for now”), stores the collected feedback in the memory buffer, and reinvokes the reasoning routine to replan the future trajectory from the new state. The key idea is to cast reasoning in LLMs as learning and planning in Bayesian adaptive Markov decision processes (MDPs). Correspondingly, we prompt LLMs with the memory buffer to estimate the unknown environment (learning) and generate an optimal trajectory for multiple future steps that maximize a value function (planning). The learning and planning subroutines are performed in an “incontext” manner to emulate the actor-critic update for MDPs. Our theoretical analysis establishes a √T regret, while our experimental validation demonstrates superior empirical performance. Here, T denotes the number of online interactions. 
    more » « less
  5. Freeform optical surfaces offer significant design opportunities but pose new challenges in metrology and manufacturing. Evolution in optics manufacturing processes have changed the surface spatial frequencies that must be measured. Optical surface definition is expected to be with respect to fiducials and datums which must be realizable at all stages of manufacture; uncertainty in that realization becomes important in some cases. Concurrent engineering is required, but appropriate data has not been collated for use by optical designers. One approach to providing such data is described. 
    more » « less