Miracle-dz/UniFAR-FTUs huggingface dataset:
Preservation of choice principles under realizability

Especially nice models of intuitionistic set theories are realizability models $V({\mathcal A})$, where $\mathcal A$ is an applicative structure or partial combinatory algebra. This paper is concerned with the preservation of various choice principles in $V({\mathcal A})$ if assumed in the underlying universe $V$, adopting Constructive Zermelo–Fraenkel as background theory for all of these investigations. Examples of choice principles are the axiom schemes of countable choice, dependent choice, relativized dependent choice and the presentation axiom. It is shown that any of these axioms holds in $V(\mathcal{A})$ for every applicative structure $\mathcal A$ if it holds in the background universe.1 It is also shown that a weak form of the countable axiom of choice, $\textbf{AC}^{\boldsymbol{\omega , \omega }}$, is rendered true in any $V(\mathcal{A})$ regardless of whether it holds in the background universe. The paper extends work by McCarty (1984, Realizability and Recursive Mathematics, PhD Thesis) and Rathjen (2006, Realizability for constructive Zermelo–Fraenkel set theory. In Logic Colloquium 03, pp. 282–314).
Identification of work‐related injuries among Dhokra handicraft artisans influencing sustainable growth of bell metal handicraft industry: An unorganized sector of Chhattisgarh, India

Handicraft is the backbone of rural economy of countries of South Asia and Southeast Asia. Bell metal handicraft known as “Dhokra craft,” is an important metal handicraft practiced in India. Commercialization of this craft industry has increased working hours but the business model is still cottage‐based. Manual manufacturing for commercial needs has increased incidence of hand injuries among the artisans affecting sustainable growth. The objective of this research is to find the cause of work‐related hand injuries of the artisans of bell metal handicraft industry to provide direction for future research. Occupational risk on hands were identified using Modified Dutch Musculoskeletal Questionnaire. Severity of hand symptoms were assessed by Modified Boston Hand Evaluation Questionnaire. Direct observation and task analysis was further used to understand the risk involved in the job. Use of hand tools and power tools play significant role in the development of hand injuries among the artisans. Hand problems such as amputation, burning marks, loss of sensitivity, and tingling sensation were highly observed among artisans, those with experience >31 years. Experienced artisans undergo more occupational hand injuries, causing absenteeism, job turnover, and job loss. This ultimately affects the sustainable growth of the Dhokra trade community.
Réponse des foraminifères à l’anoxie dans les milieux côtiers : études in situ de l’écologie des foraminifères benthiques, expériences en laboratoire et analyse du métabolisme anaérobie

Ce travail de these a pour objectif d’identifier les effets de l’anoxie sur les foraminiferes benthiques essentiellement dans les environnements cotiers. Pour mettre en evidence l’impact de ce phenomene naturel qui tend a etre amplifie par les activi- tes anthropiques, nous avons utilise differentes approches : des observations environnementales, des experiences menees sur le terrain et des experiences en laboratoire. Les etudes menees sur le terrain presentent des resultats contrastes. En Mer Adriatique - un milieu affecte depuis le debut de l’Holocene (10 ka) par des hypoxies periodiques - l’experience menee in situ montre que la majorite des especes composant la communaute de foraminiferes benthiques peut survivre a 10 mois d’anoxie. Nous avons ainsi observe un changement de la composition des faunes passant d’une communaute dominee par des especes sensibles a l’anoxie (Reophax nanus, Textularia agglutinans, Quinqueloculina seminula et Quinqueloculina stelligera) lorsque les conditions sont oxygenees a une communaute dominee par des especes resistantes a l’anoxie apres 10 mois d’experience (Eggerella scabra, Bulimina marginata, Lagenammina atlantica, Hopkinsi- na pacifica et Bolivina pseudoplicata). Au contraire, dans un milieu nouvellement affecte par des phenomenes d’anoxie saisonniers (depuis 40-30 ans) tel que le bras d’estuaire ferme de Grevelingen (Pays-Bas), nous avons observe que seul un tres faible nombre d’individus vit dans les sites anoxiques. A ce site d’etude, les communautes de foraminiferes benthiques sont composees d’ un faible nombre d’especes qui semblent ainsi toutes etre sensibles a l’anoxie. Dans les experiences en laboratoire nous montrons que les taux de survie de Melonis barleeanus sont similaires apres plus de 3 mois d’hypoxie et d’anoxie. Ces resultats montrent nean- moins que l’absence totale d’oxygene tend a inhiber la crois- sance de ces organismes. Afin de comprendre comment les foraminiferes benthiques survivent a l’anoxie nous nous sommes interesses au metabo- lisme anaerobie des organismes. D’apres les etudes prece- dentes, la denitrification est la seule voie metabolique anaero- bie identifiee chez les foraminiferes (Risgaard-Petersen et al., 2006 ; Pina-Ochoa et al., 2010). Nos analyses montrent qu’apparemment seules les especes resistantes a l’anoxie contiennent des nitrates dans leurs cellules. Nous avions initia- lement emis l’hypothese que ces nitrates pouvaient etre reduits par denitrification. Or, les experiences menees au cours de cette these montrent que les foraminiferes cotiers n’utilisent pas la denitrification. Nos travaux suggerent ainsi que les voies metaboliques anaerobies utilisees par les foraminiferes ben- thiques sont bien plus diversifiees que ce qui est aujourd’hui admis.
Ciprofloxacin degradation with a defective TiO2-x nanomaterial under sunlight

