IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Magnetized color flavor locked state and compact stars

The stability of the color flavor locked phase in the presence of a strong magnetic field is investigated within the phenomenological MIT bag model, taking into account the variation of the strange quark mass, the baryon density, the magnetic field, as well as the bag and gap parameters. It is found that the minimum value of the energy per baryon in a color flavor locked state at vanishing pressure is lower than the corresponding one for unpaired magnetized strange quark matter and, as the magnetic field increases, the energy per baryon decreases. This implies that magnetized colorflavor locked matter is more stable and could become the ground state inside neutron stars. The mass-radius relation for such stars is also studied.

Solid State Marx Modulator with Blumlein Stack for Bipolar Pulse Generation

Sub-nanosecond bipolar high voltage pulses are a very important tool for food processing, medical treatment, waste water and exhaust gas processing. A Hybrid Modulator for sub-microsecond bipolar pulse generation, comprising an unipolar solid-state Marx generator connected to a load through a stack Blumlein system that produces bipolar pulses and further multiplies the pulse voltage amplitude, is presented. Experimental results from an assembled prototype show the generation of 1000 V amplitude bipolar pulses with 100 ns of pulse width and 1 kHz repetition rate.

A study on dynamic state information (DSI) around users for safe urban life

To select each node by devices and by contexts in urban computing, users have to put their plan information and their requests into a computing environment (ex. PDA, Smart Devices, Laptops, etc.) in advance and they will try to keep the optimized states between users and the computing environment. However, because of bad contexts, users may get the wrong decision, so, one of the users’ demands may be requesting the good server which has higher security. To take this issue, we define the structure of Dynamic State Information (DSI) which takes a process about security including the relevant factors in sending/receiving contexts, which select the best during user movement with server quality and security states from DSI. Finally, whenever some information changes, users and devices get the notices including security factors, then an automatic reaction can be possible; therefore all users can safely use all devices in urban computing.

Tourism mobile and recommendation systems - a state of the art

Recommendation systems have been growing in number for the last fifteen years. To evolve and adapt to the demands of the actual society, many paradigms emerged giving birth to even more paradigms and hybrid approaches. Mobile devices have also been under an incredible growth rate in every business area, and there are already lots of mobile based systems to assist tourists. This explosive growth gave birth to different mobile applications, each having their own advantages and disadvantages. Since recommendation and mobile systems might as well be integrated, this work intends to present the current state of the art in tourism mobile and recommendation systems, as well as to state their advantages and disadvantages.

Recommendation & mobile systems - a state of the art for tourism

Recommendation systems have been growing in number over the last fifteen years. To evolve and adapt to the demands of the actual society, many paradigms emerged giving birth to even more paradigms and hybrid approaches. These approaches contain strengths and weaknesses that need to be evaluated according to the knowledge area in which the system is going to be implemented. Mobile devices have also been under an incredible growth rate in every business area, and there are already lots of mobile based systems to assist tourists. This explosive growth gave birth to different mobile applications, each having their own advantages and disadvantages. Since recommendation and mobile systems might as well be integrated, this work intends to present the current state of the art in tourism mobile and recommendation systems, as well as to state their advantages and disadvantages.

Conhecimentos sobre VIH sida nos clientes de um hospital de Lakes State, Sudão do Sul

Enquadramento: O VIH/Sida exige uma ação direcionada na vertente da prevenção, cujo suporte integra a transmissão de conhecimentos promotores da adoção e manutenção de comportamentos seguros, em conformidade com as características sociais e culturais dos indivíduos. Objetivos: Validar, para a população do Sudão do Sul, a Escala de Conhecimentos sobre VIH/Sida, The HIV Knowledge Questionnaire: HIV-KQ-45, de Carey et al. (1997); analisar de que forma as variáveis sociodemográficas influenciam os conhecimentos sobre VIH/Sida, dos cidadãos de Mapuordit Sudão do Sul; verificar se a frequência de formação sobre VIH/Sida influencia o seu nível de conhecimentos. Metodologia: Estudo quantitativo, descritivo-analítico e transversal, com 232 clientes do Mary Immaculate de Mapuordit Hospital. Foi utilizado um Questionário de caracterização sociodemográfica e do contexto de formação sobre o VIH/Sida, e o HIV Knowledge Questionnaire (HVI-K-Q) de Carey, Morrison-Beedy e Johnson (1997). Resultados: Amostra é maioritariamente masculina (74.6%), com uma média de idade 22,83 (±5.793 anos). A análise fatorial confirmatória do HIV-K-Q permitiu apurar 5 fatores, cujos valores médios mais significativos foram nos fatores preconceitos/medos (média=80.60%), conhecimentos sobre os comportamentos de risco (média=76.58%) e vias de transmissão (média=70.36%). Os sudaneses pontuaram maioritariamente com razoáveis conhecimentos sobre a Sida (média=68.08%). As mulheres, os participantes mais velhos, com companheiro(a), mais escolarizados, profissionalmente ativos, a distar do hospital =<20 Km, deslocando-se num veículo não motorizado e com diagnóstico de VIH relataram mais conhecimentos sobre a Sida. Os participantes com informação sobre a prevenção do VIH/Sida e frequência em workshop na área demonstraram melhores conhecimentos. Revelaram-se preditivas dos conhecimentos acerca da doença as habilitações literárias (β=0.32) e o diagnóstico de VIH/Sida (β=0.14) revelou-se preditor dos conhecimentos sobre os comportamentos de risco. Conclusão: As casuísticas significativas do VIH/Sida justificam considerar as habilitações literárias e a presença de diagnóstico VIH/Sida como variáveis a avaliar previamente ao planeamento estratégico das ações de educação para a prevenção do VIH/Sida no Sudão do Sul. Palavras-chave: Conhecimentos; VIH/Sida; Sudão do Sul.

