Miracle-dz/UniFAR-FTUs huggingface dataset:
Long Noncoding RNA LINC00473 Ameliorates Depression-Like Behaviors in Female Mice by Acting as a Molecular Sponge to Regulate miR-497-5p/BDNF Axis

Background Depression was a common life-threatening psychiatric disorder and occurs more frequently in women than in men. Long noncoding RNAs (lncRNAs), such as LINC00473, had been reported to be involved in the progression of depression. Methods Chronic unpredictable moderate stress in mice (CUMS) was applied to construct a depression model. Subsequently, RT-qPCR was applied to check the level of LINC00473 and microRNA-497-5p (miR-497-5p) in the hippocampal region of the mice induced by CUMS. CUMS mice were injected with lentiviral vectors of LINC00473 (LV-LINC00473), miR-497-5p inhibitor, short hairpin- (sh-) brain-derived neurotrophic factor (sh-BDNF), or miR-497-5p mimic to evaluate depressive behaviors, including sucrose preference test, forced swim test, elevated plus maze, and tail suspension test. Moreover, the production of hypothalamic neurotransmitters was assessed with the usage of ELISA kits. Dual-luciferase reporter assay, RNA pull-down, and RIP analysis were performed to measure the relationship between miR-497-5p and LINC00473 or BDNF. Further, western blot was employed to determine the protein level of BDNF. Results We discovered that LINC00473 level was downregulated in the female mice with depression, but not in male mice. Besides, the depressive behaviors induced by CUMS in mice, including the decrease of sucrose preference and time in open arm, as well as the increase of immobility time and swimming resting time were all ameliorated by LINC00473 overexpression. Moreover, the concentration of neurotransmitters was decreased in CUMS-induced mouse hypothalamus, which was blocked by LV-LINC00473 lentiviral vector administration. Mechanistically, LINC00473 directly targeted miR-497-5p. Absence of miR-497-5p revealed the antidepression effects on CUMS-induced mice, and miR-497-5p upregulation could counter the antidepressive impacts of LINC00473 upregulation on CUMS-induced mice. Furthermore, LINC00473 could target miR-497-5p to modulate BDNF level. Knockdown of BDNF could abrogate the improving influences of miR-497-5p suppression on CUMS-induced depression. Conclusions LINC00473 ameliorated CUMS-caused depression by encouraging BDNF expression via binding to miR-497-5p, which might provide a potential therapeutic target for depression in females.
A DECADE OF PHOTOMETRY OF LQ HYDRAE

A study of a decade of photometry of the BY Draconis star LQ Hya (HD 82558) is presented and an improved photometric rotation period 1. d 601136 ± 0. d 000013 is derived. The changing light curves indicate that the spot configuration can sometimes evolve significantly on a time scale of a few months. The variation of the photometric rotation period is significant indicating the presence of differential rotation. On the other band, if a constant period were assumed, the spots would concentrate on two active longitudes. The mean brightness shows a cycle with a period of 6.2 years having a peak to peak amplitude of about O. m 1 in V. The mean effective temperature of LQ Hya also follows this cycle
A complete first-order logic with infinitary predicates

