Miracle-dz/UniFAR-FTUs huggingface dataset:
1 Unifying Themes in Finite Model Theory

In FOCS, pages 387–397. IEEE Computer Society, 1988. 16. J. R. Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 6:66–92, 1960. 17. A. A. Bulatov. A dichotomy theorem for constraints on a three-element set. In FOCS, pages 649–658. IEEE Computer Society, 2002. 18. J-y. Cai, M. Fürer, and N. Immerman. An optimal lower bound on the number of variables for graph identification. In FOCS, pages 612–617. IEEE Computer
ATINER ' s Conference Paper Series COM 2015-1549

In this paper a case study is presented which shows that the code size and complexity of a system which collects and interprets sensor data in an Internet of Things scenario can be reduced using functional programming techniques. On the one hand this is especially important for security reasons: Such a system must run for a long time without an effective way to distribute software patches. On the other hand in this kind of system the consequences of a malfunction (intended or not) are much more critical than in standard computing situations, because real world buildings or industrial sites are affected. From a high level perspective the data processing at the base station of such a sensor network can be considered as a set of mathematical functions operating on a stream of values. Each function creates a new stream of values, which might be processed by another function. This means that the complete functionality can easily be described and programmed in a functional language, such as elixir, Erlang or Scala.
Logistic Regression with Correction for HIV Self Reporting

: Self report is one of the widely used methods of collecting information regarding individuals' health status. However it is surprising that this issue has not received, in relative terms more sustained attention. In these surveys patients might simply be mistaken, misremember or exaggerate the material covered. Thus reliability of self-reported is tenuous and the exposure assessments on which the associations between exposures and disease occurrence rely on are subject to either measurement error in a quantitative variable or misclassification in a categorical variable. Relatively few methods are available to handle misclassified categorical exposure variable(s) in the context of logistic regression models. The statistical model for characterizing misclassification is given by the transition matrix \lambda from the true to the observed variable. In our research we aim at correcting the self reported data using the actual biomedical status of a sample of individuals from the given population. We exploit the relationship between the size of misclassification and bias in estimating the parameters of interest using logistic regression of self-report, the corrected logistic regression and the misclassified SIMEX (Simulation Extrapolation). We show that these methods are quite general and applicable to models with misclassified response and/or misclassified discrete regressors. We apply our methods to a study on the Kenya AIDS Indicator Survey data with a misclassified (Self-reported) longitudinal response.
Effect of short heat exposure, balanced feed restriction and acetic acid supplement at post weaning on growth and thermoregulation in growing rabbits during hot season.

The aim of this study was to examine hypothesis tha t ermal or other stressors (like nutritional deficiencies and acidosis in the gut) at the moment of weaning may be beneficial in post-weaning growth and thermoregulation in later stage of rabbi t life during summer season. Eighty New Zealand White rabbit kits were weaned at 30 days of age wit h average weight of 606.9±26.6 g. At the moment of weaning kits were divided into 4 groups: 1 st group, kits were kept as control (control); 2 nd group, kits were fed a restricted diet during the 1 st week post weaning (restriction); 3 rd group, kits were exposed to high ambient temperature (34±2 C) for 1 hour (heat); 4 th group, kits were supplemented with 0.5% acetic acid in drinking water (acetic). D uring the first week post-weaning, feed intake was increased by 10.6% and 1.8% in acetic and heat grou ps in comparison with the control, respectively. Feed restriction during the first week post-weaning led to reduction in live body weight and body weight gain. Although weaning in rabbit is often as sociated with lower weight gain, the body weight, and body weight gain in the 1 , 2 and 4 week post-weaning in kits of heat exposure and acet ic acid groups were higher than in the control group. Incre ases in body weight and body weight gain in the heat group may be attributed to immediate compensat ory growth with higher feed intake that followed the reduction in growth during thermal conditioning . Body weight and body weight gain in the 10 th week of age under hot summer season in acetic acid and restriction groups were higher than those in control in the 10 week of age during high ambient temperature (41 C). Rectal temperature of rabbits in the control group was greater than that in other groups. Under the same condition, hydrogen peroxide (H2O2) and nitric oxide (NO) in plasma increased in heat group but decreased in feed restriction and acetic acid groups compared with th e control group. Total antioxidant capacity and catalase in plasma of all treated groups were highe r than in the control group. In conclusion, short h eat exposure or balanced feed restriction and acetic ac id supplement at the moment of weaning led to the improvement in post weaning growth and in thermo-to lerance during summer season in rabbits.
Noise Modelling for Denoising and 3D Face Recognition Algorithms Performance Evaluation

