Miracle-dz/UniFAR-FTUs huggingface dataset:
TRÁFICO DE MULHERES PARA EXPLORAÇÃO SEXUAL

Resumo Este artigo examina o trafico de mulheres no Brasil com finalidade de exploracao sexual. Consideram-se alguns circuitos nacionais para esse trafico, como, por exemplo, o de mulheres que sao aliciadas em cidades do Nordeste, como Recife (PE) e Fortaleza (CE), e enviadas para cidades do Sudeste, como Sao Paulo e Rio de Janeiro. A perspectiva metodologica adotada para este trabalho conjuga levantamento bibliografico; informacoes de fontes primarias e secundarias; trabalhos academicos anteriores com outros recortes; jornais; sites da internet; e informacoes obtidas na midia impressa. De acordo com o Protocolo de Palermo, instrumento legal internacional que trata do trafico de pessoas, o trafico e a exploracao sexual se caracteriza pela mercantilizacao do ser humano, expresso pelo abuso do corpo de uma pessoa para servicos sexuais, visando a obtencao de lucro de terceiros. Palavras- chave: trafico de mulheres; exploracao sexual; politicas publicas.
Ontology mapping based on structures and instances

Ontology mapping is to find the mapping relationship between different ontology to reuse and share ontology. In this paper we present a multi-strategy ontology mapping technique based on the structure and instance. When the similarity between the mapping pairs is approximating to the threshold, context structures are used to judge their similarity. The key of the instance mapping is calculating the instance similarity. Firstly the instance is preprocessed. Then set similarity and probability similarity based on Bayesian theory is calculated respectively. Finally instance similarity is calculated by the set similarity and probability similarity comprehensively. Experimental results show its effectiveness.
Magnetic Compass of European Robins

The magnetic compass of European robins does not use the polarity of the magnetic field for detecting the north direction. The birds derive their north direction from interpreting the inclination of the axial direction of the magnetic field lines in space, and they take the direction on the magnetic north-south axis for "north" where field lines and gravity vector form the smaller angle.
Virtual ISU: locomotion interface for immersive VR experience in seated position (1)

This paper describes a new locomotion interface suitable for immersive virtual reality (VR) gaming in a seated position. In the proposed approach, the user can roam in a virtual space while sitting on the Virtual ISU (Intuitive Striding Unit). This device is equipped with pressure sensors in a cushion. The sensors detect the user's leg and body movements to estimate walking direction and speed. With Virtual ISU, sensors are not attached to the user's body or the floor, and it can be used by a wide range of people, including the elderly and physically handicapped.
Construction et évaluation d'un corpus pour la recherche d'instances d'images muséales

RÉSUMÉ. Cet article présente la construction et l’évaluation deux collections d’images et de vidéos d’œuvres. Ces données proviennent de deux musées : le musée de Grenoble (majoritai-rement des peintures) et le Musée de Lyon-Fourvière (des objets pré-romains et romains). Ces collections contiennent au total 4674 images annotées, correspondant à 784 objets, et 3 heures 7 minutes de vidéos de visites annotées prises à la première personne par 5 visiteurs. Ces collections sont accessibles pour la communauté de recherche aﬁn d’évaluer les systèmes d’an-notation et de recherche d’images et de vidéos. Les images de ces collections sont partionnées en deux sous-ensembles : 361 requêtes évaluées sur un corpus de 4313 images. De plus, 2132 images supplémentaires, extraites des vidéos de visite, permettent d’évaluer les systèmes pour des images issues d’un autre protocole de capture. Nous avons expérimenté trois approches de l’état de l’art (ORB+RANSAC, SIFT+Sac-de-mots, apprentissage profond) sur ces collections. ABSTRACT. This paper presents two datasets of annotated photos and videos from two museums. The data comes from two different museums : the Musée de Grenoble, with mainly paintings, and the Lyon-Fourvière museum, with Celtic and pre-Roman objects. In total, they contain 4674 annotated images, corresponding to 784 different artworks, and 3h07 of museum visit ﬁrst-person videos shot by 5 persons. This dataset can be used as a challenge for image retrieval and video segmentation and annotation tasks. They are freely available to the research community. The images of these collections contain 361 queries on a corpus of 4313 documents. Moreover, 2132 additional images are extracted from the visit videos, allowing to test images from other sources. Three state of the art approaches are processed and tested on these collections.
Liens entre soins personnels et fragilité : étude transversale sur 100 patients de la plateforme d'évaluation de la fragilité

