Miracle-dz/UniFAR-FTUs huggingface dataset:
Almost-Free Finite Covers

Let W be a first-order structure and ρ be an Aut(W)-congruence on W. In this article we define the almost-free finite covers of W with respect to ρ, and we show how to construct them. These are a generalization of free finite covers. A consequence of a result of [5] is that any finite cover of W with binding groups all equal to a simple non-abelian permutation group is almost-free with respect to some ρ on W. Our main result gives a description (up to isomorphism) in terms of the Aut(W)-congruences on W of the kernels of principal finite covers of W with binding groups equal at any point to a simple non-abelian regular permutation group G. Then we analyze almost-free finite covers of Ω(n), the set of ordered n-tuples of distinct elements from a countable set Ω, regarded as a structure with Aut(Ω(n)) = Sym(Ω) and we show a result about biinterpretability. The material here presented addresses a problem which arises in the context of classification of totally categorical structures.
A Model for Classification Based on the Functional Connectivity Pattern Dynamics of the Brain

Synchronized spontaneous low frequency fluctuations of the so called BOLD signal, as measured by functional Magnetic Resonance Imaging (fMRI), are known to represent the functional connections of different brain areas. Dynamic Time Warping (DTW) distance can be used as a similarity measure between BOLD signals of brain regions as an alternative of the traditionally used correlation coefficient and the usage of the DTW algorithm has further advantages: beside the DTW distance, the algorithm generates the warping path, i.e. the time-delay function between the compared two time-series. In this paper, we propose to use the relative length of the warping path as classification feature and demonstrate that the warping path itself carries important information when classifying patients according to cannabis addiction. We discuss biomedical relevance of our findings as well.
Camelis: Organizing and Browsing a Personal Photo Collection with a Logical Information System

Since the arrival of digital cameras, many people are faced to the challenge of organizing and retrieving the overwhelming flow of photos their life produces. Most people put no metadata on their photos, and we believe this is because existing tools make a very limited use of them. We present a tool, Camelis, that offers users with an organization of photos that is dynamically computed from the metadata, making worthwhile the effort to produce it. Camelis is designed along the lines of Logical Information Systems (LIS), which are founded on logical concept analysis. Hence, (1) an expressive language can be used to describe photos and query the collection, (2) manual and automatic metadata can be smoothly integrated, and (3) expressive querying and flexible navigation can be mixed in a same search and in any order. This presentation is illustrated by experiences on a real collection of more than 5000 photos.
Capacity of MIMO systems with antenna selection

We consider the capacity of multiple-input multiple-output systems with reduced complexity. One link-end uses all available antennas, while the other chooses the L out of N antennas that maximize capacity. We derive an upper bound on the capacity that can be expressed as the sum of the logarithms of ordered chi-square-distributed variables. This bound is then evaluated analytically and compared to the results obtained by Monte Carlo simulations. Our results show that the achieved capacity is close to the capacity of a full-complexity system provided that L is at least as large as the number of antennas at the other link-end. For example, for L = 3, N = 8 antennas at the receiver and three antennas at the transmitter, the capacity of the reduced-complexity scheme is 20 bits/s/Hz compared to 23 bits/s/Hz of a full-complexity scheme. We also present a suboptimum antenna subset selection algorithm that has a complexity of N/sup 2/ compared to the optimum algorithm with a complexity of (N/sub L/).
On data collection, graph construction, and sampling in Twitter

We present a detailed study on data collection, graph construction, and sampling in Twitter. We observe that sampling on semantic graphs (i.e., graphs with multiple edge types) presents fundamentally distinct challenges from sampling on traditional graphs. The purpose of our work is to present new challenges and initial solutions for sampling semantic graphs. Novel elements of our work include the following: (1) We provide a thorough discussion of problems encountered with naïve breadth-first search on semantic graphs. We argue that common sampling methods such as breadth-first search face specific challenges on semantic graphs that are not encountered on graphs with homogeneous edge types. (2) We present two competing methods for creating semantic graphs from data collects, corresponding to the interactions between sampling of different edge types. (3) We discuss new metrics specific to graphs with multiple edge types, and discuss the effect of the sampling method on these metrics. (4) We discuss issues and potential solutions pertaining to sampling semantic graphs.
A Correction for an Underdispersed Event Count Probability Distribution

We demonstrate that the expected value and variance commonly given for a well-known probability distribution are incorrect. We also provide corrected versions and report changes in a computer program to account for the known practical uses of this distribution. The probability distribution in question, named the continuous parameter binomial (CPB) by King (1989a), has been known for at least six decades. The publications that reported the moments incorrectly, or were at least unclear about them, include a dated article (Guldberg 1931), a dissertation and several resulting published articles (Katz 1945, 1965), a popular reference book (Johnson and Kotz 1969),' work in political science on event count regression models (King 1989a), and extensions of these event count models in econometrics (Winkelmann and Zimmermann 1991). Event count regression models have become increasingly common in empirical political science research; some recent examples include Wang et al. (1993) and Krause (1994).
Integrability of N = 3 super Yang-Mills equations

