Miracle-dz/UniFAR-FTUs huggingface dataset:
Deterministic Systems Analysis

A modern software system is a composition of parts that are themselves highly complex: operating systems, middleware, libraries, servers, and so on. In principle, compositionality of interfaces means that we can understand any given module independently of the internal workings of other parts. In practice, however, abstractions are leaky, and with every generation, modern software systems grow in complexity. Traditional ways of understanding failures, explaining anomalous executions, and analyzing performance are reaching their limits in the face of emergent behavior, unrepeatability, cross-component execution, software aging, and adversarial changes to the system at run time. Deterministic systems analysis has a potential to change the way we analyze and debug software systems. Recorded once, the execution of the system becomes an independent artifact, which can be analyzed offline. The availability of the complete system state, the guaranteed behavior of re-execution, and the absence of limitations on the run-time complexity of analysis collectively enable the deep, iterative, and automatic exploration of the dynamic properties of the system. This work creates a foundation for making deterministic replay a ubiquitous system analysis tool. It defines design and engineering principles for building fast and practical replay machines capable of capturing complete execution of the entire operating system with an overhead of several percents, on a realistic workload, and with minimal installation costs. To enable an intuitive interface of constructing replay analysis tools, this work implements a powerful virtual machine introspection layer that enables an analysis algorithm to be programmed against the state of the recorded system through familiar terms of source-level variable and type names. To support performance analysis, the replay engine provides a faithful performance model of the original execution during replay.
A CORRELATIONAL STUDY BETWEEN THE FIRST YEAR STUDENTS’ SIMPLE PAST TENSE MASTERY AND THEIR ABILITY IN WRITING RECOUNT TEXT AT SMAN 1 TIMPEH DHARMASRAYA

Abstract The background of the problem of this research was the students at SMAN 1 Timpeh,Dharmasraya still g o t difficulties in writing recount text. It happened because they d id not understand and master grammar, especially simple past tense. Therefore, this research was aimedat finding out the correlation between simple past tense mastery and the ability in writing recount text . To analyze the data , the researcher used the Pearson Product Moment Formula and calculated the data by using Microsoft Excel and manual calculation. After analyzing the data, the researcher found that the value of r- counted was . 65 and the value of r- table was . 36 . It means that r- countedwas higher than r- table. Therefore, the relationship between two variables , simple past tense mastery and the ability in writing recount text was significant. Learning from the result, it can be concluded that the correlation between simple past tense mastery and the ability in writing recount text of the first year students at SMAN 1 Timpeh, Dharmasraya was high. Based on the conclusion, in selecting teaching material for writing class, especially in writing recount text, the teacher should consider the complexity of simple past tense. In order to improve their ability in writing a recount text, the students should make efforts to increase their mastery in simple past tense since the complexity of a text is partially caused by the grammatical structure s used to construct a text. Key words: correlation, past tense, writing recount
On the Impact of Residual Inter-Subchannel Interference for the Single-Carrier Block Transmission

—In the fast time-varying channel, there exists interference among subchannels for the orthogonal frequency-division multiplexing (OFDM) system. The problem of inter-subchannel interference (ICI) also appears in the single-carrier (SC) block transmission with frequency-domain equalization (FDE). There are several ICI reduction algorithms for the OFDM system, and some of these algorithms can be applied in the SC-FDE system. On the other hand, unlike the scenario of carrier-frequency offset, the ICI caused by the time-varying mobile channel cannot be completely removed, and the residual ICI exists after the ICI reduction. In this paper, we analyze the effect of residual ICI. We show that the impacts of the residual ICI on the OFDM system and the SC-FDE system are quite different. For the SC-FDE system, the residual ICI incurs the “error rising” when we detect the time-domain symbols after the frequency-domain equalization. The error-rising effect is worse than the error-ﬂoor effect. To avoid the error-rising effect caused by the residual ICI, one can apply the maximum-likelihood (ML) detection, or its complexity-reduced schemes, like the K-Best algorithm. The simulation results verify our analysis.
Mixed Methods and the Problem of the Logic of Inquiry

