Miracle-dz/UniFAR-FTUs huggingface dataset:
On the Generation of Test Data for Prolog by Partial Evaluation

In recent work, we have proposed an approach to Test Data Generation (TDG) of imperative bytecode by partial evaluation (PE) of CLP which consists in two phases: (1) the bytecode program is first transformed into an equivalent CLP program by means of interpretive compilation by PE, (2) a second PE is performed in order to supervise the generation of test-cases by execution of the CLP decompiled program. The main advantages of TDG by PE include flexibility to handle new coverage criteria, the possibility to obtain test-case generators and its simplicity to be implemented. The approach in principle can be directly applied for TDG of any imperative language. However, when one tries to apply it to a declarative language like Prolog, we have found as a main difficulty the generation of test-cases which cover the more complex control flow of Prolog. Essentially, the problem is that an intrinsic feature of PE is that it only computes non-failing derivations while in TDG for Prolog it is essential to generate test-cases associated to failing computations. Basically, we propose to transform the original Prolog program into an equivalent Prolog program with explicit failure by partially evaluating a Prolog interpreter which captures failing derivations w.r. t. the input program. Another issue that we discuss in the paper is that, while in the case of bytecode the underlying constraint domain only manipulates integers, in Prolog it should properly handle the symbolic data manipulated by the program. The resulting scheme is of interest for bringing the advantages which are inherent in TDG by PE to the field of logic programming.
Building the Self. A Contextual Approach

espanolSe plantea una reconsideracion de la formacion del Yo desde una perspectiva fenomenologica-contextual. Se justifica dicho enfoque como una forma de resolucion de las metaforas que suelen utilizarse para entender la formacion de la ipseidad, en las que habitualmente se cae tanto en errores categoriales y de reificacion o directamente en argumentos aporeticos. No se reniega del concepto, dado el enorme reforzamiento recibido en los organismos humanos a contactar desde la infancia con las experiencias privadas y ese estar-en-contacto es precisamente la experiencia fenomenologica primaria del Yo. Se presenta un modelo explicativo genuinamente conductual, entendiendo el Yo como un epifenomeno social que requiere una conciencia basica pre-reflexiva en un contexto cultural determinado que le dara forma a traves de la conducta verbal prototipica en la interaccion humana. Por ultimo, se describen las distintas etapas del aprendizaje del Yo. Se enfatiza en la discusion la extraordinaria importancia de una comprension del Yo en terminos de perspectiva ya que permite entender de forma parsimoniosa las clasicas caracteristicas atribuidas al mismo, como constancia, atemporalidad, trascendencia e interioridad sin necesidad de elaborar constructos mentales. EnglishWe propose a review of the formation of the Self from a phenomenological-contextual perspective. This approach is justified as a way of solving the metaphors that are used to understand the formation of the Self, which usually commits either categorical and reification errors or directly aporetic arguments. The concept of the Self is not denied, given the huge reinforcement received by the human organism from infancy to tact with private experiences, and such being-in-contact is precisely the primary phenomenological experience of the Self. A genuinely behavioral explanatory model is presented, understanding the Self as a social epiphenomenon that requires a basic pre-reflective awareness in a particular cultural context that will shape it through prototypical verbal behavior in human interaction. Finally, the different stages of Self-learning are described. The discussion underlines the extraordinary importance of understanding the Self in terms of perspective, which leads to the parsimonious comprehension of the classic features attributed to the Self, such as constancy, timelessness, transcendence and interiority without elaborating mental constructs
Design of a novel compliant differential Shape Memory Alloy actuator

This paper presents a novel compliant differential (CD) Shape Memory Alloy (SMA) actuator with improved performance compared to traditional SMA actuators. This actuator is composed of two antagonistic SMA wires and a mechanical joint coupled with a torsion spring. The torsion spring is employed to reduce the total stiffness of SMA actuator and improve the range of motion. The antagonistic wires increase the response time as one wire can be heated up while the other wire is still in the cooling process. Dynamic model of this actuator was established for control design. Experimental results proved that this new actuator can provide larger output range of motion and faster response speed than traditional SMA actuators under the same conditions. Sine wave tracking with 0.05 Hz, 0.08 Hz and 0.1 Hz were performed and our results demonstrated that this compliant actuator has good tracking performance under simple PID control.
7 reasons for accommodating transgender students at school

