Värispekrien eron laskenta

Olemassa olevat spektrieromittarit eivät vastaa riittävästi CIEDE2000-värieroa. Tämän työn tavoitteena oli toteuttaa menetelmä, joka laskee värispektrien eron siten, että tulos vastaa CIEDE2000-värieroa. Kehitystyön tuloksena syntyi menetelmä, joka perustuu ennalta laskettuihin eroihin tunnettujen spektrien välillä ja niiden perusteella johdettuihin laskentaparametreihin. menetelmällä pystyy laskemaan spektrieroja vain niiden spektrien välillä, jotka saadaan sekoittamalla tunnettuja spektrejä. Laskentaparametrien laskenta on työläs prosessi ja siksi menetelmään toteutettiin hajautus usealle tietokoneelle. Menetelmä saatiin vastaamaan hyvin CIEDE2000:ia suurimmalle osalle spektrejä harvoja poikkeuksia lukuunottamatta. Ongelmat johtuvat mallissa olevasta matemaattisesta ominaisuudesta. Spektrieromittari näyttää metameerisille spektreille nollasta poikkeavan arvon, vaikka CIEDE2000 näyttää nollaa. Tämä osoittaa spektrieromittarin oikeamman toiminnan CIEDE2000-värieroon verrattuna.

Treponema denticola in microflora of bovine periodontitis

Periodontitis in cattle is an infectious purulent progressive disease associated with strict anaerobic subgingival biofilm and is epidemiologically related to soil management at several locations of Brazil. This study aimed to detect Treponema species in periodontal pockets of cattle with lesions deeper than 5mm in the gingival sulcus of 6 to 24-month-old animals considered periodontally healthy. We used paper cones to collect the materials, after removal of supragingival plaques, and kept frozen (at -80°C) up to DNA extraction and polymerase chain reaction (PCR) using T. amylovorum, T. denticola, T. maltophilum, T. medium and T. vincentii primers. In periodontal pocket, it was possible to identify by PCR directly, the presence of Treponema amylovorum in 73% of animals (19/26), T. denticola in 42.3% (11/26) and T. maltophilum in 54% (14/26). Among the 25 healthy sites, it was possible to identify T. amylovorum in 18 (72%), T. denticola in two (8%) and T. maltophilum in eight (32%). Treponema medium and T. vincentii were not detected over all 51 evaluated samples. The presence of Treponema amylovorum, T. maltophilum and, in particular, the widely recognized T. denticola in subgingival microflora brings an original and potencially important contribution in studies of the bovine periodontitis.

Presence of Porphyromonas and Prevotella species in the oral microflora of cattle with periodontitis

Abstratc: Bovine periodontitis is a progressive purulent infectious process associated with the presence of strictly and facultative anaerobic subgingival biofilm and epidemiologically related to soil management in large geographic areas of Brazil. This study aimed to detect species of the genera Porphyromonas and Prevotella, which occurr in periodontal pockets of cattle with lesions deeper than 5mm (n=26) and in gingival sulcus of animals considered periodontally healthy (n=25). Presence of the microorganisms was evaluated by independent-culture medium diagnostic method, using polymerase chain reaction (PCR) with specific primers of Porphyromonas asaccharolytica, P. endodontalis, P. gingivalis, P. gulae, Prevotella buccae, P. intermedia, P. loescheii, P. melaninogenica, P. nigrescens, P. oralis and P. tannerae. The species P. endodontalis (80.7%), P. melaninogenica (73.1%) and P. intermedia (61.5%) were the most predominant in samples of cattle with periodontitis. Regarding non-injured gingival sulcus of cattle, P. endodontalis (40%) and P. loeschei (40%) prevailed. Porphyromonas gingivalis, P. gulae and Prevotella tannerae were not detected in the 51 samples studied. Data evaluation by T test, enabled to verify that ocorrence of Porphyromonas asaccharolytica (p=0.000003), P. endodontalis (p=0.0023), Prevotella buccae (p=0.0017), P. intermedia (p=0.0020), P. melaninogenica (p=0.00006) and P. oralis (p=0.0028) is correlated with bovine periodontitis.

