English
Related papers

Related papers: The Jive Verification System and its Transformativ…

200 papers

Conformal prediction is an uncertainty quantification method that constructs a prediction set for a previously unseen datum, ensuring the true label is included with a predetermined coverage probability. Adaptive conformal prediction has…

Machine Learning · Computer Science 2024-11-07 Erfan Hajihashemi , Yanning Shen

Probabilistic forecasts are typically obtained using state-of-the-art statistical and machine learning models, with model parameters estimated by optimizing a proper scoring rule over a set of training data. If the model class is not…

Applications · Statistics 2026-05-05 Jakob Benjamin Wessel , Maybritt Schillinger , Frank Kwasniok , Sam Allen

This study evaluates the performance of the area-based, district heatwave forecasts that drive the Australian heatwave warning service. The analysis involves using a recently developed approach of scoring multicategorical forecasts using…

Atmospheric and Oceanic Physics · Physics 2024-12-13 Nicholas Loveday , Maree Carroll

Severe convective storms are among the most dangerous weather phenomena and accurate forecasts mitigate their impacts. The recently released suite of AI-based weather models produces medium-range forecasts within seconds, with a skill…

Atmospheric and Oceanic Physics · Physics 2025-03-11 Monika Feldmann , Tom Beucler , Milton Gomez , Olivia Martius

Most organizations adjust their statistical forecasts (e.g. on sales) manually. Forecasting Support Systems (FSS) enable the related process of automated forecast generation and manual adjustments. As the FSS user interface connects user…

Human-Computer Interaction · Computer Science 2024-11-04 Leif Feddersen

WeatherBench 2 is an update to the global, medium-range (1-14 day) weather forecasting benchmark proposed by Rasp et al. (2020), designed with the aim to accelerate progress in data-driven weather modeling. WeatherBench 2 consists of an…

In recent years, under deregulated environment, electric utility companies have been encouraged to ensure maximum system reliability through the employment of cost-effective long-term asset management strategies. To help achieve this goal,…

Computational Engineering, Finance, and Science · Computer Science 2020-07-02 Ming Dong , Alexandre B. Nassif

Over the last three decades, ensemble forecasts have become an integral part of forecasting the weather. They provide users with more complete information than single forecasts as they permit to estimate the probability of weather events by…

Code agents and empirical software engineering rely on public code datasets, yet these datasets lack verifiable quality guarantees. Static 'dataset cards' inform, but they are neither auditable nor do they offer statistical guarantees,…

Software Engineering · Computer Science 2025-10-03 Fatou Ndiaye Mbodji , El-hacen Diallo , Jordan Samhi , Kui Liu , Jacques Klein , Tegawendé F. Bissyande

Artificial Intelligence (AI) weather prediction (AIWP) models are powerful tools for medium-range forecasts but often lack physical consistency, leading to outputs that violate conservation laws. This study introduces a set of novel…

Atmospheric and Oceanic Physics · Physics 2025-01-30 Yingkai Sha , John S. Schreck , William Chapman , David John Gagne

Precipitation nowcasting, the high-resolution forecasting of precipitation up to two hours ahead, supports the real-world socio-economic needs of many sectors reliant on weather-dependent decision-making. State-of-the-art operational…

The Meteorology is a field where huge amounts of data are generated, mainly collected by sensors at weather stations, where different variables can be measured. Those data have some particularities such as high volume and dimensionality,…

Machine Learning · Computer Science 2025-10-27 Shadi Aljawarneh , Juan A. Lara , Muneer Bani Yassein

Formal verification of complex algorithms is challenging. Verifying their implementations goes beyond the state of the art of current automatic verification tools and usually involves intricate mathematical theorems. Certifying algorithms…

Logic in Computer Science · Computer Science 2013-02-01 Eyad Alkassar , Sascha Böhme , Kurt Mehlhorn , Christine Rizkallah

The aim of this paper is to propose an adaptation of the well known adaptive conformal inference (ACI) algorithm to achieve finite-sample coverage guarantees in multi-step ahead time-series forecasting in the online setting. ACI dynamically…

Machine Learning · Statistics 2024-09-24 Johan Hallberg Szabadváry

Knowing the actual precipitation in space and time is critical in hydrological modelling applications, yet the spatial coverage with rain gauge stations is limited due to economic constraints. Gridded satellite precipitation datasets offer…

Signal Processing · Electrical Eng. & Systems 2023-08-04 Hristos Tyralis , Georgia Papacharalampous , Nikolaos Doulamis , Anastasios Doulamis

Because of the rudimentary reporting methods and general lack of documentation, the creation of a severe weather database within the Philippines has been difficult yet relevant target for climatology purposes and historical interest.…

Atmospheric and Oceanic Physics · Physics 2024-12-11 Generich H. Capuli

Background. Defect prediction has been a highly active topic among researchers in the Empirical Software Engineering field. Previous literature has successfully achieved the most accurate prediction of an incoming fault and identified the…

Software Engineering · Computer Science 2026-01-06 Mikel Robredo , Matteo Esposito , Fabio Palomba , Rafael Peñaloza , Valentina Lenarduzzi

In this study, a novel machine learning approach was used to classify three types of synoptic weather events in Taiwan area from 2001 to 2010. We used reanalysis data with three machine learning algorithms to recognize weather systems and…

Atmospheric and Oceanic Physics · Physics 2019-05-22 Shih-Hao Su , Jung-Lien Chu , Ting-Shuo Yo , Lee-Yaw Lin

Weather forecasting remains a crucial yet challenging domain, where recently developed models based on deep learning (DL) have approached the performance of traditional numerical weather prediction (NWP) models. However, these DL models,…

Atmospheric and Oceanic Physics · Physics 2024-02-13 Zhanxiang Hua , Yutong He , Chengqian Ma , Alexandra Anderson-Frey

The output of solar power generation is significantly dependent on the available solar radiation. Thus, with the proliferation of PV generation in the modern power grid, forecasting of solar irradiance is vital for proper operation of the…

Applications · Statistics 2022-09-05 Kwasi Opoku , Svetlana Lucemo , Qun Zhou Sun , Aleksandar Dimitrovski