Incremental and Modular Context-sensitive Analysis

Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many situations in which modifications are small and isolated within a few components, and it is desirable to reuse as much as possible previous analysis results. This has been achieved to date through incremental global analysis fixpoint algorithms that achieve cost reductions at fine levels of granularity, such as changes in program lines. However, these fine-grained techniques are neither directly applicable to modular programs nor are they designed to take advantage of modular structures. This paper describes, implements, and evaluates an algorithm that performs efficient context-sensitive analysis incrementally on modular partitions of programs. The experimental results show that the proposed modular algorithm shows significant improvements, in both time and memory consumption, when compared to existing non-modular, fine-grain incremental analysis techniques. Furthermore, thanks to the proposed intermodular propagation of analysis information, our algorithm also outperforms traditional modular analysis even when analyzing from scratch.

Identifying Mild Hepatic Encephalopathy Based on Multi-Layer Modular Algorithm and Machine Learning

Hepatic encephalopathy (HE) is a neurocognitive dysfunction based on metabolic disorders caused by severe liver disease, which has a high one-year mortality. Mild hepatic encephalopathy (MHE) has a high risk of converting to overt HE, and thus the accurate identification of MHE from cirrhosis with no HE (noHE) is of great significance in reducing mortality. Previously, most studies focused on studying abnormality in the static brain networks of MHE to find biomarkers. In this study, we aimed to use multi-layer modular algorithm to study abnormality in dynamic graph properties of brain network in MHE patients and construct a machine learning model to identify individual MHE from noHE. Here, a time length of 500-second resting-state functional MRI data were collected from 41 healthy subjects, 32 noHE patients and 30 MHE patients. Multi-layer modular algorithm was performed on dynamic brain functional connectivity graph. The connection-stability score was used to characterize the loyalty in each brain network module. Nodal flexibility, cohesion and disjointness were calculated to describe how the node changes the network affiliation across time. Results show that significant differences between MHE and noHE were found merely in nodal disjointness in higher cognitive network modules (ventral attention, fronto-parietal, default mode networks) and these abnormalities were associated with the decline in patients’ attention and visual memory function evaluated by Digit Symbol Test. Finally, feature extraction from node disjointness with the support vector machine classifier showed an accuracy of 88.71% in discrimination of MHE from noHE, which was verified by different window sizes, modular partition parameters and machine learning parameters. All these results show that abnormal nodal disjointness in higher cognitive networks during brain network evolution can be seemed as a biomarker for identification of MHE, which help us understand the disease mechanism of MHE at a fine scale.

Non-submodular model for group profit maximization problem in social networks

In social networks, there exist many kinds of groups in which people may have the same interests, hobbies, or political orientation. Sometimes, group decisions are made by simply majority, which means that most of the users in this group reach an agreement, such as US Presidential Elections. A group is called activated if $$\beta$$ β percent of users are influenced in the group. Enterprise will gain income from all influenced groups. Simultaneously, to propagate influence, enterprise needs pay advertisement diffusion cost. Group profit maximization (GPM) problem aims to pick k seeds to maximize the expected profit that considers the benefit of influenced groups with the diffusion cost. GPM is proved to be NP-hard and the objective function is proved to be neither submodular nor supermodular. An upper bound and a lower bound which are difference of two submodular functions are designed. We propose a submodular–modular algorithm (SMA) to solve the difference of two submodular functions and SMA is shown to converge to a local optimal. We present an randomized algorithm based on weighted group coverage maximization for GPM and apply sandwich framework to get theoretical results. Our experiments verify the efficiency of our methods.

smORFer: a modular algorithm to detect small ORFs in prokaryotes

ABSTRACTEmerging evidence places small proteins (≤ 50 amino acids) more centrally in physiological processes. Yet, the identification of functional small proteins and the systematic genome annotation of their cognate small open reading frames (smORFs) remains challenging both experimentally and computationally. Ribosome profiling or Ribo-Seq (that is a deep sequencing of ribosome-protected fragments) enables detecting of actively translated open-reading frames (ORFs) and empirical annotation of coding sequences (CDSs) using the in-register translation pattern that is characteristic for genuinely translating ribosomes. Multiple identifiers of ORFs that use 3-nt periodicity in Ribo-Seq data sets have been successful in eukaryotic smORF annotation. Yet, they have difficulties evaluating prokaryotic genomes due to the unique architecture of prokaryotic genomes (e.g. polycistronic messages, overlapping ORFs, leaderless translation, non-canonical initiation etc.). Here, we present our new algorithm, smORFer, which performs with high accuracy in prokaryotic organisms in detecting smORFs. The unique feature of smORFer is that it uses integrated approach and considers structural features of the genetic sequence along with in-register translation and uses Fourier transform to convert these parameters into a measurable score to faithfully select smORFs. The algorithm is executed in a modular way and dependent on the data available for a particular organism allows using different modules for smORF search.

