Filtyp
We propose a variational autoencoder to perform improved pre-processing forclustering and anomaly detection on data with a given label. Anomalies howeverare not known or labeled. We call our method conditioned variationalautonencoder since it separates the latent space by conditioning on informationwithin the data. The method fits one prior distribution to each class in thedataset, effectively exp
In this paper we study the Fokker-Planck operator with potential V (x), and analyze some kind of conditions imposed on the potential to ensure the validity of global hypoelliptic estimates (see Theorem 1.1). As a consequence, we obtain the compactness of resolvent of the Fokker-Planck operator if either the Witten Laplacian on 0-forms has a compact resolvent or some additional assumption on the be
A well-known theorem by Tarsi states that a minimally unsatisfiable CNF formula with m clauses can have at most m - 1 variables, and this bound is exact. In the context of proving lower bounds on proof space in k-DNF resolution, [Ben-Sasson and Nordström 2009] extended the concept of minimal unsatisfiability to sets of k-DNF formulas and proved that a minimally unsatisfiable k-DNF set with m formu
The aim of this paper is to show that logic programming is a powerful tool for representing scientific theories and for scientific inference. In a logic program it is possible to encode the qualitative and quantitative components of a theory in first order predicate logic, which is a highly expressive formal language. A theory program can then be handed to an algorithm that reasons about the theor
Population-level familial risks are not available for amyotrophic lateral sclerosis (ALS), and a few studies have analyzed familial association of ALS with other diseases. We used the Swedish Multigeneration Register to identify family members and link them to the Hospital Discharge Register to calculate standardized incidence ratios (SIRs) for familial association in ALS and 33 autoimmune disease
Invasive extravillous cytotrophoblast of the human placenta expresses galectins-1, -3, and -8 in vivo and in vitro. This study aimed to investigate the potential role of galectin-3 in cell migration and invasion, using recombinant human galectin-3 (rhgalectin-3), small molecule galectin inhibitor I 47 , and galect
Geoportals have been widely implemented by national spatial data infrastructures (NSDI) to provide users with the ability to search for geospatial resources over the Internet. This paper proposes an approach that can improve the functionalities of the conventional geoportals by adding recommendation capabilities to the execution mechanisms of geoportals. The geoportals with recommendation capabili
Software reliability is a frequently used term, but very seldom the reliability is under control during a software development project. This paper presents a method, Statistical Usage Testing (SUT), which gives the possibility to estimate and predict, and hence control the software reliability. SUT is the reliability certification method described as a part of Cleanroom software engineering. The m
Little is known about young adults' use of strip clubs and prostitution during their holidays abroad. This study examined this issue with a sample of 1125 Danish tourists between the ages of 16 and 34, and sought data about the frequency with which they paid for sex and attended strip clubs while they were on holiday. The tourists were surveyed at a Bulgarian airport before their return trip home.
Over the years, many jet clustering algorithms have been proposed for the analysis of hadronic final states in e+e- annihilations. These have somewhat different emphasis and are therefore more or less suited for various applications. We here review some of the most used and compare them from a theoretical and experimental point of view.
Bacterial infection is one of the major problems for human health. To prevent outbreak of bacteria-caused diseases, early diagnosis of bacterial pathogen and effective destruction of pathogenic microorganisms are in urgent need. In this work, we developed a new multifunctional nanocomposite material that can effectively capture and destroy bacteria. Epoxide-modified nanoparticles were synthesized
The “governing images” associated with the use and misuse of alcohol and drugs have varied across time and space. In Sweden, the 20th century saw a number of such perspectives – including the moral, the medical and the social – alternately dominating or coexisting. This multitude in perspectives is reflected in the organisation of addiction care and treatment, in which the responsibility for defin
A new foundation solution using a cellular raft with an active stabilisation system is proposed in this work. A comparative study of the new foundation and a traditional raft is performed. This study focuses on comparing the load capacity of the mentioned foundation solutions. The results illustrate that a cellular raft with an active stabilisation system gives a substantial enhancement of the loa
Mitophagy is a conserved cellular process that is important for autophagic removal of damaged mitochondria to maintain a healthy mitochondrial population. Mitophagy also appears to occur in plants and has roles in development, stress response, senescence, and programmed cell death. However, many of the genes that control mitophagy in yeast and animal cells are absent from plants, and no plant prot
