Miracle-dz/UniFAR-FTUs huggingface dataset:
The Role of Perceived Justice on Satisfaction with the Coach: Gender Differences in a Longitudinal Study

: The aim of this study was to determine the interaction between the factors of perceived justice with regard to players’ satisfaction with the coach’s behavior, and also to determine the evolution of these interactions across a season in elite male and female soccer. A longitudinal design was carried out, with three measurement points (i.e., at the beginning, in the middle, and at the end of a season). Participants were 439 professional soccer players (males = 227, females = 212), aged between 18 and 33 years ( M = 23.81, SD = 4.53). Results showed gender differences in the factors that predict satisfaction with the coach. Women grant more importance to relational and motivational aspects. It was also conﬁrmed that there are important variations across the season in both genders. These results can help to better understand which behaviors are more appropriate for coaches depending on gender and time of the season.
Self-Awareness of Student Leaders in an Experiential Undergraduate Engineering Clinic Program

Jessica Lupanow completed her B.S. in Engineering at Harvey Mudd College in May 2018, focusing on management and robotics. For her clinic projects, she worked on an autonomous trajectory-tracking controller for underwater robots and served as team leader for an autonomous operations project for construction vehicles. She was awarded an NSF Graduate Research Fellowship, and in August 2018 she will begin working on her Ph.D. in Computer Science at the University of Southern California.
Effect of a (cid:1) 2 -Adrenoceptor Stimulation on Hyperglycemia-Induced Endothelial Dysfunction

To investigate whether (cid:1) 2 -adrenoceptors exist on endothelial cells and whether a (cid:1) 2 -adrenoceptor stimulation might prevent the development of hyperglycemia-induced endothelial dysfunction, porcine aortic endothelial cells (PAECs) were cultured and chron- ically exposed to either 5 mM D -glucose (“normoglycemia”) or 20 mM D -glucose (“hyperglycemia”), with or without 100 nM salbu- tamol in absence or presence of (cid:1) 2 -adrenoceptor antagonist ICI 118,551 [1-[2,3-(dihydro-7-methyl-1 H -inden-4-yl)oxyl]-3-[(1- methylethyl)-amino]-2-butanol] or (cid:1) 1 -antagonist metoprolol. For osmotic control, PAECs were exposed to 15 mM L -glucose. We measured nitric oxide release using the met-hemoglobin assay and assessed (cid:1) -adrenoceptor density and subtypes by radioligand binding. Furthermore, we determined intracellular NADH and NADPH using high-performance liquid chromatography. High D glucose concentrations but not L -glucose led to significantly reduced basal and stimulated nitric oxide release. Chronic salbuta- mol treatment significantly antagonized the impairment of the nitric oxide response, which was inhibited by ICI 118,551 but not by metoprolol.
Middle East FORUM

This paper examines the determinants of foreign direct investment (FDI) in Iran by applying the structural equation modelling (SEM). Using the annual time series data for the 1991-2006 period, two models were developed. In the first model the correlation between 12 determining factors and FDI in Iran were analyzed and in the second model the 12 factors were fit into five categories of determinants namely: Business, Economic, Infrastructural, Oil and Science and Technology and the impact of each of the mentioned groups of factors was investigated. The results derived through the first model indicated that openness of trade and Gross Domestic Product (GDP) per capita have a significant positive impact on FDI in Iran, while along with inflation, oil extraction and production had a surprisingly negative correlation with FDI. The results also suggested that infrastructural factors pertaining to telecommunications in addition to market size, research and development (R&D), education and the scientific output encourage FDI inflows in Iran. The second model output estimates revealed that the business factors promote FDI most and interestingly once more the oil factor proved to have a negative impact on the FDI inflows to Iran.
FOL: A Proof Checker for First-order Logic

