Towards robots reasoning about group behavior of museum visitors: leader detection and group tracking

The final publication is available at IOS Press through http://dx.doi.org/10.3233/AIS-170467Peer ReviewedPostprint (author's final draft

Process Realizability

We develop a notion of realizability for Classical Linear Logic based on a concurrent process calculus.Comment: Appeared in Foundations of Secure Computation: Proceedings of the 1999 Marktoberdorf Summer School, F. L. Bauer and R. Steinbruggen, eds. (IOS Press) 2000, 167-18

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