Computer Sciences Commons^™

Visualizations For User-Supported State Space Exploration Of Goal Models: Supplemental Material, Yesugen Baatartogtokh, Irene Foster, Alicia M. Grubb

Computer Science: Faculty Publications

Supplemental material for the research paper entitled, "Visualizations for User-supported State Space Exploration of Goal Models". This paper presents a technique for valuation-based filtering and coloring to assist users in understanding a solution space and selecting custom states from it. This supplement contains the data from our initial evaluation and associated models.

Visualizations For User-Supported State Space Exploration Of Requirements Models, Yesugen Baatartogtokh, Irene Foster, Alicia M. Grubb

Computer Science: Faculty Publications

Automated analysis has been used in goal-oriented requirements engineering (GORE) to evaluate scenarios and make trade-off decisions. For higher complexity problems (e.g., backwards analysis), using a search-based solver may be more efficient than custom algorithms. When these black-box solvers produce a single solution, users may be suspicious about whether the given answer is ideal or believable. Users would like to explore the potential solutions but are prevented from doing so because these inquiries often suffer from a state explosion problem. In this RE@Next! paper, we introduce the use of valuation-based filtering and coloring to assist users in understanding a solution …

Playing Unbound: Towards A Radically Intersectional Hci, Johanna Brewer

Computer Science: Faculty Publications

This short essay is a call to action for digital games researchers to positively transform the future of HCI by meaningfully adopting an explicitly intersectional approach to our work as a scholarly community.

Proceedings Of The Tenth Annual Conference On Advances In Cognitive Systems, Jamie C. Macbeth, Leilani Gilpin, Michael T. Cox

Computer Science: Faculty Publications

We hope you will enjoy these proceedings of the Tenth Annual Conference on Advances in Cognitive Systems (ACS). The event was the first hybrid meeting of ACS in is history. It took place virtually via Zoom and physically at George Mason University in Arlington, Virginia, from Saturday, November 19, to Tuesday, November 22, 2022. We are so delighted to be part of continuing this important venue that focuses on the original long-standing goals and challenges of artificial intelligence research. The conference program consisted of 37 papers consisting of ten 30-minute long talks, fifteen 20-minute short talks, twelve posters, three invited …

Saturation And Periodic Self-Stress In Geometric Auxetics, Ciprian S. Borcea, Ileana Streinu

Computer Science: Faculty Publications

The auxetic structures considered in this paper are three-dimensional periodic bar-and-joint frameworks. We start with the specific purpose of obtaining an auxetic design with underlying periodic graph of low valency. Adapting a general methodology, we produce an initial framework with valency seven and one degree of freedom. Then, we describe a saturation process, whereby edge orbits are added up to valency 16, with no alteration of the deformation path. This is reflected in a large dimension for the space of periodic self-stresses. The saturated version has higher crystallographic symmetry and allows a precise description of the deformation trajectory. Reducing saturation …

Digital Intimacy In Real Time: Live Streaming Gender And Sexuality, Bo Ruberg, Johanna Brewer

Computer Science: Faculty Publications

This article serves as the guest editors’ introduction to the Television and New Media special issue dedicated to gender and sexuality in live streaming. Live streaming is a key part of the contemporary digital media landscape; it sits at the center of wide-reaching shifts in how culture, entertainment, and labor are expressed and experienced online today. Gender and sexuality are crucial elements of live streaming. Across live streaming’s many forms, these elements manifest in myriad ways: from gendered performances to gender-based harassment, from LGBTQ community building to real-time sex work. This special issue models an interdisciplinary approach to studying gender …

A Systematic Literature Review Of Requirements Engineering Education, Marian Daun, Alicia M. Grubb, Viktoria Stenkova, Bastian Tenbergen

Computer Science: Faculty Publications

Requirements engineering (RE) has established itself as a core software engineering discipline. It is well acknowledged that good RE leads to higher quality software and considerably reduces the risk of failure or budget-overspending of software development projects. It is of vital importance to train future software engineers in RE and educate future requirements engineers to adequately manage requirements in various projects. To this date, there exists no central concept of what RE education shall comprise. To lay a foundation, we report on a systematic literature review of the feld and provide a systematic map describing the current state of RE …

Auxetic Interval Determination And Experimental Validation For A Three-Dimensional Periodic Framework, Ciprian S. Borcea, Freek G.J. Broeren, Just L. Herder, Ileana Streinu, Volkert Van Der Wijk