Schools have become ground zero for clashes over transgender rights, and critics are denouncing academic institutions — and more recently, the Obama administration — for supporting transgender students in their right to use restrooms and locker rooms that match their gender identity. This article responds to the seven most common claims made by critics and explains why these arguments are problematic.
Alcohol Drinking Pattern: A Comparison between HIV-Infected Patients and Individuals from the General Population

Background Alcohol consumption is highly prevalent in the general population and among HIV-infected population. This study aimed to compare the pattern of alcohol consumption and to describe characteristics associated with heavy alcohol consumption in individuals from the general population with patients infected with HIV. Methods Participants for this analysis came from a population-based cross-sectional study and from a consecutive sampling of patients infected with HIV. Participants aged 18 years or older were interviewed using similar questionnaires with questions pertaining to socio-demographic characteristics, alcohol consumption, smoking, physical activity, and HIV-related characteristics, among others. Blood pressure and anthropometric measures were measured using standardized procedures. Results Weekly alcohol consumption was more prevalent among individuals from the general population than HIV-infected patients: 57.0 vs. 31.1%, P<0.001. The prevalence of heavy episodic drinking was higher in the population sample as well: 46.1 vs. 17.0%, P<0.001. In the general population, heavy alcohol consumption was more prevalent in men. Cigarette smoking was independently associated with heavy alcohol consumption among HIV infected (Prevalence Ratio; PR = 5.9; 95%CI 2.6–13.9; P<0,001) and general population (PR = 2.6; 95%CI 1.9–3.0; P<0.001). Years at school were inversely associated with heavy alcohol consumption among HIV-infected patients and directly associated among participants from the general population, even after controlling for sex, age, skin color, and smoking. Conclusions Heavy alcohol consumption is more prevalent in the general population than among HIV-infected patients. Individuals aware about their disease may reduce the amount of alcoholic beverages consumption comparatively to healthy individuals from the general population.
On the Asymptotic Capacity of the Rayleigh Fading Amplify-and-Forward MIMO Relay Channel

In this paper the ergodic mutual information of the i.i. d. Rayleigh fading amplify-and-forward MIMO relay channel without direct link between source and destination is derived in the large array limit. By means of the replica method an expression is obtained, whose parameters are determined by a nonlinear equation system. This system can be solved in closed form. Comparisons with Monte Carlo simulations show that the asymptotic expression serves as an excellent approximation for systems with only very few antennas at each node.
An efficient compression scheme for bitmap indices

When using an out-of-core indexing method to answer a query, it isgenerally assumed that the I/O cost dominates the overall query response time. Because of this, most research on indexing methods concentrate on reduceing the sizes of indices. For bitmap indices, compression has been used for this purpose. However, in most cases, operations on these compressed bitmaps, mostly bitwise logical operations such as AND, OR, and NOT, spend more time in CPU than in I/O. To speedup these operations, a number of specialized bitmap compression schemes have been developed; the best known of which is the byte-aligned bitmap code (BBC). They are usually faster in performing logical operations than the general purpose compression schemes, but, the time spent in CPU still dominates the total query response time. To reduce the query response time, we designed a CPU-friendly scheme named the word-aligned hybrid (WAH) code. In this paper, we prove that the sizes of WAH compressed bitmap indices are about two words per row for large range of attributes. This size is smaller than typical sizes of commonly used indices, such as a B-tree. Therefore, WAH compressed indices are not only appropriate for low cardinality attributes but also for high cardinality attributes.In the worst case, the time to operate on compressed bitmaps isproportional to the total size of the bitmaps involved. The totalsize of the bitmaps required to answer a query on one attribute is proportional to the number of hits. These indicate that WAH compressed bitmap indices are optimal. To verify their effectiveness, we generated bitmap indices for four different datasets and measured the response time of many range queries. Tests confirm that sizes of compressed bitmap indices are indeed smaller than B-tree indices, and query processing with WAH compressed indices is much faster than with BBC compressed indices, projection indices and B-tree indices. In addition, we also verified that the average query response time is proportional tothe index size. This indicates that the compressed bitmap indices are efficient for very large datasets.
Activation of ADF/cofilin mediates attractive growth cone turning toward nerve growth factor and netrin‐1

