Miracle-dz/UniFAR-FTUs huggingface dataset:
Better Decision Tree from Intelligent Instance Selection: A new instance selection method based on Genetic Algorithm for optimizing decision trees

This book describes theoretical and experimental studies of instance selection to improve data mining model. Data preparation is one of the most important and time consuming phases in knowledge discovery. Preparation tasks often determine the success of data mining engagements. The importance of instance selection is the primary focus because the size of current and future databases often exceeds the amount of data which current data mining algorithms can handle properly. Instance selection thus can be used to improve scalability of data mining algorithms as well as improve the quality of the data mining results. This book presents a new optimization-based approach for instance selection that uses a genetic algorithm to select a subset of instances to produce a simpler decision tree model with acceptable accuracy. The resultant trees are easier to comprehend and interpret by the decision maker and hence more useful in practice. Numerical results are obtained for several difficult test data sets indicating that GA-based instance selection can often reduce the size of the decision tree by an order of magnitude while still maintaining good prediction accuracy.
The Investigation of Organizational Image Perceptions of Siirt Universty Staff in Terms of Some Variables.

Universities are the key organizations that have importance on the development of societies and the world. The effectiveness of these organizations are very important in this manner. One of the most fundamental factors that determine the effectiveness of an organization is the staff of that organization. The literature related to the staff performance showed that organizational justice, organizational climate, organizational culture and mobbing have effect on staff performance. Another effective variable is organizational image which can be defined as an opinion about the organization constructed by public and the staff. This opinion is the combination of the decision (s) of managers at the top and the behavior (s) of the staff at the lower levels. The powerful the organizational image, the powerful the sense of belongings of staff. Because of this reason, The basic aim of this study is to determine the organizational image perceptions of Siirt University staff and then determine the results in terms of some independent variables like gender, hometown, job, service period. A quantitative research is conducted with descriptive survey model. The population of the study is all academic and administrative staff working in the Siirt University Kezer campus. The sampling procedure is not applied because population was accessible. At the end of the study, findings indicated that the most perceptible sub-dimension of organizational image was "management quality" and the least one was "organizational ethic". Additionally, there are statistically significant difference in general and some sub-dimensions of organizational image in terms of the variables of gender, hometown and job type.
Designing an Economic Valuation Model of the Intangible Assets of Volleyball Clubs in Iran

Background. Several studies have been conducted on the valuation of the intangible assets of organizations not relating to sport. However, there is no comprehensive study in the sport organizations especially in Iran. It is not clear what criteria are required at different levels by the sport organizations especially volleyball clubs to evaluate their intangible assets. Objectives. In spite of the increasing importance of the intangible assets in various industries, little has been done on the identification of the underlying factors and valuation of this category of assets in sport industry. Therefore, the purpose of this study was to design an economic valuation model of the intangible assets of the volleyball clubs in Iran. Methods. The sample of the present study in the qualitative section consisted of 47 subjects with 600 subjects participating in the quantitative section. Through application of Cochran formula, the sample size was estimated to be 234 subjects. The study was conducted in a survey method. To this end, first, the intangible assets of the Iranian volleyball clubs were identified using a qualitative method and then analyzed through structural equation modeling (SEM) PLS3 and SPSS22. Results. The factors with the greatest effects on economic valuation of intangible assets of Iranian volleyball clubs were communication capital, spiritual capital, structural capital and human capital. Thus, it was found that in the economic valuation of intangible assets of Iranian volleyball clubs, the indices such as the relationship between investors and partners and their loyalty in communication capital had the highest value among other indices. Further, the club history and success had the same status in promoting spiritual capital, governing culture of the club, development outlook document of the club in the structural capital, management of contracts, and the number of national players in the club in human capital. Conclusion. The results of the present study suggested that the proposed conceptual model can be applied by researchers, administrative and financial managers of volleyball clubs and the experts of the privatization organization to have a more comprehensive and precise evaluation of the valuation of intangible assets of a club.
Multi-script handwritten character recognition: Using feature descriptors and machine learning

