Miracle-dz/UniFAR-FTUs huggingface dataset:
Coevolutive planning in markov decision processes

We investigate the idea of having groups of agents coevolving in order to iteratively refine multi-agent plans. This idea we called coevolution is formalized and analyzed in a general purpose and applied to the stochastic control frameworks that use an explicit model of the world,: coevolution can directly be adapted to the frameworks of Multi-Agent Markov Decision Processes (MMDP) and Multi-Agent Partially Observable MDP (MPOMDP). We also consider the decentralized version of MPOMDP (DEC-POMDP) which is known to be a difficult problem,: we show that the coevolution approach can be applied if we restrict the search to memoryless policies. We evaluate our coevolutive approach experimentally on a typical multi-agent problem.
On the Krohn-rhodes Complexity of Semigroups of Upper Triangular Matrices

We consider the Krohn–Rhodes complexity of certain semigroups of upper triangular matrices over finite fields. We show that for any n > 1 and finite field k, the semigroups of all n × n upper triangular matrices over k and of all n × n unitriangular matrices over k have complexity n - 1. A consequence is that the complexity c > 1 of a finite semigroup places a lower bound of c + 1 on the dimension of any faithful triangular representation of that semigroup over a finite field.
Thermal Expansion: Metallic Elements and Alloys

The introductory sections of the work are devoted to the theory of thermal expansion of solids and to methods for the measurement of the linear thermal expansion of solids (X-ray methods, high speed methods, interferometry, push-rod dilatometry, etc.). The bulk of the work is devoted to numerical data on the thermal linear expansion of all the metallic elements, a large number of intermetallics, and a large number of binary alloy systems and multiple alloy systems. A comprehensive bibliography is provided along with an index to the materials examined.
The Human Mucin MUC4 Is Transcriptionally Regulated by Caudal-related Homeobox, Hepatocyte Nuclear Factors, Forkhead Box A, and GATA Endodermal Transcription Factors in Epithelial Cancer Cells*

The human gene MUC4 encodes a large transmembrane mucin that is developmentally regulated and expressed along the undifferentiated pseudostratified epithelium, as early as 6.5 weeks during fetal development. Immunohistochemical analysis of Muc4 expression in developing mouse lung and gastrointestinal tract showed a different spatio-temporal pattern of expression before and after cytodifferentiation. The molecular mechanisms governing MUC4 expression during development are, however, unknown. Hepatocyte nuclear factors (HNF), forkhead box A (FOXA), GATA, and caudal-related homeobox transcription factors (TFs) are known to control cell differentiation of gut endoderm derived-tissues during embryonic development. They also control the expression of cell- and tissue-specific genes and may thus control MUC4 expression. To test this hypothesis, we studied and deciphered the molecular mechanisms responsible for MUC4 transcriptional regulation by these TFs. Experiments using small interfering RNA, cell co-transfection, and site-directed mutagenesis indicated that MUC4 is regulated at the transcriptional level by CDX-1 and -2, HNF-1α and -1β, FOXA1/A2, HNF-4α and -4γ, and GATA-4, -5, and -6 factors in a cell-specific manner. Binding of TFs was assessed by chromatin immunoprecipitation, and gel-shift assays. Altogether, these results demonstrate that MUC4 is a target gene of endodermal TFs and thus point out an important role for these TFs in regulating MUC4 expression during epithelial differentiation during development, cancer, and repair.
Locking Expressions for Increased Database Concurrency

Access to a relation R m a relational database is sometimes based on how R joins with other relations rather than on what values appear m the attributes of R-tuples Usmg sunple predicate locks forces the entire relation to be locked m these cases. A technique is presented which allows locking of the smallest possible set oftuples even when the selecuon is based on joins w~th other relauons The algonthms are based on a generalization of tableaux The tableaux used here can represent relational algebra quenes wtth any of the domain companson operators =, #, <, _<, >, and >-.
Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories

In this paper we revisit the issue of copredication from the perspective of modern type theories. Specifically, we look at: a) the counting properties of dot-types, and b) the case of a complex dot-type that has remained unsolved in the literature, i.e. that of newspaper. As regards a), we show that the account proposed in (Luo, 2010) for dot-types makes the correct predictions as regards counting. In order to verify this, we implement the account in the Coq proof-assistant and check that the desired inferences follow. Then, we look at the case of b), the case of a dot-type which is both resource and context sensitive. We propose a further resource sensitive version of the dottype, in effect a linear dot-type. This along with local coercions can account for the behaviour attested.
Self-similarity and heavy tails: structural modeling of network traffic

