Miracle-dz/UniFAR-FTUs huggingface dataset:
Network Intrusion Detection Model Based on Simplified SVM

The larger the number of support vectors is,the slower the detection speed of network intrusion detection system based on SVM is. Aiming at this problem,a novel method to simplify SVM is presented. The support vectors are organized in clusters in the feature space. For each cluster centroid,it finds the pre-image in input space and adopts it as a reduced vector to compress the number of support vectors. Experimental results show that this method can improve detection speed of SVM engine and enhance the real-time response capability of intrusion detection system.
Ferroelectric metal-oxide-semiconductor capacitors using ultrathin single crystalline SrZrxTi1-xO3

The epitaxial growth of multifunctional oxides on semiconductors has opened a pathway to introduce new functionalities to semiconductor device technologies. In particular, ferroelectric materials integrated on semiconductors could lead to low-power field-effect devices that can be used for logic and memory. Essential to realizing such field-effect devices is the development of ferroelectric metal-oxide-semiconductor (MOS) capacitors, in which the polarization of a ferroelectric gate is coupled to the surface potential of a semiconducting channel. Here we demonstrate that ferroelectric MOS capacitors can be realized using single crystalline SrZrxTi1-xO3 (x = 0.7) that has been epitaxially grown on Ge. We find that the ferroelectric properties of SrZrxTi1-xO3 are exceptionally robust, as gate layers as thin as 5 nm corresponding to an equivalent-oxide-thickness of just 1.0 nm exhibit a ~ 2 V hysteretic window in the capacitance-voltage characteristics. The development of ferroelectric MOS capacitors with nanoscale gate thicknesses opens new vistas for nanoelectronic devices.
Search-extension method for finding multiple solutions of nonlinear problem

Based on the eigensystem {λj,Øj} of -Δ, the multiple solutions for nonlinear problem Δu + f(u) = 0 in Ω, u = 0 on ∂Ω are approximated. A new search-extension method (SEM) is proposed, which consists of three algorithms in three level subspaces. Numerical experiments for f(u) = u3 in a square and L-shape domain are presented. The results show that there exist at least 3k-1 distinct nonzero solutions corresponding to each k-ple eigenvalue of -Δ (Conjecture 1).
Communication Protocol Reverse Engineering of Malware Using Dynamic Taint Analysis

Communication protocol reverse engineering of malwares is significant base for various network security applications.However,recent works have limited accuracy and integrity in identifying protocol fields and are especially weak in understanding fields' semantics.This paper proposed a method for communication protocol reverse engineering based on dynamic taint analysis.By building an extended taint propagation graph(ETPG) recording both instruction and function level behaviors of a malicious process,dividing the protocol data into different syntax fields and inducing the semantic information of individual fields were achieved.A prototype system was implemented and evaluated with malware samples.The results show that this method can divide the syntax fields and extract semantic information accurately and effectively.
Rates of uniform convergence for empirical processes of strictly stationary β-mixing sequences indexed by an unbounded class of functions

Assume that {Xn} is a strictly stationary β-mixing random sequence with the β-mixing coefficient βk = O(k−r), 0 < r ⩽ 1. Yu (1994) obtained convergence rates of empirical processes of strictly stationary β-mixing random sequence indexed by bounded classes of functions. Here, a new truncation method is proposed and used to study the convergence for empirical processes of strictly stationary β-mixing sequences indexed by an unbounded class of functions. The research results show that if the envelope of the index class of functions is in Lp, p > 2 or p > 4, uniform convergence rates of empirical processes of strictly stationary β-mixing random sequence over the index classes can reach O((nr/(1+r)/log n)−1/2) or O((nr/(1+r)/log n)−3/4) and that the Central Limit Theorem does not always hold for the empirical processes.
Lanczos Biconjugate A-Orthonormalization Methods for Surface Integral Equations in Electromagnetism

