Miracle-dz/UniFAR-FTUs huggingface dataset:
FINDER: A CAD System-Based Electron Beam Tester for Fault Diagnosis of VLSI Circuits

A new electron beam tester, "FINDER" (Fault Identification system for LSI circuits with a Noncontacting Database-oriented Electron beam testeR), has been developed. This tester can automatically pinpoint faulty gates in logic VLSI circuits. It consists of a Scanning Electron Microscope (SEM) and an LSI Computer-Aided Design (CAD) system in a host computer. A logic-state image is observed from the surface of an LSI circuit being tested with the SEM. In addition, corresponding interconnection patterns superimposed with simulated logic states are obtained from the CAD system. Both images are matched automatically in the host computer, and the observed logic state for every interconnection pattern is then checked. Faulty gates can be pinpointed by tracing nodes with incorrect logic states on a logic circuits.
Cultural Proximity and Genre Proximity: How Do Chinese Viewers Enjoy American and Korean TV Dramas?

This article examined a transnational viewing process, in which Chinese audience watch American and Korean TV dramas. Cultural proximity and genre proximity were adopted to predict media involvement and enjoyment. A quantitative content analysis was conducted with a probability sample of 16,440 comments from 411 TV dramas. It was found that cultural proximity failed to predict enjoyment but succeeded in explaining involvement. It also revealed two different routes to enjoyment—to enjoy Korean dramas through involvement with characters and American dramas through involvement with the narrative. Genre proximity was found in action/crime but not in fantasy/adventure. The level of involvement varied in different genres, such as romance, horror/crux, and comedy.
Topic Spotting Using Subword Units.

In this paper we present a new approach for topic spotting based on subword units and feature vectors instead of words. In our first approach, we only use vector quantized feature vectors and polygram language models for topic representation. In the second approach, we use phonemes instead of the vector quantized feature vectors and model the topics again using polygram language models. We trained and tested the two methods on two different corpora. The first is a part of a media corpus which contains data from TV shows for three different topics. The second is the VERBMOBIL-corpus where we used 18 dialog acts as topics. Each corpus was splitted into disjunctive test and training sets. We achieved recognition rates up to 82% for the three topics of the media corpus and up to 64% using 18 dialog acts of the VERBMOBIL-corpus as topics.
CRITERION FOR GRIDDED DEM CO-REGISTRATION

Multi-temporal DEM co-registration provides an efficient technique for automatic analyzing the terrestrial changes caused by the geological hazards. Because this technique does not require any ground control points (GCPs), it can bring us many benefits: 1) avoid the GCP establishment, which is a cost and laborintensive task; 2) quick response to the natural hazards, especially to the landslides and debris-flows; 3)make full use of remote sensing data obtained before the events. It is very difficult to obtain effective GCP owing to the terrestrial changes, even impossible; 4) analyze the region could not access. Iterative closest points (ICP) is the standard algorithm for surface matching in computer vision and pattern recognition. Its computational efficiency is slower and only suit for relative small data set. It adopts an exhaustive search strategy to find the point-to-point or point-to-normal corresponding pairs. It is very time-consuming, and consumes about 95% time of the whole matching process. Although many modifications have reported to speed up the corresponding pairs searching, it still could not meet the requirement for co-registering the large gridded DEM used in geosciences. This paper proposes an efficiency correspondence criterion for gridded DEM matching, called normal correspondence criterion (NCC), which finds the corresponding points alone the reference DEM normal vector and is optimized with a focus on the gridded date set. The experimental results show that the corresponding points can be determined within no more than 6 iterations in most cases, which yields high efficiency to DEM co-registration. According to the numerous experimental results based on the simulated data sets, DEM co-registration with NCC only use 1/10 time than that used by ICP, and slight larger convergence range. * Corresponding Author
Efficient Transformation-Based Parsing

In transformation-based parsing, a finite sequence of tree rewriting rules are checked for application to an input structure. Since in practice only a small percentage of rules are applied to any particular structure, the naive parsing algorithm is rather inefficient. We exploit this sparseness in rule applications to derive an algorithm two to three orders of magnitude faster than the standard parsing algorithm.
The sRNA RyhB Regulates the Synthesis of the Escherichia coli Methionine Sulfoxide Reductase MsrB but Not MsrA

