Miracle-dz/UniFAR-FTUs huggingface dataset:
Value profiling

Identifying variables as invariant or constant at compile-time allows the compiler to perform optimizations including constant folding, code specialization, and partial evaluation. Some variables, which cannot be labeled as constants, may exhibit semi-invariant behavior. A semi-invariant variable is one that cannot be identified as a constant at compile-time, but has a high degree of invariant behavior at run-time. If run-time information was available to identify these variables as semi-invariant, they could then benefit from invariant-based compiler optimizations. We examine the invariance found from profiling instruction values, and show that many instructions have semi-invariant values even across different inputs. We also investigate the ability to estimate the invariance for all instructions in a program from only profiling load instructions. In addition, we propose a new type of profiling called convergent profiling. Estimating the invariance from loads and convergent profiling are used to reduce the profiling time needed to generate an accurate value profile. The value profile can then be used to automatically guide code generation for dynamic compilation, adaptive execution, code specialization, partial evaluation and other compiler optimizations.
Robust Backstepping Control of Robot Manipulator in Task Space with Uncertainties in Kinematics and Dynamics

This paper introduces a novel robust control approach for trajectory tracking of robot manipulator in task space. A new task space control scheme is proposed to overcome the uncertainties in robot dynamics and kinematics. A robust controller is designed based on Lyapunov method, using backstepping method. It is then proven that the closed loop system has global uniform ultimate boundedness stability. Modifications are given to derive a control law which is free of position and velocity of end-effector. The control approach is applied on a two-links elbow robot manipulator. The performance of proposed control laws are confirmed by simulations. Ill. 8, bibl. 13, tabl. 1 (in English; abstracts in English, Russian and Lithuanian).
Addressing Hadoop's Small File Problem With an Appendable Archive File Format

Hadoop has been used widely for data analytic tasks in various domains. At the same time, data volume is expected to grow even further in the next years. Hadoop recently introduced the concept Archival Storage, an automated tiered storage technique for increasing storage capacity for long-term storage. However, Hadoop Distributed File System's scalability is limited by the total number of files that can be stored, and it is likely that the number of files increases fast when using it for archival purposes. This paper presents an approach for improving HDFS' scalability when using it as an archival storage. We present a tool that extends Hadoop Archive to an appendable file format. New files are appended to one of the existing archive data files efficiently without rewriting the whole archive. Therefore, a first fit algorithm is used to fill up the often not fully utilized fixed-sized data blocks of the archive data files. Index files are updated using a red-black tree providing guaranteed fast lookup and insert performance. We show that the tool performs well for different sizes of archives and number of files to add. By distributing new files efficiently, we also reduce the number of data blocks needed for archiving and, thus, reduce the memory footprint on the NameNode.
Tresorium: Cryptographic File System for Dynamic Groups over Untrusted Cloud Storage

In this paper, we present Tresorium, a cryptographic file system designed for cloud based data storage. In Tresorium, files are encrypted before they are uploaded to the cloud storage providers, therefore, not even the cloud storage providers can access the users' data. Yet, Tresorium allows the sharing files within a group of users by using an underlying group key agreement protocol. A key feature of Tresorium is that it handles changes in group membership and modification of files in an extremely efficient manner, thanks to the usage of so called key-lock-boxes and a lazy re-encryption approach. Finally, Tresorium supports an ACL-like abstraction, so it is easy to use. We describe Tresorium, and analyze its security and performance. We also present some simulation results that clearly show the efficiency of the proposed system.
Polyamide 66 Polymorphic Single Polymer Composites

Exploring the polymorphism phenomenon of polyamide 66 (PA 66) a single polymer composite (SPC) was prepared. The matrix was obtained via compression molding and quenching in ice water expecting to comprise the modi- fication with lower melting temperature (Tm). The reinforcement was commercial textile yarn of PA 66, characterized by a higher Tm. Layers of the yarn were sandwiched between matrix films and compression molded at 250 °C, i.e. 10 °C below Tm of the reinforcement. SEM observations revealed the layered structure of SPC as well as a good adhesion between the composite components due to surface premelting. The tensile testing showed, as compared with the matrix, an increase of the initial modulus by 28% and of the tensile strength by 160% when the reinforcing component of the SPC amounted to only 20 wt%. Optimization of the preparation conditions, including variation of the matrix/reinforcement ratio as well as trialing of other polyamides, is in progress.
Relational constructions on semiconcept graphs

