Miracle-dz/UniFAR-FTUs huggingface dataset:
Notice of RetractionReliability modeling of assembly-line production oriented MANET

Since the market competition of manufacturing becomes intense, improving the productive efficiency is of the most importance. Manufacturing Execution System (MES) is considered to be a good solution. But the communication network, which is the basis of MES, faces with the serious environment of the shop in manufacturing. Traditional methods, such as cable network and AP based wireless network, cannot meet the requirements of this environment. MANET is regard as a reasonable solution, but weak in the reliability. There are many researches focus on the reliability of MANET. But most of them aim at a general MANET's environment. So these works cannot provide guidance for the real environment. Based on a deep analysis of the application and environment, this paper proposes a reliability model for an assembly-line production oriented MANET. And the analysis of this reliability model is presented.
An Improved Random Sampling LDA for Face Recognition

Linear Discriminant Analysis (LDA) is one of the most used feature extraction techniques for face recognition. However, it often suffers from the small sample size problem with high dimension setting. Random Subspace Method (RSM) is a popular combining technique to improve weak classifier. Nevertheless, it remains a problem how to construct an optimal random subspace for discriminant analysis. In this paper, we propose an improved random sampling LDA for face recognition. Firstly, AdaBoost is adopted to select Gabor feature and remove redundant information. Secondly, in the selected Gabor feature space, we combine principal component analysis and RSM approaches to construct optimal random subspaces for LDA. After that, direct LDA (D-LDA) and R-LDA is applied in each subspace, respectively. Final results are obtained by combining all the LDA classifiers using a fusion rule. Experiments with both the ORL and FERET face databases demonstrate the effectiveness of our proposed method, and it shows promising results compared with previous approaches.
Acute Increase of Children's Conjunctivitis Clinic Visits by Asian Dust Storms Exposure - A Spatiotemporal Study in Taipei, Taiwan

Adverse health impacts of Asian dust storms (ADS) have been widely investigated and discussed in respiratory disease, but no study has examined the association between ADS events and their impact on eye diseases, especially in children. The impact of ADS events on the incidence of children's conjunctivitis is examined by analyzing the data from children's clinic visits registered in the 41 districts of Taipei area in Taiwan during the period 2002–2007. The structural additive regression modeling approach was used to assess the association between ADS events and clinic visits for conjunctivitis in children with consideration of day-of-the-week effects, temperature, and air quality levels. This study identifies an acute increase in the relative rate for children's conjunctivitis clinic visits during ADS periods with 1.48% (95% CI = 0.79, 2.17) for preschool children (aged <6 years old) and 9.48% (95% CI = 9.03, 9.93) for schoolchildren (aged ≥6 years old), respectively. The relative rates during post-ADS periods were still statistically significant, but much lower than those during ADS periods. The spatial analysis presents geographic heterogeneity of children's conjunctivitis clinic visits where higher relative rates were more likely observed in the most populated districts Compared to previous ADS studies related to respiratory diseases, our results reveals significantly acute impacts on children's conjunctivitis during ADS periods, and much influence on schoolchildren. Vulnerable areas were also identified in high density population.
Sparse sound field decomposition with parametric dictionary learning for super-resolution recording and reproduction

A method for sparse sound field decomposition with parametric dictionary learning is proposed. Sound field decomposition forms the foundation of various acoustic signal processing applications. Our main focus is sound field recording and reproduction for high-fidelity audio systems. To improve the reproduction accuracy above the spatial Nyquist frequency, determined by the intervals between array elements, i.e., super-resolution in recording and reproduction, We have proposed a method based on sparse sound field decomposition. For more accurate decomposition, we propose a method for parametric dictionary learning to adaptively optimize the dictionary parameters using input signals. The proposed method is based on Newton's method including pruning of the columns of a dictionary matrix. Numerical simulation results indicate that more accurate sparse decomposition is achieved by the proposed method. The reproduction accuracy is also improved above the spatial Nyquist frequency.
Approximately Normal Tests for Equal Predictive Accuracy in Nested Models

