Miracle-dz/UniFAR-FTUs huggingface dataset:
SWRank: An Approach for Ranking Semantic Web Reversely and Consistently

The semantic Web is a typical link-based graph consisting of resources (labeled nodes) and relations (labeled edges). Ranking facility is required in order to assist human and intelligent agent in finding appropriate resources from massive knowledge organized in the semantic Web. The complexity lies in that relations are labeled and directed, and a huge number of fine-grained resources can describe either schema or instance data. We propose SWRank as a semantic Web ranking approach which applies an object-level link analysis ranking algorithm reversely to the direction of relations and consistently across the schema graph and the data graph. Our preliminary experiment shows that the approach has a similar converge property to and more reasonable ranking result than PageRank in evaluating the importance of individual resources in the semantic Web.
Deriving the kinship matrix F in complex evolutionary scenarios

In the two population scenario of Figure 1 (main paper), the kinship matrix is F = 0.05 0 0 0.05 because populations are independent conditional on the ancestral population, and 1 − 1 2N 0 t , with N 0 = 1000 and t = 100. Below we show that the kinship matrix in scenarios with migrations also have the same kinship matrix. Derivations for the bottleneck scenario are similar (and actually easier). Asymmetric migration: This scenario is equivalent to the constant size scenario until generation 50. Then 10% of indivuals from population 1 migrate to population 2. After generation 51 we resize both populations in order to match the genetic drift of the constant size scenario. To achieve this objective, the new population sizes are: N 1 = 1003 and N 2 = 851. Let f t be the drift accumulated in a population at generation t, N t the population size at generation t and m the percentage of new individuals in population 1 after the migration event. For populations 1 and 2 we have f 50 = 1 − 1 − 1 2000 50 , (1) Population 1 looses 100 individuals from generation 49 to generation 50, so f 51 =
Dominance Testing via Model Checking

Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithms and tools for dominance testing. CP-nets and TCP-nets are some of the widely studied languages for representing and reasoning with preferences. We reduce dominance testing in TCP-nets to reachability analysis in a graph of outcomes. We provide an encoding of TCP-nets in the form of a Kripke structure for CTL. We show how to compute dominance using NuSMV, a model checker for CTL. We present results of experiments that demonstrate the feasibility of our approach to dominance testing.
Global Analysis of a Continuum Model for Monotone Pulse-Coupled Oscillators

We consider a continuum of phase oscillators on the circle interacting through an impulsive instantaneous coupling. In contrast with previous studies on related pulse-coupled models, the stability results obtained in the continuum limit are global. For the nonlinear transport equation governing the evolution of the oscillators, we propose (under technical assumptions) a global Lyapunov function which is induced by a total variation distance between quantile densities. The monotone time evolution of the Lyapunov function completely characterizes the dichotomic behavior of the oscillators: either the oscillators converge in finite time to a synchronous state or they asymptotically converge to an asynchronous state uniformly spread on the circle. The results of the present paper apply to popular phase oscillators models (e.g., the well-known leaky integrate-and-fire model) and show a strong parallel between the analysis of finite and infinite populations. In addition, they provide a novel approach for the (global) analysis of pulse-coupled oscillators.
Walking From Imprisonment Towards True Social Integration: Getting a Job as a Key Factor

Employment is one of the most effective mechanisms for inclusion, especially for groups who have a high risk of social exclusion such as the inmate population. This study analyzes data collected from in-depth interviews with 22 prisoners in an intermediate position (between prison and full freedom, classified as third grade) in two social integration centers and two prisons in Galicia, an autonomous community in northern Spain. The results show that the availability of a strong social and family network is a key factor in obtaining employment after prison; without this network, self-employment is a good choice.
Semantic Role Labelling with Tree Conditional Random Fields

In this paper we apply conditional random fields (CRFs) to the semantic role labelling task. We define a random field over the structure of each sentence's syntactic parse tree. For each node of the tree, the model must predict a semantic role label, which is interpreted as the labelling for the corresponding syntactic constituent. We show how modelling the task as a tree labelling problem allows for the use of efficient CRF inference algorithms, while also increasing generalisation performance when compared to the equivalent maximum entropy classifier. We have participated in the CoNLL-2005 shared task closed challenge with full syntactic information.
A Haar Wavelet-Based Zoning For Offline Arabic Handwritten Character Recognition

