Miracle-dz/UniFAR-FTUs huggingface dataset:
Automated test environment and reporting tool development for software maintenance testing

Maintenance testing is an important part of software testing. It tests software correction packages which will be delivered to the customer. Software maintenance is used to repair errors and test the functionality of the software. Some of these errors occur during testing and some during the customer use. Maintenance testing should be of high quality and effective to ensure functionality of the software. This work briefly reviews the LTE technology, the structure of the LTE base station, the Agile software development model and how it can be used in the software maintenance. Finally, the work introduces the properties of the good user interface. During this work the automated test environment and the reporting tool have been developed for the System support team of the Nokia Solutions and Networks. The purpose of the test environment was to have high-quality and efficient software testing by exploiting the Agile model. The reporting tool is developed by following the requirements of the good user interface and the purpose of the tool was to offer an easy and a fast way to check out the results of the tests, the quality of the software and the KPI values for a longer time period than has previously been possible. The work achieved its targets because it offered an effective way to test software with automation. Also, the KPI values and the results of the tests are easily available to users and, most of all according to the user’s feedback, the user interface of the reporting tool is user-friendly and clear.
On the universality of intonational phrases: a cross-linguistic interrater study

This study is concerned with the identifiability of intonational phrase boundaries across familiar and unfamiliar languages. Four annotators segmented a corpus of more than three hours of spontaneous speech into intonational phrases. The corpus included narratives in their native German, but also in three languages of Indonesia unknown to them. The results show significant agreement across the whole corpus, as well as for each subcorpus. We discuss the interpretation of these results, including the hypothesis that it makes sense to distinguish between phonetic and phonological intonational phrases, and that the former are a universal characteristic of speech, allowing listeners to segment speech into intonational phrase-sized units even in unknown languages.
A novel time‐domain technique using wavelet‐like basis functions

A novel technique for the solution of electromagnetics problems in the time domain is proposed. In this technique, wavelet‐like functions are used as the basis set for the field components. The time‐domain algorithm is derived and examples using the technique are presented. Comparisons with analytic results and numerical results obtained using the finite‐difference time‐domain (FDTD) technique will be provided. © 2003 Wiley Periodicals, Inc. Microwave Opt Technol Lett 39: 221–226, 2003; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/mop.11175
How Wearable Technology Will Replace Verbal Authentication or Passwords for Universal Secure Authentication for Healthcare

Technology use is increasing in healthcare services, creating a concern for privacy, security, accessibility, and sharing of personal information. The issue increases for persons with disabilities. Cognitive, physical, or multiple disabilities make identification of individuals difficult or impossible, thus increasing the need for a caregiver or family member to verify the individual’s identity. The paper will present a conceptual model of knowledge contribution in patient authentication without verbal information exchange through the following factors: authentication with wearable technology, central location for personal information, and an authentication context model direction.
Is the C * -Algebraic Approach to Quantum Mechanics an Alternative Formulation to the Dominant One?

Since 1947 a foundation of Quantum Mechanics (QM) on functional analysis was suggested by Segal. By defining the C*-algebra of the observables, then the Gelfand-Naimark-Segal theorem faithfully represents this algebra into Hilbert space. In the 70’s Emch has reiterated this formulation and improved it. Recently Strocchi improved it even more. First, he suggested an axiomatization of the paradigmatic Dirac-von Neumann’s formulation of QM to which he addresses two basic criticisms, i.e. a weak linkage with the experimental basis of theoretical physics and the obscurity about the separation mark between classical mechanics and QM. Afterwards, through an analysis of the experimental basis of a physical theory he suggests an explanation of Segal’s restriction of the operators to be bounded. Eventually, he represents this algebra into Hilbert space and at last, by means of Weyl algebra he obtains the symmetries of the dynamics of a particle theory. In fact, several characteristic features of this formulation correspond to those determined by the two choices which are the alternative ones to the choices of the dominant formulation. It is a problem-based theory, since it starts rather from than axioms a problem (i.e. the indeterminacy); then, it argues through both doubly negated propositions and an ad absurdum proof. Moreover, its theoretical development is similar to that of an alternative classical theory since it put, before the geometry, the algebra; the bounded operators are represented by a polynomial algebra; which pertains to constructive mathematics. Eventually, he obtains the symmetries of the theory. The problems to be overcome in order to accurately re-construct his formulation according to the two alternative choices which are listed. It is concluded that rather an alternative role, it plays a complementary role to the paradigmatic formulation.
Study on Energy System Configuration of Wireless In-Wheel Motor with Supercapacitor

