Sep 2026· Computers Environment and Urban Systems· 33 references
Urban Heat Island Mitigation
Abstract
Urban tree canopy coverage (TCC) targets are increasingly used for heat mitigation. However, translating fixed percentage targets into context-specific cooling benefits, population coverage across cooling thresholds, and spatial priorities is essential for making them actionable in planning practice. This study develops a spatially explicit framework that couples a Graph Neural Network (GNN)-based land surface temperature (LST) surrogate model with multi-objective optimization to evaluate TCC increment scenarios in residential areas. Using Shanghai, China, as a case study, we first show that incorporating neighbourhood context improves LST prediction, with the GraphSAGE model consistently outperforming non-spatial machine-learning models. We then compare a uniform 30% TCC baseline with three equality-oriented scenarios using population-weighted, heat-exposure-weighted and vulnerability-weighted perspectives. With mean summer LST as the baseline, the equality-oriented knee solutions required 18.0–20.2% more canopy investment than the uniform baseline while increasing mean LST reduction by 45.3–48.8%. The three equality-oriented scenarios produced similar city-scale cooling patterns but led to different local canopy-allocation priorities. Marginal cooling gains diminished as added TCC increased, with the most rapid gains occurring within the first 20 percentage points of TCC increment, bringing average TCC close to the 30% benchmark in Shanghai. At a 20-percentage-point TCC increment, about 65% of the population achieved at least 1 °C LST reduction, whereas stronger cooling thresholds remained difficult to reach even under high-budget scenarios. Overall, this study translates fixed-percentage canopy targets into budget-sensitive cooling outcomes, equality responses and spatial priorities, providing an urban-scale screening framework for TCC planning.
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.