Cost of schizophrenia: direct costs and use of resources in the State of São Paulo

OBJECTIVE: To estimate the direct costs of schizophrenia for the public sector. METHODS: A study was carried out in the state of São Paulo, Brazil, during 1998. Data from the medical literature and governmental research bodies were gathered for estimating the total number of schizophrenia patients covered by the Brazilian Unified Health System. A decision tree was built based on an estimated distribution of patients under different types of psychiatric care. Medical charts from public hospitals and outpatient services were used to estimate the resources used over a one-year period. Direct costs were calculated by attributing monetary values for each resource used. RESULTS: Of all patients, 81.5% were covered by the public sector and distributed as follows: 6.0% in psychiatric hospital admissions, 23.0% in outpatient care, and 71.0% without regular treatment. The total direct cost of schizophrenia was US$191,781,327 (2.2% of the total health care expenditure in the state). Of this total, 11.0% was spent on outpatient care and 79.2% went for inpatient care. CONCLUSIONS: Most schizophrenia patients in the state of São Paulo receive no regular treatment. The study findings point out to the importance of investing in research aimed at improving the resource allocation for the treatment of mental disorders in Brazil.

Bat rabies in the north-northwestern regions of the state of São Paulo, Brazil: 1997-2002

OBJECTIVE: Reports on bat rabies in Brazil are sporadic and isolated. This study aimed at describing the detection of rabies virus in bats in the state of São Paulo. METHODS: A total of 7,393 bats from 235 municipalities of the north and northwestern areas of the state of São Paulo, Southeastern Brazil, were assessed according to their morphological and morphometric characteristics from 1997 to 2002. Fluorescent antibody test and mice inoculation were used for viral identification. RESULTS: Of all samples examined, 1.3% was rabies virus positive, ranging from 0.2% in 1997 to 1.6% in 2001. There were found 98 bats infected, 87 in the urban area. Fluorescent antibody test was detected in 77 positive samples, whereas 92 produced rabies signs in mice; incubation period ranging from 4 to 23 days. In 43 cities at least one rabid bat was observed. The highest proportion (33.7%) of rabies virus was found in Artibeus lituratus. Eptesicus and Myotis were the most frequent positive species (24.5%) of the Vespertilionidae family. The species Molossus molossus and Molossus rufus showed 14.3% positive bats. There were no differences in the distribution of positive rabies between females (33; 48.5%) and males (35; 51.5%). CONCLUSIONS: Rabies-infected bats were found in environments that pose a risk to both human and domestic animal population and there is a need for actions aiming at the control of these species and public education.

Mapping non-suicidal self-injury in adolescence: Development and confirmatory factor analysis of the impulse, self-harm and sucidal ideation questionnaire for adolescents (ISSIQ-A)

Non-suicidal self-injury (NSSI) is the deliberate, self-inflicted destruction of body tissue without suicidal intent and an important clinical phenomenon. Rates of NSSI appear to be disproportionately high in adolescents and young adults, and is a risk factor for suicidal ideation and behavior. The present study reports the psychometric properties of the Impulse, Self-harm and Suicide Ideation Questionnaire for Adolescents (ISSIQ-A), a measure designed to comprehensively assess the impulsivity, NSSI behaviors and suicide ideation. An additional module of this questionnaire assesses the functions of NSSI. Results of Confirmatory Factor Analysis (CFA) of the scale on 1722 youths showed items' suitability and confirmed a model of four different dimensions (Impulse, Self-harm, Risk-behavior and Suicide ideation) with good fit and validity. Further analysis showed that youth׳s engagement in self-harm may exert two different functions: to create or alleviate emotional states, and to influence social relationships. Our findings contribute to research and assessment on non-suicidal self-injury, suggesting that the ISSIQ-A is a valid and reliable measure to assess impulse, self-harm and suicidal thoughts, in adolescence.

Keep calm enfrenta a vergonha : contributos para um programa de competências sócio-emocionais