High-resolution traac measurements from modern communications networks provide unique opportunities for developing and validating mathematical models for aggregate traac. To exploit these opportunities, we emphasize the need for structural models that take into account spe-ciic physical features of the underlying communication network structure. This approach is in sharp contrast to the traditional black box modeling methodology from time series analysis that ignores, in general, speciic physical structures. We demonstrate, in particular, how the proposed structural modeling approach provides a direct link between the observed self-similarity characteristic of measured aggregate network traac, and the strong empirical evidence in favor of heavy-tailed, innnite variance phenomena at the level of individual network connections.
Clinical application of the rapid pneumococcal urinary antigen test in the treatment of severe pneumonia in children.

BACKGROUND AND PURPOSE To evaluate the efficacy of the pneumococcal urinary antigen test (PUAT) in severe pediatric pneumonia. METHODS The study enrolled 245 pediatric patients with severe pneumonia. Patients were divided into four groups; groups 1 and 2 received PUAT, while groups 3 and 4 did not. Additionally, PUAT-positive group 1 patients were treated with penicillin, while PUAT-negative patients received ampicillin-sulbactam or cefuroxime. Group 2 patients were treated empirically without following the group 1 protocol. Group 3 patients were treated following the guideline of the Infectious Diseases Society of Taiwan (IDST), and group 4 patients were treated empirically without following the IDST guideline. Treatment was assessed by the duration of fever. RESULTS Treatment was most effective for group 1 and least effective for group 4. Group 2 treatment was superior to group 3 treatment. Multivariate regression analysis of groups 1 and 2 revealed that the use of PUAT (groups 1 and 2) was associated with superior response in comparison with group 4. CONCLUSION Application of PUAT and adequate antimicrobial treatments in the initial stage for pediatric patients with severe pneumonia resulted in improved outcome as assessed by shortening of the duration of fever.
Improved stereo image matching using mutual information and hierarchical prior probabilities

Mutual information (MI) has shown promise as an effective stereo matching measure for images affected by radiometric distortion. This is due to the robustness of MI against changes in illumination. However MI-based approaches are particularly prone to the generation of false matches due to the small statistical power of the matching windows. The paper proposes extensions to MI-based stereo matching in order to increase the robustness of the algorithm. Firstly, prior probabilities are incorporated into the MI measure in order to considerably increase the statistical power of the matching windows. These prior probabilities, which are calculated from the global joint histogram between the stereo pair, are tuned to a two level hierarchical approach. A 2D match surface, in which the match score is computed for every possible combination of template and matching window, is also utilised. This enforces left-right consistency and uniqueness constraints. These additions to MI-based stereo matching significantly enhance the algorithm's ability to detect correct matches while decreasing computation time and improving the accuracy.
[Health habits of patients with schizophrenia: a general pattern?].

OBJECTIVE Schizophrenia patients have in many aspects an unhealthier lifestyle than the general population. The aim of this study is to determine if disadvantageous health habits of schizophrenia patients present a general pattern that repeats itself in other regions and if psychosocial consequences of schizophrenia (singleness, unemployment) influence patients' health habits. METHODS 95 schizophrenia outpatients from Germany and 97 from Austria were examined regarding eating-, drinking-, smoking- and physical-activity habits. Differences in health habits and the influence of psychosocial parameters were examined with regression analyses. RESULTS Health habits of schizophrenia patients in Germany and Austria were very similar. Subjects from Austria lived unhealthier only regarding cigarette consumption and grocery choices, while they had a healthier lifestyle regarding physical activity on the weekend. Singleness had no influence on health habits, unemployment was connected with less physical activity on workdays. CONCLUSIONS Health habits of schizophrenia patients seem to have a general pattern, but psychosocial consequences of schizophrenia explain little about the patients' health habits.
Mitigation of Inter-Femtocell Interference with Adaptive Fractional Frequency Reuse

In this paper, we consider the use of fractional frequency reuse (FFR) to mitigate inter-femtocell interference in multi-femtocell environments. The use of universal frequency reuse can be said optimum in terms of the ergodic system spectral efficiency. However, it may cause inter-femtocell interference near the cell edge, making it difficult to serve the whole cell coverage. To alleviate this problem, we adjust the frequency reuse factor with the aid of femtocell location information. The proposed scheme can provide reasonably high ergodic system spectral efficiency, while assuring a desired performance near the cell boundary. Simulation results show that the proposed scheme is quite effective in indoor environments such as residential or office buildings.
Minimax estimation with thresholding and its application to wavelet analysis

Many statistical practices involve choosing between a full model and reduced models where some coefficients are reduced to zero. Data were used to select a model with estimated coefficients. Is it possible to do so and still come up with an estimator always better than the traditional estimator based on the full model? The James-Stein estimator is such an estimator, having a property called minimaxity. However, the estimator considers only one reduced model, namely the origin. Hence it reduces no coefficient estimator to zero or every coefficient estimator to zero. In many applications including wavelet analysis, what should be more desirable is to reduce to zero only the estimators smaller than a threshold, called thresholding in this paper. Is it possible to construct this kind of estimators which are minimax? In this paper, we construct such minimax estimators which perform thresholding. We apply our recommended estimator to the wavelet analysis and show that it performs the best among the well-known estimators aiming simultaneously at estimation and model selection. Some of our estimators are also shown to be asymptotically optimal.
Cortical Control of Zona Incerta

