Miracle-dz/UniFAR-FTUs huggingface dataset:
DECONTAMINATION OF SOILS POLLUTED WITH CRUDE PETROLEUM USING INDIGENOUS MICROORGANISMS AND ALEMÁN GRASS

Los suelos contaminados con petróleo crudo pueden limpiarse con tecnologías físicas, químicas o biológicas. El objetivo del presente estudio fue evaluar la limpieza de suelos contaminados con petróleo usando el pasto alemán (Echinochloa polystachya) asociado con poblaciones autóctonas de bacterias y hongos rizosféricos. Para ello se realizó un experimento en invernadero con un arreglo factorial 3×4×2 en un diseño completamente al azar con cuatro repeticiones por tratamiento. Se utilizó suelo con 98 mg kg−1 de hidrocarburos totales del petróleo (HTP) de origen biogénico; tres concentraciones de petróleo (98, 50 000 y 100 000 mg kg−1), cuatro tipos de inóculos (sin microorganismos, con bacterias, con hongos y con asociación bacterias-hongos) y dos de planta (con rizosfera y sin rizosfera del pasto alemán), fueron evaluados. Para cuantificar bacterias y hongos se utilizó el método de recuento en cajas Petri. La degradación de HTP se midió por espectrofotometría infrarroja con el método EPA 418.1, y la producción de biomasa vegetal por peso seco. Las bacterias, los hongos y la asociación bacterias-hongos tuvieron las poblaciones más grandes a los 120 d con diferencias (p=0.05) en los tratamientos con rizosfera del pasto alemán en suelo con 50 000 mg kg−1 de HTP. Las poblaciones máximas fueron 16×107 UFC de bacterias g−1 de suelo seco y 17×104 UFC de hongos. En la asociación la población de bacterias disminuyó una unidad exponencial, pero los hongos aumentaron tres unidades exponenciales. La degradación de petróleo fue mayor (p=0.05) a los 120 d en suelos con 100 000 mg kg−1 con rizosfera inoculada con la asociación bacterias-hongos; el tratamiento removió 48% de los HTP. La producción de materia seca fue significativa en el tratamiento testigo (16.3 g) y la mayor disminución fue 53% en el suelo con 100 000 mg kg−1 de HTP con bacterias.
Object Detection of Cars in a Parking Lot with Deep Learning

Deep learning has reemerged onto the scene of research because of advances in computational power and enormous data sets. Specifically, in the field of computer vision, there have been several advances following the renewed research efforts into deep learning. Since the introduction of the Convolutional Neural Net (CNN) in the late 1990s, several iterations and improvements on the CNN have been made in computer vision. However, these improvements have mostly been in iconic images--those with one or two objects in them. This master’s project focuses on classifying and locating multiple objects--namely, cars--using a custom CNN based on the darknet “You Only Look Once” (YOLO) fully convolutional net.
August 18, 2013 EVOLUTIONARY GAMES ON GRAPHS - MATHEMATICAL FOUNDATIONS

Evolutionary games on graphs play an important role in the study of evolution of cooperation in applied biology. We provide so far nonexistent rigorous mathematical concepts from a dynamical systems and graph theoretical point of view. We prove results on attractors for different utility functions and update orders. For complete graphs we characterize attractors for synchronous and sequential update rules. In other cases (for k-regular graphs or for different update orders) we provide sufficient conditions for attractivity of full cooperation and full defection. We construct examples to show that these conditions are not necessary. Finally, by formulating a list of open questions we emphasize the advantages of our rigorous approach.
Natural Language Inference in Coq Stergios Chatzikyriakidis