Due to the nature of handwriting with high degree of variability and imprecision, obtaining features that represent characters is a difficult task. In this research, a features extraction method for handwritten Arabic Character recognition is investigated. Its major goal is to maximize the recognition rate with the least amount of elements. This method compute the 1 level Haar Wavelet Transform for Binary character image, then divide the Wavelet space into 8 Zones, for each Zone, three features have been extracted: mean, standard division, and skewness. The Recognition have been done using Mahalanobis distance. The proposed method provides good recognition accuracy of 73% for handwritten characters even with fewer train samples. Keyword: Haar Wavelet, Zoning, Mahalanobis Distance, Skewness.
Strategies in the acquisition of segments and syllables in Russian-speaking children.

This study investigates the phonological development of ten children reared in Russian-speaking homes, from the emergence of first words to the age of three years two months. The paper consists of three parts: acquisition of phonemes and phonological oppositions; acoustic analysis of the consonantal opposition in palatalization emerging in children; acquisition of syllable structure of words and different syllable omission patterns. The focus is made on individual strategies adopted by different children. Some data challenge the literature claim about the acquisition of labials before other consonants and the claim about 'trochaic bias' in early word production.
The use of talent classes to reproduce differentiated education

Talent and the development of talent have become increasingly dominant topics in the public sphere. Topics of talent also figure as important objectives for the education policies in Denmark, where various initiatives, including science centres for talents, annual talent camps and competitions, and not least resources and funding, are provided as part of this ‘new’ priority in education. This article examines, through an ethnographic approach of a talent class in a Danish secondary school, how the purpose of current educational policies focusing on talent are perceived and experienced. In addition to this analysis, the phenomena of establishing such classes as an integrated activity of ordinary schooling and of the labelling attached to being talented is discussed. The conclusion is that the use of the talent classes is a form of socially constructed differentiation with the cohort mainly constituted to those with cultural capital.
A Delayed Black and Scholes Formula

Abstract In this article we develop an explicit formula for pricing European options when the underlying stock price follows nonlinear stochastic functional differential equations with fixed and variable delays. We believe that the proposed models are sufficiently flexible to fit real market data, and yet simple enough to allow for a closed-form representation of the option price. Furthermore, the models maintain the no-arbitrage property and the completeness of the market. The derivation of the option-pricing formula is based on an equivalent local martingale measure.
Modeling of 1.6 kWp single-phase grid-connected photovoltaic system

This paper presents modeling of existing proprietary-based 1.6 kWp single-phase grid-connected photovoltaic (PV) system in Electrical Energy Conversion Research Laboratory (EECRL) of School of Electrical Engineering and Informatics (SEEI), Institute of Technology Bandung (ITB). The PV system was a grant from Indonesia State Utility Company (PT. PLN), included with the propietary inverter. Although it has supplied the energy to the laboratory, but detail study has not been conducted due to proprietary feature of the inverter unit. In this paper, an attempt to construct model to accurately represent the 1.6 kWp PV system of EECRL is presented. This modeling is useful to examine the performance of the 1.6 kWp PV system. Proposed modeling consist of PV array, DC-DC boost converter with maximum power point tracking (MPPT) feature, full-bridge DC-DC converter with galvanic isolation, and utility interactive DC-AC inverter. Simulation is conducted to verify part by part of the proposed model, comparison with actual result of the 1.6 kWp PV system is also conducted to verify the proposed model.
Trust Negotiation Based Approach to Enforce MANET Routing Security

MANETs (Mobile Ad hoc Networks) are described assets of mobile nodes connected with wireless links. To be efficient, routing protocols in MANETs should, in fact, manage mobility, handle nodes energy dissipation and ensure security. We argue in this paper that trust negotiation is appropriate in such context to enhance the network performances. Trust concept is of concern to communication and network protocol designers. Thus, building trust relationships among participating nodes is critical to enabling collaborative optimization of system metrics. The main contribution of this paper is an extension of our previous proposition DTMCA (Delegation Trust Mobility-based Clustering Approach) which defines a new clustering approach, a trust management process and a delegation process. This environment allows the localization and the isolation of malicious nodes in MANETs. The extension proposed in this paper extends the trust management process by adding a trust negotiation module used in order to minimize the risk that malicious nodes join the MANETs.
A Real-Time Big Data Architecture for Glasses Detection Using Computer Vision Techniques

Automatic glasses detection is a hot topic withing the large-scale face images classification domain, which has impact on face recognition or soft biometrics for person identification. In many practical video surveillance applications, the faces acquired by cameras are low resolution. Therefore, this type of applications requires processing of a large number of relatively small-sized images. However, continuous stream of image and video data processing is a big data challenge. This need fits with the goals of Big Data streaming processing systems. In this paper, we propose a real-time Big Data architecture in order to collect, maintain and analyze massive volumes of images related with the problem of automatic glasses detection. This architecture can be used as an automatic image tagging related with glasses detection on face images.
High throughput kinase inhibitor screens reveal TRB3 and MAPK-ERK/TGFβ pathways as fundamental Notch regulators in breast cancer