Abstract : This manual describes the use of the interactive proof checker FOL. FOL implements a version of the system of natural deduction described by Prawitz, augmented in the following ways: (1) it is a many-sorted first-order logic and a partial order over sorts may be declared: this reduces the size of formulas; (2) purely propositional deductions can be made in a single step; (3) the truth values of assertions involving numerical and LISP constants can be derived by computation; (4) there is a limited ability to make metamathematical arguments; and (5) there are many operational conveniences. The goal of FOL is to use formal proof techniques as practical tools for checking proofs in pure mathematics and proofs of the correctness of programs. It is also intended to be used as a research tool in modelling common-sense reasoning in the representation theory of artificial intelligence.
the association of genetic factors with participation in the Avon Longitudinal Study of Parents and

Background: It is often assumed that selection (including participation and dropout) does not represent an important source of bias in genetic studies. However, there is little evidence to date on the effect of genetic factors on participation. Methods: Using data on mothers ( N ¼ 7486) and children ( N ¼ 7508) from the Avon Longitudinal Study of Parents and Children, we: (i) examined the association of polygenic risk scores for a range of sociodemographic and lifestyle characteristics and health condi-tions related to continued participation; (ii) investigated whether associations of polygenic scores with body mass index (BMI; derived from self-reported weight and height) and self-reported smoking differed in the largest sample with genetic data and a subsample who participated in a recent follow-up; subsample (OR: 0.96, 95% CI: 0.89, 1.03). In genome-wide analysis, single nucleotide polymorphism based heritability explained 18–32% of variability in participation. Conclusions: Genetic association studies, including Mendelian randomization, can be biased by selection, including loss to follow-up. Genetic risk for dropout should be considered in all analyses of studies with selective participation.
ALPACA: A Decentralized, Privacy-Centric and Context-Aware Framework for the Dissemination of Context Information

—With the ongoing rise of smartphones as everyday mobile devices and their steadily increasing amount of sensing and communication capabilities, we are on the brink of a subtle, widespread adoption of context-aware computing techniques into our daily lives. Focusing on functionality and performance, the majority of existing architectures for managing context information typically deploy central components for collecting, analyzing and distributing its users’ up-to-date data. However, preservation of users’ privacy needs remains a crucial factor for such systems’ acceptableness. Inspired by existing works on privacy in context-aware applications and the authors’ beliefs in the necessity to put users back in control, this article adopts a privacy-centric perspective and presents ALPACA: A novel approach for modeling and managing a user’s rich context information in a user-centric and privacy-preserving way ﬁt for a multitude of different usage scenarios. To this end, this article offers a general conceptual mapping of a user’s privacy needs to distinct layers. Based on this conceptualization we introduce a privacy-centric approach for modeling this information. Additionally, we propose a context-aware mechanism for the deﬁnition of context-dependent release triggers in order to enable ﬁne-grained control over the disclosure of sensitive information. Finally, we present the components of the proposed system architecture, explain how they interact with each other and discuss how our framework can be integrated into a modern mobile operating system.
Influência de diferentes antimicrobianos na digestibilidade in vitro de dietas ricas em forragem ou concentrado

: Antimicrobial agents have been used in livestock diets to increase feed efficiency and animal performance. Antimicrobial agents can help stabilize ruminal pH, reduce dietary nitrogen losses and acetate to propionate ratio. However, the addition of antibiotics in ruminant diets should not inhibit fiber degradation. The aim of this study was to evaluate the effect of bacteriocins (bovicin HC5, nisin) and antibiotics (virginiamycin, monensin) on in vitro digestibility of neutral detergent fiber (IVDNDF) in two different diets. Nisin and monensin did not affect IVDNDF (P>0.05) when added to diet A (corn silage) or diet B (corn silage/sorghum and concentrate). Bovicin HC5 only decreased IVDNDF (P<0.05) in diet A at the highest concentration tested (360 AU/mL) and the addition of virginiamycin to diet A reduced IVDNDF (P<0.05), regardless of the concentration tested. These results demonstrate that the antimicrobials tested in this study have little effect on IVDNDF of concentrate-rich diets.
Managing formal institutional challenges when entering Cuba A multinational corporation perspective

