Miracle-dz/UniFAR-FTUs huggingface dataset:
A Novel Data Cleaning with Data Matching

Abstra ct. Search engine locates web sources for search results output. Unfortunately, these web sources are presented in numerous format and layout, hence it is absolutely hard to process them. To handle this, search engine incorporates extractor tools where different web sources data can be obtained and used for further processing. However, to process this data in a meaningful way requires tabulation and cleaning where necessary. Current data cleaning methods are able to clean data efficiently. However, they are not without problems. These data cleaning tools tend to check the structure of the data, assuming that this data is not presented uniformly due to its structure and layout. A careful examination shows that data is not only having complicated structure and layout, but its content does require cleaning too. In this paper, we propose a data cleaning tool, where our method cleans data not only at the structure level, but also in the data content. Experimental results show that our method performs better than existing state of the art tools.
Pumping visibly pushdown languages

Visibly pushdown languages are a subclass of context-free languages and are particularly well suited for specification and verification of application software. We find that, in addition to the pumping theorem inherited from context-free languages, visibly pushdown languages have some specific pumping properties. These properties have consequences in the recursive constructs of a process algebra based on visibly pushdown languages.
Towards Time-triggered Component-based System Models

In this paper, we propose a methodology for producing correct-by-construction Time-Triggered (TT) physical model by starting from a high-level model of the application software in Behaviour, Interaction, Priority (BIP). BIP is a component-based framework with formal semantics that rely on multi-party interactions for synchronizing components. Commonly in TT implementations, processes interact with each other through a communication medium. Our methodology transforms, depending on a user-defined task mapping, high-level BIP models where communication between components is strongly synchronized, into TT physical model that integrates a communication medium. Thus, only inter-task communications and components participating in such interactions are concerned by the transformation process. The transformation consists of: (1) breaking atomicity of actions in components by replacing strong synchronizations with asynchronous send/receive interactions, (2) inserting communication media that coordinate execution of inter-task interactions according to a user-defined task mapping, (3) extending the model with an algorithm for handling conflicts between different communication media and (4) instantiating task components and adding local priority rules for handling conflicts between inter-task and intra-task interactions. We also prove the correctness of our transformation, which preserves safety properties. I. INTRODUCTION A Time-Triggered (TT) system initiates all system activities-task activation, message transmission, and message detection-at predetermined points in time. Ideally, in a time-triggered operating system there is only one interrupt signal: the ticks generated by the local periodic clock. These statically defined activation instants enforce regularity and make TT systems more predictable than Event-Triggered (ET) systems. This approach is well-suited for hard real-time systems. In [1] and [2], Kopetz presents an approach for real-time system design based on the TT paradigm which comprises three essential elements: The global notion of time: It must be established by a periodic clock synchronization in order to enable a TT communication and computation, The temporal control structure of each task: In a sequence of computational or communication processes (called tasks), the start of a task is triggered by the progression of the global time, independently from the involved data of the task. The worst-case execution time and thus the worst-case termination instant are also assumed to be known a priori. These statically predefined start and worst-case termination instants, define the temporal control structure of the task,
Investigating gender-stereotyped interactions with virtual agents in public spaces

Current research on the impact of gender appearance in virtual agents and social robots highlights the danger of transmitting and solidifying existing gender stereotypes. To investigate gender-stereotyped interaction at public spaces in dependency of virtual agents gender, we varied the gender of a virtual agent at a metro station. We used an ethnographic study approach, combining a two-day behavior observation with semi-structured interviews with descriptive and qualitative system log analysis of four weeks. Our results show that topics of conversation differ in dependency of the virtual agents gender: the male virtual agent was asked about topics such as brothels, drugs and alcohol and insulted frequently, while the female one was asked for relationship status or about flirting.
Siloxane-based compounds with tailored surface properties for health and environment

Abstract Functional siloxane dimmers and polymers carrying two types of hydrophilic groups (tris-(hydroxymethyl)aminomethane and 4-aminopyridyne) were previously prepared and characterized. Their surface properties were investigated by tensiometry, DLS and TEM in water or organic media. The un-modified methylsiloxane units induce hydrophobic character while the balance between the two moieties with antagonist behavior is responsible for self-assembling and surface activity, which can be tuned by adjusting the proportion of hydrophilic groups and the molecular architecture. Water soluble self-assembling functionalized siloxanes have been tested for biocompatibility by MTT method. They are efficient for stabilization of polymer nanoparticles of interest for drug delivery systems, encapsulation of hydrophobic drugs by micellar solubilization, and water dispersion of magnetic nanoparticles of interest for biomedical applications. The same compounds exhibit the ability to act as ligands for complexation of 3d and 4f –block metals, with implications in environment remediation and preparation of metallosurfactants or catalysts. In addition, pyridyl-modified siloxanes act as phase transfer agents for water soluble organic molecules. The previously reported properties and applications are summarized, compared and completed with new experiments, in order to show a broad picture of the applicative potential of these amphiphilic compounds. Graphical Abstract
Head-on collision of ultrarelativistic particles in ghost-free theories of gravity

