123 citations
- Cleveland State UniversityUS8 papers
- Emory UniversityUS3 papers
- New Mexico State UniversityUS3 papers
- Drexel UniversityUS2 papers
- University of PennsylvaniaUS2 papers
- Wayne State UniversityUS2 papers
- Abdus Salam Centre for PhysicsPK1 paper
- Bandung Institute of TechnologyID1 paper
- Bryn Mawr CollegeUS1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- City College of New YorkUS1 paper
- École Nationale de l’Aviation CivileFR1 paper
36 papers
Dark Matter-Driven Low-Scale Leptogenesis via Neutrino Portal
Suresh Chand, Avnish, Poulose Poulose
We propose a novel framework for low-scale leptogenesis within an extension of the Standard Model (SM) that includes three SU(2) singlet right-handed neutrinos, a singlet charged n…
Global Sensitivity Analysis for Engineering Design Based on Individual Conditional Expectations
Pramudita Satria Palar, Paul Saves, Rommel G. Regis +4
Explainable machine learning techniques have gained increasing attention in engineering applications, especially in aerospace design and analysis, where understanding how input var…
Stirring supercooled colloidal liquids at the particle scale
Piotr Habdas, Eric R. Weeks
We study the decay of tangential velocity profiles with distance from a local disturbance in hard-sphere colloidal suspensions as the colloidal glass transition is approached. The…
Explanations for Answer Set Programming
Mario Alviano, Ly Ly Trieu, Tran Cao Son +1
The paper presents an enhancement of xASP, a system that generates explanation graphs for Answer Set Programming (ASP). Different from xASP, the new system, xASP2, supports differe…
Hopper flows of deformable particles
Y. Cheng, J. D. Treado, B. Lonial +4
Numerous experimental and computational studies show that continuous hopper flows of granular materials obey the Beverloo equation that relates the volume flow rate and the ori…
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules
Ly Ly Trieu, Tran Cao Son, Marcello Balduccini
We present an enhancement of exp(ASP), a system that generates explanation graphs for a literal l - an atom a or its default negation ~a - given an answer set A of a normal logic p…