Miracle-dz/UniFAR-FTUs huggingface dataset:
Teaching Logic to Information Systems Student: A Student-centric Approach.

In contrast to Computer Science and Software Engineering, where the fundamental role of Logic is widely recognized, it plays a practically non-existent role in Information Systems curricula. In this paper we argue that instead of Logic’s exclusion from the IS curriculum, a significant adaptation of the contents, as well as teaching methodologies, is required for an alignment with the needs of IS practitioners. We present a vision for such adaptation and report on concrete steps towards its implementation in the design and teaching of a course for graduate IS students at the University of Haifa. We discuss the course plan and present a qualitative analysis of feedback provided by students of the course.
Design and Simulation of a 3-DOF Micro-positioning Worktable

A micro-positioning worktable drived by PZT was put forward.This worktable was guided by flexure hinge mechanism and could realize the precision positioning.The displacement magnification coefficient of the micro-displacement magnifying mechanism with flexure hinge was calculated.The input-output equations of the micro-positioning stage were given,and the relationship between the output variables of the precision positioning worktable and the deflection of piezoelectric actuator was established.Results concluded that the worktable can realize high precision positioning as 0.1 μm. Compared with the three knighthead micro positioning worktable shows that the four knighthead micro-positioning worktable can reduce the effect of cross coupling.
MIME-KNN: Improve KNN Classifier Performance Include Classification Accuracy and Time Consumption

The K Nearest Neighbor (KNN) classifier has been widely used in the applications of data mining and machine learning, because of its simple implementation and distinguished performance. However, because the distance between all training samples and test samples have to be calculated, when there are too many samples or samples have huge features dimensionality, the time complexity and space complexity are high. The paper proposes a KNN algorithm with the minimum intra-class distance and the maximum extra-class distance (MIME-KNN). By finding a transformation matrix, the algorithm minimizes the intra-class distance and maximizes the distance between classes, which can improve the classification performance of traditional KNN algorithm. At the same time, the algorithm will also reduce the dimensionality of the samples to achieve the purpose of reducing time and space complexity. Experimental results show that the MIME-KNN work well in practical.
Modeling of PEMFC and application in hybrid power system

Many basic problems of isolated hybrid power system including fuel cells are different from conventional power generation system, so further study is necessary. To study the dynamic characteristics of such hybrid power system, we consider the double-layer charging effect and the thermodynamic characteristic inside the Proton Exchange Membrane Fuel Cells (PEMFC). Based on modular simulator RPM-SIM, the dynamic mathematical model of PEMFC is set up. Then a small hybrid power system containing diesel generator, asynchronous wind turbine generator unit and PEMFC is simulated. In order to avoid the frequency shift problem caused by diesel generator output limit, the calculation method of power inverter reference power is proposed, which uses PEMFC and electrolyzer as the frequency controlling unit and system to improve the system frequency significantly. The proposed method can provide reference for the application, operation and control of PEMFC hybrid power generation system.
Research Progress of Machine Vision Technology in Artificial Intelligence

With the development of computer science, artificial intelligence is gradually applied into all aspects of human life. A new discipline is produced in artificial intelligence image processing, that is, machine vision. Machine vision is the forefront of interdisciplinary research, and it is different from the study of human or animal vision, which is to use geometric, physical and learning techniques to build the model, using statistical methods to deal with data. Machine vision refers to the computer achieving the human visual function of perception, recognition and understanding in the objective world of three-dimensional scene. This paper introduces the research content and the development history of machine vision, and it summarizes the related application research of machine vision. Finally, we put forward the existing problems and give the direction of future research.
International Transfer Pricing and Tax Avoidance: Evidence from Linked Trade-Tax Statistics in the United Kingdom

