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: Applicability Study of the PRIMAD Model to LIGO Gravitational Wave Search Workflows
The PRIMAD model with its six components (i.e., Platform, Research Objective, Implementation, Methods, Actors, and Data) provides an abstract taxonomy to represent computational experiments and promote reproducibility by design. In this paper, we employ a post-hoc assessment of the model applicability to a set of Laser Interferometer Gravitational-Wave Observatory (LIGO) workflows from literature sources (i.e., published papers). Our work outlines potential advantages and limitations of the model in terms of its levels of abstraction and means of application.  more » « less
Award ID(s):
1823385 1841399
PAR ID:
10155423
Author(s) / Creator(s):
; ; ; ; ; ;
Date Published:
Journal Name:
2nd International Workshop on Practical Reproducible Evaluation of Computer Systems (P-RECS'19)
Page Range / eLocation ID:
1 to 6
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. This paper introduces a new invariant extended Kalman filter design that produces real-time state estimates and rapid error convergence for the estimation of the human body movement even in the presence of sensor misalignment and initial state estimation errors. The filter fuses the data returned by an inertial measurement unit (IMU) attached to the body (e.g., pelvis or chest) and a virtual measurement of zero stance-foot velocity (i.e., leg odometry). The key novelty of the proposed filter lies in that its process model meets the group affine property while the filter explicitly addresses the IMU placement error by formulating its stochastic process model as Brownian motions and incorporating the error in the leg odometry. Although the measurement model is imperfect (i.e., it does not possess an invariant observation form) and thus its linearization relies on the state estimate, experimental results demonstrate fast convergence of the proposed filter (within 0.2 seconds) during squatting motions even under significant IMU placement inaccuracy and initial estimation errors. 
    more » « less
  2. We consider Byzantine consensus in a synchronous system where nodes are connected by a network modeled as a directed graph, i.e., communication links between neighboring nodes are not necessarily bi-directional. The directed graph model is motivated by wireless networks wherein asymmetric communication links can occur. In the classical point-to-point communication model, a message sent on a communication link is private between the two nodes on the link. This allows a Byzantine faulty node to equivocate, i.e., send inconsistent information to its neighbors. This paper considers the local broadcast model of communication, wherein transmission by a node is received identically by all of its outgoing neighbors, effectively depriving the faulty nodes of the ability to equivocate. Prior work has obtained sufficient and necessary conditions on undirected graphs to be able to achieve Byzantine consensus under the local broadcast model. In this paper, we obtain tight conditions on directed graphs to be able to achieve Byzantine consensus with binary inputs under the local broadcast model. The results obtained in the paper provide insights into the trade-off between directionality of communication links and the ability to achieve consensus. 
    more » « less
  3. We consider the online scheduling problem of moldable task graphs on multiprocessor systems for minimizing the overall completion time (or makespan). Moldable job scheduling has been widely studied in the literature, in particular when tasks have dependencies (i.e., task graphs) or when tasks are released on-the-fly (i.e., online). However, few studies have focused on both (i.e., online scheduling of moldable task graphs). In this article, we design a new online scheduling algorithm for this problem and derive constant competitive ratios under several common yet realistic speedup models (i.e., roofline, communication, Amdahl, and a general combination). These results improve the ones we have shown in the preliminary version of the article. We also prove, for each speedup model, a lower bound on the competitiveness of any online list scheduling algorithm that allocates processors to a task based only on the task’s parameters and not on its position in the graph. This lower bound matches exactly the competitive ratio of our algorithm for the roofline, communication, and Amdahl’s model, and is close to the ratio for the general model. Finally, we provide a lower bound on the competitive ratio of any deterministic online algorithm for the arbitrary speedup model, which is not constant but depends on the number of tasks in the longest path of the graph. 
    more » « less
  4. Abstract Phenological synchrony enables species to occur when conditions are optimal for survival. While phenological synchrony between butterflies and their host plants has been extensively documented, the importance of phenology in maintaining interspecies interactions, such as mimicry, is less understood. Mimicry occurs when a species (i.e. the mimic) evolves a phenotypic resemblance to an unpalatable species (i.e. the model), resulting in protection against predation for the mimic. Theory predicts that in Batesian mimicry systems, models should appear seasonally before their mimics to give predators sufficient time to learn, recognize, and avoid their aposematic signal (i.e. model-first hypothesis). Here, we use citizen science data from iNaturalist to test these long-standing predictions. To understand how mimicry influences the evolution of different phenological strategies, we estimate onset phenology in two systems: the defended model species Battus philenor and its classic Batesian mimic Limenitis arthemis astyanax, and the more complex system consisting of Mullerian co-mimics Danaus plexippus and Limenitis archippus. Our results support the model-first hypothesis and demonstrate that unpalatable models appear significantly before their mimics across large geographical scales. This research highlights a new avenue for utilizing large-scale citizen science datasets to address long-standing questions about how phenology impacts complex ecological interactions. 
    more » « less
  5. We give a survey on the current developments of the embeddability problem of a Levi non-degenerate hypersurface into its model, i.e., hyerquadrics.We also formulate and study a local sums-of-squares problem, and make connections with the embeddability problem. 
    more » « less