Miracle-dz/UniFAR-FTUs huggingface dataset:
FREQUENT NEGATIVE SEQUENTIAL PATTERNS -A SURVEY

Data mining is the extraction of hidden predictive information from large databases, is a powerful new technology with great potential to help companies focus on the most important information in their data warehouses. A frequent pattern is defined as a pattern, which can be a set of items, either with or without an order, occurs together in a database frequent enough to satisfy a certain minimum threshold. Sequential pattern mining is an important task in data mining. It provides an effective way to get special patterns from sequence data. Different from traditional positive sequential patterns, negative sequential patterns focus on negative relationship between items sets, in which case, absent items are taken into consideration. This paper provides the analysis of different algorithms used for negative sequential patterns.
Manipulation de l'intolérance a l'incertitude et inquiétudes.

Selon un modele recent du trouble d'anxiete generalisee (TAG), l'intolerance a l'incertitude est consideree comme etant la principale variable responsable des inquietudes excessives (Dugas, Gagnon, Ladouceur & Freeston, 1998). Le but de cette etude est de verifier l'impact de l'intolerance a l'incertitude sur les inquietudes et ce, a partir d'evenements quotidiennement vecus par les individus. Trente participants ont ete soumis a une augmentation et une diminution de leur niveau d'intolerance a l'incertitude avec une semaine d'intervalle. La manipulation a ete effectuee a partir d'une seance de visualisation ou le participant devait: a) construire et imaginer une mise en situation (prendre un medicament) et b) repeter a voix haute des enonces formules par l'experimentateur. Les resultats demontrent qu'une augmentation de l'intolerance a l'incertitude entraine une augmentation des inquietudes et, qu'au contraire, une diminution de l'intolerance a l'incertitude entraine une diminution des inquietudes. Ces resultats confirment que l'intolerance a l'incertitude joue un role crucial dans l'acquisition des inquietudes et valident le modele conceptuel recemment propose (Dugas et al., 1998).
Long-term Safety and Efficacy of Human-Induced Pluripotent Stem Cell (iPS) Grafts in a Preclinical Model of Retinitis Pigmentosa

The U.S. Food and Drug Administration recently approved phase I/II clinical trials for embryonic stem (ES) cell-based retinal pigmented epithelium (RPE) transplantation, but this allograft transplantation requires lifelong immunosuppressive therapy. Autografts from patient-specific induced pluripotent stem (iPS) cells offer an alternative solution to this problem. However, more data are required to establish the safety and efficacy of iPS transplantation in animal models before moving iPS therapy into clinical trials. This study examines the efficacy of iPS transplantation in restoring functional vision in Rpe65rd12/Rpe65rd12 mice, a clinically relevant model of retinitis pigmentosa (RP). Human iPS cells were differentiated into morphologically and functionally RPE-like tissue. Quantitative real-time polymerase chain reaction (RT-PCR) and immunoblots confirmed RPE fate. The iPS-derived RPE cells were injected into the subretinal space of Rpe65rd12/Rpe65rd12 mice at 2 d postnatally. After transplantation, the long-term surviving iPS-derived RPE graft colocalized with the host native RPE cells and assimilated into the host retina without disruption. None of the mice receiving transplants developed tumors over their lifetimes. Furthermore, electroretinogram, a standard method for measuring efficacy in human trials, demonstrated improved visual function in recipients over the lifetime of this RP mouse model. Our study provides the first direct evidence of functional recovery in a clinically relevant model of retinal degeneration using iPS transplantation and supports the feasibility of autologous iPS cell transplantation for retinal and macular degenerations featuring significant RPE loss.
Genome Sequence of Serratia plymuthica Strain S13, an Endophyte with Germination- and Plant-Growth-Promoting Activity from the Flower of Styrian Oil Pumpkin

