Miracle-dz/UniFAR-FTUs huggingface dataset:
Tools and techniques for multi-valued networks using rewriting logic

Multi-valued networks (MVNs) are an important, widely used qualitative modelling technique where time and states are discrete. MVNs extend the well-known Boolean networks by providing a more powerful qualitative modelling approach for biological systems by allowing an entity’s state to be within a range of discrete set of values instead of just 0 and 1. They provide a logical framework for qualitatively modelling and analysing control systems and have been successfully applied to biological systems and circuit design. While a range of support tools for developing and analysing MVNs exist, more work is needed to develop tools to support the practical applications of those techniques. One of the frameworks that have been successfully applied to biological systems is Rewriting Logic (RL), an algebraic specification framework that is capable of modelling and analysing the behaviour of dynamic, concurrent systems. The flexibility of RL techniques such as implementation of strategies has allowed it to be successfully used to model a wide range of different formalisms and systems, such as process algebras, Petri nets, and biological systems. RL specification, programming and computation is supported by a range of powerful analysis tools which was one of the motivations for choosing to use RL. We choose Maude as a tool in our work here which is a high-performance reflective language supporting both equational and RL specification. Maude is going to be used through this thesis to model and analyse a range of MVNs using RL. In this thesis we aim to investigate the application of RL to modelling and analysing both synchronous and asynchronous MVNs, thus enabling the application of support tools available for RL. We start by constructing an RL model for MVNs using a translation approach that translates an MVNs set of equations into rewrite rules. We formally show that
Conceptual paper on drone usage in journalism: a study in Sri Lanka

Drone usage in journalism is becoming popular in the world. The usage of drones in journalism is surrounded with its own advantages and disadvantages. Hence as an attempt to gain a depth of understanding usage of drones in journalism, this research aims to investigate the predictive nature of performance expectancy, effort expectancy and social influence on intention towards the usage of drones as well as the impact of the intension of drone usage on actual drone usage in journalism with the use of the unified theory of acceptance and use of technology (UTAUT). In addition, in line with the unified theory of acceptance and use of technology (UTAUT) it is determined to gain an understanding on the impact of facility conditions on the actual usage of drones in journalism. The study was conducted using a structured questionnaire along with the sample of journalists in Sri Lanka.
Examining mobile game experiences of prospective primary school teachers and their game designs about teaching math

In this study, we aimed at introducing to prospective primary school teachers how to present a pattern of numbers through designing a mobile game according to the Theory of Didactical Situations (TDS). Additionally, the games developed by teacher candidates were examined. In our study, the case study method was used, which is one of the qualitative research methods. The participants were 17 prospective primary school teachers (9-females, 8-males). The data were collected through video cameras, audio recorders, and files that include game designs of prospective teachers. In data analysis, the actions concerning mobile gaming experiences of prospective teachers were conducted according to the TDS stages. The games designed by prospective teachers were examined in terms of basic gamification criteria. Findings of the study; it was demonstrated that mobile games designed according to TDS support the prospective teachers in many aspects, such as developing a milieu for using gamification in teaching math, internalizing processes of reflecting gamification criteria to the game, and positively influencing the affective characteristics. Moreover, concerning gamification criteria, it was determined that some prospective teachers are successful at gamification of mathematical knowledge; however, most of them have difficulties in game designing, particularly in giving feedbacks about games.
Dynamic Performance Comparison of CO2 Mixture Transcritical Power Cycle Systems with Variable Configurations for Engine Waste Heat Recovery

Carbon dioxide transcritical power cycle (CTPC) is suitable for engine waste heat recovery owing to its advantages, such as compact construction and high decomposition temperature. In addition, the addition of refrigerant can further improve the performance of pure carbon dioxide (CO2). Because there are limited studies considering the dynamic performance of CTPC systems with CO2 mixture as the working fluid (CMTPC), let alone the dynamic performance comparison of different structures of the CMTPC system, the object of the current work was to compare the dynamic performance, including the off-design performance and dynamic response speed, of four kinds of CMTPC systems, as well as their sensitivity to system input parameters. The dynamic models of four CMTPC systems were established and validated against experimental data, which includes basic CMTPC (B-CMTPC), CMTPC with a preheater (P-CMTPC), CMTPC with a recuperator (R-CMTPC), and CMTPC with both a recuperator and preheater (PR-CMTPC). Based on the dynamic models, the off-design performance and dynamic response speed of four CMTPC systems were compared by changing the engine load. The fluctuation amplitude and response time of a R-CTPC system are the maximum under off-design conditions. Moreover, the sensitivity analysis demonstrates that different output parameters of four CMTPC systems have differing sensitivity to input parameters. It is necessary to pay attention to the more sensitive input parameters under the specific working condition to avoid system damage or unsafe operation.
A new species of Alvinocaris (Crustacea: Decapoda: Caridea: Alvinocarididae) from hydrothermal vents in the Izu-Bonin and Mariana Arcs, north-western Pacific

