Typed behavioural equivalences in the Pi-Calculus

In this thesis, I study the notion of program equivalences, i.e. proving that two programs can be used interchangeably without altering the overall observable behaviour. This definition is highly dependent on the contexts in which these programs can be used; does the context have exceptions, parallelism, etc... So proofs also need to be adapted according to the expressiveness of those contexts. This thesis presents on the pi-calculus – a concurrent programming language – under various typing constraints. Types allows us to impose different disciplines like forcing a sequential execution, or ensuring linearity, meaning an object can be used once. In each case, the bisimulation, a standard proof technique for the pi-calculus, needs to be adapted accordingly to obtain a suitable equivalence. We then test how using the modified bisimulations can be used to reason about a language with higher-order functions and references, which once translated into the pi-calculus satisfies the typing constraints.

Understanding food waste through behavioural theories in different settings

SDG 12.3 aims to promote sustainable consumption and production patterns by addressing the global food loss and waste problem. Given the multiple interrelated impacts, food waste is recognized as one of the major food system challenges. The scope of this work is to contribute to the understanding on food waste generation and potential approaches to tackle it. This work was specifically designed to achieve the following goals: 1) Understand specific factors that affect individual behaviours to generate FW at household, 2) Analyse the effective ways to reduce FW through behaviour change perspective given the catering and hospitality sector, and 3) Provide an evidence synthesis on intervention study that incorporate stakeholder insights focus on school meals. The first goal of identifying food waste drivers was achieved by the systematically reviewing on peer-reviewed and grey literature. The Motivation-Opportunity-Ability (MOA) framework was applied to frame consumer behavioural drivers and identify levers that could be potentially utilized to reduce food waste. Consumer segmentation was further discussed to provide insights for developing tailored food waste reduction interventions. The second goal required the identification on practical interventions, which has been accomplished by systematic literature review basing on the Preferred Reporting Items for Systematic Reviews and Meta-Analyses. The efficiency and working mechanism of interventions were evaluated basing on the combination of MOA and behavioural change wheel. Building on the evidence of effective interventions, a roadmap was developed for policymakers and practitioners to lead their own pathway on intervention study and upscaling. The third aim has been achieved with a school meals interventions mapping and the implementation of stakeholder workshops. The method was built on the literature review and then enriched by intervention co-design dialogue among stakeholders. The overall conclusion addressed challenges of food waste determents identification, tailored reduction interventions developing, sustainable consumption promotion with school meals.

Combined Analysis Of νμ Disappearance And νμ→νe Appearance In Minos Using Accelerator And Atmospheric Neutrinos.

We report on a new analysis of neutrino oscillations in MINOS using the complete set of accelerator and atmospheric data. The analysis combines the ν(μ) disappearance and ν(e) appearance data using the three-flavor formalism. We measure |Δm(32)(2)| = [2.28-2.46] × 10(-3) eV(2) (68% C.L.) and sin(2)θ(23) = 0.35-0.65 (90% C.L.) in the normal hierarchy, and |Δm(32)(2)| = [2.32-2.53] × 10(-3) eV(2) (68% C.L.) and sin(2)θ(23) = 0.34-0.67 (90% C.L.) in the inverted hierarchy. The data also constrain δ(CP), the θ(23} octant degeneracy and the mass hierarchy; we disfavor 36% (11%) of this three-parameter space at 68% (90%) C.L.

Visual Navigation In The Neotropical Ant Odontomachus Hastatus (formicidae, Ponerinae), A Predominantly Nocturnal, Canopy-dwelling Predator Of The Atlantic Rainforest.

The arboreal ant Odontomachus hastatus nests among roots of epiphytic bromeliads in the sandy forest at Cardoso Island (Brazil). Crepuscular and nocturnal foragers travel up to 8m to search for arthropod prey in the canopy, where silhouettes of leaves and branches potentially provide directional information. We investigated the relevance of visual cues (canopy, horizon patterns) during navigation in O. hastatus. Laboratory experiments using a captive ant colony and a round foraging arena revealed that an artificial canopy pattern above the ants and horizon visual marks are effective orientation cues for homing O. hastatus. On the other hand, foragers that were only given a tridimensional landmark (cylinder) or chemical marks were unable to home correctly. Navigation by visual cues in O. hastatus is in accordance with other diurnal arboreal ants. Nocturnal luminosity (moon, stars) is apparently sufficient to produce contrasting silhouettes from the canopy and surrounding vegetation, thus providing orientation cues. Contrary to the plain floor of the round arena, chemical cues may be important for marking bifurcated arboreal routes. This experimental demonstration of the use of visual cues by a predominantly nocturnal arboreal ant provides important information for comparative studies on the evolution of spatial orientation behavior in ants. This article is part of a Special Issue entitled: Neotropical Behaviour.

