大学 × 全分野
総合研究大学院大学
全分野 / 2022–2026 LIVE
掲載論文 49 本
論文一覧
49 本
このEditionのランキングに掲載している論文です。同じ大学の複数著者による共著は1本にまとめています。
分野をまたぐ同一論文も1本です。総合ポイントは、分野別順位に基づく別の指標です。
2026年
- General Self-Calibration with Varying Intrinsics
掲載ID:
ecva:eccv2026:03851 - SGM: Safety Glasses for Multimodal Large Language Models via Neuron-Level Detoxification
掲載ID:
acl-anthology:2026.emnlp-main.61 - Conditionally Whitened Generative Models for Probabilistic Time Series Forecasting
掲載ID:
iclr:2026:57587d8d6a7ede0e5302fc22d0878c53 - Automated Safety Verification of Posterior Distributions of Probabilistic Programs
掲載ID:
ijcai:2026:7245 - Neural Decision-Propagation for Answer Set Programming
掲載ID:
ijcai:2026:8002 - Hanging by a Thread: A Study of Single-Upstream Networks
掲載ID:
doi:10.1145/3777912.3809137 - Chunip: Charging-Uninterrupted In-Band Parallel Communication for Magnetic MIMO Wireless Power Transfer System
掲載ID:
doi:10.1109/infocom59046.2026.11571285 - Monads and Distributive Laws in Substructural Contexts
掲載ID:
doi:10.4230/lipics.lics.2026.45 - The Parameterised Complexity of Counting Small Sub-Hypergraphs
掲載ID:
doi:10.1137/1.9781611978971.72
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
掲載対象外の論文や未反映の論文は、この一覧には含まれません。