Miracle-dz/UniFAR-FTUs huggingface dataset:
Using Data Cubes for Metarule-Guided Mining of Multi-Dimensional Association Rules

Metarule-guided mining is an interactive approach to data mining, where users probe the data under analysis by specifying hypotheses in the form of metarules, or pattern templates. Previous methods for metarule-guided mining of association rules have primarily used a transac-tion/relation table-based structure. Such approaches require costly, multiple scans of the data in order to nd all the large itemsets. In this paper, we employ a novel approach to metarule-guided, multi-dimensional association rule mining which explores a data cube structure. We propose algorithms for metarule-guided mining using diierent cube structures: given a metarule containing p predicates, we compare mining on an n-dimensional cube structure (where p < n) with mining on smaller multiple p-dimensional cubes. In addition, we propose an eecient method for precomputing the cube, which takes into account the constraints imposed by the given metarule. Our preliminary performance study shows that a cube-based metarule-guided algorithm for mining multi-dimensional association rules is eecient and can easily be extended to the mining of multi-level, multi-dimensional association rules.
Tableau vs. Sequent Calculi for Minimal Entailment

In this paper we compare two proof systems for minimal entailment: a tableau system OTAB and a sequent calculus MLK , both developed by Olivetti (1992). Our main result shows that OTAB-proofs can be efficiently translated into MLK -proofs, i.e.,MLK psimulates OTAB . The simulation is technically very involved and answers an open question posed by Olivetti (1992) on the relation between the two calculi. We also show that the two systems are exponentially separated, i.e., there are formulas which have polynomial-size MLK -proofs, but require exponential-size OTAB-proofs.
Towards Agile Implementation of Test Maturity Model Integration (TMMI) Level 2 using Scrum Practices

the software industry has invested the substantial effort to improve the quality of its products like ISO, CMMI and TMMI. Although applying of TMMI maturity criteria has a positive impact on product quality, test engineering productivity, and cycle-time effort. But it requires heavy software development processes and large investments in terms of cost and time that medium/small companies do not deal with it. At the same time, agile methods deal with changing requirements and continuous delivery of valuable software by short time iterations. So that the aim of this paper is to improve the testing process by applying a detailed mapping between TMMI and Scrum practices and verifying this mapping with a study providing empirical evidence of the obtained results. The research has been evaluated on a sample of 2 large-sized TMMI certified companies. In conclusion, the experimental results show the effectiveness of using this integrated approach compared to other existing approaches.
T-wave altemans detection and estimation through Cosine Modulated Filter Bank and Modified Media Average

T-wave alternane (TWA) is considered as a sudden cardiac death susceptibility index. TWA has been shown to presage lethal ventricular arrhythmias in patients with structural heart disease. TWA appears on the surface of the ECG signal as a fluctuation of ventricular repolarization every two beats. This alternant wave has an amplitude on the microvolts order, being imperceptible the naked eye which makes difficult its detection. In this work, we propose the TWA detection and estimation method through the Cosine Modulated Filter Bank (CMFB) as preprocessing stage to minimize the noise present in ECG signal during routine exercise testing. A TWA detection and estimation by using the Modified Media Average (MMA) method has been established. For evaluation process, the ECG records from Physionet databases were used. The combined CMFB and MMA presents a SNR improvement of 5 dB and 7 dB for probability detection (PD) by using the thresholds of 47 μΎ and 60 μΎ respectively than by using only the MMA method. The PD and the mean absolute error (MAE) metrics have been used.
Sex‐specific induction of mutations by PhIP in the kidney of male and female rats and its modulation by conjugated linoleic acid