Dyspareunia In Hiv-positive And Hiv-negative Middle-aged Women: A Cross-sectional Study.

To evaluate whether dyspareunia is associated with HIV status in menopausal women and also to assess which factors are associated with dyspareunia in a group of HIV-positive menopausal women. A cross-sectional study was conducted with 178 HIV-negative and 128 HIV-positive women aged 40-60 years. The Short Personal Experiences Questionnaire (SPEQ) was used to collect data. Sociodemographic, clinical, behavioural and reproductive factors were evaluated, as well as factors related to the HIV infection. Dyspareunia was defined as pain during intercourse. A bivariate analysis and Poisson multiple regression analysis were performed. Overall, 41.4% of the HIV-positive women reported dyspareunia compared with 34.8% of the HIV-negative women (p=0.242). In the HIV-positive women, bivariate analysis revealed an association between dyspareunia and having a steady partner (p=0.047); the woman's partner having undergone HIV testing (p=0.020); vaginal dryness (p<0.001); muscle/joint pain (p=0.021); physical/emotional violence (p=0.049); urinary incontinence (p=0.004); and the use of lamivudine/zidovudine (p=0.048). The Poisson multiple regression analysis found an association between dyspareunia and vaginal dryness (prevalence ratio (PR)=1.96, 95% CI 1.10 to 3.50, p=0.023) and urinary incontinence (PR=1.86, 95% CI 1.06 to 3.27, p=0.031). Dyspareunia was common in this group of HIV-positive women and was associated principally with vaginal dryness and urinary incontinence. The importance of treating dyspareunia within the context of sexual health in this group of women should be emphasised and appropriate management of this issue may reduce the likelihood of lesions on the vaginal wall, which may act as a portal of entry for other infections.

Factors Associated With The Age Of The Onset Of Diabetes In Women Aged 50 years Or More: A Population-based Study.

Investigate factors associated with the onset of diabetes in women aged more than 49 years. Cross-sectional, population-based study using self-reports with 622 women. The dependent variable was the age of occurrence of diabetes using the life table method. Cox multiple regression models were adjusted to analyse the onset of diabetes according to predictor variables. Sociodemographic, clinical and behavioural factors were evaluated. Of the 622 women interviewed, 22.7% had diabetes. The mean age at onset was 56 years. The factors associated with the age of occurrence of diabetes were self-rated health (very good, good) (coefficient=-0.792; SE of the coefficient=0.215; p=0.0001), more than two individuals living in the household (coefficient=0.656, SE of the coefficient=0.223; p=0.003), and body mass index (BMI) (kg/m(2)) at 20-30 years of age (coefficient= 0.056, SE of the coefficient=0.023; p=0.014). Self-rated health considered good or very good was associated with a higher rate of survival without diabetes. Sharing a home with two or more other people and a weight increase at 20-30 years of age was associated with the onset of type 2 diabetes.

Mechanisms Of Insulin Resistance In The Amygdala: Influences On Food Intake.

Obesity is increasing worldwide and is triggered, at least in part, by enhanced caloric intake. Food intake is regulated by a complex mechanism involving the hypothalamus and hindbrain circuitries. However, evidences have showing that reward systems are also important in regulating feeding behavior. In this context, amygdala is considered a key extra-hypothalamic area regulating feeding behavior in human beings and rodents. This review focuses on the regulation of food intake by amygdala and the mechanisms of insulin resistance in this brain area. Similar to the hypothalamus the anorexigenic effect of insulin is mediated via PI3K (phosphoinositide 3-kinase)/Akt (protein kinase B) pathway in the amygdala. Insulin decreases NPY (neuropeptide Y) and increases oxytocin mRNA levels in the amygdala. High fat diet and saturated fatty acids induce inflammation, ER (endoplasmic reticulum) stress and the activation of serine kinases such as PKCθ (protein kinase C theta), JNK (c-Jun N-terminal kinase) and IKKβ (inhibitor of nuclear factor kappa-B kinase beta) in the amygdala, which have an important role in insulin resistance in this brain region. Overexpressed PKCθ in the CeA (central nucleus of amygdala) of rats increases weight gain, food intake, insulin resistance and hepatic triglycerides content. The inhibition of ER stress ameliorates insulin action/signaling, increases oxytocin and decreases NPY gene expression in the amygdala of high fat feeding rodents. Those data suggest that PKCθ and ER stress are main mechanisms of insulin resistance in the amygdala of obese rats and play an important role regulating feeding behavior.