We describe the harmonic superspace formulation of the Witten-Manin supertwistor correspondence for N=3 extended super Yang-Mills theories. The essence is that on being sufficiently supersymmetrised (up to the N=3 extension), the Yang-Mills equations of motion can be recast in the form of Cauchy-Riemann-like holomorphicity conditions for a pair of prepotentials in the appropriate harmonic superspace. This formulation makes the explicit construction of solutions a rather more tractable proposition than previous attempts.
Checking the counterarguments confirms that publication bias contaminated studies relating social class and unethical behavior

The analysis in Francis (2012c) was a modification of an approach proposed by Ioannidis and Trikalinos (2007). The basic argument was that the power values for the experiments in Piff et al. (2012a) were usually (with one exception) close to 0.5, so the probability that all seven experiments would reject the null hypothesis was so small that one doubted that the experiments were run properly and reported fully. Piff et al. (2012b) made three counterarguments to suggest that the analysis in Francis (2012c) was invalid. In fact, an investigation of the counterarguments only leads to further confirmation of the analysis in Francis (2012c).
Efficient Nonparametric Bayesian Modelling with Sparse Gaussian Process Approximations

Sparse approximations to Bayesian inference for nonparametric Gaussian Process models scale linearly in the number of training points, allowing for the application of powerful kernel-based models to large datasets. We present a general framework based on the informative vector machine (IVM) (Lawrence et.al., 2002) and show how the complete Bayesian task of inference and learning of free hyperparameters can be performed in a practically efficient manner. Our framework allows for arbitrary likelihood and kernel functions, so that a large number of elementary models can be treated in a unified way. We present a range of experiments for our method applied to binary classification and regression tasks. Models based on a single latent function can be combined in order to address more complicated setups. We demonstrate this approach for a multi-way classification model.
PARALLEL ALGORITHM FOR RADIOCOLORING A

Given an undirected graph G(V, E) with vertex set V and edge set E, the Radiocoloring of G is defined as a function f : V → N such that for all pairs of vertices x, y in G |f(x) − f(y)| ≥ 2 when d(x, y) = 1 and |f(x) − f(y)| ≥ 1 when d(x, y) = 2, where d(x, y) is the distance between the vertices x and y and N is the set of nonnegative integers. The range of numbers used is called a span. The radiocoloring problem consists of determining the minimum span for a given graph G. This minimum span of G is called the radiochromatic number, λ of G. In this paper, we discuss Nordhaus-Gaddum type result for the sum and product of the radiochromatic number of a graph and that of its complement. We also propose an approximate parallel algorithm for radiocoloring. Our algorithm is based on the largest-degree-first coloring heuristic.
Speed nonlinear predictive control of a series dc motor for bidirectional operation

This paper presents a speed nonlinear predictive control scheme for a Series DC Motor. The proposed scheme is capable of overcoming the singularity presented when the current approaches to zero and the inherently non-linear behaviour. The control scheme presented is composed of a speed predictive control and an internal model control. The effectiveness of this control algorithm has been successfully verified through simulations.
Comparison of prognostic algorithms for estimating remaining useful life of batteries

The estimation of remaining useful life (RUL) of a faulty component is at the centre of system prognostics and health management. It gives operators a potent tool in decision making by quantifying how much time is left until functionality is lost. RUL prediction needs to contend with multiple sources of errors, like modelling inconsistencies, system noise and degraded sensor fidelity, which leads to unsatisfactory performance from classical techniques like autoregressive integrated moving average (ARIMA) and extended Kalman filtering (EKF). The Bayesian theory of uncertainty management provides a way to contain these problems. The relevance vector machine (RVM), the Bayesian treatment of the well known support vector machine (SVM), a kernel-based regression/classification technique, is used for model development. This model is incorporated into a particle filter (PF) framework, where statistical estimates of noise and anticipated operational conditions are used to provide estimates of RUL in the form of a probability density function (pdf). We present here a comparative study of the above-mentioned approaches on experimental data collected from Li-ion batteries. Batteries were chosen as an example of a complex system whose internal state variables are either inaccessible to sensors or hard to measure under operational conditions. In addition, battery performance is strongly influenced by ambient environmental and load conditions.
Star formation properties of isolated blue compact galaxies

