Image de couverture de livre

MODERATE Measurement and Verification Tool

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteur principal:	Antonucci, Daniele
Format:	Recurso digital
Publié:	Zenodo 2026
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

MODERATE SALT STRESS ON THE PHYSIOLOGICAL AND MORPHOMETRIC TRAITS OF ALOE VERA L.
par: Bernardo Murillo Amador, et autres
Publié: (2015)

EFFECT OF THE INDUCTION OF MODERATE HYPERPROLACTINEMIA ON SEXUAL BEHAVIOR IN WISTAR MALE RATS
par: Luz Irene Pascual-Mathey
Publié: (2015)

Chapter Gabriel de Magalhães e la difesa di Marco Polo nella <i>Nouvelle Relation de la Chine</i>
par: Davor, Antonucci
Publié: (2026)

Chapter Estrategias de adaptación del texto calderoniano en <i>La vita è un sogno</i> atribuida a Giacinto Andrea Cicognini
par: Fausta, Antonucci
Publié: (2026)

Chapter Il principe selvaggio (1695) de Francesco Silvani: una curiosa taracea de motivos del teatro áureo español
par: Antonucci, Fausta
Publié: (2022)

The lived experiences of the welfare state of platform workers: The barriers to accessing social protection in Italy, Sweden and the United Kingdom
par: Lorenza Antonucci
Publié: (2024)

Conflictos y relaciones de poder entre familias y entre individuos: Los enemigos en casa, de Lope de Vega
par: Fausta Antonucci
Publié: (2013)

Estrategia de Salud de la Familia en Brasil: un análisis de su aplicabilidad
par: Luiz Antonucci
Publié: (2017)

Habilidades dialécticas y poéticas de los personajes femeninos en el teatro calderoniano: el caso de las glosas de romances
par: Fausta Antonucci
Publié: (2021)

PARA UNA RELECTURA INTERTEXTUAL DE EL MÉDICO DE SU HONRA DE CALDERÓN
par: Fausta Antonucci
Publié: (2014)

LA COPLA REAL EN EL TEATRO DE CALDERÓN
par: Fausta Antonucci
Publié: (2019)

Mover-se ou não mover-se? As múltiplas pandemias a partir de trânsitos e narrativas de uma solicitante de refúgio lésbica ao Sul Global
par: Nathália Antonucci
Publié: (2021)

LOS SONETOS AMOROSOS EN DÍPTICO DE LOPE DE VEGA
par: Fausta Antonucci
Publié: (2017)

Puertas cerradas y cuartos a oscuras en las tragedias calderonianas (con algunas excursiones en las comedias)
par: Fausta Antonucci
Publié: (2017)

H. L. A. HART’S MODERATE INDETERMINACY THESIS RECONSIDERED: IN BETWEEN SCYLLA AND CHARYBDIS?
par: Imer B. FLORES
Publié: (2011)

ACCURACY OF GLOMERULAR FILTRATION RATE ESTIMATION FORMULAS FOR DETECTING MODERATE CHRONIC KIDNEY DISEASE IN ELDERLY BRAZILIANS
par: José Roberto de Almeida
Publié: (2013)

Sobre o protagonismo na linguagem escrita e novos modos de interação
par: Djane Antonucci Correa
Publié: (2017)

Morte, diagnóstico e evento
par: Adriano Torres Antonucci
Publié: (2023)

Política linguística e ensino de língua
par: Djane Antonucci Correa
Publié: (2009)

LABORATÓRIO DE ESTUDOS DO TEXTO: ESPAÇO PARA PRÁTICAS SOCIAIS E ACADÊMICAS
par: Djane Antonucci Correa
Publié: (2011)

Morte encefálica como problema bioético na formação médica
par: Adriano Torres Antonucci
Publié: (2022)

Humans as Path-Finders for Safe Navigation
par: Antonucci, Alessandro, et autres
Publié: (2021)

A Note on Bayesian Networks with Latent Root Variables
par: Zaffalon, Marco, et autres
Publié: (2024)

Tools at the Frontiers of Quantitative Verification
par: Andriushchenko, Roman, et autres
Publié: (2024)

HALO OCCUPATION DISTRIBUTIONS OF MODERATE X-RAY AGNS FORMED THROUGH MAJOR AND MINOR MERGERS IN A Λ-CDM COSMOLOGY
par: L. Altamirano-Dévora
Publié: (2016)

Chapter Introduzione
par: Antonucci, Fausta, et autres
Publié: (2022)

Linear stability of charged warm holes
par: Gannouji, Radouane, et autres
Publié: (2025)

Tool Verification for Test-Time Reinforcement Learning
par: Liao, Ruotong, et autres
Publié: (2026)

Loki: An Open-Source Tool for Fact Verification
par: Li, Haonan, et autres
Publié: (2024)

A Comparison of Library Tools for Monograph Verification.
par: Groot, Elizabeth H.
Publié: (1981)

Towards Precise Detection of Personal Information Leaks in Mobile Health Apps
par: Ardalani, Alireza, et autres
Publié: (2024)

IDENTIDADE CULTURAL E GESTÃO PARTICIPATIVA NA ÓTICA DO TURISMO
par: Camila de Brito Antonucci Benatti Braga
Publié: (2013)

On the Correlation between Individual Fairness and Predictive Accuracy in Probabilistic Models
par: Antonucci, Alessandro, et autres
Publié: (2025)

Quantity over quality? How economic factors and welfare state interventions affected job insecurity and job quality before, during and after the economic crises
par: Lorenza Antonucci, et autres
Publié: (2024)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
par: Lewis, Marco, et autres
Publié: (2021)

TOOLVERIFIER: Generalization to New Tools via Self-Verification
par: Mekala, Dheeraj, et autres
Publié: (2024)

Effectiveness of direct oral anticoagulants for all‐cause mortality and cardiovascular events in overweight and obese patients with atrial fibrillation: Insight from the nationwide START registry
par: Danilo Menichelli, et autres
Publié: (2025)

Causal Understanding by LLMs: The Role of Uncertainty
par: Lithgow-Serrano, Oscar, et autres
Publié: (2025)

An Ontological Approach to Compliance Verification of the NIS 2 Directive
par: Castiglione, Gianpietro, et autres
Publié: (2023)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
par: Quansah, Paapa Kwesi, et autres
Publié: (2026)