Proper neural circuitry requires that growth cones, motile tips of extending axons, respond to molecular guidance cues expressed in the developing organism. However, it is unclear how guidance cues modify the cytoskeleton to guide growth cone pathfinding. Here, we show acute treatment with two attractive guidance cues, nerve growth factor (NGF) and netrin‐1, for embryonic dorsal root ganglion and temporal retinal neurons, respectively, results in increased growth cone membrane protrusion, actin polymerization, and filamentous actin (F‐actin). ADF/cofilin (AC) family proteins facilitate F‐actin dynamics, and we found the inactive phosphorylated form of AC is decreased in NGF‐ or netrin‐1‐treated growth cones. Directly increasing AC activity mimics addition of NGF or netrin‐1 to increase growth cone protrusion and F‐actin levels. Extracellular gradients of NGF, netrin‐1, and a cell‐permeable AC elicit attractive growth cone turning and increased F‐actin barbed ends, F‐actin accumulation, and active AC in growth cone regions proximal to the gradient source. Reducing AC activity blunts turning responses to NGF and netrin. Our results suggest that gradients of NGF and netrin‐1 locally activate AC to promote actin polymerization and subsequent growth cone turning toward the side containing higher AC activity. © 2010 Wiley Periodicals, Inc. Develop Neurobiol 70: 565–588, 2010
Early verb development in one Croatian-speaking child

This paper shows the early development of the first approximately 50 verbs found in the recorded speech production of one Croatian girl. The aim is to analyse and interpret the child's verb development in terms of the distinction of a preand a protomorphological phase before modularised morphology in language acquisition (Dressler & Karpf 1995). Furthermore, focus will be laid on the emergence of first verb paradigms.
A NOTE ON GAUSSIAN INTEGRALS OVER PARA-GRASSMANN VARIABLES

We discuss the generalization of the connection between the determinant of an operator entering a quadratic form and the associated Gaussian path-integral valid for Grassmann variables to the para-Grassmann case [θp+1=0 with p=1(p>1) for Grassmann (para-Grassmann) variables]. We show that the q-deformed commutation relations of the para-Grassmann variables lead naturally to consider q-deformed quadratic forms related to multiparametric deformations of GL(n) and their corresponding q-determinants. We suggest a possible application to the study of disordered systems.
Migraine in Synesthetes and Nonsynesthetes: A Prevalence Study

Synesthesia is a neurological condition in which an inducer stimulus in one sense leads to a concurrent percept in a second sense. The immune hypothesis of synesthesia links synesthesia to immune-related conditions such as migraine. More specifically, migraine with aura may be linked to grapheme-color synesthesia as both involve cortical hyperexcitability. In this study, 161 female synesthetes, and 92 female nonsynesthetes, completed an online questionnaire about synesthesia and migraine. We found no general link between migraine and synesthesia nor between migraine with aura and grapheme-color synesthesia. Exploratory analyses, however, showed that certain types of synesthetic inducer (non-linguistic visual experiences, scent, taste, emotion and personality) were associated with visual disturbances in headache among female participants, and touch as a concurrent was associated with migraine with aura. On the basis of our exploratory analyses, we hypothesize that specific subtypes of synesthesia are related to migraine. The relationship between these two conditions is likely to become clearer as research on the underlying causes of synesthesia and migraine progresses.
Generation, characterization and preclinical studies of a human anti-L1CAM monoclonal antibody that cross-reacts with rodent L1CAM

