Category
3,351 papers
The web-based information system successfully replaces manual record-keeping at TPA Al-Jami' and bridges the information gap between teachers and parents in supporting children's Quranic education.
The results of this study indicate that the Android-based digital library system with QR Code technology improves the speed and accuracy of book borrowing and returning processes through automatic data identification and facilitates the management of book, member, and transaction data.
To investigate the influence of electrode surface roughness on gas discharge characteristics under micro-gap conditions, direct-current breakdown experiments were carried out in atmospheric air using a nano-positioning system. Breakdown tests were conducted for five metal electrodes over the electrode gap distances fro...
Religious tourism has emerged as a significant sector within global tourism, influencing visitor behavior, destination development, and spiritual experiences. Jordan, which is home to several Christian holy sites recognized by the Vatican in 2000, is quite important in terms of pilgrimage, but from a practical perspect...
Reach audiences
Advertise in front of researchers, engineers, and readers.
Dead-end sections of water distribution systems often experience long residence times and stagnation, causing chlorine residuals to fall below regulatory standards and leading utilities to run continuous blow-offs that increase nonrevenue water. This study proposes a hybrid advection–reaction (AR) and advection–dispe...
The research results show that gender differences should be considered in the integration process of AI technologies in fine arts education, and that female students, in particular, should be supported in their use of technology.
This work identifies eight kinds of errors that are especially common in NetLogo software and presents code testing methods appropriate for models implemented in NetLogo by novice programmers.
The growing digitalization of the architecture, engineering, and construction (AEC) industry has increased the demand for graduates with strong BIM-related competencies, yet many undergraduate programs—particularly in emerging economies—still approach BIM in a fragmented and software-centered way. This study report...
The integration of service holes in glulam beams is increasingly common in mass timber construction; however, these openings introduce stress concentrations that can compromise structural integrity through crack initiation and propagation. This study presents a robust numerical framework for simulating crack behavi...
Conventional contact-based inspection techniques face significant challenges in accurately modeling the complex 3D geometry of locally buckled steel members, which hinder reliable assessment of their residual load-carrying capacity. To overcome these limitations, this study proposes a method for analyzing the bearing...
It is generally agreed that engineered structures, whether bridges or aircraft, should be designed to have failure probability no higher than 10 − 6 per lifetime. The safety analysis of concrete structures based on the current design codes cannot guarantee meeting this goal. While sophistica...
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…
A Blog post by Ai2 on Hugging Face
GPT-Lab
· gpt-lab.eu
Nov 3, 2026
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.
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.
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.
A Blog post by IBM Granite on Hugging Face
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