The heterocyclic amine 2‐amino‐1‐methyl‐6‐phenylimidazo[4,5‐b]pyridine (PhIP) is a recognized mutagen and carcinogen in the colon and prostate of male rats and in the mammary gland of female rats. In the current study, we examined the mutagenicity of PhIP in the kidney of male and female lacI transgenic rats and its modulation by a dietary chemopreventive agent, conjugated linoleic acid (CLA). Sex‐specific changes in mutation were observed following PhIP and CLA treatment. Exposure to 100 ppm PhIP through dietary supplementation for 47 days induced a lacI mutation frequency (MF) of 7.7 ± 0.3 × 10‐5 and 4.7 ± 1.0 × 10‐5 in the kidney of male and female rats, respectively. The PhIP‐induced MFs in the kidney of male and female rats were significantly different from each other and were 300% (P < 0.001) and 60% (P < 0.05) higher than the corresponding controls, respectively. When rats were given CLA along with PhIP, CLA completely inhibited the formation of PhIP‐induced mutations in the kidney of female rats, but not in male rats. Comparison of mutational spectra did not detect significant differences between male rats treated with PhIP and PhIP + CLA. However, unlike the ‐1 frameshifts induced by PhIP in the colon and prostate, which consist primarily of G:C deletions, ‐1 frameshifts in the kidney involved the loss of both G:C and A:T basepairs. Our data indicate that the kidney of the rats responds in a sex‐dependent way to mutagenesis and antimutagenesis by PhIP and CLA. These differences may be related to hormonally regulated induction of P450 enzymes or cell proliferation. Environ. Mol. Mutagen. 40:116–121, 2002. © 2002 Wiley‐Liss, Inc.
Plants from Arid and Semi-Arid Zones of Mexico Used to Treat Respiratory Diseases: A Review

Medicinal plants have been a traditional remedy for numerous ailments for centuries. However, their usage is limited due to a lack of evidence-based studies elucidating their mechanisms of action. In some countries, they are still considered the first treatment due to their low cost, accessibility, and minor adverse effects. Mexico is in second place, after China, in inventoried plants for medicinal use. It has around 4000 species of medicinal plants; however, pharmacological studies have only been carried out in 5% of its entirety. The species of the Mexican arid zones, particularly in semi-desert areas, exhibit outstanding characteristics, as their adverse growing conditions (e.g., low rainfall and high temperatures) prompt these plants to produce interesting metabolites with diverse biological activities. This review explores medicinal plants belonging to the arid and semi-arid zones of Mexico, focusing on those that have stood out for their bioactive potential, such as Jatropha dioica, Turnera diffusa, Larrea tridentata, Opuntia ficus-indica, Flourensia cernua, Fouquieria splendes, and Prosopis glandulosa. Their extraction conditions, bioactive compounds, mechanisms of action, and biological efficacy are presented, with emphasis on their role in the treatment of respiratory diseases. Additionally, current research, novel applications, and perspectives concerning medicinal plants from these zones are also discussed.
Evaluation of water quality and organic pollution of Shadegan and Hawr Al Azim wetlands by biological indices using insects

In this study the water quality and organic pollution of Shadegan and Hawr Al Azim wetlands by biological indices using insects during October 2011 to September 2012 were evaluated. The results of the biological monitoring working party index indicated that the abundance of family with medium or lower scores was high. The evaluation results of water quality and organic pollution of these wetlands by Ephemeroptera, Plecoptera and Trichoptera, average score per taxon and family biotic indexes indicated that the water quality had a fair to very poor condition assessing probable severe pollution, and likely substantial to severe organic pollution. Also the dominant family index indicated the community was under the influence of environmental stress in these wetlands. Totally assessing outcomes of these biological indices from these wetlands showed that their water quality had a poor condition and they can be used as valuable tools for evaluating the wetland water quality.
Genetic dissection of the common epilepsies

Purpose of reviewOnly two functionally validated susceptibility genes, CACNA1H and GABRD, have so far been identified in the common epilepsies using a candidate gene approach. The difficulty with the alternative statistical approach, where none of the suggested candidates has been functionally validated, may partly be due to the posited genetic architecture of the common epilepsies, such as the idiopathic generalized epilepsies. A subset of both rare and common variants from a much larger pool of susceptibility genes may contribute to disease risk. We review methods and designs for the genetic dissection of common epilepsies. Recent findingsGenetic association studies, though theoretically more powerful than linkage analysis, have not yet delivered validated susceptibility genes. Methodological flaws can undermine such studies but are correctable. Concerns remain, however, about the extent of underlying genetic heterogeneity in common epilepsies. Genome-wide association studies are increasingly feasible, but issues remain about their conduct and analysis. Metaanalysis may resolve conflicting association studies, facilitated by the establishment of databases of genetic association studies. Newer multi-locus and admixture mapping approaches are attractive alternatives to traditional association studies and may offer new insights into identifying epilepsy genes. SummaryWe conclude by emphasizing the importance of deeper endophenotyping using electroclinical, imaging, and molecular approaches to dissect the common epilepsies.
Characterization of xylanolytic bacteria present in the bract phyllosphere of the date palm Phoenix dactylifera

