Code and results of the article Height Area Graphs for Automated Preliminary Road Alignment in Hilly Terrain (in preparation). The software (code, tests and build scripts) and the data (results, tables and figures) were written and produced solely by Ioana-Alexandra Șomîtcă and Ștefan-Eduard Deaconu, who hold all copyr...
Ioana-Alexandra Șomîtcă, Ștefan-Eduard Deaconu· Zenodo (CERN European Organi...· 0 citations
Student academic success is determined not solely by intellectual capability, but crucially by internal psychological drivers, most notably achievement motivation. Achievement motivation is characterized as an internal psychological determination to attain defined standards of excellence. This study aims to investigate...
Ida Safitri, B. Wiyono, Titin Indah Pratiwi· PAEDAGOGY Jurnal Ilmu Pendid...· 0 citations
PRISM (Process Risk Integration and Scenario Modeling) is a research framework for generic outdoor liquid-hydrogen facility risk integration. Version 0.6.2 adds an explicit equipment digital-twin telemetry release_resolver boundary, strict provider gas/liquid release contracts, release duration and inventory ledgers, m...
Ugwiyeon Lee· Zenodo (CERN European Organi...· 0 citations
v4.5.0 adds Google Cloud integration: Gemini through Vertex AI in the user's own project with their gcloud login, keys read from Google Secret Manager instead of a plaintext file, and CI on Google Cloud Build; it also includes NCLM-1 workflow and verify-loop changes. See RELEASE_NOTES_v4.5.0.md. OSIRIS is a local-first...
Devin Phillip Davis· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
As globalization continues to grow, trade structures are becoming increasingly complex, which creates numerous challenges for businesses. One of these is ensuring the authenticity of high-priced products. Recent developments have made it clear that established control mechanisms are often inadequate for ensuring protec...
Stefan Gerd Bindereif· EPub Bayreuth (University of...· 0 citations
This software release provides the executable and reproducibility infrastructure for the preregistered first confirmatory study in Experimental Block II of the Theory of Everything Research Programme. The package implements the frozen protocol associated with OSF preregistration DOI 10.17605/OSF.IO/EUF2J. It includes s...
Kenneth Craggs· Zenodo (CERN European Organi...· 1 citation
Outdoor trials showed that the UAV could fly autonomously and capture downward-facing imagery in which a person, a nearby footpath, and surrounding vegetation were clearly discernible, providing visual cues for operator assessment and further inspection of the search area.
Ming-Yang Wang, Yi Hong, Tungchak Lee et al.· 0 citations
A testing methodology for automated validation of quantum compiler passes based on retromorphic testing and principles from the Hadamard test is introduced, highlighting the need for compiler-pass-specific testing methodologies to improve the reliability of the evolving quantum software stack.
Historical pull requests record the design decisions, compatibility constraints, and implementation patterns behind a codebase's current state. Experience relevant to a new task can span related changes whose descriptions emphasize different concerns. We introduce Chronos, a test-time framework that makes this connecte...
Xin Yin, Yiang Zhang, Zhi-Yuan Peng et al.· 0 citations
Coding agents produce large, tangled patches that mix multiple development purposes, making the code hard to review and maintain. Commit untangling offers the promise of organizing such large patches into untangled, manageable commits. This paper emphasizes two important limitations in existing commit untangling studie...
Jin-Feng Jiang, Dongsun Kim, Da-Yi Lin et al.· 0 citations
Coding assistants such as Claude Code and Codex have become a major application of LLM agents, yet existing benchmarks remain far from real-world use, particularly in task horizon and interaction length. Code assistants require completing long chains of development work in continuously evolving repositories, while repe...
Hexuan Deng, Yue Wang, Wen-Yu Jiang et al.· 0 citations
When the Canadian government legalized recreational cannabis in 2018, one stated goal was to reduce cannabis-related crime. Conversely, some residents worried that allowing cannabis stores would instead trigger more crime nearby. This study tested whether police-reported crime levels changed in the Canadian cities of T...
Michael J. Armstrong· International Journal of Dru...· 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.
