This dataset provides the research data and code supporting the manuscript “The Long Run of a Monetary Economy: Steady States, Recurrence, and Survival in Simulation.” The archive contains the model and analysis source code, registered experimental protocols, scientific specifications, raw and derived simulation record...
Offline, standard-library-only verification software accompanying Seth Christopher's preprint “A Split-Graph Counterexample to a Roman–Double Roman Candidate Inequality”. Version 1.0.0; source-only publication revision figshare.1. This item contains Roman_Double_Roman_Verification_Software_v1.0.0.zip, including the byt...
This release contains the MATLAB source code, deterministic input data, generated CSV result records, validation scripts, tests, and figure-generation drivers for the associated manuscript: “A Conditional, Boundary-Aware, and Auditable Deletion-Effect Weighting Framework for MCDM with Positive Decision Matrices and a F...
Xudan Dong· Zenodo (CERN European Organi...· 0 citations
Offline verification software accompanying Seth Christopher's preprint “Roman Labels Yield One-Round Power Domination”. Scientific version 1.0.0; packaging revision figshare.2. All 24 Python files are byte-identical to figshare.1. The README, release metadata and checksum manifest have been updated; historical versions...
Seth Christopher· Figshare· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
We give a connected chordal graph on 15 vertices and 30 edges with Roman domination number 7 and double Roman domination number 10. It refutes the candidate inequality (3/2) gamma_R(G) <= gamma_dR(G) recorded at rank 67 of AutoGraphForge's public audit, together with its equivalent rank-68 restatement. The graph consis...
This software package accompanies the manuscript Exhaustive Reassignment Reveals Identity Dependence in MOS Gas Sensor Correction Tables by Yibo Wang, Zhixian Zhao, and Yu Tang. Software and reproduction The package reproduces the numerical results for exhaustive reassignment of fixed metal-oxide-semiconductor (MOS) ga...
This is the software snapshot (release v1.0.1) accompanying the paper: "A Hierarchical Framework for Inverse Problems in Biological Cybernetics: Opportunities and Limitations" by J. R. Banga and A. F. Villaverde. It provides a reproducible MATLAB implementation of a four-level hierarchy of inverse problems, illustrated...
Julio R. Banga, Alejandro F. Villaverde· Zenodo (CERN European Organi...· 0 citations
This dataset provides held-out testing and production-model provenance analysis for the Pt–C–O fourth-generation neuroevolution potential (NEP4) used in the manuscript “Species-Dependent Interfacial Aggregation and Local Graphene Lifting on Pt(111)”. It supplements the principal computational dataset at https://doi.org...
While it has an interactive, dashboard-like interface (which might superficially look like a software "toy" or simulation sandbox), the underlying engine enforces strict numerical, symbolic, and data-integrity checks on published scientific claims. Here is a breakdown of why this instrument is highly valuable, along wi...
Jeromie Beasley· Zenodo (CERN European Organi...· 0 citations
AI may democratise code-based innovation in ways not seen since the creation of the modern spreadsheet. Research software is part of this new shift. But tools that broaden automation beyond specialist programmers are evolving quickly, and sensible ways to use them are still emerging. This is especially important in the...
Sparks Michael, Shoaib Sufi, Aleksandra Nenadić· Zenodo (CERN European Organi...· 0 citations
We give a connected chordal graph on 15 vertices and 30 edges with Roman domination number 7 and double Roman domination number 10. It refutes the candidate inequality (3/2) gamma_R(G) <= gamma_dR(G) recorded at rank 67 of AutoGraphForge's public audit, together with its equivalent rank-68 restatement. The graph consis...
Einleitung – Deutsch Die fortschreitende Digitalisierung von Wissenschaft, Kultur, Kommunikation und Gesundheit eröffnet die Möglichkeit, Wissensbereiche miteinander zu verbinden, die bislang überwiegend getrennt erforscht und vermittelt wurden. Kommunikation, künstliche Intelligenz, Kunst- und Kreativitätsforschung, d...
Liedtke Dieter· Zenodo (CERN European Organi...· 0 citations
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 6, 2026
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
MIT News · Artificial Intelligence· news.mit.eduOct 2, 2026
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
Requirements in large systems rarely exist in isolation. Their meaning depends on the wider project context - other requirements, policies, decisions, tests, and implementation details. That becomes especially important when AI is used for review, because spotting a possible conflict or gap is only the beginning. ReqSpace explores how AI, visualisation, and connected project context can help reviewers understand those findings, trace the relationships behind them, and focus on the questions that…
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