In this paper we propose a way to deal with Natural Language Inference (NLI) by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and Natural Language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into which we translate Natural Language semantics, and we further implement these semantics in the Coq proof assistant. It is shown that the use of a Modern Type Theory with an adequate subtyping mechanism can give us a number of promising results as regards NLI. Specifically, it is shown that a number of inference cases, i.e. quantifiers, adjectives, conjoined Noun Phrases and temporal reference among other things can be successfully dealt with. It is then shown, that even though Coq is an interactive and not an automated theorem prover, automation of all of the test examples is possible by introducing user-defined automated tactics. Lastly, the paper offers a number of innovative approaches to NL phenomena like adjectives, collective predication, comparatives and factive verbs among other things, contributing in this respect to the theoretical study of formal semantics using Modern Type Theories. Stergios Chatzikyriakidis Dept of Computer Science, Royal Holloway, Univ of London Egham, Surrey TW20 0EX, U.K; Open University of Cyprus E-mail: stergios.chatzikyriakidis@cs.rhul. ac.uk Zhaohui Luo Dept of Computer Science, Royal Holloway, Univ of London Egham, Surrey TW20 0EX, U.K E-mail: zhaohui.luo@hotmail.co.uk 2 Stergios Chatzikyriakidis, Zhaohui Luo
Finding competitors using Latent Dirichlet Allocation ARNEKVIST

Identifying business competitors is of interest to many, but is becoming increasingly hard in an expanding global market. The aim of this report is to investigate whether Latent Dirichlet Allocation (LDA) can be used to identify and rank competitors based on distances between LDA representations of company descriptions. The performance of the LDA model was compared to that of bag-of-words and random ordering by evaluating then comparing them on a handful of common information retrieval metrics. Several different distance metrics were evaluated to determine which metric had best correspondence between representation distance and companies being competitors. Cosine similarity was found to outperform the other distance metrics. While both LDA and bag-of-words representations were found to be significantly better than random ordering, LDA was found to perform worse than bag-of-words. However, computation of distance metrics was considerably faster for LDA representations. The LDA representations capture features that are not helpful for identifying competitors, and it is suggested that LDA representations could be used together with some other data source or heuristic.
( 2018 ) Bose-Einstein correlations in pp , p Pb , and PbPb collisions at √ sN N = 0 . 9 – 7 TeV

Quantum-statistical (Bose-Einstein) two-particle correlations are measured in pp collisions at √ s = 0.9, 2.76, and 7 TeV, as well as in pPb and peripheral PbPb collisions at nucleon-nucleon center-of-mass energies of 5.02 and 2.76 TeV, respectively, using the CMS detector at the Large Hadron Collider. Separate analyses are performed for same-sign unidentified charged particles as well as for same-sign pions and kaons identified via their energy loss in the silicon tracker. The characteristics of the one-, two-, and three-dimensional correlation functions are studied as functions of the pair average transverse momentum (kT) and the charged-particle multiplicity in the event. For all systems, the extracted correlation radii steadily increase with the event multiplicity, and decrease with increasing kT. The radii are in the range 1–5 fm, the largest values corresponding to very high multiplicity pPb interactions and to peripheral PbPb collisions with multiplicities similar to those seen in pPb data. It is also observed that the dependencies of the radii on multiplicity and kT largely factorize. At the same multiplicity, the radii are relatively independent of the colliding system and center-of-mass energy.
Pose Generator ( G ) : Head : R arm : L arm : Chest : R leg : L leg Plausible Pose

Landmark/pose estimation in single monocular images has received much effort in computer vision due to its important applications. It remains a challenging task when input images come with severe occlusions caused by, e.g., adverse camera views. Under such circumstances, biologically implausible pose predictions may be produced. In contrast, human vision is able to predict poses by exploiting geometric constraints of landmark point inter-connectivity. To address the problem, by incorporating priors about the structure of pose components, we propose a novel structure-aware fully convolutional network to implicitly take such priors into account during training of the deep network. Explicit learning of such constraints is typically challenging. Instead, inspired by how human identifies implausible poses, we design discriminators to distinguish the real poses from the fake ones (such as biologically implausible ones). If the pose generator G generates results that the discriminator fails to distinguish from real ones, the network successfully learns the priors. Training of the network follows the strategy of conditional Generative Adversarial Networks (GANs). The effectiveness of the proposed network is evaluated on three pose-related tasks: 2D human pose estimation, 2D facial landmark estimation and 3D human pose estimation. The proposed approach significantly outperforms several state-of-the-art methods and almost always generates plausible pose predictions, demonstrating the usefulness of implicit learning of structures using GANs.
CHLORINE AND THE PAPER INDUSTRY Chlorine And The Paper Industry is an exercise prepared

