Miracle-dz/UniFAR-FTUs huggingface dataset:
Syntactic Constraints on Quantifier Scope Alternation

Ambiguities arising from alternations of scope in interpre tations for multiply quantified sentences have led to various complications which have comprom ised the strong assumptions of syntactic/semantic transparency and monotonicity underl ying the Frege-Montague approach to the theory of grammar. These include movement at logical f orm, equivalent abstraction or storage mechanisms, and proliferating type-changing oper ations. The paper examines some interactions of scope alternation with syntactic phenomen a including coordination, binding, and word-order in Germanic languages. Starting from the ass umption that many expressions that have been treated as generalized quantifiers are in fact referential expressions, and using combinatory categorial Grammar (CCG) as a grammatical f ramework, the paper presents an account of quantifier scope ambiguities according to whic h the available readings follow directly from the combinatorics of the syntactic derivatio n, without any independent manipulation of logical form and without recourse to type-changin g operations other than those with independent syntactic motivation.
Fetal Wellbeing Monitoring: A Review Article

While assessing maternal health is relatively easy, assessing fetal well-being has always been tricky. This has led to tremendous technological development in fetal well-being assessment, thus bridging the gap between biotechnology and antenatal medicine. It is broadly divided into early pregnancy, late pregnancy, and during labour assessment. While the early assessment involves genetic check-ups and malformations, the late pregnancy check-ups aim at delivering a healthy fetus at term by normal vaginal delivery. The early tests can be invasive or non-invasive. Non-invasive include cell-free fetal DNA assessment and fetal cell-based assessment. Invasive tests include amniocentesis and chorionic villous sampling. These are followed by chromosomal microarray and next-generation sequencing. Under this procedure, exome sequencing is done, which is either clinical or whole. Sequencing of the whole genome can also be done. A recent advancement is pre-implantation genetic testing. These are mainly useful in identifying monogenic disorders for which the locus causing disease is identified beyond any doubt. In late pregnancy, the most commonly used test is biophysical. It works on the principle that an increase in the fetal heart rate occurs in conjugation with fetal movements. The next widely employed technology is Doppler, which is used to know fetal heart rates, valve timing intervals, and umbilical artery waveforms. Cardiotocography is also widely used both during pregnancy and during labour. It measures the fetal heart rate while correlating it with uterine contractions. Wireless fetal and maternal heart monitoring and telemonitoring are recent upcoming fields.
Generating actionable insights from free-text care experience survey data using qualitative and computational text analysis: A study protocol

Introduction:The National Care Experience Programme (NCEP) conducts national surveys that ask people about their experiences of care in order to improve the quality of health and social care services in Ireland. Each survey contains open-ended questions, which allow respondents to comment on their experiences. While these comments provide important and valuable information about what matters most to service users, there is to date no unified approach to the analysis and integration of this detailed feedback. The objectives of this study are to analyse qualitative responses to NCEP surveys to determine the key care activities, resources and contextual factors related to positive and negative experiences; to identify key areas for improvement, policy development, healthcare regulation and monitoring; and to provide a tool to access the results of qualitative analyses on an ongoing basis to provide actionable insights and drive targeted improvements. Methods:Computational text analytics methods will be used to analyse 93,135 comments received in response to the National Inpatient Experience Survey and National Maternity Experience Survey. A comprehensive analytical framework grounded in both service management literature and the NCEP data will be employed as a coding framework to underpin automated analyses of the data using text analytics and deep learning techniques. Scenario-based designs will be adopted to determine effective ways of presenting insights to knowledge users to address their key information and decision-making needs. Conclusion:This study aims to use the qualitative data collected as part of routine care experience surveys to their full potential, making this information easier to access and use by those involved in developing quality improvement initiatives. The study will include the development of a tool to facilitate more efficient and standardised analysis of care experience data on an ongoing basis, enhancing and accelerating the translation of patient experience data into quality improvement initiatives.
TAUOLA Monte Carlo for $\tau$ decays

