Miracle-dz/UniFAR-FTUs huggingface dataset:
Reasoning on Logic Programs with Annotated Disjunctions

Probabilistic Inductive Logic Programming and Statistical Relational Learning are families of techniques that are exploited in Machine Learning applications to perform advanced tasks in several domains. Every day the size and complexity of such problems increases and advanced, expressive and efficient tools are needed to successfully solve them. The literature proposes several algorithms to cope with these problems, each of them with its own quirks and perks. Among various solutions, Logic Programming with Annotated Disjunctions (LPAD) is one of the more attractive formalisms, thankstotheexpressivenessandreadabilityofitslanguage.Unfortunately,itsmostadvancedimplementationsarelackingefficient features and techniques that have been introduced for other formalisms, such as ProbLog. In this work, after introducing LPADs and an inference algorithm for computing the probability of a query, we investigate four different approximated algorithms, inspired by similar work done in ProbLog. In particular, we present each algorithm and we evaluate its performances on real and artificial datasets. The results show that our approaches have performances that are usually in line with ProbLog. The Monte Carlo algorithm, however, has performances that are better than the exact approach in terms of both the maximum size of the problems and the execution time, with a neglectable loss in the accuracy of the result.
Transport-Related Fringe Benefits: Implications for Commuting and Relocation

Transport-related Fringe Benefits: Implications for Commuting and Relocation Fringe benefits of various kinds have become an essential element of modern labour market mechanisms. Firms offer transport-related fringe benefits such as transport subsidies (company cars, travel and parking subsidies) and relocation subsidies to job applicants. The spatial implications of these fringe benefits have hardly received any systematic attention thus far. The present paper addresses this largely unexplored issue. Using information from a survey on firms’ recruitment behaviour in the UK, this paper demonstrates that the applicants’ journey-to-work time induces firms to offer various transport-related fringe benefits to job applicants. The implications of these transport-related fringe benefits for commuting and relocation are rather distinct. Transport subsidies discourage applicants, whereas relocation subsidies induce applicants to move closer to the workplace. We interpret the results as evidence that employers offer transport-related fringe benefits either to reduce the length of the journey to work or to compensate employees for the incurred commuting costs.
CoreCluster: A Degeneracy Based Graph Clustering Framework

Graph clustering or community detection constitutes an important task forinvestigating the internal structure of graphs, with a plethora of applications in several domains. Traditional tools for graph clustering, such asspectral methods, typically suffer from high time and space complexity. In thisarticle, we present CoreCluster, an efficient graph clusteringframework based on the concept of graph degeneracy, that can be used along withany known graph clustering algorithm. Our approach capitalizes on processing thegraph in a hierarchical manner provided by its core expansion sequence, anordered partition of the graph into different levels according to the k-coredecomposition. Such a partition provides a way to process the graph inan incremental manner that preserves its clustering structure, whilemaking the execution of the chosen clustering algorithm much faster due to thesmaller size of the graph's partitions onto which the algorithm operates.
SIMinG‐1k: A thousand‐core simulator running on general‐purpose graphical processing units