Trabalho apresentado em XIII Congreso Internacional Galego-Portugués de Psicopedagoxía, Área 1 Aprendizaje, memoria y motivación. Universidad da Coruña, 2 de Setembro de 2015.

Factors related to inadequate cervical cancer screening in two Brazilian state capitals

OBJECTIVE:To analyze factors associated with cervical cancer screening failure. METHODS:Population-based cross-sectional study with self-weighted two-stage cluster sampling conducted in the cities of Fortaleza (Northeastern Brazil) and Rio de Janeiro (Southeastern Brazil) in 2002. Subjects were women aged 25-59 years in the last three years prior to the study. Data were analyzed through Poisson regression using a hierarchical model. RESULTS: The proportion of women who did not undergo the Pap smear test in Fortaleza and Rio de Janeiro was 19.1% (95% CI: 16.1;22.1) and 16.5% (95% CI: 14.1;18.9), respectively. Higher prevalence ratios of cervical cancer screening failure in both cities were seen among women with low education and low per capita income, old age, unmarried, who never underwent mammography, clinical breast examination, and blood glucose and cholesterol level testing. Smokers also had lower screening rates compared to non-smoker women and this difference was only statistically significant in Rio de Janeiro. CONCLUSIONS:The study findings point to the need of intervention focusing particularly women in worse socioeconomic conditions and access to healthcare, old-aged and unmarried. Education activities must prioritize screening of asymptomatic women and early diagnosis for symptomatic women and access to adequate diagnostic methods and treatment should be provided.

Homicide and impunity: an ecological analysis at state level in Brazil

OBJECTIVE: To assess a new impunity index and variables that have been found to predict variation in homicide rates in other geographical levels as predictive of state-level homicide rates in Brazil. METHODS: This was a cross-sectional ecological study. Data from the mortality information system relating to the 27 Brazilian states for the years 1996 to 2005 were analyzed. The outcome variables were taken to be homicide victim rates in 2005, for the entire population and for men aged 20-29 years. Measurements of economic and social development, economic inequality, demographic structure and life expectancy were analyzed as predictors. An "impunity index", calculated as the total number of homicides between 1996 and 2005 divided by the number of individuals in prison in 2007, was constructed. The data were analyzed by means of simple linear regression and negative binomial regression. RESULTS: In 2005, state-level crude total homicide rates ranged from 11 to 51 per 100,000; for young men, they ranged from 39 to 241. The impunity index ranged from 0.4 to 3.5 and was the most important predictor of this variability. From negative binomial regression, it was estimated that the homicide victim rate among young males increased by 50% for every increase of one point in this ratio. CONCLUSIONS: Classic predictive factors were not associated with homicides in this analysis of state-level variation in Brazil. However, the impunity index indicated that the greater the impunity, the higher the homicide rate.

Environmental lead poisoning among children in Porto Alegre state, Southern Brazil

OBJECTIVE: To estimate the prevalence of lead poisoning in children and to identify associated factors, as well as possible local sources of contamination. METHODS: A cross-sectional prevalence study conducted in 2006 with a random sample of 97 children age zero to five years from a neighborhood in Porto Alegre, Southern Brazil. Blood lead levels were measured and a questionnaire administered to collect information on sociodemographics, recycling and dwelling. A preliminary environmental evaluation was carried out with direct analysis of soil and indirect analysis of air pollution with bioindicators to identify possible sources of contamination. To analyze lead concentrations from the different collection sites, for each type of material studied, ANOVA was performed with a Brown-Forsythe adjustment for heteroscedasticity and with Dunnett's T3 procedure for multiple comparisons of unequal variances. RESULTS: Blood lead levels > 10.0 µg/dL was found in 16.5% of children. Recycling of waste at home, low father's education level, and increased age of children were associated with increase blood lead levels. High lead levels were found in soil, and there was little indication of lead air pollution. CONCLUSIONS: A high prevalence of lead poisoning was identified, and the potential sources of contamination in this community appear related to waste recylcing activities. Studies should be conducted with other populations of Brazilian children and evaluate potential sources of local and general contamination, to accurately characterize this issue in Brazil.

Dermic diffusion and stratum corneum: a state of the art review of mathematical models

Transdermal biotechnologies are an ever increasing field of interest, due to the medical and pharmaceutical applications that they underlie. There are several mathematical models at use that permit a more inclusive vision of pure experimental data and even allow practical extrapolation for new dermal diffusion methodologies. However, they grasp a complex variety of theories and assumptions that allocate their use for specific situations. Models based on Fick's First Law found better use in contexts where scaled particle theory Models would be extensive in time-span but the reciprocal is also true, as context of transdermal diffusion of particular active compounds changes. This article reviews extensively the various theoretical methodologies for studying dermic diffusion in the rate limiting dermic barrier, the stratum corneum, and systematizes its characteristics, their proper context of application, advantages and limitations, as well as future perspectives.