The idea that “ irreconcilable epistemological differences ” exist between qualitative and quantitative methods places a very serious dampener on any proper debate about mixed methods, as well as upon any real progress that might be made in establishing a mature methodology for human and social inquiry. One possible solution is to take a more radical position, beginning by seeing the distinction between qualitative and quantitative as little more than a red herring. By focussing upon the type(s) of data we are collecting, we are merely polarizing the contrasts between different methodological approaches and deflecting attention away from what must be the underlying critical issue – which is the logic of inquiry . It needs to be understood that it is the issue of the logic of inquiry that lies at the heart of mixed methods. Any broad tradition of research can be seen as involving: assumptions, strategic decisions, methods of data collection, analysis, and critical evaluation, but will differ in the way each of these are implemented. At least three fundamentally different logics of inquiry can be distinguished: (i) theory-driven , (ii) data-driven , and (iii) explanation-driven , each with its own inherent pattern of logical reasoning, i.e. deductive , inductive and abductive inference, respectively. It is here that “mixed methods” faces its foremost challenge. The different logics of inquiry have radical implications for the phrasing of the research question(s), as well as the strategies adopted with respect to design, sampling, data collection, analysis and critical reflection. Combining different logics of inquiry into one research program must consider all of these factors carefully. However, in facing up to these various issues, the pay-off might be a much more authentic picture of what even “the scientific method” might actually entail.
Efficient Partitioning and Allocation of Data for Workflow Compositions

Our aim is to provide efficient partitioning and allocation of data for web service compositions. Web service compositions are represented as partial order database transactions. We accommodate a variety of transaction types, such as read-only and write-oriented transactions, to support workloads in cloud environments. We introduce an approach that partitions and allocates small units of data, called micropartitions, to multiple database nodes. Each database node stores only the data needed to support a specific workload. Transactions are routed directly to the appropriate data nodes. Our approach guarantees serializability and efficient execution. In Phase 1, we cluster transactions based on data requirements. We associate each cluster with an abstract query definition. An abstract query represents the minimal data requirement that would satisfy all the queries that belong to a given cluster. A micropartition is generated by executing the abstract query on the original database. We show that our abstract query definition is complete and minimal. Intuitively, completeness means that all queries of the corresponding cluster can be correctly answered using the micropartition generated from the abstract query. The minimality property means that no smaller partition of the data can satisfy all of the queries in the cluster. We also aim to support efficient web services execution. Our approach reduces the number of data accesses to distributed data. We also aim to limit the number of replica updates. Our empirical results show that the partitioning approach improves data access efficiency over standard partitioning of data. In Phase 2, we investigate the performance improvement via parallel execution.
3D Face Reconstruction from 2D Images Using Data Mining Algorithm

Human faces are amazingly comparative in worldwide properties, including size, viewpoint proportion, and area of principle components, however can differ extensively in subtle elements crosswise over people, gender, race, or because of facial expression. We propose a novel technique for 3D face reconstruction of appearances that adventures the similitude of faces. Our technique use as info a solitary picture and uses an insignificant 3D reference model of an alternate individual's face. Traditional remaking techniques from single pictures, i.e. shape-from-shading, require learning of the reflectance properties and lighting and also profundity values for limit conditions. Late techniques evade these prerequisites by speaking to information confronts as mixes (of hundreds) of put away 3D models. We propose instead to use the input image as a guide to “mold” a single reference model to reach a reconstruction of the sought 3D shape.
Input projection method for safe use of neural networks based on process data

A principle is introduced for avoiding the use of a neural network model outside its validity domain defined by observations used for training and validation. The principle is based on clustering the regressor training data and projecting the input vector to the validity domain described by the cluster centers. The confidence level for the projection can be specified. The method is illustrated by two examples: a friction force model in an elevator simulator and a model of lime re-burning in a rotary kiln.
Iris Recognition Method Based on Quantum Parallelism and Grover Algorithm

Abstract Traditional iris recognition method has low speed and searching rate under large-scale unstructured database background, it needs N/2 times to find the result when the database has N irises, and the probability of success is 1/2. An improved recognition method based on quantum parallelism and Grover quantum search algorithm is proposed. The feature vector's encoding and Hamming distance are extracted through twice calculations by using quantum parallelism. The Oracle operator in Grover algorithm is improved. The improved Oracle operator includes two databases. The database one contains four registers: index register, quantum bit register which includes target iris Hamming distance, data register, one quantum bit register. Database two includes all the Hamming distance. Compared with traditional recognition method, the proposed method just needs to apply N operations, the target iris location can be found from iris database. The simulation results show that the proposed method decreases the number of repetitions and effectively improves the search speed.
Application of neural networks to computer gaming

