Miracle-dz/UniFAR-FTUs huggingface dataset:
On Error Probability for Non-coherent MIMO Channels in the Wideband Regime

We consider a multiple-input, multiple-output (MIMO) wideband Rayleigh block fading channel where the channel state is unknown to both the transmitter and the receiver and there is only an average power constraint on the input. We compute the error probability and study its dependence on receive signal-to-noise ratio (SNR), number of transmit and receive antennas and coherence length. We show that error probability decays inversely with coherence length and exponentially with the product of the number of transmit and receive antennas. Moreover, channel outage dominates error probability in the wideband regime. We also show that the critical as well as cut-off rates are much smaller than channel capacity in this regime
Association between Facebook Dependence and Poor Sleep Quality: A Study in a Sample of Undergraduate Students in Peru

Objectives Internet can accelerate information exchange. Social networks are the most accessed especially Facebook. This kind of networks might create dependency with several negative consequences in people’s life. The aim of this study was to assess potential association between Facebook dependence and poor sleep quality. Methodology/Principal Findings A cross sectional study was performed enrolling undergraduate students of the Universidad Peruana de Ciencias Aplicadas, Lima, Peru. The Internet Addiction Questionnaire, adapted to the Facebook case, and the Pittsburgh Sleep Quality Index, were used. A global score of 6 or greater was defined as the cutoff to determine poor sleep quality. Generalized linear model were used to determine prevalence ratios (PR) and 95% confidence intervals (95%CI). A total of 418 students were analyzed; of them, 322 (77.0%) were women, with a mean age of 20.1 (SD: 2.5) years. Facebook dependence was found in 8.6% (95% CI: 5.9%–11.3%), whereas poor sleep quality was present in 55.0% (95% CI: 50.2%–59.8%). A significant association between Facebook dependence and poor sleep quality mainly explained by daytime dysfunction was found (PR = 1.31; IC95%: 1.04–1.67) after adjusting for age, sex and years in the faculty. Conclusions There is a relationship between Facebook dependence and poor quality of sleep. More than half of students reported poor sleep quality. Strategies to moderate the use of this social network and to improve sleep quality in this population are needed.
Dynamic Workflows for Grid Applications

In the Grid computing community, there are several approaches to execute not only single tasks on single Grid resources but also to support workflow schemes that enable the composition and execution of complex Grid applications. The most commonly used workflow model for this purpose is the Directed Acyclic Graph (DAG). Within the establishment of the Fraunhofer Resource Grid, we developed a Grid Job Definition Language (GJobDL) that is based on the concept of Petri nets instead of DAGs to support the graph-based definition of arbitrary workflows on an abstract level. During the workflow execution, the abstract workflow must be concretized in order to be mapped onto the real Grid environment. This requires dynamic completion of the workflow based on actual information. It may be necessary to introduce new tasks – such as data transfers, deployment of software, authorization request, and data retrievals. These tasks can be represented by sub Petri nets that replace parts of the existent Petri net during runtime of the Grid application. We also propose a concept for fault management of entire job workflows by explicitly modeling the fault management within the workflow model. This fault management can be user-defined or be realized automatically by introducing new tasks enabling fault management based on fault management templates.
Detection mechanism for reputation‐based selfishness prevention in MANETs

Mobile ad‐hoc networks require users to cooperate in the relaying of data. Reputation‐based selfishness prevention mechanisms are aimed at observing the behavior of nodes, and detecting and isolating selfish nodes that might drop packets. Mechanisms are therefore necessary to adequately and rapidly detect cooperative and selfish nodes. This work proposes a novel detection mechanism that outperforms the Bayesian techniques reported to date, and that can better cope with the unknown selfish behavior of nodes.Copyright © 2012 John Wiley & Sons, Ltd.
Performance of low-feedback-rate, gradient-based OFDMA subcarrier allocation with partial channel information