Purpose – The purpose of this paper is to analyze the formal political, legal and economic institutional legitimacy challenges for (US-based) multinational corporations (MNCs) attempting to enter the Cuban market, discuss the key local constituencies in Cuba that are able to grant legitimacy and sketch out respective strategies to deal with each of these formal institutional challenges. Design/methodology/approach – A qualitative research approach comprising semi-structured executive interviews was used, combined with the analysis of media accounts and recent governmental policies and developments. The authors interpreted the gathered data and information based on institutional theory. Findings – This paper sketches out specific legitimacy challenges for (US-based) MNCs when entering Cuba and discusses strategies to manage these challenges. Research limitations/implications – The authors provide an application of institutional theory in the specific context of Cuba and so demonstrate the value of applying this theoretical lens to better understand the local legitimacy processes in this particular emerging market environment. Practical implications – This study presents a framework of strategies (US-based) MNCs may use to inform their entry strategies into the Cuban market, based on an analysis of the local institutional environment, legitimacy pressures and constituencies able to grant or withdraw the approval and support of foreign MNCs. Originality/value – This paper is an original application of institutional theory to the emerging market of Cuba using a qualitative research approach, and so contributes to an emerging stream of research studying this market context from an academic and practical perspective.
In ﬂ uence of stator/rotor-pole combination on electromagnetic performance in all/alternate poles wound partitioned stator doubly salient permanent magnet machines

: In this study, the in ﬂ uence of stator/rotor-pole combinations on electromagnetic performance in partitioned stator doubly salient permanent magnet (PS-DSPM) machines is investigated, in terms of open-circuit ﬂ ux-linkage, back-electromotive force (EMF), cogging torque and on-load torque characteristics. Analytical deduction shows that by modifying the all poles wound winding to alternate poles wound winding in the 12/11- and 12/13 stator/rotor-pole PS-DSPM machines, the fundamental distribution factor and hence the fundamental winding factor can be enhanced, resulting higher torque density. Consequently, among the 12-stator-pole all and alternate poles wound PS-DSPM machines, the 10- and 11-rotor-pole machines exhibit the highest torque density, respectively. However, the 12/10- and 12/14-pole alternate poles wound PS-DSPM machines suffer from higher phase back-EMF even harmonics, resulting larger torque ripple. The 12/10- and 12/11-pole all and alternate poles wound prototypes are built and tested to verify the ﬁ nite-element analysis.
Content Based Record Label Classification for Electronic Music

Characterizing record labels and their sound signatures is a difficult problem, especially when it comes to indie record labels. That’s the present when dealing with record labels of electronic music, so the application of different constructs and techniques that have been proved useful when looking at record labels is essential. On top of that Electronic music increases the challenges in similar issues, as timbre and rhythm are more important than root keys, chords, which are facets traditionally emphasized in music information retrieval. The research presented in this dissertation aims at the exploration of the usage of Music Information Retrieval tools and techniques for the analysis of Electronic Music Record Label based on audio content. For that purpose we have curated a music collection especially addressed for the above-mentioned problems, containing more than 3000 tracks of 9 different Electronic Music Record Label. The collection has been analyzed with the help of Essentia’s library, and the extracted features present various musical criteria such as timbre, rhythm, and tonality. The extracted features are tested with different classification algorithms, from the simplest of them, a Support Vector Machine, to a Fully Connected layer network, to a more complex one, a Convolutional Neural Network. We also propose various ways of segmenting Electronic Music, in order to capture the most relevant features. We tried to cover as much types of segments as we can, which were tested experimentally, achieving satisfactory results. Finally, a detailed qualitative analysis of the results obtained when considering a group of record labels is performed, demonstrating the potential of the analysis that have been developed.
Simian Virus 40 T/t Antigens and Lamin A/C Small Interfering RNA Rescue the Phenotype of an Epstein-Barr Virus Protein Kinase (BGLF4) Mutant (cid:1)

