Miracle-dz/UniFAR-FTUs huggingface dataset:
Ontology Database SPARQL Query Tests SQL Queries Benchmark Scenario X Candidate System

Accessing and utilizing enterprise or Web data that is scattered across multiple data sources is an important task for both applications and users. Ontology-based data integration, where an ontology mediates between the raw data and its consumers, is a promising approach to facilitate such scenarios. This approach crucially relies on useful mappings to relate the ontology and the data, the latter being typically stored in relational databases. A number of systems to support the construction of such mappings have recently been developed. A generic and effective benchmark for reliable and comparable evaluation of the practical utility of such systems would make an important contribution to the development of ontology-based data integration systems and their application in practice. We have proposed such a benchmark, called RODI. In this paper, we present a new version of RODI, which significantly extends our previous benchmark, and we evaluate various systems with it. RODI includes test scenarios from the domains of scientific conferences, geographical data, and oil and gas exploration. Scenarios are constituted of databases, ontologies, and queries to test expected results. Systems that compute relational-to-ontology mappings can be evaluated using RODI by checking how well they can handle various features of relational schemas and ontologies, and how well the computed mappings work for query answering. Using RODI, we conducted a comprehensive evaluation of seven systems.
Instantaneous three-dimensional concentration measurements in turbulent jets and flames.

An experiment is described in which the instantaneous three-dimensional gas-concentration distributions in turbulent jets and flames were recorded. A resonant scanning mirror was used to sweep a laser sheet through the volume of a flow field. During the 1.4-μsec duration of the laser pulse, an electronic framing camera imaged the scattered light from the gas in as many as 12 parallel planes within the flow. A two-dimensional charge-coupled-device array was used to digitize the images from the framing camera in real time. The measurement period was brief enough to freeze the motion of the gas.
New Language Constructs and Inferences for the Knowledge Base Paradigm: A Business and Multi-agent Perspective ; Taaluitbreidingen en nieuwe inferenties voor het kennisbank paradigma vanuit een Business en Multi-Agent perspectief

In Artificial Intelligence, the scientific field of Knowledge Representation and Reasoning (KRR) is concerned with developing formal languages, to represent knowledge, and inference methods to solve tasks using that knowledge. Most of the existing approaches develop a formal language (a logic) together with an inference, to solve some type of computational task. The recently proposed Knowledge Base (KB) paradigm applies a strict separation of concerns to information and problem solving, based on the idea that knowledge is completely independent of the computational task it is used for. A KB system allows information to be stored in a knowledge base, and provides a range of inference methods, all using the same knowledge base. With these inference methods, various types of problems and tasks can be solved using the same knowledge base. In this text we study this paradigm in detail and we prove the hypothesis that this approach has many advantages over standard declarative paradigms. We use an implementation of a KB system: the IDP system with corresponding language FO(·) to model challenging and interesting applications. These applications show the need to provide extensions: we develop new language constructs and formalize new inferences. In the first part of this work, we study two applications from industry. We first look at interactive product configuration. In these interactive configuration problems, a configuration of interrelated objects under constraints is searched, where the system assists the user in reaching an intended configuration. We
A novel chemical method for measuring ketone bodies in subclinical ketosis

Backgrounds: Subclinical ketosis can cause greater economic loss due to a lack of clinical symptoms. Objectives: The present study was aimed to design a chemical method for measuring serum ketone bodies in the affected subclinical cows. Methods: Acetoacetate concentrations were measured using a nitroprusside reaction and b-hydroxy butyric acid (BHBA) which was oxidized to acetoacetate using nanosilver particles to determine its concentration. Recovery tests were done for different concentrations of betahydroxy butyrate in bovine pooled serum. Results: Actoacetate levels were in range of 0.1-6 mM, and the values for BHBA were found to be in the range of 0.125-3 mM. Conclusions: It was concluded that this technique can be considered as a simple method for measuring ketone bodies in biological fluids. Backgrounds: Subclinical ketosis can cause greater economic loss due to a lack of clinical symptoms. Objectives: The present study was aimed to design a chemical method for measuring serum ketone bodies in the affected subclinical cows. Methods: Acetoacetate concentrations were measured using a nitroprusside reaction and b-hydroxy butyric acid (BHBA) which was oxidized to acetoacetate using nanosilver particles to determine its concentration. Recovery tests were done for different concentrations of betahydroxy butyrate in bovine pooled serum. Results: Actoacetate levels were in range of 0.1-6 mM, and the values for BHBA were found to be in the range of 0.125-3 mM. Conclusions: It was concluded that this technique can be considered as a simple method for measuring ketone bodies in biological fluids.
Transforming the SF-36 to Account for Death in Longitudinal Studies With Three-Year Follow-Up

