Results 271 to 280 of about 268,099 (291)
Some of the next articles are maybe not open access.

Loop Quantum Gravity

Living Reviews in Relativity, 2008
Carlo Rovelli
exaly  

Over-Approximating Loops to Prove Properties using Bounded Model Checking

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, 2015
Priyanka Darke   +4 more
openaire   +1 more source

Member Checking

Qualitative Health Research, 2016
Linda Birt, Suzanne Scott, Debbie Cavers
exaly  

Symmetry in temporal logic model checking

ACM Computing Surveys, 2006
Alice Miller   +2 more
exaly  

Loop Quantum Cosmology

Living Reviews in Relativity, 2005
Martin Bojowald
exaly  

Classification of rules for automated BIM rule checking development

Automation in Construction, 2015
Wawan Solihin
exaly  

A Hybrid Human-In-The-Loop Framework for Fact Checking [PDF]

open access: possible, 2022
David La Barbera   +2 more
openaire  

Home - About - Disclaimer - Privacy