Miracle-dz/UniFAR-FTUs huggingface dataset:
MutShrink: um método de redução de banco de dados de teste baseado em mutação

O teste de regressao para aplicacoes de banco de dados pode ser uma tarefa computacionalmente custosa, pois frequentemente lida com bancos de dados com grandes volumes de dados e instrucoes SQL com estruturas complexas (por exemplo, consultas aninhadas, comparacao de conjuntos, uso de funcoes e operadores). Neste contexto, alguns trabalhos realizam selecao apenas de um subconjunto do banco de dados para fins de teste, ou seja, selecionam dados para criar um banco de dados de teste e assim, melhorar a eficiencia do teste. Mas, normalmente, a selecao de dados de teste tambem e um problema complexo de otimizacao. Assim, este trabalho propoe um metodo de selecao de dados de teste para teste de regressao em instrucoes SQLs baseado em analise de mutacao, chamado MutShrink. O objetivo e minimizar o custo do teste reduzindo o tamanho do banco de dados, mantendo a eficacia semelhante ao banco original. O MutShrink consiste em utilizar o resultado dos mutantes gerados para avaliar o banco de dados e selecionar tuplas a partir de filtros nestes resultados, selecionando conjuntos reduzidos de dados de teste. Foram realizados experimentos usando um benchmark com SQLs de estruturas complexas e banco de dados com grande volume de dados. Comparamos nossa proposta com a ferramenta QAShrink e os resultados revelaram que o MutShrink superou a ferramenta QAShrink em 92,85% dos casos quando avaliada pela metrica Escore de Mutacao e em 57,14% dos casos quando avaliada pela metrica Full Predicate Coverage.
Feasibility and stability analysis of a water transfer project on a subtransmission network

System stability and effective power system management strongly depends on load characteristics, demand profiles and load response nature upon a diversity of contingencies. Power system operations entails important considerations to maintain reliability and security standards even during stressful maneuvers that could compromise voltage and frequency steady state. The large PACALORI water transfer and irrigation project represents a special case of subtransmission load where traditional models do not reproduce real behavior. Hence, an appropriate coordination is expected to ensure electric utility service continuity in the region and obtain the maximum hydraulic advantage exploitation for agricultural needs without compromising the stability and security of the network. This paper develops a static network analysis, introduces some significant insights in dynamic results, and strongly recommends future approaches and research to ensure technical integrity.
A Proposed Theory Seeded Methodology for Design Based Research into Effective use of MUVEs in Vocational Education Contexts

A methodology for design based research DBR into effective development and use of Multi-User Virtual Environments MUVE in vocational education is proposed. It blends software development with DBR with two theories selected to inform the methodology. Legitimate peripheral participation LPP Lave & Wenger, 1991 provides a filter when thinking about vocational education because moving towards being work ready increases the student's legitimate practices within the vocation. Technological Pedagogical Content Knowledge TPACK Mishra & Koehler, 2006 provides framework to link content and pedagogy with the MUVE technology. Software development techniques necessary in the development of simulation based MUVEs are shown to have characteristics compatible with development research. A design based methodological process that introduces software development within phases is described. The authors reflect on the methodology after the first phase of research into a MUVE that simulates the hazardous situation of temporary traffic management.
US characterization of ovarian masses: a meta-analysis.

PURPOSE To compare the effectiveness of current ultrasonographic (US) techniques for characterizing ovarian masses. MATERIALS AND METHODS Through a MEDLINE literature search, articles with imaging-histopathologic correlation and data that allowed calculation of contingency tables were identified. Results of morphologic assessment, Doppler US, color Doppler flow imaging, and combined techniques were compared. RESULTS Among 89 data sets from 46 included studies (5,159 subjects), 35 sets used morphologic information, 36 measured Doppler US indexes, 10 assessed tumor vascularity with color Doppler flow imaging, and eight used combined techniques. Summary receiver operating characteristic curves revealed significantly higher performance for combined techniques than for morphologic information (P: =.003), Doppler US indexes (P: =.003), or color Doppler flow imaging alone (P: =.001). The Q* point (and 95% CI) for combined techniques was 0.92 (0.87, 0.96) versus 0. 85 (0.83, 0.88) for morphology, 0.82 (0.78, 0.86) for Doppler US, and 0.73 (0.58, 0.87) for color Doppler flow imaging. Morphologic assessment showed a trend toward better performance than color Doppler flow imaging (P: =.09) or Doppler US indexes (P: =.07). Doppler US index results were better in earlier studies (P: =.005). CONCLUSION Combined US techniques and a diagnostic algorithm perform significantly better than morphologic assessment, color Doppler flow imaging, or Doppler US indexes alone in characterizing ovarian masses.
3D normal distributions transform occupancy maps: An efficient representation for mapping in dynamic environments

