Expertini Research Research

Browse Research Papers

6,980+ open-access research outputs.

✕ Clear
🔍 bin zhang 📂 Computer Science
Showing 6980 results for "bin zhang" in Computer Science
Computer Science Preprint PDF DOI

Synthetic Biological Intelligence: System-Level Abstractions and Adaptive Bio-Digital Interaction

Martin Schottlender, Pengjie Zhou, Veronika Volkova, Fatima Rani, Ruifeng Zheng, Juan A. Cabrera, Frank H.P. Fitzek, Pit Hofmann · 2026

Concurrent advances across fields such as organoid technology, Microelectrode Arrays (MEAs), neuromorphic computing, and machine learning have given rise to a groundbreaking research paradigm: Synthet…

Read Paper →
Computer Science Preprint PDF DOI

Can Cross-Layer Design Bridge Security and Efficiency? A Robust Authentication Framework for Healthcare Information Exchange Systems

Khalid M. Ezzat, Muhammad El-Saba, Mahmoud A. Shawky · 2026

As healthcare systems become increasingly interconnected, ensuring secure and continuous device authentication in health information exchange (HIE) networks is critical to safeguarding patient data an…

Read Paper →
Computer Science Preprint PDF DOI

Do E-Scooter Speed Governance Policies Reduce Harsh Acceleration and Deceleration? Evidence from 19.5 Million Trips Around a Regulatory Ban

Seongjin Choi, Sunbin Yoo, Sugie Lee · 2026

Do e-scooter speed governance policies yield behavioral safety gains beyond the mechanical cap they impose? A firmware ceiling mechanically prevents speeding, but whether the same riders also generate…

Read Paper →
Computer Science Preprint PDF DOI

Hardware Generation and Exploration of Lookup Table-Based Accelerators for 1.58-bit LLM Inference

Robin Geens, Joran Heldens, Joren Dumoulin, Marian Verhelst · 2026

Ternary weight quantization (e.g., BitNet b1.58) offers a promising path to mitigate the memory bandwidth bottleneck in Large Language Model (LLM) inference. However, conventional compute platforms la…

Read Paper →
Computer Science Preprint PDF DOI

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware

Ray Iskander, Khaled Kirah · 2026

