works on

From the 1 of 7 linked papers with an AI index.

most citedTESSERA: Temporal Embeddings of Surface Spectra for Earth Representation and Analysis

39 citations · 47 across the 4 of their papers we have counts for

collaborators

7 papers

cs.LG2026

Earth observation embeddings are effective sub-grid descriptors for probabilistic weather downscaling

Pedro Sousa, Will Tebbutt, Sadiq Jaffer +3

Global weather reanalyses and forecasts resolve the evolving atmospheric state on coarse grids, but site-specific applications require predictions at arbitrary locations where near…

cs.PL20262 cited

Decomposable Type Highlighting for Bidirectional Type and Cast System

Max Carroll, Anil Madhavapeddy, Patrick Ferris

The paper introduces a decomposable highlighting system for bidirectional type checking and dynamic casts, providing an interactive web interface to help programmers debug static a…

cs.CV20266 cited

TESSERA v2: Scaling Pixel-wise Earth Foundation Models

Zhengpeng Feng, Sadiq Jaffer, Ira Shokar +13

Pixel-wise Earth-observation (EO) foundation models are now achieving state-of-the-art performance via generated spatial embeddings. However, how these models scale and how best to…

cs.LG202639 cited

TESSERA: Temporal Embeddings of Surface Spectra for Earth Representation and Analysis

Zhengpeng Feng, Clement Atzberger, Sadiq Jaffer +11

Satellite Earth-observation (EO) time series in the optical and microwave ranges of the electromagnetic spectrum are often irregular due to orbital patterns and cloud obstruction.…

cs.CR2025

Emission Impossible: privacy-preserving carbon emissions claims

Jessica Man, Sadiq Jaffer, Patrick Ferris +2

Information and Communication Technologies (ICT) have a significant climate impact, and data centres account for a large proportion of the carbon emissions from ICT. To achieve sus…

cs.SE2025

Solving Package Management via Hypergraph Dependency Resolution

Ryan Gibb, Patrick Ferris, David Allsopp +7

Package managers are everywhere, with seemingly every language and operating system implementing their own solution. The lack of interoperability between these systems means that m…