Expression of the Notch ligand Jagged 1 (JAG1) and Notch activation promote poor-prognosis in breast cancer. We used high throughput screens to identify elements responsible for Notch activation in this context. Chemical kinase inhibitor and kinase-specific small interfering RNA libraries were screened in a breast cancer cell line engineered to report Notch. Pathway analyses revealed MAPK-ERK signaling to be the predominant JAG1/Notch regulator and this was supported by gene set enrichment analyses in 51 breast cancer cell lines. In accordance with the chemical screen, kinome small interfering RNA high throughput screens identified Tribbles homolog 3 (TRB3), a known regulator of MAPK-ERK, among the most significant hits. We demonstrate that TRB3 is a master regulator of Notch through the MAPK-ERK and TGFβ pathways. Complementary in vitro and in vivo studies underscore the importance of TRB3 for tumor growth. These data demonstrate a dominant role for TRB3 and MAPK-ERK/TGFβ pathways as Notch regulators in breast cancer, establishing TRB3 as a potential therapeutic target.
A Novel Persistent Tetrodotoxin-Resistant Sodium Current In SNS-Null And Wild-Type Small Primary Sensory Neurons

TTX-resistant (TTX-R) sodium currents are preferentially expressed in small C-type dorsal root ganglion (DRG) neurons, which include nociceptive neurons. Two mRNAs that are predicted to encode TTX-R sodium channels, SNS and NaN, are preferentially expressed in C-type DRG cells. To determine whether there are multiple TTX-R currents in these cells, we used patch-clamp recordings to study sodium currents in SNS-null mice and found a novel persistent voltage-dependent sodium current in small DRG neurons of both SNS-null and wild-type mice. Like SNS currents, this current is highly resistant to TTX (Ki = 39+/-9 microM). In contrast to SNS currents, the threshold for activation of this current is near 70 mV, the midpoint of steady-state inactivation is -44 +/- 1 mV, and the time constant for inactivation is 43+/-4 msec at 20 mV. The presence of this current in SNS-null and wild-type mice demonstrates that a distinct sodium channel isoform, which we suggest to be NaN, underlies this persistent TTX-R current. Importantly, the hyperpolarized voltage-dependence of this current, the substantial overlap of its activation and steady-state inactivation curves and its persistent nature suggest that this current is active near resting potential, where it may play an important role in regulating excitability of primary sensory neurons.
Teilnahmewahrscheinlichkeit und Stichprobenselektivität in altersvergleichenden Erhebungen

Zusammenfassung. Die Gultigkeit altersvergleichender Querschnittanalysen in der Entwicklungspsychologie kann nicht nur durch eine Konfundierung von Alters- und Kohortenunterschieden, sondern auch durch selektive und altersspezifische Teilnahmewahrscheinlichkeiten eingeschrankt sein. Von 1531 nach einem Zufallsverfahren aus dem Einwohnermelderegister gezogenen und anschliesend kontaktierten jungen, mittelalten und alten Erwachsenen nahmen 1022 Personen (66.8%) an einem kurzen Telefoninterview und davon wiederum 480 (31.4 %) Personen an einer intensiven zwei- bis dreistundigen psychologischen Befragung teil. Eine logistische Regressionsanalyse ergab, dass die Teilnahmewahrscheinlichkeit um so groser war, je junger, gebildeter, beruflich besser gestellt und zufriedener die Personen waren. Bei alten Erwachsenen, die am Telefoninterview teilnahmen, zeigte sich ein hoherer Einfluss der generellen Zufriedenheit auf die Teilnahmebereitschaft als bei jungen Erwachsenen. Auf der Grundlage des Maximum-Likelihood-Ver.
Probabilistic verification of multiple-valued functions

This paper describes a probabilistic method for verifying the equivalence of two multiple-valued functions. Each function is hashed to an integer code by transforming it to a integer-valued polynomial and the equivalence of two polynomials is checked probabilistically. The hash codes for two equivalent functions are always the same. Thus, the equivalence of two functions can be verified with a known probability of error, arising from collisions between inequivalent functions. Such a probabilistic verification can be an attractive alternative for verifying functions that are too large to be handled by deterministic verification methods.
Why do general dental practitioners refer to a specific specialist endodontist in practice?