The zona incerta (ZI) is at the crossroad of almost all major ascending and descending fiber tracts and targets numerous brain centers from the thalamus to the spinal cord. Effective ascending drive of ZI cells has been described, but the role of descending cortical signals in patterning ZI activity is unknown. Cortical control over ZI function was examined during slow cortical waves (1–3 Hz), paroxysmal high-voltage spindles (HVSs), and 5–9 Hz oscillations in anesthetized rats. In all conditions, rhythmic cortical activity significantly altered the firing pattern of ZI neurons recorded extracellularly and labeled with the juxtacellular method. During slow oscillations, the majority of ZI neurons became synchronized to the depth-negative phase (“up state”) of the cortical waves to a degree comparable to thalamocortical neurons. During HVSs, ZI cells displayed highly rhythmic activity in tight synchrony with the cortical oscillations. ZI neurons responded to short epochs of cortical 5–9 Hz oscillations, with a change in the interspike interval distribution and with an increase in spectral density in the 5–9 Hz band as measured by wavelet analysis. Morphological reconstruction revealed that most ZI cells have mediolaterally extensive dendritic trees and very long dendritic segments. Cortical terminals established asymmetrical synapses on ZI cells with very long active zones. These data suggest efficient integration of widespread cortical signals by single ZI neurons and strong cortical drive. We propose that the efferent GABAergic signal of ZI neurons patterned by the cortical activity can play a critical role in synchronizing thalamocortical and brainstem rhythms.
Design of irregular graphs for erasure decoding

Low-density parity check codes (LDPC codes) were introduced by Gallager [2] and have received intensive study in the last few years, as advances in technology have made their implementation far more practical than when they were originally proposed. Basically, an LDPC code is a binary linear block code defined by a sparse m × n parity-check matrix H . Equivalently such a code can be thought of as defined by a bipartite graph, called a Tanner graph, whose adjacency matrix is H . In this representation the n left vertices represent columns of H , corresponding to bits in the original message, and the m right vertices represent the rows of H , corresponding to parity check bits; an edge (i, j) exists in the graph whenever the corresponding entry hi,j in H is 1, i.e. whenever the message bit i participates in parity check j. Decoding of LDPC codes is then performed via an iterative algorithm operating on the Tanner graph. See the original paper [11] or the more recent work in [7] for the background on LDPC codes and more general codes on Tanner graphs. In this paper we will consider a Tanner graph, parity check matrix and the LDPC code they define to be more or less interchangeable (despite the fact that any linear code can in fact have multiple Tanner graph presentations.) In the original work Gallager was working with bipartite graphs which were regular. This means there were positive integers λ, ρ such that every left vertex had degree λ and every right vertex had degree ρ. Such a code is referred to as (λ, ρ)-regular.
If I Could Just Stop Loving You: Anti-Love Biotechnology and the Ethics of a Chemical Breakup

“Love hurts”—as the saying goes—and a certain amount of pain and difficulty in intimate relationships is unavoidable. Sometimes it may even be beneficial, since adversity can lead to personal growth, self-discovery, and a range of other components of a life well-lived. But other times, love can be downright dangerous. It may bind a spouse to her domestic abuser, draw an unscrupulous adult toward sexual involvement with a child, put someone under the insidious spell of a cult leader, and even inspire jealousy-fueled homicide. How might these perilous devotions be diminished? The ancients thought that treatments such as phlebotomy, exercise, or bloodletting could “cure” an individual of love. But modern neuroscience and emerging developments in psychopharmacology open up a range of possible interventions that might actually work. These developments raise profound moral questions about the potential uses—and misuses—of such anti-love biotechnology. In this article, we describe a number of prospective love-diminishing interventions, and offer a preliminary ethical framework for dealing with them responsibly should they arise.
High frequency injection assisted “active flux” based sensorless vector control of reluctance synchronous motors, with experiments from zero speed

This paper presents a hybrid, motion sensorless control of an Axially Laminated Anisotropic (ALA) Reluctance Synchronous Machine (RSM). The zero and low speed sensorless method is a saliency based High Frequency Signal Injection technique (HFSI) that uses the motor itself as a resolver. The second method is based on a state observer incorporating the “active flux” concept used to deliver RSM rotor position and speed information for medium and high speed range. Even if both methods perform successfully in separate speed regions, estimation of the two algorithms is combined as a sensor fusion to improve performance at zero and very low speeds. Experimental results validate the proposed control strategies.
Polymeric haloplumbates(II) templated by ethoxycarbonylmethyl viologen: Structure and enchanced thermochromism behavior