This exercise is a chapter in the book Stakeholder Negotiations: Exercises in Sustainable Development (1995) edited by Alan R. Beckenstein, Frederick J. Long, Matthew B. Arnold and Thomas N. Gladwin. The book contains six exercises that illustrate how different institutions place competing demands on the natural environment, how they attempt to incorporate these demands on the natural environment, and how they attempt to incorporate these demands into a sustainable development strategy.
Inequality as an Incentive

We study the non-pecuniary incentives of salient inequality. In a laboratory experiment involving over 420 participants we randomly vary piece-rate wage levels for performance on real-effort tasks. Across treatments we exogenously vary whether the task is abilityor effortintensive as well as the information participants receive about about wage and income inequality. We find that salient wage inequality on an initial ability-intensive task increases effort provision on a subsequent task but, at the same time, reduces charitable donations. When the initial task is effort-intensive, we find no significant effects of wage inequality. Salient income inequality has little effect in either environment. We provide evidence using post-experiment survey data about a particular mechanism consistent with the observed behavioral patterns, which relies on contextual variation in a meritocracy narrative affecting Just World Beliefs.
Differences between First Language and Second Language Reading Definition of Fluency in Reading and Reading Rate

While reading abilities are significantly important to succeed in academia for second language (L2) learners, they are not easy to acquire and many students seem to struggle with L2 reading. This paper highlights the factors that affect fluency and accuracy in L2 reading. In spite of its importance, there seems to be few studies that have been done about L2 reading. In terms of L2 reading, although learners’ first language (L1) and function of memory might influence each point such as words, grammar and writing structure, learners’ motivation may be the most influential factor. The students in the Management course at Konan University not only have reading activities, but are also introduced to several reading strategies to foster their reading skills and gain motivation.
Hemodynamic particularities of the acute coronary syndromes in young patients

Cardiovascular diseases represent the main cause of mortality in the world. The most significant regarding the mortality are the acute coronary syndromes. A matter of current interest is represented by the affection of a great number of young patiens, under 45 years, a group of age who should not normally be affected by this disease. The question arrises, whether this patiens are affected by the proccess of early vascular aging. Along with it comes the need to understand the mechanisms that lead to these cardiovascular events. The aim of this study was to evaluate the presence of early vascular aging in young patients, the correlation between the arterial stiffness and the presence of coronary atherosclerosis and the correlation between the modification of the hemodynamic parameters in young patients with acute coronary syndromes and the arterial stiffness. For the purpose of this study, we have analyzed two study groups: the SCA group, which comprised 60 patients with ages under 45 years admitted to the Clinical Emergency Hospital Bucharest, Cardiology Department, between 2016 and 2018 with a diagnosis of ACS and the MARTOR group 60 subjects, similar regarding age and sex categories to the patients in the SCA group, who have been randomly selected from the SEPHAR III study data base. The young patients with SCA, compared to the patients from the MARTOR group, are characterized by hypervolemia, vasoconstriction, high arterial stiffness and significantly higher vascular age compared to their biological age, which can explain the early onset of the coronary atherosclerosis.
NoWaste : waste heat re-use for greener truck

The present paper summarizes the key points of the European NoWaste Project, which aims at developing Rankine cycle systems for integration into long-haul trucks with the aim to convert the waste heat of the exhaust gases into useful energy usable in mechanical or electrical form. The first part of the paper describes the ORC system architectures defined for two different truck engines: one with EGR and the other one without EGR. For both engines, different cycle configurations and working fluids are compared in terms of energy performance and technical constraints. For both ORC systems, the paper shows the final technical choices made in terms of main components: boiler, condenser, expander and pump. The second part of the paper presents preliminary experimental results carried out on demonstrators of the two ORC systems. The objectives of these tests were to check the performance announced by the components’ manufacturers. Finally, the last part of the paper compares the cost of both systems.
Service with style and smile. How and why employees are performing emotional labour?

