Showing 1–20 of 73 results
/ Date/ Name
May 17, 2023Probing the Role of Positional Information in Vision-Language ModelsFeb 2, 2018Controllable Non-Markovianity for a Spin Qubit in DiamondFeb 3, 2026Soft-Radial Projection for Constrained End-to-End LearningSep 7, 2023dacl1k: Real-World Bridge Damage Dataset Putting Open-Source Data to the TestNov 16, 2018Computing the Expected Execution Time of Probabilistic Workflow NetsMar 13, 2017Towards Efficient Verification of Population ProtocolsFeb 22, 2018Computing the concurrency threshold of sound free-choice workflow netsMar 1, 2024Gate-set evaluation metrics for closed-loop optimal control on nitrogen-vacancy center ensembles in diamondOct 31, 2025Room-Temperature Quantum Simulation with Atomically Thin Nuclear Spin Layers in DiamondMay 7, 2020Checking Qualitative Liveness Properties of Replicated Systems with Stochastic SchedulingJul 15, 2020Peregrine 2.0: Explaining Correctness of Population Protocols through Stage GraphsFeb 14, 2022Building Inspection Toolkit: Unified Evaluation and Strong Baselines for Damage RecognitionSep 1, 2023dacl10k: Benchmark for Semantic Bridge Damage SegmentationJul 22, 2021Zero- and Low-Field Sensing with Nitrogen Vacancy CentersMar 29, 2019Practical Synthesis of Reactive Systems from LTL Specifications via Parity GamesOct 22, 2025Learning to Make Friends: Coaching LLM Agents toward Emergent Social TiesFeb 2, 2026Beyond Content: Behavioral Policies Reveal Actors in Information OperationsAug 26, 2025Efficient Best-of-Both-Worlds Algorithms for Contextual Combinatorial Semi-BanditsJun 10, 2022Less Is More: Linear Layers on CLIP Features as Powerful VizWiz ModelDec 14, 2017Quantitative Implementation Strategies for Safety Controllers