Forecast evaluation often compares a parsimonious null model to a larger model that nests the null model. Under the null that the parsimonious model generates the data, the larger model introduces noise into its forecasts by estimating parameters whose population values are zero. We observe that the mean squared prediction error (MSPE) from the parsimonious model is therefore expected to be smaller than that of the larger model. We describe how to adjust MSPEs to account for this noise. We propose applying standard methods (West (1996)) to test whether the adjusted mean squared error difference is zero. We refer to nonstandard limiting distributions derived in Clark and McCracken (2001, 2005a) to argue that use of standard normal critical values will yield actual sizes close to, but a little less than, nominal size. Simulation evidence supports our recommended procedure.
THE DOMESTIC ROBOTA FRIENDLY COGNITIVE SYSTEM TAKES CARE OF YOUR HOME The Domestic RobotA friendly cognitive system takes care of your home

The system we describe in this paper is an indoor intelligent system, that is still under development. Our goal is to evolve the system with abilities suitable for a domestic robot, that has to cope with a continuously evolving ambient, the house. The interest of the system relies in its architecture that has been studied and designed for the purpose of integrating some specific cognitive behavior like perception, symbolic map construction and making decisions in a whole hierarchy of intercommunicating levels.
Overextension of Nonsetting Calcium Hydroxide in Endodontic Treatment: Literature Review and Case Report

Premixed non-setting calcium hydroxide (CaOH2) paste in pressure syringe system is commonly used in root canal therapy. The aim of this paper is to present a case involving an iatrogenic extrusion of the medicament during endodontic treatment and a literature review of similar reports. The present case demonstrates severe tissue necrosis and other deleterious effects following the extrusion of CaOH2 paste beyond root apex. A 21-year old female was referred for endodontic treatment of her maxillary left first premolar. After completion of the canal preparation, root canals were filled by premixed CaOH2 paste. In the second appointment, a gingival detachment and an irregular zone of necrosis adjacent to the tooth apex was observed. To treat this complication, a mucoperiosteal flap was raised and the extruded material and necrotic tissues were currettaged and the area sutured. The patient was prescribed antibiotics and followed up at 2 weeks, 6 months and 2 years. Two week follow up showed good soft tissue healing. Two years postoperatively, complete radiographic and clinical healing was observed. We can conclude that the application of CaOH2 should be carried out with care and preferably applied free hand or with a lentulo spiral rather than in a pressure syringe.
Authorized workflow schemas Deciding realizability through LTL ( F ) model checking

Many business processes are modeled as workflows, which often need to comply with business rules, legal requirements, and authorization policies. Workflow satisfiability is the problem of determining whether there exists a workflow instance that realizes the workflow specification while simultaneously complying with such constraints. This problem has already been studied by the computer security community, with the development of algorithms and the study of their worst-case complexity. These solutions are often tailored to a particular workflow model and are, therefore, of little or no use in analyzing different models; their worst-case complexities are likely to be an unreliable judge of their feasibility; and they lack support for other forms of analysis such as the determination of the smallest number of users required to satisfy a workflow specification. We propose model checking of an NP-complete fragment LTL(F) of propositional linear-time temporal logic as an alternative solution. We report encodings in LTL(F) that can not only decide satisfiability but that also compute a whole set of satisfiability witnesses simultaneously, compute minimal user bases and a safe bound on the resiliency of satisfiability under the removal of users. These theoretical contributions are validated through detailed experiments whose results attest to the viability of our proposed approach.
Effects of Single Cell Protein Replacing Fish Meal in Diet on Growth Performance, Nutrient Digestibility and Intestinal Morphology in Weaned Pigs

