Miracle-dz/UniFAR-FTUs huggingface dataset:
A Single-Phase Hybrid Active Power Filter using Extension p-q Theorem for Photovoltaic Application

This paper presents a single-phase two-wire hybrid active power filter that is used in conjunction with photovoltaic system. The uniqueness of proposed scheme is the fact that it improves the filtering performance of the conventional active power filter, as well as simultaneously supplies the power from the photovoltaic array to the load and distribution system. The current commands derivation is based on the extension instantaneous-reactive power theorem. The proposed scheme is described in detail. It primarily focuses on the power circuit, the compensation current reference derivation, and the passive high-pass filter design. Experimental results obtained from a laboratory system that verifies the viability and effectiveness of the proposed scheme are presented
TG-PRO: A new model for SAT-based ATPG

Automatic Test Pattern Generation (ATPG) represents one of the first practical applications of Boolean Satisfiability (SAT). Even though ATPG can in general be considered easy for current state of the art SAT solvers, it is also the case that specific faults can be difficult to detect or prove undetectable, namely for large industrial circuits. Recent work on SAT-based ATPG has been motivated by industrial designs with ever increasing size, for which more efficient ATPG tools are essential. Moreover, ATPG models and algorithms find application in a number of other settings, that further motivate the development of more efficient SAT-based ATPG solutions. Interestingly, despite the potential interest of more efficient ATPG approaches, the core SAT-based ATPG model has remained essentially unchanged since it was first proposed in the late 80s. This paper proposes a new model for SAT-based ATPG. The proposed model is fundamentally different from previous SAT-based ATPG models in that the number of used variables is significantly reduced. Experimental results, obtained on a wide range of publicly available benchmarks, demonstrate that the new model allows significant performance improvements over other well-established models.
Chronological Age and Receptive Vocabulary of Persons with down Syndrome

The Test de Vocabulaire en Images (the French version of the Peabody Picture Vocabulary Test) and the Columbia Mental Maturity Scale were administered to 29 participants with Down syndrome aged 6.1 yr. to 13.0 yr. Analysis indicated a significant association between chronological age and the Test de Vocabulaire en Images mental age. This finding seems to suggest that the relationship between chronological age and the receptive vocabulary of persons with mental retardation is not specific to etiology.
Enzyme-linked immunosorbent assay compared with immunoprecipitation for serotyping Neisseria meningitidis and its use in demonstrating serotype polymorphism

Rabbit antisera generated against 11 prototype strains of group B Neisseria meningitidis were tritiated by using the enzyme-linked immunosorbent assay and the Ouchterlony immunoprecipitation technique. The relative insensitivity of the immunoprecipitation technique in detecting antibody compared with the enzyme-linked immunosorbent assay was demonstrated. Cross-reactions within the group and among the 11 serotypes were characterized with respect to established serological techniques. Serotype polymorphism among the strains of N. meningitidis was demonstrated with the enzyme-linked immunosorbent assay.
Technology options for mm-wave test and measurement equipment

5G and aerospace/defense (A/D) trends are influencing the requirements for mm-wave test and measurement (T&M) equipment and the underlying technologies. Additional requirements such as small formfactors, lower-cost mm-wave test, and connector-less test are emerging. To meet these challenging attributes, both silicon and III-Vs have important roles to play. Si provides attractive solutions for small form-factor & high-volume applications with its excellent integration and economies of scale. However, operating voltages limit performance while high NRE costs create challenges for high-mix low-volume businesses. While III-Vs are well suited to mm-wave performance, they have significantly higher manufacturing costs and require continued advances in packaging to meet form-factor needs. Simultaneously addressing performance and cost needs at mm-wave requires careful consideration of these tradeoffs to drive selection of, and improvements in, semiconductor devices and packaging solutions.
Costs and benefits of HAART for patients with HIV in a public hospital in Mexico