We consider a downlink OFDMA subcarrier allocation problem where the allocation algorithms are gradient-based but only CSI for some subet of subcarriers from each user is available at the transmitter. We propose an iterative version of gradient-based OFDMA subcarrier allocation schedulers which performs better than the standard non-iterative gradient-based schedulers. In addition, we propose an adaptive, weighted M-Best feedback mechanism (called wM-Best) suitable for gradient-based schedulers than the standard M-Best feedback. Simulation results show improvement of system performance metrics, in term of average throughput and queue length (or equivalently average delay), of the iterative scheduler and also the wM-Best feedback.
Predicting co-evolving pairs in Pfam using information theory where entropy is determined by phylogenetic mutation events

The accurate prediction of co-evolving pairs in protein sequences plays an important role in tertiary protein structure prediction and protein engineering. Using information theory to detect coevolving pairs is impacted by the phylogenetic effect on entropy measurements. Mutual Information (MI) is used to detect co-evolving pairs in a protein family by re-sampling based on mutation events in the phylogenetic tree (RPE). The predictive quality of co-evolving pairs with high mutual information (Z>=4), a sequence distance > 10 and within 12 angstroms using the RPE method is on average 81% in a Pfam family. The accuracy of detecting co-evolving pairs without RPE is 56%. This study represents the first known analysis of mutual information to detect co-evolving pairs in the full Pfam data set. Results for each protein family in Pfam and corresponding ribbon model graphing the MI relationships can be found at http://www.proteinx3d. com.
"Serious game" i dansk sundhedsvæsen: hvordan kan abcdeSIM bruges til uddannelse og vedligeholdelse af sygehuspersonales akutmedicinske færdigheder?

dansk) Inspirationen til dette projekt kommer fra dansk sygehuspraksis. Formålet er at finde, vurdere og redesigne et fagligt relevant læringsspil (“serious game”) indenfor akutmedicin. Med udgangspunkt i det hollandske abcdeSIM er det formålet at undersøge, om og hvordan det kan bruges til uddannelse og vedligeholdelse af sygehuspersonales akutmediciniske færdigheder i Danmark. Og hvordan abcdeSIM kan redesignes, så det bliver bedre i forhold til en dansk målgruppe. I analysen af det empiriske materiale er der særligt fokus på transfer. Empirien er indsamlet via kvalitative metoder, nærmere bestemt 6 semistrukturerede, eksplorative interviews kombineret med skærmog videooptagelser af informanternes spiloplevelser. Der er belæg for, at abcdeSIM har en læringsog transferværdi, og at den derfor med fordel vil kunne implementeres i det danske sundhedsvæsen til uddannelse og vedligeholdelse af sygehuspersonales akutmedicinske færdigheder. Empirien peger på nogle svagheder ved abcdeSIM. Konkrete idéer til, hvilke ændringer, der vil gøre abcdeSIM endnu mere velegnet og
Making the Semantic Data Web easily writeable with RDFaedit

We present RDFaedit a solution for editing distributed and syndicated content in the Word Wide Web with semantic editing widgets. The system is able to extract fine-grained semantic content chunks from RDFa-enhanced websites and generate an edit form for the user, which is sensible to the type and context of the edited data. For that purpose, the underlying Semantic Web infrastructure is used to retrieve more information about the data classes and properties. In particular, we use SPARQL endpoints to gather RDF vocabulary descriptions on the fly from the web and cached schemata for the most frequently used RDF vocabularies to decide about the best-suited edit form for the respective situation.
Rapid Karyotype Evolution in Lasiopodomys Involved at Least Two Autosome – Sex Chromosome Translocations

