Miracle-dz/UniFAR-FTUs huggingface dataset:
C O ] 5 D ec 2 01 8 Semi-algebraic colorings of complete graphs

We consider m-colorings of the edges of a complete graph, where each color class is defined semi-algebraically with bounded complexity. The case m = 2 was first studied by Alon et al., who applied this framework to obtain surprisingly strong Ramsey-type results for intersection graphs of geometric objects and for other graphs arising in computational geometry. Considering larger values of m is relevant, e.g., to problems concerning the number of distinct distances determined by a point set. For p ≥ 3 and m ≥ 2, the classical Ramsey number R(p;m) is the smallest positive integer n such that any m-coloring of the edges of Kn, the complete graph on n vertices, contains a monochromatic Kp. It is a longstanding open problem that goes back to Schur (1916) to decide whether R(p;m) = 2, for a fixed p. We prove that this is true if each color class is defined semi-algebraically with bounded complexity. The order of magnitude of this bound is tight. Our proof is based on the Cutting Lemma of Chazelle et al., and on a Szemerédi-type regularity lemma for multicolored semi-algebraic graphs, which is of independent interest. The same technique is used to address the semi-algebraic variant of a more general Ramsey-type problem of Erdős and Shelah.
p 300 / CBP as a Key Nutritional Sensor for Hepatic Energy Homeostasis and Liver Fibrosis

The overwhelming frequency of metabolic diseases such as obesity and diabetes are closely related to liver diseases, which might share common pathogenic signaling processes. These metabolic disorders in the presence of inflammatory response seem to be triggered by and to reside in the liver, which is the central metabolic organ that plays primary roles in regulating lipid and glucose homeostasis upon alterations of metabolic conditions. Recently, abundant emerging researches suggested that p300 and CREB binding protein (CBP) are crucial regulators of energy homeostasis and liver fibrosis through both their acetyltransferase activities and transcriptional coactivators. Plenty of recent findings demonstrated the potential roles of p300/CBP in mammalian metabolic homeostasis in response to nutrients. This review is focused on the different targets and functions of p300/CBP in physiological and pathological processes, including lipogenesis, lipid export, gluconeogenesis, and liver fibrosis, also provided some nutrients as the regulator of p300/CBP for nutritional therapeutic approaches to treat liver diseases.
IrRC-Logger : Statistical Analysis of Users Behavior on Remote Controller Log

In this paper, we analyzed remote controller log for users’ operation on home appliances. We experimented for recording the DVD recorder’s signal data of 20 subjects who imposed the task. The logs were recorded using IrRCLogger records automatically Infrared signal (Ir-signal) from remote controller of the appliances and pictures of TV Output from the appliances simultaneously. We focused on interval time and analyzed a difference between error interval time and normal interval time. The results of the statistical tests show that the mean of interval time data for the error cases is statistically different from that for the normal cases. There is a useful possibility for the discovery of error operations by focusing on long interval time.
This is a repository copy of Impact of Memory Frequency Scaling on User-centric Smartphone

Improving battery life in mobile phones has become a top concern with the increase in memory and computing requirements of applications with tough quality-of-service needs. Many energy-efficient mobile solutions vary the CPU and GPU voltage/frequency to save power consumption. However, energy-aware control over the memory bus connecting the various on-chip subsystems has had much less interest. This measurement-based study first analyse the CPU, GPU and memory cost (i.e. product of utilisation and frequency) of user-centric smartphone workloads. The impact of memory frequency scaling on power consumption and qualityof-service is also measured. We also present a preliminary analysis into the frequency levels selected by the different default governors of the CPU/GPU/memory components. We show that an interdependency exists between the CPU and memory governors and that it may cause unnecessary increase in power consumption, due to interference with the CPU frequency governor. The observations made in this measurement-based study can also reveal some design insights to system designers.
Identification of a High-Affinity Receptor for Interleukin la and Interleukin 1# on Cultured Human Rheumatoid Synovial Cells

