Miracle-dz/UniFAR-FTUs huggingface dataset:
Imbalances of key parameters needed for energy-yielding processes in the serum of tramadol-treated male rats

Background: Addiction is one of the major health challenges in the world. Tramadol is an analgesic that has been widely abused, causing negative health consequences. This study sheds light on the effect of the administration of tramadol hydrochloride (HCl) on the serum levels of key parameters needed for energy production. Male Wistar rats received oral administration of tramadol HCl for 30 days and then were sacrificed to collect blood from the eyes and determine the levels of nutritional measures in the serum by kits. Our findings showed that the daily oral gavage of 50 or 100 mg/kg tramadol HCl for a month decreased the serum levels of ferrous iron and glucose significantly compared to the nontreated rats. Additionally, both doses increased the levels of total protein, triglycerides, and magnesium compared to the nontreated animals. Only the dose of 50 mg/kg tramadol HCl was effective in elevating the serum concentration of vitamin B12. Moreover, tramadol HCl treatment did not trigger any change in the levels of zinc in comparison to the control group. In conclusion, tramadol causes imbalances of key parameters needed for energy production.
Computing correctly with inductive relations

Inductive relations are the predominant way of writing specifications in mechanized proof developments. Compared to purely functional specifications, they enjoy increased expressive power and facilitate more compositional reasoning. However, inductive relations also come with a significant drawback: they can’t be used for computation. In this paper, we present a unifying framework for extracting three different kinds of computational content from inductively defined relations: semi-decision procedures, enumerators, and random generators. We show how three different instantiations of the same algorithm can be used to generate all three classes of computational definitions inside the logic of the Coq proof assistant. For each derived computation, we also derive mechanized proofs that it is sound and complete with respect to the original inductive relation, using Ltac2, Coq’s new metaprogramming facility. We implement our framework on top of the QuickChick testing tool for Coq, and demonstrate that it covers most cases of interest by extracting computations for the inductive relations found in the Software Foundations series. Finally, we evaluate the practicality and the efficiency of our approach with small case studies in randomized property-based testing and proof by computational reflection.
The Equivalent of the Translation Parables in the Bible

In doing the translation, the translator should be able to retain the meaning in the target language to make an equivalent translation. According to Catford (1974: 50) translation equivalence occurs when a SL text and TL text of items are relatable to the same features of substance. He also states that the aim in total translation must, therefore, be to select TL equivalents not with the same meaning as the SL items, but with the greatest possible overlap of situational range. From that statement, it can be concluded that the translation is the process to transfer the same function by using the natural forms from SL into the TL. Generally, this article is focused on the analysis of the types of parables and their translation equivalents in the target language on the Bible. The figure of speech is the style of language used by the writer to convey the message imaginatively or as a glossary language used to create a certain effect and make alive literary works. Parables are part of the figure of speech. Parables are short stories taken from a natural state of life or a general state of life and illustrate moral or religious lessons. Nelson (1995) in Booth (2005) states that a parable is a short simple story designed to communicate spiritual truth, religious principle or moral lesson. The data of this research were obtained from the New Testament Holy Bible. The main theory applied is the theory from (Larson 1998) entitled Meaning Based Translation. And some books that are relevant to the topic of this paper. The result of this research shows that in the Gospels, the writer found two categories figure of speech that use by Jesus Christ in His preaching, they are the parables that use metaphor and the parables that use simile. The context of the parables is to describe the word of God and the truth of life that is the Kingdom of Heaven.
COMPARISON OF AN ESTIMATED INDEX OF FATTY ACID METABOLISM AND LIVER 6-DESATURASE ACTIVITY IN RABBIT