This paper proposes an algorithm is proposed to quantitatively evaluate the performance of 3D holistic face recognition algorithms when various denoising methods are used. First, a method is proposed to model the noise on the 3D face datasets. The model not only identiﬁes those regions on the face which are sensitive to the noise but can also be used to simulate noise for any given 3D face. Then, by incorporating the noise model in a novel 3D face recognition pipeline, seven different classiﬁcation and matching methods and six denoising techniques are used to quantify the face recognition algorithms performance for different powers of the noise. The outcome: (1) shows the most reliable parameters for the denoising methods to be used in a 3D face recognition pipeline; (2) shows which parts of the face are more vulnerable to noise and require further post-processing after data acquisition; (3) compares the performance of three different categories of recognition algorithms: training-free matching-based, subspace projection-based and training-based (without projection) classiﬁers. The results show the high performance of the bootstrap aggregating tree classiﬁers and median ﬁltering for very high intensity noise. Also, when different noisy/denoised samples are used as probes or in the gallery, the matching algorithms signiﬁcantly outperform the training-based (including the subspace projection) methods.
Polar Views in Nephrology Con : Renal denervation for all resistant hypertensive patients : the Emperor ’ s new clothes

Alexandre Persu, Yu Jin, Jean-Philippe Lengelé, Lotte Jacobs, Jean Renkin and Jan A. Staessen Pole of Cardiovascular Research, Institut de Recherche Expérimentale et Clinique, Université Catholique de Louvain, Brussels, Belgium, Division of Cardiology, Cliniques Universitaires Saint-Luc, Université Catholique de Louvain, Brussels, Belgium, Research Unit Hypertension and Cardiovascular Epidemiology, KU Leuven Department of Cardiovascular Sciences, University of Leuven, Leuven, Belgium, Nephrology
Targeting Signal Pathways Active in Leukemic Stem Cells to Overcome Drug Resistance

Acute myeloid leukemia (AML) is a serious and often lethal disease. Over the last several decades, although there have been advances in the treatment of AML, however, the survival of patients with AML has not changed significantly1-3. Most of patients will relapse within two years and ultimately died of the disease4. The scarce efficacy of current treatments indicates the resistance of leukemia cells to cytotoxic agents and even immunotherapy and survival from the treatment without major injure. Thus, there is a desperate need for new effective therapies for AML patients. The hematopoietic system is thought to originate from pluripotent hematopoietic stem cells (HSC) capable of producing a hierarchy of downstream multilineage and unilineage progenitor cells that differentiate into mature cells5. HSCs have self-renewal and can differentiate into multiple lineages6. HSC self-renewal is either symmetrical, producing two daughter HSCs, or asymmetrical, producing an identical HSC and a progenitor with diminished self-renewal capacity but with the ability to enact clonal expansion7. It is also believed that leukemia is initiated and maintained by a rare population of leukemia cells with stem cell properties similar to those of normal HSCs known as leukemic stem cell (LSC). The concept that a rare population of the tissue stem cell maybe the cellular origin of cancer was proposed almost 150 years ago. Approximately 50 years ago the concept that only a small subpopulation of so-called LSCs may be connected to the maintenance and evolution of myeloid leukemia emerged. Conclusive evidences for the existence of LSCs come from the function assay using SCID-leukemia and NOD/SCID-leukemia xenotransplantation models in which mice were transplanted with leukemic cells from the bone marrow and peripheral blood of AML patients. These studies demonstrated that the leukemic grafts were highly representative of the original patients disease and the SCID/leukemia initiating cell presented at a frequency of 0.2-100/106 mononuclear cells8. More recently, this principle has also been extended to other tumors, such as breast, brain, prostate, pancreas, colon, lung, liver, and head and neck tumors9-15. Due to a high degree of phenotypic and functional similarity, it has been hypothesized that most human leukemias arise from transformation of HSCs. However, other studies have shown that transduction of
ONE-STEP DIGITAL PLASMA SEPARATION FOR MOLECULAR DIAGNOSTICS