Controlling iron homeostasis is crucial for all aerobically grown living cells that are exposed to oxidative damage by reactive oxygen species (ROS), as free iron increases the production of ROS. Methionine sulfoxide reductases (Msr) are key enzymes in repairing ROS-mediated damage to proteins, as they reduce oxidized methionine (MetSO) residues to methionine. E. coli synthesizes two Msr, A and B, which exhibit substrate diastereospecificity. The bacterial iron-responsive small RNA (sRNA) RyhB controls iron metabolism by modulating intracellular iron usage. We show in this paper that RyhB is a direct regulator of the msrB gene that encodes the MsrB enzyme. RyhB down-regulates msrB transcripts along with Hfq and RNaseE proteins since mutations in the ryhB, fur, hfq, or RNaseE-encoded genes resulted in iron-insensitive expression of msrB. Our results show that RyhB binds to two sequences within the short 5′UTR of msrB mRNA as identified by reverse transcriptase and RNase and lead (II) protection assays. Toeprinting analysis shows that RyhB pairing to msrB mRNA prevents efficient ribosome binding and thereby inhibits translation initiation. In vivo site directed-mutagenesis experiments in the msrB 5′UTR region indicate that both RyhB-pairing sites are required to decrease msrB expression. Thus, this study suggests a novel mechanism of translational regulation where a same sRNA can basepair to two different locations within the same mRNA species. In contrast, expression of msrA is not influenced by changes in iron levels.
Fail-stop Software Components by Pattern Matching Fail-stop Software Components by Pattern Matching

The mission of UNU/IIST is to assist developing countries in the application and development of software technology. UNU/IIST contributes through its programmatic activities: 1. advanced development projects in which software techniques supported by tools are applied, 2. research projects in which new techniques for software development are investigated, 3. curriculum development projects in which courses of software technology for universities in developing countries are developed, 4. courses which typically teach advanced software development techniques, 5. events in which conferences and workshops are organised or supported by UNU/IIST, and 6. dissemination, in which UNU/IIST regularly distributes to developing countries information on international progress of software technology. Fellows, who are young scientists and engineers from developing countries, are invited to actively participate in all these projects. By doing the projects they are trained. At present, the technical focus of UNU/IIST is on formal methods for software development. UNU/IIST is an internationally recognised center in the area of formal methods. However, no software technique is universally applicable. We are prepared to choose complementary techniques for our projects, if necessary. UNU/IIST produces a report series. Reports are either Research R , Technical T , Compendia C or Administrative A. They are records of UNU/IIST activities and research and development achievements. Many of the reports are also published in conference proceedings and journals. Abstract We consider system design from pre-existing components, providing the operations to generate, observe and modify their internal state. Showing that a component is fault-free requires us to carry out a proof of correctness with respect to its speciication. A fail-stop component may instead not satisfy its speciication statically but detect any violation at run-time. In this paper we study how regular expressions can play the role of such speciications, suitable for run-time behavior checking. We build such expressions from the logical properties over the component's observer operations which must hold about the state of the component in diierent points of its recorded execution history. Such a speciication can become part of an automatically generated wrapper which carries out run-time checking as a kind of \pattern-matching". Tomasz Janowski is a Research Fellow of UNU/IIST. He received an MSc in Mathematics from the University of Gda nsk (Poland) and a PhD in Computer Science from the University of Warwick (England). His research interests include logics for provable fault-tolerance, real-time scheduling, formal models for manufacturing and the integration of formal and informal techniques in …
Oral Fluid-Based Biomarkers in Periodontal Disease – Part 2. Gingival Crevicular Fluid

Periodontal diagnosis and treatment plan are based on the assessment of probing depth, clinical attachment level, plaque index, gingival index, bleeding on probing, suppuration, furcation involvement, mobility, and radiographic findings. However, these clinical parameters are not sufficiently sensitive and specific to identify disease activity in individual sites or to predict future attachment loss. Hence, attention is focused on the development of diagnostic tools that could screen and differentiate the active inflamed sites and predict future tissue destruction. Gingival crevicular fluid (GCF), has gained great interest on possible diagnostic value in periodontal disease. It contains a large number of proteins and peptides derived from inflamed host tissues. The analysis of the GCF components can reflect the disease status of individual sites and thus, identify potential biomarkers of periodontitis. A literature search was carried out to find out all the available tests that indicate periodontal disease markers in GCF. All major databases were searched to compile the information on published reports between 1999 and 2014. The list of GCF-biomarkers available to date is compiled and presented in a table format. Based on the available literature on GCF biomarkers, it can be concluded that several sensitive and reliable markers are present to detect the presence, severity, and response to treatment. Further studies are warranted to analyze the sensitivity and reliability of these indicators which might help in developing noninvasive tests that could help in the diagnosis of periodontal disease.
Indoor navigation using WiFi signals

Every day we use location-dependant services, but there is still a lack of information in terms of a popular indoor location system. In this paper we show methods and some advantages of using already installed infraestructure such as WiFi Access Points to get navigation information. For these purpose an indoor navigation system was implemented using both inertial sensors and WiFi signal strength information. The whole system architectute, both hardware and software, is designed with a modular aproach in order to make easy the test and benchmark of different algotithms and data fusion techniques. Basic algorithms have been implemented to validate the whole system using simulated data through a software-in-the-loop setup.
Characterizing and Evaluation :Temporal properties of real and synthetic datasets for DTN

