Miracle-dz/UniFAR-FTUs huggingface dataset:
Scalable Computing: Practice and Experience

The presented study analyses memory footprints of 563 representative benchmark sparse matrices with respect to their partitioning into uniformly-sized blocks. Different block sizes and different ways of storing blocks in memory are considered and statistically evaluated. Memory footprints of partitioned matrices are then compared with their lower bounds and CSR, indexcompressed CSR, and EBF storage formats. The results show that block-based storage formats may significantly reduce memory footprints of sparse matrices arising from a wide range of application domains. Additionally, measured consistency of results is presented and discussed, benefits of individual formats for storing blocks are evaluated, and an analysis of best-case and worst-case matrices is provided for in-depth understanding of causes of memory savings of block-based formats.
THE EFFECT OF MEMBER GROUPING ON THE OPTIMUM DESIGN OF GRILLAGES VIA SEARCH TECHNIQUES

Eleman guruplandirmasi celik izgara sistemlerin minimum agirlik tasariminda onemli etkiye sahiptir. Mevcut calismada bu etki parcacik kume ve armoni arama isimleriyle bilinen iki farkli olasiliga dayali optimizasyon metodu yardimiyla incelenmistir. Izgara sistemin optimum tasarimi LRFD-AISC Amerikan sartnamesinde bulunan sinirlayicilarin dikkate alinmasi suretiyle gerceklestirilmistir. Her iki eksen dogrultusunda tasarlanacak olan elemanlar icin ayni sartnamede bulunan 272 adet genis baslikli celik profil kesiti kullanilmistir. Optimum tasarim algoritmasi izgara sistem elemanlari icin 272 adet celik profilin bulundugu tasarim havuzundan uygun profillerin secilmesi suretiyle, sinilayicilarin saglandigi ve agirligin minimum oldugu tasarimi belirleyecek sekilde olusturulmustur. Pacacik kume ve armoni arama yontemlerinin kullanilmasiyla elde edilen tasarim algoritmalari yardimiyla sozkonusu kesikli optimizasyon probleminin cozumu gerceklestirilmistir. Bir tasarim ornegi dikkate alinarak kiris yerlesim araliklari ile optimizasyon metodlarinin performanslarinin optimum tasarima etkisi incelenmistir.
Working Experience and Perceived Physical Activity and Exercise Barriers

The purpose of this study was to assess the relationship between physical activity levels and the type of barriers of engaging in physical activity and exercise depending on working experience years among women who have sedentary long hours jobs. Participants of this study were (101) female workers (M=36.6, SD=6.2 years) who were recruited randomly from (Yarmouk University, Irbid Jordan). Participants were grouped according to years of working experience: less than 5 years (n=34), 5-9 years (n=32), more than 10 years (n=35). Current exercise levels and perceived barriers to physical activity were assessed by the Arabic short form of the International Physical Activity Questionnaire (IPAQ) and the Barriers to Being Active Quiz of the Centers for Disease Control and Prevention (CDC) questionnaire. Results: No significant differences were observed between years of experience and type of barriers. Whereas, the results of this study showed that the physical activity and exercise barrier among all participants where the lack of energy (M=6.1, SD=1.7), followed by lack of time barrier (M=5.9, SD=1.8). The findings of this study suggest that working women despite their working experience have similar physical activity and exercising barriers, that might benefit from interventions and strategies to overcome barriers by enhancing physical activity and exercise during working hours.
Sediment Transport and Bedrock Erosion by Wet Snow Avalanches in the Guggigraben , Matter Valley , Switzerland Abstract

Jeffrey R. Moore*‡ Wet snow avalanches breaking through to the base of the snowpack or overriding snowJonas Egloff* free surfaces can entrain basal material and act as important agents of sediment transport Jan Nagelisen* in steep alpine catchments. Here we present results from 4 years of measurements at the Michael Hunziker* Guggigraben catchment (Matter Valley, Canton Valais), quantifying the volume of sediment transported by avalanches each winter season. Sediment load was estimated by Ulrich Aerne* and measuring the debris content within representative areas and then extrapolating the cumulaMarc Christen† tive volume. Results reveal a total transported sediment volume of 70 m in 2009, 23 m *Department of Earth Sciences, ETH in 2010, 15 m in 2011, and 35 m in 2012, which correspond to catchment-wide erosion Zurich, Sonneggstrasse 5, 8092 Zurich, rates of approximately 0.05, 0.02, 0.01, and 0.03 mm/a, respectively. Sediment appears Switzerland to be sourced predominantly from within the main channel or one its tributaries, originating †WSL Institute for Snow and Avalanche first from rockfall or landslides. Avalanches thus play an important role at the Guggigraben Research SLF, Flüelastrasse 11, 7260 in transporting loose sediment from temporary storage sites to the fan and main river Davos, Switzerland ‡Corresponding author. Present address: system. Within the bedrock gully and in the avalanche source region above, signs of Department of Geology and Geophysics, abrasive wear were evident on exposed bedrock surfaces. These included rounded and University of Utah, 115 South 1460 East, scoured bedrock, fresh boulder impacts, and scratch marks on the gully walls. Room 383, Salt Lake City, Utah 84112, U.S.A. jeff.moore@utah.edu DOI: http://dx.doi. org/10.1657/1938-4246-45.3. 350
Air pollution in urban Beijing: the role of government-controlled information