In order to enable long-term operation of autonomous vehicles in industrial environments numerous challenges need to be addressed. A basic requirement for many applications is the creation and maintenance of consistent 3D world models. This article proposes a novel 3D spatial representation for online real-world mapping, building upon two known representations: normal distributions transform (NDT) maps and occupancy grid maps. The proposed normal distributions transform occupancy map (NDT-OM) combines the advantages of both representations; compactness of NDT maps and robustness of occupancy maps. One key contribution in this article is that we formulate an exact recursive updates for NDT-OMs. We show that the recursive update equations provide natural support for multi-resolution maps. Next, we describe a modification of the recursive update equations that allows adaptation in dynamic environments. As a second key contribution we introduce NDT-OMs and formulate the occupancy update equations that allow to build consistent maps in dynamic environments. The update of the occupancy values are based on an efficient probabilistic sensor model that is specially formulated for NDT-OMs. In several experiments with a total of 17 hours of data from a milk factory we demonstrate that NDT-OMs enable real-time performance in large-scale, long-term industrial setups.
Dielectric loading effect on 140-GHz LTCC SIW slot array antenna

This work investigates the effect of dielectric loading on a 140 GHz LTCC SIW slot antenna array. Four types of dielectric loading are designed and discussed. The performance of the antennas with the dielectric loadings is compared in terms of directivity and return loss. An antenna with a simplified dielectric loading configuration with less vias exhibits comparable performance but easier LTCC antenna fabrication and lower cost.
Psychopaths Are Impaired in Social Exchange and Precautionary Reasoning

Psychopaths show a profound lack of morality and behavioral controls in the presence of intact general intellectual functioning. Two hallmarks of psychopathy are the persistent violation of social contracts (i.e., cheating) and chronic, impulsive risky behavior. These behaviors present a puzzle: Can psychopaths understand and reason about what counts as cheating or risky behavior in a particular situation? We tested incarcerated psychopaths’ and incarcerated nonpsychopaths’ reasoning about social contract rules, precautionary rules, and descriptive rules using the Wason selection task. Results were consistent with our hypotheses: Psychopaths (compared with matched nonpsychopaths) showed significant impairment on social contract rules and precautionary rules, but not on descriptive rules. These results cannot be accounted for by differences in intelligence, motivation, or general antisocial tendency. These findings suggest that examination of evolutionarily identified reasoning processes can be a fruitful research approach for identifying which specific mechanisms are impaired in psychopathy.
Psoriasis − epidemiology and clinical spectrum

Despite psoriasis being a common skin disease, there are still a number of unanswered questions. One of these is the prevalence of the disease, as there is a lack of specific data, with the majority of studies reporting estimates only. Population based studies are rare and longitudinal observations on changing prevalence rates are lacking. This contrasts with other T‐cell mediated autoimmune diseases where the number of those affected is rising.
Do Personality Traits Moderate the Effect of Late-Life Spousal Loss on Psychological Distress?