H. J. KEISLER. A complete first-order logic with infinitary predicates. Fundament a mathematicae, vol. 52 (1963), pp. 177-203. The formal systems considered in this paper are adaptations of ordinary first-order predicate logic to languages with infinitary predicates, but finitary formation rules. The languages have a set V of variables and have ft(p) -placed predicate symbols p, p(p) g; V. For a given cardinal m ^ V, formulas of L(V, /x, tn) are formed by the ordinary propositional connectives and by quantifications (VPC)O where W is a set of variables of power < m. The axioms and rules of inference are modifications of those of first-order predicate logic, substitution rules are added. Proofs are finite in length. The main theorem is the Extended Completeness Theorem: Every consistent set of formulas of L(V, ft, m) is satisfiable in a structure of type p. Moreover if the number of formulas is ^ n and n = n*^ for all predicate symbols p, then the structure may be taken to be of power n. The theorem is extended to cover languages with infinitary terms as well. The method of proof is a refinement of Henkin's completeness proof. The languages L(V, n, m) are an almost perfect match for the Halmos polyadic algebras. The appendix of the paper contains the author's proof that the extended completeness theorem implies the representation theorem for polyadic algebras of infinite degree: Every such algebra is homomorphic to a subalgebra of a two-valued functional polyadic algebra. An algebraic proof of this result, found independently by Daigneault, appears in the article by Daigneault and Monk which immediately precedes the present article (XXIX 148). The compactness of the languages is an immediate consequence of the main theorem. However, the compactness is destroyed by allowing equality, or by admitting infinitary propositional connectives, or, it seems, by extending the languages in any way that makes it possible to express interesting properties of infinitary predicates. Nonetheless, they are a useful technical tool. CAROL KARP
Performance through the lens of evaluation: How to stretch evaluative thinking with strategic decision-making tools

Australian higher education continues to be plagued with decreases in funding and increases in regulation. This is leading to a reality within many universities where quality alone is not enough to consider academic programs viable and sustainable. Today, universities compete fiercely for students, as increasing or retaining market share is required to remain financially sound. Universities usually make these difficult decisions through an analysis of internal student data as a metric of performance. Factors such as declining student enrolments, high attrition rates, low progression rates and poor student feedback would typically strike university executives as alarming; however, this is often not the full picture. This process can often become political and not grounded in evidence-based informed decision-making, as strategic decision-making to reduce academic programs may have direct impact on academic employment. Moreover, these analyses often lack independent evaluation and consideration of the broader environment. This can lead to tensions between faculty and university administration, which may lead to political outcomes guided by passionate academic debate rather than strategic evidence-based decision-making. This theoretical article outlines how an internal evaluation team can contribute to this exercise to stretch evaluative thinking by applying a range of strategic decision-making tools to evaluate academic program performance.
Feedback in The Learning Process on Indonesian Master’s Degree Experience Studying Abroad

Studies on the perception of Indonesian master’s degree students from various universities abroad on satisfaction with feedback in the learning process are still limited. This study aims to explore the perceptions of college students related to feedback and how the feedback enables students to sharpen and improve practical skills in the learning process. Researchers in this study uses a case study method included in qualitative research. Researchers interviewed 32 participants who were selected using the snowball sampling technique which consisted of master degree students from four countries: Indonesia, the United Kingdom, the United States of America, and Australia. The questions in this study focused on responses to various types of feedback based on the question and delivery, student expectations, and how feedback affects academic performance. This study found four major themes, namely the importance of being explicit in providing feedback, variations in giving feedback, comprehensive feedback students expect for lecturers in Indonesia, and using feedback to improve students’ academic performance.
Flame spray coating of α-tricalcium phosphate on AISI 316L alloy

Abstract The use of hydroxyapatite derived from green mussel (Perna Viridis) shell wastes for implant coating was investigated in this study. The study looked into using a flame-spraying technique to deposit this low-cost hydroxyapatite on AISI 316 L alloy. A standardized pull-off test on a coating thickness of 56–70 µm and a porous layer yielded a coating strength of 4.12 MPa. A melted hydroxyapatite layer with uniformly dispersed particles was visible in the SEM micrograph. The chemical elements C, Ca, Fe, Ni, P, and O corresponding to calcium orthophosphate and the alloy were revealed by EDX analysis of the coating layer. The α-tricalcium phosphate (α-TCP) found on the coating was confirmed by XRD Rietveld analysis. When the alloy is used as an implant, this α-TCP layer coating appears to have the potential to improve biocompatibility
J ENA E CONOMIC R ESEARCH P APERS A Theoretical and Experimental Appraisal of Five Risk Elicitation Methods

