Novel Virtual Reality Methods for the Treatment of Obsessive-Compulsive Disorder Using a User-Centered Design Approach: Focus Group Study. [PDF]
Colman M +5 more
europepmc +1 more source
Weight-four parity checks in a spin-shuttling architecture. [PDF]
Undseth B +9 more
europepmc +1 more source
Emergence of specific binding and catalysis from a designed generalist binding protein. [PDF]
Chen Y +14 more
europepmc +1 more source
From Pandemic Response to Kill the Clipboard: Patient-Controlled Sharing of Health Data Using International Patient Summary (IPS) and QR codes. [PDF]
D'Amore JD +4 more
europepmc +1 more source
Architecture of the 8 MDa Hdr-Vhu-Fwd super-assembly in class I methanogens. [PDF]
Paul S +8 more
europepmc +1 more source
Structural and mechanistic insights into gating and allosteric modulation of GluN1-GluN3A NMDA receptors. [PDF]
Kim J +5 more
europepmc +1 more source
An algorithm for BCH codes extended with finite state automata
Summary: This article develops a combinatorial algorithm for a class of codes extending BCH codes and constructed with finite state automata. Our algorithm computes the largest number of errors that the extended codes can correct, and finds a generator for each optimal code in this class of extensions.
Kelarev, Andrei
openaire +3 more sources
Related searches:
Assessing test suites of extended finite state machines against model‐ and code‐based faults
Software Testing, Verification and Reliability, 2021SummaryTests can be derived from extended finite state machine (EFSM) specifications considering the coverage of single‐transfer faults, all transitions using a transition tour, all‐uses, edge‐pair, and prime path with side trip. We provide novel empirical assessments of the effectiveness of these test suites.
Khaled El-Fakih +2 more
openaire +2 more sources

