Automated Home Oxygen Delivery for Patients with COPD and Respiratory Failure: A New Approach. [PDF]
Sanchez-Morillo D +3 more
europepmc +1 more source
Maximizing the Inner Resilience of a Network-on-Chip through Router Controllers Design. [PDF]
Melo DR +3 more
europepmc +1 more source
Survey: smartphone-based assessment of cardiovascular diseases using ECG and PPG analysis. [PDF]
Shabaan M +9 more
europepmc +1 more source
Synthesis of Mealy FSM with transformation of system of microoperations in excitation functions
The method of hardware optimization of Mealy FSM is proposed. Method is based on the representation of the system of excitation functions terms as the pairs 6microinstruction in the initial state, microinstruction in the state of transactionc and unitary encoding of microoperations. An example of application of proposed method is given.
Alexander Barkalov, Arkadiusz Bukowiec
openaire +1 more source
A model-guided symbolic execution approach for network protocol implementations and vulnerability detection. [PDF]
Wen S, Meng Q, Feng C, Tang C.
europepmc +1 more source
Cell wall compositional differences between mealy and non-mealy 'Forelle' pear during ripening
Mealiness of 'Forelle' pear during ripening is a problem for the South African fruit export industry. The aim of this work was to investigate differences in cell wall polysaccharides between mealy and non-mealy 'Forelle' pears.
Huysamer M., Crouch E.M.
core
Finite state machine implementation for left ventricle modeling and control. [PDF]
King JM, Bergeron CA, Taylor CE.
europepmc +1 more source
Learning Mealy machines with local timers
LEARNING MEALY MACHINES WITH LOCAL TIMERS Learning Mealy machines with local timers / Kogel, Paul Werner (Rights reserved) (-
Kogel, Paul Werner
core
A Decentralized Compositional Framework for Dependable Decision Process in Self-Managed Cyber Physical Systems. [PDF]
Zhou P, Zuo D, Hou KM, Zhang Z.
europepmc +1 more source