Background:The Mexican government is currently implementing strategies to improve and expand comprehensive treatment for people living with HIV. Limited data, however, are available on the benefits obtained and costs incurred by these strategies. Objective:To estimate the effects of highly active antiretroviral therapy (HAART) on a cohort of people living with HIV and to estimate the cost of extending patients' lives. Methods:A survival analysis was used to follow a dynamic cohort of 797 people receiving AIDS treatment in Mexico from 1982 to 2006. The Kaplan–Meier method was applied to estimate the probability of survival for different lengths of time starting on the date of diagnosis. The Cox's proportional hazards regression model was used to assess differences in AIDS mortality by antiretroviral therapy regimen, age and sex. Results:The probability of survival after diagnosis without antiretroviral therapy (ART) was approximately 0.73 (95% CI 0.69–0.77) after the first year, 0.36 (95% CI 0.32–0.40) at 5 years, 0.28 (95% CI 0.24–0.33) at the tenth year, 0.26 (95% CI 0.21–0.31) at the fifteenth year and 0.22 (95% CI 0.14–0.30) thereafter. The results showed a longer life expectancy when patients took HAART (as opposed to monotherapy or dual therapy) from the beginning of their treatment. Results from the Cox model showed that those who started and continued on HAART were 7.1 (P < 0.01) times more likely to survive than those who received no treatment. Extending the length of life beyond 15 years after the initial diagnosis represents an accumulated cost of more than US$280 000.00 per individual.
The Perspective View of Three Points

The perspective view of three noncollinear points whose image-to-object correspondence is known is studied. Such measurements are known to be ambiguous, resulting in as many as four possible solutions to the perspective three-point problem. Although there can be four solutions, it is quite often the case that there are triangle configurations that cause one, two, three, or four solutions. The results also provide a justification for the common wisdom that there are usually two solutions. >
Learning stocks as an organisational change mechanism: mediating the relationship between empowering leadership and employees' service performance in Taiwan's hotel industry

To face the changing business environment, this study investigates the effect of empowering leadership and learning stocks on employee service performance in Taiwan's hotel industry. In addition, learning stocks appears as if an organisational change mechanism, this study also aims to examine if there is a mediating effect of learning stocks between supervisors' empowering leadership and employee service performance. Two hundred and thirteen valid dyads of data were collected from supervisors and subordinates in different phases at 94 hotels in Taiwan. Structural equation model was adopted to examine the research hypotheses. Empirical results show that the proposed model fits well, empowering leadership significantly and positively affects learning stocks, learning stocks significantly and positively affects service performance, and the most important finding is that learning stocks mediate between empowering leadership and service performance.
30 nm metallic slot array for sensing: Theoretical and experimental study

The simulation, fabrication and characterization of a metallic slot grating on a silicon waveguide (30 nm slot width for a period of 500 nm) are presented [1]. This device is attempting to be a sensor for refractive index variation measurements with theoretically expected sensitivity of 750 nm/RIU (Refractive Index Unit).
Control of influenza infection is impaired by diminished interferon‐γ secretion by CD4 T cells in the lungs of toddler mice

