This preprint presents NumJ, a Java float64 array library that invokes Fortran kernels through the Foreign Function and Memory API, and analyzes its archived benchmark evidence. The implementation combines strided multidimensional arrays, reusable native buffers, specialized iteration paths, explicit expression fusion,...
Hareram Ray· Zenodo (CERN European Organi...· 0 citations
MOTIVATION
The reproducibility crisis in bioinformatics and computational biology can be mitigated by using Continuous Integration (CI), a proven software engineering practice, to automate the testing of analysis pipelines and models. However, the adoption of CI in bioinformatics is limited as existing solutions are ty...
Ignatius Jeppe Menzies, Eric Urng, G. Bouras et al.· Bioinformatics· 0 citations
This software release provides the executable and reproducibility infrastructure for the preregistered confirmatory study in Experimental Block IV of the Theory of Everything Research Programme. The package implements the frozen protocol associated with OSF preregistration DOI 10.17605/OSF.IO/REHW5. It contains seven f...
Kenneth Craggs· Zenodo (CERN European Organi...· 1 citation
Core lexicon scores were sufficiently stable for IWAs to be used in group-level analyses and reliability was excellent for longer stimuli or when averaging multiple shorter stimuli for IWA and sufficient for individual use.
S. G. Dalton, Robert Cavanaugh, B. Stark· American Journal of Speech-L...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Objective: The present study aimed to investigate the relationship between early maladaptive schemas and adolescents’ social anxiety and to examine the mediating role of locus of control in this relationship. Methods and Materials: This descriptive-correlational study was conducted among male students enrolled in vocat...
Zahra Asnafy, Rajabali Mohammadzadeh, Mehdi Arastehfard· Journal of Adolescent and Yo...· 0 citations
The results reveal a fundamental risk of LLM-generated regression tests: without manual validation, they may encode faulty behavior as expected behavior, allowing bugs to persist across software revisions and largely evade developer-maintained test suites.
Mohammadali Charoosaei, Cedric Richter, Mike Papadakis· 0 citations
The Spec Growth Engine anchors AI-assisted software development in a graph of specifications that the code is coupled to. This paper describes its implementation, which serves two tasks and keeps them apart as two layers. The first layer prevents spec-code divergence: a deterministic engine validates the spec graph, co...
This work presents a certificate-based approach for formally verifying the computation of the vertices of a polyhedron with a new completeness criterion based on an abstract simplicial complex that generalizes a triangulation of the normal fan of the polyhedron.
Earth system models (ESMs) have grown tremendously in realism, yet key uncertainties persist in the climate response to greenhouse-gas forcing, particularly due to cloud radiative feedbacks. In addition, their software architecture was not designed for accelerator hardware or modern artificial intelligence (AI). Here w...
Pierre Gentine, D. Balwada, Aytaç Paçal et al.· 0 citations
A case study in autonomous migration of the QED-C Application-Oriented Benchmarks from Qiskit to CUDA-Q results in publicly available, near-complete CUDA-Q support in the QED-C benchmarks along with model-generated skills designed to improve agent performance when implementing CUDA-Q applications.
W. M. Brown, Thien Nguyen, Avimita Chatterjee et al.· 0 citations
Software discards information constantly. A log is sampled, a table is aggregated, a context window is truncated, a sensor stream is fused, a state is reduced to a latent vector, and a monitor keeps a checksum instead of the record. Some of those reductions are exact. Some can be undone. Some retain exactly what a stat...
Clinton Svancara· Open Science Framework· 0 citations
Bioinformatics software plays a central role in biological research, yet many academic projects lack robust testing and continuous integration (CI) practices. This absence can compromise reproducibility, accessibility, and long-term maintainability. In this study, we conduct an large-scale empirical analysis of GitHub...
Walker J. Compton Mellon, Makena Sy, Navya Gangrade et al.· bioRxiv· 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.