In the analysis of high statistics and high precision experimental data Monte Carlo programs are essential since they provide theoretical predictions in a form similar to the non‐analyzed data. In the following, we will present Monte Carlo library with more than twenty different tau decay channels including QED corrections and spin effects in the full chain of the decay reaction. We shall remark on theoretical and technical precision of the Monte Carlo and its consequences for the data analysis.
Text Analysis and Word Pronunciation in Text-to-speech Synthesis

Text analysis includes such things as dividing the text into words and sentences, assigning syntactic categories to words, grouping the words within a sentence into phrases, identifying and expanding abbreviations, recognizing and analyzing expressions such as dates, fractions, and amounts of money, and so on. Word pronunciation is the problem of translating orthographic words -words in ordinary spelling -into phonological words -words whose sound is expressed in a sort of rationalized spelling, using an alphabet that corresponds to the set of broad phonetic segments found in the pronunciation guide of a dictionary.
Biphasic Calcium Phosphate Versus Demineralized Freeze-Dried Bone Allograft in the Treatment of Periodontal Disease: A Clinical and Radiographical Evaluation

Aim The study aimed to clinically and radiographically evaluate the effect of biphasic calcium phosphate (BCP) versus demineralized freeze-dried bone allograft (DFDBA) in treating periodontal disease. Method The study consisted of 44 patients. The sites were randomly assigned to receive one of two treatment modalities (BCP at site 1 and demineralized freeze-dried bone at site 2) by a computerized method. All the clinical data were measured with the help of a University of North Carolina-15 (UNC-15) probe at the baseline, three months, and six months postoperatively. Radiovisiographs were taken using a Rinn XCP® (Dentsply/Rinn Corp, Elgin, IL) system and an oral grid using the paralleling technique. A manual calculation of the defect area was undertaken at the end of six months and was compared with the other groups. Result The linear bone growth recorded for site 1 at the end of six months was 3.8 ± 1.14 mm, and site 2 was 4.6 ± 1.07 mm. The intergroup comparison showed more remarkable linear bone growth in site 2, which was statistically insignificant, with a mean difference of 0.8 ± 1.23 mm and a p-value of 0.07. Conclusion Improvements were observed on all the documented parameters. However, the sites treated with DFDBA showed better periodontal regeneration.
Commentary about the paper "Continuum Mech. Thermodyn. (2010) 22:163-176" by Podio Guidugli and Vianello and some related papers on higher gradient theories

In this commentary we try to make clearer the state of the art concerning the relation between mechanical contact interactions and the different notions of stresses. We emphasize the importance of the concept of virtual displacements. Its role has been recognized in Mechanics and in Continuum Mechanics long ago (see e.g. [59], [45], or [12], [13]) and it is central as well when starting with an expression of the power expended by internal stresses and deducing the form of contact interactions as when starting with some form of the contact interactions and developping a representation theorem for these contact interactions based on the Cauchy tetrahedron construction.
Isabelle’s Object-Logics

1 Tobias Nipkow revised and extended the chapter on HOL. Markus Wenzel made numerous improvements. Philippe de Groote wrote the first version of the logic LK and contributed to ZF. Tobias Nipkow developed HOL, LCF and Cube. Philippe Noël and Martin Coen made many contributions to ZF. Martin Coen developed Modal with assistance from Rajeev Goré.
Role of Exosomes in Pharyngucutaneous Fistula After Total Laryngectomy

Abstract Pharyngocutaneous fistula is the most common complication after total laryngectomy and is difficult to heal. Although conservative treatment and surgical repair are effective, they often take longer and additional trips to the operating room, which undoubtedly increases the financial burden on patients. Especially in combination with diseases such as diabetes and hypertension, which affect the efficacy of surgery. Adding growth factors into the repair material can promote fibroblast proliferation, angiogenesis, and accelerate wound healing. A substantial number of studies have shown that a type of nanoscale extracellular vesicle, called exosomes, facilitates organization repair by promoting blood vessel production, protein polysaccharides, and collagen deposition, thereby representing a new type of cellular therapy. At present, there is little research on the application of exosomes in pharyngocutaneous fistula regeneration after total laryngectomy. In this review, we summarize the biological characteristics of exosomes and their application in biomedical science, and highlight their application prospects in pharyngocutaneous fistula regeneration after total laryngectomy.
WiSion: Bolstering MAV 3D Indoor State Estimation by Embracing Multipath of WiFi