Background:Analyses of longitudinal health-related quality of life data often exclude participants who die, which limits the generalizability of the results. Methods to incorporate death as a valid score in the Medical Outcomes Study Short-Form (SF-36) have been suggested but need to be evaluated in other populations. Objectives:We sought to apply a method of transforming the SF-36 Physical Component Score (PCS) to include death. A transformation to estimate the probability of being “healthy” in 3 years, based on the current PCS value, will be developed and validated. Subjects:Women in the Australian Longitudinal Study on Women's Health (ALSWH), ages 70–75 years at Survey 1 in 1996 (n = 12,432), were followed-up at 3 yearly intervals for 6 years. Results:The transformation derived from the ALSWH data provides evidence that the methodology for transforming the PCS to account for deaths is sound. The 3-year equation provided good estimates of the probability of being healthy in 3 years and the method allowed deaths to be included in an analysis of changes in health over time. Conclusions:For longitudinal studies involving the SF-36 in which subjects have died, we support the recommendation that both the PCS and its transformed value which includes deaths should be analyzed to examine the influence of deaths on the study conclusions. Using study data to derive empirical parameters for the transformations may be appropriate for studies with follow-up intervals of other lengths.
Preferences for autonomy in end-of-life decision making in modern Korean society

Background: The demand for autonomy in medical decision making is increasing among Korean people, but it is not well known why some people prefer autonomy in decision making but others do not. Research objectives: The aim of this study was to determine the extent to which Korean adults wished to exercise autonomy in the process of decision making regarding end-of-life treatment and to determine whether economic issues and family functioning, in particular, were associated with preferences for participation in decision making in Korean people. Research design: This study was a cross-sectional correlational study using a survey. Participants and research context: Data were collected using structured questionnaires from 354 patients or their families who visited ambulatory departments at two general hospitals in South Korea, recruited by the proportionate quota sampling method. Data analysis was performed using multinomial logistic regression analyses. Ethical considerations: The study was approved by the hospitals’ directors and the ethics committee of Kyungpook National University Hospital. Written informed consent was given by all participants. Findings: A majority of Korean people wanted to make autonomous decisions regarding treatment at the end of life. Preferences for autonomous decision making regarding end-of-life treatment, rather than relying on family, showed a significant increase in association with poor family functioning and low income. Discussion: Results of this study suggested the necessity for development of alternatives to a dominant traditional “family-centered” approach in Korean people, in order to enhance end-of-life decision making for people who wish to take an active role in the decision-making process. Conclusion: Healthcare providers need to examine not only patients’ preferred decision-making style but also any reasons for their choice, in particular, family conflict and financial burden.
Exploring risk factors and predicting UPDRS score based on Parkinson's speech signals

The unified Parkinson's disease rating scale (UPDRS) is the most widely employed scale for tracking Parkinson's disease (PD) symptom progression. However, conventional way to achieve UPDRS, mainly based on the physical examinations of clinic patients performed by the trained medical staffs, involves the disadvantages of inconvenience and high medical expense. Hence, in this study, we try to explore some risk factors and accurately predict the UPDRS for PD, using the speech signals of PD patients published on UCI machine-learning archive. More specifically, inspired by the idea of ensemble learning, we firstly construct a framework of ensemble feature selection (EFS) to select a suitable subset of features among numerous speech signals. Subsequently, a personalized predictive model, trained by adopting information from similar patients, is developed to be customized for an individual PD patient. Finally, we employ the personalized predictive model to predict UPDRS score combined with various classical regression algorithms. Compared to conventional models, our study has a potential to capture more relevant risk factors and produces more accurate UPDRS score for individual patient. Experimental results on real-world dataset from UCI machine-learning archive show that our personalized predictive model gets a promising performance.
Effusion Area Segmentation for Knee Joint Ultrasound Image Based on Atrous-Fcn with Snake Model Algorithm

Knee synovitis is a common clinical disease with the increasing of knee joint effusion in symptom. The effusion area detected by ultrasonic signal is similar to the image background, which lead to false identification. To segment accurately the effusion area of the knee joint ultrasound image in our paper, Snake model algorithm and deep network are proposed to identify the effusion area, which can increase the MIoU by 10% after incorporating the Snake model algorithm. By atrous-FCN in this deep network, the balance between ‘small field of vision, and ‘big field of vision’ is found during selecting the number of atrous layers. Finally, MIoU can reach about 0.801 on the testing dataset, with accuracy of about 0.96.
Application of Diffusion of Innovations Models in Hospital Knowledge Management Systems: Lessons to Be Learned in Complex Organizations

