nils-herrmann/clean_scirepeval huggingface dataset:
Interpolation Guided Compositional Verification (T)

Model checking suffers from the state space explosion problem. Compositional verification techniques such as assume-guarantee reasoning (AGR) have been proposed to alleviate the problem. However, there are at least three challenges in applying AGR. Firstly, given a system M1 ? M2, how do we automatically construct and refine (in the presence of spurious counterexamples) an assumption A2, which must be an abstraction of M2? Previous approaches suggest to incrementally learn and modify the assumption through multiple invocations of a model checker, which could be often time consuming. Secondly, how do we keep the state space small when checking M1 ? A2 = f if multiple refinements of A2 are necessary? Lastly, in the presence of multiple parallel components, how do we partition the components? In this work, we propose interpolation-guided compositional verification. The idea is to tackle three challenges by using interpolations to generate and refine the abstraction of M2, to abstract M1 at the same time (so that the state space is reduced even if A2 is refined all the way to M2), and to find good partitions. Experimental results show that the proposed approach outperforms existing approaches consistently.
RFID transponders' RF emissions in aircraft communication and navigation radio bands

Radiated emission data in aircraft communication and navigation bands are presented for several active radio frequency identification (RFID) tags. The individual tags are different in design, operation and transmitting frequencies. The process for measuring the tags' emissions in a reverberation chamber is discussed. Measurement issues dealing with tag interrogation, low level measurement in the presence of strong transmissions, and tags' low duty factors are discussed. The results show strong emissions, far exceeding aircraft emission limits and can be of potential interference risks.
On the design of near perfect reconstruction pseudo QMF banks

A new approach to the design of M-channel pseudo quadrature mirror filter (QMF) banks is presented. The analysis and synthesis filters are cosine-modulated versions of the prototype filters. The prototype filter is constrained to be a linear-phase spectral-factor of a 2M/sup th/ band filter. As a result, the reconstructed signal has no amplitude nor phase distortions. The only error at the output is aliasing, which is comparable to the stopband attenuation of the prototype filter. Using this approach, it is possible to design a pseudo-QMF bank where the stopband attenuation of the analysis (and thus synthesis) filters is on the order of 100 dB. Consequently, the resulting reconstruction error is also on the order of -100 dB. An example is included to demonstrate the theory.<<ETX>>
Translation invariance-based super resolution method for mixed resolution multiview video

Mixed resolution format plays an important role in 3DTV coding scheme. In recent years, several research works discussed the Super Resolution (SR) problem in Mixed resolution format, where the SR image is created using the up-sampled low resolution (LR) image and the high frequency components borrowed from the adjacent high resolution (HR) warping image. However, the quality of the obtained HR images is impaired by the misalignment error caused by depth error in 3D warping. A novel SR reconstruction model is proposed in this paper. It is composed of three components: structure term, detail information term and the regularization term. They were used to preserve the structure similarity of the LR image, to preserve the detail information from the adjacent HR image, and to ensure uniqueness of the solution respectively. Simulation results show that the proposed method achieves high performance in PSNR.
Demosaicking images with motion blur

In standard digital color imaging, each pixel position acquires data for only one color plane and the remaining two color planes must be inferred through a process known as demosaicking. Furthermore, the image is susceptible to blurring artifacts due to a moving camera or fast moving subject. In this work we develop a robust framework to demosaick the color filter array (CFA) image while reducing the blur corrupting the image. We begin by defining a color motion blur model that describes the motion blur artifacts affecting color images. We then integrate the motion blur model in the demosaicking algorithm to obtain a computationally efficient framework for deblurring while demosaicking.
Low bit rate video sequence coding artifact removal

The picture quality of video frames encoded at very low-bit rates often suffers from both blocking and ringing artifacts. We present two post-processing methods to mitigate the visual quality degradation caused by these artifacts. To reduce the blocking artifact of decoded images, we substitute IDCT for the lapped orthogonal transform embedded inverse discrete cosine transform (le-IDCT). On the other hand, we post-process the decoded video frames using a nonlinear robust filter to reduce the ringing artifact. Extensive simulation results indicated significant improvement in both objective and subjective visual qualities. The computation overhead incurred due to these quality enhancement operations is quite moderate, and can be easily optimized to achieve real-time operation.
A study of Aloe vera peeling and dicing system

Based on the actual demand, the Aloe peeling and dicing system is designed and developed to solve the time-consuming problem of peeling and dicing step, enhance the effect of peeling and keep the continuous process with the capacity of 5000 kg/hr. To do this, three mechanisms of filleting, peeling, and dicing are designed and development. In this paper, the methodology to design to analyze the mechanical mechanisms as well as electrical system are presented. The design process is described in detail and some tests are performed to give an overview about the Aloe peeling and dicing system. In conclusion, Aloe peeling and dicing system is successfully designed and developed to meet the requirement of market.
Fractional-order PI controllers design based on IMC scheme for enhanced performance of dead-time processes

