nils-herrmann/clean_scirepeval huggingface dataset:
Advanced resource management with access control for multitenant Hadoop

Multitenancy has gained growing importance with the development and evolution of cloud computing technology. In a multitenant environment, multiple tenants with different demands can share a variety of computing resources (e.g., CPU, memory, storage, network, and data) within a single system, while each tenant remains logically isolated. This useful multitenancy concept offers highly efficient, and cost-effective systems without wasting computing resources to enterprises requiring similar environments for data processing and management. In this paper, we propose a novel approach supporting multitenancy features for Apache Hadoop, a large scale distributed system commonly used for processing big data. We first analyze the Hadoop framework focusing on "yet another resource negotiator (YARN)", which is responsible for managing resources, application runtime, and access control in the latest version of Hadoop. We then define the problems for supporting multitenancy and formally derive the requirements to solve these problems. Based on these requirements, we design the details of multitenant Hadoop. We also present experimental results to validate the data access control and to evaluate the performance enhancement of multitenant Hadoop.
An adaptive-window-based image dehazing method

In this paper, we propose a adaptive-window-based dehazing method for hazy images. The proposed method is composed of four parts: dark channel measurement, bilateral filtering, atmosphere light and transmission map estimation, and scene radiance recovery. Dissimilar to existing methods, we proposed an adaptive-window-based algorithm to obtain the dark channel. Experimental results demonstrate that the proposed adaptive-window-based method can reduce blocking artifacts in dehazing images and maintain the visual quality of dehazed images high. In addition, the proposed method is faster than the existing method .
A Model for the Forward Problem in Magnetic Induction Tomography Using Boundary Integral Equations

We propose a new formulation for the forward problem in magnetic induction tomography (MIT). We formulate the problem in terms of interior and exterior boundary integral equations (BIEs), subject to appropriate boundary conditions. We then transform a standard exterior BIE involving the magnetic vector potential to a BIE involving the electric fields. This transformation eliminates two boundary conditions involving the magnetic vector potential and its normal derivative. This greatly reduces the computational complexity of the model. Here, we compare numerical solutions of the model to analytical solutions.
Alignment classification for professional writing assistance

Proofreading, the act of checking first-draft writings performed by native experts, is essential for professional writing by non-native speakers. How to automatically proofread could be an interesting topic of NLP, but have not yet been well-explored. Our research carried out the first step toward automatic proof-reading by automatically analyzing the correspondences between original and proofreading texts. We propose a new task of word alignment in the context of writing assistance application, called word alignment for writing assistance. This paper presents the task formulation and compares different methods in solving the task. Our experimental results show that the best method achieved 71.8% in accuracy.
0.23 μm gate length MODFETs on InAlAs/InGaAs/InP heterostructure grown by MOVPE

Modulation-doped field effect transistors (MODFETs) with 0.23 μm gate lengths have been fabricated on an InAlAs/InGaAs/InP heterostructure grown by metal organic vapour phase epitaxy (MOVPE/MOCVD). Extrinsic DC transconductance as high as 800 mS/mm, and unity current gain cutoff frequency f t of over 120 GHz at room temperature have been achieved. These g m and f t values compare favourably with the best devices of similar gate length grown by molecular-beam epitaxy (MBE) and are the highest values reported for any device grown by MOVPE
A topology of charging mode control circuit suitable for long-life Li-Ion battery charger

The digital method in which control signals are activated according to charging modes is commonly used in the Li-Ion battery charger. At transition time, spike phenomenon can occur in charging current due to asynchronous control signals leading to bad impact on performance of Li-Ion battery charger. In this paper, a design approach of charging mode control circuit is proposed to eliminate this phenomenon. Moreover, parallel current source architecture is applied to lower trickle current approximate to 210mA for Li-Ion battery's safety as well as enhance large current up to 1A for saving charging time. The Li-Ion battery charging circuit is designed based on 0.13um CMOS technology and simulated by Cadence.
A Novel Variable Ordering Heuristic for BDD-based K-Terminal Reliability