Handwritten character recognition plays an important role in transforming raw visual image data obtained from handwritten documents using for example scanners to a format which is understandable by a computer. It is an important application in the field of pattern recognition, machine learning and artificial intelligence. There are already different handwritten character recognition systems that have been designed for commercial purposes, such as mail sorting and bank cheque processing. Furthermore, this type of research can help to search through different historical handwritten manuscript collections. In this way the cumulative historical information can become accessible to a wide public. In this PhD research, several methods are proposed to deal with several challenges that occur when trying to recognize handwritten characters from multiple language scripts. The thesis contributes to all levels of processing isolated character images: from intensity normalization to segmentation, and from feature extraction to the final classification. Moreover, solutions are proposed for recognizing isolated handwritten character images when not very many handwritten character examples are available. The main goal of the research presented in this dissertation is to study robust feature extraction techniques and machine learning techniques for handwritten character recognition. The best techniques are the combination of the histogram of oriented gradients with bags of visual words. Furthermore, a new method for line segmentation is proposed, which is a part of document layout analysis. The novel techniques have been tested on many different scripts and the results show that they effectively address the problems of line segmentation and character recognition.
Metacognition and recovery in schizophrenia: From research to the development of metacognitive reflection and insight therapy

Metacognition refers to a spectrum of activities which spans from noticing discrete experiences to synthesizing them into a larger sense of the self and others. Evidence suggesting that deficits in metacognition are broadly present in schizophrenia and represent a potent barrier to recovery from schizophrenia has led to increasing interest in the development of metacognitively oriented treatments. In this article, we will describe the development of one such treatment, metacognitive reflection and insight therapy (MERIT), an integrative form of psychotherapy defined by eight core elements. We will first discuss the concept of metacognition as a means to operationalize the processes which enable persons to have a sense of themselves and others available for reflection and that can then serve as the basis for effective and agentic responses to psychosocial challenges. We will then discuss methods for assessing metacognition, the development of MERIT as a treatment that targets metacognition, and how MERIT compares with other treatments. Next, we will discuss empirical support for MERIT’s role in recovery including its potential to assist persons to develop their own personally meaningful sense of their challenges and then decide how to effectively respond to those challenges and manage their own recovery.
The Effect of Employees’ Perceptions of their own Values and their Managers’ Values on their Work Alienation: The Mediating Role of Organizational Climate

Work alienation is one of the behavior patterns in which the relationship between the employee and the organization is negative. When the literature is examined in terms of individual values, it is observed that high congruence of the individual values of managers with those of employees in the organization is expected to affect the positive behavioral outputs in the positive direction and negative behavioral outputs in the negative direction. According to the hypothesis of this study, there is a relationship between manager-employee value congruence and work alienation. In this study, the mediating effect of organizational climate was also investigated in the relationship of manager-employee value congruence and work alienation. According to the results obtained, there is a relationship between manager-employee value congruence and alienation to work, and in this relationship, organizational climate is a partially mediating variable.
LATEMO-E: A Film Database to Elicit Discrete Emotions and Evaluate Emotional Dimensions in Latin-Americans

Introduction: Film clips are the most used stimuli to induce diff erent emotional states. Objective: Identify, select, and evaluate a set of fi lm clips according to dimensionality and discreteness of emotions. Film experts suggested 437 fragments, but only 70 met the criteria to be included in the LATEMO-E fi lm-clip database. Study 1: The 70 fi lm clips were tested for their ability to induce disgust, anger, fear, sadness, amusement, tenderness, and neutral (n = 147 participants; mean age = 20.64 years, SD ±2.21 years). Results: A total of 28 fi lm clips presented adequate scores on intensity and discreteness. Study 2: A total of 28 selected fi lm clips were assessed again in a new sample of 106 participants (mean age = 20.96 years, SD ±2.45 years). Results: Anger and amusement fi lm clips were the most extreme in the valence and activation dimensions. Anger and fear fi lm clips were the most extreme categories in the intensity, certainty, and control dimensions. Conclusions: These stimuli were useful for inducing emotional states that can be judged from both the dimensional perspective of emotions and the basic emotions perspective. Evoked emotions could be diff erentiated according to cognitive patterns of evaluation that guide behavior in response to emotional stimulation.
Catching Galactic open clusters in advanced stages of dynamical evolution