The generic status of Lasiopodomys and its division into subgenera Lasiopodomys (L. mandarinus, L. brandtii) and Stenocranius (L. gregalis, L. raddei) are not generally accepted because of contradictions between the morphological and molecular data. To obtain cytogenetic evidence for the Lasiopodomys genus and its subgenera and to test the autosome to sex chromosome translocation hypothesis of sex chromosome complex origin in L. mandarinus proposed previously, we hybridized chromosome painting probes from the field vole (Microtus agrestis, MAG) and the Arctic lemming (Dicrostonyx torquatus, DTO) onto the metaphases of a female Mandarin vole (L. mandarinus, 2n = 47) and a male Brandt's vole (L. brandtii, 2n = 34). In addition, we hybridized Arctic lemming painting probes onto chromosomes of a female narrow-headed vole (L. gregalis, 2n = 36). Cross-species painting revealed three cytogenetic signatures (MAG12/18, 17a/19, and 22/24) that could validate the genus Lasiopodomys and indicate the evolutionary affinity of L. gregalis to the genus. Moreover, all three species retained the associations MAG1bc/17b and 2/8a detected previously in karyotypes of all arvicolins studied. The associations MAG2a/8a/19b, 8b/21, 9b/23, 11/13b, 12b/18, 17a/19a, and 5 fissions of ancestral segments appear to be characteristic for the subgenus Lasiopodomys. We also validated the autosome to sex chromosome translocation hypothesis on the origin of complex sex chromosomes in L. mandarinus. Two translocations of autosomes onto the ancestral X chromosome in L. mandarinus led to a complex of neo-X1, neo-X2, and neo-X3 elements. Our results demonstrate that genus Lasiopodomys represents a striking example of rapid chromosome evolution involving both autosomes and sex chromosomes. Multiple reshuffling events including Robertsonian fusions, chromosomal fissions, inversions and heterochromatin expansion have led to the formation of modern species karyotypes in a very short time, about 2.4 MY.
Impact of Coaching on Preservice Teachers’ Use of Embedded Instruction in Inclusive Preschool Classrooms

The purpose of the present study was to examine the impact of training plus coaching on special education preservice teachers’ use of embedded instruction learning trials (EILTs) within ongoing activities of inclusive preschool classrooms. A multiple baseline across participants design was used to investigate the relationships between coaching and preservice teachers’ implementation of EILTs across settings and over time. Corollary relationships between preservice teachers’ implementation and child learning outcomes were also examined. Results indicate training plus coaching is an effective method for increasing preservice teachers’ use of EILTs. Preservice teachers generalized their use of EILTs to another setting and maintained their use during follow-up sessions conducted 1 to 8 weeks after coaching ended. Moreover, as preservice teachers’ accuracy of implementing EILTs increased, percentage of children’s correct responding increased. Implications for future research and practice are discussed.
Identifying color image origin using curvelet transform

Current prominent camera identification methods use wavelet-based filter to extract photo-response non-uniformity (PRNU) noise as camera fingerprint [1, 2]. However, these noise features in heavily textured images can not be extracted by using wavelet-based filter effectively. In this paper, we propose a new camera identification method that uses curvelet-based filter to extract noise features in heavily textured images or non-heavily textured image. Because curvelet transform allows an optimal sparse representation of objects with C2 singularities, curvelet-based filter can extract the noise features in heavily textured images more effectively than wavelet-based filter. To increase the recognition rate for heavily textured images, we differentiate heavily textured images from non-heavily textured images by using the bivariate kurtosis of an image, and Neyman-Pearson decision is used to determine different decision thresholds.
Efficient Constraint Validation for Updated XML Databases

XML constraints are either schema constraints representing rules about document structure (e.g. a DTD, an XML Schema definition or a specification in Relax-NG), or integrity constraints, which are rules about the values contained in documents (e.g. primary keys, foreign keys, etc.). We address the problem of incrementally verifying these constraints when documents are modified by updates. The structure of an XML document is a tree, whose nodes are element (or attribute) names and whose leaves are associated to values contained in the document. Considered updates are insertion, deletion or replacement of any subtree in the XML tree. Schema constraints are represented by tree automata and tree grammars. Key and foreign key constraints are represented by attribute grammars, adding semantic rules to schema grammars, to carry key and foreign key values (to verify their properties). Our incremental validation tests both schema and integrity constraints while treating the sequence of updates, in only one pass over the document. Only nodes involved in updates trigger validation tests. An analysis of complexity shows that worst cases are determined by the shape of the XML tree being processed (asymptotic upper bounds are presented). Experimental results show that our algorithms behave efficiently in practice.
Financial Health Incentives in Cardiac Rehabilitation

