Secure multiParty computation protocols

Dissertação de Mestrado em Engenharia Informática

Abstract computation in schizophrenia detection through artificial neural network based systems

Schizophrenia stands for a long-lasting state of mental uncertainty that may bring to an end the relation among behavior, thought, and emotion; that is, it may lead to unreliable perception, not suitable actions and feelings, and a sense of mental fragmentation. Indeed, its diagnosis is done over a large period of time; continuos signs of the disturbance persist for at least 6 (six) months. Once detected, the psychiatrist diagnosis is made through the clinical interview and a series of psychic tests, addressed mainly to avoid the diagnosis of other mental states or diseases. Undeniably, the main problem with identifying schizophrenia is the difficulty to distinguish its symptoms from those associated to different untidiness or roles. Therefore, this work will focus on the development of a diagnostic support system, in terms of its knowledge representation and reasoning procedures, based on a blended of Logic Programming and Artificial Neural Networks approaches to computing, taking advantage of a novel approach to knowledge representation and reasoning, which aims to solve the problems associated in the handling (i.e., to stand for and reason) of defective information.

Patterns of Mycobacterium tuberculosis-complex excretion and characterization of super-shedders in naturally-infected wild boar and red deer

Wild boar (Sus scrofa) and red deer (Cervus elaphus) are the main maintenance hosts for bovine tuberculosis (bTB) in continental Europe. Understanding Mycobacterium tuberculosis complex (MTC) excretion routes is crucial to define strategies to control bTB in free-ranging populations, nevertheless available information is scarce. Aiming at filling this gap, four different MTC excretion routes (oronasal, bronchial-alveolar, fecal and urinary) were investigated by molecular methods in naturally infected hunter-harvested wild boar and red deer. In addition MTC concentrations were estimated by the Most Probable Number method. MTC DNA was amplified in all types of excretion routes. MTC DNA was amplified in at least one excretion route from 83.0% (CI95 70.8-90.8) of wild ungulates with bTB-like lesions. Oronasal or bronchial-alveolar shedding were detected with higher frequency than fecal shedding (p < 0.001). The majority of shedders yielded MTC concentrations <10(3) CFU/g or mL. However, from those ungulates from which oronasal, bronchial-alveolar and fecal samples were available, 28.2% of wild boar (CI95 16.6-43.8) and 35.7% of red deer (CI95 16.3-61.2) yielded MTC concentrations >10(3) CFU/g or mL (referred here as super-shedders). Red deer have a significantly higher risk of being super-shedders compared to wild boar (OR = 11.8, CI95 2.3-60.2). The existence of super-shedders among the naturally infected population of wild boar and red deer is thus reported here for the first time and MTC DNA concentrations greater than the minimum infective doses were estimated in excretion samples from both species.

Lp-solutions to BSDEs with super-linear growth coefficient. Application to degenerate semilinear PDEs.

We consider multidimensional backward stochastic differential equations (BSDEs). We prove the existence and uniqueness of solutions when the coefficient grow super-linearly, and moreover, can be neither locally Lipschitz in the variable y nor in the variable z. This is done with super-linear growth coefficient and a p-integrable terminal condition (p & 1). As application, we establish the existence and uniqueness of solutions to degenerate semilinear PDEs with superlinear growth generator and an Lp-terminal data, p & 1. Our result cover, for instance, the case of PDEs with logarithmic nonlinearities.

Lista dos gêneros incluídos na super-família Brachylaemoidea

Dans le travail présent, il est fait um groupement des trématodes considérés par les auteurs comme appartenant à la super-famille Brachylaemoidea, groupement constitué par les families suivantes; Brachylaemidae Joyeux & Foley, 1930; Leucochloridiidae Dollfus, 1934; Urorygmidae fam. n.; Leucochloridiomorphidae fam. n.; Hasstilesiidae Hall, 1916; Moreauiidae Yamaguti, 1958; Liolopidae Dollfus, 1934; Urotrematidae Poche, 1925; et Thapariellidae Srivastava, 1955. Les diagnostics des genres et les figures des tòpes sont données.

Chimiothérapie intra-artérielle super-sélective dans l'artère ophtalmique en cas de rétinoblastome avancé chez l'enfant.