During their dynamical evolution, Galactic open clusters (OCs) gradually lose their stellar content mainly because of internal relaxation and tidal forces. In this context, the study of dynamically evolved OCs is necessary to properly understand such processes. We present a comprehensive Washington $CT_1$ photometric analysis of six sparse OCs, namely: ESO 518-3, Ruprecht 121, ESO 134-12, NGC 6573, ESO 260-7 and ESO 065-7. We employed Markov chain Monte-Carlo simulations to robustly determine the central coordinates and the structural parameters and $T_1\times(C-T_1)$ colour-magnitude diagrams (CMDs) cleaned from field contamination were used to derive the fundamental parameters. ESO 518-03, Ruprecht 121, ESO 134-12 and NGC 6573 resulted to be of nearly the same young age (8.2 $\leq\textrm{log}(t \textrm{yr}^{-1})\leq$ 8.3); ESO 260-7 and ESO065-7 are of intermediate age (9.2 $\leq\textrm{log}(t \textrm{yr}^{-1})\leq$ 9.4). All studied OCs are located at similar Galactocentric distances (R$_{G}\sim6-6.9 $kpc), considering uncertainties, except for ESO 260-7 ($R_{G}=8.9 $kpc). These OCs are in a tidally filled regime and are dynamically evolved, since they are much older than their half-mass relaxation times ($t/t_{rh}\gtrsim30$) and present signals of low-mass star depletion. We distinguished two groups: those dynamically evolving towards final disruptions and those in an advanced dynamical evolutionary stage. Although we do not rule out that the Milky Way potential could have made differentially faster their dynamical evolutions, we speculate here with the possibility that they have been mainly driven by initial formation conditions.
A dependently typed programming language, with applications to foundational certified code systems

Certified code systems enable trust to be generated in untrusted pieces of code. This is done by requiring that a machine-verifiable certificate be packaged with code, which can then be proved safe independently. Safety is defined with respect to a defined safety policy. Recent work has focused on "foundational certified code systems", which define the safety policy as execution on a concrete machine architecture. This makes the safety guarantees of the system more concrete relative to previous systems. There are two advantages. One, we gain in flexibility since the proof producers can use different assumptions and techniques. Two, the parts of the system that must be trusted become substantially simpler. This work describes our design of a practical foundational certified code system. Foundational systems have new proof obligations, for which we need different proof techniques and verification environments. In common with other such systems, we use an intermediate formal system such as a type system to isolate a group of programs. There are then two proof obligations. A program-specific proof verifies that the program belongs to the group so defined. This is the type checking problem. A generic safety proof says that all programs belonging to the group is safe to execute on the concrete machine. For a type system this is the type safety property. Our first main contribution is a functional language, which we call LF/ML. Programs written in this language can be statically proved to be partially correct with respect to their specification. This requires us to program with formal representations. LF/ML, is designed to program with representations in the logical framework LF. Partial correctness of programs in LF/ML can be statically verified with respect to specifications in LF. Our second contribution is a mechanized proof of the safety of a low-level type system, TALT, with respect to the concrete IA-32 architecture. This proof leverages the Twelf metalogical reasoning framework to prove safety. This allows us to have a complete foundational certified code system.
Foundational proof-carrying code

Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—who will verify the verifier itself? Foundational proof-carrying code is verification from the smallest possible set of axioms, using the simplest possible verifier and the smallest possible runtime system. I will describe many of the mathematical and engineering problems to be solved in the construction of a foundational proof-carrying code system.
Rapid Code Acquisition for High Dynamic DSSS Receiver

Presents a new code acquisition method to solve the problem of long code-acquisition time in high dynamic DSSS receivers having large frequency offset. The study analyses first the relationship between the length of the matched filter and SNR after correlation. It then compares the performance in different detection algorithms, and analyses the performance of FFT frequency correction technology. The method presented adopts segmented matched filter detector, maximum-selection detection algorithm and FFT frequency correction with quadratic interpolation. A new code acquisition circuit module is designed. The result of Matlab simulation shows that the new acquisition method can tolerate larger frequency dynamic range and can rapidly finish code acquisition under lower SNR.
Mapping the Accounting as an Academic Discipline: Paradigmatic Limits and Research Programs

Purpose: This paper aims to provide new insight into the understanding of what academic accounting is. It presents an interpretation of the subject field of an academic discipline as an aggregate of structure and content within the given (accounting) research scope. The research questions are: What are the paradigmatic dimensions of academic accounting? What views to the nature of accounting can be counted as ontological paradigms? How the accounting paradigms construe research programs? <br><br>Design/methodology/approach: Discursive reasoning and content analysis of research papers are the most appropriate given the research questions. The boundary-work theory contextual framework is applied to outline accounting as an academic discipline. The taxonomic approach to research paradigms of accounting as an academic discipline is used. <br><br>Findings: A two-leveled representation of the accounting subject field is developed. At the first level, the accounting subject field structure is performed by the basic paradigmatic taxonomies with epistemological, methodological, ontological dimensions. Financial, organizational, social, institutional, language and power paradigms are distinguished as ontological paradigms of accounting. Within the second level, the concept of the research program is developed as an aggregate of research units (paper, report, research project, etc.) combined by paradigms taken from different bases. It permits us to triangulate any research unit within the disciplinary matrix. <br><br>Originality/value: This paper presents the model of the subject field of accounting and structures it by the paradigmatic dimensions and research programs. The results highlight the “mainstream” and the “second mainstream” for accounting research programs.
Collective Intelligence: The Wisdom and Foolishness of Deliberating Groups