ABSTRACT L1 cell adhesion molecule (L1CAM) is aberrantly expressed in malignant tumors and plays important roles in tumor progression. Thus, L1CAM could serve as a therapeutic target and anti-L1CAM antibodies may have potential as anticancer agents. However, L1CAM is expressed in neural cells and the druggability of anti-L1AM antibody must be validated at the earliest stages of preclinical study. Here, we generated a human monoclonal antibody that is cross-reactive with mouse L1CAM and evaluated its pharmacokinetic properties and anti-tumor efficacy in rodent models. First, we selected an antibody (Ab4) that binds human and mouse L1CAM from the human naïve Fab library using phage display, then increased its affinity 45-fold through mutation of 3 residues in the complementarity-determining regions (CDRs) to generate Ab4M. Next, the affinity of Ab4M was increased 1.8-fold by yeast display of single-chain variable fragment containing randomly mutated light chain CDR3 to generate Ab417. The affinities (KD) of Ab417 for human and mouse L1CAM were 0.24 nM and 79.16 pM, respectively. Ab417 specifically bound the Ig5 domain of L1CAM and did not exhibit off-target activity, but bound to the peripheral nerves embedded in normal human tissues as expected in immunohistochemical analysis. In a pharmacokinetics study, the mean half-life of Ab417 was 114.49 h when a single dose (10 mg/kg) was intravenously injected into SD rats. Ab417 significantly inhibited tumor growth in a human cholangiocarcinoma xenograft nude mouse model and did not induce any adverse effect in in vivo studies. Thus, Ab417 may have potential as an anticancer agent.
Working memory capacity is decreased in sleep-deprived internal medicine residents.

BACKGROUND Concerns about medical errors due to sleep deprivation during residency training led the Accreditation Council for Graduate Medical Education to mandate reductions in work schedules. Although call rotations with extended shifts continue, effects on resident sleep-wake times and working memory capacity (WMC) have not been investigated. OBJECTIVES The objective of this study was to measure effects of call rotations on sleep-wake times and WMC in internal medicine residents. METHODS During 2 months of an internal medicine training program adhering to ACGME work-hour restrictions (between April 2006 and June 2007), residents completed daily WMC tests, wore actigraphy watches, and logged their sleep hours. This observational study was conducted during a call month requiring 30-hour call rotations every fourth night, whereas the noncall month, which allowed sleep/wake cycle freedom, was used as the control. MAIN OUTCOME MEASURES Sleep hours per night and WMC testing. RESULTS Thirty-nine residents completing the study had less sleep per night during their call month (6.4 vs 7.3 h per night noncall, p < 0.001) and sleep per night varied from 3.7 to 10.1 hours. Call rotation caused greater self-assessed sleepiness and reduced WMC recall scores (-2.6/test, p < 0.05), and more math errors occurred when on call (+1.07/test, p < 0.04). Full recovery of WMC did not occur until the fourth day after call. On-call rotation on the first month had a confounding detrimental effect on WMC. CONCLUSION A month of call rotations reduced overall sleep per night; sleep hours per night were variable, and WMC was adversely affected. Decreased WMC could explain impaired judgment during sleep deprivation, although clinical error rates were not evaluated.
Antibody-Based Detection Tests for the Diagnosis of Helicobacter pylori Infection in Children: A Meta-Analysis

Background Numerous serologic tests are available for the diagnosis of H. pylori infection in children. Common designs of antibody-based detection tests are ELISA and Western Blot (WB). For developing countries with limited laboratory resources and access, ELISA would be the preferred method because of its simplicity, lower cost and speed. Although in adults ELISA has proven to be highly accurate in diagnosing H. pylori infection; in children, it has shown variable accuracy. Methods/Findings We conducted a systematic review and meta-analysis to assess the accuracy of antibody-based detection tests for the diagnosis of H. pylori infection in children. Selection criteria included participation of at least 30 children and the use of a gold standard for H. pylori diagnosis. In a comprehensive search we identified 68 studies. Subgroup analyses were carried out by technique, immunoglobulin class, and source of test (commercial and in-house). The results demonstrated: 1) WB tests showed high overall performance, sensitivity 91.3% (95% CI, 88.9–93.3), specificity 89% (95% CI, 85.7–91.9), LR+ 8.2 (95% CI, 5.1–13.3), LR− 0.06 (95% CI, 0.02–0.16), DOR 158.8 (95% CI, 57.8–435.8); 2) ELISA-IgG assays showed low sensitivity 79.2% (95% CI, 77.3–81.0) and high specificity (92.4%, 95% CI, 91.6–93.3); 3) ELISA commercial tests varied widely in performance (test for heterogeneity p<0.0001); and 4) In-house ELISA with whole-cell antigen tests showed the highest overall performance: sensitivity 94% (95% CI, 90.2–96.7), specificity 96.4% (95% CI, 94.2–97.9), LR+ 19.9 (95% CI, 7.9–49.8), LR− 0.08 (95% CI, 0.04–0.15) DOR 292.8 (95% CI, 101.8–841.7). Conclusions/Significance WB test and in-house ELISA with whole-cell antigen tests are the most reliable tests for the diagnosis of H. pylori infection in children. Antigens obtained from local strains of the community could partially explain the good overall accuracy of the in-house ELISA. Because of its cost and technical demands, in-house ELISA might be more suitable for use in developing countries.
Measuring the Quality of Care in Different Settings