We use data from the Changing Lives of Older Couples (CLOC) study to investigate the extent to which: (1) five personality traits (agreeableness, conscientiousness, emotional stability/neuroticism, extraversion, and openness) moderate the effect of late-life spousal loss on depressive symptoms; (2) these patterns vary based on the expectedness of the death; and (3) the patterns documented in (1) and (2) are explained by secondary stressors and social support. Widowed persons report significantly more depressive symptoms than married persons, yet the deleterious effects of loss are significantly smaller for highly extraverted and conscientious individuals. The protective effects of personality traits, however, vary based on the expectedness of the death. Extraversion is protective against depression only for persons who had forewarning of the death. Extraverts may be particularly good at marshalling social support during prolonged periods of spousal illness. We discuss the ways that extraversion and conscientiousness may buffer against bereavement-related stressors.
Motivation to share knowledge using wiki technology and the moderating effect of role perceptions

One of the key challenges for innovation and technology‐mediated knowledge collaboration within organizational settings is motivating contributors to share their knowledge. Drawing upon self‐determination theory, we investigate 2 forms of motivation: internally driven (autonomous motivation) and externally driven (controlled motivation). Knowledge sharing could be viewed as a required in‐role activity or as discretionary extra‐role behavior. In this study, we examine the moderating effect of role perceptions on the relations between each of the two motivational constructs and knowledge sharing, paying particular attention to the affordances of the enabling information technology. An analysis of survey data from a wiki‐based organizational encyclopedia in a large, multinational firm reveals that when contributors' motivation is externally driven, they are more likely to share knowledge if this activity is viewed as in‐role behavior. However, when contributors' motivation is internally driven, they are more likely to participate in knowledge sharing when this activity is viewed as extra‐role behavior. Theoretical and practical implications are discussed.
Organization of tcp, acf, and toxT genes within a ToxT‐dependent operon

The toxin coregulated pilus (TCP) is required for Vibrio cholerae to colonize the human intestine. The expression of the pilin gene, tcpA, is dependent upon ToxR and upon ToxT. The toxT gene was recently mapped within the TCP biogenesis gene cluster and shown to be capable of activating a tcpA::TnphoA fusion when cloned in Escherichia coli. In this study, we determined that ToxR/ToxT activation occurs at the level of tcpA transcription. ToxT expressed in E. coli could activate a tcp operon fusion, while ToxR, ToxR with ToxS, or a ToxR‐PhoA fusion failed to activate the tcp operon fusion and we could not demonstrate binding of a ToxR extract to the tcpA promoter region in DNA mobility‐shift assays. The start site for the regulated promoter was shown by primer extension to lie 75 bp upstream of the first codon of tcpA. An 800‐base tcpA message was identified, by Northern analysis, that correlates by size to the distance between the transcriptional start and a hairpin‐loop sequence between tcpA and tcpB. The more‐sensitive assay of RNase protection analysis demonstrated that a regulated transcript probably extends through the rest of the downstream tcp genes, including ToxT and the adjacent accessory colonization factor (acf) genes. An in‐frame tcpA deletion, but not a polar tcpA::TnphoA fusion, could be complemented for pilus surface expression by providing tcpA in trans. This evidence suggests that the tcp genes, including toxT, are organized in an operon directly activated by ToxT in a ToxR‐dependent manner. Most of the ToxT expression under induced conditions requires transcription of the tcpA promoter. Further investigation of how tcp::TnphoA insertions that are polar on ToxT expression retain regulation showed that a low basal level of toxT expression is present in toxR and tcp::TnphoA strains. Overall, these observations support the ToxR/ToxT cascade of regulation for tcp. Once induced, toxT expression becomes autoregulatory via the tcp promoter, linking tcp expression to that of additional colonization factors, exotoxin production, and genes of unknown function in cholera pathogenesis.
Long-term clinical outcome in the Bypass Angioplasty Revascularization Investigation Registry: comparison with the randomized trial. BARI Investigators.