Aims: Despite the interest of phyllosphere microbiology, no studies have addressed the bacteria present in bract phyllosphere, an ecosystem that has special characteristics in palm trees because the dry bracts remain on the plant until pruning and may contain polymer‐degrading bacteria involved in plant degradation. Therefore, the aim of this work was to characterize xylanolytic bacteria isolated from palm bract phyllosphere.
Managerial openness and the adoption of distributed group support systems: the case of WebWide Participation

The problem of total participation in asynchronous meetings convened with distributed group support systems has been noted frequently but investigated rarely. This paper describes a portion of a large field study using the distributed group support system Web Wide Participation in which explanations for meeting involvement (and non-involvement) were explored. In particular, three WebWide meetings with varying levels of participation were selected, and surveys were sent to all designated participants. The hypothesis was that non-participants have less openness (i.e., one of the key personality dimensions in Big Five personality theory) than active participants who willingly joined in the meeting process. Using two indices of managerial openness, a discriminant analysis was undertaken that correctly distinguished over three-quarters of the participants and non-participants in the targeted Web Wide meetings. The importance of this finding for advancing the adoption of other new group support technologies is discussed.
Influence of sexual selection and feeding functional morphology on diversification rate of parrotfishes (Scaridae)

Scaridae (parrotfishes) is a prominent clade of 96 species that shape coral reef communities worldwide through their actions as grazing herbivores. Phylogenetically nested within Labridae, the profound ecological impact and high species richness of parrotfishes suggest that their diversification and ecological success may be linked. Here, we ask whether parrotfish evolution is characterized by a significant burst of lineage diversification and whether parrotfish diversity is shaped more strongly by sexual selection or modifications of the feeding mechanism. We first examined scarid diversification within the greater context of labrid diversity. We used a supermatrix approach for 252 species to propose the most extensive phylogenetic hypothesis of Labridae to date, and time-calibrated the phylogeny with fossil and biogeographical data. Using divergence date estimates, we find that several parrotfish clades exhibit the highest diversification rates among all labrid lineages. Furthermore, we pinpoint a rate shift at the shared ancestor of Scarus and Chlorurus, a scarid subclade characterized by territorial behaviour and strong sexual dichromatism, suggesting that sexual selection was a major factor in parrotfish diversification. Modifications of the pharyngeal and oral jaws that happened earlier in parrotfish evolution may have contributed to this diversity by establishing parrotfishes as uniquely capable reef herbivores.
THE EVOLUTION OF AIR‐BREATHING IN PALEOZOIC GNATHOSTOME FISHES