Abstract This paper employs unique data on export transactions and corporate tax returns of UK multinational firms and finds that firms manipulate their transfer prices to shift profits to lower-taxed destinations. It shows that the 2009 tax reform in the United Kingdom, which changed the taxation of corporate profits from a worldwide to a territorial system, led to a substantial increase in transfer mispricing. It also provides evidence for a trade creation effect of transfer mispricing and estimates substantial transfer mispricing in non-tax-haven countries with low- to medium-level corporate tax rates, and in R&D intensive firms.
Seasonal influenza vaccination: knowledge, attitude and practice in Varna, Bulgaria

Background: Seasonal influenza vaccination is recommended for certain at-risk groups in Bulgaria, but vaccine coverage and the population’s perception of vaccination are currently unknown. The objective of this study was to assess the level of seasonal influenza vaccination in Varna Region, Bulgaria. It also aimed to investigate the status of knowledge and the attitude towards the reliability, safety, and other aspects associated with the use of influenza vaccines. Methods: A cross-sectional survey was conducted among 120 responders in Varna Region, Bulgaria. They completed a questionnaire assessing the practice, knowledge, and attitude towards seasonal influenza vaccination. Results: Nearly 70% of all responders have never been vaccinated against seasonal influenza in their lives. The main reason indicated was a lack of confidence in the vaccine in general (53.7% of nonvaccinated responders). Individuals with insufficient knowledge, or with a negative perception, were more likely to not be vaccinated: being poorly informed and having a negative attitude towards influenza vaccination also decreased the chance of being vaccinated by 29% and 36%, respectively. Conclusions: This study indicates that efforts should be made towards achieving better understanding and knowledge of the vaccine’s mechanism of prevention and effectiveness among the Bulgarian population.
Different expression pattern of flowering pathway genes contribute to male or female organ development during floral transition in the monoecious weed Ambrosia artemisiifolia L. (Asteraceae)

The highly allergenic and invasive weed Ambrosia artemisiifolia L. is a monoecius plant with separated male and female flowers. The genetic regulation of floral morphogenesis is a less understood field in the reproduction biology of this species. Therefore the objective of this work was to investigate the genetic control of sex determination during floral organogenesis. To this end, we performed a genome-wide transcriptional profiling of vegetative and generative tissues during the plant development comparing wild-growing and in vitro cultivated plants. RNA-seq on Illumina NextSeq 500 platform with an integrative bioinformatics analysis indicated differences in 80 floral gene expressions depending on photoperiodic and endogenous initial signals. Sex specificity of genes was validated based on RT-qPCR experiments. We found 11 and 16 uniquely expressed genes in female and male transcriptomes that were responsible particularly to maintain fertility and against abiotic stress. High gene expression of homologous such as FD, FT, TFL1 and CAL, SOC1, AP1 were characteristic to male and female floral meristems during organogenesis. Homologues transcripts of LFY and FLC were not found in the investigated generative and vegetative tissues. The repression of AP1 by TFL1 homolog was demonstrated in male flowers resulting exclusive expression of AP2 and PI that controlled stamen and carpel formation in the generative phase. Alterations of male and female floral meristem differentiation were demonstrated under photoperiodic and hormonal condition changes by applying in vitro treatments.
Acute effects of different doses of malathion on the rat liver

Aim of the study Our study was designed to evaluate the acute effects of malathion on rat liver tissues. Material and methods The animals were divided into 4 groups of 6 animals/each. Group 1 (control group) received corn oil, while groups 2, 3, and 4 were given malathion dissolved in corn oil at a dose of 100, 200 and 400 mg/kg, respectively. 24 hours after malathion administration, animals were sacrificed and liver tissues were collected. The liver tissues were then analysed biochemically and histopathologically. Results Butyrylcholinesterase levels in groups 2, 3 and 4 were significantly lower than that of group 1. Total oxidant status and tumour necrosis factor alpha level were significantly increased in group 4 compared to group 1. Catalase activities of groups 3 and 4 were significantly higher than that of group 1. Arylesterase activity was significantly decreased in groups 3 and 4 compared to group 1. In groups 3 and 4, some vacuoles in hepatocytes were revealed and hydropic degeneration was observed in group 4. Conclusions Acute administrations of malathion results in hepatotoxicity in a dose-dependent manner.
Correction of Class III malocclusion with alternate rapid maxillary expansions and constrictions using a hybrid hyrax-mandibular miniplate combination and simultaneous orthodontic treatment: A case report

