68 research outputs found
The AGROVOC concept server: rationale, goals and usage
No full textThe main objective of the AGROVOC Concept Server (CS)is to create a collaborative reference platform and a one-stop shop for a pool of commonly used concepts related to agriculture, containing terms, definitions and relationships between terms in multiple languages derived from various sources. This paper aims to address the issues
First-order Fragments with Successor over Infinite Words
No full textWe consider fragments of first-order logic and as models we allow finite and infinite words simultaneously. The only binary relations apart from equality are order comparison < and the successor predicate +1. We give characterizations of the fragments Sigma_2 = Sigma_2[<,+1] and FO^2 = FO^2[<,+1] in terms of algebraic and topological properties. To this end we introduce the factor topology over infinite words. It turns out that a language is in FO^2 cap Sigma_2 if and only if is the interior of an FO^2 language. Symmetrically, a language is in FO^2 cap Pi_2 if and only if it is the topological closure of an FO^2 language. The fragment Delta_2 = Sigma_2 cap Pi_2 contains exactly the clopen languages in FO^2. In particular, over infinite words Delta_2 is a strict subclass of FO^2. Our characterizations yield decidability of the membership problem for all these fragments over finite and infinite words; and as a corollary we also obtain decidability for infinite words. Moreover, we give a new decidable algebraic characterization of dot-depth 3/2 over finite words.
Decidability of dot-depth 3/2 over finite words was first shown by Glasser and Schmitz in STACS 2000, and decidability of the membership problem for FO^2 over infinite words was shown 1998 by Wilke in his habilitation thesis whereas decidability of Sigma_2 over infinite words is new
Pruning-based identification of domain ontologies
No full textWe present a novel approach of extracting a domain ontology from large-scale thesauri. Concepts are identified to be relevant for a domain based on their frequent occurrence in domain texts. The approach allows to bootstrap the ontology engineering process from given legacy thesauri and identifies an initial domain ontology that may easily be refined by experts in a later stage. We present a thorough evaluation of the results obtained in building a biosecurity ontology for the UN FAO AOS project
Automatic multi-label subject indexing in a multilingual environment
No full textThis paper presents an approach to automatically subject index fulltext documents with multiple labels based on binary support vector machines(SVM). The aim was to test the applicability of SVMs with a real world dataset. We have also explored the feasibility of incorporating multilingual background knowledge, as represented in thesauri or ontologies, into our text document representation for indexing purposes. The test set for our evaluations has been compiled from an extensive document base maintained by the Food and Agriculture Organization (FAO) of the United Nations (UN). Empirical results show that SVMs are a good method for automatic multi- label classification of documents in multiple languages
The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on Words
No full textAutomata, Logic and SemanticsInternational audienceThe join of two varieties is the smallest variety containing both. In finite semigroup theory, the varieties of R-trivial and L-trivial monoids are two of the most prominent classes of finite monoids. Their join is known to be decidable due to a result of Almeida and Azevedo. In this paper, we give a new proof for Almeida and Azevedo's effective characterization of the join of R-trivial and L-trivial monoids. This characterization is a single identity of omega-terms using three variables
First-order fragments with successor over infinite words
No full textWe consider fragments of first-order logic and as models we allow finite andinfinite words simultaneously. The only binary relations apart from equalityare order comparison < and the successor predicate +1. We givecharacterizations of the fragments Sigma2 = Sigma2[<,+1] and FO2 = FO2[<,+1] interms of algebraic and topological properties. To this end we introduce thefactor topology over infinite words. It turns out that a language L is in theintersection of FO2 and Sigma2 if and only if L is the interior of an FO2language. Symmetrically, a language is in the intersection of FO2 and Pi2 ifand only if it is the topological closure of an FO2 language. The fragmentDelta2, which by definition is the intersection Sigma2 and Pi2 contains exactlythe clopen languages in FO2. In particular, over infinite words Delta2 is astrict subclass of FO2. Our characterizations yield decidability of themembership problem for all these fragments over finite and infinite words; andas a corollary we also obtain decidability for infinite words. Moreover, wegive a new decidable algebraic characterization of dot-depth 3/2 over finitewords. Decidability of dot-depth 3/2 over finite words was first shown by Glaßer andSchmitz in STACS 2000, and decidability of the membership problem for FO2 overinfinite words was shown 1998 by Wilke in his habilitation thesis whereasdecidability of Sigma2 over infinite words was not known before
Capillary thinning analysis
No full textThe data analysis package is composed of three distinct scripts designed to be run in Matlab with png image files. ContactAngle.m measures the contact angle of a liquid bridge and the spreading distance on the substrate for a series of images during liquid bridge thinning. Startpoint_Symmetry finds the minimum radius for a series of liquid bridge thinning images, identifies the start and end point of thinning, and gives information about the overall symmetry of the trials. EC_binning identifies the fitting region, fits and reports relaxation time for elastocapillary thinning fluids. For all three scripts, an example dataset is provided to demonstrate script functionality.This collection of scripts is a package for analyzing extensional rheology data of liquid bridges. While this was created with Dripping-onto-Substrate datasets, this data analysis package may be useful for other liquid bridge thinning applications such as CaBER. Any pre-processing of images, such as binarizing, converting to png or cropping, can be completed with ImageJ.This material is based upon work supported by the National Science Foundation Graduate Research Fellowship under Grant No. CON-75851, project 00074041. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.Lauser, Kathleen T; Calabrese, Michelle A. (2022). Capillary thinning analysis. Retrieved from the University Digital Conservancy, https://doi.org/10.13020/gkz4-8z17
Bridging End Users' Terms and AGROVOC Concept Server Vocabularies
No full textThe AGROVOC is a multilingual structured thesaurus in the agricultural domain. It has already been mapped with several vocabularies, for example AGROVOC-CAT, AGROVOC-NALT , AGROVOC-SWD. Although these vocabularies already contained a good portion of non-preferred terms, the terms are collected under the literary warrant and institutional warrant principles; which means vocabularies were collected based on the documents and publications rather than user‟s queries. It is still very common that end users would use different terms to express the same concept. In light of above discussion, we need to bridge these vocabularies and the users‟ terms
Backgroun
Evaluation of Teller Services to Customers and Analysing Customer Satisfaction with Teller Services at BSI KCP Lauser
No full textThis study discusses the effect of service quality on customer satisfaction in Islamic banks. The purpose of this writing is to know what is customer satisfaction and service quality how to measure service quality, and what are the factors that cause customer satisfaction. This writing can also be seen how the relationship between service quality and customer satisfaction. In conducting research the author uses the literature study method, the author gets references from reliable sources. The results showed that all dimensions of service quality have a significant positive effect on customer satisfaction, which means that the better the quality of service ranging from physical evidence, responsive data, reliability, assurance and empathy provided by Islamic banking will be able to increase customer satisfaction and vice versa. Service is not just about providing services to customers, but also understanding customer needs and desires. A good service must start from understanding the needs and desires of customers, providing the right solution, always updating and improving services, listening to customer feedback, and always being balanced with competitive prices and satisfying product qualit
- …
