These findings provide an empirical characterization of recurring security patterns across the open-source onboard satellite software ecosystem, helping quantify their prevalence and prioritize areas that warrant the greatest security attention.
Roee Idan, T. Galor, A. Shabtai et al.· 0 citations
This paper explores how to apply formal verification to artificial organs, stage by stage, and what each technique actually guarantees about the device.
Rhea Malhotra, Tanya Sharma, Krishay Patel et al.· 0 citations
A benchmark that tests the ability of agentic video understanding by asking agents to reconstruct real-world videos as animated Blender scenes, and shows that programmatic reconstruction is a viable test of agentic video understanding, and that semantic retention remains the main challenge.
Y. Y. Tang, D. Shimada, Jia-Yue Meng et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
We have systematically studied the effects of solvents such as benzene, toluene, isooctane, and cyclooctane on the selective separation of four heavy oil components (saturates, aromatics, resins, asphaltenes), aiming to clarify the molecular mechanism of solvent extraction as an oil–solid separation method in heavy oil...
This study investigated the impact of a blended learning strategy on secondary school students' interest and cognitive performance in Geography within the Dutsin-Ma Educational Quality Assurance Zone, Katsina State. A quasi-experimental research design using a pre-test, post-test non-equivalent control group approach w...
A. Ango, Umar Abdullahi· Journal of Education Researc...· 0 citations
This study examines the relationship between customer complaint handling and Patronage of Hotels in Owerri, Imo State. The research design adopted was descriptive survey research design, and questionnaire served as the instrument of data collection. Data collected were analyzed using mean statistic. Pearson product mom...
B. Ani, Uzoamaka Josephine Uhie, K. Ihemereze· Journal of Business Developm...· 0 citations
Runway Guard Light (RGL) is one of the essential components of the Airfield Lighting System (AFL), serving as a visual warning system for pilots and airside vehicle operators before entering an active runway, thereby enhancing aviation operational safety. However, the limited availability of learning media capable of r...
Munawara, Bayu Purbo Wartoyo, M. Rifai· Micronic: Journal of Multid...· 0 citations
This study examined workplace conditions and employee satisfaction in Nigerian hotels. Descriptive survey research design was used and questionnaire served as the instrument of data collection. Data collected were analyzed using mean statistics. Pearson product moment correlation coefficient, with the help of SPSS 21.0...
Variations in arch form may influence the accuracy of digital impressions for implant-retained fixed dental prostheses. Differences in arch width, curvature, and span length can affect scanning continuity and data stitching, potentially impacting trueness and precision during full-arch acquisition. However, the extent...
M. S. Torky, Rewaa G. AboElhassan, Amir S. Azer· BMC Oral Health· 0 citations
Introduction: Neonatal seizures require urgent intervention, yet the optimal first-line treatment remains a subject of ongoing debate. While Phenobarbitone (PB) remains the traditional standard of care, its use is increasingly scrutinised due to adverse effects like respiratory depression and potential neurotoxicity in...
Pooja Devang Patel, Manish Rasania, Nishi L. Ranawat et al.· Journal of Clinical and Diag...· 0 citations
A debugging workflow that combines dynamic analysis with directed unit tests is introduced, and ACF, an infrastructure for automating this workflow is presented, indicating that ACF can help developers to isolate specific inputs causing an error, thus simplifying the process of locating faulty statements.
Roman Vašut, P. Parízek· Proceedings of the 14th Work...· 0 citations
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.
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
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.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.