Miracle-dz/UniFAR-FTUs huggingface dataset:
Completeness for domain semirings and star-continuous Kleene algebras with domain

Due to their increasing complexity, today’s computer systems are studied using multiple models and formalisms. Thus, it is necessary to develop theories that unify different approaches in order to limit the risks of errors when moving from one formalism to another. It is in this context that monoids, semirings and Kleene algebras with domain were born about a decade ago. The idea is to define a domain operator on classical algebraic structures, in order to unify algebra and the classical logics of programs. The question of completeness for these algebras is still open. It constitutes the object of this thesis. We define tree structures called trees with a top and represented in matrix form. After having given fundamental properties of these trees, we define relations that make it possible to compare them. Then, we show that, modulo a certain equivalence relation, the set of trees with a top is provided with a monoid with domain structure. This result makes it possible to define a model for semirings with domain and prove its completeness. We also define a model for -continuous Kleene algebras with domain as well and prove its completeness modulo a new axiom.
Neoadjuvant chemotherapy enhances tumor‐specific T cell immunity in patients with HPV‐associated oropharyngeal cancer

Treatment of patients with newly diagnosed HPV‐associated oropharyngeal squamous cell carcinoma (OPSCC) with neoadjuvant chemotherapy (NAC) results in a high rate of 5‐year recurrence free survival with few patients requiring adjuvant treatment. We hypothesized that NAC enhances primary tumor HPV‐specific T cell responses.
Nonlinear dynamics of atmospheric regime transitions

In this paper, a link will be established between atmospheric ultra-lowfrequency variability (ULFV) and the occurrence of homoclinic dynamics in models of largescale atmospheric flow. It is known that uncoupled atmosphere models possess significant variability on very long timescales (years to decades), which must be generated by internal atmospheric dynamics. The mathematical structure of this long-timescale variability is investigated, using a global two-layer atmosphere model formulated in terms of preferred flow patterns (EOFs). Due to its efficient formulation, this model can simulate an atmospheric flow with realistic features, using only a small number of degrees of freedom. The 10-dimensional version of the model possesses both nonzero ultra-low-frequency variability and several realistic short timescales. The essence of the ultra-long-timescale behaviour of the 10D model, which manifests itself as bursting in the atmospheric turbulent energy, can be represented by a 4-dimensional subsystem. In this subsystem, strong evidence for the existence of a homoclinic orbit is found. The chaotic dynamics generated by the homoclinic orbit explains the occurrence of ultra-long timescales in the model. It is argued that hints of homoclinic dynamics can also be found in more complex models. As an example, a T21 barotropic atmosphere model (231 dimensions) of the northern hemisphere is shown to possess behaviour that suggests the existence of a homoclinic orbit.
Depth‐dependent effects of ericoid mycorrhizal shrubs on soil carbon and nitrogen pools are accentuated under arbuscular mycorrhizal trees

Plant mycorrhizal associations influence the accumulation and persistence of soil organic matter and could therefore shape ecosystem biogeochemical responses to global changes that are altering forest composition. For instance, arbuscular mycorrhizal (AM) tree dominance is increasing in temperate forests, and ericoid mycorrhizal (ErM) shrubs can respond positively to canopy disturbances. Yet how shifts in the co‐occurrence of trees and shrubs with different mycorrhizal associations will affect soil organic matter pools remains largely unknown. We examine the effects of ErM shrubs on soil carbon and nitrogen stocks and indicators of microbial activity at different depths across gradients of AM versus ectomycorrhizal (EcM) tree dominance in three temperate forest sites. We find that ErM shrubs strongly modulate tree mycorrhizal dominance effects. In surface soils, ErM shrubs increase particulate organic matter accumulation and weaken the positive relationship between soil organic matter stocks and indicators of microbial activity. These effects are strongest under AM trees that lack fungal symbionts that can degrade organic matter. In subsurface soil organic matter pools, by contrast, tree mycorrhizal dominance effects are stronger than those of ErM shrubs. Ectomycorrhizal tree dominance has a negative influence on particulate and mineral‐associated soil organic matter pools, and these effects are stronger for nitrogen than for carbon stocks. Our findings suggest that increasing co‐occurrence of ErM shrubs and AM trees will enhance particulate organic matter accumulation in surface soils by suppressing microbial activity while having little influence on mineral‐associated organic matter in subsurface soils. Our study highlights the importance of considering interactions between co‐occurring plant mycorrhizal types, as well as their depth‐dependent effects, for projecting changes in soil carbon and nitrogen stocks in response to compositional shifts in temperate forests driven by disturbances and global change.
The evaluation of the osteopromoting capabilities of composites based on biopolymers and gold/silver nanoparticles doped bioactive glasses on an experimental rat bone defect

