Results 251 to 260 of about 14,100 (298)

Structure and Tribological Properties of TiN/DLC, CrN/DLC, TiAlCN/DLC, AlTiCN/DLC and AlCrTiN/DLC Hybrid Coatings on Tool Steel. [PDF]

Materials (Basel)
Staszuk M, Pakuła D, Olszowska M, Kloc-Ptaszna A, Szindler M, Wieczorek AN, Honysz R, Jonda E, Basiaga M.   +8 more
europepmc   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Stress-Based Assessment of Bio-Inspired Phosphene Vision Encoding: Trade-Offs Among Performance, Residual Proxy Safety Burden, and Topology-Based Representation Metrics. [PDF]

Biomimetics (Basel)
Lee Y.
europepmc   +1 more source

Reply to: Comment on "Inferring broken detailed balance in the absence of observable currents". [PDF]

Nat Commun
Bisker G, Martínez IA, Horowitz JM, Parrondo JMR.   +3 more
europepmc   +1 more source

EXTREME VALUES OF THE FIEDLER VECTOR ON TREES. [PDF]

Linear Algebra Appl
Lederman RR, Steinerberger S.
europepmc   +1 more source

A Counterexample on Measurable Processes

, 1972
openaire   +2 more sources

Counterexample Search in Diagram‐Based Geometric Reasoning

Cognitive Science, 2021
peer reviewedTopological relations such as inside, outside, or intersection are ubiquitous to our spatial thinking. Here, we examined how people reason deductively with topological relations between points, lines, and circles in geometric diagrams.
Marie Amalric, Yaçin Hamami
exaly   +2 more sources

Counterexample Guided Abstraction Refinement for Stability Analysis

Lecture Notes in Computer Science, 2016
In this paper, we present a counterexample guided abstraction refinement (Cegar) algorithm for stability analysis of polyhedral hybrid systems. Our results build upon a quantitative predicate abstraction and model-checking algorithm for stability ...
Pavithra Prabhakar, Miriam Garcia Soto
exaly   +2 more sources

SAT-Based Counterexample-Guided Abstraction Refinement

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2004
. We describe new techniques for model checking in the counterexample guided abstraction-refinement framework. The abstraction phase ‘hides ’ the logic of various variables, hence considering them as inputs. This type of abstraction may lead to ‘spurious
E M Clarke
exaly   +1 more source