Calculus of Variations with Classical and Fractional Derivatives

MSC 2010: 49K05, 26A33

Exploration of the dendritic cell algorithm with the duration calculus

As one of the newest members in Articial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to the eld of anomaly detection. However, real-time detection, a new challenge to anomaly detection, requires improvement on the real-time capability of the DCA. To assess such capability, formal methods in the research of real-time systems can be employed. The ndings of the assessment can provide guideline for the future development of the algorithm. Therefore, in this paper we use an interval logic based method, named the Duration Calcu- lus (DC), to specify a simplied single-cell model of the DCA. Based on the DC specications with further induction, we nd that each individual cell in the DCA can perform its function as a detector in real-time. Since the DCA can be seen as many such cells operating in parallel, it is potentially capable of performing real-time detection. However, the analysis process of the standard DCA constricts its real-time capability. As a result, we conclude that the analysis process of the standard DCA should be replaced by a real-time analysis component, which can perform periodic analysis for the purpose of real-time detection.

On Reasonable Space and Time Cost Models for the λ-Calculus

Slot and van Emde Boas Invariance Thesis states that a time (respectively, space) cost model is reasonable for a computational model C if there are mutual simulations between Turing machines and C such that the overhead is polynomial in time (respectively, linear in space). The rationale is that under the Invariance Thesis, complexity classes such as LOGSPACE, P, PSPACE, become robust, i.e. machine independent. In this dissertation, we want to find out if it possible to define a reasonable space cost model for the lambda-calculus, the paradigmatic model for functional programming languages. We start by considering an unusual evaluation mechanism for the lambda-calculus, based on Girard's Geometry of Interaction, that was conjectured to be the key ingredient to obtain a space reasonable cost model. By a fine complexity analysis of this schema, based on new variants of non-idempotent intersection types, we disprove this conjecture. Then, we change the target of our analysis. We consider a variant over Krivine's abstract machine, a standard evaluation mechanism for the call-by-name lambda-calculus, optimized for space complexity, and implemented without any pointer. A fine analysis of the execution of (a refined version of) the encoding of Turing machines into the lambda-calculus allows us to conclude that the space consumed by this machine is indeed a reasonable space cost model. In particular, for the first time we are able to measure also sub-linear space complexities. Moreover, we transfer this result to the call-by-value case. Finally, we provide also an intersection type system that characterizes compositionally this new reasonable space measure. This is done through a minimal, yet non trivial, modification of the original de Carvalho type system.

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.

[do Elderly Individuals With A Cognitive Handicap Have Worse Oral Health?].

A comparison of the oral health of elderly people with and without a cognitive handicap was assessed. The cognitive condition, the indices of decayed, missing, filled teeth (DMFT), decayed, filled roots (DFR), the need for dental treatment, the presence of plaque (P), calculus (C), the community periodontal index (CPI), the rate of periodontal attachment loss (PAL), edentulism, prosthetic use and the need for prosthetics were evaluated in a complex probabilistic sample by conglomerates of the elderly (65-74 years). PASW(r) 17.0 was used for the statistical analyses with correction for the design effect, applying the Mann Whitney and chi-square test with 95% reliability. A total of 736 elderly individuals were interviewed and examined. Those with cognitive impairment had higher average DMFT, DFR and lower average healthy sextant CPI, a lower prevalence of sextants without plaque/calculus, use of prosthetics and higher prevalence of edentulism and need for prosthetics. Elderly individuals with a cognitive handicap had poorer oral health.

A quantidade de matéria nas ciências clássicas

The chemical amount values vary in a discrete or continuous form, depending on the approach used to describe the system. In classical sciences, the chemical amount is a property of the macroscopic system and, like any other property of the system, it varies continuously. This is neither inconsistent with the concept of indivisible particles forming the system, nor a mere approximation, but it is a sound concept which enables the use of differential calculus, for instance, in chemical thermodynamics. It is shown that the fundamental laws of chemistry are absolutely compatible to the continuous concept of the chemical amount.

Authenticity study of Phyllanthus species by NMR and FT-IR Techniques coupled with chemometric methods

