Miracle-dz/UniFAR-FTUs huggingface dataset:
Context-Based IDE Command Recommender System

Software developer's working process could benefit from the support of an active help system that is able to recommend applicable and useful integrated development environment (IDE) commands. While previous work focused on prediction methods that can identify what developers will eventually discover autonomously, and without taking into account the characteristics of their working tasks, we want to build a system that recommends only commands that lead to better work performance. Since we cannot expect that developers are willing to invest a significant effort to use our recommender system (RS), we are developing a context-aware multi-criteria RS based on implicit feedback. We already created and evaluated context and user models. We also acquired a data set with more than 100,000 command executions. Currently, we are developing RS algorithm for predicting the scores of performance and effort expectancy and developer's intention to use a specific command. We are also developing a user interface, that has to be persuasive, effective, and efficient. To date, a user interface for IDE command RS has not been developed.
Control of a DC Servomotor Using Fuzzy Logic Sliding Mode Model Following Controller

A DC servomotor position control system using a Fuzzy Logic Sliding mode Model Following Control or FLSMFC approach is presented. The FLSMFC structure consists of an integrator and variable structure system. The integral control is introduced into it in order to eliminated steady state error due to step and ramp command inputs and improve control precision, while the fuzzy control would maintain the insensitivity to parameter variation and disturbances. The FLSMFC strategy is implemented and applied to a position control of a DC servomotor drives. Experimental results indicated that FLSMFC system performance with respect to the sensitivity to parameter variations is greatly reduced. Also, excellent control effects and avoids the chattering phenomenon. Keywords—Sliding mode Model Following Control, Fuzzy Logic, DC Servomotor.
Harnessing the Power of GPUs without Losing Abstractions in SAC and ArrayOL: A Comparative Study

Over recent years, using Graphics Processing Units (GPUs) has become as an effective method for increasing the performance of many applications. However, these performance benefits from GPUs come at a price. Firstly extensive programming expertise and intimate knowledge of the underlying hardware are essential for gaining good speedups. Secondly, the expressibility of GPU-based programs are not powerful enough to retain the high-level abstractions of the solutions. Although the programming experience has been significantly improved by existing frameworks like CUDA and OpenCL, it is still a challenge to effectively utilise these devices while still retaining the programming abstractions. To this end, performing a source-to-source transformation, whereby a high-level language is mapped to CUDA or OpenCL, is an attractive option. In particular, it enables one to retain high-level abstractions and to harness the power of GPUs without any expertise on the GPGPU programming. In this paper, we compare and analyse two such schemes. One of them is a transformation mechanism for mapping a image/signal processing domain-specific language, ArrayOL, to OpenCL. The other one is a transformation route for mapping a high-level general purpose array processing language, Single Assignment C (SaC) to CUDA. Using a real-world image processing application as a running example, we demonstrate that albeit the fact of being general purpose, the array processing language be used to specify complex array access patterns generically. Performance of the generated CUDA code is comparable to the OpenCL code created from domain-specific language.
Cross-disciplinary perspectives on meta-learning for algorithm selection

The algorithm selection problem [Rice 1976] seeks to answer the question: Which algorithm is likely to perform best for my problem? Recognizing the problem as a learning task in the early 1990's, the machine learning community has developed the field of meta-learning, focused on learning about learning algorithm performance on classification problems. But there has been only limited generalization of these ideas beyond classification, and many related attempts have been made in other disciplines (such as AI and operations research) to tackle the algorithm selection problem in different ways, introducing different terminology, and overlooking the similarities of approaches. In this sense, there is much to be gained from a greater awareness of developments in meta-learning, and how these ideas can be generalized to learn about the behaviors of other (nonlearning) algorithms. In this article we present a unified framework for considering the algorithm selection problem as a learning problem, and use this framework to tie together the crossdisciplinary developments in tackling the algorithm selection problem. We discuss the generalization of meta-learning concepts to algorithms focused on tasks including sorting, forecasting, constraint satisfaction, and optimization, and the extension of these ideas to bioinformatics, cryptography, and other fields.
The Behavior of Interperiod Equity-Related Performance Measures Over Time

