Miracle-dz/UniFAR-FTUs huggingface dataset:
Relational Lattice Foundation For Algebraic Logic

Relational Lattice is a succinct mathematical model for Relational Algebra. It reduces the set of six classic relational algebra operators to two: natural join and inner union. In this paper we push relational lattice theory in two directions. First, we uncover a pair of complementary lattice operators, and organize the model into a bilattice of four operations and four distinguished constants. We take a notice a peculiar way bilattice symmetry is broken. Then, we give axiomatic introduction of unary negation operation and prove several laws, including double negation and De Morgan. Next we reduce the model back to two basic binary operations and twelve axioms, and exhibit a convincing argument that the resulting system is complete in model-theoretic sense. The final parts of the paper casts relational lattice perspective onto database dependency theory and into cylindric algebras.
Development and validation of the physical education attitude scale for adolescents

The goal of this research was to develop and validate a physical education (PE) attitude scale (PEAS) for students in early and middle adolescence, based on the contemporary theories of attitudes as a summary evaluation of different information related to the attitude object. In the first study, preliminary version of the scale was administrated on the sample of 547 students. Principal component analysis (PCA) revealed 4 factors, named Satisfaction, Comfort, Activity and Teacher. Second order PCA showed that these factors are a part of a single construct, general attitude toward PE. Based on the results of the first study, the final version of the PEAS is constructed, consisting of the 43 items. In the second study, on a new sample of 659 students, construct validity of the PEAS is confirmed through confirmatory factor analysis. PEAS has good psychometric properties. External validity of the scale is demonstrated through relations with relevant variables.
The influence of expatriate spouses’ coping strategies on expatriate and spouse adjustment

Drawing upon Folkman and Lazarus’ (1984) coping framework and interdependence theory (Thibaut and Kelley, 1959), the purpose of this paper is to investigate how expatriate spouses’ coping strategies (problem-focused and emotion-focused) affect expatriate spouse adjustment and expatriate adjustment. In addition, the authors also examine the mediating effect of expatriate adjustment on the spouse coping strategies-spouse adjustment relationship. ,To test these relationships, the authors collected multi-source data from 191 expatriate spouses and their expatriate partners living in 37 countries. ,The results revealed that problem- and emotion-focused coping strategies positively and negatively, respectively, influenced all types of spouse adjustment: personal, interaction, and cultural. Both forms of spouse coping also influenced expatriate adjustment. The authors also found that expatriate adjustment mediated the relationship between expatriate spouses’ coping strategies and spouse adjustment. ,The results suggest that multinational organizations should pay equal attention to the adjustment of both their expatriates and their spouses. Both expatriates and their spouses should be included in the initial selection process and in pre-departure training to get well equipped before the international assignment. Training spouses to adopt problem-focused coping strategies would help to facilitate the effective adjustment of both spouses and expatriates. ,The research provides one of the first examinations that investigate expatriate spouses’ coping strategies and their impact on expatriate and expatriate spouse adjustment. This research also highlights the interdependency of expatriates and their spouses.
A Quad-Band Distributed Amplifier With E-CRLH Transmission Line

A quad-band microstrip distributed amplifier (DA) based on the extended composite right- and left-handed (E-CRLH) transmission lines (TLs) technique is presented. The design procedure to realize the quad-band E-CRLH TLs at four arbitrary frequencies is presented. The quad-band operation is achieved for a DA using three cells, which each consists of a transistor, microstrip line, and E-CRLH . This DA operates in four frequency bands: two bands in the backward direction and two bands in the forward direction. Moreover, the analytical and experimental results show that the proposed quad-band DA exhibits 10-dB gain in the operational bands. In addition, at these frequency bands, the return loss is greater than 10 dB. The excellent agreement between the simulation and measurement results confirms the accuracy and efficiency of the design technique for the proposed structure.
Topological Strings and $D$-Branes

In this talk we give a brief review of the algebraic structure behind the open and closed topological strings and $D$-branes and emphasize the role of tensor category and the Frobenius algebra. Also, we speculate on the possibility of generalizing the topological strings and the $D$-branes through the subfactor theory.
Sensor Fusion of Range and Reflectance Data for Outdoor Scene Analysis

In recognizing objects in an outdoor scene, range and reflectance (or color) data provide complementary information. Results of experiments in recognizing outdoor scenes containing roads, trees, and cars are presented. The recognition program uses range and reflectance data obtained by a scanning laser range finder, as well as color data from a color TV camera. After segmentation of each image into primitive regions, models of objects are matched using various properties.
Visual query suggestion