In this report the binding of recombinant human interleukins la and 1,8 (rIL-la and rIL-1j,) to primary cultures of human rheumatoid synovial cells is measured and compared to the concentrations of these mediators required for stimulation of PGE2 production by these same cells. The average concentration of IL-la required for half-maximal stimulation of PGE2 was 4.6±1.5 pM (±SEM) (a = 6), whereas for IL.1,8 half-maximal stimulation was observed at a concentration of 1.3±0.24 pM (a = 6). Both direct and competitive binding experiments were performed. In direct binding experiments, IL-la bound with a Kd of 66 pM (a = 1), while IL-1,8 bound with a Kd of 4 pM (n = 2). In competitive binding experiments, IL-la inhibited binding of 25I-IL-la with a K, of 33-36 pM (a = 2) and binding of '25I-IL-lj with a K, of 51-63 pM (a = 2). IL-1,8 inhibited binding of '5I-IL-la with a K1 of 2-3 pM (a = 2) and binding of '"I-IL-1B with a K, of 7 pM (a = 2). The binding data were best fit by a model specifying a single class of receptors with homogeneous affinity for either IL-la or IL-1,8 and with an abundance of 3,000-14,000 sites per cell.
OTPORNOST NA UDAR KOMPOZITNIH KOLON LAMINA IMPACT PROPERTIES OF KOLON FABRIC COMPOSITES

U ovom radu je ispitana otpornost na udar tri vrste poliuretan/p-aramidnih multiaksijalnih kompozinih tkanina (Kolon lamina) ojačanih višeslojnim ugljeničnim nanocevima (MWCNT). Površina svih lamina je prvo bila modifikovana sa γ-aminopropiltrietoksisilanom (AMEO silan)/etanol rastvorom i potom impregnisana sa 10 mas. % poli(vinil butiral) (PVB)/etanol rastvorom u kome su MWCNT bile dispergovane. Odnos PVB-a sa laminom je bio 20 mas. % . Svi kompoziti su se sastojali od četiri sloja impregnisanih lamina. MWCNT/PVB odnos je bio 0, 0,5 i 1 mas. % . Udarna svojstva kompozitnih uzoraka su se ispitivala na uređaju za ispitivanje udarom kontrolisane energije velikih brzina. Rezultati su pokazali da je Kolon/AMEO/PVB/MWCNT uzorak imao najveće povećanje od 26% u apsorbovanoj energiji udara u oodnosu na Kolon/AMEO/PVB uzorak. Ključne reči: Kolon lamine, AMEO silan, višeslojne ugljenične nanocevi, ispitivanje udarom kontrolisane energije In this study the impact resistance was tested for the three types of the polyurethane/p-aramid multiaxial fabric (Kolon fabric) composites reinforced with multiwalled carbon nanotubes (MWCNT). The surface of all the fabrics was firstly modified with γ-aminopropyltriethoxysilane (AMEO silane)/ethanol solution and then impregnated with 10 wt. % poly(vinyl butyral) (PVB)/ethanol solution where MWCNT were dispersed. The PVB/fabric ratio was 20 wt. %. All the composites consisted of four layers of the impregnated fabrics. The MWCNT/PVB content was 0, 0.5 and 1 wt. %. The impact properties of the composite samples were analysed by high speed puncture impact tester. The results showed that the Kolon/AMEO/PVB/1 wt. % MWCNT sample yielded around 26% improvement in the impact absorbed energy compared to the Kolon/AMEO/PVB sample.
moking and alcohol behaviours in people following hip and knee rthroplasty : Data from the Osteoarthritis Initiative

