Miracle-dz/UniFAR-FTUs huggingface dataset:
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper)

In the past, many static analyses have been created in academia, but only a few of them have found widespread use in industry. Those analyses which are adopted by developers usually have IDE support in the form of plugins, without which developers have no convenient mechanism to use the analysis. Hence, the key to making static analyses more accessible to developers is to integrate the analyses into IDEs and editors. However, integrating static analyses into IDEs is non-trivial: different IDEs have different UI workflows and APIs, expertise in those matters is required to write such plugins, and analysis experts are not typically familiar with doing this. As a result, especially in academia, most analysis tools are headless and only have command-line interfaces. To make static analyses more usable, we propose MagpieBridge - a general approach to integrating static analyses into IDEs and editors. MagpieBridge reduces the mxn complexity problem of integrating m analyses into n IDEs to m+n complexity because each analysis and type of plugin need be done just once for MagpieBridge itself. We demonstrate our approach by integrating two existing analyses, Ariadne and CogniCrypt, into IDEs; these two analyses illustrate the generality of MagpieBridge, as they are based on different program analysis frameworks - WALA and Soot respectively - for different application areas - machine learning and security - and different programming languages - Python and Java. We show further generality of MagpieBridge by using multiple popular IDEs and editors, such as Eclipse, IntelliJ, PyCharm, Jupyter, Sublime Text and even Emacs and Vim.
Efficient Data-Mining Methods Enabling Genome-Wide Computing

The volume and diversity of the data acquired in biomedical applications offer unique challenges to data mining researchers. The solutions that effectively turn data into information and knowledge will advance not only the field of data mining but also the understanding of the underlying science. This paper will present new computational challenges faced by designing methods for enabling genome-wide computing and potential approaches to tackles these challenges. A mouse reference population called Collaborative Cross is used as an example to illustrate computational difficulties in population-level genome-wide analysis.
Algorithm Implementation Requirements and Usage Guidance for DNSSEC

The DNSSEC protocol makes use of various cryptographic algorithms in order to provide authentication of DNS data and proof of non- existence. To ensure interoperability between DNS resolvers and DNS authoritative servers, it is necessary to specify a set of algorithm implementation requirements and usage guidelines to ensure that there is at least one algorithm that all implementations support. This document defines the current algorithm implementation requirements and usage guidance for DNSSEC. This document obsoletes RFC6944.
A 12 bit 2.9 GS/s DAC With IM3  $ ≪ -$60 dBc Beyond 1 GHz in 65 nm CMOS

A 12 bit 2.9 GS/s current-steering DAC implemented in 65 nm CMOS is presented, with an IM3 < ¿-60 dBc beyond 1 GHz while driving a 50 ¿ load with an output swing of 2.5 Vppd and dissipating a power of 188 mW. The SFDR measured at 2.9&nbsp; GS/s is better than 60 dB beyond 340 MHz while the SFDR measured at 1.6 GS/s is better than 60 dB beyond 440 MHz. The increase in performance at high-frequencies, compared to previously published results, is mainly obtained by adding local cascodes on top of the current-switches with ¿always-ON¿ biasing.
Stochastic models for performance analyses of iterative algorithms in distributed environments

This research aims at creating a framework to analyze the performance of iterative algorithms in distributed environments. The parallelization of certain iterative algorithms is indeed a crucial issue for the e cient solution of large or complex optimization problems. Diverse implementation techniques for such parallelizations have become popular. They are examined here with a view to understanding their impact on the algorithm behavior in a distributed environment. Several theoretical results concerning the su cient conditions for, and speed of, convergence for parallel iterative algorithms are available. However, there is a gap between those results and what is relevant to the user at the application level. In particular, an estimate of the algorithm execution time is often desirable. The performance characterization presented in this dissertation follows a stochastic approach partially based on a Markov process. It addresses di erent characteristics of the algorithmic execution time such as mean values, standard deviations and rare events. It is shown how this approach can ll the aforementioned gap thanks to stochastic models, which take into account the distributed environment used to run the algorithm. We concentrate on distributed-memory systems. The results of this research enable the end-user to make informed choices about what combinations of distributed environment and implementation style should lead to appropriate execution time distributions. v
Everyday life information experiences in Twitter: a grounded theory