Query suggestion is an effective approach to bridge the Intention Gap between the users' search intents and queries. Most existing search engines are able to automatically suggest a list of textual query terms based on users' current query input, which can be called Textual Query Suggestion. This article proposes a new query suggestion scheme named Visual Query Suggestion (VQS) which is dedicated to image search. VQS provides a more effective query interface to help users to precisely express their search intents by joint text and image suggestions. When a user submits a textual query, VQS first provides a list of suggestions, each containing a keyword and a collection of representative images in a dropdown menu. Once the user selects one of the suggestions, the corresponding keyword will be added to complement the initial query as the new textual query, while the image collection will be used as the visual query to further represent the search intent. VQS then performs image search based on the new textual query using text search techniques, as well as content-based visual retrieval to refine the search results by using the corresponding images as query examples. We compare VQS against three popular image search engines, and show that VQS outperforms these engines in terms of both the quality of query suggestion and the search performance.
Approximating shortest paths on a nonconvex polyhedron

We present an approximation algorithm that, given the boundary P of a simple, nonconvex polyhedron in R/sup 3/, and two points s and t on P, constructs a path on P between s and t whose length is at most 7(1+/spl epsi/)d/sub P/(s,t), where d/sub P/(s,t) is the length of the shortest path between s and t on P, and /spl epsi/>0 is an arbitrarily small positive constant. The algorithm runs in O(n/sup 5/3/ log/sup 5/3/ n) time, where n is the number of vertices in P. We also present a slightly faster algorithm that runs in O(n/sup 8/5/ log/sup 8/5/ n) time and returns a path whose length is at most 15(1+/spl epsi/)d/sub P/(s,t).
Analysis of affect expressed through the evolving language of online communication

In this paper, we focus on affect recognition from text in order to facilitate sensitive and expressive communication in computer-mediated environments. Our model for analyzing affect conveyed by text is tailored to handle the style and specifics of informal online conversations. The motivation behind our approach is to improve social interactivity and emotional expressiveness of real-time messaging.In order to estimate affect in text, our model processes symbolic cues, such as emoticons, detects and transforms abbreviations, and employs natural language processing techniques for word/phrase/sentence-level analysis, e.g. by considering relations among words in a sentence. As a result of the analysis, text can be categorized into emotional states and communicative functions. A designed graphical representation of a user (avatar) displays emotions and social behaviour driven by text and performs natural idle movements. The proposed system shows promising results on affect recognition in real examples of online conversation.
Developing system-based leading indicators for proactive risk management in the chemical processing industry

The chemical processing industry has faced challenges with achieving improvements in safety performance, and accidents continue to occur. When accidents occur, they usually have a confluence of multiple factors, suggesting that there are underlying complex systemic problems. Moreover, accident investigations often reveal that accidents were preventable and that many of the problems were known prior to those accidents, suggesting that there may have been early warning signs. System-based analysis addresses systemic aspects and leading indicators enable the detection of ineffective controls and degradation of the system. Together, they could enable taking needed actions before an incident or a loss event. To develop process safety indicators, the chemical processing industry currently uses guidelines that are mainly based on the concepts of the "Swiss Cheese Model" and the "Accident Pyramid. " The current guidelines lack a systemic approach for developing process safety indicators; the guidelines view indicators as independent measures of the safety of a system (e.g. a failure of a barrier), which can be misleading because it would not identify ineffective controls, such as those associated with the migration of the system towards an unsafe state, or associated with interdependencies between barriers. Moreover, process safety indicators that are currently used in the chemical industry are more focused on lagging as opposed to leading indicators. This main objective of this thesis is to develop a structured system-based method that can assist a hydrocarbon/chemical processing organization in developing system-based process safety leading indicators. Building on developed safety control structures and the associated safety constraints, the proposed method can be used to develop both technical and organizational leading indicators based on the controls, feedbacks, and process models, which, ultimately, can ensure that there is an effective control structure.
Improved Blue, Green, and Red Fluorescent Protein Tagging Vectors for S. cerevisiae

Fluorescent protein fusions are a powerful tool to monitor the localization and trafficking of proteins. Such studies are particularly easy to carry out in the budding yeast Saccharomyces cerevisiae due to the ease with which tags can be introduced into the genome by homologous recombination. However, the available yeast tagging plasmids have not kept pace with the development of new and improved fluorescent proteins. Here, we have constructed yeast optimized versions of 19 different fluorescent proteins and tested them for use as fusion tags in yeast. These include two blue, seven green, and seven red fluorescent proteins, which we have assessed for brightness, photostability and perturbation of tagged proteins. We find that EGFP remains the best performing green fluorescent protein, that TagRFP-T and mRuby2 outperform mCherry as red fluorescent proteins, and that mTagBFP2 can be used as a blue fluorescent protein tag. Together, the new tagging vectors we have constructed provide improved blue and red fluorescent proteins for yeast tagging and three color imaging.
Does Pathogen Spillover from Commercially Reared Bumble Bees Threaten Wild Pollinators?