Recent years have witnessed a remarkable growth of micro aerial vehicle (MAV) technologies, which are desirable for many applications, e.g., warehouse inventory management and home entertainment. These indoor needs significantly improve work efficiency while posing fundamental challenges in the design of MAV state estimation. The state includes a vehicle's position, orientation, and velocity, which are fundamental to guide the motor control and adjust that vehicle's actions in autonomous flight. Existing vision-based solutions only work in well-lit texture-rich environments, while laser-based solutions are limited to MAVs' payload and budget. This paper presents WiSion, a robust and low-cost state estimator that leverages ubiquitous WiFi to estimate six-degree-of-freedom states for MAVs. Our observation is that the multipath of WiFi conceals a wealth of information about a vehicle's state, which helps combat the temporal drift of inertial sensors for smooth state estimation. We realize WiSion by an absolute-relative WiFi sensing module and a WiFi-inertial state estimation module. It works without knowing access points' (APs') positions. We implement the prototype with off-the-shelf products and conduct experiments in indoor venues. Our results show that WiSion achieves the position error of 35.25 cm and the attitude error of $2.6^\circ$ with a maximum linear velocity of 1.74 m/s. Moreover, WiSion can recover APs' positions and is robust to indoor hindrances such as obstacles and multipath.
Diet crude protein reduction on follicular fluid and cumulus-oocyte complexes of mid-lactating Girolando cows

Abstract This study evaluated the effect of crude protein (CP) reduction in four diets (156, 139, 132, and 127 g Kg-1 DM) maintaining constant metabolizable protein (188 g/day) on the follicular fluid and cumulus-oocyte complexes of mid-lactating Girolando cows. Twenty-two Girolando cows with average of 21.55 ±3.19 L daily milk yield, 105.30 ±22.62 days in lactation and 3.22 ±0.03 body condition score were selected. To reduce CP in diets and maintain constant metabolizable protein, urea and soybean meal were gradually replaced by lignosulfonate-treated soybean meal (SoyPass®, Cargill), resulting in an increase in rumen-undegradable protein and a reduction in rumen degradable protein. A linear and quadratic reduction was observed in the plasma and follicular fluid urea nitrogen concentration following CP reduction, with the most intense reduction occurring in the 127 g Kg-1 DM group (p<0.001). As CP reduced, there was a tendency for a linear increase in the follicular growth rate (P=0.0696), on the number and proportion of viable oocytes (P<0.09), and also a linear increase for the number (P=0.0397) and proportion (P<0.09) of grade I viable oocytes. Plus, there was a linear effect for the number of cumulus oophorus cells. Cows fed with the lowest amount of CP had cumulus-oocyte complexes with higher numbers of cumulus oophorus cells (P=0.0238). Also, the reduction of diet crude protein was followed by a decrease in the probability of oocytes’ DNA degradation. In conclusion, the reduction of CP in the diet of mid-lactating Girolando cows, reduces urea nitrogen concentration in both blood plasma and follicular fluid, and, as a consequence, increases the viability of oocytes and the number of cumulus oophorus cells while reducing oocytes’ DNA degradation of follicular included cumulus-oocyte complex. The reduction on dietary CP may improve in vivo oocytes’ embryo development impacting fertility of lactating dairy cows.
Higgs Field Theory of the Observed Fermions, and their Masses, Magnetic Moments and Renormalization