Respiratory viral infections, such as influenza, can lead to delayed viral clearance in toddlers, possibly exacerbating disease morbidity. We hypothesized that defective CD4 T cells in toddlers may contribute to a failure to clear virus at a similar rate to adults. Thus, we developed a young mouse model to examine potential divergent responses between toddlers and adults. We determined that young mice (toddler mice, 21 d old) were actively generating and recruiting effector/memory T cells, whereas memory populations were firmly established in older, adult mice (8–10 wk old). We infected toddler and adult mice with influenza A/PR8/34 (H1N1) and found young mice had elevated morbidity, as measured by enhanced weight loss and lower partial pressure of oxygen levels, throughout the infection, thus, modeling the higher morbidity observed in children (<2 y old) during infection. Early viral loads were comparable to adult mice, but toddler mice failed to clear virus by 10 d postinfection. This delayed clearance corresponded to poor lung recruitment of CD4 T cells, lower antiviral T cell responses, and lower B cell/antibodies in the lungs. Mechanistically, diminished interferon‐γ was detected in the lungs of toddler mice throughout the infection and corresponded to intrinsic, rather than extrinsic, CD4 T cell limitations in interferon‐γ transcription. Moreover, defects in interferon‐γ production appeared downstream from signal transducer and activator of transcription 4 in the interleukin‐12 signaling pathway, suggesting maturational delays different from neonates. Importantly, recombinant interferon‐γ supplementation rescued CD4 T cell numbers in the lungs and influenza‐specific antibody formation. This study highlights the intrinsic limitations in CD4 T cell effector functions that may arise in toddlers and contribute to disease pathology.
Potential Job Facilitation Benefits of “Water Cooler” Conversations: The Importance of Social Interactions in the Workplace

ABSTRACT This study looked at the extent to which personality and cultural factors predicted participants’ perceptions of the importance private interactions played in the workplace. The 134 participants read a vignette (where a new employee socially interacted at low or high levels with co-workers) and completed the Big Five Inventory, Social Axioms Survey, and questions concerning expected workplace experiences. Results indicated employees who engaged in high levels of private interaction with co-workers were expected to be better liked, to receive better performance evaluations, were more likely to receive co-worker assistance, and were thought to be more likely chosen for future projects. However, the personality and social axiom variables studied did not significantly interact with social interaction to influence expectations of workplace outcomes.
Completeness Results for the Graphical Language of Dagger Compact Closed Categories

The categorical reformulation of quantum mechanical principles by S. Abramsky and B. Coecke in 2004 [5] proved to be a suitable framework for modelling quantum protocols abstractly. It allows non-standard models for Quantum Informatics and provides a formally rigorous high-level diagrammatic language making very recently discovered phenomena such as quantum teleportation visually obvious. We therefore aim to gain deeper insights into the underlying graphical calculus by generalizing Selinger’s completeness theorem [1] stating that an equation in the graphical language holds if and only if it is valid in the category of finite-dimensional Hilbert spaces FHilb [1]. We will derive variations of this result for general free finite-dimensional Rsemimodules if N ⊂ R in the dagger and non-dagger case as well as equations between trace expressions disproving completeness for various other semi-rings R. Furthermore we will give a combinatorial criterion for the existence of non-trivial trace equations between matrices with bounded dimensions and draw multiple conclusions. Ultimately we will deduce how usual completeness and completeness for interpretations with bounded dimensions are related and obtain that in the latter case validity of many kinds of completeness are equivalent and strongly linked to solvability of this combinatorial problem.
Deep brain stimulation of the nucleus basalis of Meynert attenuates early EEG components associated with defective sensory gating in patients with Alzheimer disease – a two‐case study

Alzheimer′s disease (AD) is associated with deterioration of memory and cognitive function and a degeneration of neurons of the nucleus basalis of Meynert (NBM). The NBM is the major input source of acetylcholine (ACh) to the cortex. The decreasing cholinergic innervation of the cortex due to degeneration of the NBM might be the cause of loss of memory function. NBM‐Deep brain stimulation (NBM‐DBS) is considered to serve as a potential therapeutic option for patients with AD by supporting residual cholinergic transmission to stabilize oscillatory activity in memory‐relevant circuits. However, whether DBS could improve sensory memory functions in patients with AD is not clear. Here, in a passive auditory oddball paradigm, patients with AD (N = 2) listened to repetitive background tones (standard tones) randomly interrupted by frequency deviants in two blocks with NBM‐DBS OFF and then NBM‐DBS ON, while age‐matched healthy controls (N = 6) repeated the experiment twice. The mismatch negativity in NBM‐DBS OFF significantly differed from controls in both blocks, but not under NBM‐DBS, which was likely due to a pronounced P50 increase overlapping with the N1 in NBM‐DBS OFF. This early complex of EEG components recovered under stimulation to a normal level as defined by responses in controls. In this temporal interval, we found in patients with NBM‐DBS ON (but not with NBM‐DBS OFF) and in controls a strong repetition suppression effect to standard tones – with more attenuated responses to frequently repeated standard tones. This highlights the role of NBM‐DBS for sensory gating of familiar auditory information into sensory memory.
On the definitions of the Painleve equations (微分方程式の変形と漸近解析 短期共同研究報告集)