Abstract| We present a novel class of Krylov projection methods computed from the Lanczosbiconjugate A-Orthonormalization algorithm for the solution of dense complex non-Hermitianlinear systems arising from the Method of Moments discretization of electromagnetic scatter-ing problems expressed in an integral formulation. Their competitiveness with other popularKrylov solvers, especially when memory is a concern, is illustrated on a set of model problemsrepresentative of realistic radar-cross section calculations. The results presented in this studywill contribute to assess the potential of iterative Krylov methods for solving electromagneticscattering problems from large structures and to enrich the database of this technology.1. INTRODUCTION In the last decades, the development of boundary element methods (BEM) for solving electromag-netic (EM) scattering problems in two and three dimensions is receiving a vigorous impulse. BEMsolvers are computationally attractive because they require a simple description of the surface of thetarget by means of triangular facets simplifying considerably the mesh generation especially in thecase of moving objects. The Method of Moments (MoM) discretization of integral equations leads tothe solution of large dense linear systems of equations that are often ill-conditioned. For solving suchsystems, iterative Krylov algorithms can be a valid alternative to dense direct methods, providedthey are combined with the Multilevel Fast Multipole Algorithm (MLFMA) [6,11] to carry outapproximate matrix by vector products (M-V), and with suitable preconditioners. Many integralformulations for surface scattering and hybrid surface/volume discretizations yield non-Hermitianlinear systems that cannot be solved using the Conjugate Gradient (CG) algorithm. The General-ized Minimal Residual method (GMRES) [9] and its variant Flexible GMRES (FGMRES) [8] arebroadly used in application codes due to their proved robustness and smooth convergence, see e.g.,experiments reported in [1,6] for solving very large boundary element equations involving milliondiscretization points. On the other hand, iterative methods based on Lanczos biconjugation, suchas the BiConjugate Gradient Stabilized method (BiCGSTAB) [11] and the Quasi-Minimal Residualmethod (QMR) [2] can be cheaper in terms of memory demands but they may require many moreiterations to converge especially on realistic geometries [1,7]. In this paper we present a novel classof Krylov projection methods based on the recently developed Lanczos A-orthonormalization pro-cedure for solving dense complex non-Hermitian linear systems arising from the MoM discretizationof EM scattering problems expressed in an integral formulation. The ﬂrst solver is named Biconju-gate A-Orthogonal Residual (BiCOR). Two variants of BiCOR are also considered, which do notrequire multiplication by the Hermitian of
New magnetohydrodynamic model available at NASA Community Coordinated Modeling Center

The Community Coordinated Modeling Center (CCMC) at NASA Goddard Space Flight Center is a multi-agency partnership to enable, support and perform research and development for next-generation space science and space weather models. CCMC currently hosts nearly 100 numerical models and a cornerstone of this activity is the Runs on Request (RoR) system which allows anyone to request a model run and analyze/visualize the results via a web browser. CCMC is also active in the education community by organizing student research contests, heliophysics summer schools, and space weather forecaster training for students, government and industry representatives. We present a generic magnetohydrodynamic (MHD) model - PAMHD - that has been added to the CCMC RoR system which allows the study of a variety of fluid and plasma phenomena in one, two and three dimensions using a dynamic point-and-click web interface. Flexible initial and boundary conditions allow experimentation with a variety of plasma physics problems such as shocks, instabilities, planetary magnetospheres and astrophysical systems. Experimentation with numerical effects, e.g. resolution, solution method and boundary conditions, is also possible and can provide valuable context for space weather forecasters when interpreting observations or modeling results. We present an overview of the C++ implementation and show example results obtained through the CCMC RoR system, including the first to our knowledge MHD simulation of the interaction of the magnetospheres of Jupiter and Saturn in two dimensions.
Toward a no-go theorem for an accelerating universe through a nonlinear backreaction

The backreaction of nonlinear inhomogeneities to the cosmic expansion is re-analyzed in the framework of general relativity. Apparent discrepancies regarding the effect of the nonlinear backreaction, which exist among the results of previous works in different gauges, are resolved. By defining the spatially averaged matter energy density as a conserved quantity in the large comoving volume, it is shown that the nonlinear backreaction neither accelerates nor decelerates the cosmic expansion in a matter-dominated universe. The present result in the Newtonian gauge is consistent with the previous results obtained in the comoving synchronous gauge. Although our work does not give a complete proof, it strongly suggests the following no-go theorem: No cosmic acceleration occurs as a result of the nonlinear backreaction via averaging.
Lorentz invariant entanglement distribution for the space-based quantum network

Tim Byrnes, 2, 3, 4, 5 Batyr Ilyas, Louis Tessler, Masahiro Takeoka, Segar Jambulingam, 8 and Jonathan P. Dowling State Key Laboratory of Precision Spectroscopy, School of Physical and Material Sciences, East China Normal University, Shanghai 200062, China NYU-ECNU Institute of Physics at NYU Shanghai, 3663 Zhongshan Road North, Shanghai 200062, China National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan New York University Shanghai, 1555 Century Ave, Pudong, Shanghai 200122, China Department of Physics, New York University, New York, NY 10003, USA Department of Physics, Nazarbayev University, 53 Kabanbay Batyr Ave., Astana 010000 Kazakhstan National Institute of Information and Communications Technology, Koganei, Tokyo 184-8795, Japan Department of Physics, Ramakrishna Mission Vivekananda College, Mylapore, Chennai 600004, India Hearne Institute for Theoretical Physics, Department of Physics & Astronomy, Louisiana State University, Baton Rouge, Louisiana 70803-4001, USA (Dated: April 18, 2017)
Exact mesonic vacua from matrix models