Abstract: We demonstrate how the application of Higgs field theory to spin 1⁄2 fermions in a manner analogous to its application to spin 0 scalars enables fermion masses to be constructed entirely from a self-energy arising from gauge fields and “revealed” in the Dirac Lagrangian in a fully renormalizable manner with no “bare” aspect. When the observed fermions are taken to be Higgs fields based on expansion about the vacuum, it is found that the Dirac Lagrangian naturally produces an “anomalous” aspect for their magnetic moments. This enables us to deduce the gauge fields which underlie the self-energies for the three charged leptons on an entirely empirical basis, and then use this data to predict the impact of a time-dependent magnetic field on the lepton g-factors. We predict that a time-dependent magnetic field impacts the g-factor of the heaver mu and especially tau leptons much more substantially than it does the g-factor of the electron, and quantify how this should be detectable well within experimental ranges. We also show how this construction of fermion masses out of gauge fields permits these masses to remain invariant at all renormalization scales, wherein the variability of a fermion mass under renormalization is entirely equivalent to, and may be fully absorbed by, a gauge transformation of the vector potentials from which the fermion self-energies arise. As a result, the infinite constants ordinarily used for renormalization become finite and equal to unity. Finally, the time and space dependencies of the electric and magnetic fields in Maxwell’s equations are revealed to be embedded into Dirac’s equation as a result of Heisenberg commutations. This develops multiple venues for further confirming Higgs Field Theory in the fermion sector, all of which appear to be new.
MINIMIZERS AND GAMMA-CONVERGENCE OF ENERGY FUNCTIONALS DERIVED FROM p-LAPLACIAN EQUATION

This paper presents the existence of minimizers and $\Gamma$-convergence for the energey functionals \begin{eqnarray*} E_\epsilon(u) = \int_\Omega \left\{ W(u(x))+\epsilon{|\nabla u(x)|^p}\right\} dx, \mbox{ for all }\epsilon>0,\quad p>1 \end{eqnarray*} with Neumann boundary condition and the constraint \begin{eqnarray*} \int_\Omega u(x) dx = m|\Omega|, \mbox{ where }0
Evaluating Employees' Perceptions and Performance in
Relation to e-HRM in the Banking Sector

Background and Aim: This study's main goal is to examine the influence on the employees' attitudes regarding electronic human resource management (EHRM) and how well they use it. Methods: Using a purposive sample technique, data were collected among 180 banking professionals in the Indian banking sector. As statistical instruments for analysis of data, the one-way ANOVA test as well as correlation processes used. Findings demonstrate that user performance, which results from the use of EHRM, is strongly correlated with system functionality, user satisfaction, perceived benefits, and user acceptance. Results: The study investigates a favorable relationship between employees' usage of EHRM and attitudes about EHRM. The study also shows that demographic factors like gender, age, education level, etc. have little bearing on how people see and use EHRMs. Conclusion: The study's findings will assist HR managers in taking the appropriate actions to maximize the advantages of EHRM utilization.
Inhibitory activities of propolis, nisin, melittin and essential oil compounds on Paenibacillus alvei and Bacillus subtilis