Virulence properties of Aggregatibacter actinomycetemcomitans biofilm and characterisation of its putative cytokine exploitation

Biofilms are surface-attached multispecies microbial communities that are embedded by their self-produced extracellular polymeric substances. This lifestyle enhances the survival of the bacteria and plays a major role in many chronic bacterial infections. For instance, periodontitis is initiated by multispecies biofilms. The phases of active periodontal tissue destruction and notably increased levels of proinflammatory mediators, such as the key inflammatory mediator interleukin (IL)-1beta, are typical of the disease. The opportunistic periodontal pathogen Aggregatibacter actinomycetemcomitans is usually abundant at sites of aggressive periodontitis. Despite potent host immune system responses to subgingival invaders, A. actinomycetemcomitans is able to resist clearance attempts. Moreover, some strains of A. actinomycetemcomitans can generate genetic diversity through natural transformation, which may improve the species’ adjustment tothe subgingival environment in the long term. Some biofilm forming species are known to bind and sense human cytokines. As a response to cytokines, bacteria may increase biofilm formation and alter their expression of virulence genes. Specific outer membrane receptors for interferon-γ or IL-1β have been characterised in two Gram-negative pathogens. Because little is known about periodontal pathogens’ ability to sense cytokines, we used A. actinomycetemcomitans as a model organism to investigate how the species responds to IL-1beta. The main aims of this thesis were to explore cytokine binding on single-species A. actinomycetemcomitans biofilms and to determine the effects of cytokines on the biofilm formation and metabolic activity of the species. Additionally, the cytokine’s putative internalisation and interaction with A. actinomycetemcomitans proteins were studied. The possible impact of biofilm IL-1beta sequestering on the proliferation and apoptosis of gingival keratinocyte cells was evaluated in an organotypic mucosa co-culture model. Finally, the role of the extramembranous domain of the outer membrane protein HofQ (emHofQ) in DNA binding linked to DNA uptake in A. actinomycetemcomitans was examined. Our main finding revealed that viable A. actinomycetemcomitans biofilms can bind and take up the IL-1β produced by gingival cells. At the sites of pathogen-host interaction, the proliferation and apoptosis of gingival keratinocytes decreased slightly. Notably, the exposure of biofilms to IL-1beta caused their metabolic activity to drop, which may be linked to the observed interaction of IL-1beta with the conserved intracellular proteins DNA binding protein HU and the trimeric form of ATP synthase subunit beta. A Pasteurellaceaespecific lipoprotein, which had no previously determined function, was characterized as an IL-1beta interacting membrane protein that was expressed in the biofilm cultures of all tested A. actinomycetemcomitans strains. The use of a subcellular localisation tool combined with experimental analyses suggested that the identified lipoprotein, bacterial interleukin receptor I (BilRI), may be associated with the outer membrane with a portion of the protein oriented towards the external milieu. The results of the emHofQ study indicated that emHofQ has both the structural and functional capability to bind DNA. This result implies that emHofQ plays a role in DNA assimilation. The results from the current study also demonstrate that the Gram-negative oral species appears to sense the central proinflammatory mediator IL-1beta.

Scintigraphy and Doppler ultrasonography for the evaluation of obstructive urinary calculi

