This work uses event logs extracted from software repositories to discover project-specific agent roles using a predefined SE role vocabulary grounded in repository behavior and generates matching agent specifications and implementations that are aligned with human expectations.
Saimir Bala, Fabiana Fournier, Lior Limonad et al.· Lecture notes in business in...· 0 citations
Drug use is an ancient practice, but its associated disorders represent a contemporary public health challenge. This study investigates the impact of proximal processes in childhood/adolescence and adulthood on substance use, focusing on the role of Therapeutic Communities (TCs). Using a qualitative methodology, 19 res...
Marceli de Souza Rosa-Pereira, L. Pessoa· Lumen et Virtus· 0 citations
The findings demonstrate that a software-based prototype integrating machine learning with image analysis can effectively simulate the core functions of a physical counterfeit-detecting banknote counter.
Morufat D. Gbolagade, Muhammed Faisal Husseini, Sadiq Kalli Kori et al.· FUDMA Journal of Sciences· 0 citations
This study proposes a framework for identifying financial turbulence in construction project cash flows using the Relative Financial Reynolds Number (Re(t)). Inspired by fluid mechanics, the indicator captures transitions between stable, high-risk, and turbulent financial regimes and provides an early-warning mecha...
Erman Tümtürk· Engineering Construction and...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
OBJECTIVE
To predict patient satisfaction 6 months after small-incision lenticule extraction (SMILE) surgery from preoperative clinical data demonstrating the methodological utility of open-source orange data mining software (Orange) feature selection and machine learning (ML) for practice-based evidence.
DESIGN
A re...
Rebecca M. Cairns, Richard N. McNeely, Mark C. M. Dunne et al.· Canadian Journal of Ophthalm...· 0 citations
Key factors contribute to differences in depression and anxiety symptoms among older adults: gender, body mass index, ethnicity, occupation before retirement, marital status, physical disability status, independence in activities of daily living, number of chronic diseases, smoking and drinking habits, dietary habits,...
Jing Zhang, Feng Li, Yun-Tong Yao et al.· Medicine· 0 citations
Making ISF available as a standalone online resource, it is believed it will facilitate the generation, simulation and analysis of models that reveal mechanistic origins of in vivo recorded activity beyond the barrel cortex for which it was originally designed.
B. Meulemeester, A. Bast, M. Royo et al.· PLoS Computational Biology· 0 citations
C-peptide can be used as an appropriate index for identifying IR in T2DM patients with complications and illustrated the clinical utility of C-peptide in microvascular complications such as diabetic nephropathy and diabetic retinopathy.
K. Siddiqui, S. S. Joy, S. Nawaz et al.· Medicine· 0 citations
This represents the first evaluation of a Device Type 3 cuffless blood pressure algorithm (automated, wearable, demographic-calibrated, not at heart level) meeting ESH awake/asleep test criteria, suggesting Alysis-001's potential as a clinically viable alternative for ambulatory blood pressure monitoring in hypertensiv...
K. Hongyo, Atsushi Hirayama, Kosuke Shimizu et al.· Hypertension Research· 0 citations
These findings show that reliable evaluation of LLM-generated code requires validated ground truth, protected tests, and multiple explicitly interpreted measures, and that CodeAssay provides a reproducible basis for evidence-based model evaluation in AI-augmented software development.
Shahbaz Siddeeq, Muhammad Waseem, Umar Subhan Malhi et al.· 0 citations
The first comprehensive benchmarking framework specifically designed to accommodate inter-dataset heterogeneity is presented, finding that well-designed small datasets can match or even surpass the performance of larger benchmarks, suggesting that different metrics are applicable to different datasets/testing scenarios...
Yingjuan Cheng, Qing Ye, Linlong Jiang et al.· Journal of Cheminformatics· 0 citations
Manual prescriptions and vaccination clinics were associated with higher vaccine prescription conversion, with particularly pronounced effects on non-NIP vaccines.
Meng Xiao, Jun Li, Shejun He et al.· Vaccines· 0 citations
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Microsoft Research Blog· microsoft.comOct 30, 2026
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
Microsoft Research Blog· microsoft.comOct 29, 2026
Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.