Although the goal of government is to maintain or improve citizens' well-being, govern­mental commitments are subject to fiscal constraints. Given constraints on resources, governments need to "live within their means" (GASB 1987, para. 59). Concepts Statement No. 1 (GASB 1987, para. 61) discusses the notion of interperiod equity (IPE), i.e., whether "current year revenues are sufficient to pay for the services provided that year. " From a financial reporting perspective, the Board believes that the appropriate concept is that of "yearly balance" and that services rendered during the current year should be paid for by revenues raised during that year. The public economics literature (e.g., Aguilar et al. 1991; Mattoon and Testa 1991) suggests that the time horizon of public officials is longer than a single fiscal year and that taxes and spending are smoothed over a multi-period time frame. This literature indicates it would be unrealistic for govern­ mental revenues and expenditures to be balanced each and every year. Despite the potentially wide disparity between a one-year and a multi-year budgeting perspective for governments, we are not aware of any extant research on the issue. This paper provides an empirical analysis of three interperiod equity-related performance measures for 40 large cities over a 35-year period in order to examine which budgeting perspective seems, in fact, to exist. We use a partial adjustment model under the hypothesis that cities' performance measures tend to move toward governmental norms in a manner similar to Lev's (1969) findings for businesses. Our empirical results (1) are consistent with a multi-year budgeting horizon, (2) provide bench­ marks for each of the three performance measures against which users of financial statements can compare governmental results, and (3} suggest that the speed of adjustment toward governmental norms (which varies across cities) could be useful to users of financial statements as a measure of a government's capacity to adapt and adjust to changing economic circumstances.
An Approach for Solving the Multi-product Newsboy Problem

We propose a solution methodology for the multi-product newsboy model with constraints that is based on quadratic programming and a triangular presentation of the area under the cumulative probability distribution function of the demand. The methodology allows easier application of this important inventory control model that could be of particular interest in supply chain management as well as in offering a portable means to pedagogy in this field.
Please Scroll down for Article Journal of New Music Research Social Tagging and Music Information Retrieval Social Tagging and Music Information Retrieval

This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused arising directly or indirectly in connection with or arising out of the use of this material. Abstract Social tags are free text labels that are applied to items such as artists, albums and songs. Captured in these tags is a great deal of information that is highly relevant to Music Information Retrieval (MIR) researchers including information about genre, mood, instrumentation, and quality. Unfortunately there is also a great deal of irrelevant information and noise in the tags. Imperfect as they may be, social tags are a source of human-generated contextual knowledge about music that may become an essential part of the solution to many MIR problems. In this article, we describe the state of the art in commercial and research social tagging systems for music. We describe how tags are collected and used in current systems. We explore some of the issues that are encountered when using tags, and we suggest possible areas of exploration for future research.
Pilot Study: REM Quality, Dream Recall and Sleep-maintenance in Patients with PCA stokes

Based on the dopaminergic theory of dreaming it was proposed that dream loss would be related to disturbed sleep. This pilot study explored whether changes in rapid eye movement (REM) sleep quality and quantity were related to dream loss in stroke patients. As dream recall is reported most frequently from REM sleep, this portion of sleep was the focus of this study. It was predicted that dream loss would lead to reduced REM sleep quality and quantity. Polysomnographic (PSG) recordings were obtained for two consecutive nights in the sleep laboratory at the Cape Sleep Centre for patients who ceased to dream following thrombotic infarctions in the posterior cerebral artery (PCA) territory with corresponding occipital lesions. In addition, PSG recordings were completed for patients with the same neuropathology who continued to dream. All patients were selected by referral from neurological specialists at Gatesville Medical Centre, Cape Town. Accordingly, the sample size for the pilot study was dependent on the availability of patients with the correct lesions. Multiple measures of REM sleep quality and quantity, as well as general sleep efficiency, for dreaming (n= 4), non-dreaming (n=5), and recovered-dreaming patients (n=3) were described. Trends emerged in the pilot data that suggest that dream loss is related to reduced REM quality and quantity. The implications of these results for the dopaminergic hypothesis of dreaming are discussed. Furthermore, the benefits of conducting a main study to test the sleep protection hypothesis of dreaming are discussed as well.
Automatically generating and adapting model constraints to support co-evolution of design models

Design models must abide by constraints that can come from diverse sources, like their metamodels, requirements, or the problem domain. Software modelers expect these constraints to be enforced on their models and receive instant error feedback if they fail. This works well when constraints are stable. However, constraints may evolve much like their models do. This evolution demands efficient constraint adaptation mechanisms to ensure that models are always validated against the correct constraints. In this paper, we present an idea based on constraint templates that tackles this evolution scenario by automatically generating and updating constraints.
Application of Hybrid PSO and LS-SVR Intelligent Recognition of Dual Linear Axis Dynamic Synchronization Error Characteristics