Forty-seven patients with unilateral obstructive calculi (12 males and 35 females) were submitted to 99mTc-diethylene triamine pentaacetic acid (DTPA) or 99mTc-dimercaptosuccinic acid (DMSA) scans for assessment of renal function. The scans revealed unilateral functional deficit in 68 and 66% of the patients, respectively. A calculus size of 1.1 to 2.0 cm was significantly associated with deficit detected by DTPA, but duration of obstruction and calculus localization were not. After relief of the obstruction, the mean percent renal function of the affected kidney was found to be significantly increased from 25 ± 12% to 29 ± 12% in DTPA and from 21 ± 15% to 24 ± 12% in DMSA. Initial Doppler ultrasonography performed in 35 patients detected an increased resistive index in 10 (29%). In the remaining patients with a normal resistive index, ureteral urinary jet was observed, indicating partial obstruction. The high frequency of renal function impairment detected by DTPA and of tubulointerstitial damage detected by DMSA as well as the slight amelioration of unilateral renal function after relief of obstruction suggest that scintigraphy assessment may help evaluate the unilateral percentage of renal function and monitor renal function recovery when it occurs. The presence of a urinary jet detected by Doppler ultrasonography further indicates the severity of obstruction and the recovery prognosis.

Korkeapainevesisumusuuttimen virtaustekninen laadunhallinta

Tämä työ vastaa tarpeeseen hallita korkeapainevesisumusuuttimen laatua virtausmekaniikan työkalujen avulla. Työssä tutkitaan suutinten testidatan lisäksi virtauksen käyttäytymistä suuttimen sisällä CFD-laskennan avulla. Virtausmallinnus tehdään Navier-Stokes –pohjaisella laskentamenetelmällä. Työn teoriaosassa käsitellään virtaustekniikkaa ja sen kehitystä yleisesti. Lisäksi esitetään suuttimen laskennassa käytettävää perusteoriaa sekä teknisiä ratkaisuja. Teoriaosassa käydään myös läpi laskennalliseen virtausmekaniikkaan (CFD-laskenta) liittyvää perusteoriaa. Tutkimusosiossa esitetään käsitellyt suutintestitulokset sekä mallinnetaan suutinvirtausta ajasta riippumattomaan virtauslaskentaan perustuvalla laskentamenetelmällä. Virtauslaskennassa käytetään OpenFOAM-laskentaohjelmiston SIMPLE-virtausratkaisijaa sekä k-omega SST –turbulenssimallia. Tehtiin virtausmallinnus kaikilla paineilla, joita suuttimen testauksessa myös todellisuudessa käytetään. Lisäksi selvitettiin mahdolliset kavitaatiokohdat suuttimessa ja suunniteltiin kavitaatiota ehkäisevä suutingeometria. Todettiin myös lämpötilan ja epäpuhtauksien vaikuttavan kavitaatioon sekä mallinnettiin lämpötilan vaikutusta. Luotiin malli, jolla suuttimen suunnitteluun liittyviin haasteisiin voidaan vastata numeerisella laskennalla.

Modeling the water uptake by chicken carcasses during cooling by immersion

In this study, water uptake by poultry carcasses during cooling by water immersion was modeled using artificial neural networks. Data from twenty-five independent variables and the final mass of the carcass were collected in an industrial plant to train and validate the model. Different network structures with one hidden layer were tested, and the Downhill Simplex method was used to optimize the synaptic weights. In order to accelerate the optimization calculus, Principal Component Analysis (PCA) was used to preprocess the input data. The obtained results were: i) PCA reduced the number of input variables from twenty-five to ten; ii) the neural network structure 4-6-1 was the one with the best result; iii) PCA gave the following order of importance: parameters of mass transfer, heat transfer, and initial characteristics of the carcass. The main contributions of this work were to provide an accurate model for predicting the final content of water in the carcasses and a better understanding of the variables involved.

Evolutionary synthesis of stochastic gene network models using feature-based search spaces

A feature-based fitness function is applied in a genetic programming system to synthesize stochastic gene regulatory network models whose behaviour is defined by a time course of protein expression levels. Typically, when targeting time series data, the fitness function is based on a sum-of-errors involving the values of the fluctuating signal. While this approach is successful in many instances, its performance can deteriorate in the presence of noise. This thesis explores a fitness measure determined from a set of statistical features characterizing the time series' sequence of values, rather than the actual values themselves. Through a series of experiments involving symbolic regression with added noise and gene regulatory network models based on the stochastic 'if-calculus, it is shown to successfully target oscillating and non-oscillating signals. This practical and versatile fitness function offers an alternate approach, worthy of consideration for use in algorithms that evaluate noisy or stochastic behaviour.

Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Generating Relation Algebras for Qualitative Spatial Reasoning

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.