The most important concept behind using bone scaffolds is the biocompatibility of the material to avoid a local inflammatory response and must have the following properties: osteoinduction, osteoconductivity, angiogenesis, and mechanical support for cell growth. Gold nanoparticles/gold and silver nanoparticles -containing bioactive glasses in biopolymer composites have been used to enhance bone regeneration. These composites were tested in vitro on fibroblast and osteoblast cell lines using MTT tests, immunofluorescence, scanning electron microscopy analysis, and in vivo in an experimental bone defect in Sprague-Dawley rats. Both composites promoted adequate biological effects on human fibroblastic BJ (CRL 2522TM) cell lines and human osteoblastic cells isolated from the human patella in terms of cell proliferation, morphology, migration, and attachment. Most importantly, they did not cause cellular apoptosis and necrosis. According to the histological and immunohistochemical results, both composites were osteoinductive and promoted new bone formation at 60 d. Evidence from this study suggests that the small amount of silver content does not influence negatively the in vitro or in vivo results. In addition, we obtained accurate results proving that the existence of apatite layer and proteins on the surface of the recovered composite, supports the validity of in vitro bioactivity research.
Association of lifestyle habits and cardiovascular risk among sedentary adults

This study aimed to analyze the association of lifestyle habits (physical activity, sleep habits, and eating habits) with cardiovascular risk (arterial stiffness and autonomic nervous system function) among sedentary adults. Sixty adults of sedentariness and physical activity were evaluated by accelerometers; sleep and eating habits were assessed by questionnaires; cardiovascular risks were assessed by pulse wave velocity (PWV), ankle-brachial index, flow mediated dilation, and heart rate variability; circulating biomarkers were also determined. Prolonged sitting (represented by longer maximum length of sedentary bouts, lower length of sedentary breaks, and more total time of sitting) were (P < .05) significantly associated with matrix metalloproteinases, neuropeptide Y, C-reactive protein, peptide Y, ghrelin, and leptin; significant associations (P < .05) were also observed of total time in physical activity with most circulating biomarkers except interleukin-6, tumor necrosis factor-α, and adiponectin. Sleep habits, especially sleep efficiency, were (P < .05) significantly associated with PWV, ankle-brachial index, and circulating biomarkers. Eating habits (including emotional overeating and enjoyment of food) were (P < .05) significantly associated with PWVs and flow mediated dilation; satiety responsiveness and enjoyment of food were (P < .05) significantly associated with low-frequency spectral component expressed in normalized units, high frequency spectral component expressed in normalized units, and ratio between low-frequency/high frequency spectral component expressed in normalized units. The findings indicated that several lifestyle habits among sedentary adults were closely associated with increased cardiovascular risk. Sedentary people were encouraged to live with sufficient physical activity, good sleep, and healthy eating habits for decreasing arterial stiffness and balancing autonomic nervous function.
Murine Models of Salmonella Infection

The pathogen Salmonella enterica encompasses a range of bacterial serovars that cause intestinal inflammation and systemic infections in humans. Mice are a widely used infection model due to their relative simplicity and versatility. Here, we provide standardized protocols for culturing the prolific zoonotic pathogen S. enterica serovar Typhimurium for intragastric inoculation of mice to model colitis or systemic dissemination, along with techniques for direct extraintestinal infection. Furthermore, we present procedures for quantifying pathogen burden and for characterizing the immune response by analyzing tissue pathology, inflammatory markers, and immune cells from intestinal tissues. © 2023 The Authors. Current Protocols published by Wiley Periodicals LLC.
Stability of forced oscillations of a spherical pendulum

