Miracle-dz/UniFAR-FTUs huggingface dataset:
Hardware synthesis in ForSyDe: The design and implementation of a ForSyDe-to-VHDL Haskell-embedded compiler.

The ForSyDe (Formal System Design) methodology is targeted at modelling systems, with the goal of using a high level of abstraction in the specification of its models. Although it is a general system modelling methodology, the initial scope of ForSyDe has specifically been Synchronous Systems (systems in which a global clock is used to synchronize the different parts of the system). A well-known type of such system is synchronous hardware, which is the main subject of this thesis. A synchronous system in ForSyDe is based on the concept of processes which “map input signals onto output signals”. Currently, the software implementation of ForSyDe is based upon the Haskell programming language. The designer specifies the system model in Haskell as a network of cooperating process constructors with the assistance of the ForSyDe Library. Until now, there has not been an automated way to synthesize ForSyDe models (i.e. generate an equivalent low-level implementation from which to build real hardware). However, as a result of this thesis, hardware synthesis is now a feature of ForSyDe, enabling ForSyDe designs to finally reach silicon. That is possible thanks to the development of a ForSyDe-to-VHDL compiler. By using this compiler, a ForSyDe model can be first translated to synthesizable VHDL93 (one of the two most common hardware design languages) and then, the designer can use any of the existing VHDL-tools to synthesize the model. This thesis report is aimed at documenting the background, design, implementation and use of the compiler.
Author ' s personal copy Stretch-induced wrinkling of polyethylene thin sheets : Experiments and modeling

This paper presents a study on stretch-induced wrinkling of thin polyethylene sheets when subjected to uniaxial stretch with two clamped ends. Three-dimensional digital image correlation was used to measure the wrinkling deformation. It was observed that the wrinkle amplitude increased as the nominal strain increased up to around 10%, but then decreased at larger strain levels. This behavior is consistent with results of finite element simulations for a hyperelastic thin sheet reported previously (Nayyar et al., 2011). However, wrinkles in the polyethylene sheet were not fully flattened out at large strains (>30%) as predicted for the hyperelastic sheet, but exhibited a residual wrinkle whose amplitude depended on the loading rate. This is attributed to the viscoelastic response of the material. Two different viscoelastic models were adopted in finite element simulations to study the effects of viscoelasticity on wrinkling and to improve the agreement with the experiments, including residual wrinkles and rate dependence. It is found that a parallel network model of nonlinear viscoelasticity is suitable for simulating the constitutive behavior and stretch-induced wrinkling of the polyethylene sheets. 2014 Elsevier Ltd. All rights reserved.
Know your neighbors: web spam detection using the web topology

Web spam can significantly deteriorate the quality of search engine results. Thus there is a large incentive for commercial search engines to detect spam pages efficiently and accurately. In this paper we present a spam detection system that combines link-based and content-based features, and uses the topology of the Web graph by exploiting the link dependencies among the Web pages. We find that linked hosts tend to belong to the same class: either both are spam or both are non-spam. We demonstrate three methods of incorporating the Web graph topology into the predictions obtained by our base classifier: (i) clustering the host graph, and assigning the label of all hosts in the cluster by majority vote, (ii) propagating the predicted labels to neighboring hosts, and (iii) using the predicted labels of neighboring hosts as new features and retraining the classifier. The result is an accurate system for detecting Web spam, tested on a large and public dataset, using algorithms that can be applied in practice to large-scale Web data.
Feature Selection Ensemble

Many strategies have been exploited for the task of feature selection, in an effort to identify more compact and better quality feature subsets. Such techniques typically involve the use of an individual feature significance evaluation, or a measurement of feature subset consistency, that work together with a search algorithm in order to determine a quality subset. Feature selection ensemble aims to combine the outputs of multiple feature selectors, thereby producing a more robust result for the subsequent classifier learning tasks. In this paper, three novel implementations of the feature selection ensemble concept are introduced, generalising the ensemble approach so that it can be used in conjunction with many subset evaluation techniques, and search algorithms. A recently developed heuristic algorithm: harmony search is employed to demonstrate the approaches. Results of experimental comparative studies are reported in order to highlight the benefits of the present work. The paper ends with a proposal to extend the application of feature selection ensemble to aiding the development of biped robots (inspired by the authors’ involvement in the joint celebration of Olympic and the centenary of the birth of Alan Turing).
An information theoretic foundation of synchronized detection

The constrained capacity of a coherent coded modulation (CM) digital communication system with data-aided channel estimation and a discrete, equiprobable symbol alphabet is derived under the assumption that the system operates on a flat fading channel and uses an interleaver to combat the bursty nature of the channel. It is shown that linear minimum mean square error channel estimation directly follows from the derivation and links average mutual information to the channel dynamics. Based on the assumption that known training symbols are transmitted, the achievable rate of the system is optimized with respect to the amount of training information needed. Furthermore, the results are compared to the additive white Gaussian noise channel, and the case when ideal channel state information is available at the receiver.
Motivating Management: Corporate Compliance in Environmental Protection