This paper looks at the problem of information control behind the unsustainable levels of air pollution in Chinese cities. In particular, it focuses on a large urban area, Beijing, and it examines the role of the public information and the adaptation choices of households in response to high pollution. Our analysis is based on an empirically analysis of two air pollution indexes from different sources, one public and one foreign. We also examine agents’ behaviour in response to pollution peaks in an original household survey collected in Beijing. We find that the official air pollution values are systematically distorted, creating perverse incentives for households to react to bad air quality, especially for people who rely on government-controlled sources of information.
Title : Is nocturnal desaturation a trigger for neuronal damage in chronic obstructive pulmonary disease ?

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Is nocturnal desaturation a trigger for neuronal damage in chronic obstructive pulmonary disease? François Alexandre, Nelly Heraud, Alain Varray
MECHANIZED OBJECT DETECTION ALGORITHM FOR URBAN SURVEILLANCE SYSTEM IN SMART CITIES USING INTERNET OF THINGS

With the extension of keen meters, similar to the Advanced Metering Infrastructure (AMI), and the Internet of Things (IoT), each brilliant city is furnished with different sorts of electronic gadgets. In this way, gear and innovations empower us to be more astute and make different parts of savvy urban communities more ope n and material. The objective of the current paper is to give a comprehensive survey on the idea of the shrewd city other than their distinctive applications, advantages, and favourable circumstances. What's more, the vast majority of the conceivable IoT advancements are presented, and their capacities to converge into and apply to the distinctive parts of shrewd urban areas are talked about. The potential use of savvy urban areas as for innovation improvement later on gives another important exchange in this paper. In the mean time, some pragmatic encounters the whole way across the world and the key obstructions to its usage are altogether expressed. Automated protest location calculation is a vital research test in shrewd urban reconnaissance frameworks for IoT and savvy urban areas applications. Specifically, shrewd vehicle tag acknowledgment (VLPR) and vehicle recognition are perceived as center research issues of these IoTdriven wise urban observation frameworks. They are enter systems in the vast majority of the movement related IoT applications, for example, street activity continuous checking, security control of limited regions, programmed stopping access control, looking stolen vehicles, and so on. In this paper, we propose a novel brought together strategy for robotized protest discovery for urban observation frameworks. We utilize this novel technique to decide and select the most elevated vitality recurrence zones of the pictures from the computerized camera imaging sensors, that is, either to pick the vehicle tags or the vehicles out from the pictures[1]. Our proposed strategy can not just recognize question vehicles[2] quickly and precisely, yet in addition can be utilized to diminish enormous information volume should have been put away in urban reconnaissance frameworks.
Expression of CD 133 gene in primary glioma cells and its correlation with pluripotency , hypoxia and tumor grade

Septelia Inawati Wanandi, Novi Silvia Hardiany, Febrial Hikmah, Radiana Dhewayani Antarianto, and Syaiful Ichwan Department of Biochemistry and Molecular Biology, Faculty of Medicine, Universitas Indonesia Master Program in Biomedical Sciences, Faculty of Medicine, Universitas Indonesia Department of Histology, Faculty of Medicine, Universitas Indonesia Neurosurgery Division, Department of Surgery, Faculty of Medicine, Universitas Indonesia Centre of Hypoxia and Oxidative Stress Studies, Faculty of Medicine, Universitas Indonesia
Detection of VIM-1, VIM-2 and IMP-1 metallo- β-lactamase genes in Klebsiella pneumoniae isolated from clinical samples in Sanandaj, Kurdistan, west of Iran

Background and Objectives: Klebsiella pneumoniae is an important cause of serious nosocomial infections among Gram-negative bacteria. The aim of this study was evaluating the prevalence of VIM-1, VIM-2, and IMP-1 metallo-β-lactamase genes in clinical specimens at two teaching hospitals in Sanandaj, Kurdistan west of Iran. Materials and Methods: Four hundred different clinical specimens were collected from hospitalized patients or referred to hospitals from May 2013 to March 2014 in Sanandaj, Kurdistan, Iran. MBLs – producing K. pneumoniae detected by Double Disk Synergy Test. The MBL positive isolates were examined for the presence of VIM-1, VIM-2 and IMP-1 genes using PCR technique. Results: Of four hundred clinical specimens, 114 K. pneumoniae isolates were identified. Twenty-eight (24.6%) isolates were resistant to imipenem and 15 strains (53.6%) were positive for MBL enzymes production. PCR results showed VIM-1 and IMP-1 genes frequencies are 4 (26.7%) and 1 (6.7%). Only one strain of K. pneumoniae was found to be MBL producer among the outpatients. Conclusion: The study results exhibited a high level of resistance to most of the antibiotics tested and high prevalence of MBLs producing in K. pneumoniae at two hospitals. Thus, the infection control methods and the implementation of antibiotic agents should be taken into account.
Formal versus Distributional Semantics of Natural Language : a Survey