We perform a comparative analysis of ﬁve incentivized tasks used to elicit risk preferences. Theoretically, we compare the elicitation methods in terms of completeness of the range of the estimates as well as their precision, the likelihood of triggering loss aversion, and problems arising when multiple choices are required. Using original data from a homogeneous population, we experimentally investigate the distribution of estimated risk preferences, whether they differ by gender, and the complexity of the tasks. We do so using both non-parametric tests and a structural model estimated with maximum likelihood. We ﬁnd that the estimated risk aversion parameters vary greatly across tasks and that gender differences appear only when the task is more likely to trigger loss aversion.
“These People Had Taken Advantage of Me”: A Grounded Theory of Problematic Consequences of Player Interaction with Mobile Games Perceived as “Designed to Drive Spending”

Many games which incorporate microtransactions—uncapped, repeated in-game purchases—are described by players as having had their 'dynamics designed to drive spending'. Such games are perceived by players as designed primarily to encourage spending, rather than with the improvement of the player experience in mind. However, it is unknown how playing these games affects players. We addressed the research question of “What consequences might there be of interaction with games perceived as having had their dynamics designed to drive spending? ” considering adult players. We conducted semi-structured interviews and used a grounded theory method of analysis. Our findings revealed five life areas of problematic consequences: financial issues, problems at work and education due to distraction and lack of productivity, emotional consequences for self-perception, problems sleeping, and social consequences. These outcomes emerge from the interaction of players with certain vulnerability traits with these game mechanics. We discuss these findings in the context of gaming disorder and the gamblification of games.
Spine Changes of Measure and Branching Diffusions

The main object of study in this thesis is branching Brownian motion, in which each particle moves like a Brownian motion and gives birth to new particles at some rate. In particular we are interested in where particles are located in this model at large times T : so, for a function f up to time T , we want to know how many particles have paths that look like f. Additive spine martingales are central to the study, and we also investigate some simple general properties of changes of measure related to such martingales.
Investigating the behaviour of Atlantic salmon (Salmo salar L.) post‐smolts during their early marine migration through the Clyde Marine Region

Abstract It is thought that survival during migration is particularly poor for Atlantic salmon post‐smolts immediately after entry into sea and particularly in the estuarine environment. Nonetheless, there is currently a lack of information on Atlantic salmon post‐smolt movement behaviour in estuaries in the UK. This study used acoustic tagging to estimate loss rates and compare the behaviour of Atlantic salmon post‐smolts migrating from two distinctly different rivers draining into the Clyde Estuary, the River Endrick (n = 145) and the Gryffe (n = 102). Contrary to most literature, post‐smolts undertook rapid migrations through the estuary, potentially decreasing their exposure to predators/anthropogenic stressors and reducing their estimated loss rates (river: 1%–3% km–1; estuary: 0.20%–0.60% km–1). The low loss rates in the estuary occurred despite post‐smolts engaging in passive reversal movements with the tide upon entering the estuary, possibly allowing them more time to adapt to the increased salinity. Atlantic salmon post‐smolts from both the rivers used similar migration pathways exiting into the coastal marine zone during ebbing tide. This study provides novel information on the timing and migratory routes of Atlantic salmon post‐smolts in the Clyde Estuary that can ultimately be used to inform management decisions on how to assess and reduce the potential impacts of current natural and anthropogenic stressors. Temporal repeatability of this study over multiple years is required to determine if there is variation in the factors driving the migratory patterns and loss rates of smolts in this system.
Influence of the statistical parameters of a random heterogeneous medium on elastic wave scattering : theoretical and numerical approaches