Introduction. This paper presents the findings from a project that investigated people's everyday life information experiences on Twitter. Method. The project employed constructivist grounded theory methodology, which emphasizes personal, subjective meaning-making or construction of reality. Eleven people from Boston, Massachusetts participated in the study. Each person participated in two in-depth interviews. Analysis. The study used the methods of constant comparison to create codes and categories towards constructing a new substantive model of information experiences on Twitter in the context of everyday life. Results. The substantive model constructed consists of twelve categories: being aware of audiences; making sense of uncertainty; being part of a community; conversing freely; observing the world; having instant sources; being humorous; documenting life moments; being dependent; selfregulating; broadening horizons; and valuing diverse voices. Conclusion. A conceptual model of people's everyday life experiences on Twitter was developed from an innovative information experience lens. The model can be used to inform research and design, and to lead to better digital, social and personal outcomes related to social media.
Integration of Real-Time Autonomous UAV with Commercial R/C Aircraft

The goal of this research was to simulate and test the autonomous quadrotor type UAV (Draganflyer). An attachable position sensor was added to the UAV without any modification of commercial R/C aircraft and control of the vehicle in Matlab program. In this project, Vicon Motion Capture system was used to obtain a position and quadrotor’s body angle. Four pilot inputs, the desired thrust and the desired roll, pitch, and yaw rates were sent to the quadrotor’s microcontroller using the R/C transmitter and receiver. The quadrotor showed promising characteristics and has the potential to be useful in several future research projects.
A Typing Discipline for Hardware Interfaces

Modern Systems-on-a-Chip (SoC) are constructed by composition of IP (Intellectual Property) Cores with the communication between these IP Cores being governed by well described interaction protocols. However, there is a disconnect between the machine readable specification of these protocols and the verification of their implementation in known hardware description languages. Although tools can be written to address such separation of concerns, the tooling is often hand written and used to check hardware designs a posteriori. We have developed a dependent type-system and proof-of-concept modelling language to reason about the physical structure of hardware interfaces using user provided descriptions. Our type-system provides correct-by-construction guarantees that the interfaces on an IP Core will be well-typed if they adhere to a specified standard.
Construction automatique d'outils et de ressources linguistiques à partir de corpus parallèles. (Automatic creation of linguistic tools and resources from parallel corpora)