ABSTRACT A new lead iodide/organic hybrid, {[(AeV)(PbI3)2]·(DMF)2}n (1) (AeV2+ = N, N'- bis(ethoxycarbonylmethyl)-4,4′-bipyridinium) has been synthesized using solution method and structurally determined by X-ray diffraction method. In 1, the (PbI3)nn− chain is constructed from face-sharing of PbI6 octahedra templated by a new viologen AeV2+. C-H…O and C-H···I hydrogen bonds contribute to the structural extending from 1-D chain to 3-D network. Its absorption spectrum was investigated, and the energy band gap of 2.07 eV indicates its potential semiconductor nature. 1 displays an enchanced thermochromism behavior with a phase transition temperature of 70°C.
Potential use of histone deacetylase inhibitors in cancer therapy

Epigenetics is a branch of science that focuses on mechanisms related to control and modification of expression of genetic material without any changes to its sequences. Such mechanisms include post-translational modifications of histones. It is widely known that carcinogenesis is related to hypoacetylation of genes that influence apoptosis, the cell cycle, cell signaling, the immunologic response, angiogenesis and occurrence of metastasis. Currently conducted research focuses on several strategies related to epigenetic therapy. One such strategy is based on the use of histone deacetylase inhibitors. This paper presents mechanisms through which these compounds work and a summary of their characteristics. It also includes a review of clinical tests related to histone deacetylase inhibitors, as well as their relationship with other chemotherapeutic methods. A better understanding of the involved mechanisms will provide a rational basis to improve the therapeutic outcome of available antitumor agents.
Citalopram in pregnancy and lactation

Although citalopram has gained wide acceptance in the treatment of depression and anxiety disorders, its use during pregnancy and lactation has been poorly characterized. The aim of this study was to examine the efficacy and safety of citalopram in relation to concentrations of citalopram and its metabolites during pregnancy and lactation.
Coded Waveform Excitation for High-Resolution Ultrasonic Guided Wave Response

Ultrasonic guided wave-based nondestructive testing systems are widely used in various fields of industry where the structural integrity of components is of vital importance. Signal interpretation in these systems might become challenging due to multimodal and dispersive response of the interrogated structure. These phenomena degrade the signal-to-noise ratio and also lower the spatial/temporal resolution. This paper compares the use of Maximal Length Sequences and linear chirp excitation signals to develop a novel signal processing technique using dispersion compensation and cross-correlation. The technique is applied to both simulated and experimental multimodal signals from an aluminium rod for performance assessment. It is quantitatively validated that the technique noticeably improves the signal-to-noise ratio of the guided wave response and is able to acquire an accurate time of flight of the individual wave modes, and hence, the propagation distance. The technique is compared for both linear chirp and maximal length sequences excitation signals. Noise analysis for these excitation signals is also presented.
Effects of constraints in general branched molecules: A quantitative ab initio study in HCO‐L‐Ala‐NH2

A general approach to the design of accurate classical potentials for protein folding is described. It includes the introduction of a meaningful statistical measure of the differences between approximations of the same potential energy, the definition of a set of Systematic and Approximately Separable and Modular Internal Coordinates (SASMIC), much convenient for the simulation of general branched molecules, and the imposition of constraints on the most rapidly oscillating degrees of freedom. All these tools are used to study the effects of constraints in the Conformational Equilibrium Distribution (CED) of the model dipeptide HCO‐L‐Ala‐NH2. We use ab initio Quantum Mechanics calculations including electron correlation at the MP2 level to describe the system, and we measure the conformational dependence of the correcting terms to the naive CED based in the Potential Energy Surface (PES) without any simplifying assumption. These terms are related to mass‐metric tensors determinants and also occur in the Fi.
Testing Dark Energy with the Advanced Liquid-Mirror Probe of Asteroids, Cosmology and Astrophysics

The Advanced Liquid-Mirror Probe of Asteroids, Cosmology and Astrophysics (ALPACA) is a proposed 8-meter liquid mirror telescope surveying 1000 square degree of the southern-hemisphere sky. It will be a remarkably simple and inexpensive telescope, that nonetheless will deliver a powerful sample of optical data for studying dark energy. The bulk of the cosmological data consists of nightly, high signal-to-noise, multiband light curves of SN Ia. At the end of the three-years run ALPACA is expected to collect 100,000 SNe Ia up to z~1. This will allow us to reduce present systematic uncertainties affecting the standard-candle relation. The survey will also provide several other datasets such as the detection of baryon acoustic oscillations in the matter power spectrum and shear weak lensing measurements. In this preliminary analysis we forecast constraints on dark energy parameters from SN Ia and baryon acoustic oscillations. The combination of these two datasets will provide competitive constraints on the dark energy parameters under minimal prior assumptions. Further studies are needed to address the accuracy of weak lensing measurements.