TiO2 nanoparticles obtained by microwave-assisted hydrothermal synthesis were subjected to facile post-processing based on vacuum annealing. The resulting defective (TiO2-x) material showed extended light absorption in the visible range, enhancing sunlight compatibility. Structural and optical characterization point to the arising of an Urbach tail as the main reason. TiO2-x was then employed as photocatalyst for the inactivation of ciprofloxacin, an emerging environmental threat and source of antimicrobial resistance, under sunlight. TiO2-x performed significantly better than its parent compound and mechanistic analysis of the degradation pathway indicates that this material is a promising candidate for solar treatment of fluoroquinolones residues in water.
Depressive symptoms are more influenced by personality traits and styles than working in nursing—a study during the COVID-19 pandemic

Background According to literature, the COVID-19 pandemic caused stressful working conditions for nurses, which may have a negative impact on their Well-Being and mental health. Aim To investigate whether nurses and non-helping professionals differ in their Well-Being. Furthermore, we analyzed, for the first time, which personality traits and styles are a risk factor for nurses’ wellbeing during COVID-19 pandemic. Methods In an online survey, the following psychological tests were used on nursing staff (n = 518) and non-helping professionals (n = 335): WHO-Five (WHO-5), the Personality, Style and Disorder Inventory (PSSI), and the Freiburg Personality Inventory-Revised (FPI-R). Results Nurses and non-helping professionals did not differ significantly in terms of Well-Being. The Well-Being of nurses was correlated with the following personality traits and styles, namely Spontaneous-Borderline Personality Style, Silent-Depressive Personality Style, Strain, Emotionality, and Life Satisfaction. According to our results, 33% of participants suffered from clinically significant depressive symptoms. Discussion According to our results, nurses are not more at risk for depression. However, it was shown that Well-Being during the pandemic is highly dependent on personality. Conclusion Specific personality traits and styles are a greater predictor of depressive symptoms than profession. The stressful occupational environment during COVID-19 pandemic is not the only cause for depressive symptoms in nurses. Psychotherapeutic interventions are especially important for particular individuals and are necessary to prevent depressive symptoms during COVID-19 pandemic.
FACTORS THAT AFFECT FIRM VALUE IN MANUFACTURING FIRMS

This research aims to obtain empirical evidence from the effect of profitability, leverage, liquidity, firm size, and activity ratio on firm value. Totals of 198 observational data originated from 66 manufacturing companies listed on Indonesia Stock Exchange (IDX) throughout 2018-2020. The sampling technique used in this research is purposive sampling. The hypothesis testing method in this research uses the multiple linear regression model. The multiple linear regression model estimation that suits this research is Fixed Effect Model (FEM). The statistical tool used for data processing in this research is EViews 12. This research uses Tobin's Q as a parameter to measure firm value. Based on the outcome of the processed data, profitability, leverage, and firm size all have significant effects on firm value, while liquidity and activity ratio both have insignificant effect on firm value.
THE EFFECT OF TAX PLANNING ON TAX AVOIDANCE WITH TAX AGGRESSIVENESS AS A MODERATOR IN THE PERIOD BEFORE AND AFTER THE TAX AMNESTY