Abstract A new species of the caridean genus Alvinocaris, A. marimonte sp. nov., is described and illustrated on the basis of specimens collected from hydrothermal vents at three locations in Izu-Bonin and Mariana Arcs of the north-western Pacific Ocean, Myojin Knoll (1224 m depth), NW Eifuku (1574–1582 m depth) and NW Rota seamounts (525 m depth). It is the 17th species assigned to Alvinocaris, and differs from all other congeneric species in several morphological characteristics derived from the rostrum length and armature, the carapace armature, the shape of the posterior margin of the telson and the armature of the third and fourth pereopods. Results of molecular phylogenetic analyses based on partial sequences of the mitochondrial COI and nuclear ITS-I genes compared between specimens of A. marimonte sp. nov. and other known species of Alvinocaris supported our recognition of the new species, although available data are still limited. Alvinocaris marimonte sp. nov. is represented by two morphotypes, distinguished by the armature of the posterior margin of the telson (spines vs plumose setae), which were not detected as separate species by the molecular analysis. Our discovery of the intraspecific variation in the armature of the posterior margin of the telson led us to reassess diagnostic characters used to distinguish species within the genus Alvinocaris.
Positive educative programme: A whole school approach to supporting children’s well-being and creating a positive school climate: a pilot study

Purpose The purpose of this paper is to report on a process and impact evaluation of the Positief Educatief Programma (Positive Education Programme (PEP)), a whole school approach to supporting children’s well-being and creating a positive school climate in primary schools in the Netherlands. PEP adopts a competence skill enhancement approach with a focus on developing children’s positive emotions and strengths. Design/methodology/approach A process and impact evaluation was performed within the context of two schools piloting the programme. Employing questionnaires and interviews, the evaluation sought to examine the implementation of PEP, participants’ experiences with key components and the programme impact of PEP. Findings The findings reveal largely positive attitudes towards PEP. Staff and parents were positive about the core components of PEP. Results from standardised questionnaires provide preliminary evidence about the positive impact of PEP on children’s self-reported well-being and problem behaviour, teachers’ awareness of children’s strengths and overall school climate. The provision of practical strategies and activity-based resources was considered essential to the ongoing implementation of PEP. Research limitations/implications This study reports on findings from two implementation schools and therefore lacks generalisability. Further research using more robust research methods exploring the effectiveness of PEP when compared with “business as usual” is needed. Originality/value School frameworks aimed at creating a positive school climate and promoting well-being at the whole school level have not been carried out in the Netherlands to date. The results from this study provide a unique insight into the implementation and perceived impact of a whole school framework in the context of two primary schools.
The Moderating Effect of Emotional Intelligence on the Relationship between Transition Shock and Adaptation on Clinical Practice among Nursing Students

The purpose of this study was to identify the moderated effects of emotional intelligence on the relationship between transition shock and adaptation on clinical practice among nursing students. Subjects were 185 associate nursing students associate nursing students(3rd). The data were collected using self -report questionnaire from May 1 to June 14, 2019. Data were analyzed by descriptive statistics, t-test, ANOVA, Pearson correlation and hierarchical multiple regression with SPSS/WIN 23.0. Mean point of transition shock(4 point scale) was 2.32. Mean point of emotional intelligence(5 point scale) was 3.61, and adaptation on clinical practice(5 point scale) was 3.40. Transition shock were significantly negative correlation with emotional intelligence(r=-.26. p <.001) and adaptation on clinical practice(r=-.43. p <.001) in nursing students. Emotional intelligence were significantly positive correlation with adaptation on clinical practice(r=.36. p <.001). Emotional intelligence has been shown to modulate the relationship between transition shock shock and adaptation on clinical practice(△R= 0.21, p <.001). Therefore, to decrease the transition shock and to increase the adaptation on clinical practice of nursing students, It is necessary to develop the program for increase emotional intelligence of nursing students.
A CSA-Secure Multi-Secret Sharing Scheme in the Standard Model

Abstract In a multi-stage secret sharing (MSSS) scheme, a dealer D share secrets among the participants in such a way that secrets are reconstructed one by one in different stages. Recently, we proposed a secure MSSS in the standard model. In this paper, we present another MSSS scheme that has shorter public outputs and better security relation with the underlying symmetric encryption in the standard model.
Gut microbiome modulates behaviour and life history in two wild rodents