The conservation of insect pollinators is drawing attention because of reported declines in bee species and the ‘ecosystem services’ they provide. This issue has been brought to a head by recent devastating losses of honey bees throughout North America (so called, ‘Colony Collapse Disorder’); yet, we still have little understanding of the cause(s) of bee declines. Wild bumble bees (Bombus spp.) have also suffered serious declines and circumstantial evidence suggests that pathogen ‘spillover’ from commercially reared bumble bees, which are used extensively to pollinate greenhouse crops, is a possible cause. We constructed a spatially explicit model of pathogen spillover in bumble bees and, using laboratory experiments and the literature, estimated parameter values for the spillover of Crithidia bombi, a destructive pathogen commonly found in commercial Bombus. We also monitored wild bumble bee populations near greenhouses for evidence of pathogen spillover, and compared the fit of our model to patterns of C. bombi infection observed in the field. Our model predicts that, during the first three months of spillover, transmission from commercial hives would infect up to 20% of wild bumble bees within 2 km of the greenhouse. However, a travelling wave of disease is predicted to form suddenly, infecting up to 35–100% of wild Bombus, and spread away from the greenhouse at a rate of 2 km/wk. In the field, although we did not observe a large epizootic wave of infection, the prevalences of C. bombi near greenhouses were consistent with our model. Indeed, we found that spillover has allowed C. bombi to invade several wild bumble bee species near greenhouses. Given the available evidence, it is likely that pathogen spillover from commercial bees is contributing to the ongoing decline of wild Bombus in North America. Improved management of domestic bees, for example by reducing their parasite loads and their overlap with wild congeners, could diminish or even eliminate pathogen spillover.
Coordinated aggressive bidding in distributed combinatorial resource allocation

Large NP-hard combinatorial resource allocation problems are best solved via approximation techniques which produce acceptable solutions in the time available. The best of such “good-enough/soon-enough” techniques handle large problems, run in distributed environments, adapt rapidly to changes to the problem while solving, and exhibit good anytime performance. The Dynamic Marble Size (DMS) algorithm appears promising as an approach offering all those traits. It is a marketinspired distributed multi-agent scheme, in which task agents aggressively bid for their preferred resource bundles through single-resource auctions, coordinating their interdependent bids by bid adjustment. In the DMS algorithm, tasks maximally bid their value. This aggressive bidding strategy maximizes other bidders’ information about their prospects of succeeding, and thereby also help them focus on resources they can win. An oscillationavoiding bid adjustment algorithm utilizes a binary search technique to prevent those adjustments from introducing cycles or deadlocks. A “stubbornness-detection monitor” (a re-start limit) limits how many sets of resources a task will pursue. Aggressive bidding, oscillation-avoidance and stubbornness-detection promote rapid convergence on good solutions – bidders avoid highly-contended resources and focus upon more promising alternatives. To evaluate the DMS algorithm, we analyzed characteristics of randomly-generated problems, using results obtained with a Pseudo-Boolean encoding of the problem as the gold standard for quality obtainable from centralized solutions. For the types of problems that our problem generator can produce, DMS produces comparable solution quality, using significantly less time, as well as exhibiting a good anytime performance. Furthermore, a variant of DMS scales linearly in the problem size. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Copyright 2002 ACM X-XXXXX-XX-X/XX/XX . $5.00.
A Study on Family Opinions Concerning Services Provided in Special Education Centres.

This study is to diagnose and evaluate children with different special needs medically and educationally and, as a result of those evaluations, to identify families’ expectations, opinions and suggestions concerning the special education process, services and the functioning of special education institutions. The mothers of five children who attended special education centres located in Nicosia, Turkish Republic of Northern Cyprus, were included. The data were gathered through semistructured interviews, and the study were designed with the research method qualitatively. The opinions of mothers were gathered under five main themes. The results show that children who were diagnosed/evaluated at an early stage were integrated into education earlier and benefit more from special education institutions compared with other children. This study concludes that mothers’ anxiety and stress decrease as the social support they receive increases.
Nighttime Vehicle Detection Using Deformable Parts Model

Vehicle detection at night time is of great importance for applications toward advanced driver assistance system. In this paper, we propose a method using deformable parts model for night time vehicle detection. Before detection, we use Nakagami distribution to find the regions of saliency. After that, we consider the regions in which pairs of regions of saliency are almost at the same horizontal line as our regions of interest. Within those regions of interest, we apply the pre-trained deformable parts model to detect vehicles. The experimental result are provided to demonstrate the effectiveness of our method.
Improving the Linux Test Project with Kernel Code Coverage Analysis