Based on interviews with facility managers in the electroplating and chemical industries, this study examines regulated firms' perceptions of how various instrumental, normative, and social factors motivated their firms' environmental actions. We found that "implicit general deterrence" (the overall effect of sustained inspection and enforcement activity) was far more important than either specific or general deterrence, and that deterrence in any form was of far greater concern to small and medium-sized enterprises than it was to large ones. Most reputation-sensitive firms in the environmentally sensitive chemical industry chose to go substantially beyond compliance for reasons that related to risk management and to the perceived need to protect their social license to operate. Almost half our respondents also provided normative explanations for why they complied. Overall, we conclude that there are various, often interwoven, strands that must be taken into account in understanding what motivates corporate environmental behavior, and how they play out depends very much on the size and sophistication of companies themselves and on the characteristics of the industry sector within which they are located.
Effects of posture on peripheral vascular responses to lower body positive pressure.

We tested the hypothesis that peripheral vascular responses (in the lower and upper limbs) to application of lower body positive pressure (LBPP) are dependent on the posture of the subjects. We measured heart rate, stroke volume, mean arterial pressure, leg and forearm blood flow (using the Doppler ultrasound technique), and leg (LVC) and forearm (FVC) vascular conductance in 11 subjects (9 men, 2 women) without and with LBPP (25 and 50 mmHg) in supine and upright postures. Mean arterial pressure increased in proportion to increases in LBPP and was greater in supine than in upright subjects. Heart rate was unchanged when LBPP was applied to supine subjects but was reduced in upright ones. Leg blood flow and LVC were both reduced by LBPP in supine subjects [LVC: 4.8 (SD 4.0), 3.6 (SD 3.5), and 1.4 (SD 1.8) ml.min(-1). mmHg(-1) before LBPP and during 25 and 50 mmHg LBPP, respectively; P < 0.05] but were increased in upright ones [LVC: 2.0 (SD 1.2), 3.4 (SD 3.4), and 3.0 (SD 2.0) ml.min(-1). mmHg(-1), respectively; P < 0.05]. Forearm blood flow and FVC both declined when LBPP was applied to supine subjects [FVC: 1.3 (SD 0.6), 1.0 (SD 0.4), and 0.9 (SD 0.6) ml. min(-1). mmHg(-1), respectively; P < 0.05] but remained unchanged in upright ones [FVC: 0.7 (SD 0.4), 0.7 (SD 0.4), and 0.6 (SD 0.5) ml.min(-1). mmHg(-1), respectively]. Together, these findings indicate that the leg vascular response to application of LBPP is posture dependent and that the response differs in the lower and upper limbs when subjects assume an upright posture.
A COMPARISON OF THE DISCRIMINATIVE STIMULUS PROPERTIES OF THE ATYPICAL ANTIPSYCHOTIC CLOZAPINE AND THE GLUTAMATE AGONIST N-METHYL D-ASPARTATE IN C57BL/6 MICE.

A COMPARISON OF THE DISCRIMINATIVE STIMULUS PROPERTIES OF THE ATYPICAL ANTIPSYCHOTIC CLOZAPINE AND THE GLUTAMATE AGONIST N-METHYL D-ASPARTATE IN C57BL/6 MICE. By Sarah A. Vunck, B.S. A Thesis submitted in partial fulfillment of the requirements for the degree of Master of Science at Virginia Commonwealth University. Virginia Commonwealth University, 2009 Major Director: Joseph H. Porter, Ph.D. Professor, Department of Psychology The glutamate system dysfunctions present in schizophrenia raise new questions about possible glutamatergic actions of the atypical antipsychotic clozapine. While clozapine has been shown to partially substitute for the discriminative stimulus of the glutamate agonist N-methyl D-aspartate (NMDA) in rats, NMDA discrimination has not previously been established in mice. The present study was designed to explore the possible role of NMDA activity in clozapine’s discriminative stimulus. Two groups of C57BL/6 mice were trained to discriminate either 2.5 mg/kg CLZ from vehicle or 30 mg/kg NMDA from vehicle in a standard two-lever drug discrimination task. NMDA drug discrimination was successfully
Relationship between burden of infection in ungulate populations and wildlife/livestock interfaces

