nils-herrmann/clean_scirepeval huggingface dataset:
Continuous software engineering: A roadmap and agenda

Throughout its short history, software development has been characterized by harmful disconnects between important activities such as planning, development and implementation. The problem is further exacerbated by the episodic and infrequent performance of activities such as planning, testing, integration and releases. Several emerging phenomena reflect attempts to address these problems. For example, Continuous Integration is a practice which has emerged to eliminate discontinuities between development and deployment. In a similar vein, the recent emphasis on DevOps recognizes that the integration between software development and its operational deployment needs to be a continuous one. We argue a similar continuity is required between business strategy and development, BizDev being the term we coin for this. These disconnects are even more problematic given the need for reliability and resilience in the complex and data-intensive systems being developed today. We identify a number of continuous activities which together we label as ‘Continuous ∗’ (i.e. Continuous Star) which we present as part of an overall roadmap for Continuous Software engineering. We argue for a continuous (but not necessarily rapid) software engineering delivery pipeline. We conclude the paper with a research agenda.
Deep Rewiring: Training very sparse deep networks

Neuromorphic hardware tends to pose limits on the connectivity of deep networks that one can run on them. But also generic hardware and software implementations of deep learning run more efficiently on sparse networks. Several methods exist for pruning connections of a neural network after it was trained without connectivity constraints. We present an algorithm, DEEP R, that enables us to train directly a sparsely connected neural network. DEEP R automatically rewires the network during supervised training so that connections are there where they are most needed for the task, while its total number is all the time strictly bounded. We demonstrate that DEEP R can be used to train very sparse feedforward and recurrent neural networks on standard benchmark tasks with just a minor loss in performance. DEEP R is based on a rigorous theoretical foundation that views rewiring as stochastic sampling of network configurations from a posterior.
Hairstyle recommendation system for women

A perfect hairstyle enhanced anyone's self-confidence, especially women. However, in order to choose a good hairstyle, one was limited to rely on knowledge of a beauty expert. This paper presented a hairstyle recommendation system for women based on hairstyle experts' knowledge and a face shape classification scheme that the authors devised in a previous study. The system showed a user's face with a recommended or not recommended hairstyle on a monitor.
Inspection of pole-like structures using a vision-controlled VTOL UAV and shared autonomy

We present an approach for the inspection of vertical pole-like infrastructure using a vertical take-off and landing (VTOL) unmanned aerial vehicle and shared autonomy. Inspecting vertical structures, such as light and power distribution poles, is a time consuming, dangerous and expensive task with high operator workload. To address these issues, we propose a VTOL platform that can operate at close-quarters, whilst maintaining a safe stand-off distance and rejecting environmental disturbances. We adopt an Image based Visual Servoing (IBVS) technique using only two line features to stabilise the vehicle with respect to a pole. Visual, inertial and sonar data are used, making the approach suitable for indoor or GPS-denied environments. Results from simulation and outdoor flight experiments demonstrate the system is able to successfully inspect and circumnavigate a pole.
Drawing lithography for microneedles: a review of fundamentals and biomedical applications.

A microneedle is a three-dimensional (3D) micromechanical structure and has been in the spotlight recently as a drug delivery system (DDS). Because a microneedle delivers the target drug after penetrating the skin barrier, the therapeutic effects of microneedles proceed from its 3D structural geometry. Various types of microneedles have been fabricated using subtractive micromanufacturing methods which are based on the inherently planar two-dimensional (2D) geometries. However, traditional subtractive processes are limited for flexible structural microneedles and makes functional biomedical applications for efficient drug delivery difficult. The authors of the present study propose drawing lithography as a unique additive process for the fabrication of a microneedle directly from 2D planar substrates, thus overcoming a subtractive process shortcoming. The present article provides the first overview of the principal drawing lithography technology: fundamentals and biomedical applications. The continuous drawing technique for an ultrahigh-aspect ratio (UHAR) hollow microneedle, stepwise controlled drawing technique for a dissolving microneedle, and drawing technique with antidromic isolation for a hybrid electro-microneedle (HEM) are reviewed, and efficient biomedical applications by drawing lithography-mediated microneedles as an innovative drug and gene delivery system are described. Drawing lithography herein can provide a great breakthrough in the development of materials science and biotechnology.
Neural Extractive Text Summarization with Syntactic Compression