The importance of medicinal plants and their use in industrial applications is increasing worldwide, especially in Brazil. Phyllanthus species, popularly known as quebra-pedras in Brazil, are used in folk medicine for treating urinary infections and renal calculus. This paper reports an authenticity study, based on herbal drugs from Phyllanthus species, involving commercial and authentic samples using spectroscopic techniques: FT-IR, ¹H HR-MAS NMR and ¹H NMR in solution, combined with chemometric analysis. The spectroscopic techniques evaluated, coupled with chemometric methods, have great potential in the investigation of complex matrices. Furthermore, several metabolites were identified by the NMR techniques.

Validade de equipamento eletronico informatizado para analise de movimentos tecnicos do voleibol : um estudo na categoria juvenil

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

Risk indicators for aggressive periodontitis in an untreated isolated young population from Brazil

This study aimed to assess the prevalence of aggressive periodontitis (AgP), and to investigate the association between demographic, socioeconomic and behavioral risk indicators with AgP in an untreated and isolated young population in Southeastern Brazil. For this cross-sectional survey, 134 subjects aged 12-29 years were selected by a census. Of those eligible, 101 subjects received a full-mouth clinical examination, and were interviewed using a structured written questionnaire. Cases were defined as individuals with 4 or more teeth with attachment loss > 4 mm or > 5 mm in the age groups 12-19 and 20-29, respectively. Overall, 9.9% of the subjects presented AgP (10.3% of the 12-19-year-olds and 9.7% of the 20-29-year-olds). The only risk indicator significantly associated with AgP in this isolated population was a high proportion of sites (> 30%) presenting supragingival calculus [OR = 23.2]. Having experienced an urgency dental treatment was a protective factor for AgP [OR = 0.1]. The authors concluded that this isolated and untreated population from Brazil presented a high prevalence of AgP. Local plaque-retaining factors played a major role in the prevalence of AgP in this isolated population, and should be included in further studies evaluating this destructive periodontal disease form.

Dor nos dentes e gengivas e fatores associados em adolescentes brasileiros: análise do inquérito nacional de saúde bucal SB-Brasil 2002-2003

Estimou-se a prevalência de dor nos dentes e gengivas e fatores associados em adolescentes brasileiros de 15 a 19 anos de idade. Foram utilizadas informações de 16.126 adolescentes participantes do levantamento epidemiológico nacional de saúde bucal - SB Brasil 2002-2003. O desfecho foi o relato de dor nos dentes e gengivas nos últimos seis meses. As variáveis exploratórias foram: renda per capita, escolaridade, condição de estudo, sexo, cor da pele, idade, localização geográfica da residência, tipo de serviço odontológico utilizado pela última vez, tempo decorrido da última consulta odontológica, índice CPO-D e seus componentes, cálculo dentário e o índice de estética dental. Foram realizadas análises brutas e múltiplas utilizando a regressão de Poisson. A prevalência da dor de dentes e gengivas foi de 35,6% (IC95%: 34,8-36,4). A prevalência de dor foi maior nas meninas, naqueles pertencentes a famílias com baixa renda per capita, nos não estudantes e estudantes de escola pública e naqueles com baixa escolaridade para a idade. Indivíduos que apresentaram altos níveis de cárie e cálculo dentário também apresentaram maiores prevalências do desfecho. A dor nos dentes e gengivas em adolescentes pode ser considerada um problema relevante em saúde pública sugerindo a necessidade de ações preventivas e de promoção da saúde.

Uma análise do coeficiente de remoção de poluentes em função do espectro de gotas de chuva em diferentes localidades no Brasil e Alemanha

The pollutant transference among reservoirs atmosphere-hydrosphere, relevant to the atmospheric chemistry, depends upon scavenging coefficient (Λ) calculus, which depends on the raindrop size distribution as well as on the rainfall systems, both different to each locality. In this work, the Λ calculus will be evaluated to gas SO2 and particulate matter fine and coarse among five sites in Germany and two in Brazil. The results show three possible classifications in function of Λ, comparable to literature, however with a greater range due to the differences of rainfall system sites. This preliminary study supports future researches

Precisão experimental em ensaios com a cultura do feijão

