Miracle-dz/UniFAR-FTUs huggingface dataset:
The Genome of Melanoplus sanguinipes Entomopoxvirus

ABSTRACT The family Poxviridae contains two subfamilies: theEntomopoxvirinae (poxviruses of insects) and theChordopoxvirinae (poxviruses of vertebrates). Here we present the first characterization of the genome of an entomopoxvirus (EPV) which infects the North American migratory grasshopper Melanoplus sanguinipes and other important orthopteran pests. The 236-kbp M. sanguinipes EPV (MsEPV) genome consists of a central coding region bounded by 7-kbp inverted terminal repeats and contains 267 open reading frames (ORFs), of which 107 exhibit similarity to previously described genes. The presence of genes not previously described in poxviruses, and in some cases in any other known virus, suggests significant viral adaptation to the arthropod host and the external environment. Genes predicting interactions with host cellular mechanisms include homologues of the inhibitor of apoptosis protein, stress response protein phosphatase 2C, extracellular matrixin metalloproteases, ubiquitin, calcium binding EF-hand protein, glycosyltransferase, and a triacylglyceride lipase. MsEPV genes with putative functions in prevention and repair of DNA damage include a complete base excision repair pathway (uracil DNA glycosylase, AP endonuclease, DNA polymerase β, and an NAD+-dependent DNA ligase), a photoreactivation repair pathway (cyclobutane pyrimidine dimer photolyase), a LINE-type reverse transcriptase, and a mutT homologue. The presence of these specific repair pathways may represent viral adaptation for repair of environmentally induced DNA damage. The absence of previously described poxvirus enzymes involved in nucleotide metabolism and the presence of a novel thymidylate synthase homologue suggest that MsEPV is heavily reliant on host cell nucleotide pools and the de novo nucleotide biosynthesis pathway. MsEPV and lepidopteran genus B EPVs lack genome colinearity and exhibit a low level of amino acid identity among homologous genes (20 to 59%), perhaps reflecting a significant evolutionary distance between lepidopteran and orthopteran viruses. Divergence between MsEPV and theChordopoxvirinae is indicated by the presence of only 49 identifiable chordopoxvirus homologues, low-level amino acid identity among these genes (20 to 48%), and the presence in MsEPV of 43 novel ORFs in five gene families. Genes common to both poxvirus subfamilies, which include those encoding enzymes involved in RNA transcription and modification, DNA replication, protein processing, virion assembly, and virion structural proteins, define the genetic core of the Poxviridae.
A WiFi-aided reduced inertial sensors-based navigation system with fast embedded implementation of particle filtering

Global Positioning System (GPS) accuracy deteriorates significantly in dense urban areas and it is almost unavailable inside buildings. Thus, an alternative accurate navigation system for such GPS-denied systems is of great importance. In this paper, the popular IEEE 802.11 WLAN (WiFi) is utilized along with a MEMS-based reduced inertial sensors system (RISS) to provide an accurate and smooth positioning system for wheeled vehicles inside buildings based on WiFi received signal strength (RSS). The WiFi/RISS integration is performed based on a fast version of Mixture Particle Filter (PF) which is a nonlinear non-Gaussian filtering algorithm that handles well the complex MEMS inertial sensors and WiFi stochastic nature. The proposed system was physically implemented on an embedded system on an OMAP 600 MHz processor board and tested on a mobile robot. Results show that drifts of RISS are greatly removed and the scattered noisy WiFi positioning is significantly smoothed. Experiments show that the integrated system can provide smooth indoor positioning of 2m accuracy 60% of time.
— Review, Submitted to Jolli — Kees Doets and Jan Van Eijck " the Haskell Road to Logic, Maths and Programming " Texts in Computing Series, King's College Publications

In university curricula, the subjects of programming and maths and logic tend to be separated. For instance, in the typical computer-science curriculum, mathematics and logic are taught according to the (dry) mathematical tradition, perhaps with modern concessions to help the less abstract minds. One sort of concession is to illustrate the implementability of selected mathematical concepts in some programming language, be it C, Fortran, or others. Another sort of concession is to hint at the usefulness of systems like Maple or Mathematica — systems that are probably more appreciated by mathematicians than applied, programming-minded computer scientists. By contrast, programming courses are almost certainly focused on a specific programming paradigm and on a specific language. Logic and maths may show up in such courses as a sort of “application domain”, while competing with many other domains. For instance, a typical course on the programming language Haskell is likely to emphasize Haskell’s strengths in the areas of abstract-data type specification and combinator libraries for domain-specific languages. The authors of the book at hand have succeeded in amalgamating the themes of maths, logic and Haskell programming in a mutually beneficial manner. The “Haskell road to Logic, Maths and Programming” by Kees Doets and Jan van Eijck is not an introduction to functional programming or the programming language Haskell. (There exist such introductions to Haskell, indeed; cf. the excellent textbooks by Thompson and Hudak [12, 5].) By contrast, the book at hand is about logic and maths, while it uses Haskell for the executable and strongly typed manifestation of the various mathematical notions at the level of declarative programming. To the best of the knowledge of this referee, there
Investigation the effect of luminance level on the image in EEG recordings using wigner ville distrubition

