figshare + Loughborough Research Repository + GRANTS Data + UP Research Data Repository2026 · Astronomical catalogue
Democracy Now - slide presentation - English<p dir="ltr">Slide show for illustrative purpose - Democracy Now - Pre Print Review 2026</p>
figshare + Loughborough Research Repository + GRANTS Data + UP Research Data Repository2026 · Astronomical catalogue
Understanding Unfaithful Reporting by Coding Agents<p dir="ltr">Replication Package.</p>
ZivaHub + Deakin Research Online + DMU Figshare2026 · dataset
PACT Post-route Agentic Checkpoint Tuning for FPGA Timing ClosurePACT Artifact Workspace<p dir="ltr">This repository contains the PACT post-route FPGA checkpoint optimization agent, the Vivado and RapidWright MCP servers it drives, and the optimization knowledge base.</p><p dir="ltr">The 35 benchmark DCPs are included through Git LFS; proprietary FPGA tools are not included.</p><h2 dir="ltr">Layout</h2><ul><li><code>FDAgents/</code>: agent, typed skills, recipe
ZivaHub + Deakin Research Online + DMU Figshare2026 · dataset
BEFORE AUTONOMY: Earning the Right to Act<p dir="ltr">This book argues for a simple engineering principle: a system should not receive more freedom to act than we have the independent ability to verify, constrain, and stop. Five ideas carry the argument. 1. Safety Must Be Designed Before Capability Growth Boundaries, stop mechanisms, verification criteria, and rules for expanding authority must exist before the system receives the corres
ZivaHub + Deakin Research Online + DMU Figshare2026 · dataset
BEFORE LAUNCH: A Design-Stage Systems Engineering Doctrine for Autonomous Artificial Intelligence<p dir="ltr">This study presents a systems-engineering framework for the development, verification, qualification, and eventual authorization of increasingly capable autonomous AI systems. The doctrine addresses a central engineering problem: how to permit capability growth without allowing assurance, evidence, or authority mechanisms to become obsolete as the system changes. The framework separat
ZivaHub + Deakin Research Online2026 · dataset
Lógica Sintético-Contextual (LSC-FSL-CALC)<p dir="ltr">Esta obra en seis volúmenes presenta los fundamentos, el desarrollo formal, la validación y las aplicaciones computacionales de la <b>Lógica Sintético-Contextual (LSC-CALC)</b>. El sistema propone un marco analítico y formal que trasciende la lógica clásica al integrar de manera sistemática el contexto dinámico, la semántica situacional y la dimensión normativa en la estructura de inf
ZivaHub + Deakin Research Online + DMU Figshare2026 · dataset
TOWARD SPATIAL INTELLIGENCE AND PHYSICALLY REALISTIC WORLD MODELS<p dir="ltr">Spatial intelligence requires models to infer and maintain coherent three-dimensional structure, preserve objects and relations across viewpoints, compose interactable environments, and respect geometric and physical constraints. Progress toward such world models is limited by two forms of data scarcity: a shortage of diverse, high-quality real-world spatial observations and the narro
ZivaHub + HKU DataHub + figshare + Loughborough Research Repository + UP Research Data Repository2026 · Astronomical catalogue
Simulation output data for: Tradeoffs between non-pharmaceutical intervention factors affecting outcomes in a computational simulation of COVID-19 infections<p dir="ltr">This dataset contains simulation output from the SimTW agent-based model, used in the multivariate regression analysis presented in the associated manuscript, "Tradeoffs between non-pharmaceutical intervention factors affecting outcomes in a computational simulation of COVID-19 infections." </p><p dir="ltr">Columns include the input parameters (city alert level, vaccination rate, viru
figshare + Loughborough Research Repository2026 · Astronomical catalogue
CRJudgeBench<pre><br># CRJudgeBenchmark<br><br>CRJudgeBenchmark evaluates whether a model can judge the technical trustworthiness of a code-review comment in its pull-request context. It contains **1,199 labeled examples from 124 pull requests across 9 GitHub repositories**, with fixed train, validation, and test splits.<br><br>Each example pairs a pull request with one target review comment. It includes the
figshare + Loughborough Research Repository2026 · Astronomical catalogue
A multi-pitch multi-speed dataset for embodied spatial cognition evaluation in a virtual urban environment<p dir="ltr">CityVPR is a synthetic dataset collected in a custom-built Minecraft virtual city for evaluating and training spatial cognitive abilities in embodied agents. It provides first-person RGB images from 11 distinct navigation routes, captured at 4 different pitch angles and 3 different speed modes, with precise pose information for each frame.</p><p dir="ltr">## Dataset Statistics</p><p d
figshare2026 · Astronomical catalogue
AW-WaterBench<p dir="ltr">Adverse-Weather Water-Scene Benchmark</p>
figshare2026 · Astronomical catalogue
Generative Artificial Intelligence (GenAI) in Tourism and Hospitality<p dir="ltr">Generative Artificial Intelligence (GenAI) in Tourism and Hospitality</p>
figshare2026 · Astronomical catalogue
Higher-Order Epistemic Networks for Navigating the Archive of Formal Proofs (supplementary material)<p dir="ltr">Supplementary material for the paper "Higher-Order Epistemic Networks for Navigating the Archive of Formal Proofs", submitted to the 15th International Conference on Complex Networks and Their Applications.</p>