Results 211 to 220 of about 1,418,610 (267)

Neonatal bacterial meningitis: the elusive search for markers of severity. [PDF]

J Pediatr (Rio J)
Sánchez PJ, Duncanson AS, Gamer JT, Haffner DN.   +3 more
europepmc   +1 more source

A System Identification Approach to Motion Model Based on Full-Scale Ship Maneuvering Data. [PDF]

Sensors (Basel)
Tian Y, Tian W, Zhang K, Hua L, Wen J, Zhu F.   +5 more
europepmc   +1 more source

Notes from the Field: Borrelia mayonii Lyme Disease - New York, 2025. [PDF]

MMWR Morb Mortal Wkly Rep
Nafiz TN, Prusinski MA, Gubbala S, White J, Naik D, Sommer J, Wroblewski D.   +6 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

State Identification and Verification with Satisfaction

2022
We use SAT-solving to construct adaptive distinguishing sequences and unique input/output sequences for finite state machines in the flavour of Mealy machines. These sequences solve the state identification and state verification problems respectively. Preliminary experiments evaluate our implementation and show that this approach via SAT-solving works
Joshua Moerman, Thorsten Wißmann
openaire   +3 more sources