This paper discusses the relation of the two major research streams in natural language semantics: Formal Semantics and Distributional Semantics. At a first glance, their relation is apparently contrastive, if not even in plain opposition. At a closer look, however, it turns out that the two frameworks have in fact a complementarity relation. Both theories, and natural language semantics in general, can benefit from integrating the two, using each other’s specific methods and ideas. For instance, Formal semantics could integrate distributional information for representing content words, while Distributional Semantics could employ key ideas about compositionallity from Formal Semantics to represent phrases, sentences or discourse, and grammatical words. Few efforts ware directed towards integrating lexical distributional information into Formal Semantics, in sharp contrast to the concentrated and abundant efforts made for obtaining a compositional model in Distributional Semantics. The paper points to the main literature representing these research directions.
The current distribution of pond slider Trachemys scripta (Reptilia: Emydidae) in Croatia

The pond slider Trachemy scripta was one of the most commonly exported turtles until the last decade and often released into the wild outside its native range. It was introduced to Europe, Africa, South America and Asia and included on the EU list of 100 World's Worst Invasive Alien Species and the List of invasive alien species of Union concern. The import of the subspecies Trachemys scripta elegans into Europe and Croatia has been banned for some time, but the number of specimens recorded in nature is still increasing. In this paper we present 45 new localities were the species was observed in Croatia, which makes a total of 84 known localities. Most of the records, 58%, are in the Continental biogeographical region and the rest in the Mediterranean. It has not yet been recorded for the Alpine biogeographical region. Most records (42%) come from ponds. Three new sightings of females digging nests, laying eggs and sightings of hatchlings were recorded, suggesting successful reproduction of the species. Further surveys of this alien species in Croatia are needed.
evelopment of real-time RT-PCR for the detection of low oncentrations of Rift Valley fever virus

In recent years, Madagascar and the Comoros archipelago have been affected by epidemics of Rift Valley fever (RVF), however detection of Rift Valley fever virus (RVFV) in zebu, sheep and goats during the post epidemic periods was frequently unsuccessful. Thus, a highly sensitive real-time RT-PCR assay was developed for the detection of RVFV at low viral loads. A new RVF SYBR Green RT-PCR targeting the M segment was tested on serum from different RVF seronegative ruminant species collected from May 2010 to August 2011 in Madagascar and the Comoros archipelago and compared with a RVF specific
Dictionaries and Decision Trees for the 2019 CLPsych Shared Task

In this summary, we discuss our approach to the CLPsych Shared Task and its initial results. For our predictions in each task, we used a recursive partitioning algorithm (decision trees) to select from our set of features, which were primarily dictionary scores and counts of individual words. We focused primarily on Task A, which aimed to predict suicide risk, as rated by a team of expert clinicians (Shing et al., 2018), based on language used in SuicideWatch posts on Reddit. Category-level findings highlight the potential importance of social and moral language categories. Word-level correlates of risk levels underline the value of fine-grained data-driven approaches, revealing both theory-consistent and potentially novel correlates of suicide risk that may motivate future research.
Contextual Considerations in the Use of Metaphors in Nigerian Pentecostal Christian Discourse

Since the seminal publication of Lakoff and Johnson’s (1980) Metaphors We Live By, there has been a sustained stream of scholarly works on the ubiquitous use and interpretation of metaphors in varying domains of human experience. A review of some of these works shows that the use of metaphors by the Pentecostal Christian clergy has not been critically examined. The preponderance of metaphors in this domain makes this gap fundamental as it limits adequate understanding of the discourse function of metaphors in this domain. The purpose of this study was to explore the centrality of context in the use and interpretation of metaphors in Nigerian Pentecostal Christian Discourse. Fifteen recorded sermons of three Nigerian Pentecostal PreachersDaniel Olukoya, David Oyedepo, and Chris Oyakhilomewere transcribed and the metaphorical aspects of the data determined using the Metaphor Identification Procedure Through Vehicle Terms (MIV) developed by Cameron and Maslen. The derived metaphors were critically analysed using insights from Cameron’s Discourse Dynamics Approach to metaphor analysis and Charteris-Black’s Critical Metaphor Analysis. The findings of the study reveal that the metaphoricity of an utterance and the discourse function of metaphors in Nigerian Pentecostal Christian Discourse hinge on a holistic consideration of the contextual features of Pentecostal Christian Discourse.
Beyond HC: More sensitive tests for rare/weak alternatives

