skip to main content

Attention:

The NSF Public Access Repository (NSF-PAR) system and access will be unavailable from 11:00 PM ET on Friday, July 12 until 2:00 AM ET on Saturday, July 13 due to maintenance. We apologize for the inconvenience.


Title: Interactive Demonstrations and Hands-On Use of thenet.science Cyberinfrastructure for Network Science Chairs’ Welcome and Tutorial Summary
Networks are readily identifiable in many aspects of society: cellular telephone networks and social networks are two common examples. Networks are studied within many academic disciplines. Consequently, a large body of (open-source) software is being produced to perform computations on networks. A cyberinfrastructure for network science, called net.science, is being built to provide a computational platform and resource for both producers and consumers of networks and software tools. This tutorial is a hands-on demonstration of some of net.science’s features.  more » « less
Award ID(s):
1916805
NSF-PAR ID:
10300369
Author(s) / Creator(s):
; ; ;
Date Published:
Journal Name:
13th ACM Web Science Conference 2021
Page Range / eLocation ID:
137 to 137
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Network representations of socio-physical systems are ubiquitous, examples being social (media) networks and infrastructure networks like power transmission andwater systems. The many software tools that analyze and visualize networks, and carry out simulations on them, require different graph formats. Consequently, it is important to develop software for converting graphs that are represented in a given source format into a required representation in a destination format. For network-based computations, graph conversion is a key capability that facilitates interoperability among software tools. This paper describes such a system called GraphTrans to convert graphs among different formats. This system is part of a new cyberinfrastructure for network science called net.science. We present the GraphTrans system design and implementation, results from a performance evaluation, and a case study to demonstrate its utility. 
    more » « less
  2. Vuong, Son ; Hwang, Jenq-Neng (Ed.)
    Accurate population counts are essential for understanding the status of species and for researchers studying various phenomena including monitoring the relationship between environmental stresses and the spread of disease within populations. Both small roosts and large colonies of bats provide challenges when attempting to determine an accurate population count. Recently, there have been a number of new video analysis software applications, that are available on the internet, which can be used to provide population counts. When software-based counts are compared with manual counts, the software provides counts that are substantially less labor intensive, determined substantially more quickly, and have the potential to be more accurate. This short paper discusses the use of neural networks to determine the number of bats that there are in a region when multiple bats may overlap. The work discussed in this manuscript demonstrates that the counts of multiple overlapping bats can be improved using trained neural networks. This is a critical improvement for providing accurate counts in high density videos. This manuscript contains the biological motivations, and a brief overview of how artificial intelligence is being implemented. The results discussed compare the accuracy values of neural networks for a few case studies including cross-comparisons of data trained on different video types and for different animals which can have accuracy values above 90 % for comparable video types. Finally, the generation and use of synthetic images, to increase the amount of data in a training set, is also discussed, which resulted in a trained neural network that produced an accuracy value of 80% on 12 unbiased categories. 
    more » « less
  3. null (Ed.)
    Multi-Agent Path Finding (MAPF) is the combinatorial problem of finding collision-free paths for multiple agents on a graph. This paper describes MAPF-based software for solving train planning and replanning problems on large-scale rail networks under uncertainty. The software recently won the 2020 Flatland Challenge, a NeurIPS competition trying to determine how to efficiently manage dense traffic on rail networks. The software incorporates many state-of-the-art MAPF or, in general, optimization technologies, such as prioritized planning, large neighborhood search, safe interval path planning, minimum communication policies, parallel computing, and simulated annealing. It can plan collision-free paths for thousands of trains within a few minutes and deliver deadlock-free actions in real-time during execution. 
    more » « less
  4. This article surveys the landscape of security verification approaches and techniques for computer systems at various levels: from a software-application level all the way to the physical hardware level. Different existing projects are compared, based on the tools used and security aspects being examined. Since many systems require both hardware and software components to work together to provide the system’s promised security protections, it is not sufficient to verify just the software levels or just the hardware levels in a mutually exclusive fashion. This survey especially highlights system levels that are verified by the different existing projects and presents to the readers the state of the art in hardware and software system security verification. Few approaches come close to providing full-system verification, and there is still much room for improvement.

     
    more » « less
  5. null (Ed.)
    Artificial intelligence and neuromorphic computing driven by neural networks has enabled many applications. Software implementations of neural networks on electronic platforms are limited in speed and energy efficiency. Neuromorphic photonics aims to build processors in which optical hardware mimic neural networks in the brain. 
    more » « less