The synchronization error of feed axis has direct relation with contour error in interpolation motions. Recognition of synchronization error of dual linear motor driven axis with gantry frame has an important role in compensating the error to avoid the effect of contour precision. In the contribution, a combination of Particle Swarm Optimization (PSO) algorithm and Least Squares Support Vector Regression (LS-SVR) machine technique for intelligent recognition of dynamic synchronization error in dual linear axis feed process is presented. The 2d-time function of laser interferometer is applied in acquisition of the dynamic synchronization error data as recognition learning patterns. In recognition of various error characteristics during different process in the feed motion, dual important parameters of LS-SVR, support vector number and error punishment factor, are tuned with PSO in an intelligent way. To demonstrate the procedure of the proposed approach, an illustration is discussed in detail. The result shows that the combination technique can decrease support number 38.5% and effectively recognize the characteristics with 9. 04μm error under 40m/min feed rate motion condition.
The Distribution of the Sample Minimum-Variance Frontier

In this paper, we present a finite sample analysis of the sample minimum-variance frontier under the assumption that the returns are independent and multivariate normally distributed. We show that the sample minimum-variance frontier is a highly biased estimator of the population frontier, and we propose an improved estimator of the population frontier. In addition, we provide the exact distribution of the out-of-sample mean and variance of sample minimum-variance portfolios. This allows us to understand the impact of estimation error on the performance of in-sample optimal portfolios.
Power efficient routing algorithm for 3D video transmission in bandwidth-limited and radio-limited wireless networks

3D transmission is a new and challenging research issue in wireless network. Basically, 3D video stream is composed of multiple 2D video streams to create 3D viewing experience at the receiver. As compared to the 2D video stream, 3D video stream requires significant bandwidth requirements. However, in wireless networks, due to the limited frequency spectrum, it is difficult to transmit the full 3D video stream in one channel. One solution is to traffic bifurcation. By bifurcating the 3D video into multiple 2D video streams and transmitting each 2D video stream in separate routing path. Then the 3D video could be combined and reconstructed at the destination node. However, with this traffic bifurcation scheme, the relay nodes on different routing path might need to cooperate on the modulation scheme and transmission power so that the destination node could get the same video quality to successfully reconstruct the 3D video. In addition, with this traffic bifurcation scheme, the routing decision needs to consider the radio resource on each node because each node on the routing paths might transmit/receive multiple 2D video streams. Besides frequency spectrum and radio resource, another key performance measure is power consumption due to most of the nodes are battery driven in wireless networks. This problem is a challenging cross-layer design problem that includes the SNR-aware power control in the physical layer, cooperative routing in the network layer and video quality aware in the application layer to deliver the 3D video in power efficient way without violating the frequency spectrum and radio resource constraint. I propose a novel IVIP heuristic to tackle this problem. According to the computational experiments, the proposed IVIP heuristic outperforms other heuristics under all tested cases.
Post-Zeroizing Obfuscation: The case of Evasive Circuits

Recent devastating attacks by Cheon et al. [Eurocrypt’15] and others have highlighted significant gaps in our intuition about security in candidate multilinear map schemes, and in candidate obfuscators that use them. The new attacks, and some that were previously known, are typically called “zeroizing” attacks because they all crucially rely on the ability of the adversary to create encodings of 0. In this work, we initiate the study of post-zeroizing obfuscation, and we present a construction for the special case of evasive functions. We show that our obfuscator survives all known attacks on the underlying multilinear maps, by proving that no encodings of 0 can be created by a generic-model adversary. Previous obfuscators (for both evasive and general functions) were either analyzed in a less-conservative “pre-zeroizing” model that does not capture recent attacks, or were proved secure relative to assumptions that are now known to be false. To prove security, we introduce a new technique for analyzing polynomials over multilinear map encodings. This technique shows that the types of encodings an adversary can create are much more restricted than was previously known, and is a crucial step toward achieving postzeroizing security. We also believe the technique is of independent interest, as it yields efficiency improvements for existing schemes. This paper subsumes a previous work of Sahai and Zhandry [SZ14]. Supported in part by a DARPA/ONR PROCEED award, NSF grants 1228984, 1136174, 1118096, 1065276,0916574 and 0830803, a Xerox Faculty Research Award, a Google Faculty Research Award, an equipment grant from Intel, and an Okawa Foundation Research Grant. This material is based upon work supported by the Defense Advanced Research Projects Agency through the U.S. Office of Naval Research under Contract N00014-11-10389. The views expressed are those of the author and do not reflect the official policy or position of the Department of Defense, the National Science Foundation, or the U.S. Government.
PARTICIPATION UNDER UNCERTAINTY