We report Hα observations of a sample of very isolated blue compact galaxies (BCGs) located in the direction of large cosmic voids obtained to understand their stellar population compositions, the present star formation (SF) properties and their SF histories (SFHs). Our observations were combined with photometric data from the Sloan Digital Sky Survey (SDSS) and near-infrared data from the Two Micron All Sky Survey (2MASS), wherever such data were available. The combined data sets were compared with predictions of evolutionary synthesis models by Bruzual & Charlot. Current SF rates (SFRs) were determined from the Hα measurements, and simplified SFHs were derived from broad-band and Hα photometry and comparisons with the models. We found that the SFRs range within 0.1-1.0 M ⊙ yr -1 , with a median rate of 0.6 M ⊙ ) yr -1 . The observed galaxy colours are better explained by the combination of a continuous SF process with a recent instantaneous SF burst, than by a combination of several instantaneous bursts, as has been suggested previously. We compare our results for the SFR of the sample galaxies with that of samples of dwarf galaxies (DGs) in the Virgo cluster (VC) and find that the BCGs have significantly stronger SFRs. The BCGs follow the correlation between Hα emission and starlight found for DGs in the VC and for other BCGs.
Loss of Olfactory Receptor Genes Coincides with the Acquisition of Full Trichromatic Vision in Primates

Olfactory receptor (OR) genes constitute the molecular basis for the sense of smell and are encoded by the largest gene family in mammalian genomes. Previous studies suggested that the proportion of pseudogenes in the OR gene family is significantly larger in humans than in other apes and significantly larger in apes than in the mouse. To investigate the process of degeneration of the olfactory repertoire in primates, we estimated the proportion of OR pseudogenes in 19 primate species by surveying randomly chosen subsets of 100 OR genes from each species. We find that apes, Old World monkeys and one New World monkey, the howler monkey, have a significantly higher proportion of OR pseudogenes than do other New World monkeys or the lemur (a prosimian). Strikingly, the howler monkey is also the only New World monkey to possess full trichromatic vision, along with Old World monkeys and apes. Our findings suggest that the deterioration of the olfactory repertoire occurred concomitant with the acquisition of full trichromatic color vision in primates.
A STUDY OF TWINS FROM ADOLESCENCE TO YOUNG ADULTHOOD

The sample consisted of 419 twins, born in 1965–1973, from Northern Finland who had been followed at ten-year intervals, at 2–10 years, 12–20 years and at 22–30 years of age. Data on psychosomatic symptoms, parent-twin and inter-twin relationships were elicited, and twins completed the Children's Depression Inventory modified for age. Middle adolescence appeared to be the most difficult phase of puberty for twins as far as depressive and psychosomatic/somatic symptoms were concerned. When different twin pairs were evaluated separately, the males of opposite-sex twin pairs seemed to be in the most favourable position, particularly in late adolescence, as they reported least depressive symptoms. Depressive and psychosomatic symptoms were evaluated in relation to parental preference among young adult twins. Parental preference was evaluated in two directions: which one of the parents was reported to feel as being closer to the twin – experienced parental preference evaluated by the twin, and which one of the parents the twin felt closer to – twin's own preference. Those males who were equally close to both parents (experienced parental preference) had least total depressiveness, while females in intermediate situation had the highest self-confidence and least anhedonia and nervousness. According to twins' own preference, twins who felt equally close to both parents had least total depressiveness and anhedonia. The intermediate position seems to be the best alternative, as these twins had the least symptoms. Psychosomatic and depressive symptoms were evaluated in relation to co-twin dependence in young adult twins. MZ twins, especially MZ females, reported most often co-twin dependence at all ages. There were no significant differences in depressive symptoms between dependent and independent twins. Twin's subjective experience about co-twin dependence appeared to be important for the twin's mental well-being, as dependence-independence imbalance within twin pair was associated with elevated levels of depressive symptom reporting, especially in twins who perceived themselves as dependent and the co-twin as independent. Dominance-submissiveness between co-twins and its relationship to mental health was assessed in young adulthood. Dominance-submissiveness in the twin relationships was assessed separately in three domains of life: physical and psychological dominance-submissiveness and the role of a spokesperson. Submissiveness in the psychological domain seemed to be associated with increased depressiveness, nervous complaints and psychosomatic symptoms in males of male-female twin pairs. Among females of same-sex twin pairs, submissiveness in the psychological domain was most clearly associated with depressive symptoms. We conclude that being submissive, especially in the psychological domain, to a female twin partner seems to be stressful, whereas it is easier, especially for females, to be submissive to a male twin partner. This was in contrast to co-twin dependency, which was experienced positively when occurring towards a twin sister.
MAGE-A Inhibits Apoptosis in Proliferating Myeloma Cells through Repression of Bax and Maintenance of Survivin

