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

Metronidazole-containing gel for the treatment of periodontitis: an in vivo evaluation

The aim of this investigation was to monitor metronidazole concentrations in the gingival crevicular fluid (GCF) collected from periodontal pockets of dogs after treatment with an experimental 15% metronidazole gel. Five dogs had periodontitis induced by cotton ligatures placed subgingivally and maintained for a 30-day period. After the induction period, only pockets with 4 mm or deeper received the gel. Each pocket was filled up to the gingival margin by means of a syringe with a blunt-end needle. GCF was collected in paper strips and quantified in an electronic device before and after 15 minutes, 1 h, 6 h, 24 h and 48 h of gel administration. The GCF samples were assayed for metronidazole content by means of a high performance liquid chromatography method. Concentrations of metronidazole in the GCF of the 5 dogs (mean ± SD, in µg/mL) were 0 ± 0 before gel application and 47,185.75 ± 24,874.35 after 15 minutes, 26,457.34 ± 25,516.91 after 1 h, 24.18 ± 23.11 after 6 h, 3.78 ± 3.45 after 24 h and 3.34 ± 5.54 after 48 h. A single administration of the 15% metronidazole gel released the drug in the GCF of dogs in levels several-fold higher than the minimum inhibitory concentration for some periodontopathogens grown in subgingival biofilms for up to one hour, but metronidazole could be detected in the GCF at least 48 hours after the gel application.

Distribution of biotypes and leukotoxic activity of Aggregatibacter actinomycetemcomitans isolated from Brazilian patients with chronic periodontitis

Aggregatibacter actinomycetemcomitans is an important etiologic agent of the periodontitis and is associated with extra-oral infections. In this study, the detection of the ltxA gene as well as the ltx promoter region from leukotoxic A. actinomycetemcomitans isolated from 50 Brazilian patients with periodontitis and 50 healthy subjects was performed. The leukotoxic activity on HL-60 cells was also evaluated. Leukotoxic activity was determined using a trypan blue exclusion method. The 530 bp deletion in the promoter region was evaluated by PCR using a PRO primer pair. A. actinomycetemcomitans was detected by culture and directly from crude subgingival biofilm by PCR using specific primers. By culture, A. actinomycetemcomitans was detected in nine (18%) of the periodontal patients and one (2%) healthy subject. However, by PCR, this organism was detected in 44% of the periodontal patients and in 16% of the healthy subjects. It was verified a great discrepancy between PCR detection of the ltx operon promoter directly from crude subgingival biofilm and from bacterial DNA. Only one periodontal sample harbored highly leukotoxic A. actinomycetemcomitans. Moreover, biotype II was the most prevalent and no correlation between biotypes and leukotoxic activity was observed. The diversity of leukotoxin expression by A. actinomycetemcomitans suggests a role of this toxin in the pathogenesis of periodontal disease and other infectious diseases.

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.