Introduction : pour ameliorer la prise en charge de la fragilite, et ainsi tenter de prevenir la dependance, il est indispensable de disposer d'outils de reperage simples utilisables par tous les intervenants en contact avec les personnes âgees. Notre objectif a ete d'evaluer la possibilite d'utiliser la diminution des soins personnels comme marqueur simple dans le reperage de la fragilite. Methode : nous avons realise une etude transversale portant sur 100 patients adresses a la plateforme d'evaluation de la fragilite. Chaque patient inclus a rempli un auto-questionnaire portant sur les soins personnels. La fragilite etait definie par les criteres de Fried. Resultats : 12% des sujets declaraient avoir l'impression de ne plus pouvoir prendre soin d'eux meme ou avoir diminuer le temps de soins depuis 3 mois. Parmi eux 33% des fragiles et 8% des pre-fragiles, aucun robuste. 7% des sujets ne realisent pas leur toilette quotidiennement, parmi eux uniquement des sujets pre-fragiles ou fragiles, encore une fois aucun robuste. Conclusion : il existe effectivement un lien entre la diminution recente des soins personnels et la fragilite. Cette etude pilote necessite dorenavant d'etre completee par une etude de plus grande envergure.
Investigation of the Nonthermal Mechanism of Efficiency Rolloff in InGaN Light-Emitting Diodes

We present a comparative study on the optical characteristics of InGaN-based multiple quantum well light-emitting diodes (LEDs) with peak emission ranging from green to ultraviolet (UV) over a wide injection range. It is found that by pulsing the LEDs with a duty cycle that is below 1%, thermally induced peak red shift and efficiency reduction are largely eliminated. The current dependence of both the quantum efficiency and peak shift appears to be a strong function of the indium content in the active region. The quantum efficiencies of the blue and green LEDs peak at very low currents and dramatically decrease at high currents, whereas the UV LED has a nearly constant quantum efficiency under high injection conditions. In contrast to the minimal current- induced energy shift in the UV LED, a monotonic blue shift of the peak energy, which has a total amount of ~110 meV-1 kA/cm2, is seen for the green LED. These results offer a strong support for the argument that the current overflow from localized states is the major nonthermal mechanism underlying the efficiency rolloff in InGaN-based visible LEDs.
On the stability of equivariant foliations

We prove an equivariant version of the Reeb-Thurston stability theorem for foliations invariant under an action of a discrete group. Let G be a discrete group and μ : M × G → M a right C -action of G on a connected C -manifold M of dimension n without boundary. Let F be a C foliation of codimension k on M which is invariant under the action of G, i.e. for any g ∈ G the diffeomorphism ĝ = μ( , g) of M maps leaves into leaves. We will write μ(x, g) = x · g. If L is a leaf of F , the isotropy group of L is the subgroup of G GL = { g ∈ G |L · g ⊂ L } . The action of G restricts to a C -action of GL on L. The immersion of L into M induces a continuous injection of the orbit space L/GL into the orbit space M/G. If L′ is another leaf of F , the orbit spaces L/GL and L′/GL′ are either disjoint or isomorphic over M/G, so F induces a partition of the space M/G. If the action of G is free and properly discontinuous, the orbit space M/G is a C -manifold and the induced partition is the induced C -foliation F/G on M/G. In general, the induced partition of M/G may be seen as a generalized foliation. The aim of this paper is to prove a version of the Reeb-Thurston stability theorem [11, 12] for such a generalized foliation. But before we can state the theorem, we have to formalize the intuitive notion of the transversal part of the action of G. Let L be a leaf of F and x0 ∈ L. Denote by π 1 (L;x0) the set of pairs (g, σ) with g ∈ GL and σ a homotopy class (with fixed end-points) of a path in L which starts at x0 and ends at x0 · g. Define an operation in π 1 (L;x0) by (g′, σ′)(g, σ) = (g′g, ĝ∗(σ′)σ) , where ĝ∗(σ′)σ is the concatenation of the homotopy classes σ and ĝ∗(σ′). With this operation π 1 (L;x0) becomes a group, called the equivariant fundamental group of L. There is a canonical inclusion incL : π1(L;x0) → π 1 (L;x0) given by incL(σ) = (1, σ), and a canonical projection prL : π G 1 (L;x0) → GL given by prL(g, σ) = g. The sequence of homomorphisms of groups 1 −→ π1(L;x0) incL −→ π 1 (L;x0) prL −→ GL −→ 1 (1) Received by the editors December 1, 1995. 1991 Mathematics Subject Classification. Primary 57R30, 57S25.
Rearrangement of upstream sequences of the hTERT gene during cellular immortalization

