Replication Package This repository is the replication package for the paper "Large Language Models for Software Models: An Empirical Evaluation in Game Software Engineering" (under review). It contains all materials needed to reproduce the controlled empirical evaluation of seven state-of-the-art LLMs on Unity Visual...
Samuel Navarro, Manuel Ballarín, Carlos Cetina et al.· Zenodo (CERN European Organi...· 0 citations
This dataset contains all raw and processed data supporting the findings of the original research article "The Role of miR-214-3p in Hair Follicle Neural Crest Stem Cell-derived Exosomes in the Repair of Peripheral Nerve Injury". The study aimed to investigate the role and mechanism of hair follicle neural crest stem c...
Jiachen Zheng, Yang Xu, Chi Zhang et al.· Mendeley Data· 0 citations
An example workflow for preprocessing of a (public) example LC-MS/MS data set in R using the xcms Bioconductor package for a subsequent feature-based molecular networking (FBMN) with GNPS2. The GitHub repository contains the source code as well as pre-rendered html version of the workflow. The workflow is completely re...
Johannes Rainer, Philippine Louail· Zenodo (CERN European Organi...· 0 citations
The rapid development of Industry 4.0 technology demands a transformation in chemistry learning media from passive printed materials to interactive three-dimensional visualisations to optimize students' Science Process Skills (SPS). This study aims to analyze the impact of the effective use of AR-based interactive lear...
Learning is an interactive process involving teachers, students, and various interrelated supporting elements. However, in practice, students still demonstrate low learning outcomes in the subject of Basic Chemical Laws, which is caused by the use of learning media that lacks variety and appeal. One effort to address t...
The attendance system at SMK Negeri 1 Talamau has so far been focused mainly on teachers and relies on a fingerprint method that frequently experiences problems such as reading failures, system errors, and delayed data synchronization. This research aims to develop a QR Code-based online attendance mobile application t...
A population-genetic model and software are developed for the inference of multi-level selection coefficients underlying HIV-1 ‘co-receptor switching’, estimating that the relative transmissibility of X4-tropic virus is 9%, while within-host switching to X4-tropism is approximately 7-fold higher than switching to R5-tr...
Kieran O. Drake, Vinicius B. Franceschi, Fabrícia F. Nascimento et al.· Journal of the Royal Society...· 0 citations
Replication package supporting the article "Exhaustive Differential Verification of Rule Execution in Building Compliance Software: A Method and Its Application to Seismic Provisions for Earthen Buildings". Contains the reference implementation of the geometric stability provisions of norm E.080 (Peru, 2017) written in...
Carlos Damian Pinto Almeida· Zenodo (CERN European Organi...· 0 citations
Overall, Code2Skill transforms procedural knowledge embedded in repositories into grounded, verifiable, and transferable agent skills, providing initial evidence that the pipeline can expand with the growing volume of AI-generated software.
Yong-Qi Tong, Pan Wang, Hang Wang et al.· 1 citation
This work recasts vulnerability discovery as an input-prediction task with a closed, deterministic ground truth, and decomposes discovery into three task modes over 22 real-world C/C++ programs spanning 15 domains, finding constraint inference, not navigation, is the dominant bottleneck.
Yuan-Xiang Shi, Jia-Yi Lin, Xuan-Yong Lin et al.· 0 citations
SWE-Bench Pro Verified offers a more trustworthy benchmark for assessing software engineering agents, which combines anti-hacking safeguards that eliminate major leakage channels without disrupting normal agent functionality, with task refinement that minimally corrects inconsistencies within flawed instances.
Pujun Zheng, Zi-Xin Shang, Shufan Jiang et al.· 1 citation
Video-based exergames present potential benefits for improving the balance and agility in children with and without Developmental coordination disorder, and could be a potential non-pharmacological treatment for children with DCD.
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.
