Miracle-dz/UniFAR-FTUs huggingface dataset:
DSP-BASED CONTROL OF BOOST PFC AC-DC CONVERTERS USING PREDICTIVE CONTROL

Abstract: For digital power-factor correction (PFC) control methods, the duty cycle is calculated in every switching period. One main implementation barrier is the limited switching frequency, due to the limited processor speed. In this paper a predictive digital PFC control method is proposed to solve this problem. The proposed control method generates all the duty cycles in advance, based on the reference current and sensed inductor current, input voltage and output voltage. It requires only one multiplication and three addition operations for digital implementation, so that the proposed PFC control method can be implemented (by using a low cost DSP or microprocessor to achieve high switching frequency). A power factor correction rectifier, that requires a current control with a rectified sinusoidal reference, is controlled using three methods: i) Average current mode control ii) Hysteresis control iii) Proposed predictive control. All these controllers are implemented on a digital platform. Simulation and experimental results show that predictive control has low THD, high PF, lower cost and better performance than the others control methods (due to its lower calculation requirement). Also, sinusoidal input current can be achieved under a non-sinusoidal input voltage condition for predictive control only.
Perfectly Parallel Causal-Fairness Certificationof Neural Networks

Domains. For the forward pre-analysis, choices of the abstract domain are either boxes [Cousot and Cousot 1976] (i.e., boxes in the following), or a combination of boxes and symbolic constant propagation [Li et al. 2019; Miné 2006a] (i.e., symbolic in the following), or 3Link removed for double blind review. Proc. ACM Program. Lang. , Vol. 1, No. CONF, Article 1. Publication date: January 2018.
Phylogeography of the marine isopod Stenosoma nadejda (Rezig, 1989) in North African Atlantic and western Mediterranean coasts reveals complex differentiation patterns and a new species

The transition zone between the Mediterranean and Atlantic basins has been extensively addressed in phylogeo- graphical studies of marine species. However, biases exist towards the analysis of highly dispersive species, and there is a higher sampling effort in European coasts compared to North Africa. This may be hindering a detailed understanding of the historical and contemporary processes that shaped patterns of population genetic structure in the region. In the present study, we investigated the phylogeographical and phylogenetic patterns of mitochon- drial cytochrome c oxidase subunit I sequences from a species with direct development and low dispersal abilities, Stenosoma nadejda (Rezig, 1989). The study area included 13 localities along the Atlantic and Mediterranean North African coasts, as well as the Alboran Sea. A new Stenosoma species, from the coasts of Algeria and Alboran Island, was discovered. For S. nadejda, phylogeographical analyses revealed three distinct clades: one in the Iberian Atlantic plus the Alboran Sea, one in the western Mediterranean, and another in the Atlantic coast of Africa. Haplotypes from the Alboran Island were more related to those from the western Mediterranean coast (east of the Almeria-Oran Front). Given the strong differentiation, it is probable that this species survived in multiple glacial refugia during the Pleistocenic glaciations. © 2011 The Linnean Society of London, Biological Journal of the Linnean Society, 2011, 104, 419-431.
ANALOG CIRCUITS FAULT DIAGNOSIS USING GENETIC ALGORITHM BASED WAVELET NEURAL NETWORK

– In analog circuits, fault diagnosis is a complex task due to lack of simple fault models and the presence of component tolerances and circuit non-linearity. The method of fault diagnosis in analog circuits using Genetic Algorithm (GA) based Wavelet Neural Network (WNN) is presented in this paper. Wavelet Neural Networks are a new class of networks that combine the classic Neural Networks (NNs) and Wavelet Transform (WT) which inherits the advantages of the Neural Network and wavelet transformation. In this work Wavelet Neural Network is constructed and the network weights are updated to get the desired value at the output nodes of WNN. The constructed WNN is trained with training set until the objective function is minimized and the faults are classified. Then the parameters of WNN are optimized using Genetic Algorithm (GA). The simulation results obtained for WNN and GA based WNN are compared. A comparison of the proposed work of GA based WNN with WNN reveals that the proposed method performs significantly better in fault diagnosis of analog circuits with improved classification accuracy.
C${}^{*}$: Cross-Modal Simultaneous Tracking and Rendering for 6-DoF Monocular Camera Localization Beyond Modalities