Coverage analysis measures how much of the target code is run during a test and is a useful mechanism for evaluating the effectiveness of a system test or benchmark. In order to improve the quality of the Linux® kernel, we are utilizing GCOV, a test coverage program which is part of GNU CC, to show how much of the kernel code is being exercised by test suites such as the Linux Test Project. This paper will discuss the issues that make code coverage analysis a complicated task and how those issues are being addressed. We will describe tools that have been developed to facilitate analysis and how these tools can be utilized for kernel, as well as application code coverage analysis.
Generation and Storage of Large Synthetic Fingerprint Database

Estimated size of database for UIDAI’s project[9] is 1.2 billion rows, larger than the current largest fingerprint based biometric database. To simulate and analyze different algorithm and methods that can be used to establish a complete UID system, a database of similar size is required. Our motive is to generate large database of synthetic fingerprints using parametric modeling of fingerprints [10][1][2] and querying this database using genuine and impostor query-fingerprints with fast and efficient near-neighbors search methods in order to estimate query-time and accuracy of such system. Like other biometric databases our synthetic fingerprint database also suffers curse of dimensionality. Several different features associated with a fingerprint are represented as vectors in high dimensional spaces. Since fingerprint databases are massive in size and high-dimensional in nature, a really fast near-neighbors algorithm is required to find most similar fingerprints. Approximation based near-neighbors search methods provide time-accuracy trade-off. Storage and retrieval strategy adapted in this work is based on such a well known method, Locality Sensitive Hashing [11].
Deeper Sentiment Analysis Using Machine Translation Technology

This paper proposes a new paradigm for sentiment analysis: translation from text documents to a set of sentiment units. The techniques of deep language analysis for machine translation are applicable also to this kind of text mining task. We developed a high-precision sentiment analysis system at a low development cost, by making use of an existing transfer-based machine translation engine.
Sloan Digital Sky Survey Spectroscopic Lens Search. I. Discovery of Intermediate-Redshift Star-forming Galaxies behind Foreground Luminous Red Galaxies

We present a catalog of 49 spectroscopic strong gravitational lens candidates selected from a Sloan Digital Sky Survey sample of 50,996 luminous red galaxies. Potentially lensed star-forming galaxies are detected through the presence of background oxygen and hydrogen nebular emission lines in the spectra of these massive foreground galaxies. This multiline selection eliminates the ambiguity of single-line identification and provides a very promising sample of candidate galaxy-galaxy lens systems at low to intermediate redshift, with foreground redshifts ranging from 0.16 to 0.49 and background redshifts from 0.25 to 0.81. Any lenses confirmed within our sample would be important new probes of early-type galaxy mass distributions, providing complementary constraints to those obtained from currently known lensed high-redshift quasars.
Criteria for assessment of bridge aesthetic and visual quality

The bridge designers should find an ideal balance between structure, economy, buildability, aesthetics, durability and harmony with industrial or natural landscape. During the last years, the society has adopted documents providing procedures for evaluation of the impact of the structural appearance on surrounding landscape. The European Landscape Convention defines the landscape as an area perceived by people, whose character is the result of the action and interaction of natural and/or human factors. The Convention indicates the methods for clear and objective assessment of the landscape’s visual qualities. The esthetical qualities of bridge structures, appearance and attraction should satisfy not only the technicians - engineers and architects, but mostly the surrounding population. Each of these groups has a different perception of esthetical qualities of structure. Many authors have used different methods and criteria for assessment of bridge aesthetics. The aim of this paper is to provide an overview of the bridge aesthetic and visual quality assessment methods and criteria.
Inferring query models by computing information flow

The language modelling approach to information retrieval can also be used to compute query models. A query model can be envisaged as an expansion of an initial query. The more prominent query models in the literature have a probabilistic basis. This paper introduces an alternative, non-probabilistic approach to query modelling whereby the strength of information flow is computed between a query Q and a term w. Information flow is a reflection of how strongly w is informationally contained within the query Q. The information flow model is based on Hyperspace Analogue to Language (HAL) vector representations, which reflects the lexical co-occurrence information of terms. Research from cognitive science has demonstrated the cognitive compatibility of HAL representations with human processing. Query models computed from TREC queries by HAL-based information flow are compared experimentally with two probabilistic query language models. Experimental results are provided showing the HAL-based information flow model be superior to query models computed via Markov chains, and seems to be as effective as a probabilistically motivated relevance model.