大学 × 全分野
総合研究大学院大学
全分野 / 2021–2025 確定版
掲載論文 45 本
論文一覧
45 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
分野をまたぐ同一論文も1本です。総合ポイントは、分野別順位に基づく別の指標です。
2025年
- Pattern Matching under Weighted Edit Distance
掲載ID:
doi:10.1109/focs63196.2025.00102 - Decay of Correlation for Edge Colorings When q > 3Δ
掲載ID:
doi:10.4230/lipics.icalp.2025.54 - Initial Algebra Correspondence under Reachability Conditions
掲載ID:
doi:10.1109/lics65433.2025.00013 - Graph-Based Attention for Differentiable MaxSAT Solving
掲載ID:
neurips:2025:c91f7bda67609db0f19fd5edaccc9693 - T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints
掲載ID:
neurips:2025:7dbdf006424e7749c8a35913d3574c4e - A Unifying Approach to Product Constructions for Quantitative Temporal Inference
掲載ID:
doi:10.1145/3720501 - On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs
掲載ID:
doi:10.1145/3763184 - Thrust: A Prophecy-Based Refinement Type System for Rust
掲載ID:
doi:10.1145/3729333 - Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs
掲載ID:
doi:10.1145/3704914 - From Graph Properties to Graph Parameters: Tight Bounds for Counting on Small Subgraphs
掲載ID:
doi:10.1137/1.9781611978322.121 - Near-Optimal-Time Quantum Algorithms for Approximate Pattern Matching
掲載ID:
doi:10.1137/1.9781611978322.15
2024年
- BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change
掲載ID:
doi:10.1609/aaai.v38i9.28941 - Memory Asymmetry Creates Heteroclinic Orbits to Nash Equilibrium in Learning in Zero-Sum Games
掲載ID:
doi:10.1609/aaai.v38i16.29688 - Compositional Value Iteration with Pareto Caching
掲載ID:
doi:10.1007/978-3-031-65633-0_21 - Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
掲載ID:
doi:10.1007/978-3-031-65633-0_13 - Waiting Time Perceptions for Faster Count-downs/ups Are More Sensitive Than Slower Ones: Experimental Investigation and Its Application
掲載ID:
doi:10.1145/3613904.3641942 - Abstracting Effect Systems for Algebraic Effect Handlers
掲載ID:
doi:10.1145/3674641 - Density Ratio Estimation with Doubly Strong Robustness
掲載ID:
pmlr:v235:nagumo24a - Neural Tangent Kernels for Axis-Aligned Tree Ensembles
掲載ID:
pmlr:v235:kanoh24a - Neural-Kernel Conditional Mean Embeddings
掲載ID:
pmlr:v235:shimizu24a - The Wisdom of the Measurement Crowd: Building the Internet Yellow Pages a Knowledge Graph for the Internet
掲載ID:
doi:10.1145/3646547.3688444 - Composing Codensity Bisimulations
掲載ID:
doi:10.1145/3661814.3662139 - Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
掲載ID:
doi:10.1145/3689805 - Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
掲載ID:
doi:10.1145/3656441 - Sampling Proper Colorings on Line Graphs Using (1+o(1))Δ Colors
掲載ID:
doi:10.1145/3618260.3649724
2023年
- Editing Boolean Classifiers: A Belief Change Perspective
掲載ID:
doi:10.1609/aaai.v37i5.25801 - Compositional Probabilistic Model Checking with String Diagrams of MDPs
掲載ID:
doi:10.1007/978-3-031-37709-9_3 - Exploiting Adjoints in Property Directed Reachability Analysis
掲載ID:
doi:10.1007/978-3-031-37703-7_3 - A-Cap: Anticipation Captioning With Commonsense Knowledge
掲載ID:
doi:10.1109/cvpr52729.2023.01042 - Analyzing Tree Architectures in Ensembles via Neural Tangent Kernel
掲載ID:
openreview:v_06qv-kzx - Learning in Multi-Memory Games Triggers Complex Dynamics Diverging from Nash Equilibrium
掲載ID:
doi:10.24963/ijcai.2023/14 - Domains as Objectives: Multi-Domain Reinforcement Learning with Convex-Coverage Set Learning for Domain Uncertainty Awareness
掲載ID:
doi:10.1109/iros55552.2023.10342236 - Robotic Powder Grinding with Audio-Visual Feedback for Laboratory Automation in Materials Science
掲載ID:
doi:10.1109/iros55552.2023.10341526 - Selective Presentation of AI Object Detection Results While Maintaining Human Reliance
掲載ID:
doi:10.1109/iros55552.2023.10341684
2022年
- The Lattice-Theoretic Essence of Property Directed Reachability Analysis
掲載ID:
doi:10.1007/978-3-031-13185-1_12 - A Neural Tangent Kernel Perspective of Infinite Tree Ensembles
掲載ID:
iclr:2022:56c51a39a7c77d8084838cc920585bd0 - MEIM: Multi-partition Embedding Interaction Beyond Block Term Format for Efficient and Expressive Link Prediction
掲載ID:
doi:10.24963/ijcai.2022/314 - L2C2: Locally Lipschitz Continuous Constraint towards Stable and Smooth Reinforcement Learning
掲載ID:
doi:10.1109/iros47612.2022.9981812 - Robotic Powder Grinding with a Soft Jig for Laboratory Automation in Material Science
掲載ID:
doi:10.1109/iros47612.2022.9981081 - Invariance Learning based on Label Hierarchy
掲載ID:
neurips:2022:c23ccf9eedf87e4380e92b75b24955bb
2021年
- A General Class of Transfer Learning Regression without Implementation Cost
掲載ID:
doi:10.1609/aaai.v35i10.17087 - Decision Tree Learning in CEGIS-Based Termination Analysis
掲載ID:
doi:10.1007/978-3-030-81688-9_4 - OpenForensics: Large-Scale Challenging Dataset for Multi-Face Forgery Detection and Segmentation In-the-Wild
掲載ID:
doi:10.1109/iccv48922.2021.00996 - Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
掲載ID:
doi:10.1109/lics52264.2021.9470656 - Fast Tucker Rank Reduction for Non-Negative Tensors Using Mean-Field Approximation
掲載ID:
neurips:2021:040ca38cefb1d9226d79c05dd25469cb
掲載対象外の論文や未反映の論文は、この一覧には含まれません。