Background: Smoking and alcohol consumption has a negative effect on overall health. Limited evidence has been presented as to how these health behaviours may change between preand postoperative intervals in the initial 12 months post-arthroplasty. The purpose of this study was to address this uncertainty. Hypothesis: Smoking and alcohol consumption differs between preand post-THA/TKA and it differs between non-arthroplasty cohorts. Materials and methods: Data from the Osteoarthritis Initiative (OAI), a population-based observational study in the USA, were gathered. In total, data from 287 people who had undergone THA or TKA from baseline to month 48 OAI follow-up assessments were analysed. Data on this cohort were compared to 287 ageand gender-matched people with osteoarthritis. Mean change from preto post-arthroplasty, and differences between arthroplasty and non-arthroplasty participants for smoking and alcohol consumption were assessed descriptively and through Wilcoxin-matched pairs test and Student t-tests (as appropriate). Results: The lifetime prevalence of smoking was high for people who received THA (99%) and TKA (96%). Prevalence of current smoking significantly decreased from 5 to 3% across the THA and TKA cohort in the initial 12 months post-arthroplasty (P < 0.05). Similarly, there was a statistically significant decrease in weekly alcohol consumption post-arthroplasty for people who underwent THA and TKA (P < 0.01), although the mean difference was only by 0.9 alcoholic drinks. The only statistically significant difference in smoking and alcohol consumption for arthroplasty to non-arthroplasty participants was in weekly alcohol consumption, which was higher by 0.3 drinks in the non-arthroplasty cohort (P = 0.04). Conclusions: Smoking and alcohol consumption decreased in the initial 12 months post-THA and TKA. This was not significantly different to an ageand gender-matched non-arthroplasty cohort. Whilst this is positive, a small group of patients still present with unhealthy lifestyle choices in relation to these behaviours post-arthroplasty. Level of evidence: Level III – prospective case control study. © 2015 Elsevier Masson SAS. All rights reserved.
JUSSI KUUSIRINNE OPTIMIZING DEMAND PLANNING PROCESS – SEEKING THE BEST STATISTICAL FORECASTING METHOD

TAMPERE UNIVERSITY OF TECHNOLOGY Master’s Degree Programme in Mechanical Engineering KUUSIRINNE, JUSSI: Optimizing Demand Planning Process Seeking the Best Statistical Forecasting Method Master of Science Thesis, 79 pages, 5 Appendix pages January 2014 Major: Production Engineering Examiners: Professor Paul H. Andersson and Professor Juho Kanniainen
Intensification and Crop Commercialization in Northeastern Ethiopia 1

Due to low farm production and productivity the majority of subsistence farmers in Ethiopia are not self-sufficient in food, and deliver meager amounts of farm output to consumers and agro-processing industries. Agricultural growth, an important pathway to food security, is realized through increases in per capita farm endowments (physical and financial assets and resources) and adoption of appropriate and proven technology and requires a transformation out of the semisubsistence, low-input and low-productivity agriculture into a high productivity commercial agriculture. This article investigates farm commercialization from two perspectives outputoriented and input-oriented farm commercialization. Logistic model was applied to examine factors of commercial participation and use of chemical fertilizer, while Cob Douglass production function was employed for the analysis of production determinants. The data used for the analysis was collected from farm households sampled from communities in Northeastern Ethiopia. The regression analysis of commercialization asserts that lack of market access (measured by distance) and engagement in livestock and off-farm employment significantly and negatively impact food crop commercialization. Total food crop production has been found to impress a strong and significant effect on commercialization. The production analysis indicated that farm size operated and technology (chemical fertilizer) are the most important production factors under the context of the study areas. Results of estimation of fertilizer use show the important and positive role of access to oxen and credit, and size of operated farm. 1 The final version of this article was submitted in May 2006. 2Contact author, IDR/AAU, e-mail: wnegatu@yahoo.com 3 Land Tenure Center, Wisconsin University Ethiopian Journal of Economics, Vol XI No 2, October 2002 85 The findings of the study generally imply the need for rationalization of policies and institutions in order to create incentives and rules that promote land transaction and markets for credit, product and input. Workneh and Michael: Intensification and Crop Commercialization.
First ! Framing and Governing Climate Geoengineering Experimentation

Experiments for technology proposals to deliberately intervene in the Earth’s climate system to moderate anthropogenic climate change, collectively known as geoengineering, have begun. Recent controversies have demonstrated that they are more than simply a technical concern: they are political, social and ethical ones too. With more experiments planned, it is imperative that the ways in which such ambitions are understood and used by different participants in discourses on geoengineering are scrutinised by social science. For the first time, this article examines framings of geoengineering experimentation using a corpus approach to thematic discourse analysis. The analysis identifies eleven distinct framings with twenty–four distinct sub–frames under four thematic constructs: knowledge, precaution, control and society. These framings are discussed in the light of research into divergent epistemic and institutional cultures. The article concludes by offering a ‘clumsy’ solution space for geoengineering governance and climate response governance at large.
Transformational Models for Background Subtraction with Moving Cameras