Les phenomenes de diffraction et de diffusion des ondes jouent un role important dans l'interpretation de la coda des sismogrammes. Par consequent, une comprehension approfondie des mecanismes de diffraction et de leurs influences sur la propagation des ondes est une etape fondamentale vers l'identification des proprietes statistiques d'un milieu aleatoire. Cette these porte sur la diffraction des ondes elastiques dans des milieux aleatoirement heterogenes avec un comportement local isotrope. On s'interesse au regime ou: La longueur d'onde est du meme ordre de grandeur que la longueur de correlation, la longueur d'onde est petite compare a la distance de propagation (haute-frequence) et l'amplitude des fluctuations est petite. Une approche cinetique basee sur les equations de transfert radiatif des ondes elastiques est adoptee. La premiere partie de cette these decrit une analyse detaillee de l'influence de la structure de correlation sur les parametres de diffraction et sur l'etablissement d'un regime de diffusion. La seconde partie presente les simulations elements spectraux a grande echelle des ondes elastiques afin d'observer numeriquement l'apparition d'un regime d'equipartition. Des analyses theoriques ainsi que des simulations montrent egalement une nouvelle approche pour l'identification des proprietes statistiques du milieu.
The Effectiveness of Lecturer-made Videos on YouTube for Open and Distance Learning among University Students

In late 2019, the world was shaken when an unprecedented infectious pandemic, Coronavirus Disease, or Covid-19, broke out. As a result, all Malaysians are obligated to comply with and follow the new regulations based on guidelines provided by the Malaysian Ministry of Health (MOH). The situation affects the entire national education system regarding the Teaching and Learning (T&L) process. To ensure continuity in students' learning, the structure of T&L, which was previously conducted conventionally or face-to-face and centred on educators and students directly, has been changed to virtual and digital using the methods of Teaching and Learning at Home or Open and Distance Learning (ODL). Therefore, the purpose of this study is to find out the students in UiTM Melaka's perceptions on the effectiveness of teacher-made videos on YouTube as a teaching and learning tool during ODL. A set of questionnaires was distributed to students to seek input for this quantitative study. The data was analysed, and findings suggest that most of the students are highly interested in using lecturer-made videos in learning. In addition, students found that the use of YouTube assists them effectively in completing their course assignments and study assessments. As a result, it can be deduced that the use of lecturer-made videos in YouTube encourage the students to have meaningful learning experience and serve the aims of Open and Distance Learning.
A near field communication-enabled e-learning environment for context-aware mobile Japanese conversation learning

In this study, we utilised near field communication-enabled smartphones with context-aware technology to propose a context-aware mobile Japanese conversation learning system (CAMJAL) for Taiwanese students. Our proposed CAMJAL system was implemented to record students' learning behaviours between peers in a context-aware computing environment. This system extend perceived convenience as external variable to technology acceptance model (TAM) to analyse its explanatory power and examine antecedent factors that affect acceptance of CAMJAL. Participants were 86 university students with advanced Japanese abilities from the northern part of Taiwan. After conducting CAMJAL with near field communication-enabled smartphones, data was collected by questionnaires. Our experimental results revealed that a) perceived convenience, perceived ease of use, and perceived usefulness were antecedent factors that affect acceptance of CAMJAL; b) perceived ease of use had a significantly positive effect on perceived convenience.
The role of political risk in service offshoring entry mode decisions

This research investigates the effect of political risk on the offshore service industry. The study empirically examines how an extended political risk definition, operationalised into a model consisting of 12 political risk variables, helps predict location decisions across offshoring entry modes and activity types. The research focuses on captive offshoring and offshore outsourcing entry modes, and Information Technology Outsourcing (ITO), Business Process Outsourcing (BPO) and Knowledge Process Outsourcing (KPO) activity types. The research indicated that political risk factors accounted for 38% of the variability in offshore outsourcing flows, implying that concerns about service disruptions and/or cost implications of external uncertainties feature as a key factor in supplier selection and location decisions. The findings further confirm a positive relationship between institutional and regulatory factors in host locations, and the flow of offshoring activities with a high knowledge content. The research contributes to enhancing the explanatory ability of Transaction Cost Economics by re-operationalising the concept of political risk in the context of both offshore outsourcing and captive offshoring. For practitioners, these findings provide a clear indication of the political risks that can affect service offshoring decisions; for policymakers, they highlight the importance of strengthening institutional and regulatory factors to attract investment.
The Continuous Learning Framework: Applying accountability for widespread organisational change

