413 citations
- University of MinnesotaUS8 papers
- Indiana University BloomingtonUS5 papers
- Indiana UniversityUS4 papers
- The Ohio State UniversityUS4 papers
- The University of Texas at AustinUS3 papers
- University of Illinois Urbana-ChampaignUS3 papers
- Aix-Marseille UniversitéFR2 papers
- Arizona State UniversityUS2 papers
- Brookhaven National LaboratoryUS2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Columbia UniversityUS2 papers
- Cornell UniversityUS2 papers
38 papers
ABDA-NL: A Natural-Language Scenario Explorer for Argument-Based Reasoning
Shawn Bowers, Martin Caminada, Haoyang Liu +1
ABDA-NL adds a natural-language interface to ABDA, a system for argument-based discussion using ASPIC- knowledge bases under grounded semantics. Users see which conclusions are acc…
BSN-VII: Photometric Light Curve Study of Three Cool, Large-Amplitude, Low Mass, W-Subtype Contact Binaries
Atila Poro, Raul Michel, Diana Zadkhosh +9
We present a comprehensive photometric study of three W UMa-type contact binary systems, V1104 Her, V1284 Her, and V2822 Ori, based on a combination of ground-based observations an…
Downward conditional monotonicity gives survival and extinction for contact processes in random environments
Joseph P. Stover
The concept of downward conditional monotonicity for the Markov-modulated Poisson process (MMPP) is introduced and used to derive the optimal stochastic domination of a standard Po…
Characterization of Trees with Maximum Security
Alex S. A. Alochukwu, Audace A. V. Dossou-Olory, Fadekemi J. Osaye +5
The rank (also known as protection number or leaf-height) of a vertex in a rooted tree is the minimum distance between the vertex and any of its leaf descendants. We consider the s…
ProveRAG: Provenance-Driven Vulnerability Analysis with Automated Retrieval-Augmented LLMs
Reza Fayyazi, Stella Hoyos Trueba, Michael Zuzak +1
In cybersecurity, security analysts constantly face the challenge of mitigating newly discovered vulnerabilities in real-time, with over 300,000 vulnerabilities identified since 19…
On the Structure of Game Provenance and its Applications
Shawn Bowers, Yilin Xia, Bertram Ludäscher
Provenance in databases has been thoroughly studied for positive and for recursive queries, then for first-order (FO) queries, i.e., having negation but no recursion. Query evaluat…