This essay reviews a number of theoretical perspectives about uncertainty and participation in the present-day knowledge-based society. After discussing the on-going reconfigurations of science, technology and society, we examine how appropriate for policy studies are various theories of social complexity. Post-normal science is such an example of a complexity-motivated approach, which justifies civic participation as a policy response to an increasing uncertainty. But there are different categories and models of uncertainties implying a variety of configuration s of policy processes. A particular role in all of them is played by expertise whose democratization is an often-claimed imperative nowadays. Moreover, we discuss how different participatory arrangements are shaped into instruments of policy - making and framing regulatory processes. As participation necessitates and triggers deliberation, we proceed to examine the role and the barriers of deliberativeness. Finally, we conclude by referring to some critical views about the ultimate assumptions of recent European policy frameworks and the conceptions of civic participation and politicization that they invoke.
The Role of Corporate Image in Mediating the Effect of Service Quality on Buying Decision for a Retail Outlet in Bali

Purchase decision is a decision to choose one from two or more alternative options. It can be assumed that all behaviors are deliberately based on the desire that are produced when consumers consciously and rationally choose one of the alternative actions. This study was conducted in Hardyâ€™s Retailindo, Sanur Branch. The sample included 100 respondents. The techniques of data collection were through observation, interviews, and questionnaire. The techniques of data analysis were through a validity test, reliability test, path analysis, and Sobel test. The results of this study showed that service quality has a significant effect on the purchase decision in Hardyâ€™s Retailindo, Sanur Branch. The level of significance for service quality on the purchase decision is 0.000 is lower than 0.05. Moreover, the service quality also had a significant impact on the corporate image for the retail outlet that was examined in this paper. Another significant effect was established between service quality and purchase decision. All hypotheses displayed levels of significance lower than 0.05. This paper also aimed to explore the mediation role of corporate image in the â€˜services qualityâ€™ â€“ â€˜purchase decisionâ€™ relationship.
Managing Intellectual Capital

OVERVIEW: Loss of intellectual capital (IC) is one of the major risks companies can expect to encounter while doing business in a global economy, especially in locales with less-developed respect for intellectual property rights laws. Intellectual capital has ascertainable monetary value, provides a firm with a competitive edge, and enables it to differentiate itself from its competitors. To protect this asset, it is recommended that an IC management strategy be developed utilizing a life cycle approach and implemented prior to conducting business in high-risk parts of the world. The strategy needs to be consistent with the overall corporate strategy, an integral part of the business plan, and adaptable to the organizational complexity associated with multinational companies.
A Model-Based Reference Workflow for the Development of Safety-Critical Software

Model-based software development is increasingly being used to develop software for electronic control units (ECUs). The automatic conversion of models into program code for ECUs plays a major role in this because it ensures efficient implementation, providing considerable savings potential and short development cycles. This paper introduces a model-based reference workflow for the development of safety-critical software conforming to relevant safety-standards such as IEC 61508 and ISO 26262. The reference workflow provides guidance for meeting the safety requirements to develop software up to and including SIL 3 and/or ASIL D. Furthermore the paper shows how such a reference workflow can help address the issue of software tool qualification.
BLMP-1/Blimp-1 Regulates the Spatiotemporal Cell Migration Pattern in C. elegans

Spatiotemporal regulation of cell migration is crucial for animal development and organogenesis. Compared to spatial signals, little is known about temporal signals and the mechanisms integrating the two. In the Caenorhabditis elegans hermaphrodite, the stereotyped migration pattern of two somatic distal tip cells (DTCs) is responsible for shaping the gonad. Guidance receptor UNC-5 is necessary for the dorsalward migration of DTCs. We found that BLMP-1, similar to the mammalian zinc finger transcription repressor Blimp-1/PRDI-BF1, prevents precocious dorsalward turning by inhibiting precocious unc-5 transcription and is only expressed in DTCs before they make the dorsalward turn. Constitutive expression of blmp-1 when BLMP-1 would normally disappear delays unc-5 transcription and causes turn retardation, demonstrating the functional significance of blmp-1 down-regulation. Correct timing of BLMP-1 down-regulation is redundantly regulated by heterochronic genes daf-12, lin-29, and dre-1, which regulate the temporal fates of various tissues. DAF-12, a steroid hormone receptor, and LIN-29, a zinc finger transcription factor, repress blmp-1 transcription, while DRE-1, the F-Box protein of an SCF ubiquitin ligase complex, binds to BLMP-1 and promotes its degradation. We have therefore identified a gene circuit that integrates the temporal and spatial signals and coordinates with overall development of the organism to direct cell migration during organogenesis. The tumor suppressor gene product FBXO11 (human DRE-1 ortholog) also binds to PRDI-BF1 in human cell cultures. Our data suggest evolutionary conservation of these interactions and underscore the importance of DRE-1/FBXO11-mediated BLMP-1/PRDI-BF1 degradation in cellular state transitions during metazoan development.