The aim of the paper is to develop a logic of relations on semiconcept graphs corresponding to the Contextual Logic of Relations on power context families. Semiconcept graphs allow the representation of negations. The operations from Peircean Algebraic Logic (i.e., the operations of relation algebras of power context families) are used to generate compound semiconcepts (or relations, resp.). For an arbitrary (semi-)concept graph, most specific semiconcept graphs are constructed where a compound semiconcept is assigned to each of the edges, i.e. compound semiconcepts are constructed directly on semiconcept graphs independent of the corresponding power context family.
Cultured Nerve Cell Networks as Biosensor using Artificial Neural Nets

Mammalian neural networks grown on microelectrode arrays represent transducers that respond to changes in their chemical environment. Their response profile to a great variety of neuroactive compounds is often substance- and concentration-specific and might be used as a biosensor for the detection of a variety of chemical substances. Employing appropriate data processing and analysis, these biological systems may potentially be used for certain sensory tasks as cellular biosensors. In this paper, the concentration dependent response of the network for strychnine and N-methyl-D-aspartic acid (NMDA) are explored, using artificial neural nets (ANN). The recorded data has been investigated using Backpropagation nets as well as Kohonen’s self-organizing map (SOM). Using the information containing within the trained Backpropagation net, FAGNIS (Fuzzy Automatically Generated Neural Inferred System) was applied to obtain fuzzy rules of the system.
Incidence of diabetes in American Indians of three geographic areas: the Strong Heart Study.

OBJECTIVE To estimate incidence rates of diabetes and associated risk factors among participants of the Strong Heart Study. RESEARCH DESIGN AND METHODS Of the 4,549 Strong Heart Study participants examined at baseline, 3,638 returned for a similar examination after an average of 4 years. The 1985 World Health Organization criteria for diabetes were used to identify new diabetes cases. Rates of diabetes among participants who did not have diabetes at baseline examination were determined. The relationships between the incidence rates of diabetes and a number of risk factors measured at baseline examination were studied. RESULTS Significant variables associated with the development of diabetes included triglycerides, obesity, fasting plasma glucose, insulin, and degree of American Indian blood among participants with NGT at baseline. For those with IGT at baseline, significant predictors included fasting plasma glucose, 2-h glucose, BMI, degree of American Indian blood, and albuminuria. CONCLUSIONS The high incidence rates found in this study were alarming. To slow down the rapid increase of this disease in the American Indian population, preventive programs must be designed and implemented. Patients with IGT should be treated with diabetes medication or put on a rigid weight-reduction program to reduce the risk of progression to diabetes.
Computer Experience, School Support, and Computer Anxiety

Past research has shown computer anxiety to be present in a sizeable minority of school teachers, and has identified some of the personal and school‐based correlates of this anxiety. Before effective interventions can be introduced, however, more needs to be known of the various forms and sources of this problem. The current study involved a survey of the experiences, attitudes and anxieties of a random sample of 350 Australian primary and secondary school teachers. Levels of self‐rated computing competence among these teachers were moderately low. Computing competence and anxiety were highly correlated, r= ‐ 0.78. Three distinctive types of computer anxiety were identified, as was a set of factors predictive of each. As hypothesised, computer anxieties were inversely related to the quality of prior computer learning experiences, and to the extent of current school support for computer usage. Implications for the reduction of computer anxiety among teachers are discussed.
The Role of Impulse Control Disorders in Assessing Criminal Responsibility: Medico-Legal Perspectives from South Africa

The role of impulse control disorders on criminal responsibility is currently a controversial issue. With the advent of the DSM-5 various questions arise which specifically relate to the nature and impact of impulse control disorders on criminal responsibility. Further anomalies, in addition, relate to the differences between the classification of impulse control disorders in the DSM-IV-TR as opposed to the recent DSM-5. To date the issue of impulse control disorders has only been addressed in limited criminal case law in South Africa and indicates that courts generally view these disorders as mitigating factors during the sentencing procedure. The focus of this contribution will be to revisit the diagnostic framework for impulse control disorders with specific reference to the criteria provided for in the DSM-5 in order to assess its applicability to a finding of diminished criminal responsibility as provided for in section 78(7) the Criminal Procedure Act 51 of 1977, and whether it could in certain circumscribed circumstances fulfil the criteria for the defence of pathological criminal incapacity, or more commonly known as the insanity defence. The vital and essential role of the mental health expert within such context will be illustrated.
The allele‐specific synthetic lethality of prlA‐prlG double mutants predicts interactive domains of SecY and SecE.

