Miracle-dz/UniFAR-FTUs huggingface dataset:
Melhoria no processo de especificação e validação de requisitos em projetos ágeis

O sucesso do desenvolvimento de software depende diretamente de um bom levantamento de requisitos, um entendimento correto do escopo evitara retrabalho e consequentemente aumento de prazo e custo. Nos metodos ageis a engenharia de requisitos utiliza-se de tecnicas baseadas na participacao ativa e continua do cliente para levantar e elicitar os requisitos. Embora os metodos ageis tenham surgido como uma alternativa para minimizar os problemas de desenvolvimento de software, muitos problemas ainda sao enfrentados nas etapas de especificacao e validacao de requisitos. Este trabalho tem como objetivo propor melhorias no processo de especificacao e validacao de requisitos nos metodos ageis com o intuito de reduzir problemas relacionados a essas etapas do projeto. Para alcancar o objetivo sera realizada a identificacao dos problemas que ocorrem na especificacao e validacao de requisitos, propondo uma melhoria no processo com base no modelo V, sugerindo um modelo de documentacao para auxiliar na especificacao e validacao de requisitos. Com o resultado, espera-se auxiliar as empresas que adotam metodos ageis para melhorar estas etapas do processo de um projeto de software.
Determination of a Matrix Function in the Form of f(A)=g(q(A)) Where g(x) Is a Transcendental Function and q(x) Is a Polynomial Function of Large Degree Using the Minimal Polynomial

Matrix functions are used in many areas of linear algebra and arise in numerical applications in science and engineering. In this paper, we introduce an effective approach for determining matrix function f(A)=g(q(A)) of a square matrix A, where q is a polynomial function from a degree of m and also function g can be a transcendental function. Computing a matrix function f(A) will be time-consuming and difficult if m is large. We propose a new technique which is based on the minimal polynomial and characteristic polynomial of the given matrix A, which causes, to reduce the degree of polynomial function significantly. The new approach has been tested on several problems to show the efficiency of the presented method. Finally, the application of this method in state space and matrix quantum mechanics is highlighted. Received: 25 February 2018, Revised: 10 February 2019, Accepted: 11 March 2019.
The Effect of Maternal Diet with Fish Oil on Oxidative Stress and Inflammatory Response in Sow and New-Born Piglets

Pregnancy is an oxidative stress and immune challenge for the mother. Fish oil is rich in EPA and DHA, which can partly inhibit aspects of inflammation and restore antioxidant capacity. In the present study, we investigated the effect of maternal diet with fish oil during the late gestation period on oxidative stress and inflammatory response in sows and their progenies. Twelve second-parity sows were allocated equally into two groups. Sows were fed either the soybean oil diet (SD) or soybean oil+fish oil diet (FD) during the gestation period. The plasma of sows, cord blood, and new-born piglets were collected. Full-term placentas and livers of new-born piglets were also sampled. The activities of glutathione peroxidase (GSH-Px) and total superoxide dismutase (T-SOD) in the plasma of sows on farrowing day were higher, and the concentrations of interleukin-6 (IL-6) and prostaglandin-endoperoxide synthase 2 (PGE2) in the plasma of sows on farrowing day and interleukin-1β (IL-1β) in the plasma of cord blood were lower in the FD group than those in the SD group (P < 0.05). The FD downregulated the expression of SOD, IL-1β, IL-6, and transforming growth factor-β-activated kinase 1 binding protein 1 (TAB1) mRNA but upregulated the expression of lipoxygenase enzyme 5 (ALOX5) and interleukin-10 (IL-10) mRNA in placentas (P < 0.05). The FD downregulated the protein expression level of p-JNK/JNK in placentas (P < 0.05). In the livers of new-born piglets, the FD upregulated the expression of ALOX5 (P < 0.05) and G-protein-coupled receptor 120 (GPR120) (P < 0.05) mRNA. Our results suggest that the maternal diet with fish oil might alleviate oxidative stress in sows on farrowing day and modulate inflammatory response in full-term placentas by inhibiting the JNK signal pathway. Moreover, the maternal diet with fish oil might partly regulate the neonatal immune response of their progenies.
Characterizing the Effect of Vegetable Oil-Based Electron Donor Concentration on Complete Dechlorination of Trichloroethene and Vinyl Chloride

