Expertini Research Research

Browse Research Papers

727+ open-access research outputs.

✕ Clear
🔍 jonathan ullman 📂 Computer Science
Showing 727 results for "jonathan ullman" in Computer Science
Computer Science Preprint PDF DOI

Exact Dynamic Programming for Solow--Polasky Diversity Subset Selection on Lines and Staircases

Michael T.M. Emmerich · 2026

We study exact fixed-cardinality Solow--Polasky diversity subset selection on ordered finite $\ell_1$ sets, with monotone biobjective Pareto fronts and their higher-dimensional staircase analogues as …

Read Paper →
Computer Science Preprint PDF DOI

Solving Positive Linear Programs with Differential Privacy

Alina Ene, Huy Le Nguyen, Ta Duy Nguyen, Adrian Vladu · 2026

We study differentially private approximation algorithms for positive linear programs (LPs with nonnegative coefficients and variables), focusing on the fundamental families of packing, covering, and …

Read Paper →
Computer Science Preprint PDF DOI

Digital Twin-assisted belief-state reinforcement learning for latency-robust ISAC in 6G networks

Himanshu Tiwari, Binayak Kar, Priyanshu Tiwari · 2026

Integrated Sensing and Communication (ISAC) enables joint data transmission and environmental perception for sixth-generation (6G) networks, but centralized and virtualized RAN control loops introduce…

Read Paper →
Computer Science Preprint PDF DOI

Layer 2 Blockchains Simplified: A Survey of Vector Commitment Schemes, ZKP Frameworks, Layer-2 Data Structures and Verkle Trees

Ekleen Kaur, Marko Suvajdzic · 2026

Layer-2 (L2) protocols address the fundamental limitations of Layer-1 (L1) blockchains by offloading computation while anchoring trust to the parent chain. This architectural shift, while boosting thr…

Read Paper →
Computer Science Preprint PDF DOI

CHRONOS: A Hardware-Assisted Phase-Decoupled Framework for Secure Federated Learning in IoT

Hung Dang · 2026

We propose CHRONOS, a hardware-assisted framework that decouples the cryptographic setup required for private gradient aggregation from the active training phase. CHRONOS executes a once-per-epoch ser…

Read Paper →
Computer Science Preprint PDF DOI

Bayesian experimental design: grouped geometric pooled posterior via ensemble Kalman methods

Huchen Yang, Xinghao Dong, Jinlong Wu · 2026

Bayesian experimental design (BED) for complex physical systems is often limited by the nested inference required to estimate the expected information gain (EIG) or its gradients. Each outer sample in…

Read Paper →
Computer Science Preprint PDF DOI

Beyond Covariance: Generative Spatial Correlation Modeling and Channel Interpolation for Fluid Antenna Systems

Zhentian Zhang, Hao Jiang, Kai-Kit Wong, Hyundong Shin, Ross Murch · 2026

Fluid antenna systems (FAS) enable unprecedented spatial diversity within a compact form factor by flexibly switching among high-density antenna ports. To activate this capability, channel state infor…

Read Paper →
Computer Science Preprint PDF DOI

Locality, Not Spectral Mixing, Governs Direct Propagation in Distributed Offline Dynamic Programming

Ibne Farabi Shihab · 2026

We study the communication complexity of distributed offline dynamic programming, where a fixed batch dataset is partitioned across (M) machines connected by the data-induced dependency graph. We comp…

Read Paper →
Computer Science Preprint PDF DOI

Improved space-time tradeoff for TSP via extremal set systems

Justin Dallant, Laszlo Kozma · 2026

The traveling salesman problem (TSP) is a cornerstone of combinatorial optimization and has deeply influenced the development of algorithmic techniques in both exact and approximate settings. Yet, imp…

Read Paper →
Computer Science Preprint PDF DOI

AlertStar: Path-Aware Alert Prediction on Hyper-Relational Knowledge Graphs

Zahra Makki Nayeri, Mohsen Rezvani · 2026

Cyber-attacks continue to grow in scale and sophistication, yet existing network intrusion detection approaches lack the semantic depth required for path reasoning over attacker-victim interactions. W…

Read Paper →
Computer Science Preprint PDF DOI

PARD-SSM: Probabilistic Cyber-Attack Regime Detection via Variational Switching State-Space Models