Eccentric Exercise Leads To Glial Activation But Not Apoptosis In Mice Spinal Cords.

The aim of this investigation was to evaluate the effects of 3 overtraining (OT) protocols on the glial activation and apoptosis in the spinal cords of mice. Rodents were divided into control (C; sedentary mice), overtrained by downhill running (OTR/down), overtrained by uphill running (OTR/up) and overtrained by running without inclination (OTR). The incremental load test, ambulation test, exhaustive test and functional behavioural assessment were used as performance evaluation parameters. 36 h after the exhaustive test, the dorsal and ventral parts of the lumbar spinal cord (L4-L6) were dissected for subsequent protein analysis by immunoblotting. The OT protocols led to similar responses of some performance parameters. The ventral glial fibrillary acidic protein (GFAP) protein levels were diminished in the OTR/up and OTR compared to CT and OTR/down groups. The ventral ionized calcium binding adaptor molecule 1 (Iba-1), and the dorsal GFAP and Iba-1 protein levels were increased in the OTR/down compared to the other groups. The ratio between the cleaved capase-3/caspase-3 and cleaved caspase-9/caspase-9 measured in the spinal cord were not sensitive to the OT protocols. In summary, the OTR/down activated the glial cells in the motor (i. e. Iba-1) and sensory (i. e. GFAP and Iba-1) neurons without leading to apoptosis.

Reproductive biology of Davilla kunthii A. St-Hil. (Dilleniaceae) in Central Amazonia

This survey aimed at describing the interactions of floral visitors and Davilla kunthii A. St.-Hil. as well as characteristics of its reproductive biology in Itacoatiara, state of Amazonas, Brazil. Tests of the breeding system were performed. The guild of visitors was described according to richness, abundance, relative frequency and constancy. The breeding system tests indicated that D. kunthii is self-compatible. The pollination system was characterized as generalist, with 39 visitor species, from three different orders. Bees were the main group of pollinators, thus some behavioural aspects were described. Th e period of highest foraging activity was between 7 and 10 am. Some species presented agonistic and monopolistic behaviour. Given the behaviour and destructive potential, the Curculionidae seem to have a greater impact as seed predators than pollinators.

As diferenças rítmicas entre o português europeu e o português brasileiro: uma abordagem otimalista e minimalista

The aim of this paper is to discuss some rhythmic differences between European and Brazilian Portuguese and their relationship to pretonic vowel reduction phenomena. After the basic facts of PE and PB are presented, we show that the issue cannot be discussed without taking into account secondary stress placement, and we proceed to present the algorithm-based approach to secondary stress in Portuguese, representative of Metrical Phonology analyses. After showing that this deterministic approach cannot adequately explain the variable position of secondary stress in both languages regarding words with an even number of pretonic syllables, we argue for the interpretation of secondary stress and therefore for the construction of rhythmic units at the PF interface, as suggested in Chomsky s Minimalist Program. We also propose, inspired by the constrain hierarchies as proposed in Optimality Theory, that such interpretation must take into account two different constraint rankings, in EP and BP. These different rankings would ultimately explain the rhythmic differences between both languages, as well as the different behavior of pretonic vowels with respect to reduction processes.

A disciplina basquetebol e a formação de professores de Educação Fisica

Universidade Estadual de Campinas. Faculdade de Educação Física

Ginastica ritmica : construindo uma metodologia

Universidade Estadual de Campinas . Faculdade de Educação Física

Integração vertical como estratégia de apropriação de valor: um estudo exploratório no canal de distribuição de produtos agrícolas