A unified method for the fractional-order proportional-integral controller based on IMC scheme (IMC-FOPI) is proposed. The analytical tuning rules are derived for achieving the performance improvement in terms of both disturbance rejection and set-point tracking. Many illustrative examples are considered to confirm the effectiveness of the proposed algorithm for both integer and fractional-order processes with time delays. In addition, the robust stability of fractional-order systems are also carried out in order to demonstrate that the proposed controller can hold well the robustness against perturbation uncertainty in the process models.
An image-based Bayesian framework for face detection

In this paper, we present a novel approach for frontal face detection in gray-scale images. We represent both faces and clutter by using two-dimensional wavelet decomposition. To characterize the statistical dependency between different levels of wavelet, we introduce a Hidden Markov Model (HMM), in which a number of discrete states at each level capture the diversity of faces as well as clutter. Our experiments indicate that the proposed algorithm outperforms conventional template-based methods such as matched filter and eigenface methods.
The effect of global motion parameter accuracies on the efficiency of video coding

In this paper, we present theoretical analysis on how the global motion parameter accuracies affect the efficiency of motion compensated video coding. The inaccurate global motion compensation is modelled by introducing probabilistic rotation, scale and translation parameter errors. Approximate expressions that relate the power spectrum of the prediction error to motion parameter errors is derived. By doubling the accuracy of the motion parameters, up to 6 dB theoretical gains can be obtained in prediction error variance.
Coding-reduced digital audio signal by subband coding 4 channels using the new set of decimation ratios [6 6 3 3]

The SBC (subband coding) using the multirate filter bank was proposed in 1980, this coding method splits full audio spectrum into subbands, and assigns more bits to each subband with higher energy. If the power spectral density (PSD) of any subbands is approximately zero, then those subbands need not be assigned any bits at all. While reconstruction, the subband signals are synthesized to the original signal. The most important advantage of SBC is very high reduced data rate, but the acceptable signal quality. Nowadays, all of the SBC applied in audio signal coding use the Wavelet analysis. Its decimation ratios must be the power of 2. That is the shortcoming in the Wavelet analysis. This paper has proposed a new set of decimation ratios. When the SBC uses this set, it decreases data rate, compared to other used sets in condition of the same number of subbands.
Design and analysis of a narrowband filter for optical platform

This paper presents an approach to designing narrowband digital filters that are realizable using optical allpass building blocks. We describe a top-down design method by explicitly examining the derivation of an Infinite Impulse Response (IIR) architecture. Our result demonstrates a design that can achieve a 0.0025π passband edge while providing 60dB stopband attenuation. The design is aimed to reduce filter pole magnitudes, providing tolerance for waveguide losses and fabrication errors. The narrowband filter is based on the foundation of latticed allpass sections, which makes it naturally realizable using basic photonic components. Furthermore, analysis is performed on delay length variations that can result from the fabrication process.
Lattice structure for regular paraunitary linear-phase filterbanks and M-band orthogonal symmetric wavelets

Parauninary linear-phase (PULP) M-channel uniform filterbanks, which are also known as the generalized lapped orthogonal transforms (GenLOTs), can be designed and implemented using lattice structures. This paper discusses how to impose regularity constraints onto the lattice structure of PULP filterbanks. These conditions are expressed in term of the rotation angles of the lattice components by which the resulting filterbanks are guaranteed to have one or two degrees of regularity, iterating these new regular filterbanks on the lowpass subband generates a large family of symmetric M-band orthonormal wavelets. Design procedures with many design examples are presented. Smooth interpolation using regular PULP filterbanks is illustrated through image coding experiments where the novel M-band wavelets consistently yield smoother reconstructed images and better perceptual quality.
A Symbiotic Digital Signage system based on display to display communication

Digital signage (DS) has become a phraseology for recent technology, is gaining massive acceptance to the technology-dependent world. Though the development of DS includes the essence of advertisement purposes, the fusion strategy makes it promising for communication technology. This paper demonstrates a Symbiotic Digital Signage (SDS) system in which one display of DS can be used to communicate with other displays of DS. Data are transmitted to the displays using the steganography process which encircles the display to display communication using the camera on display during the video broadcasting simultaneously. The data hidden in video images are retrieved by analyzing the temporal sequential frame of the same image. The steganography process combines data in images in which the discrete time cosine transform (DCT) is used rather than wavelet transform (WT) because of its obvious advantages over the WT. The performance analysis has been shown with respect to the structural similarity (SSIM) of image, peak signal to noise ratio (PSNR), mean square error (MSE) of combined RGB color and MSE of the RGB color separately.
Widely Linear Filter Bank Equalizer for Real STBC

