Miracle-dz/UniFAR-FTUs huggingface dataset:
Effective utilization and reconfiguration of distributed hardware resources using job management systems

Reconfigurable hardware resources are very expensive, and yet can be underutilized. This paper describes a middleware capable of discovering underutilized computing nodes with FPGA-based accelerator boards in a networked environment. Using an extended job management system (JMS), this middleware permits sharing reconfigurable resources at least among the members of the same organization. Traditional resources, such as CPU time of loosely coupled workstations can be shared using a variety of existing job management systems (JMS). We analyzed four of these systems, LSF, Sun Grid Engine/CODINE, PBS Pro, and Condor from the point of view of their functional characteristics and ease of extension to support reconfigurable hardware. LSF was shown to efficiently address the majority of identified requirements. The general architecture of the extended system was developed, and the exact techniques of extending LSF, CODINE, and PBS Pro to manage FPGA-based accelerator boards were identified. The system architecture was verified experimentally for the specific case of LSF and three types of FPGA accelerator boards. The utilization of FPGA boards was demonstrated to reach up to 86% in our experimental setting consisting of Linux and Windows NT workstations.
Beneficial effects of individualized physical activity on prescription on body composition and cardiometabolic risk factors: results from a randomized controlled trial

Background Insufficient physical activity (PA), overweight and abdominal obesity are increasing global public health problems. Design Randomized controlled 6-month intervention study. Methods One hundred and one 68-year-old individuals (57% female) with low PA, overweight (BMI 25-40 kg/m2) and abdominal obesity (waist circumference >88 cm in women and > 102 cm in men), were randomized to PA on prescription (PAP) or a minimal intervention. PA measured by several methods, anthropometric parameters, body composition and cardiometabolic risk factors were measured at baseline and after intervention. Results Favourable changes in anthropometrics, body composition, S-glucose, glycosolated haemoglobin (HbA1c), blood lipids and apolipoproteins were seen in the PAP group. In the control group, however, some positive changes were also noted. Bodyweight, neck circumference, fat mass, S-cholesterol and HbA1c decreased significantly more in the PAP group. Conclusion Individualized PAP improves body composition and cardiometabolic risk factors in sedentary older overweight individuals. PAP might be useful in clinical practice to counteract the epidemic of sedentary lifestyle and concomitant cardiometabolic disorders. Eur J Cardiovasc Prev Rehabil 16:80-84 © 2009 The European Society of Cardiology
Low-Leakage SRAM Wordline Drivers for the 28-nm UTBB FDSOI Technology

This brief deals with a new design of low-power SRAM wordline decoder in the 28-nm ultrathin body and buried oxide (UTBB) fully depleted silicon-on-insulator (FDSOI) technology. The proposed approach synergistically adopts the poly biasing technique in conjunction with single-well/flip-well configurations and body biasing to opportunely tune the threshold voltage of the devices in the standby and active mode. A tuning methodology is described to optimize the static energy consumption. Post-layout simulations, done at power supply voltages ranging between 1 V and 0.5 V, have shown that, in comparison with the state-of-the-art techniques based on the same UTBB FDSOI technology, the proposed design achieves a maximum leakage up to 85% lower without paying significant delay penalties.
Kumasaka subtilis BacillusCrystal structures of RsbQ , a stress-response regulator in

Growth-limiting stresses in bacteria induce the general stress response to protect the cells against future stresses. Energy stress caused by starvation conditions in Bacillus subtilis is transmitted to the B transcription factor by stress-response regulators. RsbP, a positive regulator, is a phosphatase containing a PAS (Per-ARNT-Sim) domain and requires catalytic function of a putative / hydrolase, RsbQ, to be activated. These two proteins have been found to interact with each other. We determined the crystal structures of RsbQ in native and inhibitor-bound forms to investigate why RsbP requires RsbQ. These structures confirm that RsbQ belongs to the / hydrolase superfamily. Since the catalytic triad is buried inside the molecule due to the closed conformation, the active site is constructed as a hydrophobic cavity that is nearly isolated from the solvent. This suggests that RsbQ has specificity for a hydrophobic small compound rather than a macromolecule such as RsbP. Moreover, structural comparison with other / hydrolases demonstrates that a unique loop region of RsbQ is a likely candidate for the interaction site with RsbP, and the interaction might be responsible for product release by operating the hydrophobic gate equipped between the cavity and the solvent. Our results support the possibility that RsbQ provides a cofactor molecule for the mature functionality of RsbP.
Myosin heavy chain expression in cranial, pectoral fin, and tail muscle regions of zebrafish embryos