As HCFA initiates the next generation of health plan performance measures, the agency must address challenges associated with measuring the quality of care in all of the settings in which Medicare and Medicaid beneficiaries obtain care. One such challenge will be to integrate health plan performance measurement and health care quality measurement initiatives, which have been proceeding separately. Of equal importance is the challenge to improve coordination across the diverse, setting-specific quality measurement initiatives now in various stages of development or implementation by HCFA. Finally, HCFA must address the challenge of improving the collection, reporting, and analysis of data needed for health care quality measurement. This article describes these challenges and suggests steps HCFA might take in addressing them.
Land-Use Classification with Remote Sensing Image Based on Stacked Autoencoder

Focused on the issue that conventional land-use classification methods can't reach better performance, a new remote sensing image classification method based on Stacked Autoencoder inspired by deep learning was proposed. Firstly, the deep network model was built through the stacked layers of Autoencoder, then the unsupervised Greedy layer-wise training algorithm was used to train each layer in turn for more robust expressing, characteristics were learnt supervised by Back Propagation neural network and the whole net was optimized by using error back propagation. Finally, GF-1 remote sensing data were used for evaluation and the total accuracy and kappa accuracy which were higher than that of Support Vector Machine and Back Propagation neural network reached 95.5% and 95.3% respectively. The experiment results show that the proposed method can effectively improve the accuracy of land cover classification.
Ten- to 15-year results of the Oxford Phase III mobile unicompartmental knee arthroplasty

Aims The interest in unicompartmental knee arthroplasty (UKA) for medial osteoarthritis has increased rapidly but the long-term follow-up of the Oxford UKAs has yet to be analysed in non-designer centres. We have examined our ten- to 15-year clinical and radiological follow-up data for the Oxford Phase III UKAs. Patients and Methods Between January 1999 and January 2005 a total of 138 consecutive Oxford Phase III arthroplasties were performed by a single surgeon in 129 patients for medial compartment osteoarthritis (71 right and 67 left knees, mean age 72.0 years (47 to 91), mean body mass index 28.2 (20.7 to 52.2)). Both clinical data and radiographs were prospectively recorded and obtained at intervals. Of the 129 patients, 32 patients (32 knees) died, ten patients (12 knees) were not able to take part in the final clinical and radiological assessment due to physical and mental conditions, but via telephone interview it was confirmed that none of these ten patients (12 knees) had a revision of the knee arthroplasty. One patient (two knees) was lost to follow-up. Results The mean follow-up was 11.7 years (10 to 15). A total of 11 knees (8%) were revised. The survival at 15 years with revision for any reason as the endpoint was 90.6% (95% confidence interval (CI) 85.2 to 96.0) and revision related to the prosthesis was 99.3% (95% CI 97.9 to 100). The mean total Knee Society Score was 47 (0 to 80) pre-operatively and 81 (30 to 100) at latest follow-up. The mean Oxford Knee Score was 19 (12 to 40) pre-operatively and 42 (28 to 55) at final follow-up. Radiolucency beneath the tibial component occurred in 22 of 81 prostheses (27.2%) without evidence of loosening. Conclusion This study supports the use of UKA in medial compartment osteoarthritis with excellent long-term functional and radiological outcomes with an excellent 15-year survival rate. Cite this article: Bone Joint J 2016;98-B(10 Suppl B):41–7.