Three experiments were conducted to evaluate the ME value, standardized ileal digestibility (SID) of amino acids (AA) of fish meal, and the effects of single cell protein (Prosin and Protide) replacing fish meal in diet on growth performance, nutrient digestibility and intestinal morphology in weaned piglets. In Exp. 1, twenty-four barrows with initial BW of 30.8±2.6 kg were allotted to one of four dietary treatments. Diet 1 contained corn as the only energy source. The other three diets replaced 20% of the corn in diet 1 with one of the three protein feeds (fish meal, Prosin and Protide), and the DE and ME contents were determined by difference. In Exp. 2, eight barrows (initial BW of 25.6±3.2 kg) were fitted with ileal T-cannulas and allotted to a replicated 4×4 Latin square design. Three cornstarch-based diets were formulated using each of the protein feeds as the sole source of AA. A nitrogen-free diet was also formulated to measure endogenous losses of AA. In Exp. 3, one hundred and eighty piglets (initial BW of 7.95±1.59 kg) weaned at 28±2 d were blocked by weight and assigned to one of five treatments for a 28-d growth performance study, each treatment was fed to six pens with six pigs (three barrows and three gilts) per pen. The five treatments consisted of the control group (CON), which was a corn-soybean meal diet containing 5% fish meal, and the other four treatments, which replaced a set amount of fish meal with either Prosin (2.5% or 5%) or Protide (2.5% or 5%). The diets were formulated to provide same nutrient levels. The results showed that on a DM basis, both of the DE and ME contents were lower in Prosin and Protide than that of fish meal (p<0.05). The SID of CP and all essential AA were greater in fish meal than in Prosin and Protide (p<0.05). The pigs fed CON diet had greater weight gain and lower feed conversion rate (FCR) than pigs fed 5% Prosin and 5% Protide diets (p<0.05). The digestibility of CP was greater in pigs fed CON, 2.5% Prosin and 2.5% Protide diets than the pigs fed 5% Prosin and 5% Protide diets (p<0.05). Villus height in jejunum and ileum, and villus height to crypt depth ratio in the jejunum were higher (p<0.05) in pigs fed CON, 2.5% Prosin and 2.5% Protide diets compared with the 5% Prosin and 5% Protide diets. Pigs fed CON diet had greater villus height to crypt depth ratio in the ileum than the pigs fed 5% Prosin and 5% Protide diets (p<0.05). In conclusion, although Prosin and Protide contained lower ME content and SID of AA than fish meal, Prosin and Protide replacing 50% of fish meal in diet with identical nutrient levels could obtain similar performance, nutrient digestibility and intestinal morphology in weaned pigs.
MOOCs: an overview of the implications for counsellor education

ABSTRACT This article aims to fill a gap in the counselling literature regarding the new high technology online teaching approach called Massive Online Open Courses (MOOCs), which makes it possible for thousands of students across the world to freely access university courses through the Internet. Specific attention has been given to the current and potential future use of MOOCs in counselling and the relevant strengths, limitations and ethical/legal considerations. Also included in this article are a brief overview of and discussion concerning MOOCs.
Seeing the Forest and the Trees: A Response to the Identity Crowding Debate

Abstract: In cases of identity crowding, a subject consciously sees items in a figure, even though they are presented too closely together for her to shift attention to each item. Block (2012, 2013) uses such cases to challenge the view that attention is necessary for consciousness. I argue that in identity crowding cases, subjects really do attend to the items. Specifically, they attend to the figure as a global object that contains the individual items as parts. To support this view, I provide evidence that attention can be directed to a global object (as when we attend to the gist of a scene) or a local object (as when we focus in on some element of that scene). My response helps to defend the view that attention is necessary for conscious perception.
Excitability properties of motor axons in adults with cerebral palsy