ABSTRACT The bacterium Serratia plymuthica strain S13 was demonstrated to colonize various plant-associated microhabitats and to suppress damping-off diseases. The completed genome sequence has a size of 5.5 Mb, containing 4,957 putative protein-encoding regions, and will be used to identify genetic determinants enabling the bacterium to escort a plant's entire life cycle.
Real-life clinical practice and management of polysensitized patients with respiratory allergies: a large, global survey of clinicians prescribing allergen immunotherapy

ABSTRACT Background: The allermix survey was conducted to gain insights into the most frequently diagnosed allergies worldwide, the use of allergen immunotherapy (AIT) in clinical practice, and to identify current clinical approaches for the management of polyallergic patients. Methods: The survey was conducted in 19 countries worldwide during 2016. Clinicians currently prescribing AIT completed an online questionnaire, designed to gather data on their daily clinical practice, most commonly diagnosed and treated allergies among their patients, awareness and adherence to recommendations and guidelines on AIT, the AIT format(s) that they choose to prescribe, and management of polyallergic patients. Results: Respondents (N = 1029) considered a clinical demonstration of safety and effectiveness, and quality and standardization of allergen extract, as key factors influencing their choice of which AIT formulation to prescribe. 98% of respondents reported managing polyallergic patients; 58% were treated with single-allergen AIT and 42% with multiple-allergen AIT. 74% of respondents were aware of latest AIT practice guidelines, while 67% had an awareness of recent recommendations for pharmaceutical manufacturers. Conclusion: These findings highlight the need for high-quality AIT products that are supported by robust efficacy and safety data, and address the treatment habits of allergy specialists in their real-life clinical practice.
Bit Error Rate Performance of Generalized Frequency Division Multiplexing

Generalized frequency division multiplexing is a non-orthogonal, digital multicarrier transmission scheme with attractive features that address the requirements of emerging applications of wireless communications systems in areas like cognitive radio and machine-to-machine communication. In this paper, first a linear system description is obtained for the transmitter by ordering data in a time-frequency block structure and representing the processing steps upconversion, pulse shaping and upsampling as matrix operations. Based on the transmitter, three standard ways of detecting the signal are derived and compared in terms of bit error performance in AWGN and Rayleigh multipath fading channels.
Oncogenic cancer/testis antigens: prime candidates for immunotherapy

Recent developments have set the stage for immunotherapy as a supplement to conventional cancer treatment. Consequently, a significant effort is required to further improve efficacy and specificity, particularly the identification of optimal therapeutic targets for clinical testing. Cancer/testis antigens are immunogenic, highly cancer-specific, and frequently expressed in various types of cancer, which make them promising candidate targets for cancer immunotherapy, including cancer vaccination and adoptive T-cell transfer with chimeric T-cell receptors. Our current understanding of tumor immunology and immune escape suggests that targeting oncogenic antigens may be beneficial, meaning that identification of cancer/testis antigens with oncogenic properties is of high priority. Recent work from our lab and others provide evidence that many cancer/testis antigens, in fact, have oncogenic functions, including support of growth, survival and metastasis. This novel insight into the function of cancer/testis antigens has the potential to deliver more effective cancer vaccines. Moreover, immune targeting of oncogenic cancer/testis antigens in combination with conventional cytotoxic therapies or novel immunotherapies such as checkpoint blockade or adoptive transfer, represents a highly synergistic approach with the potential to improve patient survival.
In vitro Hypolipidemic and Antioxidant Effects of Leaf and Root Extracts of Taraxacum Officinale

