Miracle-dz/UniFAR-FTUs huggingface dataset:
Strategic Abilities of Asynchronous Agents: Semantic Side Effects

Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems (MAS), together with an algorithm for automated reduction of models. The semantics was built on the modeling tradition of distributed systems. As we show here, this can sometimes lead to counterintuitive interpretation of formulas when reasoning about the outcome of strategies. First, the semantics disregards finite paths, and yields unnatural evaluation of strategies with deadlocks. Secondly, the semantic representations do not allow to capture the asymmetry between proactive agents and the recipients of their choices. We propose how to avoid the problems by a suitable extension of the representations and change of the execution semantics for asynchronous MAS. We also prove that the model reduction scheme still works in the modified framework.
Loneliness, college belongingness, subjective vitality, and psychological adjustment during coronavirus pandemic: Development of the College Belongingness Questionnaire

Loneliness is a serious risk factor for healthy development and flourishing. Although loneliness has been revealed to play an important role in psychological health and well-being, little is known about moderating and mitigating mechanisms underlying this association, especially during adverse experiences (e.g., COVID-19 pandemic). The current study purposed to explore whether subjective vitality mediated the association of loneliness with psychological adjustment and whether college belongingness moderated the mediating effect of subjective vitality on students’ adjustment in the context of loneliness. The study sample comprised 333 undergraduate students (69% female) from a public university in Turkey. They ranged in age between 19 and 41 years (M= 21.94, SD= 4.15). Findings from mediation analysis revealed that loneliness had a significant predictive effect on subjective vitality and psychological adjustment challenges. Subjective vitality also mediated the effect of loneliness on the psychological adjustment of college students. Further, college belongingness moderated the mediating effect of subjective vitality on adjustment and had a protective effect on the association between loneliness and subjective vitality in college students. These results indicate that subjective vitality and college belongingness are important mechanisms that may help develop prevention and intervention strategies to foster students’ psychological health and well-being in university settings.
TARGETED CHANGE IN THE MENTALITY OF COMMUNITIES THROUGH TRANSFORMATIVE ADULT LEARNING

The relevance of the study is driven by the need to transform the mentality of human resources of Ukraine to introduce the reform of decentralisation of power and to create capable amalgamated territorial communities. The paper explains the specifics of the implementation of the programmes of transformative adult learning for a targeted change in the mentality of communities. For this purpose, the reengineering programme “Aware Residents is a Strong Community” was developed (using the theories of transformative adult learning, institutional matrices and progressive capitalism) and carried out among 200 local leaders and 800 residents of territories where the Kosmatska and Yabluniv ATCs were to be created, according to the Government’s Perspective Plan. The content of the programme was justified, and the effectiveness of its implementation was proved based on the results of the pre-project and follow-up sociological surveys through questioning all categories of adults with a sample size of 400 people selected using the methods of sociological analysis. The research revealed that the transformative adult learning, which involves a duality approach of individual and collective learning and community engagement approach, is an effective tool for introducing targeted changes in the human mentality according to the criteria of the Western institutional matrix. Therefore the findings can be used when implementing educational projects and programmes aimed at the reformation of public administration and the introduction of democratic governance.
BRINGING BLOGS INTO ESL WRITING CLASSROOM

In recent years, the use of web logs or blogs in education is on the rise. Even though it has immense potential as an extremely valuable tool in higher education learning, writing blogs in Malaysia is still in its infancy. Therefore, the objective of this study is to introduce a new ICT and CMC (Computer Mediated Communication) application – blogs, and investigate undergraduate students’ perceptions of using blogs as a tool for journal writing. This study employed the Davis’ Technology Acceptance Model (TAM) (1989) and its questionnaire-based measurement instrument to evaluate and justify users’ attitudes and behaviour. TAM posits two determinants–Perceived Ease of Use (PEOU) and Perceived Usefulness (PU) to determine an individual’s Behavioural Intention (BI) as a mediator of actual technology use. To explore the relationships among PEOU, PU, and BI of blog users to accomplish a writing task, questionnaire was administered on 78 undergraduate students as the target sample. Based on the objectives of the study, three hypotheses were formulated. The results from the pilot test had confirmed the reliability of the modified TAM-based questionnaire. The undergraduate students’ intention to use blogs for journal writing had a more significant effect on usefulness rather than on ease of use. Additionally, the findings revealed that TAM can be applied in the English Language Teaching (ELT) context to diagnose and interpret the attitude and behaviour of users of blogs. However, most importantly PEOU, PU, and BI were positively correlated at a significant level. These results depicted that the three proposed hypotheses in the study had failed to be rejected. The implication is blogs are more useful than easy to use for journal writing and the intention to use a newly-implemented ICT tool in the learning process can be attained provided that perceived usefulness and perceived ease of use can be obtained from the users.
Non-gestational choriocarcinoma of the ovary complicated by dysgerminoma: a case report