We investigate in detail the structure of mesonic vacua of N = 1 U(Nc) supersymmetric gauge theory with Nf flavors from the matrix model. We show that the Witten index from the matrix model calculation agrees with a result from field theoretical analysis. We also discuss the relationship between a diagrammatic summation and direct matrix integration with insertion of a variable changing delta function. Using this formalism, we obtain the quantum moduli space and evidence of the Seiberg duality from the matrix models.
Route description in Iwaidja: grammar and conceptualisation of motion

This study focussed on the effect of grammar of Iwaidja, an indigenous Australian language, on mathematical conceptualisation. It investigated route description in Iwaidja. Spatial concepts such as direction, height and movement in relation to another object are briefly described using examples. Differences between English and Iwaidja are used to illustrate the some of the impact of grammar on mathematical conceptualisation. The implications are discussed in terms of how understanding these grammatical features can help teachers, especially when children are not fluent in the language of instruction, as well as providing keys to cross-linguistic investigations of mathematical cognition. Descripción de ruta en Iwaidja: gramática y conceptualización del movimiento Este estudio se centró en el efecto de la gramática de iwaidja, una lengua indígena de Australia, en la conceptualización matemática. Se investigó la descripción de ruta en esta lengua. Conceptos espaciales tales como dirección, altura y el movimiento en relación con otro objeto, se describieron utilizando ejemplos. Diferencias entre el inglés y el iwaidja son usadas para ilustrar el impacto de la gramática en la conceptualización matemática. Las implicaciones consideran cómo la comprensión de estas características gramaticales puede ayudar a los maestros, sobre todo cuando los niños no hablan con fluidez el idioma de la instrucción, así como proporcionar claves para investigaciones translingüística de la cognición matemática. Handle: http://hdl.handle. net/10481/42390WOS-ESCI
The Shrinkage Exponent of de Morgan Formulas is 2

We prove that if we hit a de Morgan formula of size L with a random restriction from Rp, then the expected remaining size is at most $O(p^2(\log \frac {1}{p})^{3/2}L+p\sqrt L)$. As a corollary we obtain an $\Omega(n^{3-o(1)})$-formula-size lower bound for an explicit function in P. This is the strongest known lower bound for any explicit function in NP.
Objective Quality Assessment of Image Enhancement Methods in Digital Mammography - A Comparative Study

Mammography is the primary and most reliable technique for detection of breast cancer. Mammograms are examined for the presence of malignant masses and indirect signs of malignancy such as micro calcifications, architectural distortion and bilateral asymmetry. However, Mammograms are X-ray images taken with low radiation dosage which results in low contrast, noisy images. Also, malignancies in dense breast are difficult to detect due to opaque uniform background in mammograms. Hence, techniques for improving visual screening of mammograms are essential. Image enhancement techniques are used to improve the visual quality of the images. This paper presents the comparative study of different preprocessing techniques used for enhancement of mammograms in mini-MIAS data base. Performance of the image enhancement techniques is evaluated using objective image quality assessment techniques. They include simple statistical error metrics like PSNR and human visual system (HVS) feature based metrics such as SSIM, NCC, UIQI, and Discrete Entropy
Image change detection method based on RPCA and low-rank decomposition

Detecting changes in images of the same scene at different stages is of widespread interest in diverse disciplines, including medical diagnosis, remote sensing and so on. This paper presents a new change detection method based on robust Principle Component Analysis (RPCA). The considered couple of temporal images is expanded into an image serial through linear interpolation. The illumination variations are reduced by combining the local and global illumination correction method together. The image serial is concatenated into a low-rank image matrix and the change part is given by the sparse component through decomposing the image matrix. The proposed method is of lower complexity and higher effectiveness compared to the conventional image differencing, and it is more robust to noise and the registration error. Extensive experimental results are made from synthetic data, clinical medical and remote sensing data.
Electric field distribution characteristics of photoconductive antennas

Photoexcitation of biased semiconductor photoconductive antennas by femtosecond pulses is the most common and convenient technique for generating strong terahertz (THz) pulses. In this paper, we use the three-dimensional (3D) finite-difference-time-domain (FDTD) to analyze electric field distribution of THz pulses in the near-field from a photoconductive antenna. The simulation is based on solving Maxwell’s equations and the carrier rate equations simultaneously on realistic dipole antenna structures. The 3D FDTD simulation gives detailed features of THz electric field distribution in and out of the antenna. It is found that the difference of near-field distribution between the substrate and free space is considerably large. The fields of the alternating-current dipole exhibit an unsymmetrical distribution and a large deviation from those calculated using the simple Hertzian dipole theory. The magnitude of THz field in and out of the substrate attenuates rapidly while it holds the line in the gap center. The high-frequency components of THz radiation emission come only from the dipole antenna, while the low-frequency components are from both the center electrodes and coplanar stripline waveguide. This work can be used to optimize the design of antenna geometry and raise the radiation field power.
Diindenoperylene as ambipolar semiconductor: Influence of electrode materials and mobility asymmetry in organic field-effect transistors

