Internal Universes in Models of Homotopy Type Theory

We begin by recalling the essentially global character of universes in various models of homotopy type theory, which prevents a straightforward axiomatization of their properties using the internal language of the presheaf toposes from which these model are constructed. We get around this problem by extending the internal language with a modal operator for expressing properties of global elements. In this setting we show how to construct a universe that classifies the Cohen-Coquand-Huber-Mörtberg (CCHM) notion of fibration from their cubical sets model, starting from the assumption that the interval is tiny - a property that the interval in cubical sets does indeed have. This leads to an elementary axiomatization of that and related models of homotopy type theory within what we call crisp type theory

A pseudo feedback-based annotated TF-IDF technique for dynamic crypto-ransomware pre-encryption boundary delineation and features extraction

The cryptography employed against user files makes the effect of crypto-ransomware attacks irreversible even after detection and removal. Thus, detecting such attacks early, i.e. during pre-encryption phase before the encryption takes place is necessary. Existing crypto-ransomware early detection solutions use a fixed time-based thresholding approach to determine the pre-encryption phase boundaries. However, the fixed time thresholding approach implies that all samples start the encryption at the same time. Such assumption does not necessarily hold for all samples as the time for the main sabotage to start varies among different crypto-ransomware families due to the obfuscation techniques employed by the malware to change its attack strategies and evade detection, which generates different attack behaviors. Additionally, the lack of sufficient data at the early phases of the attack adversely affects the ability of feature extraction techniques in early detection models to perceive the characteristics of the attacks, which, consequently, decreases the detection accuracy. Therefore, this paper proposes a Dynamic Pre-encryption Boundary Delineation and Feature Extraction (DPBD-FE) scheme that determines the boundary of the pre-encryption phase, from which the features are extracted and selected more accurately. Unlike the fixed thresholding employed by the extant works, DPBD-FE tracks the pre-encryption phase for each instance individually based on the first occurrence of any cryptography-related APIs. Then, an annotated Term Frequency-Inverse Document Frequency (aTF-IDF) technique was utilized to extract the features from runtime data generated during the pre-encryption phase of crypto-ransomware attacks. The aTF-IDF overcomes the challenge of insufficient attack patterns during the early phases of the attack lifecycle. The experimental evaluation shows that DPBD-FE was able to determine the pre-encryption boundaries and extract the features related to this phase more accurately compared to related works

Iterative orthology prediction uncovers new mitochondrial proteins and identifies C12orf62 as the human ortholog of COX14, a protein involved in the assembly of cytochrome c oxidase

BACKGROUND: Orthology is a central tenet of comparative genomics and ortholog identification is instrumental to protein function prediction. Major advances have been made to determine orthology relations among a set of homologous proteins. However, they depend on the comparison of individual sequences and do not take into account divergent orthologs. RESULTS: We have developed an iterative orthology prediction method, Ortho-Profile, that uses reciprocal best hits at the level of sequence profiles to infer orthology. It increases ortholog detection by 20% compared to sequence-to-sequence comparisons. Ortho-Profile predicts 598 human orthologs of mitochondrial proteins from Saccharomyces cerevisiae and Schizosaccharomyces pombe with 94% accuracy. Of these, 181 were not known to localize to mitochondria in mammals. Among the predictions of the Ortho-Profile method are 11 human cytochrome c oxidase (COX) assembly proteins that are implicated in mitochondrial function and disease. Their co-expression patterns, experimentally verified subcellular localization, and co-purification with human COX-associated proteins support these predictions. For the human gene C12orf62, the ortholog of S. cerevisiae COX14, we specifically confirm its role in negative regulation of the translation of cytochrome c oxidase. CONCLUSIONS: Divergent homologs can often only be detected by comparing sequence profiles and profile-based hidden Markov models. The Ortho-Profile method takes advantage of these techniques in the quest for orthologs

Evaluation of left atrial systolic function in noncompaction cardiomyopathy by real-time three-dimensional echocardiography

Background Noncompaction cardiomyopathy (NCCM) is a rare disorder with persistance of the embryonic pattern of myoarchitecture. NCCM is characterized by loosened, spongy myocardium associated with a high incidence of systolic and diastolic left ventricular (LV) dysfunction and heart failure (HF). It is known that LV dysfunction contributes to elevated left atrial (LA) and pulmonary vascular pressures, however atrial function has not been examined in NCCM. The objective of the present study was to assess LA systolic function characterized by LA ejection force (LAEF) in NCCM patients using real-time three-dimensional echocardiography (RT3DE) and to compare to control subjects. Methods The study comprised 17 patients with an established diagnosis of NCCM and their results were compared to 17 healthy age-matched controls with no evidence of cardiovascular disease. Forty-one percent of NCCM patients were in NYHA functional class II / III HF. Previously proposed echocardiographic diagnostic criteria for NCCM were used. All patients underwent conventional two-dimensional echocardiography and RT3DE. LAEF was measured based on MA annulus diameter (LAEF3D-MAD) and area (LAEF3D-MAA) using RT3DE. Results The presence and severity of mitral regurgitation were more frequent in NCCM patients than in control subjects. LV diameters and mitral annulus were significantly increased in NCCM patients. Compared with control subjects, both LAEF3D-MAD (3.8 ± 2.2 vs 2.3 ± 1.0 kdyne, P < 0.05) and LAEF3D-MAA (12.7 ± 7.6 vs 4.9 ± 2.1 kdyne, P < 0.01) were significantly increased in NCCM patients. Conclusions LAEF as a characteristic of LA systolic function is increased in NCCM patients compared to normal individuals. These results can suggest compensating left atrial work against the dysfunctional LV in NCCM patients