This paper introduces SIMinG‐1k—a manycore simulator infrastructure. SIMinG‐1k is a graphics processing unit accelerated, parallel simulator for design‐space exploration of large‐scale manycore systems. It features an optimal trade‐off between modeling accuracy and simulation speed. Its main objectives are high performance, flexibility, and ability to simulate thousands of cores. SIMinG‐1k can model different architectures (currently, we support ARM (Available from: http://infocenter.arm.com/help/index.jsp? topic=/com.arm.doc.ddi0100i/index.html) and Intel x86) using two‐step approac where architecture specific front end is decoupled from a fast and parallel manycore virtual machine running on graphical processing unit platform. We evaluate the simulator for target architecture with up to 4096 cores. Our results demonstrate very high scalability and almost linear speedup with simulation of increasing number of cores.Copyright © 2012 John Wiley & Sons, Ltd.
In Silico-Based High-Throughput Screen for Discovery of Novel Combinations for Tuberculosis Treatment

ABSTRACT There are currently 18 drug classes for the treatment of tuberculosis, including those in the development pipeline. An in silico simulation enabled combing the innumerably large search space to derive multidrug combinations. Through the use of ordinary differential equations (ODE), we constructed an in silico kinetic platform in which the major metabolic pathways in Mycobacterium tuberculosis and the mechanisms of the antituberculosis drugs were integrated into a virtual proteome. The optimized model was used to evaluate 816 triplets from the set of 18 drugs. The experimentally derived cumulative fractional inhibitory concentration (∑FIC) value was within twofold of the model prediction. Bacterial enumeration revealed that a significant number of combinations that were synergistic for growth inhibition were also synergistic for bactericidal effect. The in silico-based screen provided new starting points for testing in a mouse model of tuberculosis, in which two novel triplets and five novel quartets were significantly superior to the reference drug triplet of isoniazid, rifampin, and ethambutol (HRE) or the quartet of HRE plus pyrazinamide (HREZ).
Queries and tags in affect-based multimedia retrieval

An approach for implementing affective information as tags for multimedia content indexing and retrieval is presented. The approach can be used for implicit as well as explicit tags and is presented here using data recorded during the viewing of movie fragments containing annotations and physiological signal recordings. For retrieval based on affective queries, a representation of the query-words is defined in the arousalvalence space in the form of a Gaussian probability distribution and a retrieval method based on this representation is presented. Validation of retrieval accuracy is performed using Precision and Recall parameters. Results show that the use of arousal and valence as affective tags can improve retrieval results.
Business failure prediction model: a case study of technology industry in Thailand

Since the large number of parties involved in corporate failure or 'business failure', the avoidance of failure has always been an important issue in the field of corporate finance and business management. In this paper, the model was developed to predict business failure in Thailand particular in technology industry by using four variables from Altman's model and adding one variable to the model. Descriptive statistics, correlation, and independent T-test are used for testing to see the characteristics of each variable on both failed and non-failed companies. The model was developed by using the stepwise logistic regression. Samples were developed by using financial information from private limited companies based on technology industry in Bangkok. The result from this empirical study can conclude that financial ratios are useful analytical techniques for forecasting financial health of companies in technology industry. The result of independent T-test has pointed out sales to total assets ratio is the only significant independent variable indicating significant differences between failed and non-failed group. The Nagelkerke R 2 indicated 42.4% of the variation in the outcome variable. The predictability accuracy of the model is 77.8% which is under 95% confidence level.
Recognition of polyadenylation sites in yeast pre‐mRNAs by cleavage and polyadenylation factor

Recognition of poly(A) sites in yeast pre‐mRNAs is poorly understood. Employing an in vitro cleavage system with cleavage and polyadenylation factor (CPF) and cleavage factor IA we show that the efficiency and positioning elements are dispensable for poly(A)‐site recognition within a short CYC1 substrate in vitro. Instead, U‐rich elements immediately upstream and downstream of the poly(A) site mediate cleavage‐site recognition within CYC1 and ADH1 pre‐mRNAs. These elements act in concert with the poly(A) site to produce multiple recognition sites for the processing machinery, since combinations of mutations within these elements were most effective in cleavage inhibition. Intriguingly, introduction of a U‐rich element downstream of the GAL7 poly(A) site strongly enhanced cleavage, underscoring the importance of downstream sequences in general. RNA‐ binding analyses demonstrate that cleavage depends on the recognition of the poly(A)‐site region by CPF. Consistent with in vitro results, mutation of sequences upstream and downstream of the poly(A) site affected 3′‐end formation in vivo. A model for yeast pre‐mRNA cleavage‐site recognition outlines an unanticipated high conservation of yeast and mammalian 3′‐end processing mechanisms.
A new directional, low-redundancy, complex-wavelet transform

Shift variance and poor directional selectivity, two major disadvantages of the discrete wavelet transform, have previously been circumvented either by using highly redundant, non-separable wavelet transforms or by using restrictive designs to obtain a pair of wavelet trees with a transform-domain redundancy of 4.0 in 2D. We demonstrate that excellent shift-invariance properties and directional selectivity may be obtained with a transform-domain redundancy of only 2.67 in 2D. We achieve this by projecting the wavelet coefficients from Selesnick's (Selesnick et al., 2000) almost-shift-invariant, double-density wavelet transform so as to separate approximately the positive and negative frequencies, thereby increasing directionality. Subsequent decimation and a novel inverse projection maintain the low redundancy while ensuring perfect reconstruction. Although our transform generates complex-valued coefficients allowing processing capabilities that are impossible with real-valued coefficients, it may be implemented with a fast algorithm that uses only real arithmetic. To demonstrate the efficacy of our new transform, we show that it achieves state-of-the-art performance in a seismic image-processing application.
Degrees of Freedom of Two-Cluster MIMO Multiway Relay Interference Channels Using Blind Interference Neutralization

In this paper, we investigate the degrees of freedom (DoF) of a two-cluster multiple-input multiple-output (MIMO) multiway relay interference channel (mRIC), where there are two relays and two users per cluster. In this channel, users within the same cluster exchange messages among themselves with the help of two relays. We first obtain the DoF upper bound of the considered MIMO mRIC based on cut-set bound. Then, we propose a novel transmission strategy, blind interference neutralization (BIN), to approach the DoF upper bound. This new method utilizes the overheard information at two relays and focuses on the beamforming matrix designs at two relays so that the channel state information (CSI) at users is not required. Through theoretical analysis and numerical simulations, we show that the DoF upper bound can be obtained by using the BIN scheme. From simulation results, we show that the proposed BIN scheme can provide significant performance gain over the conventional time division multiple access (TDMA) scheme in terms of DoF. In addition, we show that the BIN scheme is a superior approach to the existing signal space alignment (SSA) schemes for the considered mRIC.
Synthesis and conformational analysis of Id2 protein fragments: impact of chain length and point mutations on the structural HLH motif

The Id proteins are negative regulators of several basic‐helix‐loop‐helix (HLH) transcription factors, including the ubiquitous E factors and the tissue‐specific myogenin‐regulating factors. Id1 through Id4 contain highly identical HLH domains but different N‐ and C‐terminal extensions. Beside the heterodimerization with the parent HLH factors, Id2 was shown to additionally interact with the retinoblastoma protein and to be overexpressed in neuroblastoma. Thus, Id2 represents an interesting target for cancer therapy based on the inhibition of protein–protein interactions. Here we present the synthesis and circular dichroism (CD) analysis of peptides derived from point mutations and N‐/C‐terminal truncations of Id2. The helix character of the HLH domain (residues 36–76) was reduced upon substitution of Met39/‐62 and Cys42 with Nle and Ser, respectively, suggesting a structural role of these side chains. The largest sequence that could be obtained by stepwise solid‐phase peptide synthesis (SPPS) with Fmoc strategy spanned the entire HLH motif (with Cys42 replaced by Ser) and part of the C‐terminus (residues 77–110). This 75‐residue long fragment was less helical than the isolated HLH domain and had propensity to aggregate, which was correlated with the presence of the flanking residues C‐terminal to helix‐2. By CD analysis of an equimolar mixture of the sequence 36–110 with the N‐terminus 1–35, noncovalent interactions between the two peptides were detected, which, however, changed upon aging. In contrast, the mixture of the HLH sequence 36–76 with the N‐terminus was characterized by a stabilized helix structure that was maintained also upon aging. Presumably, the N‐terminal region interacted with the folded HLH motif in a specific manner, whereas only unspecific, weak contacts occurred with the partly unfolded HLH domain and/or the immediate flanking residues 77–110. Copyright © 2006 European Peptide Society and John Wiley & Sons, Ltd.
Effect of sitting posture on respiratory function while using a smartphone

[Purpose] The purpose of this study was to investigate respiratory function in different sitting postures while using a smartphone. [Subjects and Methods] Fifty healthy volunteers were recruited. Participants were divided into 2 groups, a control group of participants who spent time as they liked for 1 hour, and a smartphone group of participants who spent time using a smartphone in a sitting position for 1 hour. To investigate changes in respiratory function, we measured forced vital capacity, forced expiratory volume in 1 second, ratio of forced expiratory volume in 1 second to forced vital capacity, and peak expiratory flow. [Results] There was a statistically significant difference in forced vital capacity and forced expiratory volume in 1 second between the control group and smartphone group. [Conclusion] The clinical implication of our findings is that the posture assumed while using a smartphone leads to reduced respiratory function.
{5,5′-Dihydroxy-2,2′-[o-phenylenebis(nitrilomethylidyne)]diphenolato}nickel(II) dihydrate

In the title complex, [Ni(C20H14N2O4)]·2H2O, the NiII ion is in an essentially square-planar geometry involving an N2O2 atom set of the tetradentate Schiff base ligand. The Ni atom lies on a crystallographic twofold rotation axis. The asymmetric unit contains one half-molecule of the complex and a water molecule. An intermolecular O—H⋯O hydrogen bond forms a four-membered ring, producing an R 1 2(4) ring motif involving a bifurcated hydrogen bond to the phenolate O atoms of the complex molecule. In the crystal structure, molecules are linked by π–π stacking interactions, with centroid–centroid distances in the range 3.5750 (11)–3.7750 (11) Å. As a result of the twofold symmetry, the central benzene ring makes the same dihedral angle of 15.75 (9)° with the two outer benzene rings. The dihedral angle between the two hydroxyphenyl rings is 13.16 (5)°. In the crystal structure, molecules are linked into infinite one-dimensional chains by directed four-membered O—H⋯O—H interactions along the c axis and are further connected by C—H⋯O and π–π stacking into a three-dimensional network. An interesting feature of the crystal structure is the short Ni⋯O, O⋯O and N⋯N interactions which are shorter than the sum of the van der Waals radii of the relevant atoms. The crystal structure is stabilized by intermolecular O—H⋯O and C—H⋯O hydrogen bonds and by π–π stacking interactions.
Aedes aegypti Piwi4 Is a Noncanonical PIWI Protein Involved in Antiviral Responses

Mosquitoes transmit several pathogenic viruses, for example, the chikungunya and Zika viruses. In mosquito cells, virus replication intermediates in the form of double-stranded RNA are cleaved by Dcr2 into 21-nucleotide-long siRNAs, which in turn are used by Ago2 to target the virus genome. A different class of virus-derived small RNAs, PIWI-interacting RNAs (piRNAs), have also been found in infected insect cells. These piRNAs are longer and are produced in a Dcr2-independent manner. The only known antiviral protein in the PIWI family is Piwi4, which is not involved in piRNA production. It is associated with key proteins of the siRNA and piRNA pathways, although its antiviral function is independent of their actions. ABSTRACT The small interfering RNA (siRNA) pathway is a major antiviral response in mosquitoes; however, another RNA interference pathway, the PIWI-interacting RNA (piRNA) pathway, has been suggested to be antiviral in mosquitoes. Piwi4 has been reported to be a key mediator of this response in mosquitoes, but it is not involved in the production of virus-specific piRNAs. Here, we show that Piwi4 associates with members of the antiviral exogenous siRNA pathway (Ago2 and Dcr2), as well as with proteins of the piRNA pathway (Ago3, Piwi5, and Piwi6) in an Aedes aegypti-derived cell line, Aag2. Analysis of small RNAs captured by Piwi4 revealed that it is predominantly associated with virus-specific siRNAs in Semliki Forest virus-infected cells and, to a lesser extent, with viral piRNAs. By using a Dcr2 knockout cell line, we showed directly that Ago2 lost its antiviral activity, as it was no longer bound to siRNAs, but Piwi4 retained its antiviral activity in the absence of the siRNA pathway. These results demonstrate a complex interaction between the siRNA and piRNA pathways in A. aegypti and identify Piwi4 as a noncanonical PIWI protein that interacts with members of the siRNA and piRNA pathways, and its antiviral activities may be independent of either pathway. IMPORTANCE Mosquitoes transmit several pathogenic viruses, for example, the chikungunya and Zika viruses. In mosquito cells, virus replication intermediates in the form of double-stranded RNA are cleaved by Dcr2 into 21-nucleotide-long siRNAs, which in turn are used by Ago2 to target the virus genome. A different class of virus-derived small RNAs, PIWI-interacting RNAs (piRNAs), have also been found in infected insect cells. These piRNAs are longer and are produced in a Dcr2-independent manner. The only known antiviral protein in the PIWI family is Piwi4, which is not involved in piRNA production. It is associated with key proteins of the siRNA and piRNA pathways, although its antiviral function is independent of their actions.
Cooperative Spectrum Sensing with Optimal Sensing Ranges in Cognitive Radio Ad-Hoc Networks

Cognitive radio has been proposed as an innovative and effective technology to exploit the efficient reuse of the precious radio spectrum. In spectrum sensing which is a crucial step in cognitive radio networks, an adequate sensing range needs to be defined to prevent the hidden transmitter/receiver problems. Moreover, a secondary user may have unreliable detection of the existent primary users due to channel fading and/or shadowing. To overcome these problems, cooperative spectrum sensing may be adopted. In this paper, we propose a cooperative spectrum sensing scheme with adaptive sensing ranges in cognitive radio ad-hoc networks. We explain the adaptive sensing range of a local secondary user transmitter and analytically show that cooperative spectrum sensing with adaptive sensing ranges is better than that with a fixed sensing range.
Cumulative Advantage in the Skill Development of STEM Graduate Students

Studies of skill development often describe a process of cumulative advantage, in which small differences in initial skill compound over time, leading to increasing skill gaps between those with an initial advantage and those without. We offer evidence of a similar phenomenon accounting for differential patterns of research skill development in graduate students over an academic year and explore differences in socialization that accompany diverging developmental trajectories. As predicted, quantitative analysis indicated large effect sizes for skill gains after controlling for initial performance levels. Qualitative analyses indicated that students with initial advantages were more likely to report greater demands of independence by their advisors and see more extensive value in research tasks comparable to those assigned their less skilled peers.
Global beautification of layouts with interactive ambiguity resolution

Automatic global beautification methods have been proposed for sketch-based interfaces, but they can lead to undesired results due to ambiguity in the user's input. To facilitate ambiguity resolution in layout beautification, we present a novel user interface for visualizing and editing inferred relationships. First, our interface provides a preview of the beautified layout with inferred constraints, without directly modifying the input layout. In this way, the user can easily keep refining beautification results by interactively repositioning and/or resizing elements in the input layout. Second, we present a gestural interface for editing automatically inferred constraints by directly interacting with the visualized constraints via simple gestures. Our efficient implementation of the beautification system provides the user instant feedback. Our user studies validate that our tool is capable of creating, editing and refining layouts of graphic elements and is significantly faster than the standard snap-dragging and command-based alignment tools.
The Thoracodorsal Artery Perforator Flap in the Treatment of Axillary Hidradenitis Suppurativa: Effect on Preservation of Arm Abduction

Summary: Hidradenitis suppurativa is a chronic, recurrent inflammatory disease of the skin characterized by abscesses and scars. The axillary region is predominantly affected, leading to limited mobility of the arm due to scar retraction. This prospective study aimed to analyze the surgical treatment of severe lesions of axillary hidradenitis suppurativa by using the thoracodorsal artery perforator flap while focusing on the preservation of arm abduction. We enrolled 12 patients with severe axillary hidradenitis suppurativa who underwent bilateral surgical treatment of their lesions by radical excision, followed by immediate reconstruction with the thoracodorsal artery perforator flap. The amplitude of arm abduction was measured preoperatively and 6 months postoperatively by goniometry, and statistical analysis was performed using Student's t test. Preoperative and 6-month postoperative mean amplitude of arm abduction were 98.7 degrees and 152.7 degrees, respectively, with a significant mean increase of 54 degrees (p < 0.0001). The thoracodorsal artery perforator flap can be used as a good option for axillary reconstruction after radical excision of severe lesions of hidradenitis suppurativa, and its use would allow a significant increase in the amplitude of arm abduction. It has several other advantages when compared with other types of coverage, including its anatomical proximity to the axilla, similar thickness, and high-quality skin. CLINICAL QUESTION/LEVEL OF EVIDENCE: Therapeutic, V.