Miracle-dz/UniFAR-FTUs huggingface dataset:
Bacillus anthracis Sterne Strain 34f2 Vaccine Antibody Dose Response by Subcutaneous and Oral Administration

Anthrax (Bacillus anthracis) is a zoonotic disease endemic to environments worldwide. Spores, the dormant form of the bacteria, can survive for decades in nature’s harshest environments and maintain their viability to cause disease. Outbreaks are common in free-ranging livestock and wildlife, thus making anthrax an economically and ecologically important disease. The currently available vaccine to protect livestock is a suspension of B. anthracis Sterne Strain 34F2 spores in saponin (Sterne vaccine). However, it is only available as a subcutaneous injection which is an impractical method of prevention for wildlife. Oral vaccination is the ideal method for free-ranging wildlife, but the Sterne vaccine has never been thoroughly evaluated for oral administration. The current study evaluated the antibody titers induced in mice by subcutaneous or oral vaccination with three different doses of the Sterne vaccine. Results described here show a gradual increase in antibody titers at each time point following subcutaneous vaccination with all vaccine doses. In contrast, no antibody response was detected from any dose or any time point after oral vaccination. Taken together, these results suggest that the Sterne vaccine is only effective as a subcutaneous injection and that an alternate oral anthrax vaccine formulation must be developed to allow for efficient vaccination of free-ranging livestock and wildlife.
Translation is required for miRNA-dependent decay of endogenous transcripts

Posttranscriptional repression by microRNA (miRNA) occurs through transcript destabilization or translation inhibition. Whereas RNA degradation explains most miRNA-dependent repression, transcript decay occurs co-translationally, raising questions regarding the requirement of target translation to miRNA-dependent transcript destabilization. To assess the contribution of translation to miRNA-mediated RNA destabilization, we decoupled these two molecular processes by dissecting the impact of miRNA loss of function on cytosolic long noncoding RNAs (lncRNAs). We show, that despite interacting with miRNA loaded RNA-induced silencing complex (miRISC), the steady state abundance and degradation rates of these endogenously expressed non-translated transcripts are minimally impacted by miRNA loss. To validate the requirement of translation for miRNA-dependent decay, we fused a miRISC bound lncRNA, whose levels are unaffected by miRNAs, to the 3’end of a protein-coding gene reporter and show that this results in its miRNA-dependent transcript destabilization. Furthermore, analysis of the few lncRNAs whose levels are regulated by miRNAs revealed these tend to associate with translating ribosomes and are likely misannotated micropeptides, further substantiating the necessity of target translation for miRNA-dependent transcript decay. Our analyses reveal the strict requirement of translation for miRNA-dependent transcript destabilization and demonstrate that the levels of coding and noncoding transcripts are differently affected by miRNAs.
Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description)

It is nowadays customary to organize libraries of machine checked proofs around hierarchies of algebraic structures [2, 6, 8, 16, 18, 23, 27]. One influential example is the Mathematical Components library on top of which the long and intricate proof of the Odd Order Theorem could be fully formalized [14]. Still, building algebraic hierarchies in a proof assistant such as Coq [9] requires a lot of manual labor and often a deep expertise in the internals of the prover [13, 17]. Moreover, according to our experience [26], making a hierarchy evolve without causing breakage in client code is equally tricky: even a simple refactoring such as splitting a structure into two simpler ones is hard to get right. In this paper we describe HB, a high level language to build hierarchies of algebraic structures and to make these hierarchies evolve without breaking user code. The key concepts are the ones of factory, builder and abbreviation that let the hierarchy developer describe an actual interface for their library. Behind that interface the developer can provide appropriate code to ensure retro compatibility. We implement the HB language in the hierarchy-builder addon for the Coq system using the Elpi [11, 28] extension language.
Non-Intrusive Load Disaggregation Based on Residual Gated Network

Non-intrusive load disaggregation is designed to estimate the power consumption of each appliance based on the total power of the appliance in the household. Conventional machine learning algorithms cannot accurately extract semantic information from time series data, which motivates us to implement nonintrusive load disaggregation using residual gated recurrent neural networks model (Res-GRU). First, the networks model use multi-scale convolution kernels networks model extract time series data features, and will get multiple map fusions. Secondly, the networks model use residual learning to deepen the network to extract deep load features. Finally, the networks model use the gated recurrent unit to reset and update high level features. In this way, we can get the output power value of the target appliance. The experimental results show that the proposed network model has a good disaggregation effect.
Concern about behaviours associated with attention deficit hyperactivity disorder (ADHD) : the influence of gender

