Buchumschlag

DIRNT Artifact: corresponding to our SPIN 2026 paper "Recurrence-seeking Tests for Non-termination"

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Metta, Ravindra, Karmarkar, Hrishikesh, Madhukar, Kumar
Format:	Recurso digital
Veröffentlicht:	Zenodo 2026
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A shallow dive into the depths of non-termination checking for C programs
von: Metta, Ravindra, et al.
Veröffentlicht: (2024)

Microfilming of the Texas Women: A Celebration of History Exhibit Archives in the Texas Woman's University Library.
von: Nicewarner, Metta
Veröffentlicht: (1988)

Nuclear Education Update.
von: Winter, Metta L.
Veröffentlicht: (1986)

Neumonías cavitadas por Pneumocystis jiroveci (ex carinii): Características clínicas y diagnóstico por imágenes en tres pacientes
von: Humberto A. Metta
Veröffentlicht: (2006)

Food Fortification Ineffective in Preventing Neural Tube Defects in India due to Regulation Promoting Inadequate Levels of Folic Acid and Vitamin B12
von: Vijaya Kancherla, et al.
Veröffentlicht: (2025)

ECO-Branding: Consumer Responses to Sustainability Claims in Advertising
von: Karmarkar, Gayatree Anand
Veröffentlicht: (2026)

Achieving Community Borrower Compliance with an Urban University Library's Circulation Policies: One University's Solution.
von: Nicewarner, Metta, et al.
Veröffentlicht: (1996)

New Axioms for Dependence Measurement and Powerful Tests
von: Vinod, Hrishikesh D
Veröffentlicht: (2024)

SPIN AND RELATIVITY: A SEMICLASSICAL MODEL FOR ELECTRON SPIN
von: Héctor Torres-Silva
Veröffentlicht: (2008)

Webinar offers tips on grant‐seeking for 2026
Veröffentlicht: (2025)

Webinar offers tips on grant‐seeking for 2026
Veröffentlicht: (2025)

Response to David Steigmann's discussion of our paper
von: Duong, Thang X., et al.
Veröffentlicht: (2024)

Learning Approximate Nash Equilibria in Cooperative Multi-Agent Reinforcement Learning via Mean-Field Subsampling
von: Anand, Emile, et al.
Veröffentlicht: (2026)

A linear-time algorithm to compute the conjugate of nonconvex bivariate piecewise linear-quadratic functions
von: Karmarkar, Tanmaya, et al.
Veröffentlicht: (2025)

Effect of spacing and pruning on growth, yield and quality of cv. Deanna fig (Ficus carica L.)
von: Ravindra Kumar
Veröffentlicht: (2014)

LEGO: HPCA2026 Artifact Evaluation
von: Han, Zhao, et al.
Veröffentlicht: (2025)

We The People Of Bharat: Constitutional Identity, Democratic Challenges And Future Pathways
von: Neve, Sunil Madhukar
Veröffentlicht: (2025)

Delays in publication of 2026 papers
von: David B. Elliott
Veröffentlicht: (2026)

TestLoc Artifact
von: Chen, Yang
Veröffentlicht: (2026)

The Garland W Clay Award: Celebrating our best papers
von: David B. Elliott
Veröffentlicht: (2025)

Artifact for "Optimism in Equality Saturation" (PLDI 2026)
von: Arbore, Russel, et al.
Veröffentlicht: (2026)

Efficient Adversarial Input Generation via Neural Net Patching
von: Khan, Tooba, et al.
Veröffentlicht: (2022)

Differential ML with a Difference
von: Glasserman, Paul, et al.
Veröffentlicht: (2025)

SPIN-FERT Newsletter No3
von: FASSF / Art & Science Node
Veröffentlicht: (2026)

SPIN-FERT: E-NOSE
von: FASSF / Art & Science Node
Veröffentlicht: (2026)

SPIN-FERT Newsletter No2
von: FASSF / Art & Science Node
Veröffentlicht: (2025)

SPIN-FERT Newsletter No1
von: FASSF / Art & Science Node
Veröffentlicht: (2024)

SPIN: Spacecraft Imagery for Navigation
von: Montalvo, Javier, et al.
Veröffentlicht: (2024)

Artifact for TOSEM paper: Exploring Development Methods for Reactive Synthesis Specifications
von: Ma'ayan, Dor, et al.
Veröffentlicht: (2025)

Optimizing the Sulfur Loading in Microporous Carbon Aerogel Host for High‐Performance Lithium/Sulfur Battery Cathode
von: Ravindra Kumar Bhardwaj
Veröffentlicht: (2025)

GIS ‐Based Platform for Near Real‐Time Prediction of Mosquito Distribution
von: Madhukar Kuchavaram, et al.
Veröffentlicht: (2025)

Dialysis Jeopardy!
von: Shreepriya Mangalgi, et al.
Veröffentlicht: (2024)

Sociological and Literary Profile of Indo-American Diaspora
von: Dr Mangesh Madhukar Gore
Veröffentlicht: (2018)

Manju Kapur’s Shagun: Conflict between Individual Freedom and Patriarchy Dr. M
von: Dr. Mangesh Madhukar Gore
Veröffentlicht: (2017)

European Medicines Agency seeks stakeholders' views on its reflection paper on patient experience data
von: Rosa Gonzalez‐Quevedo, et al.
Veröffentlicht: (2025)

Artifact of the paper: CSGC: Collaborative File System Garbage Collection with Computational Storage
von: Pu, Jin, et al.
Veröffentlicht: (2025)

Artifact for paper: Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
von: Nicola, Mihai, et al.
Veröffentlicht: (2025)

Artifact of the paper 'Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation'
von: Schuster, Philipp, et al.
Veröffentlicht: (2025)

Harnessing Quantum Entanglement: Comprehensive Strategies for Enhanced Communication and Beyond in Quantum Networks
von: Bhuyan, Amit Kumar, et al.
Veröffentlicht: (2024)

Quantum Communication: From Fundamentals to Recent Trends, Challenges and Open Problems
von: Dutta, Hrishikesh, et al.
Veröffentlicht: (2024)