Expertini Research Research

Browse Research Papers

61+ open-access research outputs.

✕ Clear
🔍 natsuki masuda 📂 Computer Science
Showing 61 results for "natsuki masuda" in Computer Science
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

Equational and Inductive Reasoning for Maude in Athena

Mateo Sanabria, Carlos Varela, Camilo Rocha, Nicolas Cardozo · 2026

In the rewriting logic framework, equational-based specifications are used to define deterministic functional behavior, abstract data types, and canonical representations of data. These specifications…

Read Paper →
Computer Science Preprint PDF DOI

Entangled happily ever after: Wedding reception seating mapped to classical and quantum optimizers

Karie A. Nicholas, Vikram Khipple Mulligan · 2026

Although optimization is one of the most promising applications of quantum computers, the development of effective optimization strategies requires real-world test cases. When planning our recent wedd…

Read Paper →
Computer Science Preprint PDF DOI

Diffusion Denoiser Achievable Analysis for Finite Blocklength Unsourced Random Access

Yuming Han, Yuxin Long · 2026

Polyanskiy proposed a framework for the unsourced multiple access channel (MAC) problem where users employ a common codebook in the finite blocklength regime. However, existing approaches handle chann…

Read Paper →
Computer Science Preprint PDF DOI

Ledger-State Stigmergy: A Formal Framework for Indirect Coordination Grounded in Distributed Ledger State

Fernando Paredes Garcia · 2026

Autonomous software agents on blockchains solve distributed-coordination problems by reading shared ledger state instead of exchanging direct messages. Liquidation keepers, arbitrage bots, and other a…

Read Paper →
Computer Science Preprint PDF DOI

Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems

Joud Khoury, Minyoung Kim, Christophe Merlin, Jose Meseguer, Zachary Ratliff, Carolyn Talcott · 2026

Hidden communication systems (HCS) embed covert messages within ordinary network activity to hide the presence of communication. In practice, the undetectability of an HCS is typically evaluated using…

Read Paper →
Computer Science Preprint PDF DOI

JASDA: Introducing Job-Aware Scheduling in Scheduler-Driven Job Atomization

Michal Konopa, Jan Fesl, Ladislav Ber anek (Faculty of Agriculture, Technology, University of South Bohemia) · 2025

The increasing complexity and temporal variability of workloads on MIG-enabled GPUs challenge the scalability of traditional centralized scheduling. Building upon the SJA concept, this paper introduce…

Read Paper →
Computer Science Preprint PDF DOI

Mayura: Exploiting Similarities in Motifs for Temporal Co-Mining

Sanjay Sri Vallabh Singapuram, Ronald Dreslinski, Nishil Talati · 2025

Temporal graphs serve as a critical foundation for modeling evolving interactions in domains ranging from financial networks to social media. Mining temporal motifs is essential for applications such …

Read Paper →
Computer Science Preprint PDF DOI

ASDA: Audio Spectrogram Differential Attention Mechanism for Self-Supervised Representation Learning

Junyu Wang, Tianrui Wang, Meng Ge, Longbiao Wang, Jianwu Dang · 2025

In recent advancements in audio self-supervised representation learning, the standard Transformer architecture has emerged as the predominant approach, yet its attention mechanism often allocates a po…

Read Paper →
Computer Science Preprint PDF DOI

Graph Neural Networks Based Analog Circuit Link Prediction

Guanyuan Pan, Tiansheng Zhou, Jianxiang Zhao, Zhi Li, Yugui Lin, Bingtao Ma, Yaqi Wang, Pietro Lio, Shuai Wang · 2025

Circuit link prediction, which identifies missing component connections from incomplete netlists, is crucial in analog circuit design automation. However, existing methods face three main challenges: …

Read Paper →
Computer Science Preprint PDF DOI

On the existence of EFX allocations in multigraphs

Alkmini Sgouritsa, Minas Marios Sotiriou · 2025