The equations of motion for a lightly damped spherical pendulum that is subjected to harmonic excitation in a plane are approximated in the neighborhood of resonance by discarding terms of higher than the third order in the amplitude of motion. Steady-state solutions are sought in a four-dimensional phase space. It is found that: (a) planar harmonic motion is unstable over a major portion of the resonant peak, (b) non-planar harmonic motion is stable in a spectral neighborhood above resonance that overlaps neighborhoods of both stable and unstable planar motions, and (c) no stable, harmonic motions are possible in a finite neighborhood of the natural frequency. The spectral width of these neighborhoods is proportional to the two-thirds power of the amplitude of excitation. The steady-state motion in the last neighborhood is quasisinusoidal (at the forcing frequency) with slowly varying amplitude and phase. The waveform, as determined by an analog computer, is periodic but quite complex.
Altered Expression of Heme Oxygenase 2 in Heme Oxygenase 1–deficient Mouse Embryos

Heme oxygenases (Hmoxs) are enzymes that catalyze the first and rate-limiting step in the degradation of heme to carbon monoxide, iron, and biliverdin. The two main isozymes, namely Hmox1 and Hmox2, are encoded by two different genes. Mutation of the Hmox1 gene in mice is known to cause extensive prenatal lethality, and limited information is available about the expression of Hmox proteins in developing mouse embryos. In this study, immunohistochemistry was used to perform a detailed investigation comparing Hmox proteins in Hmox1 wild-type and knockout (KO) mouse embryos collected from wild-type and heterozygous timed-matings. Western analysis for Hmoxs was also done in the organs of late-gestation embryos. The results demonstrated cytoplasmic and nuclear localization of Hmoxs in all the organs examined in wild-type embryos. Interestingly, Hmox2 immunoreactive protein signals were significantly low in most of the organs of mid- and late-gestation Hmox1-KO embryos. Furthermore, relative levels of Hmox2 were revealed to be significantly lower in the lung and kidney of late-gestation Hmox1-KO embryos by western analysis, which complemented the immunohistochemistry findings in these two organs. The current study provides detailed immunoexpression patterns of Hmox proteins in wild-type and Hmox1-KO mouse embryos in mid- and late-gestation:
Recent advances and future directions of 3D to 6D printing in brain cancer treatment and neural tissue engineering

The field of neural tissue engineering has undergone a revolution due to advancements in three-dimensional (3D) printing technology. This technology now enables the creation of intricate neural tissue constructs with precise geometries, topologies, and mechanical properties. Currently, there are various 3D printing techniques available, such as stereolithography and digital light processing, and a wide range of materials can be utilized, including hydrogels, biopolymers, and synthetic materials. Furthermore, the development of four-dimensional (4D) printing has gained traction, allowing for the fabrication of structures that can change shape over time using techniques such as shape-memory polymers. These innovations have the potential to facilitate neural regeneration, drug screening, disease modeling, and hold tremendous promise for personalized diagnostics, precise therapeutic strategies against brain cancers. This review paper provides a comprehensive overview of the current state-of-the-art techniques and materials for 3D printing in neural tissue engineering and brain cancer. It focuses on the exciting possibilities that lie ahead, including the emerging field of 4D printing. Additionally, the paper discusses the potential applications of five-dimensional and six-dimensional printing, which integrate time and biological functions into the printing process, in the fields of neuroscience.
Inverse Trigonometric Functions