AIMS To identify the factors that influence the decision of general dental practitioners (GDPs) in Northern Ireland to refer to a specific specialist endodontist. METHODOLOGY A self-administered questionnaire was sent to 220 GDPs in Northern Ireland. The questionnaire comprised questions on demographic characteristics, pattern of practice, pattern of referral and factors influencing the decision to refer to a specific specialist endodontist in practice. The data were analysed using descriptive statistics and the chi-squared (χ(2) ) test at the 0.05 level of significance. RESULTS The response rate was 81%. All respondents stated that they carried out root canal treatment, and the majority (83%) stated that they also carried out root canal retreatment. A minority of respondents (11%) stated that they carried out surgical endodontics. These individuals were more likely to be men, hold a postgraduate qualification, or work in a rural location. The majority of respondents (94%) referred patients with an endodontic problem. These individuals were more likely to be women, not hold a postgraduate qualification, or not carry out surgical endodontics. GDPs indicated a preference for referring to a specialist endodontist in practice over other treatment providers. Factors considered to be of importance in the decision to refer to a specialist endodontist in practice included the practice location of, reputation of, communication with and patient management by the specialist endodontist. The greatest proportion of respondents ranked short waiting time for a consultation as the top promoter when referring to a specific specialist endodontist in practice. CONCLUSION The decision by GDPs to refer to a specific specialist endodontist in practice is multifactorial and influenced by several factors independent from the nature of endodontic disease. In Northern Ireland, the top promoter for referring to a specific specialist endodontist in practice was a relatively short waiting time for a consultation.
Subjective liver ultrasound video quality assessment of internet based videophone services for real-time telesonography

In conventional telesonography, the ultrasound video is encoded at a constant bit rate and transmitted to the expert side for diagnosis, this is highly bandwidth demanding and less adaptable to the varying network conditions. In contrary, Internet based videophone applications adapt to the network conditions with variable bit rate encoding and error concealment algorithms. Since portable ultrasound scanners are coming with Internet connectivity, this motivated us to evaluate the viability of using existing Internet based videophone services for real-time telesonography. Popular videophone services like Skype, Facebook and WebRTC is chosen for this purpose. The performance of these services is analyzed by varying network parameters like bandwidth, packet loss, delay and packet error in a controlled set up. Liver ultrasound video is considered for the study. A total of 273 different network settings is analyzed for evaluating the performance of each videophone service, constituting a total of 819 instances for evaluating three services. Three medical experts were participated in the subjective study. From an extensive analysis, an inference is made that the Internet based videophone services are reliable enough for telesonography provided a network with minimum bandwidth of 1600 kHz, delay up to 200 ms, packet loss up to 3% and packet error up to 3%.
Replication, consistency, and practicality: are these mutually exclusive?

Previous papers have postulated that traditional schemes for the management of replicated data are doomed to failure in practice due to a quartic (or worse) explosion in the probability of deadlocks. In this paper, we present results of a simulation study for three recently introduced protocols that guarantee global serializability and transaction atomicity without resorting to the two-phase commit protocol. The protocols analyzed in this paper include a global locking protocol [10], a “pessimistic” protocol based on a replication graph [5], and an “optimistic” protocol based on a replication graph [7]. The results of the study show a wide range of practical applicability for the lazy replica-update approach employed in these protocols. We show that under reasonable contention conditions and sufficiently high transaction rate, both replication-graph-based protocols outperform the global locking protocol. The distinctions among the protocols in terms of performance are significant. For example, an offered load where 70% - 80% of transactions under the global locking protocol were aborted, only 10% of transactions were aborted under the protocols based on the replication graph. The results of the study suggest that protocols based on a replication graph offer practical techniques for replica management. However, it also shows that performance deteriorates rapidly and dramatically when transaction throughput reaches a saturation point.
FreeLing 2.1: Five Years of Open-source Language Processing Tools

FreeLing is an open-source multilingual language processing library providing a wide range of language analyzers for several languages. It offers text processing and language annotation facilities to natural language processing application developers, simplifying the task of building those applications. FreeLing is customizable and extensible. Developers can use the default linguistic resources (dictionaries, lexicons, grammars, etc.) directly, or extend them, adapt them to specific domains, or even develop new ones for specific languages. This paper overviews the recent history of this tool, summarizes the improvements and extensions incorporated in the latest version, and depicts the architecture of the library. Special focus is brought to the fact and consequences of the library being open-source: After five years and over 35,000 downloads, a growing user community has extended the initial threelanguages (English, Spanish and Catalan) to eight (adding Galician, Italian, Welsh, Portuguese, and Asturian), proving that the collaborative open model is a productive approach for the development of NLP tools and resources.