Objectifs: Etude prospective sur l'efficacité de la chimio-perfusion super-sélective avec Melphalan dans l'artère ophtalmique en tant qu'agent tumoricide chez l'enfantatteint de rétinoblastome avancé, pour éviter l'énucléation chirurgicale et/ou la radiothérapie externe. Matériels et méthodes: 19 enfants (âge moyen 25 mois) atteints de rétinoblastome de groupe D ont reçu 1 à 3 séances d'administration intra-artérielle de Melphalan (0,35 mg/kg) dans l'artère ophtalmique sous anesthésie générale. Au total 48 procédures ont été réalisées. Chaque séance était associée à une injection intra-vitréenne deMelphalan, ainsi qu'à une thermothérapie et/ou une cryothérapie. Résultats: Le traitement a été effectué avec succès chez 17/19 enfants avec une régression importante du volume tumoral. L'énucléation ainsi que la radiothérapie externeont pu être évitées dans 15/17 enfants, sur un suivi moyen d'une année. Aucune complication systémique ou thromboembolique n'a été observée. Lescomplications locales ont comporté 2 décollements de la rétine, 5 oedèmes conjonctivaux et palpébraux, 1 cas de pigmentation cutanée locale, 1 vasospasmetransitoire de l'artère carotide interne et 2 cas d'artériopathie occlusive choroïdienne sectorielle . Conclusion: L'administration intra-artérielle de Melphalan s'avère être très efficace dans les cas avancés de rétinoblastome chez l'enfant, aussi bien comme techniquecurative que pour éviter l'énucléation et/ou la radiothérapie externe.

Computation of an integral basis of a quartic number field

"Vegeu el resum a l'inici del document del fitxer adjunt."

Bargaining one-dimensional policies and the efficiency of super majority rules

We consider negotiations selecting one-dimensional policies. Individuals have single-peaked preferences, and they are impatient. Decisions arise from a bargaining game with random proposers and (super) majority approval, ranging from the simple majority up to unanimity. The existence and uniqueness of stationary subgame perfect equilibrium is established, and its explicit characterization provided. We supply an explicit formula to determine the unique alternative that prevails, as impatience vanishes, for each majority. As an application, we examine the efficiency of majority rules. For symmetric distributions of peaks unanimity is the unanimously preferred majority rule. For asymmetric populations rules maximizing social surplus are characterized.

Computation of an integral basis of quartic number field

"Vegeu el resum a l'inici del document del fitxer ajunt."

Fast numerical algorithms for the computation of invariant tori in Hamiltonian systems

In this paper, we develop numerical algorithms that use small requirements of storage and operations for the computation of invariant tori in Hamiltonian systems (exact symplectic maps and Hamiltonian vector fields). The algorithms are based on the parameterization method and follow closely the proof of the KAM theorem given in [LGJV05] and [FLS07]. They essentially consist in solving a functional equation satisfied by the invariant tori by using a Newton method. Using some geometric identities, it is possible to perform a Newton step using little storage and few operations. In this paper we focus on the numerical issues of the algorithms (speed, storage and stability) and we refer to the mentioned papers for the rigorous results. We show how to compute efficiently both maximal invariant tori and whiskered tori, together with the associated invariant stable and unstable manifolds of whiskered tori. Moreover, we present fast algorithms for the iteration of the quasi-periodic cocycles and the computation of the invariant bundles, which is a preliminary step for the computation of invariant whiskered tori. Since quasi-periodic cocycles appear in other contexts, this section may be of independent interest. The numerical methods presented here allow to compute in a unified way primary and secondary invariant KAM tori. Secondary tori are invariant tori which can be contracted to a periodic orbit. We present some preliminary results that ensure that the methods are indeed implementable and fast. We postpone to a future paper optimized implementations and results on the breakdown of invariant tori.

Generic super-exponential stability of invariant tori in Hamiltonian systems

In this article, we consider solutions starting close to some linearly stable invariant tori in an analytic Hamiltonian system and we prove results of stability for a super-exponentially long interval of time, under generic conditions. The proof combines classical Birkhoff normal forms and a new method to obtain generic Nekhoroshev estimates developed by the author and L. Niederman in another paper. We will mainly focus on the neighbourhood of elliptic fixed points, the other cases being completely similar.

