This record contains supplemental materials associated with the manuscript entitled “Uncertainty-aware Construction Task Scheduling for Human-robot Collaboration via Fuzzy-time Model and Deep Reinforcement Learning.” The supplemental materials provide extended figures and experimental results supporting the analyses pr...
Yilin Wang, Zhoupeng Wang, Chao MAO et al.· Zenodo (CERN European Organi...· 0 citations
Optimization algorithms contain parameters that greatly influence their behavior. Finding the right settings for parameters through automated algorithm configuration has become a critical component of designing competitive algorithms. While traditional offline configurators tackle this problem by finding one configurat...
Elias Schede, Moritz Vinzent Seiler, Carolin Mensendiek et al.· ACM Transactions on Evolutio...· 0 citations
Diabetes mellitus represents a global metabolic crisis characterized by complex self-management requirements, marked physiological variability, and significant risks of microvascular and macrovascular complications. The integration of Artificial Intelligence (AI)—including Machine Learning (ML), Deep Learning (DL), Nat...
A formal verification of the math of modern deep learning, written as a Lean 4 blueprint project and shipped as the code it proves. Mathlib's fderiv is the foundation; every layer's backward is derived as a vector-Jacobian product rather than asserted -- dense, ReLU, softmax cross-entropy, 2D convolution, max-pool, Bat...
Brett Koonce· Zenodo (CERN European Organi...· 0 citations
This record contains the complete reproducibility package supporting the manuscript "Formulation-holdout validation for reliable machine learning in replicated materials experiments: an AA6061 composite case study." The study evaluates 12 independently prepared AA6061 hybrid-composite specimens nested within four reinf...
Obinna Onyebuchi Barah, Milon Selvam Dennison, Akpan Samuel Cletus· Zenodo (CERN European Organi...· 0 citations
Tahfiz teachers’ strategies for motivating students to memorize the Qur’an are important for sustaining school tahfiz programs. However, studies specifically describing these strategies in the context of public junior high schools remain limited. This study aimed to analyze the strategies used by tahfiz teachers to mot...
This record contains the complete reproducibility package supporting the manuscript "Formulation-holdout validation for reliable machine learning in replicated materials experiments: an AA6061 composite case study." The study evaluates 12 independently prepared AA6061 hybrid-composite specimens nested within four reinf...
Obinna Onyebuchi Barah, Milon Selvam Dennison, Akpan Samuel Cletus· Zenodo (CERN European Organi...· 0 citations
The DDPG-DLPID, an adaptive motion controller, including a Deep Deterministic Policy Gradient (DDPG) reinforcement learning that can acquire the parameters of PID controllers is introduced, which achieves faster response and higher tracking accuracy, while substantially reducing tracking errors under interference condi...
Ling Wang, Yan Shi· SAE technical paper series· 0 citations
Research Manager Mike Walker reflects on a career spanning hacker culture, cybersecurity, and AI, sharing lessons about trust, teamwork, leadership, and why solving difficult problems requires curiosity, judgment, agility—and an understanding of the rules. The post Learn the rules: The hacker mindset appeared first on Microsoft Research.
Learn how Google Antigravity and our Cheminformatics Skills accelerate drug discovery workflows, search compounds, and propose novel rigidified macrocycles.
MIT News · Artificial Intelligence· news.mit.eduOct 27, 2026
Prabha Jha used her experience with MIT Open Learning’s program for senior executives to develop AI solutions for her employer, Verizon, and to write a book.
Assistant Professor Benjamin Lindquist studies how engineers deliberately injected randomness into early AI, giving rise to deep-learning models that sometimes hallucinate.