Cette these porte sur la construction automatique d’outils et de ressources pour l’analyse linguistique de textes des langues peu dotees. Nous proposons une approche utilisant des reseaux de neurones recurrents (RNN - Recurrent Neural Networks) et n'ayant besoin que d'un corpus parallele ou mutli-parallele entre une langue source bien dotee et une ou plusieurs langues cibles moins bien ou peu dotees. Ce corpus parallele ou mutli-parallele est utilise pour la construction d'une representation multilingue des mots des langues source et cible. Nous avons utilise cette representation multilingue pour l’apprentissage de nos modeles neuronaux et nous avons explore deux architectures neuronales : les RNN simples et les RNN bidirectionnels. Nous avons aussi propose plusieurs variantes des RNN pour la prise en compte d'informations linguistiques de bas niveau (informations morpho-syntaxiques) durant le processus de construction d'annotateurs linguistiques de niveau superieur (SuperSenses et dependances syntaxiques). Nous avons demontre la genericite de notre approche sur plusieurs langues ainsi que sur plusieurs tâches d'annotation linguistique. Nous avons construit trois types d'annotateurs linguistiques multilingues: annotateurs morpho-syntaxiques, annotateurs en SuperSenses et annotateurs en dependances syntaxiques, avec des performances tres satisfaisantes. Notre approche a les avantages suivants : (a) elle n'utilise aucune information d'alignement des mots, (b) aucune connaissance concernant les langues cibles traitees n'est requise au prealable (notre seule supposition est que, les langues source et cible n'ont pas une grande divergence syntaxique), ce qui rend notre approche applicable pour le traitement d'un tres grand eventail de langues peu dotees, (c) elle permet la construction d'annotateurs multilingues authentiques (un annotateur pour N langages).
Prototyping of a 5 GHz WLAN Reconfigurable System-on-Chip

SUMMARY In this paper the development of the prototyping platform of a partly reconfigurable System-on-Chip (SoC) for wireless LANs, is described. It is designed to realize both HIPERLAN/2 and IEEE 802.11a wireless LAN systems. The current version of the system includes Mobile Terminal and AP functionality only for indoor use. Future firmware versions (configurations for its reconfigurable part) will upgrade system’s functionality to allow its operation in outdoor environments and in wireless point-to-point links. The target System-on-Chip implementation platform will include instruction set processor cores, ASIC blocks and embedded reconfigurable blocks to achieve an optimal balance between implementation efficiency (area, power, performance) and flexibility. The system’s prototype is developed on the ARM integrator platform and all firmware versions
Prevalence of Hypertension and its Determinants among Policemen in a City of Haryana, India

Introduction: Noncommunicable diseases (NCDs) kill 40 million people each year, equivalent to 70% of all deaths globally. Cardiovascular diseases account for most NCD deaths or 17.7 million people annually. Police work has been regarded by some researchers as one of the most stressful occupations in the world, and coronary heart disease has been identified as a major cause of mortality in this population. Materials and Methods: A cross-sectional study was carried out during July 2016–June 2017 among 450 policemen posted in Rohtak city of Haryana selected randomly. The investigator made two measurements of blood pressure. Data were collected using predesigned, pretested, semi-structured interview schedule, and analyzed using the Statistical Package for the Social Sciences version 20.0. Results: Of 450 participants, 164 (36.4%) participants were found to be hypertensive. Age of study participants, duration of service, rank, and education are significantly associated with the prevalence of hypertension (HTN) among policemen. Conclusion: HTN in policemen has emerged as an important public health problem. Knowledge of risk factors for HTN may give tracks for prevention in this population. Therefore, it is the need of hour to devise a sound screening strategy to diagnose HTN among policemen and devise a comprehensive strategy for the management of HTN.
Integrity Considerations for Secure Computer Systems

Abstract : An integrity policy defines formal access constraints which, if effectively enforced, protect data from improper modification. The author identifies the integrity problems posed by a secure military computer utility. Integrity policies addressing these problems are developed and their effectiveness evaluated. A prototype secure computer utility, Multics, is then used as a testbed for the application of the developed access controls.
Hyodeoxycholic acid protects the neurovascular unit against oxygen-glucose deprivation and reoxygenation-induced injury in vitro

Calculus bovis is commonly used for the treatment of stroke in traditional Chinese medicine. Hyodeoxycholic acid (HDCA) is a bioactive compound extracted from calculus bovis. When combined with cholic acid, baicalin and jas-minoidin, HDCA prevents hypoxia-reoxygenation-induced brain injury by suppressing endoplasmic reticulum stress-mediated apoptotic signaling. However, the effects of HDCA in ischemic stroke injury have not yet been studied. Neurovascular unit (NVU) dysfunction occurs in ischemic stroke. Therefore, in this study, we investigated the effects of HDCA on the NVU under ischemic conditions in vitro. We co-cultured primary brain microvascular endothelial cells, neurons and astrocytes using a transwell chamber co-culture system. The NVU was pre-treated with 10.16 or 2.54 μg/mL HDCA for 24 hours before exposure to oxygen-glucose deprivation for 1 hour. The cell counting kit-8 assay was used to detect cell activity. Flow cytometry and terminal deoxynucleotidyl transferase-mediated dUTP nick end labeling were used to assess apoptosis. Enzyme-linked immunosorbent assay was used to measure the expression levels of inflammatory cytokines, including interleukin-1β, interleukin-6 and tumor necrosis factor-α, and neurotrophic factors, including brain-derived neurotrophic factor and glial cell line-derived neurotrophic factor. Oxidative stress-related factors, such as superoxide dismutase, nitric oxide, malondialdehyde and γ-glutamyltransferase, were measured using kits. Pretreatment with HDCA significantly decreased blood-brain barrier permeability and neuronal apoptosis, significantly increased transendothelial electrical resistance and γ-glutamyltransferase activity, attenuated oxidative stress damage and the release of inflammatory cytokines, and increased brain-derived neurotrophic factor and glial cell line-derived neurotrophic factor expression. Our findings suggest that HDCA maintains NVU morphological integrity and function by modulating inflammation, oxidation stress, apoptosis, and the expression of neurotrophic factors. Therefore, HDCA may have therapeutic potential in the clinical management of ischemic stroke. This study was approved by the Ethics Committee of Experimental Animals of Beijing University of Chinese Medicine (approval No. BUCM-3-2016040201-2003) in April 2016.
Multiple myeloma in Saudi Arabia: Consensus of the Saudi lymphoma/myeloma group

Multiple myeloma (MM) is a relatively uncommon cancer in Saudi Arabia. It is estimated that MM and lymphomas accounted for 9.6%–11% of cancer-related deaths in the Kingdom in 2014. However, published data on the characteristics and treatment patterns of, and outcomes for, MM patients in Saudi Arabia are scant. The Saudi Lymphoma/Myeloma held the “Scientific Gap Analysis Advisory Board” meeting in Riyadh on January 26, 2018, which represented six Saudi specialized institutions, in order to discuss different aspects of MM management in Saudi Arabia and to reach a consensus statement in each aspect of MM in Saudi Arabia. This consensus meeting brought together a panel of Saudi experts in MM to share their views on current trends and practice in Saudi Arabia and how these compare with the global picture.
Mesenchymal stromal cell therapy for damaged retinal ganglion cells, is gold all that glitters?

Mesenchymal stromal cells are an excellent source of stem cells because they are isolated from adult tissues or perinatal derivatives, avoiding the ethical concerns that encumber embryonic stem cells. In preclinical models, it has been shown that mesenchymal stromal cells have neuroprotective and immunomodulatory properties, both of which are ideal for central nervous system treatment and repair. Here we will review the current literature on mesenchymal stromal cells, focusing on bone marrow mesenchymal stromal cells, adipose-derived mesenchymal stromal cells and mesenchymal stromal cells from the umbilical cord stroma, i.e., Wharton’s jelly mesenchymal stromal cells. Finally, we will discuss the use of these cells to alleviate retinal ganglion cell degeneration following axonal trauma.
Potential of herbal constituents as new natural leads against helminthiasis: A neglected tropical disease

The WHO reports that billions of people and animals in tropical and subtropical regions are affected by helminthiasis as neglected tropical disease. It is predominant in underdeveloped areas; nevertheless, the increase in the number of travelers and migrants has made this infection more common. The current mass drug treatment produces severe side effects and many strains of helminths are resistant to them. None of the chemotherapeutic drugs meets the ideal requirements of anthelmintics, such as broad spectrum of activity, single dose cure, free from side effect and cost-effectiveness. Today, many researchers are screening the traditional herbal system in search of the anthelmintic herbal constituents which overcome all the problems of synthetic drugs. Several researchers proclaim anthelmintic activity of herbal medicines by using different experimental models. The present review demonstrates natural product drug discovery, outlining potential of herbal constituents from natural sources as natural leads against helminthiasis.
Le projet MTM - Reconnaissance de la parole et du locuteur sur une plateforme embarqu´ ee

This paper presents integration of speech technologies into an embedded platform. This work is part of the MTM project, funded by the European Community, which consists in designing a new Personal Digital Assistant offering UMTS connectivity and extended multimedia capabilities. Among the project goals is the ability for the applications to feature speech recognition and speaker recognition as part of the human interface. Speech and speaker recognition systems have been developed, capable of functioning in both local (on the PDA) and remote (client/server) modes. Software interfaces have been developed to offer access to these technologies for easy integration into the PDA applications.
Offline dictionary-based compression

Dictionary-based modelling is the mechanism used in many practical compression schemes. We use the full message (or a large block of it) to infer a complete dictionary in advance, and include an explicit representation of the dictionary as part of the compressed message. Intuitively, the advantage of this offline approach is that with the benefit of having access to all of the message, it should be possible to optimize the choice of phrases so as to maximize compression performance. Indeed, we demonstrate that very good compression can be attained by an offline method without compromising the fast decoding that is a distinguishing characteristic of dictionary-based techniques. Several nontrivial sources of overhead, in terms of both computation resources required to perform the compression, and bits generated into the compressed message, have to be carefully managed as part of the offline process. To meet this challenge, we have developed a novel phrase derivation method and a compact dictionary encoding. In combination these two techniques produce the compression scheme RE-PAIR, which is highly efficient, particularly in decompression.
Speaker identification based on the time-delay hierarchical mixture of experts

In this paper, we explore the hierarchical mixture of experts (HME) architecture for a substantial problem, that of text-dependent speaker identification. For a specific multiway classification, we propose a generalized Bernolli density instead of the multinomial logit density. Time-delay technique is also introduced to HME for spatio-temporal processing. Using the proposed density and the time-delay HME along with the EM algorithm, we show that the system has a satisfactory performance and yields significantly fast training.
Image sequence stabilisation: motion vector integration (MVI) versus frame position smoothing (FPS)

Image sequence stabilisation is the task of removing unwanted camera movements (jitter) from a video sequence. While these jitter can be translational, rotational or zoom based, translational cases have a larger influence on visual perception and are most likely to result in visual appearance degradation that will upset the viewer. While most of the research in the area of image stabilisation has been concentrated in the motion estimation part, with the goal of accurate global motion estimation, the correction part has been given less attention. Two techniques have been reported for the correction of translational jitter: motion vector integration (MVI) and frame position smoothing (FPS). While most reported stabilisation systems have employed MVI, this paper shows that FPS outperforms this technique in that jitter stabilisation is accomplished while successfully preserving intentional camera motions, without the need to compromise as is the case in MVI.
Testing microwave devices under different source impedances: a novel technique for on-line measurement of source and device reflection coefficients

This paper describes a new approach for fast and accurate determination of the source reflection coefficient in microwave source-pull measurements. To the authors' knowledge, this is the only technique that allows the simultaneous measurement of the source and the DUT gammas. A traditional vector network analyzer is used as a three-channel receiver. The calibration procedure is based on a new reflectometer model that extends the traditional error box concept. Experimental results are presented and compared to data obtained with traditional techniques.
Product definition for effective customer order processing: a customer-oriented approach

Product definition is both critical and time consuming. A customer-oriented approach (COA) for product definition in customer order processing has been proposed and applied to an electronic product. By identifying customer requirement patterns and functional requirement templates, a customer oriented classificatory knowledge base is constructed to facilitate translating individual customer requirements to product specifications responsively.
A coded OFDM system for time-varying multipath Rayleigh fading environment

An OFDM system is considered as an effective technique in high data rate transmission under multipath fading channels. In this paper, we analyze the influence of interference due to the time variation and delay spread of mobile radio channels on an OFDM system. We obtain the bit error rate (BER) performance of the 16-QAM OFDM system. Then, we investigate the performance of the Reed-Solomon (RS) coded 16-QAM OFDM system when the number of sub-carriers varies. In the investigation, we assume that the information transmission rate and total bandwidth expansion (due to coding, guard interval, and number of sub-carriers) are fixed. Under this condition, it is observed that there are optimum numbers of sub-carriers that minimize the post decoding symbol error probability of the RS code for various channel states.