In this report, we describe the successful use of alternate rapid maxillary expansions and constrictions with a hybrid hyrax-mandibular miniplate combination and simultaneous orthodontic treatment for the management of severe Class III malocclusion due to maxillary hypoplasia in an 11-year-old girl. The devices were removed after 20 months of treatment, and the family was instructed about a careful control and retention program that should be followed in accordance with the patient's growth. The final result included the correction of Class III malocclusion with adequate function and excellent facial esthetics, which restored the patient's self-esteem and provided personal motivation. The outcomes showed good stability after 24 months of retention. The decrease in the duration of active treatment is the most important finding from the present case. Considering that facial esthetics in adolescence is a determining factor for the development of a personality and interpersonal relationships, we recommend the use of this protocol for growing patients, who will exhibit not only an improved physical appearance but also a better quality of life.
Identification of potential biomarkers and pivotal biological pathways for prostate cancer using bioinformatics analysis methods

Background Prostate cancer (PCa) is a common urinary malignancy, whose molecular mechanism has not been fully elucidated. We aimed to screen for key genes and biological pathways related to PCa using bioinformatics method. Methods Differentially expressed genes (DEGs) were filtered out from the GSE103512 dataset and subjected to the gene ontology (GO) and Kyoto Encyclopedia of Genes and Genomes (KEGG) pathway analyses. The protein–protein interactions (PPI) network was constructed, following by the identification of hub genes. The results of former studies were compared with ours. The relative expression levels of hub genes were examined in The Cancer Genome Atlas (TCGA) and Oncomine public databases. The University of California Santa Cruz Xena online tools were used to study whether the expression of hub genes was correlated with the survival of PCa patients from TCGA cohorts. Results Totally, 252 (186 upregulated and 66 downregulated) DEGs were identified. GO analysis enriched mainly in “oxidation-reduction process” and “positive regulation of transcription from RNA polymerase II promoter”; KEGG pathway analysis enriched mostly in “metabolic pathways” and “protein digestion and absorption. ” Kallikrein-related peptidase 3, cadherin 1 (CDH1), Kallikrein-related peptidase 2 (KLK2), forkhead box A1 (FOXA1), and epithelial cell adhesion molecule (EPCAM) were identified as hub genes from the PPI network. CDH1, FOXA1, and EPCAM were validated by other relevant gene expression omnibus datasets. All hub genes were validated by both TCGA and Oncomine except KLK2. Two additional top DEGs (ABCC4 and SLPI) were found to be associated with the prognosis of PCa patients. Conclusions This study excavated the key genes and pathways in PCa, which might be biomarkers for diagnosis, prognosis, and potential therapeutic targets.
GPU-based Real-time Cloth Simulation for Virtual Try-on

We present a novel real-time approach for dynamic detailed clothing simulation on a moving body. The most distinctive feature of our method is that it divides dynamic simulation into two parts: local driving and static cloth simulation. In local driving, feature points of clothing will be handled between two consecutive frames. And then we apply static cloth simulation for a speciﬁc frame. Both parts are ecxuted in an entire parallel way. In practice, our system achieves real-time virtual try-on using a depth camera to capture the moving body model and meanwhile, keeps high-ﬁdelity. Experimental results indicate that our method has signiﬁcant speedups over prior related techniques.
A kind of nonlinear adaptive inverse control system based on RBF networks