Adipose tissue dysfunction constitutes a primary defect in obesity and might link this disease to severe chronic health problems. We aimed to evaluate the antioxidant activity of three extracts from Taraxacum officinale (dandelion) as well as their effects on mature 3T3-L1 adipocytes concerning intracellular lipid accumulation and cytotoxicity, this would give indications regarding therapeutic interest of dandelion as potential anti-obesity candidate. Antioxidant activities of extracts from dandelion roots and leaves were evaluated in vitro using 1,1-diphenyl-2-picrylhyorazyl (DPPH) and Ferric Reducing Antioxidant Power (FRAP) methods at the concentration range used in cellular assays (300–600 µg/mL). The influence of the extracts on mature 3T3-L1 adipocyte viability was determined by the 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyltetrazolium bromide (MTT) assay. Lipid content was determined by Oil-red-O staining. The extracts showed effective antioxidant activity correlating with total flavonoid and polyphenol contents. However, the functionality level was weakly associated with the antioxidant activity. Further, our data demonstrated that mature 3T3-L1 adipocytes reduced in size and number when incubated with the extracts, which suggests a significant increase in lipolysis activity. Particularly, leaf extract and crude powdered root of dandelion reduced triglyceride accumulation in mature 3T3-L1 adipocytes to a greater extent that the extract from the root. Our study shows anti-lipogenic effects of dandelion extracts on adipocytes as well as radical scavenging and reducing activity. Importantly, along with previous results indicating that cell populations cultivated in the presence of the dandelion extracts decrease in 3T3-L1 adipogenesis capacity, these results suggests that these extracts might represent a treatment option for obesity-related diseases by affecting different processes during the adipocyte life cycle.
Wavelet -based geometry coding for 3D mesh using space frequency quantization

3D objects are used in several applications such as animations, virtual reality and visualization. These applications often require a huge amount of data storage and transmission. Since most applications require compact storage, fast transmission, in this paper, we present a novel procedure for compression and coding of three-dimensional (3-D) semi-regular meshes using wavelet transform. This procedure is based on space frequency quantization (SFQ) which is used to minimize distortion error of the reconstructed mesh for a different bit-rate constraint. Our experiments show that the 3D SFQ code over performs progressive geometry coder (PGC) in terms of the quality of compressed meshes. Moreover, bit-stream can be truncated at any point and still decode reasonable visual quality meshes.
2 Background and Overview of Our Work 2 . 1 Preemptive OS Kernels and Interrupts

We propose a practical verification framework for preemptive OS kernels. The framework models the correctness of API implementations in OS kernels as contextual refinement of their abstract specifications. It provides a specification language for defining the high-level abstract model of OS kernels, a program logic for refinement verification of concurrent kernel code with multi-level hardware interrupts, and automated tactics for developing mechanized proofs. The whole framework is developed for a practical subset of the C language. We have successfully applied it to verify key modules of a commercial preemptive OS μC/OS-II [2], including the scheduler, interrupt handlers, message queues, and mutexes etc. We also verify the priority-inversion-freedom (PIF) in μC/OS-II. All the proofs are mechanized in Coq. To our knowledge, our work is the first to verify the functional correctness of a practical preemptive OS kernel with machine-checkable proofs.
Initial Evidence that Individuals Form New Relationships with Partners that More Closely Match their Ideal Preferences

An important assumption in interpersonal attraction research asking participants about their ideal partner preferences is that these preferences play a role in actual mate choice and relationship formation. Existing research investigating the possible predictive validity of ideal partner preference, however, is limited by the fact that none of it has focused on the actual process of relationship formation. The current research recruited participants when single, assessed ideal partner preferences across 38 traits and attributes, tracked participants’ relationship status over 5 months, and successfully recruited the new partners of 38 original participants to assess their self-evaluations across the same 38 traits and attributes. Using multilevel modeling to assess the correspondence between ideal partner preferences and self-evaluations within couple, the results showed a positive within-couple association that was not accounted for by personality similarity or stereotype accuracy. We discuss these results with respect to the current literature on the predictive validity of ideal partner preferences in relationship formation.
Estimation of Modal Decay Parameters from Noisy Response Measurements