Modern exact methods solving the NP-hard k-terminal reliability problem are based on Binary Decision Diagrams (BDDs). The system redundancy structure represented by the input graph is converted into a BDD whose size highly depends on the predetermined variable ordering. As finding the optimal available ordering has exponential complexity, a heuristic must be used. Currently, the breadth-first-search is considered to be state-of-the-art. Based on Hardy's decomposition approach, we derive a novel static heuristic which yields significantly smaller BDD sizes for a wide variety of network structures, especially irregular ones. As a result, runtime and memory requirements can be drastically reduced for BDD-based reliability methods. Applying the decomposition method with the new heuristic to three medium-sized irregular networks from the literature, an average speedup of around 9,400 is gained and the memory consumption drops to less than 0.1 percent.
A novel approach to the automatic control of scale model airplanes

This paper explores a new approach to the control of scale model airplanes as an extension of previous studies addressing the case of vehicles presenting a symmetry of revolution about the thrust axis. The approach is intrinsically nonlinear and, with respect to other contributions on aircraft nonlinear control, no small attack angle assumption is made in order to enlarge the controller's operating domain. Simulation results conducted on a simplified, but not overly simplistic, model of a small airliner illustrate the soundness of the approach.
Accurate nonlinear modeling and verification of MMIC amplifier

An accurate MESFET nonlinear model and a reliable model verification approach that uses the on-wafer RF probing method are presented. The nonlinear model is based on small-signal S-parameter characterization of the MESFET at a wide range of bias voltages and is capable of accurately predicting the MMIC amplifier performances at various bias voltages, frequencies, and input power levels (both small and large signals). A model verification scheme is used that was designed to eliminate many measurement uncertainties. In this approach, the nonlinear model is verified by comparing the simulation results of a single-stage MMIC amplifier with the measurement data. The S-parameters of the amplifier's input and output matching circuits are first accurately measured using the on-wafer RF probes. These data are then input to the simulation program for the complete amplifier simulation. Simulation results for a MMIC amplifier at various frequencies, bias voltages, and power levels agree well with the measurement data.<<ETX>>
Adaptive correction model for indoor MIMO VLC using positioning technique with node knowledge

This paper introduces a novel model for channel state information (CSI) self-correcting 4×4 multiple input multiple output (MIMO) visible light communications (VLC) based on the triangulation method and the knowledge of the previous receiver positions. The proposed model can fully work under the partially incomplete CSI matrix of MIMO VLC system due to the user's mobility or shadowing in an indoor environment. In this work we propose the full CSI estimation based on at least two available CSIs, thus ensuring the full operation of 4×4 MIMO VLC system in the case of two other channels are missing. The paper uses a novel adaptive model that utilises the triangulation method based on two available CSIs together with the knowledge of previous position(s) of the receiver to estimate the current position of the receiver. Theoretical model and proof-of-concept simulations are presented.
A novel simple 3D SU8 prism-SOI waveguide interface for light coupling improvement

This paper presents optimized structural interface between 3D SU8 prism and SOI waveguide for reduced coupling loss at the interface, hence increasing light transmission efficiency over the system. The coupling loss reduced to 10 % at each optimized interface thanks to SU8 overlap on tip of SOI waveguide and partly etched BOX under the interface. With large tolerance up to 5 μm, the interface can be easily fabricated.
Adaptive impedance control of a haptic teleoperation system for improved transparency

An adaptive impedance force control model of a haptic device for teleoperation is analyzed. A new force control model of the haptic device is constructed to investigate the dynamic effects of the user hand. Movements of the user hand may work as a force disturbance to the haptic force control system so that it is difficult to realize a good transparency. A model reference adaptive control (MRAC) is proposed to improve the transparency of the haptic device. A third order reference model with relative degree one is selected to satisfy requirements of rise time, settling time and overshoots. Experiments show that the force tracking performances are improved while force disturbances from the user hand are well compensated.
A Research on 3D Model Construction from 2D DICOM