Optimisation et approximation adiabatique

L'approximation adiabatique en mécanique quantique stipule que si un système quantique évolue assez lentement, alors il demeurera dans le même état propre. Récemment, une faille dans l'application de l'approximation adiabatique a été découverte. Les limites du théorème seront expliquées lors de sa dérivation. Ce mémoire à pour but d'optimiser la probabilité de se maintenir dans le même état propre connaissant le système initial, final et le temps d'évolution total. Cette contrainte sur le temps empêche le système d'être assez lent pour être adiabatique. Pour solutionner ce problème, une méthode variationnelle est utilisée. Cette méthode suppose connaître l'évolution optimale et y ajoute une petite variation. Par après, nous insérons cette variation dans l'équation de la probabilité d'être adiabatique et développons en série. Puisque la série est développée autour d'un optimum, le terme d'ordre un doit nécessairement être nul. Ceci devrait nous donner un critère sur l'évolution la plus adiabatique possible et permettre de la déterminer. Les systèmes quantiques dépendants du temps sont très complexes. Ainsi, nous commencerons par les systèmes ayant des énergies propres indépendantes du temps. Puis, les systèmes sans contrainte et avec des fonctions d'onde initiale et finale libres seront étudiés.

Quantum nonlocality, cryptography and complexity

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

The association between caries and periodontal diseases

Objectifs: Le but de cette étude clinique était de comparer un groupe d’adultes ayant un parodonte sain avec un groupe d’adultes atteints de parodontite chronique en terme de risque carieux et mesures cliniques et microbiologiques de la carie. Méthodes: Quatre-vingt-seize individus ont été divisés en deux groupes en fonction de leur état de santé parodontal et ont été appariés pour l'âge, le sexe et l'origine ethnique. Trente-huit sujets étaient atteints de parodontite chronique définie comme ayant au moins quatre dents avec ≥ 1 site avec une profondeur de sondage ≥ 4 mm et une perte d'attache clinique ≥ 2 mm, et 58 sujets présentaient un parodonte sain. Par la suite, les groupes ont été subdivisés en deux groupes en fonction de leur statut carieux : les participants ayant au moins une lésion carieuse non traitée sur une surface dentaire et ceux n’ayant pas de lésion carieuse non traitée. Les données ont été recueillies par le biais d’un questionnaire, un examen clinique et des échantillons de plaque supra- et sous-gingivale. L’évaluation de la charge buccale de Streptococcus mutans et de six agents pathogènes parodontaux a été réalisée par la technique d'amplification de la réaction en chaine de la polymérase (PCR). Les données ont été analysées à l'aide d’analyses statistiques descriptives et bivariées. Résultats: Les individus atteints de parodontite chronique étaient 3,5 fois plus susceptibles d'avoir des caries que les individus en bonne santé (OR 3,5 ; IC: 1,5 - 8,3 ; P = 0,006). Les sujets à la fois atteints de parodontite chronique et de caries dentaires ont eu un niveau d’éducation significativement plus faible que les sujets ayant un parodonte sain et sans caries dentaires (OR 6,0 ; IC: 1,7 à 21,7 ; P = 0,04). La proportion de sujets ayant une charge buccale élevée de Porphyromonas gingivalis (P. g.) et Treponema denticola (T. d.) était significativement plus élevée chez les patients atteints de parodontite chronique et de carie que chez les patients sains présentant des caries (P. g.: OR 8,6 ; IC: 2,4 - 30,3 ; P = 0,004 et T. d.: OR 10,0 ; CI: 2,6 - 38.1 ; P = 0,003). Conclusions: Les résultats de cette étude suggèrent que, chez les sujets adultes atteints de la parodontite chronique, la fréquence des caries est plus élevée que chez les sujets ayant un parodonte sain. De plus, le faible niveau d'éducation influence négativement le statut parodontal des individus.