We present a monocular camera localization technique for a three-dimensional prior map. Visual localization has been attracting considerable attention as a lightweight and widely available localization technique for any mobilities; however, it still suffers from appearance changes and a high computational cost. With a view to achieving robust and real-time visual localization, we first reduce the localization problem to alternate local tracking and occasional keyframe rendering by following a simultaneous tracking and rendering algorithm. At the same time, by using an information-theoretic metric denoted normalized information distance in the local tracking, we developed a 6-DoF localization method robust to intensity variations between modalities and varying sensor properties. We quantitatively evaluated the accuracy and robustness of our method using both synthetic and real datasets and achieved reliable and practical localization even in the case of extreme appearance changes.
EMPIRICAL BASED EFFORT ESTIMATION USING MACHINE LEARNING ALGORITHMS

Estimation the budget is one of the major tasks in project management. There arises a need to more accurately estimate the required schedule and resources for the software projects. The software estimation process includes estimating the size of the software product, effort needed, development of project schedules, and estimating the overall budget of the project. To estimate the budget we need to consider effort, time and environment. Estimating the effort is the tedious process. Effort is represented as a function of size. In this paper, size is represented in term as Fuzzy number. A new model is approached in this paper by machine learning algorithms to estimate the effort required in the software process. The optimization of the effort parameters is achieved using the M5P technique to obtain better prediction accuracy. Furthermore, performance comparisons of the models obtained using the M5P technique with Random Forest technique are presented in order to highlight the performance achieved by each technique.
Revisiting SAT Techniques for Abstract Argumentation

We present MINI AF, a general S AT -based abstract argumentation solver that can be used with any S AT solver. We use this general solver to evaluate 12 different S AT solvers wrt. their capability of handling abstract argumentation problems. While our results show that the runtime performance of different S AT solvers are generally comparable, we also observe some statistically signiﬁcant differences.
AN ELECTROTHERMALLY-DRIVEN LOW VOLTAGE MICRO SWITCH FOR HIGH FREQUENCY APPLICATIONS

In this paper, a MEMS switch with single layer arms has been designed and demonstrated. The switch has been actuated by combination of electrostatic and thermal actuation methods. Most of common thermal switches have been fabricated on several layers. But this will be result in difficult and high cost fabrication processes. Avoiding these problems, the shunt MEMS switch has been proposed. It can greatly simplify the fabrication process and reduce cost. High frequency simulation results show that the insertion loss is lower than 0.5 dB and the isolation is -40 dB at 2 GHz. By the combination actuated way, the electrostatic actuation voltage is reduced to 5v. So the switch can be integrated with standard CMOS circuits without any up-converters. The switching time is about 70μs and the maximal temperature of thermal actuator is lower than 150 C which cannot cause any longtime damage.
Growth responses of Lupinus termis to some plant growth promoting cyanobacteria and bacteria as biofertilizers

Studies were carried out on the effect of inoculation with the filtrates of Anabaena flos-aquae (A1), Nostoc muscorum (A2), bacterial suspensions of Azotobacter chroococcum (B1) and Azospirillum brasilense (B2) on growth of Lupinus termis seeds. The plant was grown on semiliquid agar media at the Botany Department, Faculty of Science, Cairo University, Giza, Egypt. In the experiments conducted in randomized block design inoculations were either individually or in combination in different treatments. All the cyanobacterial filtrates and the bacterial inoculations provoked germination and growth parameters in Lupinus termis (Giza 2). The cyanabacterial filtrates in combination with the bacterial suspensions significantly increased the average germination compared to untreated seeds by 53.13%, IAA by 211.48%, GA 3 by 129.04%, cytokinin by 104.18%, Chl. a by 77.88% and Chl. b by 120.48%. The combined four treatments also increased the levels of total carbohydrates by 71.39% and total nitrogen by 16.53% as compared to the controls.
EXPERIMENTAL EVALUATION OF A MULTIFUNCTIONAL SYSTEM SINGLE-STAGE PV-SHUNT ACTIVE FILTER UNDER PARTIAL SHADING CONDITIONS