BACKGROUND The Bypass Angioplasty Revascularization Investigation (BARI) included 4039 patients with multivessel coronary artery disease; 1829 consented to randomization, and 2010 did not but were followed up in a registry. Thus, we can evaluate the outcome of physician-guided versus random assignment of percutaneous transluminal coronary angioplasty (PTCA) versus coronary artery bypass graft surgery (CABG). METHODS AND RESULTS We compared the baseline features and outcomes for PTCA and CABG in the overall registry and its predesignated subgroups. We assessed the impact of treatment by choice versus random assignment by comparing the results in the registry with those of the randomized trial. Statistical adjustments for differences in baseline characteristics were made. Within the registry, nearly twice as many patients were selected for PTCA (1189) as CABG (625); mortality at 7 years was similar for PTCA (13.9%) and CABG (14.2%) (P=0.66) before and after adjustment for baseline differences between patients selected for PTCA versus CABG (adjusted RR, 1.02; P=0.86). In contrast to the randomized trial, the 7-year mortality rate of treated diabetics in the registry was equally high (26%) with PTCA or CABG. Seven-year mortality was higher for patients undergoing PTCA in the randomized trial than in the registry (19.1% versus 13.9%, P<0.01) but not for those undergoing CABG (15.6% versus 14.2%, P=0.57). The adjusted relative mortality risk for PTCA in the randomized versus registry population was 1.17 (P=0.16). CONCLUSIONS BARI physicians were able to select PTCA rather than CABG for 65% of registry patients who underwent revascularization without compromising long-term survival either in the overall population or in treated diabetics.
Major involvement of Na+‐dependent multivitamin transporter (SLC5A6/SMVT) in uptake of biotin and pantothenic acid by human brain capillary endothelial cells

The purpose of this study was to clarify the expression of Na+‐dependent multivitamin transporter (SLC5A6/SMVT) and its contribution to the supply of biotin and pantothenic acid to the human brain via the blood–brain barrier. DNA microarray and immunohistochemical analyses confirmed that SLC5A6 is expressed in microvessels of human brain. The absolute expression levels of SLC5A6 protein in isolated human and monkey brain microvessels were 1.19 and 0.597 fmol/μg protein, respectively, as determined by a quantitative targeted absolute proteomics technique. Using an antibody‐free method established by Kubo et al. (2015), we found that SLC5A6 was preferentially localized at the luminal membrane of brain capillary endothelium. Knock‐down analysis using SLC5A6 siRNA showed that SLC5A6 accounts for 88.7% and 98.6% of total [3H]biotin and [3H]pantothenic acid uptakes, respectively, by human cerebral microvascular endothelial cell line hCMEC/D3. SLC5A6‐mediated transport in hCMEC/D3 was markedly inhibited not only by biotin and pantothenic acid, but also by prostaglandin E2, lipoic acid, docosahexaenoic acid, indomethacin, ketoprofen, diclofenac, ibuprofen, phenylbutazone, and flurbiprofen. This study is the first to confirm expression of SLC5A6 in human brain microvessels and to provide evidence that SLC5A6 is a major contributor to luminal uptake of biotin and pantothenic acid at the human blood–brain barrier. In humans, it was unclear (not concluded) about what transport system at the blood–brain barrier (BBB) is responsible for the brain uptakes of two vitamins, biotin and pantothenic acid, which are necessary for brain proper function. This study clarified for the first time that the solute carrier 5A6/Na+‐dependent multivitamin transporter SLC5A6/SMVT is responsible for the supplies of biotin and pantothenic acid into brain across the BBB in humans. DHA, docosahexaenoic acid; NSAID, non‐steroidal anti‐inflammatory drug; PGE2, prostaglandin E2.
Taking Metaphor’s Contextuality Seriously: Sharpening Theory – Reinspecting Methodology

The paper wants to promote a theory of metaphors that strictly reserves the term for the concrete, distinct, singular and contextually situated metaphor. It argues that thinking of metaphors simply in terms of a transfer from a „literal“ to a “figurative” meaning produces unnecessary paradoxes and aporiae. It also criticizes tendencies of isolating metaphors from their place of emergence and of generalizing different metaphors under umbrella concepts. It outlines a theory of metaphor that puts high emphasis on pragmatics and the unpredictability of meaning.
[Pathologic morphology and clinical significance of the anomalous origin of the left circumflex coronary artery from the right coronary artery. General review and autopsy analysis of 30 cases].