Recent neural network approaches to summarization are largely either sentence-extractive, choosing a set of sentences as the summary, or abstractive, generating the summary from a seq2seq model. In this work, we present a neural model for single-document summarization based on joint extraction and compression. Following recent successful extractive models, we frame the summarization problem as a series of local decisions. Our model chooses sentences from the document and then decides which of a set of compression options to apply to each selected sentence. We compute this set of options using discrete compression rules based on syntactic constituency parses; however, our approach is modular and can flexibly use any available source of compressions. For learning, we construct oracle extractive-compressive summaries that reflect uncertainty over our model’s decision sequence, then learn both of our components jointly with this supervision. Experimental results on the CNN/Daily Mail and New York Times datasets show that our model achieves the state-of-the-art performance on content selection evaluated by ROUGE. Moreover, human and manual evaluation show that our model’s output generally remains grammatical.
Understanding mobility based on GPS data

Both recognizing human behavior and understanding a user's mobility from sensor data are critical issues in ubiquitous computing systems. As a kind of user behavior, the transportation modes, such as walking, driving, etc., that a user takes, can enrich the user's mobility with informative knowledge and provide pervasive computing systems with more context information. In this paper, we propose an approach based on supervised learning to infer people's motion modes from their GPS logs. The contribution of this work lies in the following two aspects. On one hand, we identify a set of sophisticated features, which are more robust to traffic condition than those other researchers ever used. On the other hand, we propose a graph-based post-processing algorithm to further improve the inference performance. This algorithm considers both the commonsense constraint of real world and typical user behavior based on location in a probabilistic manner. Using the GPS logs collected by 65 people over a period of 10 months, we evaluated our approach via a set of experiments. As a result, based on the change point-based segmentation method and Decision Tree-based inference model, the new features brought an eight percent improvement in inference accuracy over previous result, and the graph-based post-processing achieve a further four percent enhancement.
CipherXRay: Exposing Cryptographic Operations and Transient Secrets from Monitored Binary Execution

Malwares are becoming increasingly stealthy, more and more malwares are using cryptographic algorithms (e.g., packing, encrypting C&C communication) to protect themselves from being analyzed. The use of cryptographic algorithms and truly transient cryptographic secrets inside the malware binary imposes a key obstacle to effective malware analysis and defense. To enable more effective malware analysis, forensics, and reverse engineering, we have developed CipherXRay - a novel binary analysis framework that can automatically identify and recover the cryptographic operations and transient secrets from the execution of potentially obfuscated binary executables. Based on the avalanche effect of cryptographic functions, CipherXRay is able to accurately pinpoint the boundary of cryptographic operation and recover truly transient cryptographic secrets that only exist in memory for one instant in between multiple nested cryptographic operations. CipherXRay can further identify certain operation modes (e.g., ECB, CBC, CFB) of the identified block cipher and tell whether the identified block cipher operation is encryption or decryption in certain cases. We have empirically validated CipherXRay with OpenSSL, popular password safe KeePassX, the ciphers used by malware Stuxnet, Kraken and Agobot, and a number of third party softwares with built-in compression and checksum. CipherXRay is able to identify various cryptographic operations and recover cryptographic secrets that exist in memory for only a few microseconds. Our results demonstrate that current software implementations of cryptographic algorithms hardly achieve any secrecy if their execution can be monitored.
Sprite: Generalizing Topic Models with Structured Priors

We introduce Sprite, a family of topic models that incorporates structure into model priors as a function of underlying components. The structured priors can be constrained to model topic hierarchies, factorizations, correlations, and supervision, allowing Sprite to be tailored to particular settings. We demonstrate this flexibility by constructing a Sprite-based model to jointly infer topic hierarchies and author perspective, which we apply to corpora of political debates and online reviews. We show that the model learns intuitive topics, outperforming several other topic models at predictive tasks.
Real time implementation of space vector pulse width modulation using Arduino DUE board

In this paper, a real-time digital implementation of a two level space vector pule width modulation (SVPWM) algorithm is carried out using ARDUINO DUE development board. The main contribution in this work is that the implementation was performed by using directly the internal PWM module of the ARM cortex M3 processor of the ARDUINO DUE. By mean of this, the computation time and the resources utilization of the processor are greatly reduced. The other contribution is that this implementation may reduce power losses and harmonics by minimizing the number of switching and generating symmetrical signals. To validate the implemented algorithm, an experimental validation of the SVPWM for two level inverters is carried out by using a SEMIKRON multi-function converter. The results obtained from the experimentation are closer to that of simulation, which confirms the validity of the implemented algorithm.
Super-Resolution with Deep Convolutional Sufficient Statistics