In-Wheel Motor (IWM) have been proposed to increase an efficiency and controllability of electric vehicle (EV). However, a risk of disconnection of power lines have been considered as a fundamental problem of IWM. Therefore, we proposed Wireless In-Wheel Motor (W-IWM) to solve this problem radically by using Wireless Power Transfer (WPT). In this paper, an advanced system of W-IWM which has multiple power sources, supercapacitor and dynamic charging circuit on its wheel side is proposed for a more effective operation. Additionally, a power-flow control of the advanced system is proposed and is verified by simulations and experiments. Furthermore, efficiency of the proposed system is investigated.
Numerical modelling of ultra wide band signal propagation in human abdominal region

Owing to the growing need for developing implantable wireless transceivers in Body Area Networks (BANs), it becomes necessary to characterise the wireless channel in Ultra Wide Band (UWB) frequency range. In case of BAN with implantable sensors, in-vivo measurement is not practically feasible. Therefore, modelling the electromagnetic wave propagation inside the human body through numerical simulations and characterising the wireless channel would be a good solution. This paper discusses the various steps involved in the development of a generic channel model and proposes an approach using modified ray tracing to predict the channel path loss characteristics of an Implantable Body Area Network in the UWB frequency range. As the human body is a heterogeneous and multilayer environment, the path loss at different depth inside the body is predicted with a four layer human abdomen model and the results are compared with the measured data.
Special Issues in Object-Oriented Programming

As object-oriented technology matures, many researchers and practitioners in the '00' community shift their focus. Interest in yet-to-be-resolved "core;' issues of the "what and how" of object-orientation remain a field for whole-hearted language ex­perts, but more and more emphasis is put on "making 00 happen". As to the core issues, conferences like OOPSLA and ECOOP are still prolific of advancements. Sure, some of these advancements give raise to fears that the unprec­edented simplicity and cleanness of 00 might be sacrificed on the altars of featurism or universality. On the other hand, advancements will soon become urgently needed as the merge of computer science, telecommunications, and multimedia will greatly influence the nature of our software. Just as an exarnple, this will challenge a very fundamental concept of 00, namely connectionless i.e. memoryless inter-object communication [2]. In this book, we want to concentrate on the increasing shift mentioned, coined above with the term "making 00 happen". In this context, three axes of concerns seem to be predominant: Specifics of application domains: what kinds of domain-specific object-oriented extensions, pre-built components, tools and resources are needed so support ef­ficient application development? Responses to new challenges: what kinds of domain-independent methods and means can be offered to meet upcoming challenges of software development? Technology-Transfer: how can we increase the quality and efficiency of the pro­cess of conveying the 00 technology (first of all, into the "heads" of the soft­ware engineers and project managers), and how do we meet additional problems at the process sink (the industry) which the source (research, academia) did not pay attention to? Interestingly enough, Adele Goldberg's keynote at ECOOP'96 [I] focussed on this gap.
Text classification dimension reduction algorithm for chinese web page based on deep learning

Nowadays, due to the development of network technology, the Internet becomes the main resource for people to obtain information. The openness of the network makes the network abound of all kinds of information, so it becomes more and more important that using network text classification techniques enable people to get the information they are interested in quickly from the mixed and disorderly network information. Since network text classification technology is the basis of information filtering, search engines, and other fields, it has gradually become a research focus. The traditional text classification technology can't effectively support the Chinese web page text classification because of the large scale of Chinese web page text. An important way to learn the data feature from massive data is to use deep learning neural network structure. Deep learning network has excellent feature learning ability. It can combine objects of low-level features to form advanced abstract representations of the object which will be more suitable for classification. This paper proposes a new deep learning based text classification model to solve the problem of Chinese web text categorization of dimension reduction. Moreover we verify the feasibility of this method through the experiment.
Generality for Multi-language of Word Segmentation Method Using Inductive Learning

We have proposed a method of word segmentation for non-segmented language using inductive learning. We use only surface information of a character string, so that the method has an advantage that is entirely not dependent on any specific language. We have confirmed its effectiveness for Japanese and Chinese word segmentation respectively. In this paper, we will discuss the generality of our proposed method for multilanguage. We used a large amount of experimental data from Japanese corpus EDR and Chinese corpus Sinica to carry out the evaluation experiments. For these two kinds of language that they are quite different on grammar, structure and morphology, we have used the same algorithm to carry out the evaluation experiments. The experimental results show our proposed method is effective for Japanese and Chinese word segmentation, and it is possible to be used to multi-language.
A built-in self-test technique for high speed analog-to-digital converters