The aim of this study was to verify the accuracy of 6-desaturase (6D) index estimated from fatty acid profile of liver and meat of rabbit in comparison with its real metabolic activity directly evaluated in the liver microsomes. Two experiment were carried out using different diets (Control vs Linolenic diets) and genotypes (selected vs local breeds) for the comparison of 6D index and enzyme activity assay. Concerning the feed effect, a lower estimated index was found in Linolenic samples, both in liver and muscle, and this trend was only confirmed by the desaturase activity towards the n-3 fatty acids. The total and n-6 fatty acid-enzyme activity did not show significant differences between groups, as well as any correspondences with the indexes. The “selected” rabbits showed lower indexes respect to the local ones. The activity of the enzymatic complex has instead highlighted an opposite trend for the n-3 and the n-6 series and total one. In particular, the enzyme activity toward n-3 followed the same tendency of the index, whereas the other two determinations showed an opposite trend. The results of this comparison demonstrate that the calculation of the proposed index could be used as surrogates of the measure of liver 6-desaturase activity in lipid metabolism of rabbit, but only if specific n-3 pathway is considered.
Reducing Lead Time in Cutting Tool Development By Implementing Blitz QFD

A cutting tool producer aims to reduce the lead time from finding customer needs to achieving peak sales. There are many approaches to improving a company's new product development process in bits and pieces, but a more thorough impact is accomplished with a chain of well integrated methods in an educational package including certified skill levels. A modified version of the well known but sometimes misunderstood process, Quality Function Deployment (QFD), can fulfill the above aim. QFD is used by companies to better understand the spoken and unspoken customer needs their priority and translate them into product requirements, assuring quality throughout the design, manufacturing, and after-sales phases. Its traditional tool set focused on time consuming matrices, called houses. In today's lean businesses, the resources available to do this depth of analysis are reduced, and so more efficient methods have been introduced by the QFD Institute under the guidance of Dr. Yoji Akao, the founder of QFD. This paper will introduce some of the modern Blitz QFD® methods and discuss their impact as they have been applied to improve the product development at Sandvik Coromant.
ToxT Regulon Is Nonessential for Vibrio cholerae Colonization in Adult Mice

Vibrio cholerae can inhabit both marine and freshwater ecosystems and can also enter and proliferate in the intestine of different animals which consume contaminated food or water. To successfully colonize the intestines of different hosts, V. cholerae coordinates its gene expression in response to different environments. ABSTRACT Vibrio cholerae is the causative agent of cholera, a life-threatening diarrheal disease in humans. The ability of V. cholerae to colonize the intestine of different animals is a key factor for its fitness and transmissibility between hosts. Many virulence factors, including the ToxT regulon, have been identified to be the major components allowing V. cholerae to colonize the small intestine of suckling mice; however, the mechanism of V. cholerae colonization in the adult mammalian intestine is unclear. In this study, using the streptomycin-treated adult mouse animal model, we characterized the role of the ToxT regulon in V. cholerae colonization in adult mammalian intestine. We first found that the activity of TcpP regulating ToxT regulon expression was attenuated by intestinal reactive oxygen species (ROS). We then found that V. cholerae containing a deletion of the ToxT regulon showed a competition advantage in colonizing adult mice; however, a mutant containing a constitutively active ToxT regulon showed a significant defect in colonizing adult mice. Constitutively producing the virulence factors in the ToxT regulon causes a V. cholerae competition defect in nutrient-limiting conditions. The results of this study demonstrate that modulating the activity of the ToxT regulon through ROS sensed by TcpP is critical for V. cholerae to enhance its colonization in the intestine of adult mice. IMPORTANCE Vibrio cholerae can inhabit both marine and freshwater ecosystems and can also enter and proliferate in the intestine of different animals which consume contaminated food or water. To successfully colonize the intestines of different hosts, V. cholerae coordinates its gene expression in response to different environments. Here, we describe how V. cholerae modulates the activity of the ToxT regulon by TcpP sensing ROS signals in the intestine of adult mice to better survive in this environment. We found that the constitutively active ToxT regulon causes V. cholerae growth retardation and colonization defect in adult mice. Our work highlights the distinctive role that regulating the activity of the ToxT regulon plays for V. cholerae to achieve full survival fitness in the adult mammalian intestine.
Draft Genome Sequence of Paenibacillus sonchi IIRRBNF1, a Nitrogen-Fixing and Plant Growth-Promoting Bacterium Isolated from Rice Rhizosphere