A MRAIC system based on filtered-e algorithm, which comprises an adaptive disturbance canceler and feedback compensation, is presented. The feedback compensation can counteract the MRAIC system′s direct current zero-frequency drift. The adaptive disturbance canceler can best erase disturbances. A nonlinear filter based on RBF networks is used in nonlinear plant modeling, inverse plant modeling, design of controller and adaptive disturbance canceler. Simulation result shows the effectiveness of the method.
Galilei Corneal Tomography for Screening of Refractive Surgery Candidates: A Review of the Literature, Part II

Corneal topography is the most widely used technology for examining the anterior corneal surface. Scheimpflug imaging is a newer technique that allows for measurement of both the anterior and posterior corneal surface, which allows for three-dimensional reconstruction of the cornea. This is of particular interest and value in the field of cataract and refractive surgery. The Galilei camera is a commercially available dual Scheimpflug system that combines curvature data from Placido disc-based corneal topography with elevation data from Scheimpflug technology. The addition of Placido disc topography makes the Galilei unique from its more popular counterpart, the Pentacam, which was discussed in Part I. Compared to the Pentacam, and however, the Galilei analyzer is a newer system that has emerged as a valuable screening tool given its dual Scheimpflug capability. In the first article of this series, the authors summarized the refractive indices available on the Pentacam system with the purpose of identifying the best diagnostic parameters for keratoconus. Similarly, the purpose of this article is to summarize corneal surface indices available on the Galilei system and evaluate their use in screening of the refractive surgery candidate. Since post-operative keratectasia is still prevalent, this paper aims to identify the most clinically relevant indices that may be used in pre-operative evaluation.
Slew Rate and Transient Response Enhancement in MOLDO with Modifying Error Amplifier Structure

In this paper, we use bias current boosting and slew rate enhancement in multiple-output Low-dropout structure to achieve a faster transient response. This method reduces ripples of output voltage during sudden changes in load current and input voltage. The proposed MOLDO circuit was simulated with a 0. 18μm CMOS process in buck mode with four-output legs. Integrating of proposed circuit is easier because there is the symmetry in the circuit designing. The results of our work show that when input voltage changes between 2.5–3.3V, the output voltage after 25μs with load current of 100mA, is determined with ripple less than 1.8mV. In sudden changes, the load current at the range 0–100mA, and output voltages after a maximum 15. 5μs with an input voltage of 3.3V have the highest ripple in output voltage of 4mV.
The Nguudu Barndimanmanha Project-Improving Social and Emotional Wellbeing in Aboriginal Youth Through Equine Assisted Learning

Background: Recent statistics have painted a grim picture for Australia's Aboriginal youth, with reports of higher levels of almost every health indicator, including depression, sexual and emotional abuse, unemployment, and incarceration. Traditional western based therapies have proven to have limited effectiveness in engaging this group as they can often be culturally inappropriate. International studies have provided promising results using equine assisted learning, with a sound methodological basis underpinned by Indigenous ways of being and doing. In Australia Aboriginal people have strong historical ties to horses through their work on stations and were often considered some of the country's best horsemen and women. While equine assisted learning programs exist in Australia there are currently none catering specifically to Aboriginal youth, run and staffed by Aboriginal staff and provided in a culturally secure manner. Aims: Alternative therapy for Aboriginal youth in the areas of grief, loss, and trauma, through an equine assisted learning program that focussed on self-concept, self-regulation, self-awareness, anxiety and depression, and sense of connectedness. Methods: Participants (N = 270) aged 6–25 years old engaged in a minimum of 6-weeks of equine assisted learning. Each session was 45–50 min duration and occurred on a weekly basis. Sessions were undertaken individually, in pairs and in groups, depending on the needs of the participant and the focus of the session goals. Qualitative examination of the participants included photography to capture the lived experiences of the participants throughout the program. In addition an cultural and age appropriate adaptation of the Strength and Difficulties Questionnaire was trialed to track changes quantitively. Conclusion: We observed improvements in self-regulation, self-awareness, and socialization skills, evident from the photography recording and the questionnaire data. In addition parent and/or caregiver and teacher reported changes in behavior, self-regulation, and socialization skills were recorded.
The Role of Decompressive Craniectomy in the Context of Severe Traumatic Brain Injury: Summary of Results and Analysis of the Confidence Level of Conclusions From Systematic Reviews and Meta-Analyses