Current blood-based quantitative nucleic acid (NA) detection requires many sample preparation steps. We have developed the digital plasma separation platform, which combines autonomous parallel plasma separation and sample compartmentalization for digital NA amplification in one-step. For NA detection we utilized isothermal Recombinase Polymerase Amplification (RPA). Simple fluorescence endpoint counts of positive wells can be done by a standard microscope, making it possible to be an alternative low cost solution compared to RT-PCR. We demonstrated digital amplification from spiked samples and the detection of Methicillin-Resistant Staphylococcus Aureus (MRSA) DNA directly from blood samples in 30 min with DPS.
CCTV Observation: The Effects of Event Type and Instructions on Fixation Behaviour in an Applied Change Blindness Task

Little is known about how observers' scanning strategies affect performance when monitoring events in closed-circuit television (CCTV) footage. We examined the fixation behaviour of change detectors and non-detectors monitoring dynamic scenes. One hundred forty-seven participants observed mock CCTV videos featuring either a mock crime or no crime. Participants were instructed to look for a crime, to look for something unusual or simply to watch the video. In both videos, two of the people depicted switched locations. Eye movements (the number of fixations on the targets and the average length of each fixation on targets) were recorded prior to and during the critical change period. Change detection (24% overall) was unaffected by event type or task instruction. Fixation behaviour differed significantly between the criminal and non-criminal event conditions. There was no effect of instructions on fixation behaviour. Change detectors fixated for longer on the target directly before the change than did non-detectors. Although fixation behaviour before change predicted change detection, fixation count and durations during the critical change period did not. These results highlight the potential value of studying fixation behaviour for understanding change blindness during complex, cognitively demanding tasks (e.g. CCTV surveillance).
A study on the etching characteristics of magnetic tunneling junction materials using DC pulse-biased inductively coupled plasmas

The etching properties of magnetic materials composing the magnetic tunnel junction (MTJ) such as CoPt, MgO, CoFeB, and CoPt/MgO/CoFeB were investigated in DC pulse biased CO/NH3 inductively coupled plasmas (ICPs) and their etch characteristics were compared with those etched by RF CW biased ICPs. The use of DC pulse biased ICPs instead of RF CW biased ICPs improved the etch selectivity of the MTJ materials over W and also decreased the residue on the surface of the etched materials possibly due to the more stable and volatile etch product formation during the DC pulse off time and the enhanced removal of the etch products by mono-energetic ions during the DC pulse on time. When MTJ materials masked with W were etched, more anisotropic etch profile could be also observed when the MTJ materials were etched with the DC pulse biasing of 60% duty percentage compared with those etched with RF CW biasing due to the decreased redeposition of etch products on the sidewall of the etched feature in addition to the enhanced etch selectivity over W.
Association scrutiny between the miRNA 148 a / 152 polymorphisms and risk of breast cancer in Isfahan population