The research aims to discover the effect between tax planning, such as permanent difference, temporary difference, and foreign tax-rates differentials moderated by tax aggressiveness on tax avoidance before and after the tax amnesty period. This research obtained from 120 initial samples of companies listed in IDX for 2013-2019 period with purposive sampling method. The result shows that only one research model of permanent difference and tax aggressiveness had a significant negative effect on tax avoidance; some models of temporary difference and tax aggressiveness had a significant positive effect on tax avoidance; three research models of foreign tax-rates differentials had none significant effects on tax avoidance; and only on two models of permanent difference that had not been able moderated by tax aggressiveness towards tax avoidance. Hopefully this research could give advantages on implementing tax planning as an important strategy to consistently provides good signals to the company’s external parties.
Development of a Sub-10-ppm Limit of Detection Lateral Nanogap Gas Sensor

This letter reports a wake-up gas sensor based on a lateral nanogap structure that is capable of increasing nanogap surface area by 11.2 times and thus improving the limit-of-detection (LOD) by 10 times down to 5 parts per million (ppm) in comparison with the previous vertical nanogap structure. Unlike the vertical nanogap structure with a suspended membrane, this lateral nanogap structure avoided fragile components and thus was able to reliably release a relatively large surface area of a 5-nm gap structure. The microfabricated lateral nanogap structure spanned over an enlarged area of 700 µm2, in comparison with the maximum area of 62.5 µm2 in the previous vertical gap structure, with the highest surface-area-to-nanogap-size aspect ratio of 130 µm2/nm. When coated with a customized linker, it demonstrated (1) a gas sensing capability down to 5 ppm under the exposure of hexanal at a flow rate of 50 sccm, (2) a high wake-up on current of 460 nA, and (3) an on/off ratio of 1.51, which are sufficient for detection.
BURNOUT AND STRESS IN GROUP OF PSYCHIATRISTS: WORKLOAD AND NON-PROFESSIONAL-SOCIAL PREDICTORS

Objectives: The aim of this research is to present the search for psychosocial predictors explaining the strength of perceived stress in psychiatrists and the search for associations between stress and occupational burnout in psychiatrists. The authors also searched for associations between organizational, workload, family and non-professional – social factors and the intensity of occupational stress. Material and Methods: The group of 131 doctors – specialists in psychiatry, aged 27–86 years – took part in the study. The participants completed 3 questionnaires, i.e., the Sociodemographic Questionnaire, the Link Burnout Questionnaire (LBQ) and the Perceived Stress Scale (PSS-10). Results: The results indicated that significant predictors of the development of occupational stress for psychiatrists were psychophysical exhaustion and lack of a sense of professional efficacy. Taking holidays (several times a year, pursuing the passions and interests), and having a stable family relationship (marriage or civil partnership) were also prominent among the predictors of stress. Conclusions: Occupational stress and burnout in the work of the surveyed psychiatrists appeared to be a high intensity phenomenon. These results indicate the need to spread preventive health care also in the work of psychiatrists. Mainly in terms of maintaining the right balance between work and rest, which can help to reduce stress levels and protect against further development of burnout syndrome. Family resources such as a stable marriage or partnership may also be a protective factor against the build-up of stress and burnout in psychiatrists (mainly female). In addition, professional resources (work experience measured by number of years of work) is also important in explaining stress levels in psychiatrists.
Side-Channel Free Measurement-Device- Independent Quantum Key Distribution Based on Source Monitoring

