24,819 research outputs found
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations
We argue that European transport regulations can be formalized within the Sigma^1_1 fragment of monadic second order logic, and possibly weaker fragments including linear temporal logic. We consider several articles in the regulation to verify these claims
Erythrocyte as a link between basic and clinical research
© 2011 – IOS Press and the authorsWe review the major hemorheological experimental studies that show the erythrocyte aggregation as a link between basic and clinical research. The results of the clinical cross-sectional and longitudinal studies presented here will highlight the possible association between erythrocyte aggregation and plasma fibrinogen. Basic studies conducted in vitro are also mentioned as for its relevance in answering questions raised in clinical settings, as well as and in understanding the underlying influent factors in the erythrocyte tendency to aggregate and disaggregate.This work was supported by
“Fundação para a Ciência e Tecnologia
- …