Breast cancer is 26% of diagnosed cancer in 2008 and it is second cause of cancer related deaths in women. This type of cancer is a complex genetic disease, because microRNAs (miRNAs) are expressional regulators of genes, genetic variations such as single nucleotide polymorphisms in their genes. Therefore, this study was conducted to evaluate the association between single nucleotide polymorphisms (SNPs) in miRNA 148/152 genes and breast cancer risk in Isfahan population. This case control study was performed on 200 samples containing 100 controls and 100 cases. Polymorphism genotyping was performed using polymerase chain reaction restriction fragment length polymorphism (PCR–RFLP) and tetra primer amplification refractory mutation system (TARMS-PCR). Our observations indicated no significant association between rs185641358 and rs12940701 in miRNAs and breast cancer risk because their p-values are 0.08 and 0.19, respectively. No association between miRNA148/152 genes polymorphisms and risk of breast cancer was found.
Oscillations of Coronal Loops with Elliptic Cross-Sections

Motivated by recent Transition Region and Coronal Explorer (TRACE) observations of damped oscillations in coronal loops, Ruderman & Roberts ([CITE]), studied resonant damping of kink oscillations of thin straight magnetic tubes in a cold plasma. In their analysis, Ruderman & Roberts considered magnetic tubes with circular cross-sections. We extend their analysis for magnetic tubes with elliptic cross-sections. We find that there are two infinite sequences of the eigenfrequencies of the tube oscillations, $\{\omega_{nc}\}$ and $\{\omega_{ns}\}$, $n = 1,2,\dots$ . The eigenfrequencies $\{\omega_{nc}\}$ and $\{\omega_{ns}\}$ correspond to modes with $2n$ nodes at the tube boundary. In particular, $\omega_{1c}$ and $\omega_{1s}$ correspond to two kink modes. These modes are linearly polarized in the direction of the large and small axis of the tube elliptic cross-section respectively. The sequence $\{\omega_{nc}\}$ is monotonically growing and $\{\omega_{ns}\}$ monotonically decreasing, and they both tend to $\omega_k$ as $n\to \infty$ , where $\omega_k$ is the frequency of the kink mode of tubes with circular cross-sections. In particular, $\omega_{1c} < \omega_k < \omega_{1s}$. We calculate the decrements of the two kink modes and show that they are of the order of decrement of the kink mode of a tube with a circular cross-section.
ulmonary arterial size and response to sildenafil in hronic thromboembolic pulmonary hypertension

BACKGROUND: Relative area change (RAC) of the proximal pulmonary artery is a measurement of pulmonary artery distensibility and has been shown to correlate with vasoreactivity studies in patients with idiopathic pulmonary arterial hypertension. We have previously noted a relationship between invasive hemodynamic vasoreactivity testing and long-term response to sildenafil in patients with inoperable chronic thromboembolic pulmonary hypertension (CTEPH). We therefore set out to determine whether RAC can provide useful correlatory non-invasive data. METHODS: Patients recruited to a randomized, controlled trial (RCT) of sildenafil at 40 mg 3 times daily underwent additional magnetic resonance imaging (MRI) at the baseline of the trial. Eighteen patients had an MRI that led to a diagnosis of inoperable distal CTEPH or significant residual CTEPH post-operatively. The primary end-point was improvement in 6-minute walk test (6MWT) with secondary end-points of right heart catheterization–based hemodynamics, N-terminal pro–brain natriuretic peptide (NT pro-BNP) and functional class. RAC assessed by MRI was correlated with trial end-points. RESULTS: Fourteen subjects with baseline MRI completed the protocol. RAC was the only baseline variable that correlated at 1 year to the primary end-point of improvement in 6MWT (r 0.7, p 0.006), and also to a change in NT pro-BNP (r 0.59, p 0.03). Using a cut-off of RAC over 20% there was an 87.5% sensitivity (95% confidence interval [CI]: 45% to 100%) and a 66.7% specificity (95% CI: 22% to 96%) for an improvement in 6MWT of 40 meters. CONCLUSIONS: RAC correlates with functional response to sildenafil, as measured by the 6MWT, and improved heart function, as measured by NT pro-BNP. RAC shows potential in understanding and possibly predicting treatment response. J Heart Lung Transplant 2010;29:610–5 © 2010 International Society for Heart and Lung Transplantation. All rights reserved.
Paths to Compliance: Enforcement, Management, and the European Union

