Miracle-dz/UniFAR-FTUs huggingface dataset:
Detection and Transformation of Second-Order Cone Programming Problems in a General-Purpose Algebraic Modeling Language

Diverse forms of nonlinear optimization problems can be recast to the special form of second-order cone problems (SOCPs), permitting a wider variety of highly effective solvers to be applied. Popular solvers assume, however, that the necessary transformations to required canonical forms have already been identified and carried out. We describe a general approach to the construction of algorithms that automatically detect equivalent to SOCPs and apply the necessary transformations. To test this approach, the algorithms are implemented in the context of the AMPL modeling language and various solvers. The automated transformations are seen to allow for more effective and reliable modeling, while in some cases transforming problems to forms that are much easier to solve. This work was supported in part by the National Science Foundation Operations Research program under grant DMI-0800662.
High-Speed Feature Point Tracking

Ego-motion estimation with a head-mounted camera requires accurate tracking of a small number of features at a very high frame rate. We propose to solve this task with a hybrid feature tracking approach. First, the frame-to-frame feature translation is estimated with an efficient block matching method. Then, an iterative gradient descent estimation of affine motion between the first frame and the current frame is used to refine the translation estimate, prevent feature drift, and detect outliers. We evaluated the individual algorithms with respect to performance criteria like basin of convergence, robustness, and accuracy. We also conducted experiments on image sequences of real scenes in order to compare the proposed approach with our existing feature tracking system, which is based on the well known Kanade-Lucas-Tomasi tracker.
Blind Image Quality Assessment designed by learning-based attributes selection

With the rapid growth of image processing technologies, objective Image Quality Assessment (IQA) is a topic where considerable research effort has been made over the last two decades. IQA algorithms based on image structure have been shown to correlate well with Mean Opinion Scores (MOS). No-Reference (NR) image quality metrics are of fundamental interest as they can be embedded in practical applications This paper deals with a new NR-IQA metric based on natural scenes statistics. It proposes to model the best correlated statistics of seven well known no-reference image quality algorithms by a MultiVariate Gaus-sian Distribution (MVGD). A part of LIVE database is used with the associated DMOS to fit the MVGD model, namely Model Image Quality Index (MIQI). Hence, the quality of a distorted image is given by the DMOS that maximizes the multivariate Gaussian probability density function. Experimental results demonstrate the method effectiveness for a wide variety of distortions.
PITCH DETECTION FOR MONOPHONIC MUSICAL NOTES

In this paper, we develop a method to obtain pitch frequency of monophonic musical signals. The autocorrelation function is used as the main feature to discriminate the notes. Acoustical signals are recorded from an electronic piano, digitized and stored on a computer. Feature extraction, i.e., the short-time autocorrelation computation, is performed and then notes are recognized by using a peak search method.
Embedded Workbench Application of GPS Sensor for Agricultural Tractor

This paper presents a design of an embedded workbench application of Global Positioning System (GPS) for agricultural tractor. Electronic Control Unit (ECU) is Global Positioning System (GPS) sensor using IAR (IAR Embedded Workbench) and an open source library which follows the most important characteristics of International Organization for Standardization (ISO) 11783 communication protocol in the serial communication network of agricultural vehicles. These applications are written in C/C++ programming methods. We explain some test connection configuration between working Personal Computer (PC) and test board for studying the application program and GPS sensor working status. This research work mainly describes the system architecture and programming methodology of an application program which follows some standards for agricultural machinery.
Evaluating Factors of CRM on Customer Satisfaction – Managerial Perspective of PTCL (Telecommunication Giant of Pakistan)

The aim of the study is to evaluate the factors of Customer Relationship Management on Customer Satisfaction from the managerial perspective of PTCL employees (CRM users) to check the CRM is increasing customer satisfaction through this study. The research is quantitative bases in which the research is conducted through primary data received from questionnaire from the respondents of PTCL managerial level. Total population is included in the research since it was small population. Total 78 populations is forwarded online survey out of which 60 respondents submitted the questionnaire and research is the results of 60 respondents receive. The research is limited to Karachi bases due to having term paper report and it is also limited to respondent CRM users only and managerial level is only BPS – 17 and above is called managerial level as per definition of PTCL employees. The research finds that the customer satisfaction is increasing due to CRM factors of focusing key customers, organize around CRM, managing knowledge and incorporating CRM technology and results are contributing positively to this study where majority of CRM users and managerial level have either remarked with strongly agree and agree which is showing mean greater than 3.0. The study is followed by the research which is already conducted earlier and past research shows that it can further be extended for evaluating sales growth and customer retention.
Epithelial Cell Shedding and Barrier Function : A Matter of Life and Death at the Small Intestinal Villus Tip