The Epstein-Barr virus (EBV)-encoded viral protein kinase, EBV-PK (the BGLF4 gene product), is required for efﬁcient nuclear viral egress in 293 cells. However, since EBV-PK phosphorylates a number of different viral and cellular proteins (including lamin A/C), the relative importance of each target during lytic viral replication remains unclear. We show here that an EBV PK mutant (PKmut; containing stop codons at residues 1 and 5 in EBV-PK) is highly defective for release of infectious virus from 293 cells but not 293T cells. Furthermore, the phenotype of the PKmut in 293 cells is substantially reversed by expression of the simian virus 40 (SV40) large (T) and small (t) T antigens. Efﬁcient rescue requires the presence of both SV40 T/t proteins. We show that 293T cells have a much higher level of constitutive lamin A/C phosphorylation than do 293 cells over residues (S22 and S392) that promote phosphorylation-dependent nuclear disassembly and that both large T and small t contribute to enhanced lamin A/C phosphorylation. Finally, we demonstrate that knockdown
Eﬀect of Green Tea Extract on Exercise-Induced Oxidative Stress in Obese Men: A Randomized, Double-Blind, Placebo-Controlled, Crossover Study

Background: Green tea contains polyphenol catechins that has been shown to be beneﬁcial to health owing to its antioxidant properties. Objectives: This study investigated the eﬀects of a 14-day ingestion of green tea extract (GTE) on biomarkers of oxidative stress in obese men undergoing resistance exercise (RE). Methods: In a randomized, double-blind, placebo (PL)-controlled, crossover study, ten obese men (age 37.12 ± 5.66 y; height 177 ± 7.7 cm; BMI 32.53 ± 2.52) performed two RE protocols consisting of 3 sets of 6 exercises to exhaustion at 75% of one repetition maximum (1RM) and 2 minute rests between sets, after 14 days of 500 mg of GTE (two capsules per day) or 500 mg PL (two capsules per day) supplementation. Blood samples were collected before (PRE) and immediately after (POST) RE and analyzed for oxidative biomarkers including lipid peroxidation (8-iso PGF 2 α ) and oxidative DNA damage (8-OHdG). Results: Our results showed that a 14-day GTE supplementation did not change lipid peroxidation (P > 0.05); also, no signiﬁcant alterations for 8-iso PGF 2 α between GTE and PL treatments after RE were observed (P > 0.05). However, 14-day GTE supplementation signiﬁcantly reduced oxidative DNA damage as measured by 8-OHdG after RE compared to PL (P < 0.05). Conclusions: The results of this study demonstrated that 14-day supplementation of GTE signiﬁcantly prevented oxidative DNA damage induced by RE in untrained obese men. However, the potential eﬀects of GTE on oxidative stress after RE in obese people warrants further investigation.
E-Cadherin Is Required for Caveolin-1-Mediated Down-Regulation of the Inhibitor of Apoptosis Protein Survivin via Reduced (cid:2) -Catenin-Tcf/Lef-Dependent Transcription (cid:1) ‡