In recent years, the development of high techniques in the field of computer graphics, computer vision and images processing has been widely studied and applied in geometric modeling. Especially, in the field of 3D modeling and reconstruction of a 3D object from 2D images. One of these researches is the field of medical image processing. It has been invested and developed by researchers, both in computer science and medicine. This paper presents a survey research on construction and reconstruction of a 3D object from a set of 2D medical images. We first review the existing methods for building a 3D object from 2D medical image slices in DICOM (Digital Imaging and Communications in Medicine) format. They come from measurement devices in medicine like X-ray Computerized Tomography (X-ray CT), Magnetic Resonance Imaging (MRI), etc. Thereafter, we construct an application based on the VTK library for building, visualizing and handling a 3D object from these CT scanned slices. This application can support medical staffs and doctors in diagnostic and treatment of patients.
Capacitive-division traveling-wave amplifier with 340 GHz gain/bandwidth product

We report capacitive-division traveling-wave amplifiers having measured midband gains of 8 dB with a 1-98 GHz 3-dB-bandwidth, and 11 dB gain with a 1-96 GHz bandwidth. The capacitive-division topology raises the input Q of each cell, giving the amplifier increased bandwidth over conventional designs with the same active device technology; using 0.15-/spl mu/m gate length InGaAs/InAlAs HEMTs, bandwidths exceeding 150 GHz are feasible.<<ETX>>
An automatic dynamic range adaptation algorithm for capacitive sensor interface circuits

The adoption of charge-redistribution-technique-based successive approximation register (SAR) architecture in capacitance domain has improved the performance of the digital readout circuit used for capacitive sensor applications. The direct conversion of an off-chip sensor's capacitance to a digital value requires a large implemented capacitor array. A scale factor scaling the reference voltage is used to reduce the overall value of the capacitor array, though at the price of increasing power consumption due to a multi-level voltage divider is required. Moreover, the scale factor is adjusted manually which is not acceptable in practice. To overcome this problem, we propose an innovative algorithm which adapts automatically and exactly the off-chip capacitance to the implemented capacitance without using the multi-level voltage divider. The proposed algorithm is operated fully in digital domain which is straightforward for implementation. The effectiveness of the automatic dynamic range adaptation scheme is demonstrated via behavioral-level simulations of a differential capacitance/digital converter.
A comment on "Decentralized stabilization of large scale interconnected systems with delays"

Hu claims new results in the above mentioned paper (ibid. vol.39, no.1, p.180-2 (1994)) regarding decentralized stabilization of large scale interconnected systems with delays. This note shows that the results presented in Theorems 1 and 2 and Corollaries 1 and 2 apply only to a very restrictive class of systems for which the number of inputs and outputs is equal to the number of states. An alternative stability condition is provided, which improves the existing one.
A Domain-Oriented, Java Specification Language

In this paper, we propose a domain-oriented, Java specification language that uses executable Java's annotations to specify the state space of each domain class in the model (incl. Class, association, and domain constraint of each attribute.) We argue that, compared to the state-of-the-art, our language provides several benefits for both designer and programmer of Java programs. For designer, the language helps capture the state requirements more completely and more human-friendly using high level constraint functions, and these in turn help provide them with more relevant guidelines for identifying and defining the behavioural specification of class operations. For programmer, the language enables the generic design of two essential programming abstractions that are commonly used for checking the validity of the state space. Further, we will show how the domain class model specified by our language provides precise and executable mappings to a commonly-used logical data model. A prototype of the language has been implemented and is being used in various software projects.
A semi-autonomous micro-robotic system for Colonoscopy