We study linearized equations of a ghost-free gravity in four- and higher-dimensional spacetimes. We consider versions of such a theory where the nonlocal modification of the $\Box$ operator has the form $\Box \exp[(-\Box/\mu^2)^N]$, where $N=1$ or $N=2n$. We first obtain the Newtonian gravitational potential for a point mass for such models and demonstrate that it is finite and regular in any number of spatial dimensions $d\ge 3$. The second result of the paper is calculation of the gravitational field of an ultrarelativistic particle in such theories. And finally, we study a head-on collision of two ultrarelativistic particles. We formulated conditions of the apparent horizon formation and showed that there exists a mass gap for mini-black-hole production in the ghost-free theory of gravity. In the case when the center-of-mass energy is sufficient for the formation of the apparent horizon, the latter has two branches, the outer and the inner ones. When the energy increases the outer horizon tends to the Schwarzschild-Tangherlini limit, while the inner horizon becomes closer to $r=0$.
Local Hubble Expansion: Current State of the Problem

We present a brief qualitative overview of the current state of the problem of Hubble expansion at the sufficiently small scales (e.g., in planetary systems or local intergalactic volume). The crucial drawbacks of the available theoretical treatments are emphasized, and the possible ways to avoid them are outlined. Attention is drawn to a number of observable astronomical phenomena that could be naturally explained by the local Hubble expansion.
Ability of Children to Draw Mathematical Numbers through Computer Mouse

In this study, the ability of kindergarten children to draw mathematical numbers using a computer mouse was investigated. About 25 children from a kindergarten school located in Skudai, Johor was participating in this study. The number ‘1’ with two different font sizes were used to represent a low level of difficulty as it requires children to drawing a straight line, whereas number ‘2’ with two different font sizes were used to represent a high level of difficulty due to have a curved line. The results showed that the performance of kindergarten children in drawing the number ‘1’ (straight line) were more accurate compared to number ‘2’ (curved line). The size of the objects could affect the accuracy and the speed (completion time). However, the presence of errors in the drawing is due to the psychological motor of children, which is still developing.
High-resolution radio imaging of the gamma-ray blazar candidate J1331+2932

Active galactic nuclei are the most luminous persistent (non-transient, even if often variable) objects in the Universe. They are bright in the entire electromagnetic spectrum. Blazars are a special class where the jets point nearly to our line of sight. Because of this special geometry and the bulk relativistic motion of the plasma in the jet, their radiation is enhanced by relativistic beaming. The majority of extragalactic objects detected in $\gamma$-rays are blazars. However, finding their counterparts in other wavebands could be challenging. Here we present the results of our 5-GHz European VLBI Network (EVN) observation of the radio source J1331+2932, a candidate blazar found while searching for possible $\gamma$-ray emission from the stellar binary system DG CVn (Loh et al. 2017). The highest-resolution radio interferometric measurements provide the ultimate tool to confirm the blazar nature of a radio source by imaging compact radio jet structure with Doppler-boosted radio emission, and give the most accurate celestial coordinates as well.
Runaway potentials and a massive Goldstino

We study N=1 globally supersymmetric theories on runaway backgrounds arising from scalar potentials with a slope characterized by a scale M=|V/V′|. We find that, under mild assumptions, there always exists a massive Goldstino in the low-energy effective theory. In the simplest models, the effective mass of such a fermion is of order V/M or of order V/M2μ when a seesaw mechanism takes place, where μ is a scale that characterizes the masses of other heavy fermions.
InCheck - An Integrated Recovery Methodology for Fine-grained Soft-Error Detection Schemes

Soft errors are considered as a key reliability challenge for sub-nano scale transistors. An ideal solution for such a challenge should ultimately eliminate the effect of soft errors from the microprocessor. While forward recovery techniques achieve fast recovery from errors by simply voting out the wrong values, they incur the overhead of three copies execution. Backward recovery techniques only need two copies of execution, but suffer from check-pointing overhead. In this work I explored the efficiency of integrating check-pointing into the application and the effectiveness of recovery that can be performed upon it. After evaluating the available fine-grained approaches to perform recovery, I am introducing InCheck, an in-application recovery scheme that can be integrated into instruction-duplication based techniques, thus providing a fast error recovery. The proposed technique makes light-weight checkpoints at the basic-block granularity, and uses them for recovery purposes. To evaluate the effectiveness of the proposed technique, 10,000 fault injection experiments were performed on different hardware components of a modern ARM in-order simulated processor. InCheck was able to recover from all detected errors by replaying about 20 instructions, however, the state of the art recovery scheme failed more than 200 times.
Diskless Data Analytics on Distributed Coordination Systems