To investigate whether different myosin heavy chain (MHC) isoforms may constitute myofibrils in the trunk and tail musculature and if their respective expression may be regulated by spadetail (spt) and no tail (brachyury), we identified and characterized mRNA expression patterns of an embryonic‐ and tail muscle‐specific MHC gene (named myhz2) during zebrafish development in wild type, spt, and ntl mutant embryos. The identified myhz2 MHC gene encodes a polypeptide containing 1,935 amino acids. Deduced amino acid comparisons showed that myhz2 MHC shared 92.6% sequence identity with that of carp fast skeletal MHC. Temporal and spatial myhz2 MHC mRNA expression patterns were analyzed by quantitative RT‐PCR and whole‐mount in situ hybridization using primer pairs and probes designed from the 3′‐untranslated region (UTR). Temporally myhz2 MHC mRNA appears in pharyngula embryos and peaks in protruding‐mouth larvae. The expression level decreased in 7‐day‐old hatching larvae, and mRNA expression was not detectable in adult fish. Spatially in pharyngula embryos, mRNA was localized only in the tail somite region, while in long‐pec embryos, transcripts were also expressed in the two cranial muscle elements of the adductor mandibulae and medial rectus, as well as in pectoral fin muscles and the tail muscle region. Myhz2 MHC mRNA was expressed in most cranial muscle elements, pectoral fin muscles, and the tail muscle region of 3‐day‐old hatching larvae. In contrast, no expression of myhz2 MHC mRNA could be observed in spt prim‐15 mutant embryos. In spt long‐pec mutant embryos, transcripts were expressed in two cranial muscle elements and the tail muscle region, but not in pectoral fin muscles, while only trace amounts of myhz2 MHC mRNA were expressed in the remaining tail muscle region of 38 hpf and long‐pec ntl mutant embryos. Mol. Reprod. Dev. 63: 422–429, 2002. © 2002 Wiley‐Liss, Inc.
Group Formation in Risk-Sharing Arrangements

We study informal insurance within communities, explicitly recognizing the possibility that subgroups of individuals may destabilize insurance arrangements among the larger group. We therefore consider self-enforcing risk-sharing agreements that are robust not only to single-person deviations but also to potential deviations by subgroups. However, such deviations must be credible, in the sense that the subgroup must pass exactly the same test that we apply to the entire group; it must itself employ some self-enforcing risk-sharing agreement. We observe that the stability of subgroups is inimical to the stability of the group as a whole. Two surprising consequences of this analysis are that stable groups have (uniformly) bounded size, a result in sharp contrast to the individual-deviation problem, and that the degree of risk-sharing in a community is generally non-monotonic in the level of uncertainty or need for insurance in the community. Copyright 2003, Wiley-Blackwell.
The K+-dependent GTPase Nug1 is implicated in the association of the helicase Dbp10 to the immature peptidyl transferase centre during ribosome maturation

Ribosome synthesis employs a number of energy-consuming enzymes in both eukaryotes and prokaryotes. One such enzyme is the conserved circularly permuted GTPase Nug1 (nucleostemin in human). Nug1 is essential for 60S subunit assembly and nuclear export, but its role and time of action during maturation remained unclear. Based on in vitro enzymatic assays using the Chaetomium thermophilum (Ct) orthologue, we show that Nug1 exhibits a low intrinsic GTPase activity that is stimulated by potassium ions, rendering Nug1 a cation-dependent GTPase. In vivo we observe 60S biogenesis defects upon depletion of yeast Nug1 or expression of a Nug1 nucleotide-binding mutant. Most prominently, the RNA helicase Dbp10 was lost from early pre-60S particles, which suggested a physical interaction that could be reconstituted in vitro using CtNug1 and CtDbp10. In vivo rRNA–protein crosslinking revealed that Nug1 and Dbp10 bind at proximal and partially overlapping sites on the 60S pre-ribosome, most prominently to H89 that will constitute part of the peptidyl transferase center (PTC). The binding sites of Dbp10 are the same as those identified for the prokaryotic helicase DbpA bound to the 50S subunit. We suggest that Dbp10 and DbpA are performing a conserved role during PTC formation in all organisms.
A Sparsification Technique for Faster Hierarchical Community Detection in Social Networks

