Preliminary evidence from multi-vehicle collaborative experimentation, code and experimental-skill sharing, and software-hardware collaborative testing shows that experimental records can be examined together with their operating conditions, providing a reviewable basis for Apollo-on-Hongqi EV research.
Dianjing Cheng, Yike Li, Lan Yang et al.· 0 citations
This work introduces nonlinear Fourier retraction, which uses QSP completion and phase synthesis to turn a nearly feasible polynomial into phase factors for a feasible QSP polynomial without increasing the degree.
Yu-Long Dong, James B. Larsen, Lin Lin et al.· 1 citation
Experimental results indicate that such complex designs exceed the capabilities of existing approaches, whereas the proposed LLM-based hardware development framework is the only one capable of producing functional end-to-end design.
This study examined the growth of Robusta coffee seedlings treated with ecoenzymes derived from fruit peel and addressed the limitations of red-yellow podzolic soil, which is deficient in macronutrients and organic matter. The objective of this study was to determine whether the application of different concentrations...
F. Febyola, Venti Jatsiyah· West Science Agro· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
A mascot is a visual identity element that plays an important role in shaping the image and appeal of an event. Porsimaptar (Sports and Arts Week for Students, Pupils, and Cadets) is a prestigious annual competition organized by the Semarang Police Academy (Akpol). The official Porsimaptar logo features the silhouette...
Yusuf Putra, Bangkit Sanjaya· Arty: Jurnal Seni Rupa· 0 citations
The results highlight that gamification features can have a significant impact if introduced in a classical testing environment, possibly increasing effectiveness, efficiency and perceived engagement of the testers.
Lorenzo Laudadio, Riccardo Coppola, M. Torchiano· Software quality journal· 0 citations
OmegaUse-SOP is introduced, a human-in-the-loop SOP Engineering system for transforming human demonstrations of professional computer use into reusable SOP skills for GUI agents, and the results suggest that OmegaUse-SOP can improve GUI-agent reliability on professional SOP tasks.
Yixiong Xiao, L. An, Hu-Cheng Yang et al.· 0 citations
Public v5.0.0 artifact for the T1 truth-blind lifecycle-conditioned metamorphic-testing study. Contents frozen T1 protocol and scenario definitions source code and native Tier-A OpenSees provider 24 constructed cases and 72 scientific process records detector manifests, post-freeze evaluation tables, information-flow c...
Yangqi Ma, Weiji Sun, Bing Liang et al.· Zenodo (CERN European Organi...· 0 citations
Edge AI systems are emerging from the convergence of IoT, edge computing, AI, agentic AI, and embodied, physical generative edge AI delivering adaptive, autonomous behaviour under physical, cyber, and operational constraints while remaining trustworthy. This article frames edge AI as a complex system-of-systems in whic...
Ovidiu Vermesan, Marcello Coppola, Silke Braune et al.· River Publishers eBooks· 0 citations
This note collects the constructions, proofs, and prior-art positioning behind the exact-rational certificates in the Podium library (podium.verify): barrier certificates for abort safety, Karush-Kuhn-Tucker certificates for the online convex solves, control-Lyapunov certificates, sum-of-squares certificates, and an op...
Adi Oltean· Zenodo (CERN European Organi...· 0 citations
A hands-on, test-first tutorial for building real software with AI while keeping human control of design, scope, and evidence. Worked examples use Aider, Python, and pytest.
Khalid Taha· Zenodo (CERN European Organi...· 0 citations
SUPER DNS ONE is a fully differentiable, three‑dimensional finite‑volume solver for the compressible Navier–Stokes equations. It is designed for high‑fidelity civilian research: Medical flows – cardiovascular haemodynamics, respiratory aerosol transport, micro‑fluidic drug delivery. Atmospheric and environmental physic...
Yoon A Limsuwan· Zenodo (CERN European Organi...· 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.