A distributed system contains software programs, applications and data resources dispersed across independent computers connected through a communication network. Distributed coordination systems are file-system like distributed meta-data stores that ensure consistency between processes of the distributed system. The challenge in this area is to perform processing fast enough on data that is continuously changing. The focus of this research is to reduce the disk bound time of a chosen distributed coordination system called Apache Zookeeper. By reducing the disk dependency, the performance will be improved. The shortcoming of this approach is that data is volatile on failures. The durability of the data is provided by replicating the data and restoring it from other nodes in the distributed ensemble. On average, a 30 times write performance improvement has been achieved with this approach.
Modelling of partially coherent radiation based on the coherent mode decomposition

We present a method for the propagation of partially coherent radiation using coherent mode decomposition and wavefront propagation. The radiation field is decomposed into a sum of independent coherent modes. Each mode is then propagated separately using conventional wavefront propagation techniques. The summation of these modes in the plane of observation gives the coherence properties of the propagated radiation. As an example, we analyze propagation of partially coherent radiation transmitted through a single circular aperture.
Robustness analysis of unstructured P2P botnet

Constant improvement of botnet structure has caused great threat to network security,so it is very important to study the inherent characteristics of botnet structure to defense this kind of attack.This paper simulated the unstructured P2P botnet from the perspective of complex network,then proposed metrics and applied the theory of complex centrality to analyze the robustness of the unstructured P2P botnet when it encountered nodes failure.The experimental results demonstrate that the unstructured P2P botnet displays high robustness when it encounters random nodes failure,but its robustness drops quickly when it encounters central nodes failure.
Play to test

To teach and to learn how to test the user behaviour is one of the most delicate aspects of any Interaction Design course because it is usually considered as one of the less creative and more tedious activity of the whole design process. In this paper we show how test activities can be made more pleasant and attractive by focusing on design and use of games. It is also shown how the use of games allows the students to understand the relevance to test multimodal interaction (i.e. combination of visual, motor and emotive channels).
ASASSN-15no: the Supernova that plays hide-and-seek

PRIN-INAF (project 'Transient Universe: unveiling new types of stellar explosions with PESSTO'); German Research Foundation (DFG) [TRR 33]; Alfred P. Sloan Foundation; National Science Foundation; U.S. Department of Energy Office of Science; University of Arizona; Brazilian Participation Group; Brookhaven National Laboratory; Carnegie Mellon University; University of Florida; French Participation Group; German Participation Group; Harvard University; Instituto de Astrofisica de Canarias; Michigan State/Notre Dame/JINA Participation Group; Johns Hopkins University; Lawrence Berkeley National Laboratory; Max Planck Institute for Astrophysics; Max Planck Institute for Extraterrestrial Physics; New Mexico State University; New York University; Ohio State University; Pennsylvania State University; University of Portsmouth; Princeton University; Spanish Participation Group; University of Tokyo; University of Utah; Vanderbilt University; University of Virginia; University of Washington; Yale University
Integration and Analysis of Alternative SMT Solvers for Software Verification

A common approach in software veri cation is to encode a given program property as boolean formulas in order to verify that this property holds in the context of said program. These boolean formulas are then veri ed by a satis ability modulo theory solver (SMT solver). Although some logical theories are decidable, most program properties require undecidable theories to be expressed. SMT solvers try to approach these undecidable problems using clever heuristics and exhaustive search (while risking in nite runtime). The heuristics are usually hidden away under opaque abstraction layers. It is therefore di cult to predict the runtime based on the input problem, especially since small changes in the formulation can make huge di erences in runtime. This leads to the unsatisfactory situation that tools relying on SMT solvers might become unpredictable. Even worse, it is sometimes unclear how to understand such problematic situations and avoid them, due to the lack of powerful debugging tools for SMT solvers. There are multiple SMT solver implementations available. In this project an analysis of these solvers will be made in order to gain a deeper understanding of the power of these various implementations as well as the trade-o s chosen with respect to the solver heuristics. This understanding should then translate to improvements to the Viper software veri cation tool chain [5].
DESIGN AND APPLICATION OF THE UNDERWATER RECOVERING SYSTEM FOR THE UNTETHERED UNDERWATER VEHICLE "EXPLORER"