Background subtraction is a commonly used technique in computer vision for detecting objects. While there is an extensive literature regarding background subtraction, most of the existing methods assume that the camera is stationary. This assumption limits their applicability for moving camera scenarios. To overcome this limitation, we approach the background subtraction problem from a geometric perspective and introduce multiple background transformation models that utilize various geometric relations. Unlike previous methods, the proposed algorithms do not rely on certain camera motions or assumptions about the scene geometry. First, we introduce a 2.5D background model that describes the scene in terms of both its appearance and geometry. In this model, the 3D scene is represented as a stack of parallel hypothetical planes so that each plane is associated with a homography transform. A pixel that belongs to a background scene structure consistently maps between the consecutive frames based on the corresponding plane projective transformation with respect to the hypothetical plane it lies on. This consistency in mapping is not expected for a moving object, since its motion does not comply with the camera motion. This observation disambiguates moving objects from the background. In our second approach, instead of relying on frame-to-frame estimation, we simultaneously estimate the epipolar geometries induced by a moving camera in a
Research on Computer Digital Signal Processing Network based on the RBF Neural Network

This article focuses on the genetic algorithm to improve computer assisted voice digital signal processing technology, focusing on the effect of genetic algorithms in terms of speaker recognition, proposed a set of related technologies using genetic algorithm to improve computer-aided optimization of voice processing solutions. The genetic algorithm (GA) for speech processing plays an important role in vector quantization techniques used in the design process codebook into local optimum problem, and for poorly performing computer-aided speech processing problems RBF network plays a very important role obtained in the clustering process, combined with improved adaptive genetic algorithm to optimize the design of the network training algorithms. Experimental results show a good effect on genetic algorithm optimized generated.
ASSOCIATION FOR CONSUMER RESEARCH

In this research, we propose that a brief experience with a hedonic cue (e.g. an appetitive drink) activates a general motivation drive, which, in turn enhances pursuit of a subsequently adopted goal (e.g., performance on intellectual goal, dieting goal etc.). Moreover, we show that given a sequence of goals, the activated motivational drive enhances pursuit for the more salient goal, that is, the goal temporally proximal to the source of motivational energy. Finally, we demonstrate that the impact of experiencing the hedonic cue on subsequent goal pursuit is attenuated if the activated motivational drive is satiated prior to the subsequent goal task.
L 2 Proficiency Effect on the Acoustic Cue-Weighting Pattern by Korean L 2 Learners of English : Production and Perception of English Stops Kong

This study explored how Korean L2 learners of English utilize multiple acoustic cues (VOT and F0) in perceiving and producing the English alveolar stop with a voicing contrast. Thirty-four 18-year-old high-school students participated in the study. Their English proficiency level was classified as either ‘high’ (HEP) or ‘low’ (LEP) according to high-school English level standardization. Thirty different synthesized syllables were presented in audio stimuli by combining a 6-step VOTs and a 5-step F0s. The listeners judged how close the audio stimulus was to /t/ or /d/ in L2 using a visual analogue scale. The L2 /d/ and /t/ productions collected from the 22 learners (12 HEP, 10 LEP) were acoustically analyzed by measuring VOT and F0 at the vowel onset. Results showed that LEP listeners attended to the F0 in the stimuli more sensitively than HEP listeners, suggesting that HEP listeners could inhibit less important acoustic dimensions better than LEP listeners in their L2 perception. The L2 production patterns also exhibited a group-difference between HEP and LEP in that HEP speakers utilized their VOT dimension (primary cue in L2) more effectively than LEP speakers. Taken together, the study showed that the relative cue-weighting strategies in L2 perception and production are closely related to the learner’s L2 proficiency level in that more proficient learners had a better control of inhibiting and enhancing the relevant acoustic parameters.
Improving Collaboration Efficiency in Fork-Based Development

Fork-based development is a lightweight mechanism that allows developers to collaborate with or without explicit coordination. Although it is easy to use and popular, when developers each create their own fork and develop independently, their contributions are usually not easily visible to others. When the number of forks grows, it becomes very difficult to maintain an overview of what happens in individual forks, which would lead to additional problems and inefficient practices: lost contributions, redundant development, fragmented communities, and so on. Facing the problems mentioned above, we developed two complementary strategies: (1) Identifying existing best practices and suggesting evidence-based interventions for projects that are inefficient; (2) designing new interventions that could improve the awareness of a community using fork-based development, and help developers to detect redundant development to reduce unnecessary effort.
KINEMATICS OF THE EPICYCLICAL MINUTEMAN COVER DRIVE

