The following pages link to Ryosuke Sato (Q365066):
Displaying 20 items.
- O(\(N\)) invariance of the multi-field bounce (Q683011) (← links)
- Erratum to: ``O(\(N\)) invariance of the multi-field bounce'' (Q683152) (← links)
- The pattern of eigenfrequencies of overtones of torsional oscillations of a layered spherical shell (Q1251133) (← links)
- Composite accidental axions (Q1638687) (← links)
- Predicate abstraction and CEGAR for disproving termination of higher-order functional programs (Q1702897) (← links)
- Relation between the rate of convergence of strong law of large numbers and the rate of concentration of Bayesian prior in game-theoretic probability (Q1747783) (← links)
- Axion fragmentation on the lattice (Q2085216) (← links)
- Symbolic automatic relations and their applications to SMT and CHC solving (Q2145347) (← links)
- Asynchronous unfold/fold transformation for fixpoint logic (Q2163155) (← links)
- Inductive limits of compact quantum groups and their unitary representations (Q2242426) (← links)
- Quantized Vershik-Kerov theory and quantized central measures on branching graphs (Q2317977) (← links)
- Chiral anomaly and Schwinger effect in non-abelian gauge theories (Q2421117) (← links)
- Automatically disproving fair termination of higher-order functional programs (Q2985774) (← links)
- Modular Verification of Higher-Order Functional Programs (Q2988670) (← links)
- Characters of infinite-dimensional quantum classical groups: BCD cases (Q5037868) (← links)
- ALP dark matter from kinetic fragmentation: opening up the parameter window (Q5044789) (← links)
- Polyhedral Clinching Auctions for Two-Sided Markets (Q5076699) (← links)
- Type classification of extreme quantized characters (Q5135925) (← links)
- ICE-based refinement type discovery for higher-order functional programs (Q5919002) (← links)
- ICE-based refinement type discovery for higher-order functional programs (Q5919615) (← links)