Computer Science: Faculty Publications

Auxetic behavior refers to lateral widening upon stretching or, in reverse, lateral shrinking upon compression. When an initially auxetic structure is actuated by compression or extension, it will not necessarily remain auxetic for larger deformations. In this paper, we investigate the auxetic range in the deformation of a periodic framework with one degree of freedom. We use geometric criteria to identify the interval where the deformation is auxetic and validate these theoretical findings with compression experiments on sample structures with (Formula presented.) unit cells.

Novel Primitive Decompositions For Real-World Physical Reasoning, Mackie Zhoou, Bridget Duah, Jamie C. Macbeth

Computer Science: Faculty Publications

In this work, we are concerned with developing cognitive representations that may en- hance the ability for self-supervised learning systems to learn language as part of their world explorations. We apply insights from in-depth language understanding systems to the problem, specifically representations which decompose language inputs into language-free structures that are complex combinations of primitives representing cognitive abstractions such as object permanence, movement, and spatial relationships. These decompositions, performed by a system traditionally called a conceptual analyzer, link words with complex non-linguistic structures that engender the rich relations between language expressions and world exploration that are a familiar aspect of …

Script Combination For Enhanced Story Understanding And Story Generation Systems, Megan Mckenzie, Alexis Kilayko, Jamie C. Macbeth, Scott Carter, Katharine Sieck, Matthew Klenk

Computer Science: Faculty Publications

Scripts, knowledge structures defining sequences of events in stereotypical social situations, were traditionally used to simulate the ways in which people can infer unstated details in understanding a story. In this paper, we describe the MUltiple SCRipt AcTivator (MUSCRAT), and the Script Combination Applier Mechanism (SCAM), significant enhancements of Cullingford’s Script Applier Mechanism which accomplish two novel aims. One system, MUSCRAT, is able to activate more than one script and use them during a story understanding process. The second system, SCAM, uses scripts for story generation, using script variables as “terminals” for combining two or more scripts together to create …

Interleaving A Symbolic Story Generator With A Neural Network-Based Large Language Model, Jingwen Xiang, Zoie Zhao, Mackie Zhou, Megan Mckenzie, Alexis Kilayko, Jamie C. Macbeth, Scott Carter, Katharine Sieck, Matthew Klenk

Computer Science: Faculty Publications

Research in deep learning has recently produced models of natural language that are capable of generating natural language output which, at a glance, has strong similarities to that written by intelligent humans. However, the texts produced by deep learning-based large language models (LLMs), upon deeper examination, reveal the challenges that they have in producing outputs that maintain logical coherence. One specific application area of interest for LLMs is in fictional narrative generation, a mode of operation in which stories are generated by the model in response to a prompt text that indicates the start of a story or the desired …

Three Major Instructional Approaches For Requirements Engineering, Marian Daun, Alicia M. Grubb, Bastian Tenbergen

Computer Science: Faculty Publications

In this talk, we report on our findings from the paper A Survey of Instructional Approaches in the Requirements Engineering Education Literature [DGT21], which has been accepted at and published in the proceedings of the 2021 IEEE International Conference on Requirements Engineering. The paper reports the findings of a systematic literature review to define and investigate the current state of research on requirements engineering education.

A Divide & Concur Approach To Collaborative Goal Modeling With Merge In Early-Re: Supplemental Material, Kathleen R. Hablutzel, Anisha Jain, Alicia M. Grubb

Computer Science: Faculty Publications

Supplemental material for the paper:
"A Divide & Concur Approach to Collaborative Goal Modeling with Merge in Early-RE"
This paper proposes a formal approach to the problem of merging the attributes of intentions and actors, once these elements have been matched.

Characterizing Long Covid: Deep Phenotype Of A Complex Condition, Rachel R. Deer, Madeline A. Rock, Nicole Vasilevsky, Leigh Carmody, Halie Rando, Alfred J. Anzalone, Marc D. Basson, Tellen D. Bennett, Timothy Bergquist, Eilis A. Boudreau, Carolyn T. Bramante, James Brian Byrd, Tiffany J. Callahan, Lauren E. Chan, Haitao Chu, Christopher G. Chute, Ben D. Coleman, Hannah E. Davis, Joel Gagnier, Casey S. Greene, William B. Hillegass, Ramakanth Kavuluru, Wesley D. Kimble, Farrukh M. Koraishy, Sebastian Köhler, Chen Liang, Feifan Liu, Hongfang Liu, Vithal Madhira, Charisse R. Madlock-Brown, Nicolas Matentzoglu, Diego R. Mazzotti

