Abstract Low Earth Orbit (LEO) satellite augmentation can improve the availability and satellite geometry of Precise Point Positioning (PPP). However, most existing Global Navigation Satellite System (GNSS)/LEO PPP methods rely on fixed stochastic models and do not fully exploit the heterogeneous characteristics of GNSS and LEO observations, a limitation that is particularly problematic in complex environments. To address this limitation, we propose a Factor Graph Optimization (FGO)-based approach for integrated GNSS/LEO PPP that combines heterogeneous observation modeling with an adaptive stochastic model. We formulate a unified dual-frequency PPP-FGO framework to process both GNSS and LEO observations. A relation-aware Heterogeneous Graph Neural Network (HetGNN) is designed to jointly model receiver, GNSS satellite, and LEO satellite nodes and their multitype observation relationships. This network estimates observation-level uncertainty scale factors, which are incorporated into the adaptive stochastic model through covariance rescaling. We evaluate the proposed method using real vehicular GNSS data and simulated LEO observations in mixed, open, and urban obstructed scenarios. The proposed approach achieves average Three-Dimensional (3D) positioning Root Mean Square (RMS) errors of 3.06 m, 0.67 m, and 3.00 m in these respective environments. In the long-distance mixed scenario, it also achieves an availability rate of 98.93% and a 60-s continuity probability of 91.09%. Compared to baseline methods using elevation-angle and carrier-to-noise-density-ratio joint weighting and residual-driven weighting, the proposed method improves 3D positioning accuracy in the urban obstructed scenario by 28.4% and 10.2%, respectively, while reducing the reconvergence time to 47.33 s. The proposed method improves positioning accuracy, availability, short-term continuity, and reconvergence speed for GNSS/LEO PPP in complex environments, offering a promising approach for reliable, high-accuracy positioning and navigation services.
Agile methods continue to gain popularity. In particular, the Scrum method appears to be on the verge of becoming a de-facto standard in the industry, leading the so called Agile movement. While there are success stories and recommendations, there is little scientifically valid evidence of the challenges in the adoptio...
A. Marchenko, P. Abrahamsson· Agile Conference· 59 citations· ⚡11
A comprehensive taxonomy of the challenges faced when a medium-scale organization decided to adopt software platforms is provided, namely: business challenges, organizational challenges, technical challenges, and people challenges.
Yaser Ghanam, F. Maurer, P. Abrahamsson· Information and Software Tec...· 41 citations· ⚡3
It is shown that high article processing charges are not sufficiently justified by the publishers, which often lack transparency and may prevent authors from adopting OA.
D. Graziotin, Xiaofeng Wang, P. Abrahamsson· Scientometrics· 21 citations· ⚡1
MCGLPPI, a novel geometric representation learning framework that combines graph neural networks (GNNs) with the MARTINI molecular coarse-grained (CG) model to predict overall PPI properties accurately and efficiently, offers an effective and efficient solution for PPI overall property predictions.
Yang Yue, Shu Li, Yihua Cheng et al.· bioRxiv· 15 citations
PepPCBench enables a robust evaluation of PFNN-based methods and supports their continued development for peptide-protein structure prediction, and highlights the influence of peptide length, conformational flexibility, and training set similarity on prediction accuracy.
Si-Long Zhai, Huifeng Zhao, Ji-Ke Wang et al.· Journal of Chemical Informat...· 13 citations· ⚡1
OmniMol is presented, a framework using hypergraphs to improve predictions of molecular properties, addressing challenges of imperfect data annotation and enhancing model explainability, and achieves state-of-the-art performance in properties prediction.
Assistant Professor Pat Pataranutaporn describes a new interface that lets everyday users glimpse inside an AI's neural network before their chatbot ever says a word.
Microsoft Research Blog· microsoft.comJul 13, 2026
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduJul 6, 2026
PhD student Rachel Sava, winner of the Envisioning the Future of Computing Prize, explores transformative improvements and dystopian risks of neural technology.