Measurement-device-independent quantum key distribution (MDI-QKD) can remove all detector side-channel attacks. However, there are still some assumptions on source preparations in MDI-QKD protocols, which are too strict to achieve in real-life implementations. To remove those assumptions, here we construct a scheme on characterizing the source modulation errors with Hong-Ou-Mandel (HOM) interferences. Furthermore, we combine it with the decoy-state method and present the security analysis. Besides, finite data-size effects are taken into account as well. Simulation results verify the feasibility and practicability of this scheme. It thus seems a very promising candidate for constructing high-security network in the near future.
The Effects of Independent Local Radio on Tanzanian Public Opinion: Evidence from a Planned Natural Experiment

We describe a natural experiment occasioned by an abrupt increase in the transmission range of an independent Tanzanian radio station whose broadcasts emphasize current affairs and gender equality. Some villages that formerly lay outside the catchment area of this radio station could now receive it, while nearby villages remained outside of reception range. Before the change in transmitter range in 2018, we conducted a baseline survey in both treated and untreated villages and found them to be similar in terms of prevailing social attitudes and political interest. An endline survey conducted in 2020 shows that respondents in areas that received the new radio signal were substantially more likely to listen to the station, and their levels of political interest and knowledge about domestic politics were significantly higher than their counterparts in villages that the signal could not reach. Attitude change on a range of gender issues, however, was sporadic.
Adversarial Deep Transfer Learning in Fault Diagnosis: Progress, Challenges, and Future Prospects

Deep Transfer Learning (DTL) signifies a novel paradigm in machine learning, merging the superiorities of deep learning in feature representation with the merits of transfer learning in knowledge transference. This synergistic integration propels DTL to the forefront of research and development within the Intelligent Fault Diagnosis (IFD) sphere. While the early DTL paradigms, reliant on fine-tuning, demonstrated effectiveness, they encountered considerable obstacles in complex domains. In response to these challenges, Adversarial Deep Transfer Learning (ADTL) emerged. This review first categorizes ADTL into non-generative and generative models. The former expands upon traditional DTL, focusing on the efficient transference of features and mapping relationships, while the latter employs technologies such as Generative Adversarial Networks (GANs) to facilitate feature transformation. A thorough examination of the recent advancements of ADTL in the IFD field follows. The review concludes by summarizing the current challenges and future directions for DTL in fault diagnosis, including issues such as data imbalance, negative transfer, and adversarial training stability. Through this cohesive analysis, this review aims to offer valuable insights and guidance for the optimization and implementation of ADTL in real-world industrial scenarios.
Économétrie des externalités technologiques locales et géographie de l’innovation: une analyse critique

The empirical literature on the geographic dimension of technological externalities has been increasingly growing in the last ten years. This field refers to both endogenous growth theories and economic geography. By the mean of a comparative approach of econometric studies, we distinguish four methods to evaluate the effects of local R&D spillovers on innovation. We show more particularly the interest of two approaches, based on a knowledge production function. We also insist on the need to explicit the channels of knowledge transfer. Finally, we suggest to take into account two elements neglected in the precedent works : the National System of Innovation specificities, and the link between local and international R&D spillovers.
ECOLOGICAL FOOD PRODUCTS – NEW ROLES AND RESPONSIBILITIES FOR RETAILERS

More and more ecological food products are entering supermarkets, and the recent trend is to label as well the climate impact of food products. But, do ecological food products have better environmental performances than conventional ones? An Austrian, Swedish and Spanish cucumber was compared calculating the climate impact in a life cycle perspective using an actor analysis. Austrian conventional cucumbers and Spanish ecological cucumbers show similar values, while Swedish conventional cucumbers have the highest emissions. The actor analysis shows that retailers and the cooperative have most power. The introduction of Spanish ecological cucumbers shifts the environmental impact from heating of greenhouses to transport. The findings highlight the retailers’ role and importance of green purchasing strategy considering the whole life cycle.
Staphylococcus aureus and Pseudomonas aeruginosa infectious keratitis: key bacterial mechanisms that mediate pathogenesis and emerging therapeutics

