Publications

Explore 806 academic publications

Showing 12 of 806 publications

MizAR 60 for Mizar 50

As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically ...

2023 Leibniz-Zentrum für Informatik (Schlo... 70225 citations

The ERA5 global reanalysis

Abstract Within the Copernicus Climate Change Service (C3S), ECMWF is producing the ERA5 reanalysis which, once completed, will embody a detailed record of the global atmosphere...

2020 Quarterly Journal of the Royal Meteor... 26490 citations

Squeeze-and-Excitation Networks

Convolutional neural networks are built upon the convolution operation, which extracts informative features by fusing spatial and channel-wise information together within local ...

2018 25361 citations

A resource‐based view of the firm

Abstract The paper explores the usefulness of analysing firms from the resource side rather than from the product side. In analogy to entry barriers and growth‐share matrices, t...

1984 Strategic Management Journal 24025 citations