Many more boys with ADHD are seen in clinical settings, at a ratio of approximately 9 boys to every girl. While it is recognised that girls genuinely present less frequently with symptoms of ADHD, epidemiological studies suggest that the ratio is closer to 4:1 in community samples. It is apparent that significant numbers of girls with ADHD do not receive professional help. This study investigated the influence of a child’s gender on a sample of female teachers’ (N= 46) and mothers’ (N= 61) ratings of concern about the inattentive, hyperactive, and impulsive behaviours associated with ADHD, and the oppositional behaviours that frequently co-occur. Participants rated their concern in response to the behaviour of a fictional 7-year-old child on the Horn Anxiety Rating Scale a rating scale based on Conners’ Rating Scale -Revised: Long version (CRS-R:L). Teachers gave significantly higher ratings of concern in response to ADHD and oppositional behaviours for a fictional 7-year-old boy compared with those for a girl. No differences were found between mothers’ ratings of concern for girls and boys. The results are discussed in relation to previous research into the different ways in which boys and girls present with ADHD, and the effect that this might have on recognition and referral rates. The way in which the behaviours associated with ADHD are judged and rated, and possible differences in help-seeking behaviours in relation to boys and girls with ADHD are also addressed. The limitations of the study are discussed, and the implications of the findings are presented in terms of clinical practice, service design, and suggestions for future research.
De la segmentation dans les tweets : signes de ponctuation, connecteurs, émoticônes et émojis1