In this correspondence, we propose a widely linear (WL) filter bank (FB) equalizer for a real space-time block code (RSTBC) employed in a frequency-selective multiple-input-multiple-output (MIMO) channel with additive circular symmetric complex Gaussian noise. We consider a Mt-transmitting antenna (Tx)-Mr-receiving antenna (Rx) communications system with the receiver employing widely linear processing (WLP). We then analyze the perfect reconstruction (PR) condition for the induced virtual MIMO channel by WLP. Furthermore, through reducing the rate of the RSTBC, the communications system becomes a nonmaximally decimated FB which potentially leads to better equalization. Simulation results using various code rates show the proposed FB widely linear equalizer (WLE) performs better than the non-WL version.
Spatio-temporal depth data reconstruction from a subset of samples

High-quality depth data is needed in many advanced computer vision as well as 3D and virtual reality applications. To surpass the hardware limitations, computational approaches are commonly exploited, and the solutions are from the intersection of two fundamental problems, depth map super-resolution and inpainting, leading to a general problem of reconstructing depth data from a subset of samples. Extending our previous work , we propose a spatio-temporal depth reconstruction (STDR) algorithm, which is scalable to temporal volume. We also present an updated parameter tuning approach and a speed-up scheme for depth video reconstruction application. Experimental results show that the proposed STDR algorithm outperforms the existing methods and is robust to varying temporal volumes.
Example based depth from fog

The presence of fog in an image reduces contrast which can be considered a nuisance in imaging applications, however, we consider this useful information for image enhancement and scene understanding. In this paper, we present a new method for estimating depth from fog in a single image and single image fog removal. We use an example based approach that is trained from data with known fog and depth. A data driven method and physics based model are used to develop the example based learning framework for single image fog removal. In addition, we account for various colors of fog by using a linear transformation of the RGB colorspace. This approach has the flexibility to learn from various scenes and relaxes the common constraint of fixed camera position. We present depth estimations and fog removal from a single image with good results.
Spatio-angular sharpening for multiview 3D displays

In this paper, we analyze the reproduction of light fields on multiview 3D displays. A two-way interaction between the input light field signal (which is often aliased) and the interview light leakage in modern multiview 3D displays is characterized in the joint spatio-angular frequency domain. Reconstruction of light fields by all physical 3D displays is prone to light leakage. This means that the reconstruction low pass filter implemented by the display is too broad in the angular domain, which causes loss of image sharpness. The combination of the 3D display point spread function and human visual system provides the narrow band low pass filter which removes spectral replicas in the reconstructed light field on the multiview display. The non-ideality of this filter is corrected with the proposed prefiltering technique.
Latency Analysis in GNU Radio/USRP-Based Software Radio Platforms

Software-Defined Radio (SDR) is a promising radio technology that implements radio communication functionalities in software instead of hardware. Advantages of a SDR system are reconfigurability and flexibility whereas disadvantages are low throughput and high latency. Our research focuses on analyzing and measuring latency of a SDR system based on GNU Radio with three versions of Universal Software Radio Peripherals (USRP) devices - USRP1, USRP2 and USRP E100. This research identifies the sources of the latency and quantifies them by using both analytical and experimental methods. For the analysis, we identify all types of buffers in the SDR platforms and estimate the time that these buffers contribute. The corresponding results are compared with experimental measurement, which estimates the round-trip time between two SDR systems. This can be done by using TUN/TAP components and GNU Radio tunnel program. Alternatively, we also propose a method called hwlatency to measure the latency in hardware side. We believe this study offers the better understanding of the latency in SDR platforms and will lead to correct implementations of high-level network protocols for SDR systems.
An Approach to Design a Globoid CAM Using CREO Parametric 3.0

Globoid CAM surface has 3D complicated profiles, so design is quite difficult. There were several applied researches on using Matlab or API in the Catia/ProE environment to solve the curved equation. The coordinates of the surface points are computed to build CAM profiles. These methods require the designer needs to have knowledge of Matlab programming, VC,... which has not been widely used in practice. In this paper, a Globoid CAM design method has been proposed using the features of CREO Parametric 3.0 software. The motion and geometry parameters, and 3D-CAM profiles will be directly computed on the software as a parametric geometry. The computation will provide needed data to build a 3D model of CAM completion. A system of formulas and specific procedure were expressed and presented to help the designers with knowledge of CREO Parametric 3.0 designing 3D-CAM quickly, quality and suitable costs.
Identification and Dynamic Matrix Control algorithm for a heating process