Higher criticism (HC) is a popular method for large-scale inference problems based on identifying unusually high proportions of small pvalues. It has been shown to enjoy a lower-order optimality property in a simple normal location mixture model which is shared by the ‘tailor-made’ parametric generalised likelihood ratio test (GLRT) for the same model, however HC has also been shown to perform well outside this ‘narrow’ model. We develop a higher-order framework for analysing the power of these and similar procedures, which reveals the perhaps unsurprising fact that the GLRT enjoys an edge in power over HC for the normal location mixture model. We also identify a similar parametric mixture model to which HC is similarly ‘tailor-made’ and show that the situation is (at least partly) reversed there. We also show that in the normal location mixture model a procedure based on the empirical moment-generating function enjoys the same local power properties as the GLRT and may be recommended as an easy to implement (and interpret), complementary procedure to HC. Some other practical advice regarding the implementation of these procedures is provided. Finally we provide some simulation results to help interpret our theoretical findings.
econstor Make Your Publications Visible . A Service of zbw

Central counterparties (CCPs) have increasingly become a cornerstone of financial markets infrastructure. We present a model where trades are time-critical, liquidity is limited and there is limited enforcement of trades. We show a CCP novating trades implements efficient trading behaviour. It is optimal for the CCP to face default losses to achieve the efficient level of trade. To cover these losses, the CCP optimally uses margin calls, and, as the default problem becomes more severe, also requires default funds and then imposes position limits. JEL Classification: G20, G30.
Assessment and correction of errors in DNA sequencing technologies

ASSESSMENT AND CORRECTION OF ERRORS IN DNA SEQUENCING TECHNOLOGIES Can Fırtına M.S. in Computer Engineering Advisor: Can Alkan December 2017 Next Generation Sequencing technologies differ by several parameters where the choice to use whether short or long read sequencing platforms often leads to trade-offs between accuracy and read length. In this thesis, I first demonstrate the problems in reproducibility in analyses using short reads. Our comprehensive analysis on the reproducibility of computational characterization of genomic variants using high throughput sequencing data shows that repeats might be prone to ambiguous mapping. Short reads are more vulnerable to repeats and, thus, may cause reproducibility problems. Next, I introduce a novel algorithm Hercules, the first machine learning-based long read error correction algorithm. Several studies require long and accurate reads including de novo assembly, fusion and structural variation detection. In such cases researchers often combine both technologies and the more erroneous long reads are corrected using the short reads. Current approaches rely on various graph based alignment techniques and do not take the error profile of the underlying technology into account. Memoryand timeefficient machine learning algorithms that address these shortcomings have the potential to achieve better and more accurate integration of these two technologies. Our algorithm models every long read as a profile Hidden Markov Model with respect to the underlying platform’s error profile. The algorithm learns a posterior transition/emission probability distribution for each long read and uses this to correct errors in these reads. Using datasets from two DNA-seq BAC clones (CH17-157L1 and CH17-227A2), and human brain cerebellum polyA RNA-seq, we show that Hercules-corrected reads have the highest mapping rate among all competing algorithms and highest accuracy when most of the basepairs of a long read are covered with short reads.
The Dilemma of Classification of Income Levels in Social Research

Income is a widely used parameter in social researches. Most community studies generally collect information on the household income for better understanding of the socioeconomic status of the people. Income is usually classified as low, middle and high where thresholds were selected depending on the population under study. Thus, classification of income levels is mostly arbitrary. The present paper attempts to examine the discrepancies in results that may arise due to differential classification of income levels. For the purpose of the study, analysis of a fieldwork-based data set of 708 individuals (20 – 70 years) from 470 households based on different income classifications and various socio-demographic, behavioral and nutritional indicators were used. It is observed that varying classification of income levels may not influence the interpretation of results in case of discrete or continuous variables, however, it is found to skew the direction of interpretation of results to a considerable extent in categorical variables.
Research on Price Formation of International Business Negotiation Based On Game Theory

The paper starts with the price negotiation part of international business negotiation and uses game theory to analyze the process of international business negotiation. The article will analyze the game nature of the international business negotiation process, and based on this, the game model of the international business negotiation process. Utilizing Rubin Stein's rotating bidding model to analyze the game solution of the benefit sharing "1" and the expected price, and using the utility theory to obtain the possible solution points of the international commercial price negotiation under the condition of payment. Finally, through the analysis of the game solution of international business negotiations, the paper discusses the effective strategies and suggestions that the negotiating parties should take in order to obtain more benefits in the process of international business negotiation.