The contemporary debate on compliance has been framed in terms of two contending perspectives on how best to make states comply with international rules: enforcement or management. Whereas enforcement theorists stress a coercive strategy of monitoring and sanctions, management theorists embrace a problem-solving approach based on capacity building, rule interpretation, and transparency. In this article, I challenge the conception that enforcement and management are competing strategies for achieving compliance. Based on the case of the European Union (EU) and a comparison with other international regimes, I suggest that enforcement and management mechanisms are most effective when combined. The twinning of cooperative and coercive instruments in a “management-enforcement ladder” makes the EU highly successful in combating violations, thus reducing non-compliance to a temporal phenomenon. An examination of regimes in the areas of trade, environment, and human rights lends additional support to this proposition; compliance systems that offer both forms of mechanism are particularly effective in securing rule conformance, whereas systems that only rely on one of the strategies suffer in identifiable ways.
Recent developments in laboratory methods for the assessment of ruminant feeds. Booklet. 500 copies. 14 pp. BAIF Development Research Foundation, Pune, India and Natural Resources Institute (NRI), Chatham, UK. (Science)

This pamphlet presents a brief overview of the role and methods used for current conventional feed analyses, followed by a description of more recent techniques and their possible application to less developed country feeding systems. Chemical assays are increasingly being applied to the evaluation of anti-nutritive factors particularly tannins, although more research is required before the effects of tannins are better understood and become predictable. The gas production laboratory digestibility assay is being used for research purposes to provide information on rates of degradation, interactions between feeds and other complex areas, where earlier techniques can be inadequate. Near infra-red spectroscopy (NIRS) is a technique increasingly being used for rapid analysis and quality control. It appears to be particularly suitable for industrial applications and is used to evaluate silages for ruminants. In the longer term it may find applications in tropical ruminant feeding systems.
Comparative Analysis of Various Energy Efficient Routing Protocols in Adhoc Networks

Mobile Adhoc Network(MANET) are infrastructureless dynamic network with different topologies at different times. Power conservation is a crucial issue in wireless networks, as nodes are unattented and battery operated in the network. Various power aware routing approaches have been introduced in literature which save energy of the nodes in network using Minimum total power transmission , remaining residual energy capacity of the node and the hybrid approach using the combination of above two stated approaches. The objective cannot be satisfied by using existing power aware routing algorithm. So a new routing metric, drain rate , is proposed in the literature which predicts the lifespan of a node depending upon the current traffic load on that path. In this paper various power aware routing algorithms have been studied and compared the performance based on the simulations results in various research paper. Keywords— MANET, MDR, MTPR, MPR, MMBCR, CMDR.
1 Controlling Rapid Change through Systems Engineering the Organization

A new approach to change management has been developed and applied at the Jet Propulsion Laboratory (JPL). It's main focus is on aligning the organization with the strategic plan; and understanding the internal organizational relationships that impact change, which ultimately determine an organizations ability to be transformed and renewed. The new approach regards the strategic plan of a company as the standard by which progress and achievement are measured. Purposeful interventions should generate a company movement along a strategic course, and tracking that movement is essential for managing change. This paper presents an overview of DYNOMO, or the DYNamic Organizational Model which was developed to assist in the measurement and analysis of organizational state. The paper concludes with summaries of two applications.
A Framework for Interlacing Test and Design

This paper presents a test framework which interlaces the test process with the development process in the domain of embedded control systems. The framework shows the following characteristics: • Strong integration of test and development process by solving test management issues inside development tools instead of specialized test management tools • Test in very early development stages by assuming a model-based development process where executable models are available • Reuse of test sequences at different abstraction levels and tool flexibility by tool-coupling The paper demonstrates concept and realisation of the test framework, which offers a manual but comfortable test suite derivation where test cases can be archived in the requirements database and interlinked with the requirement specification modules. Once the test sequences are defined, an automatic test instrumentation, execution and evaluation can be done. The test instrumentation is flexible, such that the system under test can be either a model or the realized hardware/software