The proliferation of social networking sites and their rapidly growing user-base have made information sharing simpler than ever before. However, a typical social network user might get easily overloaded with information that may not be of interest to the user. Further the number of users and the links which they exhibit among their peers are very huge in a typical social network. Hence, identifying people of similar interests and forming communities is complex due to the diversity and scale of a social network. In this paper, we propose an algorithm to detect communities using an ontology based interest hierarchy. The approach that we propose uses a hierarchical top-down community formation using a sparsified form of the original social network graph. The novel sparsification heuristic helps in reducing the computational cost of our algorithm, at the same time improving the quality of the communities formed. However, for want of more savings in computational time, we have proposed a parallel implementation strategy for the community detection algorithm. Empirical evaluation of the proposed algorithm reveals that the communities formed by the algorithm are sound and modular. The parallel algorithm in conjunction with the sparsification technique exhibits a speed-up factor of 20.4 on a cluster of 8 quad core processors.
Tumorigenesis and Neoplastic Progression CSF 1 Expression in Nongynecological Leiomyosarcoma Is Associated with Increased Tumor Angiogenesis

From the Department of Pathology,* Stanford University Medical Center, Stanford, California; the Department of Pathology, Hospital de la Santa Creu i Sant Pau, Institute of Biomedical Research (IIB Sant Pau), Autonomous University of Barcelona, Barcelona, Spain; the Departments of Genetics, and Biochemistry, Stanford University School of Medicine, Stanford, California; the Department of Pathology, University of British Columbia, Vancouver, British Columbia, Canada; and the British Columbia Cancer Agency, Vancouver, British Columbia, Canada
Analytical modelling and performance evaluation of realistic time‐controlled M2M scheduling over LTE cellular networks

Supporting emerging machine‐to‐machine (M2M) communications over Long‐term Evolution (LTE)/LTE Advanced cellular networks in an efficient way will be beneficial for both telecommunication communities. The first step to migrate to an M2M‐enabled cellular standard is to provide these new services through the existing architectures and protocols, while maintaining seamless backward compatibility. To this end, we thoroughly examined a key LTE Medium Access Control entity, which is the packet scheduler, and proposed solutions based on the time‐controlled M2M feature, to deal with the diverse M2M traffic characteristics and quality‐of‐service requirements. Starting from the single M2M class case, we extended our study to more realistic scenarios, involving more M2M classes with diverse quality‐of‐service requirements. We defined analytical models for predicting the system performance on the basis of queueing theory concepts and considered the interaction between classes with different priorities. The proposed analytical models are validated through extensive system‐level simulations. On the basis of the insight obtained from our analytical approach, we modified an existing scheduling algorithm to improve the performance of low‐priority M2M device groups, and we demonstrated its superior performance both experimentally and analytically. Copyright © 2013 John Wiley & Sons, Ltd.
Perfectionism and Negative Mood: the Mediating Roles of Validation from Others versus Self