The authors identify a number of lessons to be learned regarding implementing a knowledge management system in hospitals. Building on the diffusion of innovations model, the authors address the development and implementation of a staffing productivity system designed to anticipate future hospital staffing needs. They describe the methodology behind the daily staff management system, efforts to market the system, and the implementation process and subsequent discontinuance of the system in a few early adopter hospitals. The authors address a number of principles of diffusion of innovations in the context of a complex adaptive system and provide insights into why some knowledge management systems fail.
Settlement history of the islands on the Pangani River, northeastern Tanzania

ABSTRACT Part of the history of human settlements on the islands along the Pangani River at Korogwe in northeastern Tanzania has been misconstrued. Eurocentric accounts claim that the islands were inhabited during the nineteenth century and that they were refuges for the Zigua from Maasai cattle raiders. Those accounts also claim that these settlements served as staging posts for trade caravans during the nineteenth century to provide food and security to coastal traders. An historical archaeology study conducted at the four abandoned islands of Ngombezi, Old Korogwe, Kwa Sigi and Maurui necessitates a rigorous re-examination of the documented historical narratives of these settlements. Current archaeological evidence suggests that the islands have been inhabited continuously for more than five centuries. The island communities were not isolated: instead, they were part of regional systems of trade and exchange that had developed long before the nineteenth century.
Patch models and their applications to multi-vehicle control

We introduce patch models, a computational modeling formalism for multi-vehicle domains. The unique feature of these models is that they are rich enough to represent controlled dynamics, while being simple enough to be manipulated by automated decision processes and humans. This capability is derived from the use of formal representations of space and time developed in the computer science community, and the idea of encapsulated path planning for hiding details of system dynamics from decision-makers. The models permit the construction of abstraction-based command and control systems. Major features include support for multiple situation models and rapid plan adaptation. We describe the formal specification of patch models and present evaluation results in the form of a three-team, seven-agent combat case study simulated on Patchworks, our implementation of patch models
Analysis of PCB Discontinuities Using FD-TD and Wavelets

A wavelet-based technique is proposed for the extraction of a two-port equivalent circuit of typical printed circuit board (PCB) discontinuities from full-wave FD-TD results. An equivalent representation in the wavelet domain of the discontinuity is obtained by expanding the computed time domain quantities. Hence the wavelet transformed scattering parameters can be included in a wavelet equivalent of TEM wave propagation paths along the PCB in order to obtain an overall equivalent of the entire structure. The wavelet representation drastically minimizes the CPU time and computer storage requirements while maintaining excellent accuracy, so that it proves to be a very useful modeling tool especially in the design stage.
Function of NF-kappa B/Rel binding sites in the major histocompatibility complex class II invariant chain promoter is dependent on cell-specific binding of different NF-kappa B/Rel subunits

The promoter of the human major histocompatibility complex class II-associated invariant-chain gene (Ii) contains two NF-kappa B/Rel binding sites located at -109 to -118 (Ii kappa B-1) and -163 to -172 (Ii kappa B-2) from the transcription start site. We report here that the differential function of each of these NF-kappa B/Rel sites in several distinct cell types depends on cell-specific binding of NF-kappa B/Rel transcription factors. Ii kappa B-1 is a positive regulatory element in B-cell lines and in the Ii-expressing T-cell line, H9, but acts as a negative regulatory element in myelomonocytic and glia cell lines. In vivo protein-DNA contacts are detectable at Ii kappa B-1 in cell lines in which this site is functional as either a positive or negative regulator. Electrophoretic mobility supershift assays determine that members of the NF-kappa B/Rel family of transcription factors can bind to this site in vitro and that DNA-binding complexes that contain p50, p52, p65, and cRel correlate with positive regulation whereas the presence of p50 correlates with negative regulation. Ii kappa B-2 is a site of positive regulation in B-cell lines and a site of negative regulation in H9 T cells, myelomonocytic, and glial cell lines. In vivo occupancy of this site is observed only in the H9 T-cell line. Again, in vitro supershift studies indicate that the presence of p50, p52, p65, and cRel correlates with positive function whereas the presence of only p50 and p52 correlates with negative function. This differential binding of specific NF-kappa B/Rel subunits is likely to mediate the disparate functions of these two NF-kappa B/Rel binding sites.
PHYLOGENETIC INFERENCE FROM RESTRICTION ENDONUCLEASE CLEAVAGE SITE MAPS WITH PARTICULAR REFERENCE TO THE EVOLUTION OF HUMANS AND THE APES