A avaliação do coeficiente de variação (CV) como medida da precisão dos experimentos tem sido feita com diversas culturas, espécies animais e forrageiras por meio de trabalhos sugerindo faixas de classificação dos valores, considerando-se a média, o desvio padrão e a distribuição dos valores de CV das diversas variáveis respostas envolvidas nos experimentos. Neste trabalho, objetivouse estudar a distribuição dos valores de CV de experimentos com a cultura do feijão, propondo faixas que orientem os pesquisadores na avaliação de seus estudos com cada variável. Os dados utilizados foram obtidos de revisão em revistas que publicam artigos científicos com a cultura do feijão. Foram consideradas as variáveis: rendimento, número de vagens por planta, número de grãos por vagem, peso de 100 grãos, estande final, altura de plantas e índice de colheita. Foram obtidas faixas de valores de CV para cada variável tomando como base a distribuição normal, utilizando-se também a distribuição dos quantis amostrais e a mediana e o pseudo-sigma, classificando-os como baixo, médio, alto e muito alto. Os cálculos estatísticos para verificação da normalidade dos dados foram implementados por meio de uma função no software estatístico livre R. Os resultados obtidos indicaram que faixas de valores de CV diferiram entre as diversas variáveis apresentando ampla variação justificando a necessidade de utilizar faixa de avaliação específica para cada variável.

Saúde gengival de adolescentes e a utilização de serviços odontológicos, Estado de São Paulo

OBJETIVO: Avaliar a associação de condições de saúde gengival com a utilização de serviço odontológico. MÉTODOS: Realizou-se levantamento epidemiológico de saúde bucal de 1.799 adolescentes, em 35 cidades do Estado de São Paulo, em 2002. A saúde gengival foi avaliada pela prevalência de sangramento na gengiva à sondagem e cálculo dentário (índice periodontal comunitário) e oclusão dentária (índice de estética dentária). A utilização de serviços odontológicos foi medida pelo índice de cuidado (O/CPO) para cada cidade. Análise multinível de regressão logística ajustou modelos explicativos para fatores associados aos desfechos de interesse. RESULTADOS: A prevalência de sangramento gengival à sondagem foi 21,5%; de cálculo dentário foi 19,4%. Os participantes do sexo masculino, negros e pardos, moradores em áreas rurais, residentes em domicílios aglomerados e com atraso escolar apresentaram chance significantemente mais elevada para os agravos que seus respectivos pares de comparação. Características de oclusão dentária também associaram com gengiva não-saudável: apinhamento dos segmentos incisais, mordida aberta vertical anterior, relação molar antero-posterior. Cidades com maior utilização de serviço odontológico tiveram menor proporção de adolescentes com sangramento gengival e cálculo. CONCLUSÕES: A utilização de serviços odontológicos foi significativamente associada a melhores condições de saúde gengival (sangramento e cálculo). Essa associação independeu das características sociodemográficas individuais e contextuais, e de oclusão dentária.

Urolitíase em cães: avaliação quantitativa da composição mineral de 156 urólitos

O estudo teve como objetivo avaliar os casos de urolitíase canina em que a composição mineral dos urólitos foi analisada quantitativamente. Foi avaliada quantitativamente a composição mineral de 156 urólitos obtidos de cães (nefrólitos, ureterólitos, urocistólitos e uretrólitos). Desse total, 79,5% (n=124) eram simples, 18% (n=28) eram compostos e apenas 2,5% (n=4) eram mistos. A estruvita foi o tipo mineral mais frequente nos urólitos simples (47,6%; n=59), em todos os mistos (100%; n=4) e nas camadas núcleo e pedra de urólitos compostos (32,1 e 75%, respectivamente). O oxalato de cálcio foi o segundo mineral mais frequente dos urólitos simples (37,9%, n=47). Ao contrário do que é preconizado para os urólitos simples, as recomendações para o tratamento de urólitos compostos são mais complexas, tais como protocolos de tratamento de dissolução diferentes (se composto por minerais distintos e passíveis de dissolução como urato e estruvita). Além disso, a dissolução pode não ser viável, caso ocorra presença de material insolúvel envolvendo o urólito ou se este representar mais de 20% da camada. Vinte e dois urólitos compostos (78,7%) apresentaram uma camada externa não passível de dissolução (oxalato de cálcio ou fosfato de cálcio); dois (7,1%) apresentaram camadas externas passíveis de dissolução (estruvita ou urato), porém camadas mais internas não solúveis, o que permitiria apenas a dissolução parcial do urólito. Assim, o conhecimento da composição de todas as camadas que compõem o urólito é essencial para o entendimento da formação do cálculo e consequentemente para a indicação do tratamento adequado, assim como para prevenção de recidivas.