Applying refinement to the use of mice and rats in rheumatoid arthritis research

Rheumatoid arthritis (RA) is a painful, chronic disorder and there is currently an unmet need for effective therapies that will benefit a wide range of patients. The research and development process for therapies and treatments currently involves in vivo studies, which have the potential to cause discomfort, pain or distress. This Working Group report focuses on identifying causes of suffering within commonly used mouse and rat ‘models’ of RA, describing practical refinements to help reduce suffering and improve welfare without compromising the scientific objectives. The report also discusses other, relevant topics including identifying and minimising sources of variation within in vivo RA studies, the potential to provide pain relief including analgesia, welfare assessment, humane endpoints, reporting standards and the potential to replace animals in RA research

Модернізація стоматологічної установки УС- 30

Background: The novel chemokine CXCL17 acts as chemoattractant for monocytes, macrophages and dendritic cells. CXCL17 also has a role in angiogenesis of importance for tumour development. Methods: Expression of CXCL17, CXCL10, CXCL9 and CCL2 was assessed in primary colon cancer tumours, colon carcinoma cell lines and normal colon tissue at mRNA and protein levels by real-time qRT-PCR, immunohistochemistry, two-colour immunofluorescence and immunomorphometry. Results: CXCL17 mRNA was expressed at 8000 times higher levels in primary tumours than in normal colon (P&lt;0.0001). CXCL17 protein was seen in 17.2% of cells in tumours as compared with 0.07% in normal colon (P = 0.0002). CXCL10, CXCL9 and CCL2 mRNAs were elevated in tumours but did not reach the levels of CXCL17. CXCL17 and CCL2 mRNA levels were significantly correlated in tumours. Concordant with the mRNA results, CXCL10-and CXCL9-positive cells were detected in tumour tissue, but at significantly lower numbers than CXCL17. Two-colour immunofluorescence and single-colour staining of consecutive sections for CXCL17 and the epithelial cell markers carcinoembryonic antigen and BerEP4 demonstrated that colon carcinoma tumour cells indeed expressed CXCL17. Conclusions: CXCL17 is ectopically expressed in primary colon cancer tumours. As CXCL17 enhances angiogenesis and attracts immune cells, its expression could be informative for prognosis in colon cancer patients

ENIGMA and global neuroscience: A decade of large-scale studies of the brain in health and disease across more than 40 countries.

This review summarizes the last decade of work by the ENIGMA (Enhancing NeuroImaging Genetics through Meta Analysis) Consortium, a global alliance of over 1400 scientists across 43 countries, studying the human brain in health and disease. Building on large-scale genetic studies that discovered the first robustly replicated genetic loci associated with brain metrics, ENIGMA has diversified into over 50 working groups (WGs), pooling worldwide data and expertise to answer fundamental questions in neuroscience, psychiatry, neurology, and genetics. Most ENIGMA WGs focus on specific psychiatric and neurological conditions, other WGs study normal variation due to sex and gender differences, or development and aging; still other WGs develop methodological pipelines and tools to facilitate harmonized analyses of "big data" (i.e., genetic and epigenetic data, multimodal MRI, and electroencephalography data). These international efforts have yielded the largest neuroimaging studies to date in schizophrenia, bipolar disorder, major depressive disorder, post-traumatic stress disorder, substance use disorders, obsessive-compulsive disorder, attention-deficit/hyperactivity disorder, autism spectrum disorders, epilepsy, and 22q11.2 deletion syndrome. More recent ENIGMA WGs have formed to study anxiety disorders, suicidal thoughts and behavior, sleep and insomnia, eating disorders, irritability, brain injury, antisocial personality and conduct disorder, and dissociative identity disorder. Here, we summarize the first decade of ENIGMA's activities and ongoing projects, and describe the successes and challenges encountered along the way. We highlight the advantages of collaborative large-scale coordinated data analyses for testing reproducibility and robustness of findings, offering the opportunity to identify brain systems involved in clinical syndromes across diverse samples and associated genetic, environmental, demographic, cognitive, and psychosocial factors

Severe acute respiratory infection caused by swine influenza virus in a child necessitating extracorporeal membrane oxygenation (ECMO), the Netherlands, October 2016.

In October 2016, a severe infection with swine influenza A(H1N1) virus of the Eurasian avian lineage occurred in a child with a previous history of eczema in the Netherlands, following contact to pigs. The patient's condition deteriorated rapidly and required life support through extracorporeal membrane oxygenation. After start of oseltamivir treatment and removal of mucus plugs, the patient fully recovered. Monitoring of more than 80 close unprotected contacts revealed no secondary cases