The intestinal epithelium is a critical component of the gut barrier. Composed of a single layer of intestinal epithelial cells (IECs) held together by tight junctions, this delicate structure prevents the transfer of harmful microorganisms, antigens, and toxins from the gut lumen into the circulation. The equilibrium between the rate of apoptosis and shedding of senescent epithelial cells at the villus tip, and the generation of new cells in the crypt, is key to maintaining tissue homeostasis. However, in both localized and systemic inflammation, this balance may be disturbed as a result of pathological IEC shedding. Shedding of IECs from the epithelial monolayer may cause transient gaps or microerosions in the epithelial barrier, resulting in increased intestinal permeability. Although pathological IEC shedding has been observed in mouse models of inflammation and human intestinal conditions such as inflammatory bowel disease, understanding of the underlying mechanisms remains limited. This process may also be an important contributor to systemic and intestinal inflammatory diseases and gut barrier dysfunction in domestic animal species. This review aims to summarize current knowledge about intestinal epithelial cell shedding, its significance in gut barrier dysfunction and hostmicrobial interactions, and where research in this field is directed.
PAPER Cooperative GPGPU Scheduling for Consolidating Server Workloads ∗

Graphics processing units (GPUs) have become an attractive platform for general-purpose computing (GPGPU) in various domains. Making GPUs a time-multiplexing resource is a key to consolidating GPGPU applications (apps) in multi-tenant cloud platforms. However, advanced GPGPU apps pose a new challenge for consolidation. Such highly functional GPGPU apps, referred to as GPU eaters, can easily monopolize a shared GPU and starve collocated GPGPU apps. This paper presents GLoop, which is a software runtime that enables us to consolidate GPGPU apps including GPU eaters. GLoop offers an event-driven programming model, which allows GLoop-based apps to inherit the GPU eaters’ high functionality while proportionally scheduling them on a shared GPU in an isolated manner. We implemented a prototype of GLoop and ported eight GPU eaters on it. The experimental results demonstrate that our prototype successfully schedules the consolidated GPGPU apps on the basis of its scheduling policy and isolates resources among them. key words: GPGPU, cloud computing, operating systems
How In ! uential are Political Leaders ? 2 2 Three Paths to the Same Con ! ict : A Literature

How much in! uence do political leaders have on the likelihood of ethnic civil war? Two opposing theoretical positions exist: representatives of the elite manipulation theory argue that leaders incite ethno-nationalism to secure their own hold on power (Snyder 2000, Gagnon 2004). However, political leaders rarely have both the ability and the ideal environment to manipulate identities (Brubaker 1998). Instead, structural forces such as the ethnic security dilemma could be the driving force behind con! ict onset (Posen 1993), leaving elites virtually without in! uence on the probability of civil-war onset. "e present study uses large-N regression analysis to test these two theories and a hybrid alternative focussing on two problematic factors inherent to democratization settings: the need to settle the demos question and the ongoing competition between incumbent and challenging political leaders. Results con#rm that ongoing democratization phases, processes of elite selection and the prior existence of security worries caused by politicized ethnic divisions all have a signi#cant in! uence on the risk of civil war. * Paper prepared for presentation at the workshop “Democratization and Con! ict”, Zurich, Switzerland, October 2, 2009. "e author would like to thank Lars-Erik Cederman, Kristian Skrede Gleditsch, Arman Grigorian, Jochen Hippler, Simon Hug, Judith Vorrath, Hugh Ward and Andreas Wenger, as well as the participants of the Maastricht Graduate School of Governance Seminar Series (Netherlands) and the doctoral school NCCR “Challenges to Democracy in the 21st Century” (Switzerland) for their helpful comments. Naturally, I remain responsible for any mistakes still present. "is article is based on research done in the project “Democratizing Divided Societies in Bad Neighborhoods” within the Swiss NCCR “Challenges to Democracy in the 21st Century”. Financial support by the Swiss National Science Foundation is gratefully acknowledged. How In! uential are Political Leaders? 1
Parallel Solution Of Implicit Numerical Scheme For Open Channel Flow Equations

Open channel flow equations are solved by implicit numerical scheme. Implicit numerical scheme requires considerable computational effort consequent upon the need to solve block tridiagonal system of equations per each time step, and thus parallel solution is employed. Research on different linear solvers has become increasingly complex, and this trend is likely to accentuate because of the growing need to design efficient sparse matrix algorithms for modern parallel computers.
Reconceptualizing the community of inquiry model : Exploratory and confirmatory analysis

Constructs that require significant additional conceptualization within the community of inquiry model for online learning include the selfand co-regulatory processes students bring to online learning. This paper extends previous efforts to advance the CoI model by addressing this gap empirically. Quantitative content analysis and social network analysis were used with online discussion transcripts to identify qualities of the discourse in student led activities. The analysis focused on the three original presences of the model (social, teaching, and cognitive presences) and learning presence, a recent addition to the model. First, frequencies of all four presences were calculated to quantify patterns in online discussions. Next, correlations were computed to investigate which presences correspond with the modes of critical thinking described in cognitive presence. Finally, students’ positions of influence and prestige were analyzed in relation to their expressions of the four forms of presence. Findings raise questions the model’s current scope and point toward its reconceptualization.
Labial harmony in Turkic and Tungusic languages : An elemental approach 1