Chlorinated ethenes are known or suspected carcinogens. They are also among the most frequently detected organic groundwater contaminants because of wide use and poor disposal practices. Within anaerobic aquifer systems, Fe(III) reduction is a prevalent terminal electron accepting process and has often been reported as a competitive electron acceptor with respect to trichloroethene (TCE), cis-dichloroethene (cis-DCE), and vinyl chloride (VC) reduction. Often, practitioners add excessive amounts of electron donor to compensate for this competition in an effort to avoid incomplete dechlorination or “cis-DCE and VC stall. ” Contaminated aquifer material incubations were setup to assess dechlorination rates and extent under Fe(III)-reducing conditions, and to evaluate whether excessive electron donor additions increase either the rate or extent of complete dechlorination of TCE or VC using acetate and vegetable oil-based electron donors. Sediment batch experiments were constructed to specifically assess how Fe(III) speciation and the presence of electron shuttles influenced VC dechlorination. Four treatments were investigated: (1) VC +10 mM ferrihydrite; (2) VC + 10 mM Fe(III)-NTA; (3) VC + 10 mM ferrihydrite + 500 μM AQDS; and (4) VC + 5 mM AQDS. Sediment batch experiments were also set up to specifically evaluate how electron donor concentration affected TCE and VC reduction using acetate and vegetable oils (Newman Zone® Standard without
Information, Randomness & Incompleteness - Papers on Algorithmic Information Theory - Second Edition

What do you do to start reading information randomness and incompleteness papers on algorithmic information theory series in computer science volume 8? Searching the book that you love to read first or find an interesting book that will make you want to read? Everybody has difference with their reason of reading a book. Actuary, reading habit must be from earlier. Many people may be love to read, but not a book. It's not fault. Someone will be bored to open the thick book with small words to read. In more, this is the real condition. So do happen probably with this information randomness and incompleteness papers on algorithmic information theory series in computer science volume 8.
Quality of Control and Quality of Service in Mobile Robot Navigation

This article presents the experimental work developed to test the viability and to measure the efficiency of the intelligent control distributed architectures. To do this, a simulated navigation scenario of Braitenberg vehicles has been developed. To control the vehicles, system uses a distributed control architecture that provides support to QoS and QoC parameters to optimize de system. The architecture uses a Publish-Subscribe model, based on Data Distribution Service to send the control messages. Due to the nature of the Publish-Subscribe model, the architecture is suitable to implement event-based control systems. The architecture has been called FSACtrl. To test the efficiency, the architecture provides a set of Quality of Service parameters. In the experiment described in this paper, the performance is used as a reference. The measuring of the quality of the navigation is done through the Integrated Time Average Error as Quality of Control parameter. Tested scenarios are: an environment without quality parameter managing, an environment with a relevant message filtering and an environment with a predictive filtering determined by the type of scenario used. Results obtained show that some of the processing performed in the control nodes can be moved to the middleware to optimize the robot navigation.
Exosomes Modulate the Viral Replication and Host Immune Responses in HBV Infection

Although current diagnosis and treatment of hepatitis B virus (HBV) infection can maintain viral suppression, new therapies need to be invented to sustain off-treatment virologic suppression and reduce side effects. Exosomes act as intercellular communicators to facilitate direct transfer of proteins, lipids, and nucleic acids between cells in vitro and in vivo. Pioneering work has demonstrated that exosomal cargos changed markedly during HBV infection. An improved understanding of the functions of exosomes during HBV infection could lead to a powerful new strategy for preventing and treating HBV. In this review, we point out the role of exosomes in HBV infection: (1) exosomes could directly participate in HBV replication; (2) exosomes modulate immune response during HBV infections; (3) exosomal RNAs and proteins might be selected as novel biomarkers for the diagnosis of HBV infections; and (4) exosomes can also be designed as vaccines.
Incidência da infecção do sitio cirúrgico em um hospital universitário

Surgical site infections (SSI) are cause for postoperative complications, leading to significant expenses and greater risk of morbidity and mortality. This study aimed at to determine the incidence of SSI and its association with the patient's clinical condition, with the potential of contamination of the surgery, and the topography of the infection. It was a descriptive study accomplished at a university hospital in the period of January 2003 to December 2005. For the patients' inclusion in the study, National Nosocomial Infection Surveillance System (NISS) was adopted, being notified SSI in agreement with such methodology. Data were obtained from patients’ records, microbiological exams and information of the healthcare team. The accomplishment of 17.144 surgeries was verified, with notification of 538 SSI (3.1 %), 10.1% in infected surgeries and 2.1% in clean ones. The hepatic transplant presented high rate of SSI. The infectious prevalence happened in the patients classified with American Society of Anesthesiology (ASA) >3. As for the topography, 60.5% of SSI were superficial, 24.4% deep and 15.1% organ/cavity. The study showed the need of a follow-up for the patients submitted to surgery, especially for the patients transplanted due to the high rate of SSI.
Inférence de cliques pour la résolution de Max-CSP

Peu de travaux sur les problemes CSP, Max-CSP et CSP values ont ete realises dans le domaine de l'Optimisation Combinatoire alors que ce domaine ren- ferme de nombreux outils algorithmiques qui peuvent servir a la resolution de ces problemes. Dans ce papier, nous decrivons une technique d'inference d'ensembles de cliques a partir du Max-CSP que nous exploitons pour denir une nouvelle modelisation en Programma- tion Lineaire (PL) du Max-CSP. Nous montrons que les estimations classiques du nombre minimum de con- traintes violees (bornes inferieures) basees sur la consis- tance d'arc telles que DAC[13], RDAC[8] et WAC[1] peu- vent etre traduites par des relaxations duales Lagrangien- nes du PL. Nous tirons aussi prot de cette modelisation pour developper de nouvelles bornes inferieures. Dans un premier temps, an d'avoir une idee sur la qualite des bornes inferieures obtenues a partir du PL, nous avons evalue la valeur de la relaxation continue du PL a l'aide du solveur CPLEX, puis nous avons developpe une meth- ode du type Branch and Bound integrant une relaxation Lagrangienne du PL. Les resultats obtenus sont tres en- courageants et ouvrent de nouvelles perspectives a ex- ploiter au mieux les outils de la programmation lineaire pour contribuer a la resolution de ces problemes.
Automated Visual Feedback from Programming Assignments

Powered by TCPDF (www.tcpdf.org) This material is protected by copyright and other intellectual property rights, and duplication or sale of all or part of any of the repository collections is not permitted, except that material may be duplicated by you for your research use or educational purposes in electronic or print form. You must obtain permission for any other use. Electronic or print copies may not be offered, whether for sale or otherwise to anyone who is not an authorised user. Ihantola, Petri; Karavirta, Ville; Seppälä, Otto
The Relationship between Tactical Positioning and the Race Outcome in 800-M Running at the 2016 Olympic Games and 2017 IAAF World Championship

Abstract The purpose of this analysis was to quantify the probability of achieving a top-3 finishing position during 800-m races at a global championship, based on dispersion of the runners during the first and second laps and the difference in split times between laps. Overall race times, intermediate and finishing positions and 400 m split times were obtained for 43 races over 800 m (21 men’s and 22 women’s) comprising 334 individual performances, 128 of which resulted in higher positions (top-3) and 206 the remaining positions. Intermediate and final positions along with times, the dispersion of the runners during the intermediate and final splits (SS1 and SS2), as well as differences between the two split times (Dsplits) were calculated. A logistic regression model was created to determine the influence of these factors in achieving a top-3 position. The final position was most strongly associated with SS2, but also with SS1 and Dsplits. The Global Significance Test showed that the model was significant (p < 0.001) with a predictive ability of 91.08% and an area under the curve coefficient of 0.9598. The values of sensitivity and specificity were 96.8% and 82.5%, respectively. The model demonstrated that SS1, SS2 and Dplits explained the finishing position in the 800-m event in global championships.
Randomized Kernel Principal Component Analysis for Modeling and Monitoring of Nonlinear Industrial Processes with Massive Data

Kernel principal component analysis (KPCA) has shown excellent performance in monitoring nonlinear industrial processes. However, model building, updating, and online monitoring using KPCA are generally time-consuming when massive data are obtained under the normal operation condition (NOC). The main reason is that the eigen-decomposition of a high-dimensional kernel matrix constructed from massive NOC samples is computationally complex. Many studies have been devoted to solving this problem through reducing the NOC samples, but a KPCA model constructed from the reduced sample set cannot ensure good performance in monitoring nonlinear industrial processes. The performance of a KPCA model depends on whether the results of the eigen-decomposition of the reduced kernel matrix can well approximate that of the original kernel matrix. To improve the efficiency of KPCA-based process monitoring, this paper proposes randomized KPCA for monitoring nonlinear industrial processes with massive data. The proposed metho.
Numerical solutions of Black-Scholes integro-differential equations with convergence analysis

Stochastic integro-differential equations are obtained when we consider prices jump in financial modelling. In this paper, these equations are solved numerically by applying the two-dimensional Tau method with ordinary bases. Next, the numerical solutions of the equations above are investigated by the ordinary bases to the Hermitian one. Moreover, we provide an error analysis for the Tau method with ordinary bases. Also, we will prove that the errors of the approximate solutions decay exponentially in weighted ${L^{2}}$-norm. At the end, we will provide some numerical examples which show the efficiency and accuracy of the method.
Predicción del desempeño de un usuario en el juego "Kids Play Math"

Resumen Con el advenimiento de la era de la informacion, un gran numero de sistemas informaticos cuenta con la posibilidad de almacenar datos a partir de las distintas ejecuciones y generar cierto feedback para luego realizar mineŕia de datos sobre los mismos. Un caso particular de esto ultimo son los juegos informaticos aplicados a educacion. El presente trabajo involucra la implementacion de herramientas que faciliten la prediccion del desempeno de un jugador (de 3 a 5 anos de edad) basadas en el juego educativo “KPM: Kids Play Math” mediante la aplicacion de tecnicas de aprendizaje automatico para el etiquetado de datos secuenciales. Esto ultimo se realiza en base a la historia de cada jugador y tomando un modelo construido a partir de un conjunto de entrenamiento. En particular, este trabajo ha dado como resultado herramientas novedosas capaces de: (1) generar casos de entrenamiento a partir de logs del juego previamente procesados y (2) procesar nuevos conjuntos de datos con el fin de predecir etiquetas que anticipen el desempeno de un jugador.
Vascularization of the Brain Cortex

Figure 1 General arrangement of intracortical arteries and veins. I-VI Cortical cell layers. SC Subcortical white matta Al-A5 lntracortical arteries, with respect to their extension into the cortex. ViV5 lntracortical veins, with respect to their extension into the cortex. 1 Arterial group (A6) crossing straight through the cortex and vascularizing the subcortical zhite matter. 2 V5 veins, principal intracortical veins with respect to their size and large cortical territory. 3 Arterial ramifications stem from the main arterial trunk by an acute angle. Venous ramifications reach the parent vessel at a right angle.
Clinical Immunology and Allergy

ABSTRACT In the first half of the 20th century, the clinical practice of allergy was principally empiric, and treatment in major part consisted of desensitization techniques. The new immunological knowledge is now being widely applied to such diverse fields as organ transplantation, the pathogenesis and treatment of malignant disease, and a variety of autoimmune disorders, renal disease, and infections. The clinical allergist sometimes found himself considerably deficient in the "new immunology. "Clinical Immunology and Allergy, edited by Leo H. Criep, appears aimed initially at the clinical allergist and represents an admirable attempt both to bring together much of the recent information on the immunology of the traditional atopic diseases and, at the same time, to embrace the wider applications of the new immunology. The first part includes a well-organized section on fundamentals of immunology. This section is followed by the core of the book, "Reactions of Hypersensitivity," which covers fairly comprehensively
Active Learning based on Hierarchical Clustering

Active learning aims to improve the performance of a classification model by repeating the process to select the most helpful unlabeled data and include it to the training set through labelling by expert. In this paper, we propose a method for active learning based on hierarchical agglomerative clustering using Ward`s linkage. The proposed method is able to construct a training set actively so as to include at least one sample from each cluster and also to reflect the total data distribution by expanding the existing training set. While most of existing active learning methods assume that an initial training set is given, the proposed method is applicable in both cases when an initial training data is given or not given. Experimental results show the superiority of the proposed method.
Un modelo de recuperación de información basado en SVMs

Los clasificadores como los SVMs (Support Vector Machines) se usaron para la clasificacion de documentos de manera muy eficiente, pero su utilidad no ha sido comprobada para la recuperacion de informacion (RI) en el momento de jerarquerizar los documentos. En este articulo proponemos una transformacion que asocia el proceso de la RI a un nuevo espacio vectorial en el que un clasificador basado en SVMs se entrena para aprender el concepto de similitud frente a los documentos.
Pre‐ and postoperative evaluation of the metabolic activity in muscles associated with ruptured rotator cuffs by 18F‐FDG PET imaging

We examined uptake of 2‐[18F]‐fluoro‐2‐deoxy‐d‐glucose (FDG) using positron emission tomography (PET) into the bilateral shoulder muscles of four patients before and after unilateral rotator cuff repair. The relative ratio of the subtracted standardized uptake value on the supraspinatus with a torn supraspinatus tendon to that of the subscapularis on the ipsilateral side was significantly lower than that on the normal side (0·69 ± 0·05 versus 1·06 ± 0·36). The relative ratio of the infraspinatus on the rupture side was also significantly lower than that on the normal side (0·91 ± 0·09 versus 1·41 ± 0·35). However, by 6 months postoperative, the reduced glucose metabolism in these muscles had recovered to the same levels as those on the normal side. As indicated by FDG PET, muscle metabolism in rotator cuff tears was reduced, subsequently recovering to the level of the normal side after operative repair.
A Novel Neutrosophic Image Segmentation Based on Improved Fuzzy C-Means Algorithm (NIS-IFCM)

Image segmentation is a classical problem in the field of computer vision. Fuzzy [Formula: see text]-means algorithm (FCM) is often used in image segmentation. However, when there is noise in the image, it easily falls into the local optimum, which results in poor image boundary segmentation effect. A novel method is proposed to solve this problem. In the proposed method, first, the image is transformed into a neutrosophic image. In order to improve the ability of global search, a combined FCM based on particle swarm optimization (PSO) is proposed. Finally, the proposed algorithm is applied to the neutrosophic image segmentation. The results of experiments show that the novel algorithm can eliminate image noise more effectively than the FCM algorithm, and make the boundary of the segmentation area clearer.
Effects of application of the acceptance and commitment therapy on the behavior of experiential avoidance in competition in young tennis players in the city of Bogotá

Resumen Este estudio tuvo como proposito intervenir en la conducta de evitacion experiencial, evidenciada en tres tenistas de 16 y 17 anos, a traves de la Terapia de Aceptacion y Compromiso. Se evaluo la evitacion ex-periencial mediante dos instrumentos. El primero es el registro de dicha conducta exhibida por cada parti-cipante, el segundo es el Cuestionario de Aceptacion – Accion adaptado al espanol y revisado por un filolo-go. La intervencion consto de cuatro sesiones. Para la medicion por registros en el pretest y postest se programaron dos torneos en los cuales cada jugador compitio en tres ocasiones. Los resultados muestran un decremento en la frecuencia de la conducta de evitacion experiencial, sin embargo, la disminucion en los puntajes en el cuestionario no es proporcional entre los dos jugadores que participaron en la totali-dad de la investigacion.Palabras clave: psicologia del deporte (SC 49365), rendimiento deportivo (SC 37525), entrenamiento deportivo (SC 04305). Divers. : Perspect. Psicol. / ISSN: 1794-9998 / Vol. 5 / N