Prakul Sunil Hiremath, PeerAhammad M Bagawan, Sahil Bhekane · 2026

Modern adversarial campaigns unfold as sequences of behavioural phases - Reconnaissance, Lateral Movement, Intrusion, and Exfiltration - each often indistinguishable from legitimate traffic when viewe…

Read Paper →
Computer Science Preprint PDF DOI

Quantum-Safe Code Auditing: LLM-Assisted Static Analysis and Quantum-Aware Risk Scoring for Post-Quantum Cryptography Migration

Animesh Shaw · 2026

The impending arrival of cryptographically relevant quantum computers (CRQCs) threatens the security foundations of modern software: Shor's algorithm breaks RSA, ECDSA, ECDH, and Diffie-Hellman, while…

Read Paper →
Computer Science Preprint PDF DOI

Testing Sparse Functions over the Reals

Vipul Arora, Arnab Bhattacharyya, Philips George John, Sayantan Sen · 2026

Over the last three decades, function testing has been extensively studied over Boolean, finite fields, and discrete settings. However, to encode the real-world applications more succinctly, function …

Read Paper →
Computer Science Preprint PDF DOI

The Ice Sheet State and Parameter Estimator (ICESEE) Library (v1.0.0): Ensemble Kalman Filtering for Ice Sheet Models

Brian Kyanjo, Talea L. Mayo, Alexander A. Robel · 2026

ICESEE (ICE Sheet statE and parameter Estimator) is a Python-based, open-source data assimilation framework designed for seamless integration with ice sheet and Earth system models. It implements a pa…

Read Paper →
Computer Science Preprint PDF DOI

Resource Allocation in Strategic Adversarial Interactions: Colonel Blotto Games and Their Applications in Control Systems

Keith Paarporn, Rahul Chandan, Mahnoosh Alizadeh, Jason R. Marden · 2026

Resource allocation under strategic adversarial constraints represents a fundamental challenge in control systems, from cybersecurity defense to infrastructure protection. While game-theoretic framewo…

Read Paper →
Computer Science Preprint PDF DOI

IPsec based on Quantum Key Distribution: Adapting non-3GPP access to 5G Networks to the Quantum Era

Asier Atutxa, Ane Sanz, Eire Salegi, Gaizka Gonzalez, Jasone Astorga, Eduardo Jacob · 2026

The advent of quantum computing will pose great challenges to the current communication systems, requiring essential changes in the establishment of security associations in traditional architectures.…

Read Paper →
Computer Science Preprint PDF DOI

LLMAR: A Tuning-Free Recommendation Framework for Sparse and Text-Rich Industrial Domains

Ryogo Hishikawa, Ichiro Kataoka, Shinya Yuda · 2026

Industrial B2B applications (e.g., construction site risk prediction, material procurement) face extreme data sparsity yet feature rich textual interactions. In such environments, traditional ID-based…

Read Paper →
Computer Science Preprint PDF DOI

LLMON: An LLM-native Markup Language to Leverage Structure and Semantics at the LLM Interface

Michael Hind, Basel Shbita, Bo Wu, Farhan Ahmed, Chad DeLuca, Nathan Fulton, David Cox, Dan Gutfreund · 2026

Textual Large Language Models (LLMs) provide a simple and familiar interface: a string of text is used for both input and output. However, the information conveyed to an LLM often has a richer structu…

Read Paper →
Computer Science Preprint PDF DOI

IMMSched: Interruptible Multi-DNN Scheduling via Parallel Multi-Particle Optimizing Subgraph Isomorphism

Boran Zhao, Hetian Liu, Zihang Yuan, Yanbin Hu, Wenzhe Zhao, Tian Xia, Pengju Ren · 2026

The growing demand for multi-DNN workloads with unpredictable task arrival times has highlighted the need for interruptible scheduling on edge accelerators. However, existing preemptive frameworks typ…

Read Paper →
Computer Science Preprint PDF DOI

To be FAIR or RIGHT? Methodological [R]esearch [I]ntegrity [G]iven [H]uman-facing [T]echnologies using the example of Learning Technologies

Julian Dehne · 2026

Quality assessment of Research Software Engineering (RSE) plays an important role in all scientific fields. From the canonical three criteria (reliability, validity, and objectivity) previous resear…

Read Paper →
Page 1 of 37 Next →