Formalization of the fundamental group in untyped set theory using auto2

We present a new framework for formalizing mathematics in untyped set theory using auto2. Using this framework, we formalize in Isabelle/FOL the entire chain of development from the axioms of set theory to the definition of the fundamental group for an arbitrary topological space. The auto2 prover is used as the sole automation tool, and enables succinct proof scripts throughout the project.Comment: 17 pages, accepted for ITP 201

Tracking System with Re-identification Using a RGB String Kernel

International audiencePeople re-identification consists to identify a person which comes back in a scene where it has been previously detected. This key problem in visual surveillance applications may concern single or multi camera systems. Features encoding each person should be rich enough to provide an efficient re-identification while being sufficiently robust to remain significant through the different phenomena which may alter the appearance of a person in a video. We propose in this paper a method which encodes people's appearance through a string of salient points. The similarity between two such strings is encoded by a kernel. This last kernel is combined with a tracking algorithm in order to associate a set of strings to each person and to measure similarities between persons entering into the scene and persons who left it

Analysis of the effect of subcutaneous injection of omental-derived cells on the healing of third degree burns in rats: A preliminary study Effet de l�injection sous-cutanée de cellules épiploïques sur la cicatrisation de brûlures du troisième degré chez le rat: �tude préliminaire

Burn injury is considered a global health issue. Third degree burn wounds do not heal spontaneously and require skin grafts. Some factors could contribute to wound healing. In this study we assessed the effect of non-fatty omental cells in burn wound healing. Similar third degree burn wounds were induced on the back of 192 rats. Forty-eight of these rats were put in a control group that did not receive any treatment. The rest of the rats were put in 3 groups, each receiving a different treatment regime. Rats in group 2 had a daily application of silver sulfadiazine; group 3 rats were injected with omental cells, and group 4 rats were injected with phosphate buffer saline (PBS) once, followed by daily application of Vaseline to the burned region. Parameters such as open epidermis length, number of epidermal cell layers, granulation tissue thickness (GTT) and neutrophil density were evaluated in each group. The average open epidermis length in the omental cell group was less than in the other groups on days 10 and 20 (P<0.05). The thickness of epidermal cell layers in the group receiving cells was greater than in the other groups on all days. On the 20th day, there was a significant difference in GTT between the four groups (P<0.05). The injection of non-fatty omental cells has a positive effect on third degree burn wounds in rats. © 2018, Mediterranean Club for Burns and Fire Disasters. All rights reserved

Cohort profile: The Golestan Cohort Study-a prospective study of oesophageal cancer in Northern Iran