As the conversion rate trend of analog-to-digital converters (ADCs) keeps increasing, from the present state of few gigasamples per second range, their testing is becoming progressively more challenging, time-consuming, and costly. Aware to this fact, in this PhD work we investigate a novel solution to this problem. Specifically, we propose to use two small area oscillators inserted into two synchronized phase-locked loops (PLLs) to generate high frequency sinusoidal and clock signals and, on the digital side, to employ straightforward digital signal processing (DSP) techniques to dynamically and functionally test high speed and moderate resolution ADCs. Using this built-in self-test (BIST) approach, the only off-chip component required is a low frequency and stable reference signal (e.g., produced by a ubiquitous crystal oscillator). The DSP techniques for output response analysis rely primarily on spectral computations, which nowadays are available in most system-on-a-chip environment through optimized fast Fourier transform algorithms; hence, reusing of the DSP resources is usually possible. The proposed concept was implemented in an integrated circuit featuring two PLLs for test stimuli generation and an 8-bit 500 MS/s ADC as the device under test, and was validated with silicon measurements. In a 0.13 μm CMOS technology, the area overhead introduced by the two PLLs is merely 0.052 mm.
Quantification of Liver Steatosis

The prevalence of non-alcoholic fatty liver disease (NAFLD) and non-alcoholic steatohepatitis (NASH) is increasing in the modern world. Fatty infiltration of the liver can be assessed by standard ultrasound, by controlled attenuation parameter (CAP) using the FibroScan device or, more recently, by ultrasound systems that evaluate the attenuation in the liver. Standard ultrasound (US) for steatosis evaluation was used for a long time as a semi-quantitative method for steatosis assessment in the liver. A “ bright liver ” with “ posterior attenuation ” is the typical US sign of liver steatosis. Considering the attenuation severity, steatosis is subjectively graded as mild, moderate or severe. Using the kidney/liver ratio, a more accurate evaluation can be made. Controlled attenuation parameter (CAP) was developed by EchoSens, France, and implemented into the FibroScan device. CAP manages an objective assessment of steatosis severity with rather good accuracy. More recently, ultrasound companies such as Hitachi, General Electric and Canon, implemented in their system algorithms which allow an objective assessment of liver steatosis, using the attenuation of the ultrasound beams.
Architectural support for persistent memory systems

The long stated vision of persistent memory is set to be realized with the release of 3D XPoint memory by Intel and Micron. Persistent memory, as the name suggests, amalgamates the persistence (non-volatility) property of storage devices (like disks) with byte-addressability and low latency of memory. These properties of persistent memory coupled with its accessibility through the processor load/store interface enable programmers to design in-memory persistent data structures. An important challenge in designing persistent memory systems is to provide support for maintaining crash consistency of these in-memory data structures. Crash consistency is necessary to ensure the correct recovery of program state after a crash. Ordering is a primitive that can be used to design crash consistent programs. It provides guarantees on the order of updates to persistent memory. Atomicity can also be used to design crash consistent programs via two primitives. First, as an atomic durability primitive which guarantees that in the presence of system crashes updates are made durable atomically, which means either all or none of the updates are made durable. Second, in the form of ACID transactions that guarantee atomic visibility and atomic durability. Existing systems do not support ordering, let alone atomic durability or ACID. In fact, these systems implement various performance enhancing optimizations that deliberately reorder updates to memory. Moreover, software in these systems cannot explicitly control the movement of data from volatile cache to persistent memory. Therefore, any ordering requirement has to be enforced synchronously which degrades performance because program execution is stalled waiting for updates to reach persistent memory. This thesis aims to provide the design principles and efficient implementations for three crash consistency primitives: ordering, atomic durability and ACID transactions. A set of persistency models have been proposed recently which provide support for the ordering primitive. This thesis extends the taxonomy of these models by adding buffering, which allows the hardware to enforce ordering in the background, as a new layer of classification. It then goes on show how the existing implementation of a buffered model degenerates to a performance inefficient non-buffered model because of the presence of conflicts and proposes efficient solutions to eliminate or limit the impact of these conflicts with minimal hardware modifications. This thesis also proposes the first implementation of a buffered model for a server class processor with multi-banked caches and multiple memory controllers.
Timing analysis models for gates and cells with bipolar-transistor output stages