The orthodox view of vertebrate evolution holds that air-breathing first arose in gnathostome fishes inhabiting freshwater swamps and marshes of the Paleozoic Era (Barrell, 1916; Inger, 1957; Romer, 1966, 1967; Thomson, 1969a, 1971). Paleoclimatic evidence indicates that these aquatic environments were characterized by low levels of dissolved oxygen, at least during dry seasons, owing to the combined effects of high ambient temperature, inadequate circulation of the shallow waters by wind, and high oxygen demands of microbes and decaying vegetation (Barrell, 1916; Inger, 1957; Thomson, 1969a). In such environments, the habit of air-breathing presumably was subjected to strong selection pressures (Romer 1966, 1967; Thomson, 1971), for in the absenc,e of some auxiliary respiratory mechanism permitting the exploitation of atmospheric reservoirs of oxygen, survival seems to have been unlikely (Romer, 1966). Lungs subsequently evolved in the successful inhabitants of these stagnant waters as greater and greater reliance was placed upon air-breathing to provide the oxygen necessary to support metabolism. The strongest support for the aforementioned theory comes from consideration of the distribution of contemporary airbreathing fishes. T'hese fishes reach their highest diversity in warm, shallow inland waters of the tropical lowlands (Carter, 1957; Johansen, 1970), where hypoxic conditions commonly occur (Carter and Beadle, 1931; Willmner, 1934). Since the success of these swamp-dwelling fishes is related to their ability to tap atmospheric supplies of oxygen, it seems reasonable to conclude that comparable environmental conditions during the Paleozoic must have led to the evolution of air-breathing among ancient fishes (Carter and Beadle, 1931). Moreover, the air-breathing habit is quite uncommon among contemporary fishes inhabiting, marine or estuarine environments (Carter, 1957; Johansen, 1970). Since seawater generally is well circulated and fully aerated it is regarded as unlikely that Paleozoic fishes inhabiting this medium, like Recent fishes, could have met with difficulty in satisfying their needs for oxygen (Carter, 1957; Johansen, 1970). The theory for a freshwater origin of air-breathing (and lungs) in Paleozoic vertebrates has won wide acceptance; and the pervasiveness of the theory is revealed by the fact that certain groups of vertebrates are regarded as having originated in freshwaters, despite the existence of paleontologic evidence to the contrary, largely because they possess lungs (Thomson, 1969a,b). My objective is to show that necessary conditions for the evolution of air-breathing could have existed during the Paleozoic Era in certain marine or estuarine situations; and in this way I hope to provide for a re-interpretation of many of the paleontologic data.
A Survey on Haze Removal using Image Visibility Restoration Technique

Images captured during adverse weather conditions frequently feature degraded visibility and undesirable color cast effects. Images captured in foggy weather conditions often suffer from poor visibility, which will create a lot of impacts on the outdoor computer vision systems, such as video surveillance, intelligent transportation assistance system, and remote sensing space cameras and so on. One of the central problems in image processing in open-air is the presence of cloud, fog or smoke which fades the colors and reduces the contrast of the observed things. Images of outdoor scenes captured during inclement weather conditions. Image processing techniques improve the quality of an image and enhance the maximum information from the degraded image. In this paper, we propose a effective Dark Channel Prior technique, which is apply on selected region to estimate the atmospheric light, and obtain more accurate result. The Dark Channel Prior is a kind of statistics of the haze-free outdoor image. And thus it obtains a high-quality haze-free image using Image processing approach.
10 GHz low timing-jitter and broadband optical comb generation based on an optoelectronic oscillator

10 GHz repetition rate, low timing-jitter and broadband optical comb generation based on a low phase noise optoelectronic oscillator is experimentally demonstrated. 10 GHz repetition rate optical comb and 10 GHz RF signal are obtained, simultaneously. A timing-jitter of 52.8 fs (integral range from 100 Hz to 1 MHz) for the optical comb and a phase noise of −132 dBc/Hz at 10 kHz offset for the RF signal are experimentally achieved. The influence of laser frequency noise on the timing-jitter of the optical comb is also investigated.
Wideband Endfire Antenna Array for 5G mmWave Mobile Terminals

In this paper, a compact endfire antenna array with low-profile, small clearance, and wideband operation is proposed for millimeter-wave (mmWave) fifth-generation (5G) mobile terminals. The wideband operation is achieved by exciting two identical bow-tie dipoles inserted on both sides of a multilayer substrate fed by an asymmetric open-end stripline to slotline transition. The antenna performance is significantly improved by introducing a set of vertical metallic vias. The proposed antenna element can achieve 29 % from 24.2 GHz to 32.4 GHz with a peak realized gain that varies from 3.5 dBi to 4.5 dBi. A linear 4-element antenna array is arranged and fabricated to verify the proposed antenna beamforming capabilities. The simulated and measured bandwidth achieves a wide range of 34.4 % (24-34 GHz) to support 26, 28, and 30 GHz 5G mmWave bands with an isolation level better than 20 dB and a peak realized gain over the interested bands ranging from 7.56 to 8.14 dBi. The simulated array scanning angle is ± 68° at 28 GHz within 3-dB gain deterioration. Furthermore, the simulated spherical coverage has met the requirements of 3GPP standards which make the proposed antenna array a promising candidate to be integrated within mmWave 5G mobile devices.
Generic phases of cross-linked active gels: Relaxation, oscillation and contractility