The aim of this study is to investigate the relationship between the emotional evaluation and luminance over the P300 compenent observed on EEG records. EEG recordings obtained from 13 healthy individuals were used in the study. Features were obtained using wigner ville distribution (WVD) of these records. According to `accuracy percentage' performance results that the analysis of the obtained features, 92.3% of individual's values in the feature vector obtained from EEG data base of neutral visual stimule in BRIGHT data group to be greater than the ORIGINAL data group were found. The results of studies on the subject of electrophysiology is considered an important parameter that can include methods such as luminance.
Projection mapping by mobile projector robot

In this paper, we propose a method to achieve projection mapping by mobile projector robot. Projection mapping technology become popular and is used in various situations. However, since most of the current projection mappings are based on pre-calibrated fixed projectors, projectable areas become small fixed regions. We have been researching Ubiquitous Display (UD) that is a mobile-projection robot and aims to support the users by projecting various information. In this paper, we propose projection mapping technology by the mobile projector robot. UD has sensors for self-localization, but their accuracy are not enough for achieving projection mapping. Thus, in our method, we first models projection target beforehand. Then, UD moves to the front of the target and obtains point cloud observations of the scene. After that, the pose and position of the model is estimated. By using the estimated pose and position, we can realize the accurate projection mapping based on the mobile projector. Preliminary experiment shows the effectiveness of the proposed method.
A First-Order Logic Based Framework for Verifying Simulations

Modern science relies on simulation techniques for understanding phenomenon, exploring design options, or evaluating models. Assuring the correctness of simulators is a key problem where a multitude of solutions ranging from manual inspection to formal verification are applicable. Formal verification incorporates the rigor necessary but not all simulators are generated from formal specifications. Manual inspection is readily available but lacks the rigor and is prone to errors. In this paper, we describe an automated verification system (AVS) where the constraints that the system must adhere to are specified by the user in general purpose first-order logic. AVS translates these constraints into a verification program that scans the simulator traceand verifies that no constraints are violated. Computer microarchitecture simulations were successfully used to demonstrate the proposed approach. This paper describes the preliminary results and discusses how artificial intelligence techniques can be used to facilitate effective run-time verification of simulators.
Stabilization of the Actomyosin Ring Enables Spermatocyte Cytokinesis in Drosophila

The scaffolding protein anillin recruits septins to the cleavage furrow and constrains actomyosin contractility. Expression of E-cadherin suppresses the cytokinesis defects caused by anillin knockdown and stabilizes F-actin in the furrow, thereby providing an alternate means of coupling the actomyosin ring to the plasma membrane during cytokinesis.
Integration of the Code Generation Approach in the Model-Based Development Process by Means of Tool Certification

The software and hardware quality of safety-critical embedded systems in avionics and the automotive sector is currently ensured by means of extensive assurance procedures (e.g. certification). The way embedded software is developed has changed, such that executable models are used from the early development stages up to implementation in order to design and verify the software behaviour desired (model-based development). New approaches allow the automatic generation of compact controller code directly from the software model via so-called code generators. For an application area, as can be found in the automotive industry for example, it would be desirable to integrate code generators into the model-based development process seamlessly. However, most code generators are not yet certified and therefore the code generated cannot provide the level of confidence needed for safety-related software. This paper proposes a testing approach for code generation tools and contributes to answering the question of how tools such as code generators can be integrated into the model-based development process by means of tool certification.
The Magic Barrier Revisited: Accessing Natural Limitations of Recommender Assessment

Recommender systems nowadays have many applications and are of great economic benefit. Hence, it is imperative for success-oriented companies to compare various of such systems and select the better one for their purposes. To this end, various metrics of predictive accuracy are commonly used, such as the Root Mean Square Error (RMSE), or precision and recall. All these metrics more or less measure how well a recommender system can predict human behaviour. Unfortunately, human behaviour is always associated with some degree of uncertainty, making the evaluation difficult, since it is not clear whether a deviation is system-induced or just originates from the natural variability of human decision making. At this point, some authors speculated that we may be reaching some Magic Barrier where this variability prevents us from getting much more accurate [12, 13, 24]. In this article, we will extend the existing theory of the Magic Barrier [24] into a new probabilistic but a yet pragmatic model. In particular, we will use methods from metrology and physics to develop easy-to-handle quantities for computation to describe the Magic Barrier for different accuracy metrics and provide suggestions for common application. This discussion is substantiated by comprehensive experiments with real users and large-scale simulations on a high-performance cluster.
Towards optimal adaptive routing in 3D NoC with limited vertical bandwidth

3D NoC is one of the most promising technologies that can overcome the performance barrier of traditional multi-core system. While TSV is the most popular method to realize vertical link for 3D IC, it has many fabrication challenges and the number of TSVs can be limited in practice, thereby limiting vertical bandwidth. Some adaptive routing algorithms have been studied to overcome the bandwidth mismatch. However, there has been no previous study on how much improvement can be achieved by such new algorithms. This paper explores 3D NoC's performance upper-bound beyond which we believe no practically realizable algorithm can reach. We also propose a practically realizable algorithm that achieves performance close to the upper-bound.
Increased prevalence of celiac disease among pediatric patients with irritable bowel syndrome: a 6-year prospective cohort study.

IMPORTANCE Recurrent abdominal pain is a prevalent health issue in childhood. Clinical criteria (ie, the Rome criteria) have been established to aid diagnosis. Studies of adults have shown an increased prevalence of celiac disease among patients with irritable bowel syndrome (IBS); few data are available with regard to children. OBJECTIVE To assess the prevalence of celiac disease among children with abdominal pain-related functional gastrointestinal disorders classified according to the Rome criteria. DESIGN, SETTING, PARTICIPANTS Six-year (2006-2012) prospective cohort study conducted in a tertiary referral center for the diagnosis and follow-up of gastrointestinal disorders in southern Italy (ie, Bari, Italy). A total of 992 children (42.8% male; median age, 6.8 years) consecutively referred for recurrent abdominal pain by their primary care physicians without previous investigation were evaluated. EXPOSURE Patients were classified according to Rome III criteria as having IBS, functional dyspepsia, functional abdominal pain, or abdominal migraine. MAIN OUTCOMES AND MEASURES Prevalence of celiac disease in each category of abdominal pain-related functional gastrointestinal disorder. Concentrations of IgA, IgA antitissue transglutaminase, and endomysial antibodies were measured, and a duodenal biopsy was performed in case of antibody positivity. RESULTS A total of 992 children were evaluated: 270 were classified as having IBS, 201 as having functional dyspepsia, and 311 as having functional abdominal pain, and 210 children were excluded from the study because they had an organic disorder or some other functional gastrointestinal disorder (not related to abdominal pain). Serologic testing was performed for all 782 children included in the study, and 15 patients tested positive for celiac disease (12 of 270 patients with IBS [4.4%], 2 of 201 patients with functional dyspepsia [1%], and 1 of 311 patients with functional abdominal pain [0.3%]). Children presenting with IBS have a 4 times higher risk of having celiac disease than children without IBS (odds ratio, 4.19 [95% CI, 2.03-8.49]; P < .001). CONCLUSIONS AND RELEVANCE The prevalence of celiac disease among children with IBS is 4 times higher than among the general pediatric population. Rome III classification of abdominal pain-related functional gastrointestinal disorders might help to select children who deserve screening for celiac disease.
DIGITAL SIGNATURES FOR AUTOMOBILES ? !

Identifying and tracking vehicles is of major importance for today’s logistics. The common non-electronic solutions are both easy to forge and difficult to use over distances. Combining the successful technologies of digital signatures and the Global Positioning System allows the secure identification of any car and checking its location. Both types of information can improve the fleet management and offer new fields of applications for both the private and the public sector.
On the Field Level Loss of a VHT PPDU in a MIMO-OFDM System for a WiFi Direct 802.11ac WLAN

This paper proposes a methodology to reduce Packet Error Rate (PER) of a Very High Throughput (VHT) physical layer frame in a WiFi Direct (WD) 802.11ac Wireless Local Area Network (WLAN) by examining the loss of individual fields. To this end, a 2x2 Multiple Input Multiple Output - Orthogonal Frequency Division Multiplexing (MIMO-OFDM) transceiver is implemented under a TGn multipath fading channel D. The system generates VHT Physical Layer Conformance Procedure (PCLP)- Protocol Data Unit (PPDU) frames which are passed through the TGn channel D. Thereafter performance of the system is determined by calculating the overall PER. Then the impact of each field of the VHT PPDU is analysed separately in order to estimate their percentage loss in the overall PER. The field level scrutinization of the PER provides a design level insight into the VHT PPDU performance. Based on simulation results, an efficient methodology is proposed to reduce the overall PER without changing the hardware of the current 802.11ac system. In addition, since a detailed packet loss analysis can determine the efficiency of a rate selection algorithm. Therefore the findings of the paper can also be taken into account while designing an efficient rate selection algorithms for the WD 802.11ac WLAN.
Improved Predictions of the Geographic Distribution of Invasive Plants Using Climatic Niche Models

Climatic niche models for invasive plants are usually constructed with occurrence records taken from literature and collections. Because these data neither discriminate among life-cycle stages of plants (adult or juvenile) nor the origin of individuals (naturally established or man-planted), the resulting models may mispredict the distribution ranges of these species. We propose that more accurate predictions could be obtained by modelling climatic niches with data of naturally established individuals, particularly with occurrence records of juvenile plants because this would restrict the predictions of models to those sites where climatic conditions allow the recruitment of the species. To test this proposal, we focused on the Peruvian peppertree (Schinus molle), a South American species that has largely invaded Mexico. Three climatic niche models were constructed for this species using high-resolution dataset gathered in the field. The first model included all occurrence records, irrespective of the life-cycle stage or origin of peppertrees (generalized niche model). The second model only included occurrence records of naturally established mature individuals (adult niche model), while the third model was constructed with occurrence records of naturally established juvenile plants (regeneration niche model). When models were compared, the generalized climatic niche model predicted the presence of peppertrees in sites located farther beyond the climatic thresholds that naturally established individuals can tolerate, suggesting that human activities influence the distribution of this invasive species. The adult and regeneration climatic niche models concurred in their predictions about the distribution of peppertrees, suggesting that naturally established adult trees only occur in sites where climatic conditions allow the recruitment of juvenile stages. These results support the proposal that climatic niches of invasive plants should be modelled with data of naturally established individuals because this improves the accuracy of predictions about their distribution ranges.
Development of engine control technique for flex-fuel motorcycle

This paper presents the development of control technique for an internal combustion engine which controls fuel injections for various gasoline/ethanol mixtures. Yamaha motorcycle, Spark 135i, is tested to find the injection timing for E0, E20, E85 and E100, respectivelty. The experiments are conducted with a speed upto 8000 rpm and working load between 0 – 95 percents of the full span in Engine Dynamometer. A signal from an oxygen sensor installed at the exhaust pipe are sent to the fuel injection system and served as a feedback signal, in order to maintain a complete combustion during a testing period. The result shows that the injection timing for E20, E85 and E100 are longer than the one for E0 8.0 percents, 34.2 percents and 44.8 percents. The approximate injection timing at different ethanol ratio can be determined by using these experiments with the error of −6.8 – 7.3 percents. In addition, The results can be used to develop an injection control system for flexible fuel
Self-motion planning of functionally redundant PUMA560 manipulator via quadratic-program formulation and solution

In this paper, a scheme is proposed and investigated for the self-motion planning of PUMA560 robot arm, a functionally redundant manipulator (if the end-effector positioning is only considered). As joint physical constraints always exist in robot arms, we incorporate both the joint angle limits and joint velocity limits into the self-motion planning scheme as well. This scheme is formulated as a quadratic program (QP) subject to equality and bound constraints, and then solved online by using the LVI-based primal-dual neural network (LVI-PDNN). Computer simulations based on PUMA560 manipulator substantiate the efficacy of this self-motion planning scheme.
High prevalence of iron deficiency anemia in infants attending a well-baby clinic in northwestern Saudi Arabia

Objectives: To determine the prevalence of iron deficiency anemia (IDA) in infants aged 6-24 months attending the well-baby clinic in primary health care centers (PHCCs). Methods: This cross-sectional epidemiological study was conducted in the Northwestern region of Saudi Arabia from April 2013 to January 2014 in 5 randomly selected PHCCs. The sample size comprised 500 infants, with 100 infants screened from each PHC. Blood samples were obtained for estimation of hemoglobin and serum ferritin levels. Results: Out of 500 infants, 246 (49%) cases had IDA with a mean age of 15.4 ± 6.5 months, with 130 (53%) males, and 116 (47%) females (p=0367). Out of 274 Saudi infants, 126 (51%) cases were diagnosed as IDA. Conclusion: Iron deficiency anemia is very common in Saudi infants aged 6-24 months. A national program directed for primary prevention and early discovery of IDA in Saudi infants is recommended at PHCCs system. Iron supplementation is to be given at early infancy with universal screening of hemoglobin and ferritin estimation to all infants at 12 months of age.
Selfish attacks and detection in cognitive radio Ad-Hoc networks

Cognitive radio is an opportunistic communication technology designed to help unlicensed users utilize the maximum available licensed bandwidth. Cognitive radio has recently attracted a lot of research interest. However, little research has been done regarding security in cognitive radio, while much more research has been done on spectrum sensing and allocation problems. A selfish cognitive radio node can occupy all or part of the resources of multiple channels, prohibiting other cognitive radio nodes from accessing these resources. Selfish cognitive radio attacks are a serious security problem because they significantly degrade the performance of a cognitive radio network. In this article we identify a new selfish attack type in cognitive radio ad-hoc networks and propose an easy and efficient selfish cognitive radio attack detection technique, called COOPON, with multichannel resources by cooperative neighboring cognitive radio nodes.