Distributed solar photovoltaic (PV) generation is becoming more popular. Similarly, the number of electronic loads has increased along with the need to improve power quality. The PV-Shunt Active Filter (PV-SAF) is a system capable of injecting the PV power generated in the electrical grid and eliminating harmonics of current and reactive power of the local installation load. In the single-stage topology, the PV array is connected directly to the SAF DC bus, without the need for an intermediate DC-DC converter. In this paper, a three-phase single-stage PV-SAF system is evaluated in partial shading conditions. For this, a Global Maximum Power Point Tracking (GMPPT) technique capable of quickly tracking the point of maximum power even in the presence of several peaks in the power-voltage curve of the PV array is proposed. A night-time mode is implemented for the system operation when there is no PV generation. The instantaneous power theory and the adaptive hysteresis band current controller are used to control the SAF currents. The results obtained through an experimental prototype show that the PV-SAF system with the control strategies adopted is capable of simultaneously injecting into the grid the maximum power of the PV system and compensating harmonics and reactive power.
Efficient Power Utilization in Towing Method of Electric Operated Vehicles

This paper mainly focuses to utilize the efficient power consumption of battery operated electric vehicles in the industries with heavy torque low power. As quality and safety being the main concern in industrial drives, our proposed system aims even for the safety of the employees and to the vehicle , which is being implemented by fuzzification in which the speed of the vehicle is being reduced with the distance of the object and even saves power. It is ideal for use in inter-plant transportation, factories, warehouses, defense units, railways, workshops, airports, and large processing plants. In addition of solar panel to the vehicle it even charges to the industrial lights which makes it to work for more hours. The fuzzy logic collision avoidance is justified using MATLAB /SIMULINK results. KeywordsElectric Tow Vehicle, Fuzzy logic collision avoidance, High torque, Low power consumption
Resistance training promotes reduction in Visceral Adiposity without improvements in Cardiomyocyte Contractility and Calcium handling in Obese Rats

Resistance training (RT) improves the cardiomyocyte calcium (Ca2+) cycling during excitation-contraction coupling. However, the role of RT in cardiomyocyte contractile function associated with Ca2+ handling in obesity is unclear. Wistar rats were distributed into four groups: control, sedentary obese, control plus RT, and obesity plus RT. The 10-wk RT protocol was used (4-5 vertical ladder climbs, 60-second interval, 3× a week, 50-100% of maximum load). Metabolic, hormonal, cardiovascular and biochemical parameters were determined. Reduced leptin levels, epididymal, retroperitoneal and visceral fat pads, lower body fat, and adiposity index were observed in RT. Obesity promoted elevation of collagen, but RT did not promote modifications of LV collagen in ObRT. RT induced elevation in maximum rates of contraction and relaxation, and reduction of time to 50% relaxation. ObRT group did not present improvement in the cardiomyocyte contractile function in comparison to Ob group. Reduced cardiac PLB serine16 phosphorylation (pPLB Ser16) and pPLB Ser16/PLB ratio with no alterations in sarcoplasmic reticulum Ca2+ ATPase (SERCA2a) and phospholamban (PLB) expression were observed in Ob groups. Resistance training improved body composition reduced fat pads and plasma leptin levels but did not promote positive alterations in cardiomyocyte contractile function, Ca2+ handling and phospholamban phosphorylation.
RID: Evaluation of the Possible Inhibiting Effect of the Proinflammatory Signaling Induced by TNF-α through NF-κβ and AP-1 in Two Cell Lines of Breast Cancer

Receptor internalization and degradation (RID), is a transmembrane protein coded within the E3 region expression cassette of adenoviruses. RID downregulates the cell surface expression of epidermal growth factor receptor (EGFR), tumor necrosis factor receptor (TNFR), and apoptosis antigen 1 (FAS), causing a reduction of the effects of their respective ligands. In addition, RID inhibits apoptosis by decreasing the secretion of TNF-related apoptosis-inducing ligand (TRAIL) by normal tissue cells. In this article, we report that RID inhibited chemokine expression in human breast cancer cell line MDA-MB-231 but showed no effect in cell line MCF7. These dissimilar results may be due to the different molecular and functional properties of both cell lines. Therefore, it is necessary to replicate this study in other breast cancer cell models.
Keratinocyte Growth Factor-2 Reduces Inflammatory Response to Acute Lung Injury Induced by Oleic Acid in Rats by Regulating Key Proteins of the Wnt/β-Catenin Signaling Pathway

