7 papers
Bridging the Sim-to-Real Gap in Semiconductor Visual Program Synthesis via Input Binarization
Yusuke Ohtsubo, Kota Dohi, Koichiro Yawata +2
Precise parametric control over circuit geometry is essential for semiconductor inspection, yet obtaining sufficient real training data remains costly. Although generative models s…
Data-driven oscillator model for multi-frequency turbulent flows
Youngjae Kim, Koichiro Yawata, Hiroya Nakao +1
The complex dynamics of high-dimensional oscillatory flows can be simplified using phase-reduction analysis, providing a deeper understanding of the flow response to external pertu…
Hypergraph Neural Networks Accelerate MUS Enumeration
Hiroya Ijima, Koichiro Yawata
Enumerating Minimal Unsatisfiable Subsets (MUSes) is a fundamental task in constraint satisfaction problems (CSPs). Its major challenge is the exponential growth of the search spac…
LaSTR: Language-Driven Time-Series Segment Retrieval
Kota Dohi, Harsh Purohit, Tomoya Nishida +6
Effectively searching time-series data is essential for system analysis, but existing methods often require expert-designed similarity criteria or rely on global, series-level desc…
Global Phase Synchronization Decoupled from Amplitude Dynamics
Koichiro Yawata, Hiroya Nakao
The Kuramoto model is a canonical framework for analyzing phase synchronization, yet its utility is restricted to the vicinity of the oscillator's unperturbed limit cycle. Here, we…
Data-driven phase control for limit-cycle oscillators under partial observation
Koichiro Yawata, Norihisa Namura, Yuzuru Kato +1
Controlling rhythmic systems, typically modeled as limit-cycle oscillators, is an important subject in real-world problems. Phase reduction theory, which simplifies the multidimens…