[No abstract available

The effect of tablet containing Boswellia serrata and Melisa officinalis extract on older adults' memory: A randomized controlled trial

Abstract Background Memory deficits and age-related memory loss are currently two significant concerns in older adults. In Iranian herbal medicine, there are some prescriptions for memory improvement. Objective This study was designed to investigate the effect of tablet containing Boswellia serrata (BS) extract and Mellisa officinalis (MO) extract on memory of the older adults. Method This is a randomized, parallel, double-blind, placebo-controlled clinical trial that performed among 70 older adults who referred to healthcare centers of Kashan University of Medical Sciences, Iran. Subjects were randomly assigned to receive either tablets (n = 35) or placebo (n = 35) for a month (n = 30). Data were collected using a demographic questionnaire and the Wechsler Memory Scale-Revised (WMS-R). Data were analyzed using Chi-square, independent-samples t-tests, paired t-test, repeated measure ANOVA, and ANCOVA using SPSS v13. Result Participants' baseline characteristics were similar in the two groups. The study was completed by 53 participants. However, as the analysis was based on an intention-to treat approach, all 70 older adults were included in the final analysis. Comparison of the two groups with showed that the total scores of the WMS-R and the subscales, including auditory immediate, immediate memory, visual immediate and working memory, were increased after consumption of the containing BS and MO tablets (p < 0.0001). Conclusion The BS and MO tablet in older adults can be beneficial on improvement of memory. This is still necessary to investigate effects and durability of the tablets on older adults with memory impairments in future studies. Keywords Boswellia serrata Older adult Mellisa officinalis Memor

A reference relative time-scale as an alternative to chronological age for cohorts with long follow-up

Background: Epidemiologists have debated the appropriate time-scale for cohort survival studies; chronological age or time-on-study being two such time-scales. Importantly, assessment of risk factors may depend on the choice of time-scale. Recently, chronological or attained age has gained support but a case can be made for a ‘reference relative time-scale’ as an alternative which circumvents difficulties that arise with this and other scales. The reference relative time of an individual participant is the integral of a reference population hazard function between time of entry and time of exit of the individual. The objective here is to describe the reference relative time-scale, illustrate its use, make comparison with attained age by simulation and explain its relationship to modern and traditional epidemiologic methods. Results: A comparison was made between two models; a stratified Cox model with age as the time-scale versus an un-stratified Cox model using the reference relative time-scale. The illustrative comparison used a UK cohort of cotton workers, with differing ages at entry to the study, with accrual over a time period and with long follow-up. Additionally, exponential and Weibull models were fitted since the reference relative time-scale analysis need not be restricted to the Cox model. A simulation study showed that analysis using the reference relative time-scale and analysis using chronological age had very similar power to detect a significant risk factor and both were equally unbiased. Further, the analysis using the reference relative time-scale supported fully-parametric survival modelling and allowed percentile predictions and mortality curves to be constructed. Conclusions: The reference relative time-scale was a viable alternative to chronological age, led to simplification of the modelling process and possessed the defined features of a good time-scale as defined in reliability theory. The reference relative time-scale has several interpretations and provides a unifying concept that links contemporary approaches in survival and reliability analysis to the traditional epidemiologic methods of Poisson regression and standardised mortality ratios. The community of practitioners has not previously made this connection

Enabling Technologies for Silicon Microstrip Tracking Detectors at the HL-LHC

While the tracking detectors of the ATLAS and CMS experiments have shown excellent performance in Run 1 of LHC data taking, and are expected to continue to do so during LHC operation at design luminosity, both experiments will have to exchange their tracking systems when the LHC is upgraded to the high-luminosity LHC (HL-LHC) around the year 2024. The new tracking systems need to operate in an environment in which both the hit densities and the radiation damage will be about an order of magnitude higher than today. In addition, the new trackers need to contribute to the first level trigger in order to maintain a high data-taking efficiency for the interesting processes. Novel detector technologies have to be developed to meet these very challenging goals. The German groups active in the upgrades of the ATLAS and CMS tracking systems have formed a collaborative "Project on Enabling Technologies for Silicon Microstrip Tracking Detectors at the HL-LHC" (PETTL), which was supported by the Helmholtz Alliance "Physics at the Terascale" during the years 2013 and 2014. The aim of the project was to share experience and to work together on key areas of mutual interest during the R&D phase of these upgrades. The project concentrated on five areas, namely exchange of experience, radiation hardness of silicon sensors, low mass system design, automated precision assembly procedures, and irradiations. This report summarizes the main achievements

Diophantine Approximation and applications in Interference Alignment

This paper is motivated by recent applications of Diophantine approximation in electronics, in particular, in the rapidly developing area of Interference Alignment. Some remarkable advances in this area give substantial credit to the fundamental Khintchine-Groshev Theorem and, in particular, to its far reaching generalisation for submanifolds of a Euclidean space. With a view towards the aforementioned applications, here we introduce and prove quantitative explicit generalisations of the Khintchine-Groshev Theorem for non-degenerate submanifolds of R n. The importance of such quantitative statements is explicitly discussed in Jafar's monograph [12, §4.7.1]

A double-sided, shield-less stave prototype for the ATLAS upgrade strip tracker for the high luminosity LHC

A detailed description of the integration structures for the barrel region of the silicon strips tracker of the ATLAS Phase-II upgrade for the upgrade of the Large Hadron Collider, the so-called High Luminosity LHC (HL-LHC), is presented. This paper focuses on one of the latest demonstrator prototypes recently assembled, with numerous unique features. It consists of a shortened, shield-less, and double sided stave, with two candidate power distributions implemented. Thermal and electrical performances of the prototype are presented, as well as a description of the assembly procedures and tools

Protein-protein interaction network analysis of human fibroblast cells treated with ethanol

Introduction: Studies show that ethanol can induce changes in proteomic profile of human fibroblast cells. Some of these proteins are important in promoting cancer. Thus, analyzing function and interaction networks of these proteins are essential for better understanding the carcinogenesis mechanism of ethanol. Materials and Methods: In this study the protein-protein interaction network (PPI) of six significant down-regulated proteins in human fibroblast cells (HFFF2) treated with ethanol were analyzed by using Cytoscape software and its algorithms. Results: PPI network analysis showed that the constructed network consisted of 756 nodes and 1166 edges. Results indicated that Heterogeneous nuclear ribonucleoprotein A1 with degree = 528 and Betweenness Centrality = 0.74 is a hub protein that ethanol can alter its expression. In addition, module evaluation showed that the hub protein has a key role in different overlapped complexes. On the other hand, annotation studies by using DAVID program indicated that this protein is involved in different important biological processes in the cell. Conclusion: The six down-regulated proteins treated with ethanol may become carcinogenic and can impose vast alterations in other vital biological processes of the cell. Among them, Heterogeneous nuclear ribonucleoprotein A1 is the most important one. © 2016, Semnan University of Medical Sciences. All rights reserved