Results 91 to 100 of about 2,678,292 (198)

Symmetry reduction and heuristic search for error detection in model checking [PDF]

, 2003
The state explosion problem is the main limitation of model checking. Symmetries in the system being verified can be exploited in order to avoid this problem by defining an equivalence (symmetry) relation on the states of the system, which induces a ...
Lluch-Lafuente, Alberto
core  

Software Reliability via Run-Time Result-Checking

, 1997
We review the eld of result-checking, discussing simple checkers and self-correctors. We argue that such checkers could protably be incorporated in software as an aid to ecient debug-ging and enhanced reliability.
Manuel Blum, Hal Wasserman, Hal Wasserman (5418404), Manuel Blum (5411618)   +3 more
core   +1 more source

The impact of external fact-checking – on internal checking Do external fact-checking services affect journalists’ internal fact-checking? The case of introducing Faktisk.no in Norway

, 2019
Denne masteroppgaven utforsker forholdet mellom ekstern og intern faktasjekking og prøver å svare på om og hvordan ekstern faktasjekking påvirker måten journalister gjennomfører sin interne faktasjekking. Bakteppet er en raskt og sterk vekst i faktasjekker-organisasjoner og nettsteder i den vestlige verden i løpet av de siste tiårene.
openaire   +1 more source

Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking [PDF]

, 2005
In this paper a non-canonical circuit-based state set representation is used to efficiently perform quantifier elimination. The novelty of this approach lies in adapting equivalence checking and logic synthesis techniques, to the goal of compacting ...
Crivellari, M., M. CRIVELLARI, Nocco, Sergio, Cabodi, Gianpiero, Quer, Stefano   +4 more
core  

The application of automated rule checking to existing UK building regulations using BIM technologies [PDF]

Building designs in countries like the United Kingdom are currently checked manually against a frequently changing and increasingly complex set of building regulations.
RIBA Enterprises, Malsane, Sagar
core  

TRAINING TECHNOLOGY TO OVERCOME ADAPTATION BARRIERS

Высшее образование в России, 2016
The authors dwell on training technology aimed at overcoming adaptation barriers by first-year students. Specially organized training promotes development of educational professional activity, development of students’ self-understanding.
Elena K. Klimova, Olga A. Pomazina
doaj  

Automated equivalence checking of quantum information systems [PDF]

Quantum technologies have progressed beyond the laboratory setting and are beginning to make an impact on industrial development. The construction of practical, general purpose quantum computers has been challenging, to say the least.
Ardeshir-Larijani, Ebrahim
core  

CORRELATION BETWEEN DRYING DEFECTS, THEIR PARAMETERS AND MOISTURE GRADIENT IN KILN-DRIED, SOUTH AFRICAN GROWN EUCALYPTUS GRANDIS POLES

Maderas: Ciencia y Tecnología, 2010
Non-destructive testing for drying defects in Eucalyptus grandis utility poles would be highly advantageous. These defects can negatively affect creosote preservative treatment and in-service performance.
P Mugabi, T Rypstra, H.F Vermaas, D.G Nel   +3 more
doaj  

Correlation between drying defects, their parameters and moisture gradient in kiln-dried, south african grown Eucalyptus Grandis poles

Maderas: Ciencia y Tecnología, 2014
Non-destructive testing for drying defects in Eucalyptus grandis utility poles would be highly advantageous. These defects can negatively affect creosote preservative treatment and in-service performance.
P. Mugabi, T. Rypstra, H.F. Vermaas, D.G. Nel   +3 more
doaj  

When reminders fail to eliminate age differences in prospective memory. [PDF]

Psychol Aging
Ellis D, Dupre C, Gohl K, Robison MK, Ball BH.   +4 more
europepmc   +1 more source