After an extensive analysis of the world literature (121 references), beginning from the first reported case by Antopol and Kugel, 1933, the general review of the problem stressed especially the following morphologic characteristics and clinical significance of the anomalous origin of the left circumflex coronary artery (LCxA) from the right coronary artery (RCA): The place of the anomalous origin of LCxA from RCA among all other variations and anomalies of LCxA. The anatomical and topographical characteristics of LCxA originating from RCA in normal heart as well as in congenital heart diseases--CHD (especially complete transposition of great arteries--TGA). The formal genesis of LCxA from RCA according to original new Ogden's theory, taking into account the dual origin of the coronary arteries and the peritruncal angioblastic ring that surrounds the developing aorta and pulmonary artery. The frequencies of the origin of LCxA from RCA in autopsy and coronarography series. The importance of LCxA (by its origin and/or caliber) in determination of the right, left or codominance of the coronary arteries including the peculiarities in cases of isolated aortic stenosis and bicuspid aortic valve. The importance of recognizing LCxA from the RCA during implantation of artificial aortic, mitral and tricuspid heart valves, during mitral valve anuloplasty, closure of ostium primum defect as well as during aorto-coronary venous bypass. The LCxA from RCA, especially its proximal segment, shows more frequent and an earlier, faster and heavier obstructive atherosclerosis, causing different manifestations of coronary heart disease and sudden death. Also, mitral insufficiency can be caused by ischemia of the papillary muscles of the left ventricle. The awareness of the possibility that LCxA may arise from the RCA can prevent many complications during cannulations of the coronary arteries for diagnostic coronarography and myocardial perfusion during heart operations. The authors presented their 30 autopsied cases of LCxA from RCA, analysing morphological and topographic data as well as their clinical significance and association with other CHD. There were 6 isolated cases and 24 cases associated with other CHD (20 with TGA and 4 with other CHD). Our first autopsied case of LCxA from RCA was diagnosed as associated with tetralogy of Fallot in 1964. During the period 1964-1985 we had 1015 cases of CHD (including 132 cases of TGA). (ABSTRACT TRUNCATED AT 400 WORDS)
Firo-B: The Power of Love and the Love of Power

Factor analysis of FERO-B data obtained from new software product teams has led to a reformulation of Schutz's ideas on team compatibility. The concept of Group-Warmth as a derivative of the FERO-B Inclusion and Affection scales was developed and shown to be related to the commercial effectiveness of teams. In a like manner, the FIRO-B constructs of Control-Expressed and Control-Wanted were explored through concurrent factor analysis of 16 PF data. A new interpretation has been given to both FIRO-B Control scales, namely, Assertive-Impulsive.
Algorithmes pour l'analyse de régions régulatrices dans le génome d'eucaryotes supérieurs

Les travaux presentes dans cette these s'inscrivent dans le cadre bio-informatique de l'analyse des genomes. Plus particulierement, ces travaux concernent l'expression des genes et les elements regulateurs, presents dans l'ADN, qui participent a la modulation de cette expression. Le probleme de la recherche de ces elements regulateurs peut etre envisage sous l'angle informatique de la recherche de motifs approches particuliers. La recherche de motifs regulateurs est une question difficile du fait de la faible specificite des motifs recherches. Pour pouvoir y repondre, il faut prendre en compte differentes formes d'information. En particulier, il est pertinent de prendre en compte la conservation entre especes (genomique comparative), la conservation entre sequences genomiques partageant des elements de regulation (genes co-regules) ou encore, dans certains cas, la conservation spatiale des sites de fixation. Dans ce cadre, nous proposons une methode permettant de tirer parti, a la fois de la conservation spatiale, et de la conservation entre especes. Cette approche se compose d'un algorithme de recherche locale et d'evaluateurs statistiques adaptes au probleme de la recherche de motifs sur-representes localement lorsque l'environnement de recherche est heterogene, c'est-a-dire pour des sequences pouvant provenir d'organismes differents ou de regions differentes du genome. Ces travaux ont ete mis en oeuvre dans un logiciel appele TFM-Explorer, que nous avons evalue avec succes sur des donnees issues du genome humain, de la souris et du rat.