Computer Science: Faculty Publications

Background: Numerous publications describe the clinical manifestations of post-acute sequelae of SARS-CoV-2 (PASC or “long COVID”), but they are difficult to integrate because of heterogeneous methods and the lack of a standard for denoting the many phenotypic manifestations. Patient-led studies are of particular importance for understanding the natural history of COVID-19, but integration is hampered because they often use different terms to describe the same symptom or condition. This significant disparity in patient versus clinical characterization motivated the proposed ontological approach to specifying manifestations, which will improve capture and integration of future long COVID studies.

Methods: The Human Phenotype Ontology …

Identification And Development Of Therapeutics For Covid-19, Halie M. Rando, Nils Wellhausen, Soumita Ghosh, Alexandra J. Lee, Anna Ada Dattoli, Fengling Hu, James Brian Byrd, Diane N. Rafizadeh, Ronan Lordan, Yanjun Qi, Yuchen Sun, Christian Brueffer, Jeffrey M. Field, Marouen Ben Guebila, Nafisa M. Jadavji, Ashwin N. Skelly, Bharath Ramsundar, Jinhui Wang, Rishi Raj Goel, Yoson Park, Simina M. Boca, Anthony Gitter, Casey S. Greene

Computer Science: Faculty Publications

After emerging in China in late 2019, the novel coronavirus severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) spread worldwide, and as of mid- 2021, it remains a significant threat globally. Only a few coronaviruses are known to infect humans, and only two cause infections similar in severity to SARS-CoV-2: Severe acute respiratory syndrome-related coronavirus, a species closely related to SARS-CoV-2 that emerged in 2002, and Middle East respiratory syndrome-related coronavirus, which emerged in 2012. Unlike the current pandemic, previous epidemics were controlled rapidly through public health measures, but the body of research investigating severe acute respiratory syndrome and Middle East …

Pathogenesis, Symptomatology, And Transmission Of Sars-Cov-2 Through Analysis Of Viral Genomics And Structure, Halie M. Rando, Adam L. Maclean, Alexandra J. Lee, Ronan Lordan, Sandipan Ray, Vikas Bansal, Ashwin N. Skelly, Elizabeth Sell, John J. Dziak, Lamonica Shinholster, Lucy D’Agostino Mcgowan, Marouen Ben Guebila, Nils Wellhausen, Sergey Knyazev, Simina M. Boca, Stephen Capone, Yanjun Qi, Yo Son Park, David Mai, Yuchen Sun, Joel D. Boerckel, Christian Brueffer, James Brian Byrd, Jeremy P. Kamil, Jinhui Wang, Ryan Velazquez, Gregory L. Szeto, John P. Barton, Rishi Raj Goel, Serghei Mangul, Tiago Lubiana, Anthony Gitter

Computer Science: Faculty Publications

The novel coronavirus SARS-CoV-2, which emerged in late 2019, has since spread around the world and infected hundreds of millions of people with coronavirus disease 2019 (COVID-19). While this viral species was unknown prior to January 2020, its similarity to other coronaviruses that infect humans has allowed for rapid insight into the mechanisms that it uses to infect human hosts, as well as the ways in which the human immune system can respond. Here, we contextualize SARS-CoV-2 among other coronaviruses and identify what is known and what can be inferred about its behavior once inside a human host. Because the …

Infinitesimal Periodic Deformations And Quadrics, Ciprian S. Borcea, Ileana Streinu

Computer Science: Faculty Publications

We describe a correspondence between the infinitesimal deformations of a periodic bar-and-joint framework and periodic arrangements of quadrics. This intrinsic correlation provides useful geometric characteristics. A direct consequence is a method for detecting auxetic deformations, identified by a pattern consisting of homothetic ellipsoids. Examples include frameworks with higher crystallographic symmetry.

Combinatorial Resultants In The Algebraic Rigidity Matroid, Goran Malić, Ileana Streinu

Computer Science: Faculty Publications