Telomerase expression, resulting from transcriptional activation of the hTERT gene, allows cells to acquire indefinite proliferative potential during cellular immortalization and tumorigenesis. However, mechanisms of hTERT gene activation in many immortal cell lines and cancer cells are poorly understood. Here, we report our studies on hTERT activation using genetically related pairs of telomerase‐negative (Tel−) and ‐positive (Tel+) fibroblast lines. First, whereas transiently transfected plasmid reporters did not recapitulate the endogenous hTERT promoter, the promoter in chromosomally integrated bacterial artificial chromosome (BAC) reporters was activated in a subset of Tel+ cells, indicating that activation of the hTERT promoter required native chromatin context and/or distal regulatory elements. Second, the hTERT gene, located near the telomere of chromosome 5p, was translocated in all three Tel+ cell lines but not in their parental precrisis cells and Tel− immortal siblings. The breakage points were mapped to regions upstream of the hTERT promoter, indicating that the hTERT gene was the target of these chromosomal rearrangements. In two Tel+ cell lines, translocation of the endogenous hTERT gene appeared to be the major mechanism of its activation as the activity of hTERT promoter in many chromosomally integrated BAC reporters, with intact upstream and downstream neighboring loci, remained relatively low. Therefore, our results suggest that rearrangement of upstream sequences is an important new mechanism of hTERT promoter activation during cellular immortalization. The chromosomal rearrangements likely occurred during cellular crisis and facilitated by telomere dysfunction. Such translocations allowed the hTERT promoter to escape from the native condensed chromatin environment. © 2009 Wiley‐Liss, Inc.
Kinematic and EMG patterns during slow, free, and fast walking

Kinematics and electromyographic (EMG) activity were recorded in seven normal women during walking at slow, free, and fast speeds. Speed‐related differences were found in the stride dimensions, temporal components, and most of the simultaneous displacement patterns of body segments measured. For most of the muscles tested, the amplitude of normalized EMG activity decreased as walking speed decreased. The findings emphasize the importance of accounting for the effect of speed itself on measurements of gait.
An automated crime pattern detection using k-means clustering

In the information era, data handling is one of the toughest tasks and very essential. In current scenario, the management and engineering principles must bring into play a vital role to handle the real time application data in resolving law and order cases. Especially crime and police department is showing keen interest to utilise the data mining techniques with computing power to analyse the crime information and identify different patterns of crime. The annual report of the Indian Ministry of Home Affairs states that the conviction rate is 42.3% and 52.7% of cases are pending. In Indian scenario, hectic manual works are involved and it takes huge amount of time for identifying the crime type and to narrow down the number of suspected criminals. This paper proposed a novel automated crime information system using k-means clustering to identify the crime and categorise the same.
Structural Cut Elimination: I. Intuitionistic and Classical Logic

Abstract We present new variants of known proofs of cut elimination for intuitionistic and classical sequent calculi. In both cases the proofs proceed by three nested structural inductions, avoiding the explicit use of multi-sets and termination measures on sequent derivations. This makes them amenable to elegant and concise representations in LF, which are given in full detail.
Kinking of the human internal carotid artery: a statistical study in 100 healthy subjects by echocolor Doppler.