This study examined a model in which the need for reassurance from others and the capacity for self-reinforcement mediated the relationships between two dimensions of perfectionism (evaluative concerns [EC] perfectionism and personal standards [PS] perfectionism) and anxiety and depression. Results from structural equation modeling of data from 295 college students from a large midwestern university indicated that the need for reassurance from others and the capacity for self-reinforcement fully mediated the relationship between EC perfectionism and anxiety as well as partially mediated the relationships between PS perfectionism and anxiety and depression. Moreover, 41% of the variance in anxiety and 50% of the variance in depression was explained by EC perfectionism, PS perfectionism, the need for reassurance from others, and/or the capacity for self-reinforcement. Originally, perfectionism was viewed as a unidimensional personality characteristic. Recently, researchers have provided empirical evidence to support the multidimensional aspects of perfectionism Hewitt & Flett, 1991). Some theorists have argued that there are two dimensions of perfectionism: maladaptive perfectionism and adaptive perfectionism (e.cally, the characteristics of maladaptive perfectionism include having unrealistically high standards, striving for excellent performances motivated by avoiding negative evaluations from others, and being unable to obtain satisfaction from one's own performances (Enns & Cox, 2002; Hamachek, 1978). On the other hand, adaptive perfectionism is characterized by setting realistically high standards, striving for excellent performances motivated by one's own needs, and generating satisfaction from one's own achievement (Hamachek, 1978). These characteristics imply that maladaptive and adaptive perfectionism may differ in their standards (unrealistic vs. realistic), motivation for excellent performances (from others vs. from self), and ability to generate satisfaction or self-reinforcement (unable vs. able). In this study, maladaptive and adaptive perfectionism refer to evaluative concerns perfectionism (EC perfectionism) and personal standards perfectionism (PS perfectionism), respectively, as suggested by Blankstein and Dunkley (2002). Besides the different characteristics of the two dimensions of perfectionism, studies have shown that EC perfectionism is positively associated with negative mood (e.g. studies even have shown that PS perfectionism is negatively correlated with psychological distress (including anxiety and depression) after EC perfectionism is controlled for (e.g., Aldea & Rice, 2006). Because EC perfectionism is strongly correlated with anxiety and depression (two of the most common presenting problems for which college students seek help from student counseling centers; Miller & Rice, 1993), researchers and clinicians have devoted their attention to finding effective treatments to help clients with these symptoms. However, they have found …
Structure of liquid Sn over a wide temperature range from neutron scattering experiments and first-principles molecular dynamics simulation : A comparison to liquid Pb

The structure of liquid Sn was studied by neutron scattering experiments in the widest temperature range that was ever performed. Though, on increasing temperature, the existence of the shoulder in the structure factor, $S(Q),$ becomes less clear in the change of the overall shape of the $S(Q),$ the structure related to this shoulder seems to be present even at 1873 K. The first-principle molecular-dynamics (FPMD) simulation was performed for the first time for liquid Sn by using the cell size of 64 particles. The calculated results well reproduced $S(Q)$ obtained by the neutron experiments. The angle distribution, ${g}^{(3)}(\ensuremath{\theta}{,r}_{c}),$ was evaluated for the angle between vectors from centered atom to other two atoms in spheres of cutoff radii ${r}_{c}\mathrm{'}\mathrm{s}. $ The ${g}^{(3)}(\ensuremath{\theta}{,r}_{c})$ shows that, with the decrease of ${r}_{c}$ from 0.4 to 0.3 nm, a rather sharp peak around 60 \ifmmode^\circ\else\textdegree\fi{} disappears and only a broad peak around 100 \ifmmode^\circ\else\textdegree\fi{} remains; the former peak may be derived from the feature of the closely packed structures and the latter one is close to the tetrahedral angle of 109 \ifmmode^\circ\else\textdegree\fi{}. In addition, the coordination number, n, of liquid Sn counted within the sphere of ${r}_{c}=0.3\mathrm{nm}$ is found to be 2--3 and does not change with the increase of temperature even up to 1873 K. These facts indicate that at least the fragment of the tetrahedral unit may be essentially kept even at 1873 K for liquid Sn. For comparison, the FPMD simulation was performed for the first time also for liquid Pb. No sign of the existence of the tetrahedral structure was observed for liquid Pb. Unfortunately, the self-diffusion coefficients, $D\mathrm{'}\mathrm{s},$ obtained from this FPMD for liquid Sn do not agree with those obtained by the microgravity experiments though the structure factors, $S(Q)\mathrm{'}\mathrm{s},$ are well reproduced. To remove the limitation of the small cell size of the FPMD, the classical molecular-dynamics simulations with a cell size of 2197 particles were performed by incorporating the present experimental structural information of liquid Sn. Obtained $D\mathrm{'}\mathrm{s}$ are in good agreement with the microgravity data.
HOMECAT: consensus homologs mapping for interspecific knowledge transfer and functional genomic data integration

MOTIVATION Comparative studies are encouraged by the fast increase of data availability from the latest high-throughput techniques, in particular from functional genomic studies. Yet, the size of datasets, the challenge of complete orthologs findings and not last, the variety of identification formats, make information integration challenging. With HOMECAT, we aim to facilitate cross-species relationship identification and data mapping, by combining orthology predictions from several publicly available sources, a convenient interface for high-throughput data download and automatic identifier conversion into a Cytoscape plug-in, that provides both an integration with a large set of bioinformatics tools, as well as a user-friendly interface. AVAILABILITY HOMECAT and the Supplementary Materials are freely available at http://www.cbmc. it/homecat/.
Skill Acquisition and the LISP Tutor

An analysis of student learning with the LISP tutor indicates that while LISP is complex, learning it is simple. The key to factoring out the complexity of LISP is to monitor the learning of the 500 productions in the LISP tutor which describe the programming skill. The learning of these productions follows the power-law learning curve typical of skill acquisition. There is transfer from other programming experience to the extent that this programming experience involves the same productions. Subjects appear to differ only on the general dimensions of how well they acquire the productions and how well they retain the productions. Instructional manipulations such as remediation, content of feedback, and timing of feedback are effective to the extent they give students more practice programming, and explain to students why correct solutions work.
PLIS: a Probabilistic Lexical Inference System

This paper presents PLIS, an open source Probabilistic Lexical Inference System which combines two functionalities: (i) a tool for integrating lexical inference knowledge from diverse resources, and (ii) a framework for scoring textual inferences based on the integrated knowledge. We provide PLIS with two probabilistic implementation of this framework. PLIS is available for download and developers of text processing applications can use it as an off-the-shelf component for injecting lexical knowledge into their applications. PLIS is easily configurable, components can be extended or replaced with user generated ones to enable system customization and further research. PLIS includes an online interactive viewer, which is a powerful tool for investigating lexical inference processes.
How to Tolerate Simultaneous Leave of Peers in Tree-Structured P 2 P Live Streaming Systems

A characteristic of Peer-to-Peer (P2P) systems is that several peers tend to leave the system in a short time. Such a simultaneous leave of peers causes serious problems such as the leave of backup peers and the occurrence of cyclic reference to the backup peers. In this paper, we propose several techniques to enhance the resilience of treestructured P2P live streaming systems to such simultaneous peer leaves. The effect of the proposed techniques is evaluated by simulation. The result of simulation indicates that the proposed scheme reduces the number of fails to connect to a backup peer and the time required for the reconnection after a fail, even under a high churn rate.
Improved compressed sensing-based UWB channel estimation

In this paper, an improved scheme of channel estimation for ultrawideband (UWB) communication system is presented based on the theory of compressive sensing (CS). The key idea is to construct the sensing matrix adaptively using the information of the energy distribution of the received pilot signal in each frame and then use the method of distributed compressed sensing (DCS) to get the channel estimate. The orthogonal matching pursuit (OMP) is then modified to improve the channel estimation performance. Computer simulation shows that the estimation error of our approach is reduced significantly at low levels of SNR as compared to an already existing CS channel estimation method for UWB systems, while the number of measurements remains the same.
Signal processing for target motion estimation and image formation in radar imaging of moving targets

Radar imaging of moving targets is often called ISAR (Inverse Synthetic Aperture Radar.) Imaging of moving targets generally consists of two separate tasks: Estimation and correction of target motion, and the explicit image formation. Both tasks must be implemented with great care, as it is the coherent processing of the received radar signal phase that makes imaging possible. Of the two tasks, the motion compensation is often most difficult, as many radar targets move in a complicated and fairly unpredictable manner. When the motion is complicated, the imaging step can be a challenge as well. The reason is that the target 3D-structure begins to matter, and projection plane effects may cause blurred images for even well designed ISAR processors.