In this paper, a novel identification method is proposed on the basis of Dynamic Matrix Control (DMC) algorithm. The high order model of the system is first identified using continuous process model with time delay. The lower order model is then systematically obtained by considering some well-known approximation techniques. The DMC algorithm is developed to get an optimal control sequence for the linear model with a quadratic cost function. The process disturbance is also investigated to evaluate the quality of the controller. The control algorithms are programmed in the Matlab/Simulink software adopting Real-Time Window Target and a PCI card to execute in the real system. As a result, the proposed controller affords significantly the improvement of overall performance in compared with the classical PID controller for both the set-point and disturbance rejection problems.
Design and factorization of FIR paraunitary filter banks given several analysis filters

This correspondence discusses the design and factorization of FIR paraunitary filter banks where several analysis filters are given. A lattice factorization-based algorithm is presented that provides complete and minimal characterization for nonlinear-phase and balanced linear-phase systems. As a result, the design problem can be formulated as an unconstrained optimization of the lattice coefficients, whereas paraunitariness and linear-phase properties are structurally guaranteed. The second presented algorithm formulates the design problem in quadratic form that provides better control on the frequency responses of the embedding solution. An unitary scaling filter design algorithm is also presented that can be paired with the paraunitary embedding solution to design an orthonormal wavelet basis with high regularity. A design example is presented.
Long-Range Motion Trajectories Extraction of Articulated Human Using Mesh Evolution

This letter presents a novel approach to extract reliable dense and long-range motion trajectories of articulated human in a video sequence. Compared with existing approaches that emphasize temporal consistency of each tracked point, we also consider the spatial structure of tracked points on the articulated human. We treat points as a set of vertices, and build a triangle mesh to join them in image space. The problem of extracting long-range motion trajectories is changed to the issue of consistency of mesh evolution over time. First, self-occlusion is detected by a novel mesh-based method and an adaptive motion estimation method is proposed to initialize mesh between successive frames. Furthermore, we propose an iterative algorithm to efficiently adjust vertices of mesh for a physically plausible deformation, which can meet the local rigidity of mesh and silhouette constraints. Finally, we compare the proposed method with the state-of-the-art methods on a set of challenging sequences. Evaluations demonstrate that our method achieves favorable performance in terms of both accuracy and integrity of extracted trajectories.
System-Level Design of a Full-Duplex Wireless Transceiver for Brain–Machine Interfaces

We propose a new wireless communication architecture for implanted systems that simultaneously stimulates neurons and record neural responses. This architecture can support large numbers of electrodes (>500), providing 100 Mb/s for the downlink of stimulation signals, and gigabits per second for the uplink of neural recordings. We propose a full-duplex transceiver architecture that shares one antenna for both the ultrawideband (UWB) and the 2.45-GHz industrial, scientific, and medical band. A new pulse shaper is used for the gigabits per second uplink to simplify the transceiver design, while supporting several modulation formats with high data rates. To validate our system-level design for brain-machine interfaces, we present an ex-vivo experimental demonstration of the architecture. While the system design is for an integrated solution, the proof-of-concept demonstration uses discrete components. Good bit error rate performance over a biological channel at 0.5-, 1-, and 2-Gb/s data rates for uplink telemetry (UWB) and 100 Mb/s for downlink telemetry (2.45-GHz band) are achieved.
Bayesian spam filtering for Vietnamese emails

Spam filtering is seen as the considerable concern to the researchers, and there are some techniques and email filtering systems are implemented. They are, however, not so effective for Vietnamese language. Although methods for filtering English spam email can be still used in Vietnamese language, but Vietnamese has its own particular characteristic. The biggest difference is a signified word in Vietnamese usually a compound. When a compound used in spam email is separated into single words, it becomes words that are usually used in both spam and ham emails. This leads to the difficulty for the system to filter spam emails. The objective of this paper is to present a new model using the application of Naïve Bayesian algorithms to analyze the segmentation of Vietnamese language. The process of demonstration and evaluation of this model shows the feasibility of this technique in filtering Vietnamese email.
M-channel approximately linear phase IIR filters using allpass subfilters

A new M-channel IIR filter bank design method is presented where IIR filters are obtained from allpass subfilters and a modulation block. Allpass filters are designed by using the eigenfilter method to obtain approximately linear phase response. The combination of allpass filters is determined by the modulation block which is important for obtaining good IIR filters. In this paper, unitary and nonunitary, real modulation blocks are discussed and examples are designed and compared. In addition a general methodology for polyphase representation of an IIR filter is presented. By this approach it is shown that IIR QMF Banks can be implemented in polyphase form which is computationally more efficient than the direct form implementation in general. Furthermore the analysis of QMF bank structure is simpler in the polyphase representation.<<ETX>>