Abstract Background Natural products represent important sources of antimicrobial compounds. Propolis and compounds from essential oils comprise good examples of such substances because of their inhibitory effects on bacterial spores, including bee pathogens. Methods Ethanol extracts of propolis (EEP) from Apis mellifera were prepared using different methods: double ultrasonication, double maceration and maceration associated with ultrasonication. Together with the antimicrobial peptides nisin and melittin, and compounds present in the essential oils of clove (Syzygium aromaticum) and cinnamon (Cinnamomum zeylanicum), assays were carried out on one Bacillus subtilis isolate and Paenibacillus alvei (ATCC 6344) against vegetative and sporulated forms, using the resazurin microtiter assay. Synergism with all the antimicrobials in association with tetracycline was verified by the time-kill curve method. Potassium and phosphate efflux, release of proteins and nucleic acids were investigated. Results EEPs showed the same MIC, 156.25 µg/mL against B. subtilis and 78.12 µg/mL against P. alvei. The peptides showed better activities against B. subtilis (MIC of 12 µg/mL for melittin and 37.50 µg/mL for nisin). Antimicrobials showed similar inhibitory effects, but cinnamaldehyde (39.06 µg/mL) showed the best action against P. alvei. Melittin and nisin showed the greatest capacity to reduce spores, regarding B. subtilis there was a 100% reduction at 6.25 and 0.78 µg/mL, respectively. Concerning P. alvei, the reduction was 93 and 98% at concentrations of 80 µg/mL of melittin and 15 µg/mL of nisin. EEPs showed the highest effects on the protein release against B. subtilis and P. alvei. Nucleic acid release, phosphate and potassium efflux assays indicated bacterial cell membrane damage. Synergism between antimicrobials and tetracycline was demonstrated against both bacteria. Conclusion All antimicrobials tested showed antibacterial activities against vegetative and sporulated forms of P. alvei and B. subtilis, especially nisin and melittin. Synergism with tetracycline and damage on bacterial cell membrane also occurred.
The Rise and Normalisation of Blessee/Blesser Relationships in South Africa: A Post-Colonial Feminist Analysis

Since 2015, young urban black women in South Africa have been posting images of luxury items on social media platforms such as Instagram. These women claim that their luxury items are gifts from their ‘blessers’/wealthy men in exchange for sex and companionship. This has led to the rise of the ‘blesser culture’ on social media and the prevalence of transactional sex for upward mobility and status. This article provides a post-colonial feminist evaluation of 10 young black women from northern Johannesburg. It examines their motivations for engaging in these relationships. It draws from Stoebenau et al.’s (2016) theoretical framework that describes the three paradigms of transactional sex, ‘sex for basic needs,’ ‘sex for upward mobility and status’ and ‘sex and material expressions of love’ as a continuum of deprivation, agency, and instrumentality. This analysis challenges research frameworks that limit transactional sex to matters of HIV/AIDS transmission, and the framing of women as powerless victims of men. The article reveals these women seek blessers based on relative deprivation, to access a more high-status lifestyle and upward social mobility and from a position of agency. They view blesser relationships as a mutually beneficial exchange that allows them to give sex to access the commodities of modernity.
Test of KW Class Photonic Microwave Generation Using Vanadium-Compensated 6H-SiC PCSS and Burst-Mode-Operation Pulse Laser

Photoconductive semiconductors operating in linear mode can be used for adaptive high-power microwave (HPM) generators by modulating incident light. This paper presents the design scheme and preliminary test results of a narrowband kW class adaptive photonic microwave generator by employing a wide-bandgap semi-insulating 6H-SiC photoconductive semiconductor and a burst-mode laser. The experimental scheme of the generator is described along with the circuit simulation of the radio frequency generator. The laser operated at a wavelength of 532 nm with a pulse width of 100 ns and a repetition rate of 100 Hz. The laser modulates the frequencies of the generated microwave, and preliminary tests are conducted in the frequency range of 0.8–1.2 GHz. The maximum output microwave power of the designed scheme reaches up to 2.6 kW when the bias voltage is 10 kV. The results confirm that this method can be used for high-power frequency-adjustable microwave signal generation. The microwave source system presented in this paper has continuously adjustable frequency and flexible waveform control.
Investigating the impact of volunteering with Melody Music Birmingham on the professional development and career pathways of Royal Birmingham Conservatoire students

Abstract This article evaluates the impact of volunteering with a music education project for children and adults with learning disabilities on the professional development and career trajectory of music students at a Conservatoire in the United Kingdom. A mixed-methods online questionnaire captured the impact of volunteering with Melody Music Birmingham. Findings suggest that volunteering was a powerful aspect of the respondents’ learning, potentially influencing their career choices, perceptions and attitudes. Further training and experiences for Conservatoire students in engaging with, supporting, and delivering music-making for people with learning disabilities are recommended.