Recombinant DNA technology provides evolutionary biologists with another tool for making phylogenetic inference through contrasts of restriction endounuclease cleavage site maps or DNA sequences between homologous DNA segments found in different groups. This paper is limited to the problem of making phylogenetic inference from restriction site maps. Several methods for making such inference have already been used or proposed (Avise et al., 1979a, 1979b;NeiandLi, 1979; Ferris et al., 1981), but all these methods depend upon the assumption that shared restriction sites reflect common evolutionary origins and are not the result of convergent evolution. Unfortunately, convergent evolution occurs with high probability for this type of data (Templeton, 1983). In addition, data from several different restriction enzymes are generally pooled in these analyses. Recently, Adams and Rothman (1982) have examined the distributions of cleavage sites and related sequences for 54 restriction endonucleases. They concluded 1) that cleavage sites and related sequences are distributed non-randomly in most DNA sequences, 2) that there is considerable heterogeneity between different restriction enzymes (even those with recognition sequences of the same length) with respect to the number and distribution of their respective cleavage sites and related sequences, and 3) that inference of phylogenetic relationship based on distances will be biased. In addition, Brown et al. (1982) sequenced 896 base pairs of the mitochondrial DNA from humans and apes and concluded that about 90% of the substitutions were transitions. The predominance of transitions over transversions increases the probability of convergence over that expected when all base substitutions are assumed to be equally likely (Templeton, 1983). Therefore, a need exists for an algorithm of phylogenetic inference that deals more directly with the problem of convergent evolution and statistical inhomogeneity between different restriction enzymes. In this paper, I propose such an algorithm. After discussing the problem of estimation of a phylogenetic tree, the task of statistical testing is then addressed. First, I present a non-parametric statistical framework for testing the fit of one hypothesized phylogeny versus an alternative phylogeny. Second, non-parametric statistical procedures are presented for testing hypotheses about relative rates of evolution among the various lineages.
The Circadian RNA-Binding Protein CHLAMY 1 Represents a Novel Type Heteromer of RNA Recognition Motif and Lysine Homology Domain-Containing Subunits

ABSTRACT The RNA-binding protein CHLAMY 1 from Chlamydomonas reinhardtii binds specifically to UG(≥7) repeat sequences situated in the 3′ untranslated regions of several mRNAs. Its binding activity is controlled by the circadian clock. The biochemical purification and characterization of CHLAMY 1 revealed a novel type of RNA-binding protein. It includes two different subunits (named C1 and C3), whose interaction appears necessary for RNA binding. One of them (C3) belongs to the proteins of the CELF (CUG-BP-ETR-3-like factors) family and thus bears three RNA recognition motif domains. The other is composed of three lysine homology domains and a protein-protein interaction domain (WW). The subunits C1 and C3 have theoretical molecular masses of 45 and 52 kDa, respectively, and are present in nearly equal amounts during the circadian cycle. At the beginning of the subjective night, both can be found in protein complexes of 100 to 160 kDa. However, during subjective day when binding activity of CHLAMY 1 is low, the C1 subunit in addition is present in a high-molecular-mass protein complex of more than 680 kDa. These data indicate posttranslational control of the circadian binding activity of CHLAMY 1. Notably, the C3 subunit shows significant homology to the rat CUG-binding protein 2. Anti-C3 antibodies can recognize the rat homologue, which can also be found in a protein complex in this vertebrate.
Level of Detail Flow Simulation

In this paper we present a framework to simulate visually plausible large scale ﬂow of ﬂuids or smoke. To maintain real-time speed, we deﬁne the simulation over a coarse grid which is reﬁned with a more detailed grid at places where ﬁne details may emerge, like around moving obstacles. The detailed grids also act as ﬁxed frames of reference to the surrounded obstacles to prevent the need for working with moving boundaries in the ﬂow. Categories and Subject Descriptors (according to ACM CCS) : I.3. 7 [Computer Graphics]: Fluid simulation
Consumption volatility and financial openness

Economic theory predicts that the integration of financial markets lowers the volatility of consumption. In this article, we study long-term trends in the consumption volatility of the G7 countries. Using different measures of financial openness, we find evidence that greater financial openness has been associated with lower consumption volatility. However, volatility of consumption relative to output has not declined.
Tuning interpolation methods for environmental uni-dimensional (transect) surveys

The paper proposes rCV, a new randomised Cross Validation (CV) criterion specially designed for use with data acquired over non-uniformly scattered designs, like the linear transect surveys typical in environmental observation. The new criterion enables a robust parameterisation of interpolation algorithms, in a manner completely driven by the data and free of any modelling assumptions. The new CV method randomly chooses the hold-out sets such that they reflect, statistically, the geometry of the design with respect to the unobserved points of the area where the observations are to be extrapolated, minimising biases due to the particular geometry of the designs. Numerical results on both simulated and realistic datasets show its robustness and superiority, leading to interpolated fields with smaller error.
On unequally spaced AR(1) process

Discrete autoregressive process of the first order is considered. The process is observed at unequally spaced time instants. Both least squares estimate and maximum likelihood estimate of the autocorrelation coefficient are analyzed. We show some dangers related with the estimates when the true value of the autocorrelation coefficient is small. Monte-Carlo method is used to illustrate the problems.