Financial health incentives, such as paying people to exercise, are being widely implemented despite limited evidence of their effectiveness. Accordingly, the objectives of this work were to (1) examine the efficacy of incentives-for-exercise in adults, (2) determine the potential for incentives to promote long-term exercise adherence (> 6 mo.) and (3) to explore incentive ‘acceptability’ and efficacy in cardiac rehabilitation (CR). A comprehensive CR outpatient program designed to help individuals recover from and manage their cardiovascular disease (CVD) was a suitable initial target for incentives in Canadian health care since many CVD risk factors are under behavioural control (e.g., physical inactivity). To determine the impact of incentives on exercise adherence in adults a systematic review and meta-analysis of randomized trials was conducted. In this review incentives increased exercise adherence 80% of the time, by about 12% on average (SD 5.61%, 17.50%; test for overall effect z=3.81, p<0.0001). Notably, potentially more effective incentive design features (e.g., certain vs. uncertain incentives) were identified, suggesting incentive effectiveness is influenced by program design. In a qualitative study (Chapter 4), it was determined that opinions around incentives were not necessarily negative but were contingent on incentive structures (e.g., voucher-based incentives preferred over cash). Since opinions regarding incentives appear to vary with
Information Technology (IT) Value Model using Variance-Based Structural Equation Modeling: Towards IT Value Engineering

Information Technology in business is significant. This study tries to trace the relationship between IT value and firm performance. The methodology of the study is analyzing some variables forming the relationship of IT value to firm performance based on the Resource-Based View Theory. The analysis results in IT Value Model using Variance-Based Structural Equation Modeling. Using computer simulation data and a SEM application software, the conceptual models are tested. The testing consists of the outer model, the inner model, and the hypotheses testing. The outer model testing is to examine the relationship between the reflective manifest variables and their construct. Similarly, the inner model and hypotheses are tested to make sure that among the constructs have causality relationships. According to the testing results, the models meet the fit model criteria as required by the Variance-Based SEM. Likewise, the hypotheses can be accepted. Furthermore, the IT value engineering concept can be developed referred to the fit model and linked to business requirements.
Functional Characterization of the Candidate Tumor Suppressor Gene NPRL2/G21 Located in 3p21.3C

Initial analysis identified the NPRL2/G21 gene located in 3p21.3C, the lung cancer region, as a strong candidate tumor suppressor gene. Here we provide additional evidence of the tumor suppressor function of NPRL2/G21. The gene has highly conserved homologs/orthologs ranging from yeast to humans. The yeast ortholog, NPR2, shows three highly conserved regions with 32 to 36% identity over the whole length. By sequence analysis, the main product of NPRL2/G21 encodes a soluble protein that has a bipartite nuclear localization signal, a protein-binding domain, similarity to the MutS core domain, and a newly identified nitrogen permease regulator 2 domain with unknown function. The gene is highly expressed in many tissues. We report inactivating mutations in a variety of tumors and cancer cell lines, growth suppression of tumor cells with tet-controlled NPRL2/G21 transgenes on plastic Petri dishes, and suppression of tumor formation in SCID mice. Screening of 7 renal, 5 lung, and 7 cervical carcinoma cell lines showed homozygous deletions in the 3′ end of NPRL2 in 2 renal, 3 lung, and 1 cervical (HeLa) cell line. Deletions in the 3′ part of NPRL2 could result in improper splicing, leading to the loss of the 1.8 kb functional NPRL2 mRNA. We speculate that the NPRL2/G21 nuclear protein may be involved in mismatch repair, cell cycle checkpoint signaling, and activation of apoptotic pathway(s). The yeast NPR2 was shown to be a target of cisplatin, suggesting that the human NPRL2/G21 may play a similar role. At least two homozygous deletions of NPRL2/G21 were detected in 6 tumor biopsies from various locations and with microsatellite instability. This study, together with previously obtained results, indicates that NPRL2 is a multiple tumor suppressor gene.
Learning from Bad DataFoster