Dans cet article, nous appuyant sur un corpus de 3 444 075 tweets correspondant a 44 107 210 tokens (mots, signes de ponctuation, emojis, emoticones, etc.) recueillis en decembre 2016, nous nous interessons aux procedes de segmentation a l'oeuvre dans les tweets. Apres avoir evoque certaines caracteristiques de ces ecrits particuliers, nous rappelons les procedes generaux de segmentation a l'ecrit : les signes de ponctuation et les connecteurs. Nous nous penchons ensuite sur la segmentation operee dans les tweets par ces deux procedes generaux. Enfin, nous montrons que les emoticones et les emojis constituent des procedes specifiques permettant de diversifier les strategies de segmentation des utilisateurs de tweets (et d'autres ecrits numeriques, tels les SMS et les courriels).
First-order phase transition in a gas of resonantly excited Rydberg atoms

ABSTRACT The possibility of experimental creation of a system of Rydberg atoms with an arbitrary probability distribution of their dipole moments is shown. The equation of state is calculated by the Monte Carlo method in the NVT ensemble for two options of the distribution: isotropic distribution and distribution for the system of identical dipoles. Critical parameters of the phase transition and the binodal are determined in both cases. Critical temperatures for both options virtually coincide. However, critical density for isotropic distribution is 20 times higher. It is shown that the absence of spatial separation in the region of coexistence of dense and dilute phases is a specific feature of the phase transition in dipole systems, and such absence of separation is due to the topological features of clusters of the dense phase. Areas of parameters for the experimental observation of the self-organisation of ultracold Rydberg atoms on the existing experimental stands are determined.
Understanding the Planning Process and Challenges in Shariah Audit Execution: The Case of Malaysian Takaful Operators

This study conducts a cross-sectional, case-based field study comparing the planning processes in Shariah audit for three takaful operators in Malaysia. A case study is an empirical enquiry to investigate facts in their context, and states that its unique strength is its ability to deal with various pieces of evidence (documents and interviews), and to detect missing constructs (Yin, 2003). Three takaful operators were selected in this study. The backgrounds and characteristics of the takaful were shown in Figure 3.0. These three takaful companies were selected because of their similarities as they also provide conventional insurance services. Hence, the comparison can be made whether they are doing a separate audit for takaful or they just conduct the audit at the group level.
A Home-Based System to support Delivery of Health and Social Care

The problems arising from an ageing population have been recognized at the highest level. In the UK, for example, older people in 2000 accounted for 24.4% of the population – the ratio of older people (65 or over) to those of working age (16 to 64). By 2050 this ratio in the UK is estimated to rise to 39.2% (Select Committee on Economic Affairs, 2003). This pattern is being repeated across all developed countries, for example see (Gavrilov & Heuveline, 2003). It is economically infeasible for society to provide specialized care facilities for such a large number of people. For example, the cost of looking after someone in a UK care home is about £24k per annum (roughly US $39k). It is also socially undesirable for older people to leave their own home and enter a care facility – especially since older people are increasingly healthier and largely able to look after themselves. There is therefore a strong need for technology that can help to deliver health and social care in the home. This may be necessary for the end user due to a variety of reasons: a long-term medical condition, a physical or mental disability, or reduced capability due to ageing. A strong element of ABSTRACT
A Survey on Visual Sentiment Analysis

Visual Sentiment Analysis aims to understand how images affect people, in terms of evoked emotions. Although this field is rather new, a broad range of techniques have been developed for various data sources and problems, resulting in a large body of research. This paper reviews pertinent publications and tries to present an exhaustive overview of the field. After a description of the task and the related applications, the subject is tackled under different main headings. The paper also describes principles of design of general Visual Sentiment Analysis systems from three main points of view: emotional models, dataset definition, feature design. A formalization of the problem is discussed, considering different levels of granularity, as well as the components that can affect the sentiment toward an image in different ways. To this aim, this paper considers a structured formalization of the problem which is usually used for the analysis of text, and discusses it's suitability in the context of Visual Sentiment Analysis. The paper also includes a description of new challenges, the evaluation from the viewpoint of progress toward more sophisticated systems and related practical applications, as well as a summary of the insights resulting from this study.
Time-Sharing Control Strategy for Multiple-Receiver Wireless Power Transfer Systems

The cross-coupling effect between the induction coils of a multiple-receiver wireless power transfer (MRWPT) system severely weakens its overall performance. In this paper, a time-sharing control strategy for MRWPT systems is proposed to reduce the cross-coupling between receiver coils. An active-bridge rectifier is introduced to the receivers to replace the uncontrollable rectifier to achieve synchronization of the time-sharing control. The synchronization signal generated by an active-bridge rectifier can be directly used to realize the synchronization of time-sharing control and hence saved the traditional zero-crossing point detection circuits for time-sharing circuits. Moreover, the proposed time-sharing system has the advantages of both operating under a resistance-matching condition and providing target output voltage for each receiver. Furthermore, a voltage control strategy was developed to provide both high efficiency and a target output voltage for each receiver. Finally, the simulation and experimental results show that the time-sharing MRWPT system reduced the cross-coupling effect between the receiver coils, and the voltage control strategy provided both a high efficiency and a target output voltage for each receiver.
Gate Current and Snapback of 4H-SiC Thyristors on N+ Substrate for Power-Switching Applications

High-power switching applications, such as thyristor valves in a high-voltage direct current converter, can use 4H-SiC. The numerical simulation of the 4H-SiC devices requires specialized models and parameters. Here, we present a numerical simulation of the 4H-SiC thyristor on an N+ substrate gate current during the turn-on process. The base-emitter current of the PNP bipolar junction transistor (BJT) flow by adjusting the gate potential. This current eventually activated a regenerative action of the thyristor. The increase of the gate current from P+ anode to N+ gate also decreased the snapback voltage and forward voltage drop (Vf). When the doping concentration of the P-drift region increased, Vf decreased due to the reduced resistance of a low P-drift doping. An increase in the P buffer doping concentration increased Vf owing to enhanced recombination at the base of the NPN BJT. There is a tradeoff between the breakdown voltage and forward characteristics. The breakdown voltage is increased with a decrease in concentration, and an increase in drift layer thickness occurs due to the extended depletion region and reduced peak electric field.
Numerical Investigation of Vortex Induced Vibration for Submerged Floating Tunnel under Different Reynolds Numbers

A 2D numerical model was established to investigate vortex induced vibration (VIV) for submerged floating tunnel (SFT) by solving incompressible viscous Reynolds average Navier-Stokes equations in the frame of Abitrary Lagrangian Eulerian (ALE). The numerical model was closed by solving SST k-ω turbulence model. The present numerical model was firstly validated by comparing with published experimental data, and the comparison shows that good achievement is obtained. Then, the numerical model is used to investigate VIV for SFT under current. In the simulation, the SFT was allowed to oscillate in cross flow direction only under the constraint of spring and damping. The force coefficients and motion of SFT were obtained under different reduced velocity. Further research showed that Reynolds number has not only a great influence on the vibration amplitude and ‘lock-in’ region, but also on the force coefficients on of the SFT. A large Reynolds number results in a relatively small ‘lock-in’ region and force coefficient.
Calculation method and its application for energy consumption of ball mills in ceramic industry based on power feature deployment

Owing to the lack of effective energy consumption models of ball mills in the ceramic industry, a calculation model to forecast energy consumption of ceramic ball mills during the grinding process was developed based on power feature deployment. The energy consumption of the working process was defined by different combinations of power of components involved in tasks. The total energy consumption was divided into three parts: power lost in the electrical motor, power lost in mechanical transmission and power used for grinding materials. These three components were described separately by taking the principle of an electrical motor, mechanical transmission and grinding process into account. Measurement results of two ball mills in a real ceramic manufacturing plant showed that the proposed calculation models could achieve an accuracy of more than 96% for predicting the ball mill energy consumption during which the power fluctuates periodically to complete one rotation cycle of the ball mills.
Achievable Rate Region for Iterative Multi-User Detection via Low-Cost Gaussian Approximation

We establish a multiuser extrinsic information transfer (EXIT) chart area theorem for the interleave-division multiple access (IDMA) scheme, a special form of superposition coding, in multiple access channels (MACs). A low-cost multi-user detection (MUD) based on the Gaussian approximation (GA) is assumed. The evolution of mean-square errors (MSE) of the GA-based MUD during iterative processing is studied. We show that the <inline-formula> <tex-math notation="LaTeX">$K$ </tex-math></inline-formula>-dimensional tuples formed by the MSEs of <inline-formula> <tex-math notation="LaTeX">$K$ </tex-math></inline-formula> users constitute a conservative vector field. The achievable rate is a potential function of this conservative field, so it is the integral along any path in the field with value of the achievable rate solely determined by the two path terminals. Optimized error correcting codes can be found given the integration paths in the MSE fields by matching EXIT type functions. The above findings imply that i) low-cost GA detection can provide MAC capacity-approaching performance, ii) the sum-rate capacity can be achieved independently of the integration path in the MSE fields; and iii) the integration path determining achievable rate tuples of all users can be an extra degree of freedom for code design.
Pig Pluripotent Stem Cells as a Candidate for Biomedical Application