SUMMARY In southern African transfrontier conservation areas (TFCAs), people, livestock and wildlife share space and resources in semi-arid landscapes. One consequence of the coexistence of wild and domestic herbivores is the risk of pathogen transmission. This risk threatens local livelihoods relying on animal production, public health in the case of zoonoses, national economies in the context of transboundary animal diseases, and the success of integrated conservation and development initiatives. The level of interaction between sympatric wild and domestic hosts, defining different wildlife/livestock interfaces, characterizes opportunities of pathogen transmission between host populations. Exploring the relationship between infection burden and different types of wildlife/domestic interfaces is therefore necessary to manage the sanitary risk in animal populations through control options adapted to these multi-host systems. Here, we assessed the infection burdens of sympatric domestic cattle (Bos taurus/Bos indicus) and African buffalo (Syncerus caffer) at an unfenced interface and compared the infection burdens of cattle populations at different wildlife/livestock interfaces in the Great Limpopo TFCA. Patterns of infection in ungulate populations varied between wild and domestic hosts and between cattle populations at different wildlife/livestock interfaces. Foot-and-mouth disease, Rift Valley fever and theileriosis infections were detected in buffalo and cattle at unfenced interfaces; bovine tuberculosis was only present in buffalo; and brucellosis and lumpy skin disease only in cattle. At unfenced interfaces, cattle populations presented significantly higher Theileria parva and brucellosis prevalence. We hypothesize that cattle populations at wildlife/livestock interfaces face an increased risk of infection compared to those isolated from wildlife, and that the type of interface could influence the diversity and quantity of pathogens shared. Additional host behavioural and molecular epidemiological studies need to be conducted to support this hypothesis. If it is confirmed, the management of wildlife/livestock interfaces will need to be considered through the prism of livestock and public health.
The Effect of Proactive Personality on the Relationship Between Emotional Intelligence and Burnout Syndrome: A Case Study on Academic Staff Working in Public Universities of Aegean and Central Anatolia Regions

Öneren, M. , Çetiner, N. , Arar, T. , Yurdakul, A. (2019). The Effect of Proactive Personality on the Relationship Between Emotional Intelligence and Burnout Syndrome: A Case Study on Academic Staff Working in Public Universities of Aegean and Central Anatolia Regions, Journal of Business Research-Turk, 11 (1), 575-586. İŞLETME ARAŞTIRMALARI DERGİSİ JOURNAL OF BUSINESS RESEARCH-TURK 2019, 11(1), 575-586 https://doi.org/10.20491/isarder.2019. 620
The effects of organizational service orientation on person–organization fit and turnover intent

The purpose of this study is to understand interrelationship among organizational service orientation, person–organization fit, and turnover intent in a deluxe hotel. The study involved 311 Korean employees. The results showed a positive relationship between organizational service orientation and employees' person–organization fit. Participants who reported a high level of service orientation were more likely to be appropriate fits for their organization. In addition, person–organization fit was negatively associated with employees' intention to leave the organization. Limitations and future research directions are also discussed.
Factors Affecting Consumers' Motivation in Online Group Buyers

With the growing and developing of internet technology, it also brings in the popularity of online group buying. This study aims to investigate the reason and motivation that make consumers enthusiastic about online group buying. Several factors are examined, including price, community trust, conformity, involvement and perceived risk. We collected 497 questionnaire surveys and received 411 effective samples. The results are shown as followings: The dominant demographic groups are female and 31 to 40 years old, and the most frequently purchased items are food and daily necessity. The significant factors are price sensitivity, conformity and perceived risk. The herd effect and risk also affect consumers’ purchase in virtual environment.
A Probabilistic Theory of Deep Learning

A grand challenge in machine learning is the development of computational algorithms that match or outperform humans in perceptual inference tasks that are complicated by nuisance variation. For instance, visual object recognition involves the unknown object position, orientation, and scale in object recognition while speech recognition involves the unknown voice pronunciation, pitch, and speed. Recently, a new breed of deep learning algorithms have emerged for high-nuisance inference tasks that routinely yield pattern recognition systems with near- or super-human capabilities. But a fundamental question remains: Why do they work? Intuitions abound, but a coherent framework for understanding, analyzing, and synthesizing deep learning architectures has remained elusive. We answer this question by developing a new probabilistic framework for deep learning based on the Deep Rendering Model: a generative probabilistic model that explicitly captures latent nuisance variation. By relaxing the generative model to a discriminative one, we can recover two of the current leading deep learning systems, deep convolutional neural networks and random decision forests, providing insights into their successes and shortcomings, as well as a principled route to their improvement.
Modeling Consumer Learning from Online Product Reviews

We propose a structural model to study the effect of online product reviews on consumer purchases of experiential products. Such purchases are characterized by limited repeat purchase behavior of the same product item (such as a book title), but significant past usage experience with other products of the same type (such as books of the same genre). To cope with the uncertainty in quality of the product item, we posit that consumers may learn from their experience with the same type of product, and others’ experiences with the product item. We model the credibility of product reviews and how it evolves over time. We apply the model to a panel dataset of 1,919 book purchases by 243 consumers. We find that consumers learn more from online reviews of book titles than from their own experience with other books of the same genre. We estimate the profit impact of product reviews and how it varies with the number of reviews. We find evidence of diminishing returns to increasing number of reviews. Under certain conditions, additional reviews might even lead to lower profits. We estimate the optimum number of reviews for a representative product.
Exploration of factors associated with eating disorders in gay men