The data describing resolutions to telephone network local loop \troubles," from which we wish to learn rules for dispatching technicians , are notoriously unreliable. Anecdotes abound detailing reasons why a resolution entered by a technician would not be valid, ranging from sympathy to fear to ignorance to negligence to management pressure. In this paper, we describe four different approaches to dealing with the problem of \bad" data in order rst to determine whether machine learning has promise in this domain, and then to determine how well machine learning might perform. We then ooer evidence that machine learning can help to build a dispatching method that will perform better than the system currently in place.
Extracting Predominant Local Pulse Information From Music Recordings

The extraction of tempo and beat information from music recordings constitutes a challenging task in particular for non-percussive music with soft note onsets and time-varying tempo. In this paper, we introduce a novel mid-level representation that captures musically meaningful local pulse information even for the case of complex music. Our main idea is to derive for each time position a sinusoidal kernel that best explains the local periodic nature of a previously extracted note onset representation. Then we employ an overlap-add technique accumulating all these kernels over time to obtain a single function that reveals the predominant local pulse (PLP). Our concept introduces a high degree of robustness to noise and distortions resulting from weak and blurry onsets. Furthermore, the resulting PLP curve reveals the local pulse information even in the presence of continuous tempo changes and indicates a kind of confidence in the periodicity estimation. As further contribution, we show how our PLP concept can be used as a flexible tool for enhancing tempo estimation and beat tracking. The practical relevance of our approach is demonstrated by extensive experiments based on music recordings of various genres.
Gram-negative bacterial molecules associate with Alzheimer disease pathology

Objective: We determined whether Gram-negative bacterial molecules are associated with Alzheimer disease (AD) neuropathology given that previous studies demonstrate Gram-negative Escherichia coli bacteria can form extracellular amyloid and Gram-negative bacteria have been reported as the predominant bacteria found in normal human brains. Methods: Brain samples from gray and white matter were studied from patients with AD (n = 24) and age-matched controls (n = 18). Lipopolysaccharide (LPS) and E coli K99 pili protein were evaluated by Western blots and immunocytochemistry. Human brain samples were assessed for E coli DNA followed by DNA sequencing. Results: LPS and E coli K99 were detected immunocytochemically in brain parenchyma and vessels in all AD and control brains. K99 levels measured using Western blots were greater in AD compared to control brains (p < 0.01) and K99 was localized to neuron-like cells in AD but not control brains. LPS levels were also greater in AD compared to control brain. LPS colocalized with Aβ1-40/42 in amyloid plaques and with Aβ1-40/42 around vessels in AD brains. DNA sequencing confirmed E coli DNA in human control and AD brains. Conclusions: E coli K99 and LPS levels were greater in AD compared to control brains. LPS colocalized with Aβ1-40/42 in amyloid plaques and around vessels in AD brain. The data show that Gram-negative bacterial molecules are associated with AD neuropathology. They are consistent with our LPS-ischemia-hypoxia rat model that produces myelin aggregates that colocalize with Aβ and resemble amyloid-like plaques.
The physical hamiltonian in non-perturbative quantum gravity

A quantum Hamiltonian which evolves the gravitational field according to time as measured by constant surfaces of a scalar field is defined through a regularization procedure based on the loop representation, and is shown to be finite and diffeomorphism invariant. The problem of constructing this Hamiltonian is reduced to a combinatorial and algebraic problem which involves the rearrangements of lines through the vertices of arbitrary graphs. This procedure also provides a construction of the Hamiltonian constraint as a finite operator on the space of diffeomorphism invariant states as well as a construction of the operator corresponding to the spatial volume of the universe. ∗ rovelli@pittvms.bitnet, † smolin@suhep.phy. syr.edu
Configuration State of the Art and New Challenges

In this paper, we give a survey on the AI-field Configuration. Because configuration of software-intensive systems is currently seen as a main challenge for knowledge-based configuration, this topic is emphasized. Main challenges related to this topic are next to others: softwareintensive applications, combining of configuration, modeling and evolution of software components, integration of knowledge-based configuration with existing software engineering approaches, and representation of software variability.