Arquivo Guimarães Rosa

ROSA Analyser: An automatized approach to analyse processes of ROSA

In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process of the Markovian Process Algebra ROSA. In this first development stage, ROSA Analyser is able to generate the Labelled Transition System, according to ROSA Operational Semantics. ROSA Analyser performance starts with...

Prof. Dr. Rubens de Guimarães Santos: flawless surgeon.

Luiz Antônio Rivetti was born in São Paulo, the capital of the São Paulo State, in 1925. He attended the medical course at Paulista School of Medicine. He graduated in 1952 when he In 1962 with the establishment of the Faculty of Medical Sciences of Santa Casa de São Paulo (Holy House of Mercy of São Paulo), he went along with Prof. Felipozzi to the newly founded Academic Institution, where he ...

Rosa Beddington

freely distributed and have been invaluable resources Rosa Beddington died on May 18, 2001; she was to the community. just 45. Rosa moved again, in 1993, to take up the position Rosa was an embryologist of the greatest distinction; of Head of the Division of Mammalian Development at she had extraordinary technical skills, a piercing intellithe Medical Research Council’s National Institute for g...

NONPARAMETRIC IDENTIFICATION Rosa

Pharmacological Effects of Rosa Damascena

Rosa damascena mill L., known as Gole Mohammadi in is one of the most important species of Rosaceae family flowers. R. damascena is an ornamental plant and beside perfuming effect, several pharmacological properties including anti-HIV, antibacterial, antioxidant, antitussive, hypnotic, antidiabetic, and relaxant effect on tracheal chains have been reported for this plant. This article is a comp...