Neste artigo, investiga-se a adoção de canais alternativos para a comercialização de produtos agrícolas como forma de atenuar o poder, cada vez maior, exercido pelas grandes redes varejistas. O artigo investiga a decisão - e os efeitos daí decorrentes - de uma determinada empresa sediada no interior paulista, agrícola Pedra Branca, quanto à operacionalização verticalizada de uma butique de frutas, legumes e verduras (FLVs). Consciente dos novos padrões demandados pelo consumidor, a estratégia da empresa alvo do estudo foi combinar a oferta regular de produtos frescos, de qualidade intrínseca padronizada e preços atrativos, a um serviço diferenciado, baseado em um alto valor na experiência de compra. Esta estratégia fundamenta-se no anseio dos consumidores de, mais do que simplesmente adquirir produtos, experimentar sensações, as quais vividas em momentos de lazer exerceriam um grande poder de diferenciação. Realizou-se um estudo de caso baseado em entrevistas em profundidade semiestruturadas com diretores e gerentes da empresa. Como resultado, as evidências empíricas sugerem: 1) a verticalização (integração vertical) da atividade de comercialização como uma alternativa para a apropriação de valor da produção ao longo do canal de distribuição; e 2) o desafio da gestão do suprimento como requisito-chave para a adequada gestão do valor de uma marca. Considera-se oportuno lembrar, porém, que, em decorrência das limitações próprias da metodologia de estudos de caso, estas tais evidências devem ser entendidas como proposição a ser testada em trabalhos quantitativos futuros, ou mesmo melhor embasada via condução de estudos multicaso.

Índice h de docentes em Saúde Coletiva no Brasil

OBJETIVO: Estimar valores de referência e função de hierarquia de docentes em Saúde Coletiva do Brasil por meio de análise da distribuição do índice h. MÉTODOS: A partir do portal da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, 934 docentes foram identificados em 2008, dos quais 819 foram analisados. O índice h de cada docente foi obtido na Web of Science mediante algoritmos de busca com controle para homonímias e alternativas de grafia de nome. Para cada região e para o Brasil como um todo ajustou-se função densidade de probabilidade exponencial aos parâmetros média e taxa de decréscimo por região. Foram identificadas medidas de posição e, com o complemento da função probabilidade acumulada, função de hierarquia entre autores conforme o índice h por região. RESULTADOS: Dos docentes, 29,8% não tinham qualquer registro de citação (h = 0). A média de h para o País foi 3,1, com maior média na região Sul (4,7). A mediana de h para o País foi 2,1, também com maior mediana na Sul (3,2). Para uma padronização de população de autores em cem, os primeiros colocados para o País devem ter h = 16; na estratificação por região, a primeira posição demanda valores mais altos no Nordeste, Sudeste e Sul, sendo nesta última h = 24. CONCLUSÕES: Avaliados pelos índices h da Web of Science, a maioria dos autores em Saúde Coletiva não supera h = 5. Há diferenças entres as regiões, com melhor desempenho para a Sul e valores semelhantes entre Sudeste e Nordeste.

Associação entre excesso de peso e hábito de fumar, Santarém, PA, 2007

OBJETIVO: Estudar associação entre excesso de peso e hábito de fumar. METODOLOGIA: Estudo transversal desenvolvido por telefone numa amostra probabilística de adultos (Santarém /PA), em 2007. Variável desfecho foi excesso de peso, explanatória hábito de fumar e de confusão idade, escolaridade, união conjugal, estado nutricional prévio, abuso de bebidas alcoólicas, atividade física no lazer e padrão alimentar. Associação entre excesso de peso e demais variáveis foi investigada pelo teste do qui-quadrado e regressão de Poisson para o cálculo das razões de prevalência de excesso de peso conforme hábito de fumar, considerando-se três níveis de hierarquia: características sociodemográficas, estado nutricional prévio e padrão comportamental. RESULTADOS: Verificou-se 40,6% de excesso de peso e 16,4% de fumantes. As variáveis associadas ao excesso de peso foram: maior idade, menor escolaridade, união conjugal estável, excesso de peso aos 20 anos e hábito de não consumo de refrigerante para ambos os sexos; não ativo no lazer para homens e hábito de fumar (atual e passado) para mulheres. As razões de prevalência de excesso de peso não apresentaram associação com hábito de fumar para homens, porém para mulheres houve tendência de maior prevalência de excesso de peso para fumantes atuais, chegando a 2,56 vezes mais do que para nunca fumantes e ex-fumantes. CONCLUSÃO: Este estudo constatou que a prevalência de excesso de peso foi maior para mulheres fumantes, comparativamente às ex-fumantes e nunca fumantes. Para os homens não se observou nenhuma associação entre excesso de peso e tabagismo.