There is an overrepresentation of gay men seeking treatment for eating disorders. This study investigated several factors that were thought to possibly impact the prevalence rates of gay men seeking treatment for eating disorders. The current study investigated the influence that gender role conflict, attitudes towards help seeking, symptom recognition, and media influence have on the prevalence of eating disorders. Nationwide participant recruitment was utilized to gather a sample that consisted of 86 heterosexual men and 75 gay men. Multivariate and univariate analyses of variance were utilized to examine the differences between gay and heterosexual men on the factors of interest. A significant difference was not found between gay and heterosexual men related to gender role conflict or media influence. However, a significant difference was found between heterosexual and gay men on measures of attitudes towards help seeking and symptom recognition. The results support that gender role conflict may have a limited role in the development of eating disorders in gay men and that mental health prevention and awareness within the gay community may be having a positive impact. Implications for the prevention and treatment of eating disorders are discussed as well as directions for future research. Abstract Approved: ____________________________________ Thesis Supervisor ____________________________________ Title and Department ____________________________________ DateApproved: ____________________________________ Thesis Supervisor ____________________________________ Title and Department ____________________________________ Date EXPLORATION OF FACTORS ASSOCIATED WITH EATING DISORDERS IN GAY MEN by Catherine Do Jackson A thesis submitted in partial fulfillment of the requirements for the Doctor of Philosophy degree in Psychological and Quantitative Foundations (Counseling Psychology) in the Graduate College of The University of Iowa
Educational Reforms in Greece (1959-1997) and Human Capital Theory.

This article deals with the effects of Human Capital Theory on the theoretical frameworks, the rhetoric and the aims of the educational reforms that took place in Greece during the period 1959 to 1997. It also deals with the re-emergence of the theory in the 1990s within the new context, as an important element of the neo-liberal education policies that have been in practice during the last seventeen years, and comments on the implementation of this policy in Greece and its results up to now.
A Comparative Analysis of the Tasks from the Selected Mathematics Textbooks of Singapore and Indonesia

Abstract : This is a content analysis study that aims to analyze the tasks in Pythagorean Theorem unit contained in Indonesian mathematics textbooks and compare them to those of Singapore using the framework to analyze tasks in the textbook with three dimensions of analysis: representation form, contextual feature, and degree of openness. The result of the study shows that in Singaporean Mathematics textbook, verbal representation tasks and closed-ended tasks are commonly found throughout the textbook, meanwhile, application and non-application tasks are divided into exactly a half. In Indonesian Mathematics textbook, combination tasks, non-application tasks, and open-middled tasks are the most common tasks found. Key Words : task, mathematics textbook, pythagorean theorem Abstrak : Penelitian ini merupakan analisis konten yang bertujuan untuk menganalisis tugas yang termuat dalam buku teks matematika Indonesia untuk kemudian dibandingkan dengan tugas-tugas pada buku teks matematika Singapura menggunakan kerangka kerja untuk menganalisis tugas pada buku teks yang memuat tiga dimensi analisis yaitu bentuk representasi, fitur kontekstual, dan derajat keterbukaan. Hasil penelitian menunjukkan bahwa pada buku teks matematika Singapura, tugas dengan representasi verbal dan tugas tertutup adalah jenis yang paling banyak muncul, sedangkan tugas aplikasi dan non-aplikasi terbagi tepat menjadi dua. Pada buku teks matematika Indonesia, tugas dengan kombinasi representasi, tugas non-aplikasi, dan tugas open-middled adalah jenis yang paling sering muncul. Kata kunci : tugas, buku teks matematika, teori pitagoras
Quality Sensitive Price Competition in Spectrum Oligopoly: Part 1

We investigate a spectrum oligopoly market where each primary seeks to sell its idle channel to a secondary. Transmission rate of a channel evolves randomly. Each primary needs to select a price depending on the transmission rate of its channel. Each secondary selects a channel depending on the price and the transmission rate of the channel. We formulate the above problem as a non-cooperative game. We show that there exists a unique Nash Equilibrium (NE) and explicitly compute it. Under the NE strategy profile a primary prices its channel to render the channel which provides high transmission rate more preferable; this negates the perception that prices ought to be selected to render channels equally preferable to the secondary regardless of their transmission rates.We show the loss of revenue in the asymptotic limit due to the non co-operation of primaries. In the repeated version of the game, we characterize a subgame perfect NE where a primary can attain a payoff arbitrarily close to the payoff it would obtain when primaries co-operate.