Paenibacillus sonchi IIRRBNF1 is a rice-rhizospheric, endospore-forming, Gram-positive, plant growth-promoting rhizobacterium. Here, we report the draft genome sequence of Paenibacillus sonchi IIRRBNF1, which consists of an∼7.3-Mb (7,323,556-bp) genome with 6,271 coding sequences (CDSs), 13 rRNAs, and 67 tRNAs. The genome reveals the presence of a nitrogen-fixing gene cluster and genes associated with multiple plant growth-promoting traits. ABSTRACT Paenibacillus sonchi IIRRBNF1 is a rice-rhizospheric, endospore-forming, Gram-positive, plant growth-promoting rhizobacterium. Here, we report the draft genome sequence of Paenibacillus sonchi IIRRBNF1, which consists of an∼7.3-Mb (7,323,556-bp) genome with 6,271 coding sequences (CDSs), 13 rRNAs, and 67 tRNAs. The genome reveals the presence of a nitrogen-fixing gene cluster and genes associated with multiple plant growth-promoting traits.
Engineering Circularized mRNAs for the Production of Spider Silk Proteins

Spider silk is a biomaterial with superior properties. However, its heterologous expression template is hard to construct. ABSTRACT Biomaterials offer unique properties that make them irreplaceable for next-generation applications. Fibrous proteins, such as various caterpillar silks and especially spider silk, have strength and toughness not found in human-made materials. In early studies, proteins containing long tandem repeats, such as major ampullate spidroin 1 (MaSp1) and flagelliform silk protein (FSLP), were produced using a large DNA template composed of many tandem repeats. The hierarchical DNA assembly of the DNA template is very time-consuming and labor-intensive, which makes the fibrous proteins difficult to study and engineer. In this study, we designed a circularized mRNA (cmRNA) employing the RNA cyclase ribozyme mechanism. cmRNAs encoding spider silk protein MaSp1 and FSLP were designed based on only one unit of the template sequence but provide ribosomes with a circular and infinite translation template for production of long peptides containing tandem repeats. Using this technique, cmRNAs of MaSp1 and FSLP were successfully generated with circularization efficiencies of 8.5% and 36.7%, respectively, which supported the production of recombinant MaSp1 and FSLP larger than 110 and 88 kDa, containing tens of repeat units. Western blot analysis and mass spectrometry confirmed the authenticity of MaSp1 and FSLP, which were produced at titers of 22.1 and 81.5 mg · liter−1, respectively. IMPORTANCE Spider silk is a biomaterial with superior properties. However, its heterologous expression template is hard to construct. The cmRNA technique simplifies the construction and expression strategy by proving the ribosome a circular translation template for expression of long peptides containing tandem repeats. This revolutionary technique will allow researchers to easily build, study, and experiment with any fiber proteins with sequences either from natural genes or artificial designs. We expect a significantly accelerated development of fibrous protein-based biomaterials with the cmRNA technique.
Draft Genome Sequences of Sphingomonadaceae Strains Isolated from a Freshwater Lake

We isolated two bacterial strains (Sphingomonadaceae family) from Lake Biwa, Japan. Based on whole-genome sequencing results, one strain (BSN-002) was assigned to the Sphingopyxis genus and the other (BSN-004) to Sphingomonas aquatilis. ABSTRACT We isolated two bacterial strains (Sphingomonadaceae family) from Lake Biwa, Japan. Based on whole-genome sequencing results, one strain (BSN-002) was assigned to the Sphingopyxis genus and the other (BSN-004) to Sphingomonas aquatilis.
Challenges Faced and Solutions Implemented in Response to the COVID-19 Pandemic among North American College Campus Recreation Staff