To report a case of non-gestational ovarian choriocarcinoma complicated by dysgerminoma and summarize its clinical manifestations, pathological features, treatment, and prognosis. The clinical manifestations, histomorphological features, and immunohistochemical staining findings of a patient with choriocarcinoma complicated by dysgerminoma were recorded. Computed tomography and vaginal color Doppler ultrasound in the outpatient department of our hospital showed that there were large, cystic or solid masses in the pelvic and abdominal cavities, which were considered to be malignant tumors originating from adnexa. Extensive hemorrhage and necrosis were seen in tumor tissues, which were composed of two tumor components: one tumor component contained cytotrophoblasts and syncytiotrophoblasts, and had no placental villous tissue; the other tumor component consisted of medium-sized, round or polygonal cells. Germ cell tumors were considered based on the histological morphological features of the HE-stained slices. We performed immunohistochemical staining, and relevant literature was reviewed. The patient had an International Federation of Gynecology and Obstetrics stage IC2 cancer, which was treated with a bleomycin + etoposide + cisplatin regimen after surgery. She received six cycles of chemotherapy in the ten months, and no special adverse events were identified. Mixed germ cell tumor is extremely rare and cannot be effectively cured. Chemotherapy can achieve good outcome in stage I mixed germ cell tumor patients and therefore early detection, early diagnosis, and early treatment are required.
INTEGRATED WAQF REPORTING SYSTEM

Integrated reporting was introduced in 2013 by the International Integrated Reporting Council. However, to date, its implementation is still at a preliminary stage in most countries including Malaysia. The new method recommends the reporting of five additional business capitals in addition to the financial capital as currently reported under the conventional approach. These are manufactured capital, human capital, social capital, intellectual capital and natural capital. The current reporting mainly emphasizes on summarizing past financial performances. This conventional or rules-based framework, however, is inefficient to serve the reporting purpose for waqf administration whose perspective is future oriented, if not infinite. The system was designed for compliance purposes but lacking information on value creation. This research proposes a new proactive reporting system for waqf based on the Islamic accounting and the integrated reporting framework. The system stresses on aligning strategies with financial information and presents how governance, performance and business prospects together, generate value. The study contributes to the existing body of literature by summarizing the current practice for waqf reporting and comparing the conventional and the Islamic reporting. The study then discusses the proposed model, termed as Integrated Waqf Reporting System. This new system emphasizes on future activities in line with further promoting Islamic Social Responsibility and Islamic social financing. This reporting could provide additional value for improving the efficiency of waqf management and sustainability.
Psychological factors towards doping in Iranian table tennis players

doping is regularly studied in sports, but we have not found such data for table tennis in Iran. We have studied doping in athletes competing at the Iranian national championship 2011-2012. The anonymous questionnaire for studying doping and psychological factors was used. This study aimed to determine the relations between cognitive variables (self-efficacy, locus of control, and dysfunctional attitudes) and psychological factors with using doping agents in table tennis players. We conducted a case-control study in Iran among table tennis players using 50 athletic drug users with reported use as a case group and 50 athletic nonusers and 50 nonathletic nonusers as controls that were matched on salient demographics (aged 18 years or older). They were then studied by self-efficacy questionnaire, locus of control scale, dysfunctional attitude scale, and general health questionnaire. Our findings showed that athletic drug users had a lower self-efficacy, more dysfunctional attitudes, and exhibited external locus of control rather than control groups. They were also more sensitive to psychological morbidity. Most of relations were statistically significant. More than 85 % of all the players included in our study do rely on coaches. In conclusion, we strongly suggest permanent educational antidoping programs and sport psychology for table tennis athletes as well as for their coaches and physicians.
Factors Influencing Online Purchase Intention of Shopee’s Consumers in Malaysia