Bacterial keratitis (bacterial infection of the cornea) is a major cause of vision loss worldwide. Given the rapid and aggressive nature of the disease, immediate broad-spectrum antibiotics are essential to adequately treat this disease. However, rising antibiotic resistance continues to accelerate, rendering many commonly used therapeutics increasingly ineffective. As such, there is a significant effort to understand the basic pathogenesis of common causative organisms implicated in keratitis in part, to fuel the development of novel therapies to treat this blinding disease. This review explores two common causes of bacterial keratitis, Staphylococcus aureus and Pseudomonas aeruginosa, with regards to the bacterial mediators of virulence as well as novel therapies on the horizon.
Effects of Hydroxyethyl Cellulose and Sulfated Rice Bran Polysaccharide Coating on Quality Maintenance of Cherry Tomatoes during Cold Storage

Cherry tomatoes are easily damaged due to their high moisture content. A composite coating was developed to delay deterioration and prolong storage by mixing antibacterial sulfated rice bran polysaccharides (SRBP) and edible hydroxyethyl cellulose (HEC) with film-forming properties. The effects of HEC, HEC-5% SRBP, and HEC-20% SRBP preservative coatings on the maintenance of the quality of cherry tomatoes (LycopersivonesculentumMill., Xiaohuang F2) during cold storage were investigated. The HEC-20% SRBP coating significantly reduced tomato deterioration and weight loss, delayed firmness loss, decreased polyphenol oxidase activity, and increased peroxidase activity. Furthermore, cherry tomatoes treated with HEC-20% SRBP maintained high levels of titratable acid, ascorbic acid, total phenols, and carotenoids. Cherry tomatoes coated with HEC-SRBP also had higher levels of volatile substances and a greater variety of these substances compared to uncoated tomatoes. In conclusion, the HEC-20% SRBP coating effectively delayed deterioration and preserved cherry tomatoes’ nutrient and flavor qualities during postharvest cold storage, suggesting it could be a novel food preservation method.
Why has Melbourne Closed the Gap on Sydney Since 2000

Since 2000 Melbourne has grown faster than Sydney in population and employment. This is despite Sydney’s advantages in 2000 in having greater prominence as a global city, with stronger finance and advanced producer services sectors, and high visibility from hosting the Olympic Games. The paper examines a number of hypotheses as to why Melbourne grew more despite such initial Sydney advantages. Depressed global conditions for Sydney’s global sectors, especially finance and tourism, are the basis of an initial hypothesis. Higher housing and land costs in Sydney are also hypothesised to have reduced housing construction and land-intensive activities such as manufacturing and logistics, and reduced growth in immigration, tourism and international student intakes, relative to Melbourne. Sub-hypotheses as to why there were higher housing and land costs in Sydney are examined, together with the notion of a possible Melbourne housing ‘bubble’. Lower state spending on tourism and inward investment in Sydney, coupled with less effective state development administration and complacency, are also incorporated into hypotheses. Differences between the cities in transport performance are additionally considered as a causative factor. Finally, the potential influence of a mooted more complex planning system in Sydney is examined. The paper uses ABS 4digit employment data and housing price data, airline traffic trends, Productivity Commission reports and newspaper reports, inter alia, to test hypotheses.
Estimation and interpretation of equilibrium scour depth around circular bridge piers by using optimized XGBoost and SHAP

Most bridge failures result from scouring around bridge piers, resulting in economic losses and risks to public safety. The conventional equations for predicting the depth of scour at bridge piers have several limitations: (1) They mainly use regression-based techniques that cannot robustly capture the nonlinear relationship between the scour depth and its effective variables; (2) they are applicable only to a narrow range of variability of data; and (3) they are typically calibrated using laboratory data rather than field measurements and thus cannot simulate the prototype environment. To overcome these limitations, in this study, three novel hybrid machine learning methods: particle swarm optimization - extreme gradient boosting (PSO – XGBoost), red fox optimization - XGBoost (RFO – XGBoost), and relativistic particle swarm optimization - XGBoost (RPSO – XGBoost) are applied to estimate the scour depth around circular bridge piers, and their effectiveness is validated using three statistical metrics, i.e. the mean absolute error (MAE), root mean square error (RMSE), and coefficient of determination (R2). RPSO – XGBoost generates the best results for both dimensional and dimensionless data. Moreover, the proposed approaches outperform the state-of-the-art techniques. The SHapley Additive exPlanations (SHAP) method is used to assess the relative significance of the contributing factors for predicting the scour depth.