2.1 Hkw fedk (Introduction) vè;k; 1 esa] ge i<+ pqosQ gSa fd fdlh iQyu f dk izrhd f –1 }kjk fu:fir izfrykse (Inverse) iQyu dk vfLrRo osQoy rHkh gS ;fn f ,oSQdh rFkk vkPNknd gksA cgqr ls iQyu ,sls gSa tks ,oSQdh] vkPNknd ;k nksuksa gh ugha gSa] blfy, ge muosQ izfrykseksa dh ckr ugha dj ldrs gSaA d{kk XI esa] ge i<+ pqosQ gSa fd f=kdks.kferh; iQyu vius LokHkkfod (lkekU;) izkar vkSj ifjlj esa ,oSQdh rFkk vkPNknd ugha gksrs gSa vkSj blfy, muosQ iz fryks eks a dk vfLrRo ugha gks rk gS A bl vè;k; es a ge f=kdks . kferh; iQyuks a os Q iz ka rks a rFkk ifjljks a ij yxus okys mu iz frca /ks a (Restrictions) dk vè;;u djsaxs] ftuls muosQ izfrykseksa dk vfLrRo lqfuf'pr gksrk gS vkSj vkys[kksa }kjk izfrykseksa dk voyksdu djsaxsA blosQ vfrfjDr bu izfrykseksa osQ oqQN izkjafHkd xq.k/eZ (Properties) ij Hkh fopkj djsaxsA izfrykse f=kdks.kferh; iQyu] dyu (Calculus) esa ,d egRoiw.kZ Hkwfedk fuHkkrs gSa] D;ksafd mudh lgk;rk ls vusd lekdy (Integrals) ifjHkkf"kr gksrs gSaA izfrykse f=kdks.kferh; iQyuksa dh ladYiuk dk iz;ksx foKku rFkk vfHk;kaf=kdh (Engineering) esa Hkh gksrk gSA
A study of the correlation between total lung volume and the percent of low attenuation volume and PFT indicators in patients with preoperative lung cancer

The objective was to explore the relationships between computed tomography (CT) lung volume parameters and pulmonary function test (PFT) indexes and develop predictive scores to predict PFT indexes in Chinese preoperative patients suspected with lung cancer. Preoperative patients suspected with lung cancer aged 18 years or more and examined by chest CT scan and PET were consecutively recruited from April to August 2020, at Yunnan Cancer Hospital. CT and PET data were selected from medical record. Pearson correlation was used to explore the relationships between CT parameters and PFT indexes. Predictive scores of PFT indexes were developed from unstandardized coefficients of linear regression models of using CT parameters as predictors. The assessments of predictive ability of scores were conducted by receiver operating characteristics curves. A total of 124 preoperative patients suspected with lung cancer participated in this study. Total lung volume significantly correlated with total lung capacity (r = 0.708), residual volume (r = 0.411), forced expiratory volume in one second (FEV1, r = 0.535), forced vital capacity (FVC, r = 0.687), and FEV1/FVC (r = −0.319). Percent of low attenuation volume significantly correlated with total lung capacity (r = 0.200), residual volume (r = 0.215), FEV1 percentage of predictive value (FEV1%, r = −0.204) and FEV1/FVC (r = −0.345). Four predictive scores for FEV1, FEV1%, FEV1/FVC and FVC% were developed. The area under the curve of receiver operating characteristics for FEV1 <2L, FEV1% <80%, FEV1/FVC <80% and FVC% <80% were 0.856, 0.667, 0.749 and 0.715, respectively. A prediction of poor lung function in preoperative patients suspected with lung cancer, using total lung volume and percent of low attenuation volume was possible. The predictive scores should be further evaluated for external validity.
Treatment of Tourette syndrome by acupuncture combined with Chinese medicine based on syndrome differentiation: A review

Tourette syndrome (TS) is a chronic neurodevelopmental disorder characterized by involuntary motor and speech tics, which can greatly reduce the quality of life of patients. The pathophysiology of TS involves both genetic and environmental factors. Assessing TS pathogenesis is complex, and its underlying pathophysiology is not fully understood. It is gratifying that the research in the past 5 years has brought new research progress on the genetic, neurophysiological and brain network changes of TS. However, despite the progress of research, the treatment methods and drugs of modern medicine are still unsatisfactory, and it is difficult to achieve satisfactory results. Traditional Chinese medicine, as a part of complementary and alternative medicine, has unique efficacy in the treatment of TS, and the safety of its treatment is also worthy of attention. Based on the latest achievements in the pathophysiology of TS, this article will discuss the treatment of TS by acupuncture combined with medicine.
Mineral nutrients in plants under changing environments: A road to future food and nutrition security