The estimation of modal decay parameters from noisy measurements of reverberant and resonnating systems is a common problem in audio and acoustics, such as in room and concert han measurements or musical instrument modeling. Reliable methods to estimate the initial onse level, decay rate, and noise floor level from noisy measurement data are studied and compared. A new method, based on the nonlinear optimization of a model for exponential decay plus stationary noise floor, is presented. A comparison with traditional decay parameter estimation techniques using simulated measurement data shows that the proposed method outperforms in accuracy and robustness, especially in extreme SNR conditions. Three cases of practical applications of the method are demonstrated.
Decidability of the Finiteness of Ranges of Tree Transductions

Abstract The finiteness of ranges of tree transductions is shown to be decidable for TBY + , the composition closure of macro tree transductions. Furthermore, TBY + definable sets and TBY + computable relations are considered, which are obtained by viewing a tree as an expression that denotes an element of a given algebra. A sufficient condition on the considered algebra is formulated under which the finiteness problem is decidable for TBY + definable sets and for the ranges of TBY + computable relations. The obtained result applies in particular to the class of string languages that can be defined by TBY + transductions via the yield mapping. This is a large class which is proved to form a substitution-closed full AFL.
Brief Electrical Stimulation Promotes the Speed and Accuracy of Motor Axonal Regeneration

Functional recovery is often poor despite the capacity for axonal regeneration in the peripheral nervous system and advances in microsurgical technique. Regeneration of axons in mixed nerve into inappropriate pathways is a major contributing factor to this failure. In this study, we use the rat femoral nerve model of transection and surgical repair to evaluate (1) the effect of nerve transection on the speed of regeneration and the generation of motor-sensory specificity, (2) the efficacy of electrical stimulation in accelerating axonal regeneration and promoting the reinnervation of appropriate muscle pathways by femoral motor nerves, and (3) the mechanism of action of electrical stimulation. Using the retrograde neurotracers fluorogold and fluororuby to backlabel motoneurons that regenerate axons into muscle and cutaneous pathways, we found the following. (1) There is a very protracted period (10 weeks) of axonal outgrowth that adds substantially to the delay in axonal regeneration (staggered regeneration). This process of staggered regeneration is associated with preferential motor reinnervation (PMR). (2) One hour to 2 weeks of 20 Hz continuous electrical stimulation of the parent axons proximal to the repair site dramatically reduces this period (to 3 weeks) and accelerates PMR. (3) The positive effect of short-term electrical stimulation is mediated via the cell body, implicating an enhanced growth program. The effectiveness of such a short-period low-frequency electrical stimulation suggests a new therapeutic approach to accelerate nerve regeneration after injury and, in turn, improve functional recovery.
The Development of Self-Representations During the Transition to Early Adolescence: The Role of Gender, Puberty, and School Transition

The present study investigated the development of global and domain-specific self-representations in the transition from late childhood to early adolescence and tested whether gender, puberty, and school transition help explain individual differences in change. The study was based on three measurement occasions over 2 years and included 248 adolescents (average age at T1 = 10.6 years). Findings indicated both stability and change over time. Individual differences in change were partially explained by gender and school transition. It revealed that girls experienced steeper decreasing trajectories and were more negatively affected by school transition in comparison with boys. Time-varying associations between puberty and self-representations were evident in terms of perceived pubertal timing. Findings suggest that both biological (pubertal timing) and contextual factors (school transition) play a role in explaining individual differences of self-representation level as well as their development in girls’ and boys’ transition to early adolescence.
Auditory steady-state responses.