Inverse problems in image and audio, and super-resolution in particular, can be seen as high-dimensional structured prediction problems, where the goal is to characterize the conditional distribution of a high-resolution output given its lowresolution corrupted observation. When the scaling ratio is small, point estimates achieve impressive performance, but soon they suffer from the regression-to-themean problem, result of their inability to capture the multi-modality of this conditional distribution. Modeling high-dimensional image and audio distributions is a hard task, requiring both the ability to model complex geometrical structures and textured regions. In this paper, we propose to use as conditional model a Gibbs distribution, where its sufficient statistics are given by deep convolutional neural networks. The features computed by the network are stable to local deformation, and have reduced variance when the input is a stationary texture. These properties imply that the resulting sufficient statistics minimize the uncertainty of the target signals given the degraded observations, while being highly informative. The filters of the CNN are initialized by multiscale complex wavelets, and then we propose an algorithm to fine-tune them by estimating the gradient of the conditional log-likelihood, which bears some similarities with Generative Adversarial Networks. We evaluate experimentally the proposed approach in the image superresolution task, but the approach is general and could be used in other challenging ill-posed problems such as audio bandwidth extension.
Air-Traffic Complexity Resolution in Multi-Sector Planning

Using constraint programming, we effectively model and efficiently solve the problem of balancing and minimising the traffic complexities of an airspace of adjacent sectors. The traffic complexity of a sector is here defined in terms of the numbers of flights within it, near its border, and on non-level segments within it. The allowed forms of complexity resolution are the changing of the take-off times of not yet airborne flights, the changing of the remaining approach times into the chosen airspace of already airborne flights by slowing down and speeding up within the two layers of feeder sectors around that airspace, as well as the changing of the levels of passage over way-points in that airspace. Experiments with actual European flight profiles obtained from the Central Flow Management Unit (CFMU) show that these forms of complexity resolution can lead to significant complexity reductions and rebalancing.
Challenges and chances for smart rail mobility at mmWave and THz bands from the channels viewpoint

In the new era of “smart rail mobility”, infrastructure, trains, and travelers will be interconnected to achieve optimized mobility, higher safety, and lower costs. In order to realize a seamless high-data rate wireless connectivity, up to dozens of GHz bandwidth is required, and this motivates the exploration of the underutilized millimeter wave (mmWave) as well as the largely unexplored Terahertz (THz) bands. In order to realize the smart rail mobility at mmWave and THz bands, it is critical to gain a thorough understanding of the wireless channels. In this paper, according to the state of the art in research on railway wireless channels, we identify the main technical challenges and the corresponding chances concerning the reference scenario modules, accurate and efficient simulation platform, beamforming strategies, and handover design.
The synchronous data flow programming language LUSTRE

This paper describes the language LUSTRE which is a data flow synchronous language, designed for programming reactive systems-uch as automatic control and monitoring sy s t emsas well as for describing hardware. The data flow aspect of LUSTRE makes it very close to usual description tools in these domains (blockdiagrams, networks of operators, dynamical sample-systems, etc.), and its synchronous interpretation makes it well suited for handling time in programs. Moreover, this synchronous interpretation allows it to be compiled into an efficient sequential program. Finally, the LUSTRE formalism is very similar to temporal logics. This allows the language to be used for both writing programs and expressing program properties, which results in an original program verification methodology.
A Novel 24-Slots/10-Poles Winding Topology for Electric Machines

The fractional slots tooth concentrated windings are characterized with high space MMF harmonics which results to undesirable effects on electric machine, such as localised core saturation, eddy current loss in the rotor and noise and vibration. A new and high efficiency method is presented in this paper to reduce simultaneously the sub- and high MMF harmonics of these winding types. The method is based on doubling the number of stator slots, using two identical winding systems connected in series and shifted to each other for a specific angle, using stator core with different tooth width and using different turns per coil for the neighbouring phase coils. With the proposed technique the unwanted sub- and high winding MMF harmonics can be reduced or completely canceled.
Robust Vehicle Detection and Distance Estimation Under Challenging Lighting Conditions

Avoiding high computational costs and calibration issues involved in stereo-vision-based algorithms, this paper proposes real-time monocular-vision-based techniques for simultaneous vehicle detection and inter-vehicle distance estimation, in which the performance and robustness of the system remain competitive, even for highly challenging benchmark datasets. This paper develops a collision warning system by detecting vehicles ahead and, by identifying safety distances to assist a distracted driver, prior to occurrence of an imminent crash. We introduce adaptive global Haar-like features for vehicle detection, tail-light segmentation, virtual symmetry detection, intervehicle distance estimation, as well as an efficient single-sensor multifeature fusion technique to enhance the accuracy and robustness of our algorithm. The proposed algorithm is able to detect vehicles ahead at both day or night and also for short- and long-range distances. Experimental results under various weather and lighting conditions (including sunny, rainy, foggy, or snowy) show that the proposed algorithm outperforms state-of-the-art algorithms.
Comparison of classification algorithms in classification of ECG beats by time series

