In vivo study of estrogen (RE) and progesterone (RP) receptors and verification of...

Analysis of the influence of using parameter domains on ramdom-stimulation-based...

Arbitrage in financial markets: a Bayesian approach for verification

Evaluation of analgesic profile of tramadol by the temporal verification of its plasmatic...

Modeling and formal verification method applied to air traffic systems

Classificação e verificação de impressões digitais

Hearing aid verification: comparison of two protocols of probe microphone measur...

Teleducation: development and evaluation of an educational material in English and...

Formal verification of systems modeled as finite state machines

Electroacoustic verification of frequency modulation systems in cochlear implant...