Motivated by a rigidity-theoretic perspective on the Localization Problem in 2D, we develop an algorithm for computing circuit polynomials in the algebraic rigidity matroid CMn associated to the Cayley-Menger ideal for n points in 2D. We introduce combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in the algebraic rigidity matroid. We show that every rigidity circuit has a construction tree from K4 graphs based on this operation. Our algorithm performs an algebraic elimination guided by the construction tree, and uses classical resultants, factorization and ideal membership. To demonstrate its effectiveness, we …

Combinatorial Resultants In The Algebraic Rigidity Matroid, Goran Malić, Ileana Streinu

Computer Science: Faculty Publications

Motivated by a rigidity-theoretic perspective on the Localization Problem in 2D, we develop an algorithm for computing circuit polynomials in the algebraic rigidity matroid CMn associated to the Cayley-Menger ideal for n points in 2D. We introduce combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in the algebraic rigidity matroid. We show that every rigidity circuit has a construction tree from K4 graphs based on this operation. Our algorithm performs an algebraic elimination guided by the construction tree, and uses classical resultants, factorization and ideal membership. To demonstrate its effectiveness, we …

Dietary Supplements And Nutraceuticals Under Investigation For Covid-19 Prevention And Treatment, Ronan Lordan, Halie M. Rando, Casey S. Greene, Vikas Bansal, John P. Barton, Simina M. Boca, Christian Brueffer, James Brian Byrd, Stephen Capone, Shikta Das, Anna Ada Dattoli, John J. Dziak, Jeffrey M. Field, Soumita Ghosh, Anthony Gitter, Rishi Raj Goel, Marouen Ben Guebila, Fengling Hu, Nafisa M. Jadavji, Sergey Knyazev, Likhitha Kolla, Alexandra J. Lee, Tiago Lubiana, Temitayo Lukan, Adam L. Maclean, David Mai, Serghei Mangul, David Manheim, Lucy D.Agostino Mcgowan, Yoson Park, Dimitri Perrin, Yanjun Qi

Computer Science: Faculty Publications

Coronavirus disease 2019 (COVID-19) has caused global disruption and a significant loss of life. Existing treatments that can be repurposed as prophylactic and therapeutic agents may reduce the pandemic’s devastation. Emerging evidence of potential applications in other therapeutic contexts has led to the investigation of dietary supplements and nutraceuticals for COVID-19. Such products include vitamin C, vitamin D, omega 3 polyunsaturated fatty acids, probiotics, and zinc, all of which are currently under clinical investigation. In this review, we critically appraise the evidence surrounding dietary supplements and nutraceuticals for the prophylaxis and treatment of COVID-19. Overall, further study is required before …

Periodic Tilings And Auxetic Deployments, Ciprian S. Borcea, Ileana Streinu

Computer Science: Faculty Publications

We investigate geometric characteristics of a specific planar periodic framework with three degrees of freedom. While several avatars of this structural design have been considered in materials science under the name of chiral or missing rib models, all previous studies have addressed only local properties and limited deployment scenarios. We describe the global configuration space of the framework and emphasize the geometric underpinnings of auxetic deformations. Analogous structures may be considered in arbitrary dimension.

Formal Reasoning For Analyzing Goal Models That Evolve Over Time, Alicia M. Grubb, Marsha Chechik

Computer Science: Faculty Publications

No abstract provided.

Sequencing Red Fox Y Chromosome Fragments To Develop Phylogenetically Informative Snp Markers And Glimpse Male-Specific Trans-Pacific Phylogeography, Benjamin N. Sacks, Zachary T. Lounsberry, Halie M. Rando, Kristopher Kluepfel, Steven R. Fain, Sarah K. Brown, Anna V. Kukekova

Computer Science: Faculty Publications

The red fox (Vulpes vulpes) has a wide global distribution with many ecotypes and has been bred in captivity for various traits, making it a useful evolutionary model system. The Y chromosome represents one of the most informative markers of phylogeography, yet it has not been well-studied in the red fox due to a lack of the necessary genomic resources. We used a target capture approach to sequence a portion of the red fox Y chromosome in a geographically diverse red fox sample, along with other canid species, to develop single nucleotide polymorphism (SNP) markers, 13 of which we validated …

An Open-Publishing Response To The Covid-19 Infodemic, Halie M. Rando, Simina M. Boca, Lucy D.Agostino Mcgowan, Daniel S. Himmelstein, Michael P. Robson, Vincent Rubinetti, Ryan Velazquez, Casey S. Greene, Anthony Gitter