Organic field-effect transistors were prepared using diindenoperylene as molecular semiconductor. An insulating alkane layer was used to separate the semiconductor from the underlying oxide and to suppress effects of electron traps at that surface. Diindenoperylene transistors were studied for various electrode materials. Unipolar p- and n-type as well as ambipolar devices were realized. An electron mobility of up to 0.14 cm2/V s and a hole mobility of up to 0.052 cm2/V s were found. The temperature dependent analysis shows similar trap distributions for both carrier types. Therefore the asymmetry in electron and hole transport seems to be an intrinsic effect of diindenoperylene.
Three-Phase Interleaved Boost Converter with Fault-Tolerant Control Strategy for Renewable Energy System Applications

This paper proposes a fault-tolerant control strategy for a three-phase interleaved boost converter. The input current and only one inductor current are used to compare with the fault detection signal for the proposed fault detection and failed switch localization method. Once the fault is detected and localized, the reconfiguration control strategy is applied by shifting the angle between the remaining switching signals. The simulation results show that the three-phase interleaved boost converter with the proposed fault-tolerant control strategy can continue to operate effectively under fault operating conditions
Eliciting Relations from Requirements Text Based on Dependency Analysis

Much has been written on the processing of NL(natural language)-based requirements documents to yield conceptual models.However,the extraction of links in models is deemed difficult.In this paper,we propose an approach for identifying and extracting relations in a range of requirements documents using linguistic clues and pattern-matching.The set of linguistic patterns used for identifying relations was based on a thorough review of the literature and on experiments to sample requirements corpuses.Based on this approach,we developed a system to automatically generate the SD model of i* framework from Chinese requirements documents.A series of experiments were conducted to evaluate the performance of the automated requirements analysis system.The results show that the system achieves high recall with a consistent improvement in precision,which demonstrates the applicability of our approach.
Open Virtual Image Printer System Design and Implementation

This paper describes the virtual printer system model supported the opened interface to other application system.The virtual printer system provides you with the ability to capture the print job from any application that prints via the Render Plug-ins method. It allows you store image files with upto 24bits per pixel,and also supports all compliant paper sizes and orientations.The interface model makes other application system integrate with the virtual printer.
from Unlabeled Partially-bracketed Data

We compare the accuracy of a statistical parse ranking model trained from a fully-annotated portion of the Susanne treebank with one trained from unlabeled partially-bracketed sentences derived from this treebank and from the Penn Treebank. We demonstrate that confidence-based semi-supervised techniques similar to self-training outperform expectation maximization when both are constrained by partial bracketing. Both methods based on partially-bracketed training data outperform the fully supervised technique, and both can, in principle, be applied to any statistical parser whose output is consistent with such partial-bracketing. We also explore tuning the model to a dieren t domain and the eect of in-domain data in the semi-supervised training processes.
Securing DSR for Mobile Ad hoc Network with Message Digest Algorithm

Mobile ad hoc networks (MANETs) are very useful in various scenarios where there is need of fast deployment of the network and expensive set up is not required. With these benefits, there are some issues related to these networks. One of these issues is of secure communication. Malicious nodes can easily attack existing routing protocols for MANETs like DSR. In this paper we have proposed a modification of DSR by using message digest. The proposed work produces better results in terms of different metrics when compared with the results of DSR. When a route is set up between the two communicating mobile nodes, the data is sent through a secure key which is not impossible for the intruder nodes to intercept. This halts intrusion in the network. A message digest is created of the data packets.
A 3-mW 74-dB SNR 2-MHz continuous-time delta-sigma ADC with a tracking ADC quantizer in 0.13-μm CMOS

A third-order continuous-time multibit (4 bit) ΔΣ ADC for wireless applications is implemented in a 0.13-μm CMOS process. It is shown that the power consumption can be considerably reduced by using a tracking ADC composed of three comparators with interpolation instead of using a 4-bit flash quantizer. Moreover, the usage of a tracking ADC opens the door to a new forward-looking dynamic element matching (DEM) technique, which helps to reduce the loop delay time and consequently improves the loop stability. The SNR is 74 dB over a bandwidth of 2 MHz. The ADC consumes 3 mW from a 1.5-V supply when clocked at 104 MHz. The active area is 0.3 mm 2 .