BACKGROUND Kinking of the internal carotid artery is a rather frequent anomaly. It is still controversial whether it has a clinical relevance, causing cerebral vascular disturbances, or if it is a mere morphologic anomaly. A study concerning its frequency in asymptomatic subjects and an evaluation of its possible correlations were, therefore, considered interesting. METHODS The internal carotid artery was studied in 100 apparently healthy subjects (50 men and 50 women; age range: 18 to 98 years) with no history of atherosclerotic disease of the supra-aortic trunks, or diabetes mellitus, or hypertension. Each patient underwent color Doppler ultrasonography. RESULTS In 38 subjects out of 100, and in 53 out of 200 examined arteries (100 right and 100 left arteries), a kinking was found (26.5%). In 23 kinkings (43% of all the kinkings), the maximal systolic velocity (MSV) was greater than 1 m/sec at the level of the kinking. The kinkings were more frequent in women; such prevalence was statistically significant. The frequency of kinkings was uncorrelated with the side of the artery, the age, the body weight, the height and the length of the neck. Moreover, the presence of the kinkings was not significantly correlated with the lumen of the internal carotid artery. CONCLUSIONS Hypotheses regarding the genesis of the kinkings were discussed, and the embryogenic hypothesis was emphasized. The importance of the MSV in the diagnosis of kinkings was stressed.
Rischio-beneficio nella diagnostica per immagini: impatto dell'utilizzo di radiazioni ionizzanti

Every year 5 billion diagnostic imaging procedures are performed worldwide, and about 1 out of 2 tests are cardiovascular examinations. According to recent estimates, 30% to 50% of all examinations are partially or totally inappropriate. This represents a potential damage in patients undergoing imaging tests (who take the acute risks of a stress test procedure and/or a contrast study without a commensurable benefit), an exorbitant cost for the society, and an excessive delay in the waiting lists for other patients needing the examination. In case of ionizing radiation, the reduction of useless imaging tests would improve the quality of care also through abatement of the long-term risks related to the dose employed. The radiation dose equivalent of common cardiological imaging examinations corresponds to about 500, 750 and 1000 chest X-rays for stress sestamibi testing, multislice cardiac computed tomography and coronary stenting, respectively. Although direct evaluation of the incidence of cancer in patients submitted to these procedures is not available, according to the latest 2006 Biological Effects of Ionizing Radiation Committee VII the estimated risk of cancer is about 1 in 750 for a computed tomography scan - higher in women (1/500), lower in the elderly (1/1500), and the highest in children (1/100 in female children aged <1 year). Such a risk is probably not acceptable when a diagnostic procedure is inappropriately applied for mass screening (when the risk side of the risk-benefit balance is not considered) or when similar information can be obtained by other means. By contrast, it is fully acceptable in appropriately selected groups as a filter to more invasive, risky and costly procedures.
The effects of pre‐ and postnatal exposure to the nonsteroidal antiandrogen flutamide on testis descent and morphology in the Albino Swiss rat

Exposure of male Albino Swiss rats to the nonsteroidal antiandrogen flutamide during the period from gestational day (d) 10 to birth resulted in feminisation of the external genitalia and the suppression of growth of the male reproductive tract. In adulthood, testes were found to be located in diverse positions. True cryptorchidism occurred in 10% of cases, whereas 50% of testes descended to the scrotum and 40% were located in a suprainguinal ectopic region. Varying degrees of tubule abnormality were seen in the testes of flutamide‐treated animals, ranging from completely normal tubules with full spermatogenesis (and the expected frequency of the stages of spermatogenesis) to severely abnormal tubules lined with Sertoli cells only. For each individual testis, the overall severity of tubule damage was strongly correlated with its adult location, with intra‐abdominal testes worst affected and scrotally‐located testes least; only the latter contained normal tubules. Similarly, intra‐abdominal testes were the smallest in weight and contained the least testosterone. By contrast, postnatal treatment of male rats with flutamide from birth to postnatal d 14 did not impair development of the external genitalia, the process of testicular descent or adult spermatogenesis. These findings confirm that androgen blockade during embryonic development interferes with testicular descent but also demonstrate that (1) prenatal flutamide treatment per se has a detrimental effect on adult testis morphology but (2) the degree of abnormality of the testes is strongly influenced by location.
Rugby - A Process Model for Continuous Software Engineering