Plant nutrition is an important aspect that contributes significantly to sustainable agriculture, whereas minerals enrichment in edible source implies global human health; hence, both strategies need to be bridged to ensure “One Health” strategies. Abiotic stress‐induced nutritional imbalance impairs plant growth. In this context, we discuss the molecular mechanisms related to the readjustment of nutrient pools for sustained plant growth under harsh conditions, and channeling the minerals to edible source (seeds) to address future nutritional security. This review particularly highlights interventions on (i) the physiological and molecular responses of mineral nutrients in crop plants under stressful environments; (ii) the deployment of breeding and biotechnological strategies for the optimization of nutrient acquisition, their transport, and distribution in plants under changing environments. Furthermore, the present review also infers the recent advancements in breeding and biotechnology‐based biofortification approaches for nutrient enhancement in crop plants to optimize yield and grain mineral concentrations under control and stress‐prone environments to address food and nutritional security.
Effects of lumbar-pelvic training combined with electroacupuncture on chronic nonspecific low back pain

This observational study was conducted to investigate the effect of lumbar-pelvic training (LP) combined with electroacupuncture (EA) in the treatment of chronic nonspecific low back pain. One hundred and twenty patients diagnosed with chronic nonspecific low back pain were evenly randomized to receive the following 4 treatments for 2 weeks: LP combined with EA (Group A), EA (Group B), LP (Group C) or no intervention (Group D). The LP was a self-developed training program containing 5 movements and was conducted three times a week to build up the strength of abdomen muscle groups. Four acupoints along the foot-taiyang bladder meridian and the governor vessel were chosen for EA five times a week based on the theory of Traditional Chinese Medicine. The Visual Analog Scale and Oswestry Disability Index were measured before and after treatment to assess the reduction of pain intensity and functional disability, respectively. Following the treatments, Visual Analog Scale and Oswestry Disability Index scores in all 3 intervention groups were significantly lower than those in the Group D without intervention (P < .01). Among the intervention groups, Group A’s scores were lower than those of Group B or Group C (P < .01). The overall efficacy of Group A was 93.33%, which was higher than that of Group B (76.67%) and Group C (70.00%) (P < .01). In conclusion, this study suggest that our self-developed lumbar-pelvic training combined with electroacupuncture is effective for chronic nonspecific low back pain in terms of pain and disability reduction.
Experimental Investigation into Spatial Quantum Optical Properties for Satellite Targeting through the Turbulent Atmosphere

A major field of research at the current time is that of implementing Quantum Key Distribution over large distances using satellites. If this protocol works with this technology, it will have huge implications on future information security. In order for a satellite to implement this idea, there are many aspects that must be taken into account. One of the big issues that comes up for this type of system is that of propagating light through the turbulent atmosphere and its effects on the acquisition, pointing and tracking system. The projects studied in this thesis study some of the effects of the atmosphere on certain detectors, try to develop pointing schemes for better accuracy as well as develop knowledge in free space propagation of other single photon experiments. In the first experiment, I study the spatial correlations of the daughter photons created in spontaneous parametric down conversion. I look at the effect of altering the pump beam on the positions of the down converted photons and see if the pump can be manipulated in a way to control the directions of the daughter photons. I begin to utilize a deformable mirror and Shack-Hartmann wavefront sensor which are generally used in adaptive optics, but we plan to use them to alter the pump beam in the spontaneous parametric down conversion process to analyze the correlations between the pump and down converted photons. The second experiment investigates the effects of laser scintillation on the performance of a possible tracking device that could be implemented on a satellite. This quad sensor tracks the position of a beam and a system will be developed to move the sensor to keep the beam in the center where there is a hole for the quantum single photons to stream through. In order to create the effects of scintillation, a turbulence simulator box was built and characterized. This box combines wind turbulence with a heat gradient to mimic atmospheric turbulence on a small scale. Finally, my contributions to a large scale, long distance free space quantum optics experiment are explained and the overall goal of the experiment is discussed. This experiment exposed me to actual free space transmission issues as well as many fundamental techniques for performing long distance optics experiments. In this experiment there was no correction for atmospheric turbulence, but in the future, techniques could be implemented which might increase the efficiencies of the free space links.