A simple and efficient modeling technique for logic gates and cells with bipolar output stages is described. It permits the analysis of the gate and associated interconnect response waveforms, including the RC loading effects on the gate. The model decouples the gate problem into an intrinsic delay and a gate output impedance model which drives the RC load. The gate output impedance is modeled by a passive, linear, RLC circuit with the parameters specified as a function of an effective capacitance loading. Importantly, this output impedance model is shown to capture the oscillatory nature of emitter-follower output stages for BiCMOS and ECL gates. The passive nature of this impedance model makes it ideal for simulating the subsequent interconnect transient response using a model order reduction method such as moment matching.
Vectorization for accelerated gather/scatter and multibyte data formats

SIMD extensions to the instruction sets of general purpose processors have become widespread, and SIMD width and the capabilities provided by the hardware are steadily increasing with newer processor generations. This thesis tackles two challenges faced by compilers when generating code for modern SIMD extensions: SIMD code generation for interleaved memory access patterns, and SIMD code generation for custom types not provided by hardware. On the topic of SIMD code generation for interleaved memory access, we address strided array access specifically, and propose and evaluate a technique for the generation of SIMD code to gather and scatter data elements between memory and SIMD registers. Our technique extends a prior state of the art technique to support a wider class of interleaved memory access. On the topic of SIMD code generation for custom datatypes, we propose and evaluate a vectorized code generation approach which supports reducedprecision floating point number formats along a continuum between native types. We demonstrate that compilers can generate efficient SIMD code for both challenges using modern SIMD extensions, without requiring special hardware support beyond the general-purpose data movement and reorganization features already present in a variety of modern SIMD-enhanced general purpose processors.
DEBRIS DISK SIZE DISTRIBUTIONS : STEADY STATE COLLISIONAL EVOLUTION WITH PR DRAG AND OTHER LOSS PROCESSES

We present a new scheme for determining the shape of the size distribution, and its evolution, for collisional cascades of planetesimals undergoing destructive collisions and loss processes like Poynting-Robertson drag. The scheme treats the steady state portion of the cascade by equating mass loss and gain in each size bin; the smallest particles are expected to reach steady state on their collision timescale, while larger particles retain their primordial distribution. For collision-dominated disks, steady state means that mass loss rates in logarithmic size bins are independent of size. This prescription reproduces the expected two phase size distribution, with ripples above the blow-out size, and above the transition to gravity-dominated planetesimal strength. The scheme also reproduces the expected evolution of disk mass, and of dust mass, but is computationally much faster than evolving distributions forward in time. For low-mass disks, P-R drag causes a turnover at small sizes to a size distribution that is set by the redistribution function (the mass distribution of fragments produced in collisions). Thus information about the redistribution function may be recovered by measuring the size distribution of particles undergoing loss by P-R drag, such as that traced by particles accreted onto Earth. Although cross-sectional area drops with age ∝ t−2 in the PR-dominated regime, dust mass falls ∝ t−2.8, underlining the importance of understanding which particle sizes contribute to an observation when considering how disk detectability evolves. Other loss processes are readily incorporated; we also discuss generalised power law loss rates, dynamical depletion, realistic radiation forces and stellar wind drag.
Mapping the Underground: Towards Automatic Discovery of Cybercrime Supply Chains

Cybercrime forums enable modern criminal entrepreneurs to collaborate with other criminals into increasingly efficient and sophisticated criminal endeavors. Understanding the connections between different products and services can often illuminate effective interventions. However, generating this understanding of supply chains currently requires time-consuming manual effort. In this paper, we propose a language-agnostic method to automatically extract supply chains from cybercrime forum posts and replies. Our supply chain detection algorithm can identify 36% and 58% relevant chains within major English and Russian forums, respectively, showing improvements over the baselines of 13% and 36%, respectively. We analysis of the automatically generated supply chains demonstrates underlying connections between products and services within these forums. For example, the extracted supply chain illuminated the connection between hack-for-hire services and the selling of rare and valuable `OG' accounts, which has only recently been reported. The understanding of connections between products and services exposes potentially effective intervention points.
qu an tph ] 2 0 M ay 2 01 6 Conditions for coherence transformations under incoherent operations

We build the counterpart of the celebrated Nielsen’s theorem for coherence manipulation in this paper. This offers an affirmative answer to the open question: whether, given two states ρ and σ, either ρ can be transformed into σ or vice versa under incoherent operations [Phys. Rev. Lett. 113, 140401(2014)]. As a consequence, we find that there exist essentially different types of coherence. Moreover, incoherent operations can be enhanced in the presence of certain coherent states. These extra states are coherent catalysts: they allow uncertain incoherent operations to be realized, without being consumed in any way. Our main result also sheds a new light on the construction of coherence measures.