Articolul stabileşte relaţii matriceale pentru analiza cinematică a unui tren de roţi dinţate cu un grad de libertate. Mecanismul epiciclic Minuteman este un sistem cu patru elemente mobile şi trei cuplaje prin roţi dinţate controlate de un motor electric. Cunoscând mişcarea de rotaţie a efectorului, problema de cinematică inversă este rezolvată printr-un procedeu bazat pe relaţii de conectivitate. În final, se obţin câteva grafice pentru unghiurile de rotaţie, vitezele unghiulare şi acceleraţiile unghiulare de la intrarea şi ieşirea din sistemul mecanic.
CMOS Illumination Discloses Processed Data

As digital devices penetrate to many areas important for the present society, it is important to analyze even potential threats to mitigate vulnerabilities during their lifetime. In this paper, we analyze the data dependency of the photocurrent induced by a laser beam in the illuminated CMOS circuit. The data dependency may introduce potential threat(s) originating in the nature of the CMOS technology. The data dependency can be potentially misused to compromise the data processed by an embedded device. We show that also the devices employing dual-rail encoding to hide data-dependency are not safe.
dinamik verim testine göre performanslarının değerlendirilmesi

The perturb & observe (P&O) and incremental conductance algorithms, which are widely used in maximum power point tracker systems. In this study, A SEPIC (single-ended primary inductance converter) DC/DC converter is designed for maximum power point tracker, and both algorithms are implemented on the SEPIC converter by using DSP. The performance of maximum power point tracker (MPPT) in PV system under dynamic environmental conditions (such as irradiation, dirt, temperature) is very important in the point of its efficiency. EN 50530 standard, which is provides a procedure for the measurement of the efficiency, is * Sorumlu Yazar / Corresponding Author 1 Kocaeli Üniversitesi, Mühendislik Fakültesi, Elektrik Mühendisliği, Kocaeli onur.kircioglu@kocaeli.edu. tr, muratunlu@kocaeli.edu. tr, scamur@kocaeli.edu. tr 0085 Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, 22 (1), 85~93, 2018
MiRNA-7 targets cathepsin K to inhibit invasion and metastasis of neuroblastoma cells

Background: We aimed to investigate the function of miR-7 in the invasion and metastasis of neuroblastoma cells and to explore its mechanism. Methods: QRT-PCR or western blot was used to validate the expression level of miR-7 and candidate gene or protein in the neuroblastoma tissues or neuroblastoma cells. The cell adhesion assay, scratch migration assay and Matrigel invasion assay were used to compare cell invasion and metastasis ability, respectively. Bioinformatics and luciferase reporter gene Assay were conducted to validate the regulation of miR-7 on the cathepsin K (CatK) expression. Xenografts assay was used to test the inhibiting effect of miR-7 or miR-7 inhibitor on the neuroblastoma cells in vivo. Results: MiR-7 was over-expressed in metastatic neuroblastoma tissues compared to primary tumors. over-expression or inhibition of miR-7 inhibits or promotes cell invasion and metastasis of neuroblastoma cells in vitro and in vivo. Besides, catK was confirmed as a direct target of miR-7 by using bioinformatics analysis and validation at both the gene and protein levels. Furthermore, the knock down of CatK by using siRNA had a similar effect on the neuroblastoma cell invasion and metastasis to the over-expression of miR-7 in SH-N-SH or SH-SY5Y cells. Finally, the down-regulated ability of cell invasion and metastasis following the over-expression of miR-7 could be reversed by adding CatK in vitro. Conclusion: This newly identified function of miR-7 by targeting CatK provides novel insights into neuroblastoma and may foster therapeutic applications.
Toxic Comment Detection and Classification

In the project, we implemented three models that could detect toxic comments with high accuracy. Naive BayesSVM is our baseline model, which achieved 68.33% F1 score and 87.57% EM score. Then two deep-learning models, LSTM and BERT, are fully investigated. We applied weighted loss to solve the imbalanced data problem. The best performance of a single model could achieve 81.19% F1 score and 95.54% EM score. In the end, two ensemble methods were used and increased the F1 and EM scores to 84.28% and 95.14%.