In recent year, much research has been focused on designing robotic systems for Minimally Invasive Surgery(MIS). This paper presents a whole micro-robotic system for MIS of Colonoscopy. The purpose of this conceived system is to reduce the complexity of current colonoscopic procedure by designing a novel robotic tip. This system is composed of a micro robotic tip-Colobot, a proximity multi-sensor system and real-time control system for guiding the exploration of colon. The focus of this system was emphasized on the sensor capability and control strategy for automatically guiding the progression of the Colobot inside the human colon. This novel robotic tip is based on a new type of robot- continuum robot that does not present any articulations. This type of robot demonstrates the high dexterity in small space which is very suitable for medical surgery application. Colobot with 3 DOF is made of silicone rubber in view of the compact size and safety compatibility in the medical context. Experimental results will be presented to verify the performance of the whole system within a transparent tube.
A QoE-based caching algorithm for HTTP adaptive streaming contents in radio access networks

The double-digit growth of the number of mobile broadband subscribers has resulted in an exponential growth of mobile traffic in recent years. A major part of mobile traffic is the duplicate downloads of popular contents. A cache-enabled radio access network in which the popular contents are replicated at the eNodeBs (eNB) helps to improve the quality-of-experience (QoE) of the end users and to reduce the transit traffic on the backhaul links. Recently, adaptive streaming over HTTP has become a major technique to deliver the video contents to the end users in the Internet. With this technique, each video content is stored in several representations corresponding to different QoE levels. In this paper, we introduce an integer linear programming (ILP) model for video content caching which maximizes the sum of QoE supported by a cache-enabled eNB. An online caching algorithm is proposed based on the greedy algorithm solving the LP-relaxation of the ILP. The simulations show that our proposed algorithm yields a higher QoE, cache hit ratio, and a lower transit traffic on the backhaul links than the caching with traditional eviction algorithms such as least-recently-used and least-frequently-used.
An Indexed Bottom-up Approach for Publishing Anonymized Data