Reducing inflammation can effectively relieve acute lung injury (ALI). Objective. To test whether keratinocyte growth factor-2 (KGF-2) can reduce oleic acid-induced inflammation in ALI of rats and explore its possible mechanism. Methods. 45 Sprague-Dawley rats were randomly divided into control group, ALI group, and ALI + KGF-2 group. The animal model of acute lung injury was established by injecting 0.1 mL/kg oleic acid into the tail vein of rats. Rats in the control group were injected with equal volume of normal saline (NS). Each group needs pretreatment 72 hours before the preparation of the acute lung injury model. The control group and ALI group were instilled with 5 ml/kg NS through the airway, and the same amount of KGF-2 was instilled in the ALI + KGF-2 group. It takes 8 hours to successfully prepare the ALI model. Observe the pathological changes of lung tissue through light microscopy, ultrastructural changes through electron microscopy, and the lung wettability/dry weight (w/d) ratio and lung permeability index (LPI). By detecting changes in inflammatory factors in lung tissue and changes in the number of BALF cells, the changes in inflammation in each group were observed. The expressions of Wnt5a, β-catenin, and APC in lung tissue were detected by immunohistochemistry and Western blot. The changes of key proteins in Wnt/β-catenin signaling pathway in the lung tissue of each group were observed. Result. Compared with the ALI group, after KGF-2 pretreatment, the degree of lung injury was reduced, the expression of inflammatory factors was reduced, and the number of red blood cells and white blood cells in BALF was reduced. It can also be observed that the expression of Wnt5a, β-catenin, and APC, a key protein in the Wnt/β-catenin signaling pathway, is reduced. The analysis showed that the number of inflammatory factors, red blood cells, and white blood cells in BALF was positively correlated with the expression of Wnt5a, β-catenin, and APC. Conclusion. KGF-2 may reduce the inflammatory response in ALI induced by oleic acid by regulating key proteins in the Wnt/β-catenin signaling pathway.
Disturbance Torque Observers for the Induction Motor Drives

− The paper presents a comparative study on the performances of two disturbance torque observers in a induction motor drives. The first observer is a very simple one and is based on the mechanical system equation while the second one is a well-known observer, based on the reduced-order Gopinath’s method. To estimate the disturbance torque the electrical drive systems must be endowed with a low-resolution encoder and an acquisition system for the electrical variables, which helps to calculate the electromagnetic torque of the motor. The values of the estimated disturbance torque can be used, either for an instantaneous lowspeed observer or for the control algorithm (feedforward control). Index terms − Induction motor drives, disturbance torque observers.
No benefits of prolonged vitamin D3 supplementation for adaptations to resistance training in old adults

Background: Lifestyle therapy with resistance training is a potent measure to counteract age-related loss in muscle strength and mass. Unfortunately, many individuals fail to respond in the expected manner. This phenomenon is particularly common among older adults and those chronically diseased (e.g. chronic obstructive pulmonary disease, COPD), and may involve endocrine variables such as vitamin D. At present, the effects of vitamin D supplementation on responses to resistance training remain largely unexplored. Methods: Ninety-five male and female participants (healthy, n=71; COPD, n=24; age 68 {+/-} 5 years) were randomly assigned to receive either vitamin D3 or placebo supplementation for 28 weeks in a double-blinded manner (latitude 61{degrees}N, September-May). Seventy-eight participants completed the RCT, which was initiated by 12 weeks of supplementation-only (in average, 3333 IU.day-1), followed by 13 weeks of combined supplementation (2000 IU.day-1) and supervised whole-body resistance training (twice weekly), interspersed with testing and measurements. Outcome measures included multiple assessments of muscle strength (n=7), endurance performance (n=6), and muscle mass (n=3, legs, primary), as well as muscle quality (legs), muscle biology (m. vastus lateralis; muscle fibre characteristics, transcriptome), and health-related variables (e.g. visceral fat mass and blood lipid profile). For main outcome domains such as muscle strength and muscle mass, weighted combined factors were calculated from the range of singular assessments. Results: Overall, 13 weeks of resistance training increased muscle strength (13% {+/-} 8%), muscle mass (9% {+/-} 8%) and endurance performance (one-legged, 23% {+/-} 15%; whole-body, 8% {+/-} 7%), assessed as weighted combined factors, and were associated with changes in health variables (e.g. visceral fat, -6% {+/-} 21%; [LDL]serum, -4% {+/-} 14%) and muscle tissue characteristics such as fibre type proportions (e.g. IIX, -3%-points), myonuclei.fibre-1 (30% {+/-} 65%), total RNA/rRNA abundances (15%/6-19%), and transcriptome profiles (e.g. ~336 differentially expressed genes). Vitamin D3 supplementation led to robust increases in [25(OH)D]serum ({Delta}49% vs placebo), but did not affect training-associated changes for any of the main outcome domains, with no interaction being evident with disease status or pre-RCT [25(OH)D]serum. In secondary analyses, vitamin D3 affected expression of gene sets involved in vascular functions in muscle tissue, strength gains in participants with high fat mass, and [cortisol]serum ({Delta}20%), all of which advocate further study. Conclusions: Vitamin D3 supplementation did not affect muscular responses to resistance training in old adults with or without COPD.
Antagonism between Goα and Gqα in Caenorhabditis elegans: the RGS protein EAT-16 is necessary for Goα signaling and regulates Gqα activity