Cerebral palsy (CP) is a permanent disorder caused by a lesion to the developing brain that significantly impairs motor function. The neurophysiological mechanisms underlying motor impairment are not well understood. Specifically, few have addressed whether motoneuron or peripheral axon properties are altered in CP, even though disruption of descending inputs to the spinal cord may cause them to change. In the present study, we have compared nerve excitability properties in seven adults with CP and fourteen healthy controls using threshold tracking techniques by stimulating the median nerve at the wrist and recording the compound muscle action potential over the abductor pollicis brevis. The excitability properties in the CP subjects were found to be abnormal. Early and late depolarizing and hyperpolarizing threshold electrotonus was significantly larger (i.e., fanning out), and resting current–threshold (I/V) slope was smaller, in CP compared to control. In addition resting threshold and rheobase tended to be larger in CP. According to a modeling analysis of the data, an increase in leakage current under or through the myelin sheath, i.e., the Barrett–Barrett conductance, combined with a slight hyperpolarization of the resting membrane potential, best explained the group differences in excitability properties. There was a trend for those with greater impairment in gross motor function to have more abnormal axon properties. The findings indicate plasticity of motor axon properties far removed from the site of the lesion. We suspect that this plasticity is caused by disruption of descending inputs to the motoneurons at an early age around the time of their injury.
Multi-advantage and Security Based Home Automation System

We are living in the era of minute by minute developments and new technologies, the demand of easy way of life is the talk of the day. Engineering industries are focusing on the projects which advance and facilitate their customers with comfortable and secure living. This paper discusses the most advanced idea of Domotics, in which the comprehensive controlling and monitoring of all home appliances are done by simple instant message service. However, one of the most successful applications of image analysis and understanding, face recognition has recently received significant attention especially in the field of security. Moreover, globally available GSM is the cheapest wireless medium for any time communication with your deployed device. Above all, embedded designing on FPGA emerged a new way of technology which allows coupling of multi-dimensional features of system in to a single chip package.
The gender affirmative lifespan approach (GALA): A framework for competent clinical care with nonbinary clients

Abstract Background: The limited research on nonbinary individuals suggests that this community experiences significant health disparities. Compared to binary transgender individuals, research suggests that nonbinary individuals are at elevated risk for discrimination and negative mental health outcomes, including depression, anxiety, traumatic stress, and suicidality. Even mental health providers who work with binary transgender individuals often lack knowledge of and training to work competently with nonbinary individuals. Methods: The authors of this conceptual article present the Gender Affirmative Lifespan Approach (GALA), a psychotherapy framework based in health disparities theory and research, which asserts that therapeutic interventions combating internalized oppression have the potential to improve mental health symptomatology resulting in improved overall health and well-being for gender diverse clients. GALA’s therapeutic interventions are designed to promote positive gender identity development through five core components: (1) building resiliency; (2) developing gender literacy; (3) moving beyond the binary; 4) promoting positive sexuality; and (5) facilitating empowering connections to medical interventions (if desired). Results: The core components of the GALA model are individualized to each client’s unique needs, while taking into consideration age and acknowledging developmental shifts in, or fluidity of, gender across the lifespan. This model represents an inclusive, trans-affirmative approach to competent clinical care with nonbinary individuals. Discussion: Application of the GALA model with nonbinary clients is discussed, including one clinical case vignette.
Infection of Xenotransplanted Human Cell Lines by Murine Retroviruses: A Lesson Brought Back to Light by XMRV

Infection of xenotransplanted human cells by xenotropic retroviruses is a known phenomenon in the scientific literature, with examples cited since the early 1970s. However, arguably, until recently, the importance of this phenomenon had not been largely recognized. The emergence and subsequent debunking of Xenotropic Murine leukemia virus-Related Virus (XMRV) as a cell culture contaminant as opposed to a potential pathogen in several human diseases, notably prostate cancer and Chronic Fatigue Syndrome, highlighted a potential problem of murine endogenous gammaretroviruses infecting commonly used human cell lines. Subsequent to the discovery of XMRV, many additional cell lines that underwent xenotransplantation in mice have been shown to harbor murine gammaretroviruses. Such retroviral infection poses the threat of not only confounding experiments performed in these cell lines via virus-induced changes in cellular behavior but also the potential infection of other cell lines cultured in the same laboratory. Thus, the possibility of xenotropic retroviral infection of cell lines may warrant additional precautions, such as periodic testing for retroviral sequences in cell lines cultured in the laboratory.
Prosocial aggression: Validation of a behavioral measure and model