The secretion of proteins from the cytoplasm of Escherichia coli requires the interaction of two integral inner membrane components, SecY and SecE. We have devised a genetic approach to probe the molecular nature of the SecY‐SecE interaction. Suppressor alleles of secY and secE, termed prlA and prlG, respectively, were analyzed in pair‐wise combinations for synthetic phenotypes. From a total of 115 combinations, we found only seven pairs of alleles that exhibit a synthetic defect when present in combination with one another. The phenotypes observed are not the result of additive defects caused by the prl alleles, nor are they the consequence of multiple suppressors functioning within the same strain. In all cases, the synthetic defect is recessive to wild‐type secY or secE provided in trans. The recessive nature argues for a defective interaction between the Prl suppressors. The extreme allele specificity and topological coincidence of the mutations represented by these seven pairs of alleles identify domains of interaction between SecY/PrlA and SecE/PrlG.
Genome-wide association analyses reveal complex genetic architecture underlying natural variation for flowering time in canola.

Optimum flowering time is the key to maximize canola production in order to meet global demand of vegetable oil, biodiesel and canola-meal. We reveal extensive variation in flowering time across diverse genotypes of canola under field, glasshouse and controlled environmental conditions. We conduct a genome-wide association study and identify 69 single nucleotide polymorphism (SNP) markers associated with flowering time, which are repeatedly detected across experiments. Several associated SNPs occur in clusters across the canola genome; seven of them were detected within 20 Kb regions of a priori candidate genes; FLOWERING LOCUS T, FRUITFUL, FLOWERING LOCUS C, CONSTANS, FRIGIDA, PHYTOCHROME B and an additional five SNPs were localized within 14 Kb of a previously identified quantitative trait loci for flowering time. Expression analyses showed that among FLC paralogs, BnFLC.A2 accounts for ~23% of natural variation in diverse accessions. Genome-wide association analysis for FLC expression levels mapped not only BnFLC.C2 but also other loci that contribute to variation in FLC expression. In addition to revealing the complex genetic architecture of flowering time variation, we demonstrate that the identified SNPs can be modelled to predict flowering time in diverse canola germplasm accurately and hence are suitable for genomic selection of adaptative traits in canola improvement programmes.
Passive aggressive personality disorder - behavioral pattern - two cases report

Passive aggressive (negativistic) personality disorder lost its position in three clusters of disordered personalities in DSM IV. This was due to controversies connected with dimensions, co-occurrences, and prevalence of this personality disorder in the general population. In clinical practice, this type of disturbed personality remains an important problem. In our practice, prevalence of this disordered personality or its features seems to be quite significant. Somatic disorders commonly diagnosed in patients with passive aggressive personality disorder are one of common methods of manipulation and should explain their negativistic approach that commonly veil the clinical symptoms of these patients. Common problems connected with the described personalities are abnormal structures of families commonly functioning without a father, as it was taken place in both described patients. Overprotective mothers were not able to establish the upbringing forms that could correct the disturbed development of the personality of the patients. They accepted parasiticclaiming way-of-life of their children. Moreover, in this case, the mother of described girl accepted inversion of their circadian rhythm and as a result functioning of the patient in the growing social isolation.
Promoting cooperation in multi agent systems through fuzzy social plasticity

In multi agent systems, agents are supposed to be aware of each other and need to cooperate with their neighboring agents in order to reach their objectives. However, there may be some selfish agents that reject cooperation due to the cost of performing the requested task, even while taking benefit from network resources and using intermediate agents to send their requests. The existence of these nodes cannot be ignored; and system efficiency can significantly deteriorate as the number of such nodes increases. Thus, a special mechanism is needed in order to confront them. Here, local structural update based on fuzzy social plasticity is proposed to persuade cooperative behavior. In this mechanism, relationships with non-cooperative agents are disconnected and the more cooperative ones, i.e. those with a trusting history for cooperation, and closer agents are preferred for the chain of relationship by a fuzzy logic heuristic. The proposed strategy intensifies cooperation by diminishing the impact of non-cooperation and reinforcing that of the cooperation. The strategy is evaluated on some random networks with different cooperation rates. Results confirm increased network cooperation, even when the majority of the agents are non-cooperative.
A comparison between plane wave and Gaussian-type orbital basis sets for hydrogen bonded systems: formic acid as a test case.

The formic acid molecule, its dimers, and its molecular crystal are adopted as test systems to compare results obtained with plane wave (PW) basis sets and norm-conserving pseudopotentials to all-electron Gaussian-type orbital (GTO) calculations. The CPMD and CRYSTAL06 codes, respectively, are applied with the PBE, PW91, and BLYP density functionals. Hydrogen bonding is the leading interaction in the dimers and the crystal. In the latter, dispersive and weak C-H.O interactions are also relevant. Irrespective of the adopted functional, for all considered structures PW and GTO results converge smoothly as a function of the quality of the adopted basis sets to the same values for structures, energies of interaction, and harmonic vibrational features. To achieve a high level of mutual agreement the use of GTO basis sets of at least of triple-zeta quality including one set of polarization functions and PW basis sets with a kinetic energy cutoff higher than 110 Ry is recommended. Pros and cons of both approaches for studying molecular crystals are also discussed.
DataScope: Viewing Database Contents in Google Maps' Way