We study the problem of "fairly" dividing indivisible goods to several agents that have valuation set functions over the sets of goods. As fair we consider the allocations that are envy-free up to any…

Read Paper →
Computer Science Preprint PDF DOI

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization

Farid Arfi (IMT Atlantique), Helene Coullon (IMT Atlantique), Frederic Loulergue (University of Orleans), Jolan Philippe (IMT Atlantique), Simon Robillard (University of Montpellier) · 2024

We propose an overview of the decentralized reconfiguration language Concerto-D through its Maude formalization. Concerto-D extends the already published Concerto language. Concerto-D improves on two …

Read Paper →
Computer Science Preprint PDF DOI

Benchmarking Harmonized Tariff Schedule Classification Models

Bryce Judy · 2024

The Harmonized Tariff System (HTS) classification industry, essential to e-commerce and international trade, currently lacks standardized benchmarks for evaluating the effectiveness of classification …

Read Paper →
Computer Science Preprint PDF DOI

Masala-CHAI: A Large-Scale SPICE Netlist Dataset for Analog Circuits by Harnessing AI

Jitendra Bhandari, Vineet Bhat, Yuheng He, Hamed Rahmani, Siddharth Garg, Ramesh Karri · 2024

Masala-CHAI is a fully automated framework leveraging large language models (LLMs) to generate Simulation Programs with Integrated Circuit Emphasis (SPICE) netlists. It addresses a long-standing chall…

Read Paper →
Computer Science Preprint PDF DOI

High-Dimensional Geometric Streaming for Nearly Low Rank Data

Hossein Esfandiari, Vahab Mirrokni, Praneeth Kacham, David P. Woodruff, Peilin Zhong · 2024

We study streaming algorithms for the $\ell_p$ subspace approximation problem. Given points $a_1, \ldots, a_n$ as an insertion-only stream and a rank parameter $k$, the $\ell_p$ subspace approximation…

Read Paper →
Computer Science Preprint PDF DOI

Optimal bounds for $\ell_p$ sensitivity sampling via $\ell_2$ augmentation

Alexander Munteanu, Simon Omlor · 2024

Data subsampling is one of the most natural methods to approximate a massively large data set by a small representative proxy. In particular, sensitivity sampling received a lot of attention, which sa…

Read Paper →
Computer Science Preprint PDF DOI

Acceso abierto en Argentina: una propuesta para el monitoreo de las publicaciones cient\'ificas con OpenAlex

Carolina Unzurrunzaga, Carolina Monti, Gaston Zalba, Juan Pablo Alperin · 2024

This study proposes a methodology using OpenAlex (OA) for tracking Open Access publications in the case of Argentina, a country where a self-archiving mandate has been in effect since 2013 ( Law 26.89…

Read Paper →
Computer Science Preprint PDF DOI

LaPuda: LLM-Enabled Policy-Based Query Optimizer for Multi-modal Data

Yifan Wang, Haodi Ma, Daisy Zhe Wang · 2024

Large language model (LLM) has marked a pivotal moment in the field of machine learning and deep learning. Recently its capability for query planning has been investigated, including both single-modal…

Read Paper →
Computer Science Preprint PDF DOI

The Maude strategy language

Steven Eker, Narciso Marti-Oliet, Jose Meseguer, Ruben Rubio, Alberto Verdejo · 2024

Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this formalism that allows …

Read Paper →
Computer Science Preprint PDF DOI

Ontologia para monitorar a defici\^encia mental em seus d\'eficts no processamento da informa\c{c}\~ao por decl\'inio cognitivo e evitar agress\~oes psicol\'ogicas e f\'isicas em ambientes educacionais com ajuda da I.A*

Bruna Araujo de Castro Oliveira · 2024

The intention of this article is to propose the use of artificial intelligence to detect through analysis by UFO ontology the emergence of verbal and physical aggression related to psychosocial defici…

Read Paper →
Page 1 of 4 Next →