:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mees, Ty, Rasiukevicius, Donatas
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Subjects:	infrastructure health checks
Online Access:	https://doi.org/10.5281/zenodo.18659970
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Eddy currents assessment of rail cracks using artificial neural networks in a laboratory setup
by: M. Gutiérrez
Published: (2023)

Chapter 11 Ancient Infrastructure Offers Sustainable Agricultural Solutions to Dryland Farming
by: Pailes, Matthew C., et al.
Published: (2023)

ClaimHack: A Benchmark Dataset of Check-worthy Factual Claims
by: Rayapet Madhusudhan, Akshay Kumar, et al.
Published: (2025)

Dynamics and management alternatives of in-channel large wood in mountain basins of the southern Andes
by: Luca Mao
Published: (2013)

Disasters and exemplified vulnerabilities in a cramped public health infrastructure in India
by: Kaur, Baljeet
Published: (2026)

Journal of Infrastructure Intelligence and Resilience
Published: (2023)

What is the correct timing for glycemia checks after delivery in a mother and child if the mother had gestational diabetes?
by: Tripdatabase
Published: (2026)

Proposal of two facial scales using emojis as tools to understand emotions in research with Brazilian consumers
by: Luana Santos
Published: (2022)

EXTRATO DE BIXINA DE SEMENTES DE URUCUM COMO CORANTE NATURAL NA FORMULAÇÃO DE PIPOCA DE MICRO-ONDAS: AVALIAÇÃO E EFEITOS NA QUALIDADE
by: F. M. TROMBETE
Published: (2020)

Survey Results from "Computational Fact-Checking of Online Discourse: Scoring Scientific Accuracy in Climate Change Related News Articles"
by: Wittenborg, Tim, et al.
Published: (2025)

The mammals of Anzali Wetland in the Southern Caspian Sea
by: Naderi, S., et al.
Published: (2017)

Proof Engine Verification (PROVED): Training and running today's frontier AI models consumes more electricity than entire small countries.
by: Proof Engine
Published: (2026)

Claim Verification: "GLP-1 drugs like Ozempic cause unavoidable major muscle loss and "Ozempic face" even with exercise and high protein intake" — Disproved
by: Proof Engine
Published: (2026)

Claim Verification: "The Pyramid of Giza was built by slaves." — Disproved
by: Proof Engine
Published: (2026)

Claim Verification: "AI hallucinations occur on fewer than 5% of factual questions" — Disproved
by: Proof Engine
Published: (2026)

Checagem jornalística em tempos de pós-verdade: o caso das delações da JBS envolvendo o presidente Michel Temer
by: Maria Clara Aquino Bittencourt
Published: (2018)

Chequeando al fact-checker. Prácticas de verificación política y sesgos partidistas en Newtral (España)
by: David García-Marín
Published: (2023)

Fact-checking en el periodismo mexicano: Análisis de la experiencia Verificado 2018
by: Rocío Galarza-Molina
Published: (2020)

Tipología de los contenidos virales de desinformación durante los primeros meses de emergencia sanitaria por la COVID-19 en el Perú
by: S. P. Pichihua Vegas
Published: (2022)

Análisis de los contenidos verificados por los fact-checkers españoles en Instagram
by: Javier Abuín-Penas
Published: (2023)

Logical derivation search with assumption traceability
by: Adomas Birštunas
Published: (2021)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
by: Proof Engine
Published: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
by: Proof Engine
Published: (2026)

THE THINGS WE NEVER READ
by: DEMATAWARAN, IVY J.
Published: (2026)

Claim Verification: "Quantum entanglement enables the transmission of usable information faster than the speed of light when the distant parties pre-agree on a measurement basis." — Disproved
by: Proof Engine
Published: (2026)

Verificado México 2018. Desinformación y fact-checking en campaña electoral
by: Raúl Magallón Rosa
Published: (2019)

Fact-Checking en México. Análisis de la percepción del público de Verificado 2018
by: Rocío Araceli Galarza Molina
Published: (2020)

Avaliação das Boas Práticas através de check-list aplicado em restaurantes self-service da região central de Maringá, Estado do Paraná
by: Tânia Maria de Souza Genta
Published: (2005)

Figure 10b from: Parra-Hernández R, Molina-Martínez Y (2023) Birds of the Tolima Department of Colombia's central Andean Region. Biodiversity Data Journal 13: e68286. https://doi.org/10.3897/BDJ.12.e68286
by: Parra-Hernández, Ronald, et al.
Published: (2025)

Acceso y uso de solicitudes de información pública en contextos de crisis en programas periodísticos de televisión en Perú
by: Alberto Jesús Villar-Campos
Published: (2025)

Figure 5f from: Parra-Hernández R, Molina-Martínez Y (2023) Birds of the Tolima Department of Colombia's central Andean Region. Biodiversity Data Journal 13: e68286. https://doi.org/10.3897/BDJ.12.e68286
by: Parra-Hernández, Ronald, et al.
Published: (2025)

Figure 6e from: Parra-Hernández R, Molina-Martínez Y (2023) Birds of the Tolima Department of Colombia's central Andean Region. Biodiversity Data Journal 13: e68286. https://doi.org/10.3897/BDJ.12.e68286
by: Parra-Hernández, Ronald, et al.
Published: (2025)

Birds of the Tolima Department of Colombia's central Andean Region
by: Parra-Hernández, Ronald, et al.
Published: (2025)

Contra las fake news: Análisis comparativo de Verificado 2018 y Verificovid en México
by: Raul Anthony Olmedo Neri
Published: (2022)

A list of the estuarine and marine fishes and some shellfishes of Sierra Leone, with their common names in either Krio or English
by: Kamara, A.B.
Published: (1977)

Alfabetización mediática en TikTok: combate a la desinformación sobre política en el contexto electoral de São Paulo en 2024
by: Liliane de Lucena Ito
Published: (2024)

ClimaQA_SLO - Slovenian Climate Question-Answering Benchmark
by: Ferk Ovčjak, Monika, et al.
Published: (2025)

DISTRIBUTION OF WITHIN-RING INTERNAL CHECKING IN Pinus Radiata GROWN IN SOUTHERN CHILE
by: A. Aguilera
Published: (2009)

LA IMPORTANCIA DEL WEB CHECK-IN EN EL SECTOR HOTELERO
by: Danielle Eloiza Platen
Published: (2018)

Tocqueville et guizot : l’amerique et l’aristocratie (une controverse)
by: Lucien Jaume
Published: (2014)