People have been relying on Google Maps, MapQuest, or other similar services to find desired locations on maps, browse surrounding businesses, get driving directions, etc. Navigation by clicking and dragging the mouse to browse maps at multiple levels of resolution is one of the most attractive features in Web-based map exploration. Most database systems, though with some graphical user interfaces, are still lack of data-content browsing-based interfaces. Motivated by Google Maps, we develop DataScope, a Web-based data content visualization system, for people to view the desired data easily, interactively, and at multi-resolution.
Diferencias salariales por género en el departamento de Santander - Colombia

Este trabajo analiza los factores que influyen en el salario por hora y sus diferencias por genero para el departamento de Santander durante los anos 2012 a 2014. Especificamente, se explora si dicho diferencial obedece o no a un factor discriminatorio en el mercado de trabajo santandereano, utilizando los datos proporcionados por la Gran Encuesta Integrada de Hogares, GEIH. Luego de presentar un analisis descriptivo del mercado laboral santandereano, se realizan estimaciones econometricas aplicando la metodologia Blinder-Oaxaca para evidenciar la existencia de un componente discriminatorio. Los resultados indican que, para el total de la muestra en la region santandereana, entre un 25% y 30% de las diferencias salariales por genero se asocian al componente discriminatorio no explicado.
Automated control in cloud computing: challenges and opportunities

With advances in virtualization technology, virtual machine services offered by cloud utility providers are becoming increasingly powerful, anchoring the ecosystem of cloud services. Virtual computing services are attractive in part because they enable customers to acquire and release computing resources for guest applications adaptively in response to load surges and other dynamic behaviors. ``Elastic'' cloud computing APIs present a natural opportunity for feedback controllers to automate this adaptive resource provisioning, and many recent works have explored feedback control policies for a variety of network services under various assumptions. This paper addresses the challenge of building an effective controller as a customer add-on outside of the cloud utility service itself. Such external controllers must function within the constraints of the utility service APIs. It is important to consider techniques for effective feedback control using cloud APIs, as well as how to design those APIs to enable more effective control. As one example, we explore proportional thresholding, a policy enhancement for feedback controllers that enables stable control across a wide range of guest cluster sizes using the coarse-grained control offered by popular virtual compute cloud services.
Democracy as a Tragic Regime: Democracy and its Cancellation

Abstract To see "democracy as a tragic regime", as Cornelius Castoriadis did, is to recognize the ever-present risk of democracy's cancellation, but it also means to emphasize the anti-democratic nature of such cancellation, thus its incompatibility with democracy. In the context of this understanding of democracy, the article takes the political to consist of those relations among people and among institutions within the polis, which aim at deciding the polis' fate. It takes the social to be those relations among people and among institutions within the polis, to whom such decisions about the polis' fate apply and whom they create. If democracy is understood as tension between the two, then the relation between those who decide and those who are the subject of the decision is never entirely pacified - hence, always contested and in need of specification. Using the examples of the state of exception and totalitarianism (temporary and permanent self-cancellation), the article argues that these situations are outside a linear continuation with the democratic phenomenon and are due to a displacement, which is akin to the hubristic displacement.
Evaluation of non-quasi-static effects during SEU in deep-submicron MOS devices and circuits

In this paper, for the first time, we analyze non-quasi-static (NQS) effects during single-event upsets (SEUs) in deep-submicron (DSM) MOS devices, using extensive 2D device, BSIM4 and look-up table (LUT) simulations. We know that even for DSM transistors and circuits, the quasi-static approximation is valid for most digital applications. However, a single-event particle strike in a memory cell is capable of causing NQS effects which can result in erroneous logic-state prediction. The anomalous effect is attributed to the fast-varying transient (produced during particle-strike), which is able to initiate NQS effects in the transistors of the memory cell. Thus, it becomes important for a circuit designer to incorporate NQS effects during SEU simulation.
A New Method of Selecting Pivot Features for Structural Correspondence Learning in Domain Adaptive Sentiment Analysis

In recent years,Structural Correspondence Learning (SCL) is becoming one of the most important techniques for domain adaptation in natural language processing.T-SCL method for sentiment classification selects high frequency features which don't have enough ability to discriminate positive instances from negative instances.Therefore, FisherA&IG-SCL method,a new method for selecting pivot features, is proposed. This method makes pivot features selected by Criterion function and Information Gain more discriminative and descriptive. The experimental results show that proposed FisherA&IG-SCL method can produce much better performance.