RTOG 0525: Exploratory Subset Analysis from a Randomized Phase III Trial Comparing Standard (std) Adjuvant Temozolomide (TMZ) with a Dose-dense (dd) Schedule for Glioblastoma (GBM)

Purpose/Objective(s): RTwith TMZ is the standard for GBM. dd TMZ causes prolongedMGMTdepletion in mononuclear cells and possibly in tumor. The RTOG 0525 trial (ASCO 2011) did not show an advantage from dd TMZ for survival or progression free survival. We conducted exploratory, hypothesis-generating subset analyses to detect possible benefit from dd TMZ.Materials/Methods: Patients were randomized to std (150-200 mg/m2 x 5 d) or dd TMZ (75-100 mg/m2 x 21 d) q 4 weeks for 6- 12 cycles. Eligibility included age.18, KPS$ 60, and. 1 cm2 tissue for prospective MGMTanalysis for stratification. Furtheranalyses were performed for all randomized patients (''intent-to-treat'', ITT), and for all patients starting protocol therapy (SPT). Subset analyses were performed by RPA class (III, IV, V), KPS (90-100, = 50,\50), resection (partial, total), gender (female, male), and neurologic dysfunction (nf = none, minor, moderate).Results: No significant difference was seen for median OS (16.6 vs. 14.9 months), or PFS (5.5 vs. 6.7 months, p = 0.06). MGMT methylation was linked to improved OS (21.2 vs. 14 months, p\0.0001), and PFS (8.7 vs. 5.7 months, p\0.0001). For the ITT (n = 833), there was no OS benefit from dd TMZ in any subset. Two subsets showed a PFS benefit for dd TMZ: RPA class III (6.2 vs. 12.6 months, HR 0.69, p = 0.03) and nf = minor (HR 0.77, p = 0.01). For RPA III, dd dramatically delayed progression, but post-progression dd patients died more quickly than std. A similar pattern for nf = minor was observed. For the SPT group (n = 714) there was neither PFS nor OS benefit for dd TMZ, overall. For RPA class III and nf = minor, there was a PFS benefit for dd TMZ (HR 0.73, p = 0.08; HR 0.77, p = 0.02). For nf = moderate subset, both ITT and SPT, the std arm showed superior OS (14.4 vs. 10.9 months) compared to dd, without improved PFS (HR 1.46, p = 0.03; and HR 1.74, p = 0.01. In terms of methylation status within this subset, there were more methylated patients in the std arm of the ITT subset (n = 159; 32 vs. 24%). For the SPT subset (n = 124), methylation status was similar between arms.Conclusions: This study did not demonstrate improved OS for dd TMZ for any subgroup, but for 2 highly functional subgroups, PFS was significantly increased. These data generate the testable hypothesis that intensive treatment may selectively improve disease control in those most likely able to tolerate dd therapy. Interpretation of this should be considered carefully due to small sample size, the process of multiple observations, and other confounders.Acknowledgment: This project was supported by RTOG grant U10 CA21661, and CCOP grant U10 CA37422 from the National Cancer Institute (NCI).

Rest/nrsf governs the expression of dense-core vesicle gliosecretion in astrocytes

Astrocytes are the brain nonnerve cells that are competent for gliosecretion, i.e., for expression and regulated exocytosis of clear and dense-core vesicles (DCVs). We investigated whether expression of astrocyte DCVs is governed by RE-1-silencing transcription factor (REST)/neuron-restrictive silencer factor, the transcription repressor that orchestrates nerve cell differentiation. Rat astrocyte cultures exhibited high levels of REST and expressed neither DCVs nor their markers (granins, peptides, and membrane proteins). Transfection of dominant-negative construct of REST induced the appearance of DCVs filled with secretogranin 2 and neuropeptide Y (NPY) and distinct from other organelles. Total internal reflection fluorescence analysis revealed NPY-monomeric red fluorescent protein-labeled DCVs to undergo Ca21 -dependent exocytosis, which was largely prevented by botulinum toxin B. In the I-II layers of the human temporal brain cortex, all neurons and microglia exhibited the expected inappreciable and high levels of REST, respectively. In contrast, astrocyte RESTwas variable, going from inappreciable to high, and accompanied by a variable expression of DCVs. In conclusion, astrocyte DCV expression and gliosecretion are governed by REST. The variable in situ REST levels may contribute to the wellknown structural/ functional heterogeneity of astrocytes.