To elucidate the cellular role of the heterotrimeric G protein Go, we have taken a molecular genetic approach in Caenorhabditis elegans. We screened for suppressors of activated GOA-1 (Goα) that do not simply decrease its expression and found mutations in only two genes, sag-1 and eat-16. Animals defective in either gene display a hyperactive phenotype similar to that of goa-1 loss-of-function mutants. Double-mutant analysis indicates that both sag-1 and eat-16 act downstream of, or parallel to, Goα and negatively regulate EGL-30 (Gqα) signaling. eat-16 encodes a regulator of G protein signaling (RGS) most similar to the mammalian RGS7 and RGS9 proteins and can inhibit endogenous mammalian Gq/G11 in COS-7 cells. Animals defective in both sag-1 and eat-16 are inviable, but reducing function in egl-30 restores viability, indicating that the lethality of the eat-16; sag-1 double mutant is due to excessive Gqα activity. Analysis of these mutations indicates that the Go and Gq pathways function antagonistically in C. elegans, and that Goα negatively regulates the Gq pathway, possibly via EAT-16 or SAG-1. We propose that a major cellular role of Go is to antagonize signaling by Gq.
Xiao-Yao-San Formula Improves Cognitive Ability by Protecting the Hippocampal Neurons in Ovariectomized Rats

Xiao-Yao-San (XYS) decoction is a traditional Chinese medicine formula. This study aimed to investigate the effect of XYS on cognitive abilities and its underlying mechanism in ovariectomized rats. Female Sprague-Dawley rats were ovariectomized and treated with XYS (3 g/kg or 9 g/kg) by gavage, with subcutaneous injection of 17-β estradiol (E2, 2 μg/kg) as a positive drug control and gavage of 1 ml saline (0.9%) as a placebo control. After 6 weeks of treatment, rats were examined using the Morris water maze test. The estradiol level in the serum and hippocampus was measured by ELISA. Golgi staining was performed to observe neuronal morphology in the hippocampus. Apoptosis of hippocampal cells was observed by TUNEL staining. The protein content of N-methyl-D-aspartate receptor (NMDAR) 2A and 2B in the hippocampal CA1 region was determined by Western blot and immunohistochemistry. Expression of estrogen receptor (ER) and PI3K signaling was detected by Western blot. Compared with the sham group, both learning and memory were impaired in ovariectomized rats. Rats treated with E2 or high-dose XYS showed better learning and memory compared with the saline-treated rats. High-dose XYS significantly reduced escape latency in the spatial acquisition trial; meanwhile, the cross times and duration in the probe quadrant were increased in the spatial probe trial. High-dose XYS promoted the de novo synthesis of E2 content in the hippocampus but had no significant effect on the serum E2 level. Golgi staining indicated that high-dose XYS could increase the branch number and density of dendritic spines in the hippocampal CA1 area. TUNEL staining showed that high-dose XYS alleviated ovariectomy-induced neuronal apoptosis. The expression level of NMDAR2A and NMDAR2B in hippocampal CA1 was upregulated by XYS treatment. The beneficial effect of XYS was through activating ERα-PI3K signaling. In conclusion, high-dose XYS treatment can improve the cognitive abilities of ovariectomized rats by protecting the hippocampal neurons and restoring the hippocampal E2 level.