This article introduces the Continuous Learning Framework for quality within higher education and other internal evaluation contexts. The framework maps the terrain of this special issue, and consists of four elements: accountability, improvement, performance and investment. The article briefly describes the evolution of the framework including its application to a government reform package, before focussing on its practical application within a specific university context to stimulate widespread organisational change and improve the use of data in academic decision-making. For internal evaluators, the framework offers a structured way to step into strategic decision-making conversations with executives and a structured approach to embed quality or internal evaluation within policy, protocols and practice of governments, organisations, teams and individuals. Moreover, it facilitates capacity building and creates an environment conducive to continuous improvement leading to continuous learning. The framework and its application directly align with Deming’s work from the 1980s.
On multidimensional quantum tunneling and vacuum bubble nucleation

On Multidimensional Quantum Tunneling and Vacuum Bubble Nucleation A dissertation presented to the Faculty of the Graduate School of Arts and Sciences of Brandeis University, Waltham, Massachusetts by Nathaniel Isaac Reden In this dissertation I present a new formalism for computing the wavefunction of a multidimensional quantum tunneling system, including vacuum bubble nucleation in the absence of gravitational effects. The formalism is based on the matching of transverse energy eigenstates at neighboring points along the semiclassical tunneling path. For curving semiclassical paths the formalism illustrates a phenomenon we call “anti-banking”, in which transverse energy eigenstates are displaced in the direction of curvature from the path. The evolution of states transmitted through a potential barrier is described in an intuitive way. I also show a technique for obtaining mode functions in field theory that obey a global constraint, and solve the resulting equation numerically for a few modes in nucleation of a vacuum bubble in one spatial dimension. Some of them exhibit tachyonic behavior deep under the effective tunneling potential, which is interpreted as a sign of instability of the field configuration there.
Multi-objective sequence optimization of PCB component assembly with GA based on the discrete Fréchet distance

A new mechanism，namely a combination of curve matching method based on the discrete Fréchet distance and evolutionary algorithms，is proposed to solve pick-and-place sequence optimisation problems as a multi-objective optimisation problem. The essence of the mechanism is to accomplish the comparison of objective vectors with curve matching method. The objective vector is mapped into the array of points with a binary mapping operator and the discrete Fréchet distance is utilised to measure the similarity between the reference array of points and the comparison array of points. The genetic algorithm based on the discrete Fréchet distance (FGA) is proposed. To test the new mechanism, together with FGA, three other test algorithms are selected to solve the sequence optimisation problem. The simulation results indicate that FGA outperforms other algorithms. This new mechanism is rational and feasible for multi-objective pick-and-place sequence optimisation problems.
Robust mesh denoising based on collaborative filters

Mesh denoising is crucial for improving imperfect mesh models corrupted with raw or synthetic noise. The main technical challenge of mesh denoising is to faithfully retain geometric features when removing noise. Nevertheless, most of the existing approaches are not suitable for large-scale noise, overlook some geometric features, and often need carefully select appropriate parameter values to achieve a good result. In this paper, we present effective collaborative filters for mesh denoising based on vertex classification. The effectiveness of our method stems from several aspects: 1) Global preprocessing is performed to drastically reduce noise influences. 2) Normal tensor voting is utilized to classify the vertices, so that we can select different filters to estimate the face normals according to the detected type of vertices. Our method adaptively prevents the side effects from facets with high geometrical disparity in the feature region, which avoids the subjective selection of parameter values to achieve the local optimum, and removes outliers in the non-feature region. 3) Normal difference weights are introduced to vertex updating. Benefited from the well-designed filters on different types of vertices, our algorithm produces visually and numerically better denoising results than the existing typical approaches for both CAD and generic models corrupted by high level of noises, especially at sharp features, such as edges and corners