non-regulating and the suppressing styles on one hand, and the authentic and the ﬂexible styles on the other hand. Employees adopting a suppressing or a non-regulating style also manifested lower levels of motivation to regulate their emotions. Conclusion. – Results suggest that employees use a dynamic range of styles, which differ in their associated consequences.
Government Expenditure and Economic Growth in Nigeria: A Cointegration and Error Correction Modeling

This study examined the relationship between government expenditure and economic growth in Nigeria using a co-integration and error correction model for the period 1970-2010. A time-series data was obtained from the Central Bank of Nigeria for the analysis. The outcome of the ADF unit root test indicated that all variables included in the model were non-stationary at their levels but integrated of order one, I(1). From the long-run analysis, the results revealed a positive and significant linear relationship between the two categories of government expenditure and economic growth (measured by real GDP), whereas on the short-run, economic growth had a positive and significant linear relationship with recurrent expenditure and negative but significant relationship with capital expenditure. The result of the Pairwise Granger Causality test in a Vector Error Correction Model indicated a unidirectional (one-way) causality, running from economic growth to capital expenditure and recurrent expenditure to economic growth, while bi-directional causality runs from capital expenditure to recurrent expenditure and vice versa. Therefore, the study recommended the need to stimulate economic growth by allocating appropriate proportion to capital expenditure of government in the national budget.
Quantum Random Walks ∗

A new model of quantum random walks is introduced, on lattices as well as on finite graphs. These quantum random walks take into account the behavior of open quantum systems. They are the exact quantum analogues of classical Markov chains. We explore the “quantum trajectory” point of view on these quantum random walks, that is, we show that measuring the position of the particle after each timestep gives rise to a classical Markov chain, on the lattice times the state space of the particle. This quantum trajectory is a simulation of the master equation of the quantum random walk. The physical pertinence of such quantum random walks and the way they can be concretely realized is discussed. Differences and connections with the already well-known quantum random walks, such as the Hadamard random walk, are established. ∗Work supported by ANR project “HAM-MARK”, N◦ ANR-09-BLAN-0098-01, by South African Research Chair Initiative of the Department of Science and Technology and National Research Foundation
Immunohistochemistry for proliferating cell nuclear antigen and CD 34

study question: Can resveratrol and epigallocatechin-3-gallate (EGCG) inhibit the growth and survival of endometriotic-like lesions in vivo in a BALB/c model of endometriosis, and in vitro in primary cultures of human endometrial epithelial cells (EECs)? summary answer: Resveratrol and EGCG exerted a potent inhibitory effect on the development of endometriosis in a BALB/c murine model and on the survival of EECs. what is known already: Endometriosis is a common condition associated with infertility and pelvic pain in women of reproductive age. Resveratrol and EGCG are two polyphenols with anticarcinogenic and antioxidant properties that have been proposed as natural therapies to treat endometriosis. study design, size, duration: Fifty-six 2-month-old female BALB/c mice underwent surgical induction of endometriosis. Treatments with resveratrol or EGCG started 15 days post-surgery and continued for 4 weeks. Human biopsies were taken with a metal Novak curette from the posterior uterine wall from 16 patients with untreated endometriosis and 15 controls who underwent diagnostic laparoscopy for infertility. materials, setting, methods: After the treatments, animals were sacrificed and lesions were counted, measured, excised and fixed. Immunohistochemistry for proliferating cell nuclear antigen and CD34 was performed for cell proliferation and vascularization assessment in the lesions. The terminal deoxynucleotidyl transferase (TdT)-mediated dUTP nick-end labeling (TUNEL) technique was performed for apoptosis evaluation. Peritoneal fluid was collected to analyze vascular endothelial growth factor levels. Human EECs were purified from proliferative-phase endometrial biopsies and cultured. The effect of both polyphenols on cell proliferation was determined by a colorimetric assay using the CellTiter 96AQueous One Solution Cell Proliferation Assay kit and on apoptosis by the TUNEL technique, using an In Situ Cell Death Detection Kit with Fluorescein. main results: In the mouse model, both treatments significantly reduced the mean number (P , 0.05 versus control) and the volume of established lesions (P , 0.05 versus control). Treatments consistently statistically significantly diminished cell proliferation (resveratrol P , 0.01 and EGCG P , 0.05, versus control), reduced vascular density (resveratrol P , 0.01 and EGCG P , 0.001, versus control) and increased apoptosis within the lesions (resveratrol P , 0.01 and EGCG P , 0.05, versus control). Both compounds induced reduction in human EEC proliferation (P , 0.05 versus basal) and increased apoptosis (P , 0.05 versus basal) in primary cultures. limitations: In vitro studies were only carried out in epithelial cells from human eutopic endometrium. wider implications of the findings: The present findings are promising and will assist the development of novel natural treatments for endometriosis. study funding: This study was supported by ANPCYT (PICT 6384 BID 1201 OC-AR) and CONICET (PIP 5471), Argentina. None of the authors has any conflict of interest to declare.
A Rational Approach to Improve Performance Degradation in LTE Systems