Today one of the most important health problems are fatal heart related diseases. Early diagnosis and treatment of heart disease can prevent sudden death. Detected through the human body and seen as a result of activity of the heart's electrical signals is called electrocardiogram (ECG). ECG signal, which can be easily obtained without causing any harm to patient's body, is a good indicator of the disorder during operation of the hearth. In this study, Normal beats (N), left bundle branch block (LBBB), right bundle branch block (RBBB) and Paced beat(P) beats are classified and the classification performance has been analyzed. Time series of the signal is used as an input vector for classification algorithms instead of extracting features from the signal. Independent component analysis (ICA) is used for feature reduction. Neural networks, k-nearest neighbour, Bayes, and Decision trees classification algorithms were used. In this study, kNN showed best accuracy rates.
Child abuse education: an objective evaluation of resident and attending physician knowledge.

The objective of the study was to evaluate residents' and practicing physicians' medical knowledge of child abuse and maltreatment.



In a freestanding pediatric hospital and community hospital, a 30-question survey was administered to pediatric residents, general pediatricians (GPs), and pediatric emergency medicine (PEM) physicians. The institution's child protection team developed the questions, which were pilot tested for validity. Question content covered major concepts in child abuse and neglect. Information on previous training of child abuse was also collected.



There were 95 respondents, 64.2% (n = 61) were residents, 19% (n = 18) were GPs, and 16.8% (n = 16) were PEM physicians. Overall, the average score was 63.3% (SD, 13.8%). There was a statistically significant difference in the knowledge of child abuse and neglect across physician categories (P < 0.001). Pediatric emergency medicine physicians scored the highest (76.9 [SD, 9.1]) compared with GPs (66.7 [SD, 12.4]; P = 0.018) and pediatric residents (60.4 [SD, 12.9]; P < 0.001). There was no difference in the level of knowledge across residency training years (P = 0.076).



With a mean score in our study of 63.3%, there appears to be an overall lack of knowledge in child abuse. These findings highlight the need for increased education in child maltreatment.
E-government maturity models: Extension of the Layne and Lee model

The article proposes a reorientation of the e-government maturity models by focusing IT applications to improve the core activities and bring end-users as the key stakeholders for future e-government investments. The proposed Public Sector Process Rebuilding (PPR) maturity model is an extension of the Layne and Lee model. D 2005 Elsevier Inc. All rights reserved.
FMCode: A 3D In-the-Air Finger Motion Based User Login Framework for Gesture Interface

Applications using gesture-based human-computer interface require a new user login method with gestures because it does not have traditional input method to type a password. However, due to various challenges, existing gesture based authentication systems are generally considered too weak to be useful in practice. In this paper, we propose a unified user login framework using 3D in-air-handwriting, called FMCode. We define new types of features critical to distinguish legitimate users from attackers and utilize Support Vector Machine (SVM) for user authentication. The features and data-driven models are specially designed to accommodate minor behavior variations that existing gesture authentication methods neglect. In addition, we use deep neural network approaches to efficiently identify the user based on his or her in-air-handwriting, which avoids expansive account database search methods employed by existing work. On a dataset collected by us with over 100 users, our prototype system achieves 0.1% and 0.5% best Equal Error Rate (EER) for user authentication, as well as 96.7% and 94.3% accuracy for user identification, using two types of gesture input devices. Compared to existing behavioral biometric systems using gesture and in-air-handwriting, our framework achieves the stateof-the-art performance. In addition, our experimental results show that FMCode is capable to defend against client side spoofing attacks, and it performs persistently in the long run. These results and discoveries pave the way to practical usage of gesture based user login over the gesture interface.
PhaseNet: A Deep Convolutional Neural Network for Two-Dimensional Phase Unwrapping

Phase unwrapping is a crucial signal processing problem in several applications that aims to restore original phase from the wrapped phase. In this letter, we propose a novel framework for unwrapping the phase using deep fully convolutional neural network termed as PhaseNet. We reformulate the problem definition of directly obtaining continuous original phase as obtaining the wrap-count (integer jump of 2 $\pi$) at each pixel by semantic segmentation and this is accomplished through a suitable deep learning framework. The proposed architecture consists of an encoder network, a corresponding decoder network followed by a pixel-wise classification layer. The relationship between the absolute phase and the wrap-count is leveraged in generating abundant simulated data of several random shapes. This deliberates the network on learning continuity in wrapped phase maps rather than specific patterns in the training data. We compare the proposed framework with the widely adapted quality-guided phase unwrapping algorithm and also with the well-known MATLAB's unwrap function for varying noise levels. The proposed framework is found to be robust to noise and computationally fast. The results obtained highlight that deep convolutional neural network can indeed be effectively applied for phase unwrapping, and the proposed framework will hopefully pave the way for the development of a new set of deep learning based phase unwrapping methods.