The COVID-19 pandemic has had a significant impact on the operation and availability of campus recreation services at North American colleges and universities. This study examined the challenges faced and solutions implemented by campus recreation departments as a result of the COVID-19 pandemic from the perspective of campus recreation staff from across North America. Institution and staff characteristics along with challenges and solutions were collected from 174 campus recreation department staff via an online survey in November 2020. Qualitative data were analyzed using thematic analyses. As a result of the pandemic, campus recreation departments have experienced challenges regarding finances, staffing, student engagement, and health and safety. To address these challenges, departments have limited facility access and capacity, reduced spending, adjusted staffing levels and responsibilities, transitioned to virtual or modified in-person programming, leveraged intrauniversity collaborations, and implemented new health and safety protocols. Solutions have the potential to help institutions meet the needs of students during the pandemic and beyond. Virtual programming and reservation systems may be especially useful post-pandemic, and lessons learned regarding multi-faceted COVID-19 policy enforcement could help advance compliance with other policies, such as harassment.
Preservice teachers’ experiences as first-time voice instructors

Authentic context learning (ACL) experiences have proven beneficial to preservice music teachers in a variety of ways and settings. While research specific to ACL within instrumental and choral music contexts is extensive, there have been no investigations of ACL in an applied voice setting. The purpose of this study was to investigate six preservice music teachers’ experiences as first-time voice instructors. Through an examination of verbal and written reflections, I sought to learn how the experience of teaching voice shaped preservice teachers’ perceptions of their own instruction and how this ACL experience shaped their identity as teachers. Six undergraduate music education majors at a large Midwestern university in the United States instructed weekly, 30-minute voice lessons for 8 consecutive weeks. Data collection methods included: (a) participants’ weekly lesson logs (b) participants’ weekly lesson reflections (c) participants’ final reflections, and (d) one, 60-minute focus group. Preservice teachers perceived modeling and kinesthetic activities to be the most effective teaching strategies, and realized their own deficiencies as vocal instructors. Music teacher educators should consider facilitating opportunities for preservice teachers to teach vocal technique in a variety of settings.
Examining Campus Recreation and Sports Experiences of College Students with Intellectual and/or Developmental Disabilities (IDD) and Attitudes of College Students Without IDD: A Special Olympics Unified Sports ® Study

Recreation and sports participation can produce social health benefits for college students with intellectual and/or developmental disabilities (IDD). Despite growing numbers of college students with IDD on college campuses, literature exploring inclusion within campus recreation and sports is limited. To understand how students with IDD have been, desire to be, and can be meaningfully included in campus recreation and sports, experiences of students with IDD (N = 33), and the experiences and attitudes of students without IDD (N = 260) were examined. A mixed methods study design, including web-based surveys and semi-structured interviews, was used to collect data from participants at three American universities. Results of Analysis of Variance (ANOVA) and thematic analysis revealed a critical need to examine these students’ inclusion within campus life at large.
DISTANCE LEARNING OF ENGLISH LANGUAGE AT HIGH SCHOOLS IN FRONTIER, OUTERMOST AND LEAST DEVELOPED REGIONS IN TIMOR NTT DURING COVID-19 PANDEMIC

: Corona virus pandemic which hit the world soon after the launching of school digitalization policy in Indonesia, has forced teachers and students to teach and learn from home, hence from a distance, including teachers and students in frontier, outermost and least developed regions ( Daerah 3T ) such as those in TTU, Malaka and Belu of NTT Province of Indonesia. This research, therefore, is designed to investigate how English language teachers at high schools in the three regencies managed distance learning during covid 19 pandemic, the effectiveness of the distance learning, problems encountered and the solution: and the potentiality for future enhancement of distance learning. Descriptive method is employed in this research and data obtained were analyzed qualitatively throughout identification, classification, and validation stages. The result shows that English language teachers at high schools in the three regencies generally ran two types of distance learning: digital and non-digital; but both were not effective because of such problems as: the limited access to the internet, electricity supply and lack of skill of both teachers and students in digital learning platforms and education apps. It is to overcome these problems that, teachers also ran non-digital learning. Possibility for digital distance education to be developed and enhanced in the future is obvious because teachers have very strong willingness to collaborate with teachers, also to let their students be able to collaborate with students, from other schools through digital schooling in this era of education freedom ( merdeka belajar ).
QUALITY MANAGEMENT IN UK SOCIAL HOUSING PROJECTS: ADDRESSING THERMAL PERFORMANCE

