Expertini Research Research

Browse Research Papers

10,308+ open-access research outputs.

โœ• Clear
๐Ÿ” bin cui ๐Ÿ“‚ Computer Science
Showing 10308 results for "bin cui" 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

Agentic AI in the Software Development Lifecycle: Architecture, Empirical Evidence, and the Reshaping of Software Engineering

Happy Bhati ยท 2026

The arrival of large language models (LLMs) capable of multi-step reasoning, tool use, and long-horizon planning has produced a qualitative shift in software engineering. Where earlier code-completionโ€ฆ

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

Beyond Isolated Utterances: Cue-Guided Interaction for Context-Dependent Conversational Multimodal Understanding

Zhaoyan Pan, Hengyang Zhou, Xiangdong Li, Yuning Wang, Ye Lou, Jiatong Pan, Ji Zhou, Wei Zhang ยท 2026

Conversational multimodal understanding aims to infer the meaning or label of the current utterance from its preceding dialogue context together with textual, acoustic, and visual signals. Existing meโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Generative UI as an Accessibility Bridge: Lessons from C2C E-Commerce

Bektur Ryskeldiev ยท 2026

Web accessibility rests on static standards and developer compliance. That model frays in platforms where content is user-generated: photos arrive blurry or off-frame, descriptions skip size and condiโ€ฆ

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

The Blahut--Arimoto Algorithm as a Dynamical System with Exact $\chi^2$ Dissipation

Qiao Wang ยท 2026

This paper uncovers an exact $\chi^2$ dissipation identity for the Blahut--Arimoto (BA) flow and establishes its fundamental information-geometric structure. While prior works have analyzed BA convergโ€ฆ

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

Sensing-Assisted Secure Communication in MA-Aided ISAC: CRB Analysis and Robust Design

Yaxuan Chen, Guangchi Zhang, Miao Cui, Hao Fu, Qingqing Wu, Rui Zhang ยท 2026

A core challenge in physical-layer security is the difficulty of obtaining the channel state information (CSI) of potential eavesdroppers. The inherent sensing functionality of integrated sensing and โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

DRL-Based Antenna Position Optimization For MA-Assisted OTFS System Under Imperfect CSI

Maoyuan Wang, Qian Zhang, Yufei Zhao, Xuejun Cheng, Zheng Dong, Deqiang Wang, Yong Liang Guan ยท 2026

In this paper, we introduce movable antenna (MA) technology into orthogonal time frequency space (OTFS) systems to enable wavelength-level antenna position optimization under imperfect channel state iโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Branch Landing: Bloom Filter-Based Source Authorization for Forward-Edge CFI on RISC-V

You Wu, Peter Beerel ยท 2026

Jump-Oriented Programming (JOP) attacks exploit indirect control transfers to bypass backward-edge defenses, yet existing forward-edge CFI mechanisms lack precise source-domain authorization: type-basโ€ฆ

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

Point & Grasp: Flexible Selection of Out-of-Reach Objects Through Probabilistic Cue Integration

Xuejing Luo, Hee-Seung Moon, Christian Holz, Antti Oulasvirta ยท 2026

Selecting out-of-reach objects is a fundamental task in mixed reality (MR). Existing methods rely on a single cue or deterministically fuse multiple cues, leading to performance degradation when the dโ€ฆ

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

Null-Space Flow Matching for MIMO Channel Estimation in Latency-Constrained Systems

Junjie Zhao, Guangming Liang, Dongzhu Liu, Xiaonan Liu ยท 2026

Accurate yet low-latency channel state information (CSI) acquisition is essential for multiple-input multiple-output (MIMO) communication systems. While advanced deep generative models, such as score-โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Characterizing Streaming Decidability of CSPs via Non-Redundancy

Amatya Sharma, Santhoshini Velusamy ยท 2026

We study the single-pass streaming complexity of deciding satisfiability of Constraint Satisfaction Problems (CSPs). A CSP is specified by a constraint language $\Gamma$, that is, a finite set of $k$-โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking

Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang ยท 2026

The IC3 algorithm represents the state-of-the-art (SOTA) hardware model checking technique, owing to its robust performance and scalability. A significant body of research has focused on enhancing theโ€ฆ

Read Paper โ†’
Page 1 of 516 Next โ†’