The goal of this paper is to offer a comprehensive account of the conditions under which labial harmony (LH) occurs in Turkic and Tungusic languages. Working within Radical cv Phonology (van der Hulst 2005, 2012), I argue that LH is often subject to two types of further requirements, stated in terms of additional licensing relations. Radical cv Phonology uses a limited set of elements that can be involved in such licensing, resulting in a restricted typology of LH. I also propose a difference between lexically invariable elements, which are always visible, and elements derived by harmony, which become visible in cycles. Crucially, elements derived by LH do not have access to elements derived by tongue root harmony (TRH), accounting for the lack of LH in high vowels in TRH systems. The structure of the paper is as follows. In section 2, I introduce the Turkic and Tungusic languages data that are the main focus of the paper.1 Section 3 introduces the model that this paper is couched in, Radical cv Phonology (Van der Hulst 2005, 2012), and how vowel harmony is modelled. In section 4, I analyse the data from the Turkic languages, discussing the two types of additional licensing relations that LH is often subject to: bridge licensing and asymmetric licensing. Here, I also discuss the restricted typology of LH that follows from the theoretical assumptions adopted in this 1It should be noted that I focus on root-suffix alternations and largely ignore root-internal vowel harmony (see Harrison & Kaun 2001, Nevins 2010 for root-internal harmony). Also, in most languages vowel harmony is not absolute in the sense that there are invariable suffixes of both harmonic classes. In addition, in some languages vowel length plays a role in LH; however, this falls outside the scope of this paper and I only consider (short) vowels here (see Author in prep for the role of vowel length on LH triggers; see also Walker 2001). Finally, consonant-vowel interactions are not considered here. None of these issues bear on the argument developed here.
Memory benchmarking characterisation of ARM-based SoCs

Computational intensity is traditionally the focus of large-scale computing system designs, generally leaving such designs ill-equipped to efficiently handle throughput-oriented workloads. In addition, cost and energy consumption considerations for large-scale computing systems in general remain a source of concern. A potential solution involves using low-cost, low-power ARM processors in large arrays in a manner which provides massive parallelisation and high rates of data throughput (relative to existing large-scale computing designs). Giving greater priority to both throughput-rate and cost considerations increases the relevance of primary memory performance and design optimisations to overall system performance. Using several primary memory performance benchmarks to evaluate various aspects of RAM and cache performance, we provide characterisations of the performances of four different models of ARM-based system-on-chip, namely the Cortex-A9, Cortex-A7, Cortex-A15 r3p2 and Cortex-A15 r3p3. We then discuss the relevance of these results to high volume computing and the potential for ARM processors.
On the relationship between the retrieval of information and learning : the influence of deep processing

This study investigates the relationship between learning and the retrieval of information. In particular, the influence of deep learning in contrast to shallow learning on this relationship is considered. A sample of 183 university students completed a retrieval task (Posner’s Task) as well as tasks tapping associative and complex learning. All tasks were designed to include several treatment levels that enable the separation of the effects of retrieval and learning processes respectively from the effects of auxiliary processes, as for example, perceptual and motor processes that are necessary for completing a task. Results showed that there were substantial relationships between retrieval and complex learning (r = .56) and also associative learning (r = .34). The relationship due to complex learning showing characteristics of deep learning proved to be substantially larger than the relationship attributed to shallow learning.
Real-Time Hybrid Hair Rendering

Rendering hair is a challenging problem for real-time applications. Besides complex shading, the sheer amount of it poses a lot of problems, as a human scalp can have over 100,000 strands of hair, with animal fur often surpassing a million. For rendering, both strand-based and volume-based techniques have been used, but usually in isolation. In this work, we present a complete hair rendering solution based on a hybrid approach. The solution requires no pre-processing, making it a drop-in replacement, that combines the best of strand-based and volume-based rendering. Our approach uses this volume not only as a level-of-detail representation that is raymarched directly, but also to simulate global effects, like shadows and ambient occlusion in real-time.
Consistency Improvisation in MongoDB during Lag on secondary

: Replication lag in Mongo database is serious problem in replication environment if the reporting is done through secondary server, In replication environment the read only query can be routed to secondary server, however if there is huge lag then it can result into inconsistent data. In the current version this issue has not been addressed, In the proposed system, an attempt has been made to overcome with this problem. Before execution of query the session should verify the lag, if the lag is beyond the specified limit then the query should be re-routed back to primary. This is possible through continuous short messaging between primary and secondary. The metadata about the lag can send through the messaging, upon reading message the secondary server should re-direct the query to primary server.
Dual-mode RFID tag antenna on flexible silk