Discusses the application of neural network technology in the field of games. In particular, we suggest that neural network technology could be utilized in order to make a copy of each player's strategy in game playing. In order to confirm our idea, simulation results using computer gaming system which is a modified version of COMMONS GAME are given.
Dynamic Redundancy-based Fault-Recovery Scheme for Reliable CGRA-based Multi-Core Architecture

CGRA (Coarse-Grained Reconfigurable Architecture) based multi-core architecture can be considered as a suitable solution for the fault-tolerant computing. However, there have been a few research projects based on fault-tolerant CGRA without exploiting the strengths of CGRA as well as their works are limited to single CGRA. Therefore, in this paper, we propose two approaches to enable exploiting the inherent redundancy and reconfigurability of the multi-CGRA for faultrecovery. One is a resilient inter-CGRA fabric that is ring-based sharing fabric (RSF) with minimal interconnection overhead. Another is a novel intra/inter-CGRA reconfiguration technique on RSF for maximizing utilization of the resources when faults occur. Experimental results show that the proposed approaches achieve up to 94% faulty recoverability with reducing area/delay/power by up to 15%/28.6%/31% when compared with completely connected fabric (CCF).
Fuzzy Self-Organising Control Of A Pendulum Problem

In a cart-ball balancer the control objective is to balance a ball on a curved track. This simulation study in Simulink tries to stabilise the system with a nonlinear adaptive controller. A simplified adjustment mechanism is implemented, and test results show that the adjustment mechanism works, if it is applied to the cart controller, but fails to work on the ball controller.
Cross-layer design for multi-hop two-way relay network

Physical layer network coding (PNC) was proposed under the two-way relay channel (TWRC) scenario, where two sources exchange information aided by a relay. PNC allows the two sources to transmit to the relay simultaneously, where superimposed signals at the relay can be mapped to network-coded symbols and then be broadcast to both sources instead of being treated as interference. Concurrent transmissions using PNC achieve a higher spectrum efficiency compared to time division and network coding solutions. Existing research mainly focused on the symmetric PNC designs, where the same channel coding and modulation configurations are applied by both sources. When the channel conditions of the two source-relay links are asymmetric or unequal amount of data are exchanged, heterogeneous modulation PNC designs are necessary. In additional, the design and optimization of multi-hop PNC, where multiple relays forming a multi-hop path between the two sources, remains an open issue. The above issues motivate the study of this dissertation. This dissertation investigates the design of heterogeneous modulation physical layer network coding (HePNC), the integration of channel error control coding into HePNC, the combination of HePNC with hierarchical modulation, and the design and generalization of multi-hop PNC. The contributions of this dissertation are four-fold. First, under the asymmetric TWRC scenario, where the channel conditions of the two source-relay links are asymmetric, we designed a HePNC protocol, including the optimization of the adaptive mapping functions and the bit-symbol labeling, to minimize the end-to-end BER. In addition, we developed an analytical framework to derive the BER of HePNC. HePNC can substantially enhance the throughput compared to the existing symmetric PNC under the asymmetric TWRC scenario. Second, we investigated channel coded HePNC and integrated the channel error control coding into HePNC in a link-to-link coding, where the relay tries to decode the superimposed codewords in the multi-access stage. A full-state sum-product decoding algorithm is proposed at the relay based on the repeat-accumulate codes to guarantee reliable end-to-end communication. Third, we proposed hierarchical modulation PNC (H-PNC) under asymmetric TWRC, where additional data exchange between the relay and the source with the relatively better channel condition is achieved in addition to that between the two end sources, benefiting from superimposing the additional data flow on the PNC transmission. When the relay also has the data exchange requirement with the source
Finite element analysis of the interface phenomena between VCR tape and head

The authors have developed a computational method for simulating the behaviour of a tape running along a rotating cylinder with a video head fixed to it. The flexible tape is modeled as a thin anisotropic shell and the air-film is treated by the modified Reynolds equation. The two sets of equations are coupled in the finite element method. The calculated results were in good agreement with experimental ones, within an error of 7%. It is concluded that this simulation method will provide good information for optimizing head geometry and tape components. >
An Effective Analysis on Image Segmentation

: Image segmentation is one in every of the foremost concerned topics of analysis within the space of pc Vision and has attracted plenty of attention from the researchers. This algorithmic program gets higher result with fewer users interactive once segmenting single-object from pictures with advanced foreground and background. For various applications of image process, folks have advises the corresponding solutions, and an oversized range of researchers conjointly still improve and enhance the potency and effectiveness of those algorithms. Objective of this paper is to survey is major techniques of image segmentation like Threshold primarily based segmentation, Graph Cut algorithmic program primarily based segmentation, Random Walks primarily based segmentation, Level Set methodology.
Effects of map granularity on task performance and usability