Caveolin-1 reportedly acts as a tumor suppressor and promotes events associated with tumor progression, including metastasis. The molecular mechanisms underlying such radical differences in function are not understood. Recently, we showed that caveolin-1 inhibits expression of the inhibitor of apoptosis protein survivin via a transcriptional mechanism involving the (cid:1) -catenin-Tcf/Lef pathway. Surprisingly, while caveo-lin-1 expression decreased survivin mRNA and protein levels in HT29(ATCC) human colon cancer cells, this was not the case in metastatic HT29(US) cells. Survivin down-regulation was paralleled by coimmunoprecipitation and colocalization of caveolin-1 with (cid:1) -catenin in HT29(ATCC) but not HT29(US) cells. Unlike HT29(ATCC) cells, HT29(US) cells expressed small amounts of E-cadherin that accumulated in intracellular patches rather than at the cell surface. Re-expression of E-cadherin in HT29(US) cells restored the ability of caveolin-1 to down-regulate (cid:1) -catenin-Tcf/Lef-dependent ) were ampliﬁed by PCR. All reaction products were analyzed after 30 ampliﬁcation cycles, each of which involved consecutive 1-min steps at 94°C, 55°C and 72°C. Survivin mRNA levels were normalized to actin RNA levels in this case. The results obtained by semiquantitative PCR were conﬁrmed by quantitative real-time PCR (QPCR) with brilliant SYBR green quantitative PCR La CA). The PCRs were carried out in a Chromo4 real-time PCR detection system (Bio-Rad Laboratories) using thermal cycle conditions following suggestions by the manufacturer and according to primer design. The relative gene expression levels were calculated using the 2 (cid:6)(cid:6) C T method (36). Survivin levels were normalized to RNA of the 18S rRNA housekeeping gene. All data were expressed relative to values obtained for mock-transfected cells (100%). The triplicate.
of Aesthetics in Consumer Products

In today´s highly saturated consumer markets, competition among products is high. Emotional design, kansei engineering and aesthetics are tools increasingly used to make products stand out from their competitors. This study investigates how the desire to own a product is related to the perceptions and aesthetics of the product. Surveys were conducted with 97 participants to gather their perceptions of 11 vases. Findings from the case study indicate that there exist significant relations between the desire to own a product and how the product is perceived; and also between the perceptions and the parameters of the vases. The results from this study are a set of design guidelines for creating products, in this case vases, targeting desire for ownership and evoking specific perceptions. The results are specific to vases or similar product categories although the method can be applied to other product categories.
REVIEW ON NANOSUSPENSION: AN EMERGING TECHNOLOGY

Solubility is the vital factor for drug effectiveness, independence of the route of administration. Many of the newly discovered drugs are poorly soluble and they create major problems during formulation which shows poor bioavailability. The problem is even more complex for drugs which belong to BCS Class II category. To overcome these problems nanotechnology is used to improve the solubility as well as bioavailability of poorly soluble drug. Nanosuspensions can be defined as the submicron colloidal dispersions of selected drugs in a liquid medium, size range below 1µm (10 -9 metre), without any matrix material which are stabilized by polymers and surfactants. Nanosuspensions are prepared by using mainly two techniques: top down and bottom up technique which include wet mill, high pressure homogenizer, emulsion ‐ solvent evaporation, melt emulsification method and super critical fluid techniques etc. Nanosuspensions can be delivered by oral, parenteral, pulmonary and ocular routes. Due to its numerous advantages nanosuspension technology can be regarded as a promising drug delivery system. This review article describes the preparation method, characterization, applications of the nanosuspension.
Facial Action Coding System for the Tongue

— FACS (Facial Action Coding System) is an anatomically based system for describing all observable facial movements. FACS provides a very reliable description for the face upper parts but it does not for the lower parts of the face. That limits FACS from being the dominant technique in the Facial Animation field. In this paper, we proposed 12 AUs (Action Units) for the Tongue, based on tongue anatomy, following the same format Paul Ekman used in defining FACS AUs. We applied these AUs on a 3D human model using Daz Studio Pro. and compared the results with photos that have been captured for real humans performing the proposed AUs. The results were very analogous to the ones performed by the real humans. Then we used the proposed AUs to make tongue animation for a very popular tongue movement in Egypt which is called Zaghrouta. The resulted animation was very realistic and almost identical to the video taken for an Egyptian woman performing this movement. Now we are having anatomically defined and reliable action units to control the tongue and overcame FACS limitation in this area. The proposed AUs offer additional pose control dials, as add-on for the existing computer graphics software, which give the animator more control and flexibility over the tongue and new levels of dynamic movements.