The dissertation introduces an empirical process model for continuous software engineering and for education. Rugby is based on a metamodel that treats changes as unexpected events in process workflows. It has been applied in 3 case studies in university and industry projects and in a lecture on software engineering. An empirical evaluation has demonstrated that continuous delivery, inclusion of user feedback and continuous reviews improve the quality of development and teaching processes.
LOG4SWS.KOM: Self-Adapting Semantic Web Service Discovery for SAWSDL

In recent years, a number of approaches to semantic Web service matchmaking have been proposed. Most of these proposals are based on discrete and thus relatively coarse Degrees of Match (DoMs). However, different basic assumptions regarding the generalization and specialization of semantic concepts in ontologies and their subsequent rating in matchmaking exist. Hence, most matchmakers are only properly suitable if these assumptions are met. In this paper, we present an approach for mapping subsumption reasoning-based DoMs to a continuous scale. Instead of determining the numerical equivalents of the formerly discrete DoMs manually, these values are automatically derived using a linear regression model. This permits not only easy combination with other numerical similarity measures, but also allows to adapt matchmaking to different basic assumptions. These notions are implemented and tested in LOG4SWS.KOM -- a matchmaker for SAWSDL that provides very good evaluation results with respect to Information Retrieval metrics such as precision and recall.
Evaluation of Text Entry Methods for Interactive Digital Television Applications with Devices Alternative to Conventional Remote Controls

ABSTRACT The popularity of Interactive Digital Television (IDTV) applications has grown in recent years, playing a significant role in today’s society. This new type of television allows users to access interactive applications in order to look for information, for communication or educational purposes, or just for fun. Most of these applications require text entry and many users expect a user experience similar to that of computers. Although the most common device to interact with television is the conventional remote control, other devices available on the market may be used in this context. Thus, in this article we aim to evaluate and compare different text input methods for IDTV applications using devices alternative to conventional remote controls. We have carried out an empirical study with 52 participants. We analyze entry speeds, error rates, and subjective impressions for six different entry methods, taking into account the particular characteristics of the users. As devices we have used a full-sized keyboard, a palm-sized keyboard, a gyroscopic remote point-select, and a modified touchpad. The fastest method is the standard keyboard, but in an IDTV context many users report discomfort and problems under low lighting conditions. Also, error rates are considerably higher with both keyboards when modifier keys need to be used. The results obtained with the gyroscopic remote and the touchpad are similar. Nevertheless, while users complain about fatigue problems with the former, their feedback about the latter is very positive. We have also observed that age is a major factor affecting the performance of the users. We expect our results to contribute to the design of new text entry methods for IDTV.
The Construct and Criterion Validity of the Mini-CEX: A Meta-Analysis of the Published Research

Purpose To conduct a meta-analysis of published studies to determine the construct and criterion validity of the mini-clinical evaluation exercise (mini-CEX) to measure clinical performance. Method The authors included all peer-reviewed studies published from 1995 to 2012 that reported the relationship between participants’ performance on the mini-CEX and on other standardized academic and clinical performance measures. Moderator variables and performance and standardized exam measures were extracted and reviewed independently using a standardized coding protocol. Results Performance measures from 11 studies were identified. A random-effects model of weighted mean effect size differences (d) resulted in: (1) construct validity coefficients for the mini-CEX on the trainees’ performance across different residency year levels ranging from d = 0.25 (95% confidence intervals [CI]: 0.04–0.46) to d = 0.50 (95% CI: 0.31–0.70), and (2) concurrent validity coefficients for the mini-CEX based on personnel ratings ranging from d = 0.23 (95% CI: 0.04–0.50) to d = 0.50 (95% CI: 0.34–0.65). Also, a random-effects model of weighted correlation effect size differences (r) resulted in predictive validity coefficients for the mini-CEX on trainees’ performance across different standardized measures ranging from r = 0.26 (95% CI: 0.16–0.35) to r = 0.85 (95% CI: 0.47–0.96). Conclusions The construct and criterion validity of the mini-CEX was supported by small to large effect size differences based on measures between trainees’ achievement and clinical skills performance, indicating that it is an important instrument for the direct observation of trainees’ clinical performance.