The purpose of this study is to investigate the factors influencing online purchase intention of an e-commerce platform at Johor Bahru, Malaysia. This research selected Shopee Malaysia as the target e-commerce platform and a few variables from Technology Acceptance Model (TAM) and Theory of Planned Behaviour (TPB) tend to be used and analyzed the online purchase intention of Shopee’s consumers. Online purchase intention can be defined as a situation when an individual plan to purchase a particular good or service through the internet. Hence, it is important to analyze how the four dimensions tend to influence the overall online purchase intention in the e-commerce industry. In Malaysia, e-commerce business is gradually expanding, and it is significant for online retailers to clearly understand which dimensions enable to stand out among other competitors and increase online purchase intention. Data for this study were collected from a sample of 90 guests who live in Johor Bahru and had experienced in purchasing products via Shopee Malaysia. The collected data was analyzed using Statistical Package for Social Science (SPSS) version 23.0 and Partial Least Squares (PLS-SEM) with SmartPLS version 3. The findings revealed that two dimensions which are perceived usefulness and subjective norm positively influence online purchase intention whereas, two dimensions which are perceived ease of use and trust do not have a significant impact. As a result, it is suggested for Shopee Malaysia to appropriately apply relevant specific tactics to enhance those components as well as online purchase intention.
European Journal of Physical Education and Sport Science-2501-1235

Background/Objective: The aim of this review is to investigate general information about blood flow restriction in strength training. Methods: In this study, the related literature was studied by using the screening model. Data were obtained from various articles and internet websites. Of the indexes and databases used in the research; (6) scientific studies on Yöktez, (3) on Pubmed, (3) on Researchgate, (2) on Physiopedia and (4) on Google Scholar were examined. Scientific studies where the effects of blood flow restriction on sedentary individuals (11), the effects of blood flow restriction on individual athletes (1), the effects of blood flow restriction on team athletes (3), and the effects of blood flow restriction on individuals after injury examined (3), were used in our research. Conclusion: The aim of this review is to investigate the application methods and effects of venous blood flow restriction technique, which has recently become popular in resistance training. In this direction, resistance training applied with the BFR technique has been examined with this review by making a literature review. As a result, it is thought that the BFR technique may have a positive effect on the post-injury recovery process and can also help increase the sportive performance and competition gain. It can be said that it can give positive results in terms of hypertrophy if it is evaluated as an aid to strength training, which is quite popular. It is estimated that they will be able to do their daily activities more freely if it is applied to elderly people. It is thought that a very popular movement such as squat, when applied together with venous blood flow restriction, can increase the strength of jumping, besides, if it is applied in anaerobicbased branches, sportive performance can also increase positively. i Correspondence: email ogulfirat@gelisim.edu. tr Ömür Gülfirat, Halil Bişgin BLOOD FLOW RESTRICTION IN STRENGTH TRAINING (REVIEW) European Journal of Physical Education and Sport Science Volume 6 │ Issue 11 │ 2021 83
Funny Moments of Friendship Lead to Medicine Brand Recall Recommendation (Evidence in Indonesian Humor)

This research aims to understand how funny moment in social interaction friendship able to explore memory toward brand a product is in the moment. The research method used is a qualitative approach, namely SIT method (Sequential Incident Technique). The findings of this study explain that friendship, storytelling are proven antecedents and have been discussed by previous researchers. However, there are findings of new antecedents, namely memory light, feeling on story, feeling on product or brand and business consequences. funny moments are part of feeling on the story but have something to do with memory light and purchasing decisions. Originality offered in this research is use of any object’s memory in individual psychology relation and connection to branding a product has rarely examined. In drug use, Indonesian people tend to provide recommendations based on funny storytelling.
DETERMINANTS AND CHOICES OF OFF-FARM WORK AMONG RICE FARMERS IN A DEVELOPING COUNTRY

The present study analyses the relative importance of off-farm activities and factors influencing off-farm activities among rice farmers in Punjab, Pakistan. The data from 400 farmers were collected in detail, from which 262 farmers were characterized with off-farm activities. Results revealed that self-employment was the most important off-farm participating activity amongst the rice farmers in categorized off-farm work. While, public service was the second important off-farm activity of the farmers. The results of multinomial probit regression indicated that education has significant impact and stimulate for engagement in each four categories of off-farm employment. Presence of younger population in households and land renting opportunity stimulate migration in other cities and countries. Less farming area, dependency ratio and large family size are the driving factors for participation in off-farm labour activities. There should be off-farm promoting activities within the region to enhance rice growing households’ income. Consequently, income will be helpful to mitigate the food security by investing in agricultural sector and also for improving the farmers’ living standard and poverty reduction as well.
A study on the linkage between organizational justice and organizational citizenship behavior among the faculties of private university: Bangladesh perspective