Nodes movements play a significant role in disseminating messages in the sparse mobile ad-hoc network. In the network scenarios, where traditional end-to-end paths do not exist, mobility creates opportunities for nodes to connect and communicate when they are encountered. A series of encountering opportunities spread a message among many nodes and eventually deliver to the destination. Further improvements to the performance of message delivery can come from exploiting temporal mobility properties. It is modeled as time varying graph, where, moving nodes are considered as vertices and contact opportunity to other nodes as an edge. The paper discusses about characterization and design of the temporal algorithm. Then, evaluating temporal distance, diameter and centrality of real and synthetic mobility data sets.
On the fault diagnosis problem for non-linear systems: A fuzzy sliding-mode observer approach

In this paper we propose a solution to the model-based fault diagnosis problem for the class of non-linear dynamic systems subjected to be described by a Takagi-Sugeno fuzzy model. A fuzzy observer is designed to estimate the system's state vector and to derive a diagnostic signal-residual. The residual is generated by the comparison of the measured and the estimated outputs. The proposed scheme has been satisfactorily tested in simulation and in a real-time benchmark given by a Two-Tank Hydraulic System. Work supported by the Consejo Nacional de Ciencia y Tecnologia (Conacyt, Mexico), by the Secretaria de Relaciones Exteriores (S.R.E.Mexico), by the Consiglio Nazionale delle Ricerche (C.N.R., Italy), and by the Ministero degli Affari Esteri (M.A.E., Italy).
Arabic Text Root Extraction via Morphological Analysis and Linguistic Constraints

Arabic language is vastly inflected, thus the process of effective Arabic text analysis with correct stem and root extraction is challenging. In this paper we present a linguistic root extraction approach that is composed of two main phases. In the first phase we handle removal of affixes including prefixes, suffixes and infixes. Prefixes and suffixes are removed depending on the length of the word, while checking its morphological pattern after each deduction to remove infixes. In the second phase, the root extraction algorithm is developed further to handle weak, hamzated, eliminated-long-vowel and two-letter geminated words as there is a rationally great amount of irregular Arabic words in texts. Before roots are extracted, they are checked against a predefined list of 3800 triliteral and 900 quad literal roots. Series of experiments has been conducted to improve and test the performance of the proposed algorithm. The obtained results revealed that the roots are extracted correctly has improved comparing with Khoja's stemming algorithm.
How do students’ hamstring extensibility levels change through an academic year? A longitudinal study

El objetivo principal del presente estudio fue examinar los niveles de extensibilidad isquiosural de los estudiantes durante un curso academico. Una muestra de 128 estudiantes de 1o de bachillerato de un centro de educacion secundaria se evaluo mediante la prueba de classic sit-and-reach al comienzo, mediados y final del curso academico. Los resultados mostraron que el nivel de extensibilidad de isquiosural de los estudiantes disminuyo estadisticamente significativamente desde el comienzo (22,1 ± 8,5 cm) a mediados (19,9 ± 8,6 cm, d = -0,26) y final del ano academico (18,6 ± 9,3 cm; d = -0,41) (p < 0,001), y desde mediados al final (d = -0.16) (p < 0,001). Los resultados de la prueba de McNemar indicaron que hubo una disminucion estadisticamente significativa en la proporcion de estudiantes con un nivel de extensibilidad isquiosural normal desde el comienzo al final del curso academico (p < 0,05). En conclusion, los estudiantes de educacion secundaria perdieron niveles de extensibilidad isquiosural durante un curso academico. Como resultado de esta disminucion, el numero de estudiantes con acortamiento de los musculos isquiosurales aumento un 10,9%. Los profesores de educacion fisica deberian implementar programas de estiramiento para prevenir el acortamiento de extensibilidad isquiosural de los estudiantes.
Optimal control for continuous supply network models

We consider a supply network where the flow of parts can be controlled at the vertices of the network. Based on a coarse grid discretization provided in [6] we derive discrete adjoint equations which are subsequently validated by the continuous adjoint calculus. Moreover, we present numerical results concerning the quality of approximations and computing times of the presented approaches.
Extracting Multilayered Semantic Communities of Interest from Ontology-based User Profiles : Application to Group Modelling and Hybrid Recommendations

A Community of Interest is a specific type of Community of Practice. It is formed by a group of individuals who share a common interest or passion. These people exchange ideas and thoughts about the given passion. However, they are often not aware of their membership to the community, and they may know or care little about each other outside of this clique. This paper describes a proposal to automatically identify Communities of Interest from the tastes and preferences expressed by users in personal ontology-based profiles. The proposed strategy clusters those semantic profile components shared by the users, and according to the clusters found, several layers of interest networks are built. The social relations of these networks might then be used for different purposes. Specifically, we outline here how they can be used to model group profiles and make semantic content-based collaborative recommendations.
Asbestos fibre concentrations in the lungs of brake workers: another look.