We study analytically and numerically a generic continuum model of an isotropic active solid with internal stresses generated by nonequilibrium “active” mechano-chemical reactions. Our analysis shows that the gel can be tuned through three classes of dynamical states by increasing motor activity: a constant unstrained state of homogeneous density, a state where the local density exhibits sustained oscillations, and a steady state which is spontaneously contracted, with a uniform mean density.
Bmc Medical Genetics Identification of a Region Required for Tsc1 Stability by Functional Analysis of Tsc1 Missense Mutations Found in Individuals with Tuberous Sclerosis Complex

Background: Tuberous sclerosis complex (TSC) is an autosomal dominant disorder characterised by the development of hamartomas in a variety of organs and tissues. The disease is caused by mutations in either the TSC1 gene on chromosome 9q34, or the TSC2 gene on chromosome 16p13.3. The TSC1 and TSC2 gene products, TSC1 and TSC2, form a protein complex that inhibits signal transduction to the downstream effectors of the mammalian target of rapamycin (mTOR). Recently it has been shown that missense mutations to the TSC1 gene can cause TSC.
A New Probabilistic Model for Title Generation

Title generation is a complex task involving both natural language understanding and natural language synthesis. In this paper, we propose a new probabilistic model for title generation. Different from the previous statistical models for title generation, which treat title generation as a generation process that converts the 'document representation' of information directly into a 'title representation' of the same information, this model introduces a hidden state called 'information source' and divides title generation into two steps, namely the step of distilling the 'information source' from the observation of a document and the step of generating a title from the estimated 'information source'. In our experiment, the new probabilistic model outperforms the previous model for title generation in terms of both automatic evaluations and human judgments.
An Enhancement for a Scheduling Logic Pipelined over two Cycles

Out of order processors use the dynamic scheduling logic both to expose and to exploit parallelism. Pipelining this logic may sacrifice the ability to execute dependent instructions in consecutive cycles. Several previous studies have shown that pipelining the scheduling logic over two cycles degrades performance; our evaluations, in a 4-way machine, on SPEC-2000 integer benchmarks show a performance degradation about 11% compared to an unpipelined scheduling logic. In this work, we present two non-speculative enhancements for a scheduling logic pipelined over two cycles. The idea is computing in advance which instructions will be woken-up by all instructions that are currently competing for selection. Once all of them have been selected, the pre-computed group of instructions can compete for selection in next cycle. The enhancement goal is to tolerate the scheduling-loop latency when not enough ILP is available through the scheduling of dependent instructions in consecutive cycles. Our results in a 4-way machine show that our two proposed enhancements perform, on average, slightly better than two previously proposed speculative schedulers. The performance of our proposals is within a 2.6% and 2% of an unpipelined ideal scheduler.
Larvicidal and Cytotoxic Activities of Extracts from 11 Native Plants from Northeastern Mexico

ABSTRACT Of all mosquito-borne viral diseases, dengue is spreading most rapidly worldwide. Conventional chemical insecticides (e.g., organophosphates and carbamates) effectively kill mosquitoes at their larval stage, but are toxic to humans. Natural product-based insecticides may be highly specific. Herein, we report the insecticidal activities of 11 native Mexican plants against Aedes aegypti (L). Ether extracts of Ambrosia confertiflora De Candolle, Thymus vulgaris (L.), and Zanthoxylum fagara (L.), and both ether and methanol extracts of Ruta chalepensis L. were significantly larvicidal toward the dengue mosquito after 24 h of exposure. Of them, only the ether extract of A. confertiflora was toxic to Vero cells. In conclusion, the ether extracts of Thymus vulgaris, Z. fagara, and both ether and methanol extracts of Ruta chalepensis L. , could be considered as potential bioinsecticides.