BACKGROUND The auditory steady state response (ASSR) is an auditory evoked potential (AEP) that can be used to objectively estimate hearing sensitivity in individuals with normal hearing sensitivity and with various degrees and configurations of sensorineural hearing loss (SNHL). For this reason, many audiologists want to learn more about the stimulus and recording parameters used to successfully acquire this response, as well as information regarding how accurately this response predicts behavioral thresholds across various clinical populations. PURPOSE The scientific goal is to create a tutorial on the ASSR for doctor of audiology (Au.D.) students and audiologists with limited (1-5 yr) clinical experience with AEPs. This tutorial is needed because the ASSR is unique when compared to other AEPs with regard to the type of terminology used to describe this response, the types of stimuli used to record this response, how these stimuli are delivered, the methods of objectively analyzing the response, and techniques used to calibrate the stimuli. A second goal is to provide audiologists with an understanding of the accuracy with which the ASSR is able to estimate pure tone thresholds in a variety of adult and pediatric clinical populations. DESIGN This tutorial has been organized into various sections including the history of the ASSR, unique terminology associated with this response, the types of stimuli used to elicit the response, two common stimulation methods, methods of objectively analyzing the response, technical parameters for recording the ASSR, and the accuracy of ASSR threshold prediction in the adult and pediatric populations. In each section of the manuscript, key terminology/concepts associated with the ASSR are bolded in the text and are also briefly defined in a glossary found in the appendix. The tutorial contains numerous figures that are designed to walk the reader through the key concepts associated with this response. In addition, several summary tables have been included that discuss various topics such as the effects of single versus multifrequency stimulation techniques on the accuracy of estimating behavioral thresholds via the ASSR; differences, if any, in monaural versus binaural ASSR thresholds; the influence of degree and configuration of SNHL on ASSR thresholds; test-retest reliability of the ASSR; the influence of neuro-maturation on ASSR thresholds; and the influence of various technical factors (i.e., oscillator placement, coupling force, and the number of recording channels) that affect bone conducted ASSRs. CONCLUSION Most researchers agree that, in the future, ASSR testing will play an important role in clinical audiology. Therefore, it is important for clinical audiologists and Au.D. students to have a good basic understanding of the technical concepts associated with the ASSR, a knowledge of optimal stimulus and recording parameters used to accurately record this response, and an appreciation of the current role and/or limitations of using the ASSR to estimate behavioral thresholds in infants with various degrees and configurations of hearing loss.
Activity Recognition With Smart Polymer Floor Sensor: Application to Human Footstep Recognition

Smart systems are commonly used in our environment and satisfy numerous applications for the end user. However, the need for unobtrusive systems is constantly growing as we are living in a world where such systems are more common place and pervasive than ever. More specifically in the field of smart flooring systems, being subtle and unobtrusive is key as people come into intimate contact with these systems. The smart flooring system that has been developed is reliable, persistent, and completely transparent to the user, therefore making it ideal for many applications including safety, intelligent surveillance, patient monitoring, injury prevention, asset tracking, and entertainment. The work presented herein reports a novel approach to identify a footstep pattern from a single sensor area. Signals are processed according to a normalization calculation process and correlated with signal references through the use of a single piezoelectric sensor. Several correlation methodologies were performed by comparing an incoming signal with a signal reference to generate coefficients. These coefficients can be thought of as similarity indicators and have allowed us to distinguish between events, such as human footsteps among other events with 100% accuracy.
Induced miR-99 a expression represses Mtor cooperatively with miR-150 to promote regulatory T-cell differentiation

Peripheral induction of regulatory T (Treg) cells provides essential protection from inappropriate immune responses. CD4 T cells that lack endogenous miRNAs are impaired to differentiate into Treg cells, but the relevant miRNAs are unknown. We performed an overexpression screen with T-cell-expressed miRNAs in naive mouse CD4 T cells undergoing Treg differentiation. Among 130 candidates, the screen identified 29 miRNAs with a negative and 10 miRNAs with a positive effect. Testing reciprocal Th17 differentiation revealed specific functions for miR-100, miR-99a and miR-10b, since all of these promoted the Treg and inhibited the Th17 program without impacting on viability, proliferation and activation. miR-99a cooperated with miR-150 to repress the expression of the Th17promoting factor mTOR. The comparably low expression of miR-99a was strongly increased by the Treg cell inducer “retinoic acid”, and the abundantly expressed miR-150 could only repress Mtor in the presence of miR-99a. Our data suggest that induction of Treg cell differentiation is regulated by a miRNA network, which involves cooperation of constitutively expressed as well as inducible miRNAs.