Constructing a model of a system for model-based testing, simulation, or model checking can be cumbersome for existing, third party, or legacy components. Active automata learning, a form of black-box reverse engineering, and in particular Angluin’s L algorithm, support the automatic inference of a model from a System Under Learning (SUL), through observations and tests. Most of the algorithms ...

9, 10-bis(3,5-dihydroxyphenyl)anthracene (BDHA) and 2,2′,4,4′tetrahydroxybenzophenone (THB) are crystallized with bipyridine bases 4,4 ́-bipyridyl (bipy), 1,2-bis(4-pyridyl)ethane (bipy-eta), 1,2-di(4-pyridyl)ethylene (dipy-ete), 1,3-di(4pyridyl)propane (dipy-pra), 4,4 ́-dipyridyl sulfide (dipy-sul), and 4,4 ́-dipyridyl disulfide (dipy-dis) to afford molecular complexes (BDHA)·(bipy)2 1, (BDHA)·(b...

A decrease in uterine cervical cancer (CC) mortality has been observed in developed countries. However, mortality data in Brazil suggest that CC is one of the most frequent causes of cancer death in women; it is the fourth cause of death from cancer in women in Rio Grande Sul State. A time-trend ecological study was performed to analyze CC mortality trends in Rio Grande do Sul from 1979 to 1998...

In the northeastern region of the State of Rio Grande do Sul in Southern Brazil, specifically in the Rio dos Sinos basin, urban parks are an important alternative for the conservation of the remaining natural habitats, as well as for the maintenance and perpetuation of biodiversity. A floristic survey of fern and lycophyte species in the Parque Municipal Henrique Luís Roessler (PMHLR) (29º 41' ...

Objective: There's a shortage of evidence on the oral health of quilombolas. This study aims to describe oral health self-perception, as well as to verify its associated factors in quilombola communities in the state of Rio Grande do Sul. Methods: The data for this cross-sectional health survey were collected by application of a questionnaire. Since this study was part of a survey on nutritio...

1 Physician, medical resident at the Otorhinolaryngology Unit, Health Science Federal University of Porto Alegre (Universidade Federal de Ciências da Saúde de Porto Alegre UFCSPA). Hospital system of the Porto Alegre Holy House of Mercy (Santa Casa de Porto Alegre CHSCPA). 2 Physician, medical resident at the Otorhinolaryngology Unit, Professor Edmundo Vasconcelos Hospital, SP. 3 Master’s degre...

1 MD, PhD (Professor of the Department of Otolaryngology, School of Medicine, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil). 2 MD, Otolaryngologist (Otolaryngology and Head and Neck Surgery Department of Hospital de Clínicas de Porto Alegre, Porto Alegre, Brazil) 3 MD, Otorhinolaryngologist. MSc Department of otorhinolaryngology Medical School of the Federal University of Rio...

Analysis of the mortality due to cardiovascular diseases (CVD) can provide subsidies for preventive and control measures. The goal of this article is to compare CVD mortality rates in São Caetano do Sul, the state of São Paulo and the country as a whole. Standardized mortality and mortality due to CVD were calculated for the 1980-2010 period. We found a significant reduction in cardiovascular m...

In-feed Medication has been used for a long time to prevent coccidiosis, a worldwide protozoal disease in rabbits. Florfenicol (FFC) has been widely used in veterinary clinics for bacterial diseases treatment. Therefore, the use of combinations of coccidiostats with FFC in rabbits is common. In the present study, we aimed to evaluate the effect of three coccidiostats, sulfaquinoxaline (SUL), ro...

We reveal new stripe states in deformed hexagonal array of photonic wave guides when the array is terminated to have a ribbon-shaped geometry. Unlike the well-known zero energy edge modes of honeycomb ribbon, the new one-dimensional states are shown to originate from high-energy saddle-shaped photonic bands of the ribbon’s twodimensional counterpart. We find that the strain field deforming the ...