Purpose: The type I Melanoma Antigen GEnes (MAGEs) are commonly expressed in cancers, fueling speculation that they may be therapeutic targets with oncogenic potential. They form complexes with RING domain proteins that have E3 ubiquitin ligase activity and promote p53 degradation. MAGE-A3 was detected in tumor specimens from patients with multiple myeloma and its expression correlated with higher frequencies of Ki-67+ malignant cells. In this report, we examine the mechanistic role of MAGE-A in promoting survival of proliferating multiple myeloma cells. Experimental Design: The impact of MAGE-A3 expression on survival and proliferation in vivo was examined by immunohistochemical analysis in an independent set of tumor specimens segregated into two groups: newly diagnosed, untreated patients and patients who had relapsed after chemotherapy. The mechanisms of MAGE-A3 activity were investigated in vitro by silencing its expression by short hairpin RNA interference in myeloma cell lines and primary cells and assessing the resultant effects on proliferation and apoptosis. Results: MAGE-A3 was detected in a significantly higher percentage of relapsed patients compared with newly diagnosed, establishing a novel correlation with progression of disease. Silencing of MAGE-A showed that it was dispensable for cell cycling, but was required for survival of proliferating myeloma cells. Loss of MAGE-A led to apoptosis mediated by p53-dependent activation of proapoptotic Bax expression and by reduction of survivin expression through both p53-dependent and -independent mechanisms. Conclusions: These data support a role for MAGE-A in the pathogenesis and progression of multiple myeloma by inhibiting apoptosis in proliferating myeloma cells through two novel mechanisms. Clin Cancer Res; 17(13); 4309–19. ©2011 AACR.
PROMISE - Modeling and Predicting User Query Behavior in Online Analytical Processing Environments

Users of Online Analytical Processing (OLAP) tools interactively analyze data that is structured according to the multidimensional data model. The user’s navigational query behavior in these environments often follows characteristic patterns mirroring the structure of the analytical process. This paper discusses the PROMISE ( Predicting User Behavi or in Multidimensional Information System Environments) approach, that uses information about characteristic patterns in multidimensional data access on a high level of abstraction in order to improve caching algorithms. The paper motivates this approach by presenting results of an analysis of the user behavior in a real-world OLAP environment. Further contributions of this paper are a model for characteristic OLAP query patterns based on Markov Models and a corresponding OLAP query prediction algorithm.
Participatory Approach to Community Based Water Supply System

Water scarcity due to climate change as well as inappropriate water governance is one of the important topics in the world, particularly in developing countries. Most people who live close to the water resource are not always economically-advantaged. Moreover, it might be seems that people living close to 'economically-attractive water resource' are classified into lower category according to the standard of living in the country. Community based water supply system is one of strong alternatives to existing water supply system by the public sector. The community based water supply system works more effectively if it is based upon strong community network in the region. This study conducts an empirical research on community based water supply system in Indonesian rural area. In this paper, we propose a discrete-choice model which describes the mechanism of resident's spontaneous collaboration to access water. We formulate a hypothesis that households with better community tie have ability to organize "community based" management system. In order to test it, we formulate a spatial probit model which can consider the effect of social interaction upon their choices in water supply system. Traditionally, spatial models are estimated with maximum likelihood method, however, in this paper, we adopt Markov chain Monte Carlo (MCMC) method to estimate parameters due to the difficulty in estimation of discrete-choice model with spatial interaction term. Using dataset from a field survey in Indonesia which we conducted in 2008 the spatial probit model is empirically tested to show that social interaction in the community plays an important role on resident's spontaneous collaboration to manage community-based water supply system.
Molecular markers in circulating tumour cells from metastatic colorectal cancer patients

The prognosis of metastatic cancer patients is still largely affected by treatment failure, mainly due to drug resistance. The hypothesis that chemotherapy might miss circulating tumour cells (CTCs) and particularly a subpopulation of more aggressive, stem‐like CTCs, characterized by multidrug resistance, has been recently raised. We investigated the prognostic value of drug resistance and stemness markers in CTCs from metastatic colorectal cancer patients treated with oxaliplatin (L‐OHP) and 5‐fluoruracil (5‐FU) based regimens. Forty patients with metastatic colorectal cancer were enrolled. CTCs were isolated from peripheral blood and analysed for the expression of aldheyde dehydrogenase 1 (ALDH1), CD44, CD133 (used as markers of stemness), multidrug resistance related protein 5 (MRP5 used as marker of resistance to 5‐FU and L‐OHP) and survivin (used as a marker of apoptosis resistance). CTCs were found in 27/40 (67%) patients. No correlation was found between the expression of either CD44 and CD133 in CTCs and the outcome of patients, while a statistically significant shorter progression‐free survival was found in patients with CTCs positive for the expression of ALDH1, survivin and MRP5. These results support the idea that isolating survivin and MRP5+ CTCs may help in the selection of metastatic colorectal cancer patients resistant to standard 5‐FU and L‐OHP based chemotherapy, for which alternative regimens may be appropriate.