Modélisation du carnet d'ordres limites et prévision de séries temporelles

Le contenu de cette thèse est divisé de la façon suivante. Après un premier chapitre d’introduction, le Chapitre 2 est consacré à introduire aussi simplement que possible certaines des théories qui seront utilisées dans les deux premiers articles. Dans un premier temps, nous discuterons des points importants pour la construction de l’intégrale stochastique par rapport aux semimartingales avec paramètre spatial. Ensuite, nous décrirons les principaux résultats de la théorie de l’évaluation en monde neutre au risque et, finalement, nous donnerons une brève description d’une méthode d’optimisation connue sous le nom de dualité. Les Chapitres 3 et 4 traitent de la modélisation de l’illiquidité et font l’objet de deux articles. Le premier propose un modèle en temps continu pour la structure et le comportement du carnet d’ordres limites. Le comportement du portefeuille d’un investisseur utilisant des ordres de marché est déduit et des conditions permettant d’éliminer les possibilités d’arbitrages sont données. Grâce à la formule d’Itô généralisée il est aussi possible d’écrire la valeur du portefeuille comme une équation différentielle stochastique. Un exemple complet de modèle de marché est présenté de même qu’une méthode de calibrage. Dans le deuxième article, écrit en collaboration avec Bruno Rémillard, nous proposons un modèle similaire mais cette fois-ci en temps discret. La question de tarification des produits dérivés est étudiée et des solutions pour le prix des options européennes de vente et d’achat sont données sous forme explicite. Des conditions spécifiques à ce modèle qui permettent d’éliminer l’arbitrage sont aussi données. Grâce à la méthode duale, nous montrons qu’il est aussi possible d’écrire le prix des options européennes comme un problème d’optimisation d’une espérance sur en ensemble de mesures de probabilité. Le Chapitre 5 contient le troisième article de la thèse et porte sur un sujet différent. Dans cet article, aussi écrit en collaboration avec Bruno Rémillard, nous proposons une méthode de prévision des séries temporelles basée sur les copules multivariées. Afin de mieux comprendre le gain en performance que donne cette méthode, nous étudions à l’aide d’expériences numériques l’effet de la force et la structure de dépendance sur les prévisions. Puisque les copules permettent d’isoler la structure de dépendance et les distributions marginales, nous étudions l’impact de différentes distributions marginales sur la performance des prévisions. Finalement, nous étudions aussi l’effet des erreurs d’estimation sur la performance des prévisions. Dans tous les cas, nous comparons la performance des prévisions en utilisant des prévisions provenant d’une série bivariée et d’une série univariée, ce qui permet d’illustrer l’avantage de cette méthode. Dans un intérêt plus pratique, nous présentons une application complète sur des données financières.

A non reductionist logicism with explicit definitions

This paper introduces and examines the logicist construction of Peano Arithmetic that can be performed into Leśniewski’s logical calculus of names called Ontology. Against neo-Fregeans, it is argued that a logicist program cannot be based on implicit definitions of the mathematical concepts. Using only explicit definitions, the construction to be presented here constitutes a real reduction of arithmetic to Leśniewski’s logic with the addition of an axiom of infinity. I argue however that such a program is not reductionist, for it only provides what I will call a picture of arithmetic, that is to say a specific interpretation of arithmetic in which purely logical entities play the role of natural numbers. The reduction does not show that arithmetic is simply a part of logic. The process is not of ontological significance, for numbers are not shown to be logical entities. This neo-logicist program nevertheless shows the existence of a purely analytical route to the knowledge of arithmetical laws.