Stem cells are progenitor cells that are capable of self-renewal and differentiation into various cells. Especially, pluripotent stem cells (PSCs) have in vivo and in vitro differentiation capacity into three germ layers and can proliferate infinitely. The differentiation ability of PSCs can be applied for regenerative medicine and tissue engineering. In domestic animals, their PSCs have a potential for preclinical therapy as well as the production of transgenic animals and agricultural usage such as cultured meat. Among several domestic animals, a pig is considered as an ideal model for biomedical and agricultural purposes mentioned above. In this reason, studies for pig PSCs including embryonic stem cells (ESCs), embryonic germ cells (EGCs) and induced pluripotent stem cells (iPSCs) have been conducted for decades. Therefore, this review will discuss the history of PSCs derived from various origins and recent progress in pig PSC research field.
Residual Distribution Kinetics of Pesticides in Cherry Tomato Peel, Pulp, and Fruit as a Function of Irrigation Water Salinity, Household Rinsing, and Storage Regimen

The increased demand of high quantity and quality of cherry tomatoes requires the application of a wide range of pre-harvest pesticides. The application of dozens of pre-harvest pesticides frequently results in multiple pesticide residues, to which the end consumer is exposed. Incorrect usage of these pesticides may result in hazardous food contamination and therefore, it is crucial to monitor pesticide residues in pre- and post-marketed agricultural commodities. Hence, the objectives of the present study were to characterize the distribution and residual levels of pre-harvest pesticides applied on cherry tomatoes, as a function of regulated storage conditions, irrigation water salinity levels, and tap water rinsing. The fruits were grown in a greenhouse and were designated for the local and international markets. The residual pesticide levels allowed us to perform a dietary risk assessment for the consumption of contaminated tomatoes. Tetraconazole was the only pesticide residue, exceeding the maximal residue limit (MRL) value of 50 µg/kg in the fruits after 5 days of storage time. Since tetraconazole was shown to potentially impair reproduction and fetal development, it is suggested that the last application of this pesticide would be restricted to not less than 56 days before harvest. The extent of pesticide peel penetrability as well as the pesticide distribution and residual levels in the peel and pulp were unaffected by the salinity level (electrical conductivity 1.5–3 ds/m) of the irrigation water. The most commonly applied household washing procedure for fruit and vegetables, using running tap water for 30 s, was ineffective in removing residual pesticides from the peel. Hence, more efficient washing procedures are required to improve consumers’ safety.