An intense Radio Resource Management strategy for sharing traffic among cells is Mobility Load Balancing (MLB) to manage the uneven traffic distribution in mobile networks. The point of MLB is to lighten congestion issues by sharing traffic request among neighbor cells through the modification of handover parameters. However, in long term evolution (LTE), MLB may prompt to serious system execution corruption because of the tight frequency reuse and the non appearances of a soft handover conspire. In proposed work by implementing an advanced optimizes clustering algorithm to improve network lifetime in long term evolution (LTE).
EVALUATION OF FLOW RATE

Laboratory permeability tests on soils containing gravel that were performed using designation E-14 in the Earth Manual ("Permeability and Settlement of Soil Containing Gravel") showed what appeared to be inconsistent results when coefficients of hydraulic conductivity were determined at flow rates approaching the hydraulic conductivity limits of the test system. An evaluation of the flow rate of the test equipment showed a nonlinear flow rate with increasing hydraulic head. The evaluation identified inadequacies in the existing equipment and provided a method for evaluating the reliability of test results when the hydraulic conductivity of the soil approaches the hydraulic conductivity limit of the test system. 15. S U P P L E M E N T A R Y N O T E S 1 7 . K E Y WORDS A N D D O C U M E N T A N A L Y S I S 1 a . D E S C R I P T O R S 'flow rate/ *permeability/ soil settlement/ gravel/ coefficients of hydraulic conductivity/ hydraulic gradients c . C O S A T I F i e l d / G r o u p 08M C O W R R : 0808.1 SRIM: 18. D I S T R I B U T I O N S T A T E M E N T 19. S E C U R I T Y C L A S S (THIS R E P O R T ) U N C L A S S I F I E D 20. S E C U R I T Y CLASS ( T H I S PAGE) 2 1 . NO. O F PAGES 14 2 2 . P R I C E EVALUATION OF FLOW RATE OF 20-INCH-DIAMETER PERMEABILITY TEST SYSTEM by Traver E. Metcalf, Jr. Geotechnical Branch Division of Research and Laboratory Services Engineering and Research Center Denver, Colorado May 1986 UNITED STATES DEPARTMENT OF THE INTERIOR * BUREAU OF RECLAMATION As the Nation's principal conservation agency, the Department of the Interior has responsibility for most of our nationally owned public lands and natural resources. This includes fostering the wisest use of our land and water resources, protecting our fish and wildlife, preserving the environmental and cultural values of our national parks and historical places, and providing for the enjoyment of life through outdoor recreation. The Department assesses our energy and mineral resources and works to assure that their development is in the best interests of all our people. The Department also has a major responsibility for American Indian reservation communities and for people who live in Island Territories under U.S. Administration. The information contained in this report regarding commercial products or firms may not be used for advertising or promotional purposes and is not to be construed as an endorsement of any product or firm by the Bureau of Reclamation.