The rise of the Internet and social media reignites interest in collective intelligence. We frame collective intelligence as follows: (1) Simple aggregation of individual opinion is a poor substitute for reasoned opinion by collectives (i.e., deliberation) except in limited circumstances. (2) What constitutes an intelligent decision on complex matters requires approximations to the ideal of what is intelligent. There is no “gold standard” for intelligent decisions. (3) If collective deliberation is to be useful, then its outcomes must be improved decisions—in short, intelligent outcomes. (4) Deliberation can lead to more intelligent outcomes when opinion, knowledge, and judgment within a collective is diverse and this diversity is expressed. (5) The trends within emerging media toward increasingly narrow, partisan sources of information, toward selective exposure and avoidance, and toward balkanization of collectives will depress the possibilities of collective intelligence that emerging media would on their surface seem to enhance.
Understanding loneliness and social relationships in autism: The reflections of autistic adults

Abstract The prevalence of loneliness is reported higher for autistic children, adolescents, and adults when compared to non-autistic peers. However, how autistic adults understand loneliness is still unclear. The present study aimed to explore how autistic adults understand the concept of loneliness combining focus groups and individual interviews to engage autistic adults in a shared exploration of the concept of loneliness. Information from 7 females and 18 males (age 18–71 years) was included. Data were analysed using a phenomenological-based thematic analysis. Through the analysis four themes were identified in the reflections of the autistic adults: Experience of Loneliness, Being Autistic, Discrepancies in Social Relationships, and Ease of Interaction. The immediate understanding of loneliness in autistic adults was found to be quite similar to that of persons without autism. However, being autistic was a central frame of reference for the autistic adults in describing the wishes and needs as well as the actual experience of social relationships. Being autistic in a primarily neurotypical society may be seen as a risk factor due to the discrepancies often experienced by autistic individuals in social relationships. Raising autism acceptance in general and supporting the understanding of self and others in autistic individuals is important to prevent the social discrepancies associated with the experience of loneliness.
Embedded Binocular Stereo Vision Ranging System

The paper designs and researches a binocular stereo measuring system based on S3C2440 hardware platform and embedded Linux.The system captures images data in synchronization by using 2 USB cameras,and then processes the images data in OpenCV Lib.Finally,calculate the pixel deviation of the target in two images,and then calculate the distance from the target to camera plane,license plate be seen as the target in the paper.At the same time,the system displays the images and dates on LED with Qt/Embedded GUI in real time.The whole system is built on an embedded architecture,able to capture images and process data and real-time display data independently.When change location algorithm,we can calculate the distance of any targets.
Cyberbullying in a boundary blurred working life

PurposeThe purpose of this paper is to explore what characterizes cyberbullying when it is performed in digital space and in an increasingly boundary blurred working life context.Design/methodology/approachCyberbullying is explored through the lens of Erving Goffman’s theories on everyday life interaction and social media scholars understanding of social life on the internet today. The empirical material for the study is grounded in eight in-depth interviews with individuals who have been subjected to cyberbullying behavior in their professional life. The interview data were analyzed by means of thematic analysis.FindingsThree key themes were identified: spatial interconnectedness, colliding identities and the role of the audience. The empirical data indicate that in order to understand cyberbullying in working life, it is necessary to consider the specific context that emerges with social network sites and blogs. Moreover, this study shows how social network sites tend to blur boundaries between the private and the professional for the targeted individual.Originality/valueCyberbullying in working life is a relatively under-researched area. Most existing research on cyberbullying follows the tradition of face-to-face bullying by addressing the phenomenon with quantitative methods. Given the limited potential of this approach to uncover new and unique features, this study makes an important contribution by exploring cyberbullying with a qualitative approach that provides in-depth understanding of the new situations that emerge when bullying is performed online.
Security Analysis of Secure Routing Protocols for Ad Hoc Networks Based on Improved Meadows Model

Many secure routing protocols for Ad Hoc networks have been proposed so far,but few formal analysis methods are available.Although Meadows model is a well-known cryptographic analysis method,it is unsuitable for Ad Hoc network secure routing protocols because it lacks ability to describe and analyze routing.By adding routing description and analysis scheme based on graphic theory,we extend the Meadows model to have the analysis ability.The extended Meadows model can analyze secure routing protocols for ad hoc networks.As an example,the extended model is used to analyze the routing protocol,Ariadne,and the result shows that Ariadne can generate fault routing.