Helpful and hurtful behavior are commonly viewed as antithetical, with little overlap and are commonly found to be negatively related (e.g., Anderson et al., 2010). Anecdotally, however, there are many instances of behaviors that can be generally considered as representative of both help and harm (CBS, 2015; Karimi, 2015). Such behaviors, which I refer to as Prosocial Aggression (PA), have received relatively little attention in the social psychological literature. Two factors are identified as potential sources of this inattention. First, there is no current theoretical framework integrates social psychological theories of prosocial and aggressive behavior. Second, practical limitations of studying PA make such work difficult. The work presented here was designed to address these two limitations by developing a coherent theoretical account of PA behavior and validating a novel measure of PA. To this end, two studies were conducted. Study 1 provided an initial test of the PA task by manipulating the presence of victimization followed by measuring aggression toward the victimizer. In addition to the manipulation, long-term predictions of the PA model were tested in a cross-sectional manner. Personality factors that are theoretically relevant to PA (i.e., empathic anger, anti-bullying attitudes) were tested as likely predictors of PA behavior. Finally, an experiment (Study 2) tested the short-term predictions of the PA model in which empathy toward the (soon-to-be) victim, and vulnerability of the victim were manipulated and PA was subsequently measured. Results indicated no effect of either manipulation on PA. In addition, neither empathic anger, nor anti-bullying attitudes predicted PA. Discussion focuses on potential theoretical and methodological factors that may have limited the PA task’s effectiveness with an emphasis placed on directing future investigations into PA.
Systematic errors in cosmic microwave background polarization measurements

We investigate the impact of instrumental systematic errors on the potential of cosmic microwave background polarization experiments targeting primordial B-modes. To do so, we introduce spin-weighted Miiller matrix-valued fields describing the linear response of the imperfect optical system and receiver, and give a careful discussion of the behaviour of the induced systematic effects under rotation of the instrument. We give the correspondence between the matrix components and known optical and receiver imperfections, and compare the likely performance of pseudo-correlation receivers and those that modulate the polarization with a half-wave plate. The latter is shown to have the significant advantage of not coupling the total intensity into polarization for perfect optics, but potential effects like optical distortions that may be introduced by the quasi-optical wave plate warrant further investigation. A fast method for tolerancing time-invariant systematic effects is presented, which propagates errors through to power spectra and cosmological parameters. The method extends previous studies to an arbitrary scan strategy, and eliminates the need for time-consuming Monte Carlo simulations in the early phases of instrument and survey design. We illustrate the method with both simple parametrized forms for the systematics and with beams based on physical-optics simulations. Example results are given in the context of next-generation experiments targeting tensor-to-scalar ratios r ∼ 0.01.
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus

Many recent works point out that there are several pos- sibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue that, insteadof choos- ing a singlestyle of semantics,weachievea better result by adopting a formalism allowing for different semantics to coexist. In order to demonstrate the feasibility of our proposal, we present a knowledge representationlanguagewith the above characteristics.The language is a powerful concept language where, besides the usual constructs for conjunction,disjunction, negation, and quantifiers, both qualified number restrictions, and recursive definitions are allowed. Notably, these features make our formalism one of the most powerful concept languagesproposed in literature, in which the usual frame-based de- scriptions canbe combinedwith definitionsof datastructuressuchas lists, directed acyclic graphs,streams, etc. We show that reasoningin ourlanguageisdecidable,andwecharacterizeitscomputationalcom- plexity by resorting to a correspondencewith the modal mu-calculus interpreted over deterministic structures.