$F$ is arational function of $t$ , $y$ and $y’$ and $t$ is the independent variable so that $y’=dy/dt$ and $y”=d^{2}y/dt^{2}$ . Painleve then threw away those equations that he could integrate by the so far known functions and thus he arrived at the list of the Painleve equations. This is the first definition of the Painleve equations. It is, however, very lucky that he could discover the Painleve equations in this manner. (2) In 1907, R. Puchs discovered that the sixth Painleve equation describes amonodromy preserving deformation of asecond order linear equation $y”=$
Calibration of the Volatility in Option Pricing Using the Total Variation Regularization

In market transactions, volatility, which is a very important risk measurement in financial economics, has significantly intimate connection with the future risk of the underlying assets. Identifying the implied volatility is a typical PDE inverse problem. In this paper, based on the total variation regularization strategy, a bivariate total variation regularization model is proposed to estimate the implied volatility. We not only prove the existence of the solution, but also provide the necessary condition of the optimal control problem—Euler-Lagrange equation. The stability and convergence analyses for the proposed approach are also given. Finally, numerical experiments have been carried out to show the effectiveness of the method.
Monoclonal antibody therapy in multiple sclerosis: critical appraisal and new perspectives

Monoclonal antibodies (mAbs) have been used as experimental treatments of multiple sclerosis (MS) since the 1980s, with the advantage of a high specificity for their target but disadvantages due to their immunogenicity. A literature review of experimental and disposable mAbs in the treatment of MS was performed, putting into perspective the clinical impact that these novel therapies can have and the main challenges facing their use in the daily practice. mAbs therapy resulted in a clear paradigm shift in MS therapeutics. Their use in early, inflammatory phases could have the potential to prevent or delay disability. However, it is still unclear how and when these powerful biological weapons can be used safely in the management of MS. The challenge then is how to obtain the best benefit–risk ratio and how to monitor and prevent emergent safety concerns.
Towards Artificial Argumentation

The field of computational models of argument is emerging as an important aspect of artificial intelligence research. The reason for this is based on the recognition that if we are to develop robust intelligent systems, then it is imperative that they can handle incomplete and inconsistent information in a way that somehow emulates the way humans tackle such a complex task. And one of the key ways that humans do this is to use argumentation either internally, by evaluating arguments and counterarguments‚ or externally, by for instance entering into a discussion or debate where arguments are exchanged. As we report in this review, recent developments in the field are leading to technology for artificial argumentation, in the legal, medical, and e-government domains, and interesting tools for argument mining, for debating technologies, and for argumentation solvers are emerging.
Novel nonlinear method of heart rate variability analysis in exercise

Global chaotic analysis of heart rate variability (HRV) has been previously investigated. Preceding studies indicated impaired analysis in obese children and diabetic patients. However, its behaviour in response to exercise is not clear. We investigated the acute effects of physical exercise on global chaotic analysis of HRV. We investigated 35 healthy men aged between 18 and 35 years old. Volunteers were instructed not to drink alcohol, caffeine or other autonomic nervous system (ANS) stimulants for 24 hours before the evaluation. Volunteers performed physical exercise on treadmill with intensity of 6.0 km/hour + 1% slope in the first five minutes for physically “warming up”. This was then followed by 25 minutes with intensity equivalent to 60% of Vmax, with the same slope according to the Conconi threshold. HRV was analyzed in the following periods: (a) control protocol; the 10-minute periods before the performance of the exercise and (b) the 10-minute periods after the performance of the exercise. Both periods of exercise were analyzed by the chaotic global techniques. The number of RR-intervals derived from the PQRST-motif of the ECG signal was processed by the algorithms, and were always 750 RR-intervals for all subjects both experimental and control.
Rpf2p, an Evolutionarily Conserved Protein, Interacts with Ribosomal Protein L11 and Is Essential for the Processing of 27 SB Pre-rRNA to 25 S rRNA and the 60 S Ribosomal Subunit Assembly inSaccharomyces cerevisiae *