Organizational justice has been identified as an important factor that determines organizational citizenship behaviors. However, the aim of this study was to look into the links between organizational justice in the form of distributive, procedural, and interactional justice and faculty members' citizenship activity at different Bangladeshi universities. We have used organizational justice and organizational citizenship behavior questionnaires, which have previously been used by other scholar to obtain data. The data was gathered from 112 faculty members at varying Bangladeshi universities, and the data was analyzed using descriptive statistics, Pearson correlation, and multiple regression analysis. Tthe study's findings show that organizational justice has a special connection with organizational citizenship behavior except for distributive justice with altruism, distributive justice with courtesy, and distributive justice with conscientiousness,. Furthermore, both procedural and interactional justice can be used to forecast OCB.
Proteins on the edge : transitions of structure ensembles in protein unfolding and protein-protein binding

Proteins move. Their incessant fluctuations are governed by a complex interplay between thousands of atoms. Experimental structures, providing exact coordinates for every atom, hence only represent the average of a diverse ensemble of interchanging conformations. Molecular motion is often the barely understood link between structure and biological function. The present work examines two different processes that put proteins on the edge of moving from one global state to another. At the moment of transition, perturbation or, indeed, biological action, benign structure fluctuations can, it seems, turn into major forces. Chains of spectrin repeats apparently rely on structure flexibility to achieve a smooth response to external force. Single molecule atomic force microscopy experiments on this domain, in accord with simulations, showed clear traces of structure fluctuation. On the verge of disruption, thermal fluctuations decide how much extension a spectrin repeat tolerates and whether or not unfolding is blocked by intermediate non-native structures. This picture was supported by experiments and simulations on mutated repeats. The elasticity of the membrane skeleton and, for example, red blood cells, may thus to some extent depend on chaotic motions within single protein domains. Structure fluctuations also affect the process of protein-protein interaction, but the interplay of protein flexibility and recognition remains far from understood. I performed and compared molecular dynamics simulations on 17 protein complexes as well as their free components. Free interaction patches turned out more flexible than the remaining protein surface. However, contrary to common sense, binding does not generally restrict protein flexibility and conformational entropy may be lost but also gained in the process. Current models of recognition do not account for overall protein flexibility or make assumptions that are incompatible with kinetic observations. I combined the simulation data with systematic docking calculations and derived a new model for this process. Often, only subsets of the two free structure ensembles were mutually compatible. A conformer selection step may thus impede the rate of recognition. Protein fluctuations seem to be actively involved in the binding reaction and influence or even control the speed of recognition as well as the stability of the complex.
Central diabetic insipidus associated with suspected pituitary gland tumor in a dog

A 12-year-old spayed female Yorkshire terrier dog was presented with two-weeks history of lethargy, mental dullness and polydipsia. Neurologic examination revealed proprioceptive defect of all limbs and loss of swallowing gag reflex. The dog revealed persistent dehydration, hypernatremia, hyperosmolarity and hyposthenuria. On magnetic resornance imaging (MRI), the mass were heterogeneous signality on T1 weighted images, hyperintense signality on T2 weighted image with contrast enhancement on hypothalamohypophyseal lesion. Based on these findings, the dog was suspected as having pituitary gland tumor. Through water deprivation test and response to desmopressin acetate (1-deamino-8-Darginine, DDAVP), this case was diagnosed by central diabetes insipidus (CDI). This paper reports the clinical sign, MRI, response to the exogenous antidiuretic hormone of CDI due to suspected pituitary tumor in a dog and DDAVP administration was evaluated effective therapy to correct hypernatremia induced by CDI.
Determinants of External Auditor Choice Selection in Listed Global Brand Companies in Nigeria

This research work analyses the determinants of external auditor choice selection in listed Global Brand companies in Nigeria. The Big 4 audit firms consisting Akintola Williams, Ernst and Young, KPMG, and Price Water House Coopers where selected for the study. Out of the 11 global brands in Nigeria, only 9 had complete and consistent data and so were used. The study employed Multinomial Probit Regression (PMR) analysis in x-raying the data. Panel data referring to listed companies for the period of 2008-2017 was employed. The independent variable used for this study include: firm size; leverage; firm profitability; firm age, and; audit fee. The result showed a significant positive relationship between firm size and choice of external auditor’s selection. The study also reveals audit fee could discourage listed global brand companies from engaging the Big 4 audit firms in Nigeria. The study therefore recommends that the global brand companies should ensure a large asset base which will improve their tendency to engage the Big 4. In addition the Big 4 audit firms should ensure that their fees are affordable as this will attract the global brand companies in Nigeria.