Construction defects in the domestic sector, especially those occurring in the building fabric, are acknowledged to contribute to the mismatch between the energy use as predicted at design stage and as measured in the building operation. Despite the number of quality management procedures put in place in social housing projects, defects affecting the thermal performance of dwellings are still a major issue to be managed. Within this context, this study investigates how Project Quality Plans related to thermal performance of dwellings are defined and implemented in the UK social housing projects. The analysis of evidence collected from five social housing case studies suggests that in the majority of the projects, the deployed quality management procedures focuses on visual quality issues, allowing defects with the potential to impair the thermal performance of the dwellings to remain uncorrected. Despite a range of quality control procedures administered by the projects’ stakeholders, they did not systematically appraise such defects neither during preconstruction phase, nor during the construction stage. This study identifies the main challenges posed to the development and implementation of Project Quality Plans with focus on the thermal performance of dwellings. In addition, recommendations focused on offsetting the identified challenges are proposed as means to mitigate the quality issues affecting the thermal performance in social housing projects.
A Framework to Explore Proximate Human-Robot Coordination

Proximate human-robot teaming (pxHRT) is a complex subspace within human-robot interaction. Studies in this space involve a range of equipment and methods, including the ability to sense people and robots precisely. Research in this area draws from a wide variety of other fields, from human-human interaction to control theory, making the study design complex, particularly for those outside the field of HRI. In this paper, we introduce a framework that helps researchers consider tradeoffs across various task contexts, platforms, sensors, and analysis methods; metrics frequently used in the field; and common challenges researchers may face. We demonstrate the use of the framework via a case study which employs an autonomous mobile manipulator continuously engaging in shared workspace, handover, and co-manipulation tasks with people, and explores the effect of cognitive workload on pxHRT dynamics. We also demonstrate the utility of the framework in a case study with two groups of researchers new to pxHRT. With this framework, we hope to enable researchers, especially those outside HRI, to more thoroughly consider these complex components within their studies, more easily design experiments, and more fully explore research questions within the space of pxHRT.
Assessment of hydraulic changes due to construction of a barrage in the Shatt Al-Basrah canal using one dimension model (Mike 11).

Shatt Al-Basrah is an artificial Canal, started in 1971 and completed in 1983. It was established to reduce flood and drain the excess water during the flood seasons, as a canal alternative to Shatt al-Arab during the Iran-Iraq war. It delivers water to the Zubair area and Al Faw town for agricultural purposes. A deterioration of the water quality of the canal was occurred due to many reasons; most importantly was the close of the canal at the junction of Garmat-Ali which is affected by the semidiurnal rhythm of the Arabian Gulf. There is a regulator located at about 22 km from the head of the canal. The main purpose of the canal is to control water drainage during flood and mitigating the effects on both sides land. In this paper the canal was simulated by the existence of controlled barrage on the water way, closed during the flood tide time and opened at the ebb tide. The simulation results after calibration of the mathematical model with field measurements, matched with high accuracy. The tidal effects on the canal can be determined, and the rehabilitation of the canal and water management in the surrounding areas can be preformed. The results indicate the sensitivity of the mathematical model to predict the measurements of water level, volume of water, flow speed of the current, discharge, downstream and upstream direction of discharge and the effect of tidal range at any point along the canal at the closure and opening of the regulator.