This paper presents in detail the design concept and the implementation of the electric control system of the recovering system for the autonomous underwater vehicle (AUV) "Explorer". This system consists of two parts: surface and underwater parts. This recovering system can conduct underwater movements flexibly, and the orientation and depth can be adjusted. Relied on TV tracking technique and sonar positioning system, the butt between the recoverer and the underwater robot can be performed.
An Efficient Recovery Scheme for Buffer-Based B-Tree Indexes on Flash Memory

Recently, flash memory has been widely used because of its advantages such as fast access speed, nonvolatile, low power consumption. However, erase-before-write characteristic causes the B-tree implementation on flash memory to be inefficient because it generates many flash operations. To address this problem, variants of buffer-based B-tree index have been proposed for flash memory which can reduce a number of write operations. Since these B-trees use a main-memory resident index buffer to temporarily store newly created index units, their data may be lost if a system crash occurs. This study introduces a novel recovery scheme for the buffer-based B-tree indexes on flash memory, called ERS. ERS can minimize the risk of losing data by deploying logging and recovery policies. The experimental results show that ERS yields a good performance and helps the buffer-based B-tree indexes improve the reliability.
A STUDY OF “TITLE” FUNCTION IN TRANSFERRING AND TURNING OF CONCEPT IN VISUAL CONCEPTUAL ART

By paying more attention to “concept” of artwork in Postmodern and Contemporary Art, and with the advent of Hermeneutic and Intertextual topics in art, attentions to “title” effects on transferring and turning of concept have increased. Conceptual Art has concerned with these effects more than the other movements. The purpose of this study is identifying of “title” function in visual conceptual art and “title” effectiveness on audience's perception of these works. The article has been conducted on the basis of a Sequential Multi-Method including Semi-Experimental, and Content Analysis methods. The researchers have been experimented “title” effects by semi-experimental method on perception of the sample group members of two visual conceptual artworks. Each one of these two works which made by the researcher have been presented to respondents in “without title” and “titled” situations in which has been requested them to write their perception of the artworks by separate questionnaires including an open-ended question. Then, the information has been processed using content analysis method. The results have been analyzed quantitatively and qualitatively. The authors have based Set Theory in quantitative study part. this article has innovation not only in applying combined methodology in art territory studies, but also in studying “title” effects quantitatively. The results show that “title” in a visual conceptual artwork is considered the part of a work itself and it’s not something separate from it. Furthermore, “title” involves in transferring visual conceptual artworks concept and can change their concept between 70% to 80% and turn it between 50% to 64% and concentrate it into some concepts that itself predicate on them, but cannot thin it out into one. “Title” is also able to limit audience’s perception of these works between 47% to 61% and expand it between 19% to 32% and create new concepts.
The Aldrich Library Of Ft Ir Spectra

Thank you very much for reading the aldrich library of ft ir spectra. Maybe you have knowledge that, people have search hundreds times for their favorite books like this the aldrich library of ft ir spectra, but end up in malicious downloads. Rather than reading a good book with a cup of coffee in the afternoon, instead they juggled with some malicious bugs inside their desktop computer. the aldrich library of ft ir spectra is available in our digital library an online access to it is set as public so you can get it instantly. Our books collection spans in multiple countries, allowing you to get the most less latency time to download any of our books like this one. Merely said, the the aldrich library of ft ir spectra is universally compatible with any devices to read.
Multiscale model reduction for high-contrast flow problems

Many applications involve media that contain multiple scales and physical properties that vary in orders of magnitude. One example is a rock sample, which has many micro-scale features. Most multiscale problems are often parameter-dependent, where the parameters represent variations in medium properties, randomness, or spatial heterogeneities. Because of disparity of scales in multiscale problems, solving such problems is prohibitively expensive. Among the most popular and developed techniques for efficiently solving the global system arising from a finite element approximation of the underlying problem on a very fine mesh are multigrid methods, multilevel methods, and domain decomposition techniques. More recently, a new large class of accurate reducedorder methods has been introduced and used in various applications. These include Galerkin multiscale finite element methods, mixed multiscale finite element methods, multiscale finite volume methods, and mortar multiscale methods, and so on. In this dissertation, a multiscale finite element method is studied for the computation of heterogeneous problems involving high-contrast, no-scale separation, parameter dependency and nonlinearities. A general formulation of the elliptic heterogeneous problems is discussed, including an oversampling strategy and randomized snapshots generation for a more efficient and accurate computation. Furthermore, a multiscale adaptive algorithm is proposed and analyzed to reduce the computational cost. Then, this multiscale finite element method is extended to the nonlinear highcontrast elliptic problems. Specifically, both continuous and discontinuous Galerkin formulations are considered. In the end, an application to high-contrast heterogeneous Brinkman flow is analyzed.