Sharing information is one of the most important parts of social activities. However, sharing information can leak users' information. Removing all direct identifiers is not enough. Sweeney proposed an approach that applying k-anonymity to protect users' identities from linking attack. Sweeney`s algorithm finds out the optimal anonymized dataset through minimal distortion metric. Other authors proposed other optimal algorithms but their proposals are still impractical due to their high computational cost. Another approach is to release the minimal anonymized dataset by applying some heuristics. Wang and Fung proposed Bottom-up Generalization and Top-down Specialization (TDS) to publish a minimal anonymized dataset with information loss metric, whose performance is more efficient. However, these algorithms still have some limitations. In this paper, we propose an algorithm to publish anonymized datasets through bottom-up generalization approach and information loss data metric. Our algorithm can save time by storing statistical information for later usage. The experimental results is performanced on Adult dataset, which is used in all former algorithms. Experimental results show that our algorithm can process 949,662 records dataset in 42.219s. Classification error on anonymized data, which is created by our algorithm, is lower than Wang's algorithm 3.8%.
A 32nm, 0.65–10GHz, 0.9/0.3 ps/σ TX/RX jitter single inductor digital fractional-n clock generator for reconfigurable serial I/O

In CPU, SOC, GPU, and PC-on-chip, I/O power consumption can be significant. To improve power efficiency, I/O bundles in group of 4, 8, or 16b, should scale their data rate according to the application requirements. However, clocking architecture imposes significant challenges to support different data rate simultaneously. In high bandwidth I/O, LC oscillators are preferred for low jitter, but the limited frequency range confines the data rate tuning. Multiple LC-PLLs are costly in area and power, and sometimes infeasible due to heavily congested I/O area. Worse still, couplings between inductors could lead to PLL pulling closing the sampling eye. In this paper, a reconfigurable 0.65–10GHz digital fractional-n clock generator using a single LC PLL, calibrated 0.75/1.25/1.75 digital fractional post dividers for serial I/O is presented. The architecture enables I/O driven by the same PLL to operate at different data rate, thereby reducing power. In addition, multiple LC-PLLs are replaced by one saving area, power, and coupling between LC oscillators. The PLL incorporates a staggered varactor, wide-tuning VCO, and a hysteretic redundant frequency acquisition for improved temperature stability. The prototype in a 32nm high-k metal gate process has a measured TX/RX jitter of 0.9/0.3 ps/σ and dissipates 36.2mW from 1.05V supply.
A multi-input and multi-output wireless energy transfer system

In this work, we present for the first time a multi-input and multi-output (MIMO) wireless power transmission system in which there are more than one source (transmitter antenna) and more than one load (receiver antenna). Theoretical expressions are developed to analyze the power transfer between antennas, power loss induced in each antenna and system efficiency of wireless power transfer. The theoretical model is verified with measurements in a prototype system consisting of two transmitter, two receiver and one repeater coils. Experimental results match well with theory demonstrating wireless power combining and delivering in the MIMO system.
An optimal ship autopilot using a multivariate auto-regressive exogenous model

Linear Quadratic Gaussian (LQG) control algorithm linked to Recursive Least Squares (RLS) algorithm has been applied to a multivariate auto-regressive exogenous (MARX) model of ships to construct a ship autopilot. It has been found from computer simulation and full-scale experiments aboard a training ship that the autopilot is robust and has good features in both course keeping and course changing.
BreezChirp: Energy efficient Wi-Fi bandwidth estimator for smartphones

Mobile data service is a rapidly growing business sector today. Available application bandwidth is an essential metric for managing applications and user experience. However, existing bandwidth measurement tools are ill-suited for the wireless environment due to large variance in environmental conditions, mobility, and energy consumption constraints. In this paper, we modify a known available bandwidth measurement technique - pathChirp to the wireless environment by utilizing the energy management features of the Wi-Fi communication device on smartphones. Our resulting tool BreezChirp is effective and energy conserving. We implemented BreezChrip on smartphones and evaluate its performance through field experiments.
A unique power supply for the PEP-II klystron at SLAC

Each of the eight 1.2 MW RF klystrons for the PEP-II storage rings require a 2.5 MVA DC power supply of 83 Kv at 23 amps. The design for the supply was base on three factors low cost, small size to fit existing substation pads, and good protection against damage to the klystron including klystron gun arcs. The supply uses a 12 pulse 12.5 KV primary thyristor "star point controller" with primary filter inductor to provide rapid voltage control, good voltage regulation, and fast turn off during klystron tube faults. The supply also uses a unique secondary rectifier, filter capacitor configuration to minimize the energy available under a klystron fault. The voltage control is from 0-90 KV with a regulation of <0.1% and voltage ripple of <1% P-P, (<0.2% RMS.) above 60 KV. The supply utilizes a thyristor crowbar, which under a klystron tube arc limits the energy in the klystron arc to <5 joules. If the thyristor crowbar is disabled the energy supplied is <40 joules into the are. The size of the supply was reduced small enough to fit the existing PEP transformer yard pads. The cost of the power supply was <$140 per KVA.
Convolutional Neural Networks over Control Flow Graphs for Software Defect Prediction

Existing defects in software components is unavoidable and leads to not only a waste of time and money but also many serious consequences. To build predictive models, previous studies focus on manually extracting features or using tree representations of programs, and exploiting different machine learning algorithms. However, the performance of the models is not high since the existing features and tree structures often fail to capture the semantics of programs. To explore deeply programs' semantics, this paper proposes to leverage precise graphs representing program execution flows, and deep neural networks for automatically learning defect features. Firstly, control flow graphs are constructed from the assembly instructions obtained by compiling source code; we thereafter apply multi-view multi-layer directed graph-based convolutional neural networks (DGCNNs) to learn semantic features. The experiments on four real-world datasets show that our method significantly outperforms the baselines including several other deep learning approaches.