29 research outputs found

    A taxonomic bibliography of the South American snakes of the Crotalus durissus complex (Serpentes, Viperidae)

    Full text link

    Timed circuit verification using TEL structures

    No full text

    Verification of Bounded Delay Asynchronous Circuits with Timed Traces

    No full text

    Seqüência do tratamento de curta duração da tuberculose pulmonar em Unidades Sanitárias do Vale do Paraíba, 1980-1981, São Paulo, Brasil Evaluation of short-term chemotherapy for pulmonary tuberculosis in the Health Institutions of the Vale do Paraíba, 1980-1981, S. Paulo, Brazil

    Get PDF
    Estuda-se a seqüência do tratamento de curta duração em doentes com tuberculose pulmonar, inscritos e com alta no período de outubro de 1980 a outubro de 1981, nas Unidades Sanitárias do Departamento Regional de Saúde do Vale do Paraíba - DRS-3 - da Secretaria da Saúde do Estado de São Paulo, Brasil. Os dados obtidos pela verificação dos prontuários dos doentes foram analisados sob os seguintes aspectos: distrito sanitário, idade e sexo do paciente, tipo de alta, esquema de tratamento, hospitalização, intolerância medicamentosa e tempo de negativação do escarro. Dos 308 doentes que constituíram a população de estudo, 254 (82,5%) tiveram alta por cura, 21 (6,8%) por abandono e 33 (10,7%) por mudança de diagnóstico, óbito ou transferência. Os resultados confirmam a efetividade do tratamento encurtado da tuberculose pulmonar com os esquemas recomendados, apresentando na área trabalhada baixas taxas de abandono e de hospitalização e resultados bastante favoráveis quanto à negativação dos bacilíferos.<br>The results of the short-term chemotherapy for pulmonary tuberculosis performed on patients who were admitted to the Health Clinics of one of the S. Paulo State's Health Divisions and who completed the treatment during the period from October 1980 to October 1981 are shown. Such aspects of the records as Health Districts, patient's age and sex, success and regimen of treatment, hospitalization, drug toxicity and smear negativity period were analysed. The findings confirm the effectiveness of short-term chemotherapy under program conditions as corroborated by its acceptability to the patients, the success achieved and the benefits in the decrease of the number of admissions to hospital and in the reduction of the sources of infection within a shorter period

    Symbolic Unfoldings for Networks of Timed Automata

    Get PDF
    Abstract. In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets extended with read arcs and symbolic constraints on places and transitions. We prove that there is a complete finite prefix for any NTA that contains at least the information of the simulation graph of the NTA but keep explicit the notions of concurrency and causality of the network.
    corecore