This paper presents a miniaturized implantable RFID tag antenna wrapped in flexible silk and applied in 920–928 MHz Industrial, Scientific, and Medical (ISM) band. A meandered tag antenna geometry is fed by a nested slot, where an RFID tag chip lies. The purpose of usage of flexible silk material is not only to avoid injection when being implanted (under-skin mode), but also to conduct another working mode, i.e. sticking to human body (on-skin mode). The band width of under-skin working mode is 280 MHz at 913 MHz, while reflection parameter is below −13.5 dB within ISM band in on-skin working mode. Finally, the antenna matching performance is verified by adding a body-tissue phantom into simulation.
Semantic Diversity by Phonetics : Towards Accurate and Robust Machine Translation

Neural Machine Translation (NMT) learns from examples, and thus often lacks robustness against noise. Previous work has shown that integrating noise into the training process is effective at improving such robustness, but this solution can be inefficient due to the exponential number of string perturbations, i.e., exponential in the number of words or characters. To robustify the translation input, we treat human phonetic interaction throughout history as a pre-compiled computational device. This device implements a many-to-one function that converts text into phonetics. To the best of our knowledge, we are the first in Machine Translation, to apply the phonetic algorithms Soundex, NYSIIS, and MetaPhone to foreign word/character sequences. We also apply another linguistic representation, the logogram inference, Wubi, for Chinese. To explain why phonetic encodings improve NMT, we introduce, quantify, and empirically verify our hypothesis: “one phonetic representation usually corresponds to words that are semantically diverse. ” Driven by our hypothesis, we simulate this “natural” phonetic device and introduce an artificial method called random clustering. We achieved significant and consistent improvements overall language pairs and datasets we experimented with: French-English, GermanEnglish, and Chinese-English in IWSLT’17, with up to nearly 2 BLEU points over the stateof-the-art. Moreover, our approaches are more robust than baselines when evaluated on unknown noisy or out-of-domain test sets, with up to about 5 BLEU point increase. Upon acceptance, all software source code and experiments will be available as Open Source.
A Comparison of El Gamal and Paillier Cryptosystems

This paper will examine the concepts behind both the El Gamal and Paillier style of public key cryptography. I will compare and contrast the size and complexity of both algorithms. I will focus on Pailliers method of encryption, in particular, its additive homomorphism and the benefits this style can bring to practice. 1 El Gamal Encryption The discrete exponential function is the basis of El Gamal’s cryptosystem: Exp:Zp−1 → Z∗ p , x→g There is no efficient algorithm for computing the inverse function, that is computing x given y = g. This is called the discrete logarithm assumption. The encryption scheme is described as such: Key Generation: 1. Choose a large prime p 2. Choose a random x ∈ Z∗ p 3. Pick a generator g ∈ Z∗ p 4. Compute y = g mod p The public key of this encryption is (p, g, y) and x is kept as the secret key.
The Distribution of Risk and the Great Recession : Old Problems , New Crises

This paper explores the central institutional and regulatory changes in U.S. mortgage nance that contributed to the historic loss of wealth during the Great Recession and aftermath. To do so, I will trace the developments which transformed mortgages from nancial instruments which shielded borrowers and savers from risk, to concentrating risk on those least able to bear it. In exploring these changes, we will nd that a consistent theme of the history of mortgage nance in the United States is that the risk-bearing capacity for private nancial intermediaries is both costly and limited. When this capacity becomes stressed due to rapid growth, competitive pressures, or other economic conditions, there is a persistent tendency to redistribute risk towards end users of the system borrowers and savers often with severe consequences. The central argument that I will develop in this paper is that stable mortgage nance on a widespread basis in the United States has always depended on direct public intervention, rather than occurring as the result of the unregulated market equilibirum. This stable form of lending was supported by a particular regulatory structure dating to the New Deal era, and ∗Assistant Professor, Department of Economics, Loyola Marymount University. Email: thomas.herndon@lmu.edu.
Gamification Elements in STEM Subjects Lessons Learned from NEWTON Project

Gamification whereby game mechanics are integrated into a non-game experience, such as a learning experience has a positive effect on engagement. STEM education is not currently taking full advantage of the possibilities offered by the implementation of gamification into science lessons. More worryingly, Europe is facing a shortage of scientists in the future, as students are disengaging from STEM subjects, finding them difficult and irrelevant. Science teaching has not caught up with the millennials, who by nature are digital natives, having grown up in an age of technological advancements and video games. While there are many ways to include gamification into education, the implementations made must be genuinely beneficial, and not only changes for the sake of changes. Here, we present the results of a gamification survey, carried out as part of the NEWTON H2020 Project, and discuss the most useful aspects of gamification mechanisms.