Laboratory studies demonstrate that the gut microbiome can regulate host anxiety and exploratory behaviour. While this has implications for human health, it could have ecological and evolutionary implications for wild populations, a hitherto untested hypothesis. We tested whether the microbiome can directly modulate host behaviour and thereby affect life history in wild mice (Peromyscus maniculatus) and voles (Myodes gapperi). We compared the microbiome composition, exploration and anxiety behaviours, and home range of mice and voles before and after chronic antibiotic treatment and measured survival during treatment. Treated animals had lower diversity and relative abundance of most bacterial phyla save for Proteobacteria which increased in relative abundance. In mice, antibiotic treatment increased exploration and decreased home range without impacting survival. In voles, it lowered survival such that we could not test its effect on behaviour. Therefore, the microbiome can directly impact behaviour and host life history in the wild.
Microscopic modeling of transverse mode instabilities in mode-locked vertical external-cavity surface-emitting lasers

The generation and control of higher order transverse modes within a mode-locked vertical external-cavity surface-emitting laser with a semiconductor saturable absorber mirror are studied using a numerical solver for the two dimensional Maxwell Semiconductor Bloch Equations. In this work, the complex spatiotemporal evolution of the pulse toward a mode-locked state depends sensitively on the pumping level and pump to pulse spot size ratio. Microscopic physics sourced effects such as kinetic hole burning and filling, occurring on femtosecond timescales, play a central role. In particular, unsaturated charge carriers, both spectrally and transversally, initiate the development of asymmetric pulse profiles that transform over various characteristic time scales in a carrier chasing behavior.The generation and control of higher order transverse modes within a mode-locked vertical external-cavity surface-emitting laser with a semiconductor saturable absorber mirror are studied using a numerical solver for the two dimensional Maxwell Semiconductor Bloch Equations. In this work, the complex spatiotemporal evolution of the pulse toward a mode-locked state depends sensitively on the pumping level and pump to pulse spot size ratio. Microscopic physics sourced effects such as kinetic hole burning and filling, occurring on femtosecond timescales, play a central role. In particular, unsaturated charge carriers, both spectrally and transversally, initiate the development of asymmetric pulse profiles that transform over various characteristic time scales in a carrier chasing behavior.
Prevalência da infecção por Papilomavirus humano e soropositividade para Chlamydia trachomatis em mulheres portadoras de neoplasias intra-epiteliais e invasivas cervicais na região Central do Brasil.

Background: High-risk papillomavirus (HPV) is the etiological agent for cervical neoplasia. However, the presence of singly HPV infection is unlikely to be sufficient for cervical carcinogenesis, and other sexually transmitted infections (STI) may increase the risk of cervical neoplasia. The significance of the association between the human papillomavirus (HPV) and other sexually transmitted infections in the development of cervical neoplasias has been investigated and the more consistent data have pointed to an association with Chlamydia trachomatis (C. trachomatis). However, the exact relationship between C. trachomatis and HPV infection remains not completely understood. It is possible that C. trachomatis infection may be an independent factor or cofactor for HPV in the development of cervical neoplasia. Objective: The objective of this study was to evaluate the seropositivity for Chlamydia trachomatis in HPV-positive women correlating with the severity of cervical neoplasia in central area of Brazil. Methodology: A total of 131 women referred to colposcopic clinic, in Goiás, Brazil because of an abnormal cervical smear were included in the study. HPV DNA was detected by polymerase chain reaction using PGMY09/PGMY11 primers, and genotyping was performed by reverse dot blot hybridization. Seropositivity for C. trachomatis was evaluated using ELISA for the detection of IgG antibodies. Results: The total prevalence of HPV infection was 86.3% (113/131). Seropositivity for C. trachomatis was 26% (34/131). Thirty one women (27.4%; 31/113) tested simultaneously positive for C. trachomatis and HPV. Of these, 12.9% (4/31) tested negative at histology, while 87.1% (27/31) tested positive for CIN and invasive carcinomas. The most prevalent HPV type in the C. trachomatis seropositive women was HPV 16 (51.6%; 16/31) and in these women, this type was present in 50% (2/4) of cases negative, 33.3% (3/9) of cases CIN1, 53.3% (8/15) of cases CIN2/CIN3 and 100% (3/3) of cases invasive carcinoma. Taking as reference cases negative for HPV/ C. trachomatis, the positivity for HPV/ C. trachomatis was significantly associated with CIN 2 or worse diagnostic, especially the types 16 and 18. A borderline significance was observed when the reference was HPV positive and C. trachomatis negative cases. There was a borderline significance between other types of HPV and positivity for C. trachomatis with neoplastic diagnosis considering as reference HPV/ C. trachomatis negative cases, Conclusions: C. trachomatis seropositivity was associated with severity of cervical neoplasia in women HPV positives. Then, it may be important to screen for the simultaneous presence of C. trachomatis which may have synergistic pathological effects.
Early Parenting Education to Strengthen Aboriginal Parents in a Remote Area: The Development and Piloting of a Group Programme