Barrett reduction is the nonlinear core of every practical NTT-based post-quantum cryptography implementation. Existing composition frameworks (ISW, t-SNI, PINI, DOM) address Boolean masking over GF(2…

Read Paper →
Computer Science Preprint PDF DOI

Single-Source Shortest Paths and Almost Exact Diameter in Pseudodisk Graphs

Mark de Berg, Bart M.P. Jansen, Jeroen S.K. Lamme · 2026

We study SINGLE-SOURCE SHORTEST PATH (SSSP) on unweighted intersection graphs whose node set corresponds to a set of $n$ constant-complexity objects in the plane. We prove SSSP can be solved in $O(U(n…

Read Paper →
Computer Science Preprint PDF DOI

Approximating Energy-Constrained Drone Delivery Packing Problem for Last-Mile Logistics

Saswata Jana, Partha Sarathi Mandal · 2026

Collaboration between drones and trucks in a last-mile delivery system offers numerous benefits and reduces many challenges of the traditional delivery system. Here, we introduce Drone-Delivery Packin…

Read Paper →
Computer Science Preprint PDF DOI

Entrywise Low-Rank Approximation and Matrix $p \rightarrow q$ Norms via Global Correlation Rounding

Prashanti Anderson, Ainesh Bakshi, Samuel B. Hopkins · 2026

Given a matrix $A$, the goal of the entrywise low-rank approximation problem is to find $\operatorname{argmin} \|A-B\|_p$ over all rank-$k$ matrices $B$, where $\| \cdot \|_p$ is the entrywise $\ell_p…

Read Paper →
Computer Science Preprint PDF DOI

LaissezCloud: Continuous Resource Renegotiation for the Public Cloud

Tejas Harith, Antoine Kaufmann · 2026

Public clouds increasingly expose heterogeneous hardware, but their allocation interface remains built around rigid on-demand and spot service classes. This makes it hard to satisfy time-varying tenan…

Read Paper →
Computer Science Preprint PDF DOI

R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability

Yifei Wang, Jacky Keung, Xiaoxue Ma, Zhenyu Mao, Kehui Chen, Yishu Li · 2026

Accurate requirement-to-code traceability is crucial for software maintenance. However, existing IR- and embedding-based methods are heavily dependent on lexical similarity, often yielding incomplete …

Read Paper →
Computer Science Preprint PDF DOI

ECCFROG522PP: An Enhanced 522 bit Weierstrass Elliptic Curve

Victor Duarte Melo · 2026

This paper presents ECCFROG522PP, a 522-bit prime-field elliptic curve in short Weierstrass form, designed with a focus on deterministic generation and public reproducibility. The central design princ…

Read Paper →
Computer Science Preprint PDF DOI

Minimum Energy per Bit of Unsourced Multiple Access with Location-Based Codebook Partitioning

Deekshith Pathayappilly Krishnan, Kaan Okumus, Khac-Hoang Ngo, Giuseppe Durisi · 2026

We derive finite-blocklength bounds on the minimum achievable energy per bit over a Gaussian unsourced multiple access (UMA) channel in the presence of heterogeneous path-loss conditions. We consider …

Read Paper →
Computer Science Preprint PDF DOI

Scientific tools and Innovation: Big Science Facilities Yield More Novel and Interdisciplinary Knowledge

Mingze Zhang, Yizhan Li, Yutong Li, Zexia Li · 2026

Scientific tools dictate the boundaries of human knowledge, serving as the foundation for perceptions and explorations. In the era of Big Science, science are increasingly dependent on advanced analyt…

Read Paper →
Computer Science Preprint PDF DOI

Near-Codewords Aware Bit Flipping Decoding of QC-MDPC Codes

Alessio Baldelli, Marco Baldi, Davide De Zuane, Paolo Santini · 2026

Bit-Flipping (BF) decoders are a family of decoders widely employed in post-quantum cryptographic schemes based on Quasi-Cyclic Moderate-Density Parity-Check (QC-MDPC) codes, such as BIKE. BF decoders…

Read Paper →
Computer Science Preprint PDF DOI

Enabling AI ASICs for Zero Knowledge Proof

Jianming Tong, Jingtian Dang, Simon Langowski, Tianhao Huang, Asra Ali, Jeremy Kun, Jevin Jiang, Srinivas Devadas, Tushar Krishna · 2026

Zero-knowledge proof (ZKP) provers remain costly because multi-scalar multiplication (MSM) and number-theoretic transforms (NTTs) dominate runtime as they need significant computation. AI ASICs such a…

Read Paper →
Computer Science Preprint PDF DOI

Bit-Flip Vulnerability of Shared KV-Cache Blocks in LLM Serving Systems

Yuji Yamamoto, Satoshi Matsuura · 2026

Rowhammer on GPU DRAM has enabled adversarial bit flips in model weights; shared KV-cache blocks in LLM serving systems present an analogous but previously unexamined target. In vLLM's Prefix Caching,…

Read Paper →
Computer Science Preprint PDF DOI

Constant-Factor Approximations for Doubly Constrained Fair k-Center, k-Median and k-Means

Nicole Funk, Annika Hennes, Johanna Hillebrand, Sarah Sturm · 2026

We study discrete k-clustering problems in general metric spaces that are constrained by a combination of two different fairness conditions within the demographic fairness model. Given a metric space …

Read Paper →
Computer Science Preprint PDF DOI

CoopEval: Benchmarking Cooperation-Sustaining Mechanisms and LLM Agents in Social Dilemmas

Emanuel Tewolde, Xiao Zhang, David Guzman Piedrahita, Vincent Conitzer, Zhijing Jin · 2026

It is increasingly important that LLM agents interact effectively and safely with other goal-pursuing agents, yet, recent works report the opposite trend: LLMs with stronger reasoning capabilities beh…

Read Paper →
Computer Science Preprint PDF DOI

Explicit Constant-Alphabet Subspace Design Codes

Rohan Goyal, Venkatesan Guruswami, Jun-Ting Hsieh · 2026

The subspace design property for additive codes is a higher-dimensional generalization of the minimum distance property. As shown recently by Brakensiek, Chen, Dhar and Zhang, it implies that the code…

Read Paper →
Computer Science Preprint PDF DOI

CMOS-integrated superparamagnetic tunnel junction-based p-bit

Ju-Young Yoon, Nuno Cacoilo, Advait Madhavan, Jabez J. McClelland, Shun Kanai, Hideo Ohno, Shunsuke Fukami, William A. Borders · 2026

Probabilistic computers offer promising solutions for computationally hard problems in domains such as combinatorial optimization and machine learning. A key building block in these systems is the pro…

Read Paper →
Page 1 of 349 Next →