Saccharomyces cerevisiae Rrs1p is a nuclear protein that is essential for the maturation of 25 S rRNA and the 60 S ribosomal subunit assembly. In two-hybrid screening, usingRRS1 as bait, we have cloned YKR081c/RPF2. Rpf2p is essential for growth and is mainly localized in the nucleolus. The amino acid sequence of Rpf2p is highly conserved in eukaryotes from yeast to human. Similar to Rrs1p, Rpf2p shows physical interaction with ribosomal protein L11 and appears to associate with preribosomal subunits fairly tightly. Northern, methionine pulse-chase, and sucrose density gradient ultracentrifugation analyses reveal that the depletion of Rpf2p results in a delayed processing of pre-rRNA, a decrease of mature 25 S rRNA, and a shortage of 60 S subunits. An analysis of processing intermediates by primer extension shows that the Rpf2p depletion leads to an accumulation of 27 SB pre-rRNA, suggesting that Rpf2p is required for the processing of 27 SB into 25 S rRNA.
Improving Convergence of Derivative-Based Parameter Estimation with Multistart Parameter Clustering Based on DAE Decomposition

Derivative-based optimization methods for parameter estimation require good start values in order to converge to the global optimum. A conventional multistart strategy is often not practical for identifying such start values, especially for high dimensional problems. Moreover, the computational efforts for each iteration of the optimizer are significantly increased by the computation of parameter sensitivities. We hence present a multistart recursive clustering strategy that utilizes DAE decomposition algorithms, in particular Tarjan’s and tearing algorithms. These algorithms are also used by standard Modelica compilers for improving the performance of solving large DAE systems. Our key concept is to provide a natural decomposition of the parameter estimation problem into smaller clusters (i.e. subproblems), each of which requires fewer start values and less computation. The resulting local minima are taken as start values for enlarged subproblems, and so forth until good start values for the original problem are found. This approach serves to improve global convergence and computational speed of multistart derivative-based optimization strategies for large sparse DAE systems.
The Effects of Operational and Cognitive Compatibilities on the Big Data Analytics Usage: Firm Distinctive Value Creation

Using big data analytics is generally considered to improve firms’ distinctive value creation. However, we argue here that the role of firm operational and cognitive compatibilities needs to be better understood in order to explore how organizations can create distinctive value from the use of big data analytics. This research-in-progress study draws on the theory of resource-based view (RBV) and information technology (IT) compatibility literature to develop a theoretical model explaining how big data analytics usage influences firm distinctive value creation, and whether firm operational and cognitive compatibilities impact the use of big data analytics.
Wasted resources in gang scheduling

Gang scheduling (the scheduling of a number of interacting threads to run simultaneously on distinct processors) can leave processors idle if the sizes of the gangs do not match the number of available processors. Given an optimal offline algorithm it is shown that the wasted processing power can range from 0% to 50%, depending on the distribution of gang sizes. Focusing on the uniform and the harmonic distributions, rather than worst-case distributions, it is shown that if there are no restrictions on how the processors are partitioned, these distributions cause no waste with an offline algorithm but a waste of 20% to 37% for online algorithms. Using the distributed hierarchical control scheme, which is similar to buddy systems for memory allocation, a waste of 10% to 20% should be expected for offline algorithms, and 21% to 51% for online algorithms. <<ETX>>