Automatically Neutralizing Subjective Bias in Text

Texts like news, encyclopedias, and some social media strive for objectivity. Yet bias in the form of inappropriate subjectivity — introducing attitudes via framing, presupposing truth, and casting doubt — remains ubiquitous. This kind of bias erodes our collective trust and fuels social conflict. To address this issue, we introduce a novel testbed for natural language generation: automatically bringing inappropriately subjective text into a neutral point of view (“neutralizing” biased text). We also offer the first parallel corpus of biased language. The corpus contains 180,000 sentence pairs and originates from Wikipedia edits that removed various framings, presuppositions, and attitudes from biased sentences. Last, we propose two strong encoder-decoder baselines for the task. A straightforward yet opaque concurrent system uses a BERT encoder to identify subjective words as part of the generation process. An interpretable and controllable modular algorithm separates these steps, using (1) a BERT-based classifier to identify problematic words and (2) a novel join embedding through which the classifier can edit the hidden states of the encoder. Large-scale human evaluation across four domains (encyclopedias, news headlines, books, and political speeches) suggests that these algorithms are a first step towards the automatic identification and reduction of bias.

Advisability use of Arduino controllers in automation of refrigeration devices

The advantages and disadvantages of Arduino controllers in relation to refrigeration automation systems are considered. An example of using the Arduino controller for creating an automation and monitoring system for a non-standard laboratory refrigeration unit is presented. Arduino is a computing hardware platform for affordable design, the main components of which are the microcontroller board with input and output elements, as well as the Processing / Wiring programming environment in a programming language similar to C, C ++. Arduino can be used to create standalone interactive objects, connect to the software that is used on your computer. The main advantage of using Arduino-based controllers is the availability of information about the microcontroller card, the specification of the elements, the software. Information is freely accessible and can be used by developers in any field. Microcontroller boards have a special structure, due to which, if necessary, it can be expanded by adding new components to the device. Thus, the presented platform allows to improve or change the operation of the automation system of the refrigeration unit, depending on the requirements of the consumer of the cold. The presented variant of automation of refrigeration systems gives an opportunity to come up with a new approach to the design of refrigeration units. During the development of the automation system, a modular algorithm for controlling and protecting the refrigeration unit was created in all its variants, the necessary peripheral equipment and signal receivers were selected. It is shown that the value ratio - functionality of these devices significantly exceeds the similar indicators of the world's leading manufacturers of refrigeration automation systems.

Motion Artifact Reduction for Wrist-Worn Photoplethysmograph Sensors Based on Different Wavelengths

Long-term heart rate (HR) monitoring by wrist-worn photoplethysmograph (PPG) sensors enables the assessment of health conditions during daily life with high user comfort. However, PPG signals are vulnerable to motion artifacts (MAs), which significantly affect the accuracy of estimated physiological parameters such as HR. This paper proposes a novel modular algorithm framework for MA removal based on different wavelengths for wrist-worn PPG sensors. The framework uses a green PPG signal for HR monitoring and an infrared PPG signal as the motion reference. The proposed framework includes four main steps: motion detection, motion removal using continuous wavelet transform, approximate HR estimation and signal reconstruction. The proposed algorithm is evaluated against an electrocardiogram (ECG) in terms of HR error for a dataset of 6 healthy subjects performing 21 types of motion. The proposed MA removal method reduced the average error in HR estimation from 4.3, 3.0 and 3.8 bpm to 0.6, 1.0 and 2.1 bpm in periodic, random, and continuous non-periodic motion situations, respectively.

Aero-Structural Optimization of Joined-Wing Aircraft

Joined-wing aircraft due to its energy characteristics is a suitable configuration for electric aircraft when designed properly. However, because of the specific for this aircraft phenomenons (e.g. static indeterminacy of structure, aerodynamic interference of lifting surfaces) it demands more complicated methods to model its behavior than a traditional aircraft configurations. For these reasons the aero-structural optimization process is proposed for joined-wing aircrafts that is suitable for preliminary design. The process is a global search, modular algorithm based on automatic geometry generator, FEM solver and aerodynamic panel method. The range of aircraft was assumed as an objective function. The algorithm was successfully tested on UAV aircraft. The improvement of 19% of total aircraft range is achieved in comparison to baseline aircraft. Time of evaluation of this global search algorithm is similar to the time characteristic for local optimization methods. It allows to reduce the time and costs of preliminary design of joined-wing.