To enhance the experience on navigational tasks, we seek optimal interfaces. This article focuses on the object granularity when displaying a map. The goal is to find an optimal granularity for a pedestrian to position himself in a building. We will propose an experiment in order to find the effects of this granularity on the task performance and usability.
Particle-based Flow Visualization

Due to technological and algorithmic advances it is by now possible to simulate complicated 3D unsteady flows at a very high spatial resolution. To find relevant features in such flows, and, thus, to gain insight into the underlying flow phenomena, effective exploration mechanisms are needed. Especially interactive visual exploration environments are important, since they enable putting experts and their capabilities into the center of the exploration process. This requires new possibilities to interactively guide the exploration process by exploiting the humans' perceptual and cognitive abilities. This thesis presents a framework for the visual exploration of 3D unsteady flow fields that addresses the aforementioned requirements. A variety of techniques for interactive flow visualization has been developed, consisting of novel concepts as well as extensions of existing geometry-, texture- and feature-based flow visualization techniques.
Towards Enhancing Performance, Programmability, and Portability in Heterogeneous Computing

ion at the core of GLAF programming, we have not had the opportunity to evaluate GLAF in its entirety with a larger-scale application. In light of the above, in this chapter we present our work with a real-world application of interest to NASA, called Synoptic SARB. Synoptic SARB is one of eight subsystems in the software ecosystem that supports the NASA CERES program. We describe both the CERES program, and Synoptic SARB in more detail in Section 5.4. 1. With this case study, we seek to extend the GLAF graphical user interface front-end, as well as the code generation back-end, to facilitate expressing existing data structures found in realworld applications and enable code generation whose output can seamlessly integrate with preexisting code. Then, we evaluate GLAF in its entirety by stressing its back-ends (including the novel additions for ease of integration) via a larger-scale, real-world case-study that spans beyond previous small benchmark size and scope. We prove that the grid abstraction can represent all the data needed in the context of our case-study application, and that the resulting code is syntactically correct and functionally equivalent with the original. With respect to performance, the GLAF parallel auto-generated version performs up to 1.41x faster than the original serial implementation.
HCI RESEARCH IN VIRTUAL REALITY: A DISCUSSION OF PROBLEM-SOLVING

Recent advances in Virtual Reality (VR) systems have revived interest in the field and strongly affected HumanComputer Interaction (HCI) research. The problem-solving capacity of HCI research in VR is examined and discussed in this paper. A literature review of 62 publications is utilised to examine the type of research problems that have been addressed by HCI research in VR over the last three years. The results show that recent HCI research in VR mainly addresses constructive problems. The underrepresentation of empirical and conceptual problems shows that the research may have lower problem-solving capacity than desired. We address the findings by arguing for the field's need to investigate more empirical problems, formulate more conceptual work, re-examine past research questions under the new prism, and improve its dissemination process.
Evaluation of corner detection algorithms

The authors present a systematic procedure for testing corner detection algorithms used in digital image processing. The characteristics of a corner are described by six different attributes: corner angle, corner arm length, corner adjacency, corner sharpness, gray-level distribution, and noise level. Elementary test images are used to test each attribute individually. A previously proposed corner detection algorithm was tested using the proposed method, and the results are presented. <<ETX>>
Electromagnetic and thermal analyses of radiometer calibration targets

A novel approach for the analysis of millimeter-wave radiometer calibration target performance is presented. Analysis of wedge-profile targets is facilitated by performing both an electromagnetic and thermal analysis of the target. The scattered, transmitted, and internal fields of the wedge target, illuminated in the principal direction by a plane wave, are analyzed using the coupled-wave algorithm. From a knowledge of these fields, the wedge trough-to-tip absorptivity profile is computed. The two-dimensional temperature distribution for a heated wedge is then determined from a solution to the steady-state heat equation. Using the absorptivity and temperature profiles, the radiative transfer equation is solved to obtain the thermal emission from the wedge calibration target. Significant effects resulting from the inhomogeneous temperature distribution are quantified. Motivation for this investigation derives from a need to analyze the performance of microwave and millimeter-wave targets and develop wideband target design criteria.