Computer Science: Faculty Publications

The COVID-19 pandemic catalyzed the rapid dissemination of papers and preprints investigating the disease and its associated virus, SARS-CoV-2. The multifaceted nature of COVID-19 demands a multidisciplinary approach, but the urgency of the crisis combined with the need for social distancing measures present unique challenges to collaborative science. We applied a massive online open publishing approach to this problem using Manubot. Through GitHub, collaborators summarized and critiqued COVID-19 literature, creating a review manuscript. Manubot automatically compiled citation information for referenced preprints, journal publications, websites, and clinical trials. Continuous integration workflows retrieved up-to-date data from online sources nightly, regenerating some of …

Four Opportunities For Se Ethics Education, Alicia M. Grubb

Computer Science: Faculty Publications

Many software engineers direct their talents to- wards software systems which do not fall into traditional definitions of safety critical systems, but are integral to society (e.g., social media, expert advisor systems). While codes of ethics can be a useful starting point for ethical discussions, codes are often limited in scope to professional ethics and may not offer answers to individuals weighing competing ethical priorities. In this paper, we present our vision for improving ethics education in software engineering. To do this, we consider current and past curricular recommendations, as well as recent efforts within the broader computer science community. …

Towards A Generic Method For Articulating Design Uncertainty, Mouna Dhaouadi, Kate M. B. Spencer, Megan H. Varnum, Alicia M. Grubb, Michalis Famelis

Computer Science: Faculty Publications

Modelers encounter different kinds of uncertainty in their designs and models of software systems. One such type concerns uncertainty about how to build a model. This is called design-time uncertainty, and existing research has studied how modelers can work in its presence. However, the process by which they come to elicit and express their uncertainties remains unclear. In this paper, we take steps towards addressing this gap by introducing DRUIDE (Design and Requirements Uncertainty Integrated Development Environment), a language and workflow for articulating design time uncertainty. We present and illustrate our proposal on a software design example. Additionally, we conduct …

Vertex-Transplants On A Convex Polyhedron, Joseph O'Rourke

Computer Science: Faculty Publications

No abstract provided.

Some Polycubes Have No Edge Zipper Unfolding, Erik D. Demaine, Martin L. Demaine, David Eppstein, Joseph O'Rourke

Computer Science: Faculty Publications

It is unknown whether every polycube (polyhedron constructed by gluing cubes face-to-face) has an edge unfolding, that is, cuts along edges of the cubes that unfolds the polycube to a single nonoverlapping polygon in the plane. Here we construct polycubes that have no edge zipper unfolding where the cut edges are further restricted to form a path.

Inclusion At Scale: Deploying A Community-Driven Moderation Intervention On Twitch, Johanna Brewer, Morgan Romine, T. L. Taylor

Computer Science: Faculty Publications

Harassment, especially of marginalized individuals, on networked gaming and social media platforms has been identified as a significant issue, yet few HCI practitioners have attempted to create interventions tackling toxicity online. Aligning ourselves with the growing cohort of design activists, we present a case study of the GLHF pledge, an interactive public awareness campaign promoting positivity in video game live streaming. We discuss the design and deployment of a community-driven moderation intervention for GLHF, intended to empower the inclusive communities emerging on Twitch. After offering a preliminary report on the effects we have observed based on the more than 370,000 …

High Performance Computing Education: Current Challenges And Future Directions, Rajendra K. Raj, Carol J. Romanowski, John Impagliazzo, Sherif G. Aly, Brett A. Becker, Juan Chen, Sheikh Ghafoor, Nasser Giacaman, Steven I. Gordon, Cruz Izu, Shahram Rahimi, Michael P. Robson, Neena Thota

Computer Science: Faculty Publications

High Performance Computing (HPC) is the ability to process data and perform complex calculations at extremely high speeds. Current HPC platforms can achieve calculations on the order of quadrillions of calculations per second, with quintillions on the horizon. The past three decades witnessed a vast increase in the use of HPC across different scientific, engineering, and business communities on problems such as sequencing the genome, predicting climate changes, designing modern aerodynamics, or establishing customer preferences. Although HPC has been well incorporated into science curricula such as bioinformatics, the same cannot be said for most computing programs. Computing educators are only …