Introduction: Traumatic brain injury (TBI) is a global epidemic. The incidence of TBI in low and middle-income countries (LMICs) is three times greater than in high-income countries (HICs). Decompressive craniectomy (DC) is a surgical procedure to reduce intracranial pressure (ICP) and prevent secondary injury. Multiple comparative studies, and several randomized controlled trials (RCTs) have been conducted to investigate the influence of DC for patients with severe TBI on outcomes such as mortality, ICP, neurological outcomes, and intensive care unit (ICU) and hospital length of stay. The results of these studies are inconsistent. Systematic reviews and meta-analyses have been conducted in an effort to aggregate the data from the individual studies, and perhaps derive reliable conclusions. The purpose of this project was to conduct a review of the reviews about the effectiveness of DC to improve outcomes. Methods: We conducted a systematic search of the literature to identify reviews and meta-analyses that met our pre-determined criteria. We used the AMSTAR 2 instrument to assess the quality of each of the included reviews, and determine the level of confidence. Results: Of 973 citations from the original search, five publications were included in our review. Four of them included meta-analyses. For mortality, three reviews found a positive effect of DC compared to medical management and two found no significant difference between groups. The four reviews that measured neurological outcome found no benefit of DC. The two reviews that assessed ICP both found DC to be beneficial in reducing ICP. DC demonstrated a significant reduction in ICU length of stay in the one study that measured it, and a significant reduction in hospital length of stay in the two studies that measured it. According to the AMSTAR 2 criteria, the five reviews ranged in levels of confidence from low to critically low. Conclusion: Systematic reviews and meta-analyses are important approaches for aggregating information from multiple studies. Clinicians rely of these methods for concise interpretation of scientific literature. Standards for quality of systematic reviews and meta-analyses have been established to support the quality of the reviews being produced. In the case of DC, more attention must be paid to quality standards, in the generation of both individual studies and reviews.
Sensitivity of Importance Metrics for Critical Digital Services Graph to Service Operators' Self-Assessment Errors

Interdependency of critical digital services can be modeled in the form of a graph with exactly known structure but with edge weights subject to estimation errors. We use standard and custom centrality indexes to measure each service vulnerability. Vulnerability of all nodes in the graph gets aggregated in a number of ways into a single network vulnerability index for services whose operation is critical for the state. This study compares sensitivity of various centralities combined with various aggregation methods to errors in edge weights reported by service operators. We find that many of those combinations are quite robust and can be used interchangeably to reflect various perceptions of network vulnerability. We use graphs of source files’ dependencies for a number of open-source projects, as a good analogy for real critical services graph, which will remain confidential.
Ekstraksi Kebutuhan Aplikasi Berdasarkan Feedback Pengguna Menggunakan Naïve Bayes dan Gamifikasi

Requirements engineering is a series of activities which aims to elicit, analyze, evaluate, and document the requirements of a system that is being developed. The activities do not stop after the product is deployed but continues as the users use the product and provide feedbacks to the system and matter how decent the functionalities of a product are, if it cannot address the correct problem and/or opportunities of the stakeholders or users, the product cannot be considered useful. That being said, not all stakeholders are willing to participate in providing useful feedbacks to improve the product after deployment, for many reasons. Gamification is considered as an opportunity that can be utilized to improve the motivation of user to use a product by implementing game design elements into an existing software product, thus increasing user participation to contribute in providing useful feedbacks and evolving requirements of a software product. This research proposes a model to support engineers in motivating users to provide feedbacks using gamification and also Naïve Bayes Classifier to classify user feedbacks into categories needed by the developer to extract the requirements stated in the feedback, such as bug reports, feature request, user experiences, etc. Kata Kunci—requirements engineering, gamification, Naïve Bayes, user feedback