OBJECTIVE To reanalyse data on the lung content of asbestos fibres among brake mechanics. METHODS I re-analysed data published by Butnor, Roggli and colleagues on the lung content of chrysotile and tremolite asbestos fibres among brake mechanics and controls. Statistics of the distributions were estimated by maximum likelihood to accommodate observations below the detection limit. Mean concentrations were compared by the t-test, bootstrap resampling and interval-censored survival methods. RESULTS The mean concentrations of fibres were higher among the brake workers than the controls. The concentration of tremolite fibres was higher than the concentration of chrysotile, a pattern similar to that observed among Quebec chrysotile miners and millers. CONCLUSIONS Re-analysis of published data does not support the interpretation that, in automotive brake repair workers with malignant mesothelioma, asbestos content is within the normal range. The alternative interpretation that brake mechanics have a greater than background burden of asbestos fibres, attributable to occupational exposure to dusts from friction products manufactured from Canadian chrysotile, appears more credible. This asbestos burden might be associated with an increased risk of asbestos-associated cancers.
A CLASS OF RATIO-CUM-DUAL TO RATIO ESTIMATOR OF POPULATION VARIANCE

In this paper, we have proposed a class of ratio-cum-dual to ratio estimators using known values of some population parameters of the auxiliary variable to estimate the population variance of the study variable. The expressions for the bias and mean square error of the proposed estimators have been derived upto the first order of approximation. A comparison has been made with some well known estimators, such as sample variance ( 2 y s ), Isaki ratio type ( R t ) and the dual to ratio type ( ( ) d t ) estimators of the population variance and it is shown that the proposed estimator is better than the mentioned estimators under the optimum condition. For illustration, an empirical study has been carried out.
Low-Complexity Widely-Linear Precoding for Downlink Large-Scale MU-MISO Systems

In this letter, we present a widely-linear minimum mean square error (WL-MMSE) precoding scheme employing real-valued transmit symbols for downlink large-scale multi-user multiple-input single-output (MU-MISO) systems. In contrast to the existing WL-MMSE transceivers for single-user multiple-input multiple-output (SU-MIMO) systems, which use both WL precoders and WL detectors, the proposed scheme uses WL precoding only and simple conventional detection at the user terminals (UTs). Moreover, to avoid the computational complexity associated with inversion of large matrices, we modify the WL-MMSE precoder using polynomial expansion (PE). Our simulation results show that in overloaded systems, where the number of UTs is larger than the number of base station antennas, the proposed PE WL-MMSE precoder with only a few terms in the matrix polynomial achieves a substantially higher sum rate than systems employing conventional MMSE precoding. Hence, more UTs sharing the same time/frequency resources can be served in a cell. We validate our simulation results with an analytical expression for the asymptotic sum rate which is obtained by using results from random matrix theory.
Defining angular and radial positions and parameters for myocardial pixels in cardiac MR images

In this work we aimed to automatically produce a measure for the angular and radial position of all pixels within the myocardium in CMR images, left ventricle, short axis view. A reference axis is chosen in an anatomically meaningful way, and this makes the angular position measure easy to relate to the American Heart Association (AHA) 17 segment model. The angular and the radial position give values for each pixel so that each pixel can be represented by a 3D vector of information [intensity value, angular position, radial position]. Using this 3D representation of each pixel, interesting parameters can easily be defined. For example looking at LGE-CMR images for patients with myocardial scar, parameters for describing the localization of the scar segments can be found automatically and objectively, and can be used for further classification of patients.
Affordable SLAM through the Co-Design of Hardware , Software , and Methodology

Simultaneous localization and mapping (SLAM) is a prominent feature for autonomous robots operating in undefined environments. Applications areas such as consumer robotics appliances would clearly benefit from low-cost and compact SLAM implementations. The SLAM research community has developed several robust algorithms in the course of the last two decades. However, until now most SLAM demonstrators have relied on expensive sensors or large processing power, limiting their realms of application. Several works have explored optimizations into various directions; however none has presented a global optimization from the mechatronic to the algorithmic level. In this article, we present a solution to the SLAM problem based on the co-design of a slim rotating distance scanner, a lightweight SLAM software, and an optimization methodology. The scanner consists of a set of infrared distance sensors mounted on a contactless rotating platform. The SLAM algorithm is an adaptation of FastSLAM 2.0 that runs in real time on a miniature robot. The optimization methodology finds the parameters of the SLAM algorithm using an evolution strategy. This unique combination of inexpensive hardware, lightweight software, and global optimization brings SLAM to a whole new class of applications.