In this article, the authors describe the development, piloting and evaluation of a parenting programme delivered to Aboriginal families of young children in remote NSW. The parenting programme was based on Parents as Teachers, an evidence-based early intervention and prevention home visiting programme that draws on child development theory, and was developed in collaboration with representatives from the local Aboriginal community. The impetus for the programme came from concern about the poor early learning and child wellbeing indicators in this community, pointing to the need for early parenting support that could be effectively delivered by trained Aboriginal workers in a remote area where early childhood resources were very limited. The sessions, implemented within a group setting, were structured and intensive. Six topics identified as being most important to parents of children aged from birth to 18 months, and six topics for parents of children aged from 18 months to 3 years were presented, with three sessions developed for each topic. An evaluation of the programme to date revealed that parent satisfaction with the programme was very high, as were reports of increased knowledge of child development and parenting skills, and increased connection with other families. Aboriginal staff valued the structured programme and resources that were developed. They reported increased knowledge of child development and how to run groups effectively, and observed positive changes in the participating families.
Effects of Diets with Different Ratios of Neutral Detergent Fiber to Non-Fibrous Carbohydrates on Feeding Behavior in Transition Holstein Cows

The objective of this study was to determine the effect of close-up diets with increased ratios of neutral detergent fiber (NDF) to non-fibrous carbohydrates (NFC) on feeding behavior in transition cows. Thirty-nine dry cows were blocked, assigned randomly to three groups and fed diets with a low (1.07, LF), medium (1.41, MF) or high (2.08, HF) NDF:NFC ratio from 21 d prior to the expected day of calving. After parturition, all cows were fed the same diet for a further 35 d. The average DMI decreased as the ratio of NDF:NFC increased at -3 weeks (Wk) and -2 Wk and increased at +5 Wk plessthan 0.05). The average daily feeding time was lower and the average feeding rate was higher (plessthan 0.05) for LF cows compared with MF and HF cows during prepartum. In conclusion, a prepartum diet with increased ratios of NDF:NFC decreased the DMI and feeding rate, increased daily feeding times and visits prepartum and was beneficial in increasing DMI postpartum.
Code-Switching and Portuguese Influence in the Invention of Tetun-Portu as a Creole

A creole is a pidgin that has attained the first generation of the speaker. The formation of a creole might be influenced by several factors and the two of them are code-switching and the influence of a dominant language. In relation to the two factors, there is a creole that might fit the situation. The creole is the Tetun-Portu language and the creole is presumably invented from the combination between the Tetun-Terik language and the Portuguese language. The backbone of the language might be adopted from the Tetun-Terik language but the codes have been dominated by the Portuguese language. The invention of the creole might be related to the Portuguese occupation in the Timor Island several centuries ago. Due to the interesting characteristics, the researcher would like to investigate the creole further. In conducting the study, the focus will be on how the code-switching influence the invention of the creole and the Portuguese influence within the invention of the creole itself. The findings of the study confirm that the Tetun-Portu language might be considered as a creole because it has completely different structures and it has adopted more codes from the Portuguese language.Keywords: Creole, Tetun-Terik, Tetun-Portu, code-switching, Portuguese influence
An Intelligent System for Coffee Grading and Disease Identification. (Un système intelligent pour le classement du café et l'identification des maladies)

One of the key factors in the success of deep learning models is their ability to learn important representations from the input data automatically, without the need for human experts designing task specific features. However, to learn these representations, deep learning methods usually require large amounts of data, which are expensive to obtain especially because of the efforts required for gathering and labeling data. This thesis investigates the applicability of deep learning for real world situations where data exist in small amounts, collected at different locations (labs), using different acquisition techniques and with minimally controlled conditions. There are two main contribution. First, we tackle the problem of coffee plant disease detection, which up to now was not approached in the literature, using a dataset containing images of coffee plant disease downloaded from the internet and that we captured in the farm, and a transfer-learning approach. It was possible to design a model that classifies coffee plant diseases with test accuracy of 90.18% using only 562 images of coffee plant. Second, we tackle the problem of coffee beans grading. A dataset for coffee beans grading is created by capturing images of coffee beans at the Jimma branch of Ethiopia's Commodity Exchange (ECX) in two rounds. In an attempt to solve the dataset shift that occurred in the two sets because of illumination and camera differences, color correction algorithms were added to the existing image processing and data augmentation pipeline. However, these techniques did not improve the performance of the model when compared to the commonly used preprocessing methods. This indicates that the difference in the image acquisition techniques was not the only reason for the dataset shift. We proposed and evaluated a network architecture that combined with data augmentation and ensemble learning techniques, led to an improved classifier (89.1% accuracy on the test dataset) that grades coffee beans, which performs better than the classical machine learning approaches (25.47% improvement) and off-the-shelf deep learning models (18% improvement). The coffee beans dataset and the models will be made publicly available to support further research on these important topics.