Miracle-dz/UniFAR-FTUs huggingface dataset:
A Conditional Privacy-Preserving Certificateless Aggregate Signature Scheme in the Standard Model for VANETs

Vehicular ad hoc networks (VANETs) are the communication foundation for future intelligent transportation systems and guarantee safe driving of intelligent networked vehicles. Moreover, VANETs face a series of security challenges related to the protection of vehicle privacy, authenticity of transmitted information, and bandwidth limitations. To resolve these contradictions, many certificateless aggregate signature (CLAS) schemes have been proposed. However, the majority of them can neither resist malicious-but-passive key generation center attacks, replay attacks, and link attacks, nor track the actual identities of malicious vehicles. Meanwhile, the security of previous CLAS schemes in VANETs is only formally provided in the random oracle model (ROM), which might be insecure in actual implementation. In addition, most CLAS schemes still have problems of large verification delays and high communication overhead. To address the above-mentioned problems, a new conditional privacy-preserving CLAS scheme in VANETs is proposed, which adopts full aggregation technology to reduce computation and bandwidth resources. According to the formal security proofs under the computational Diffie-Hellman problem (CDHP) given in the standard model (SM), the security level of this scheme is higher than that of other CLAS schemes under ROM in practical applications. Additionally, the use of pseudonym mechanism realizes conditional privacy protection in VANETs. The performance analysis shows that this scheme has a higher efficiency in terms of computation and communication overhead compared with several previous CLAS schemes.
Sodium Butyrate Ameliorates Oxidative Stress-Induced Intestinal Epithelium Barrier Injury and Mitochondrial Damage through AMPK-Mitophagy Pathway

Sodium butyrate has gained increasing attention for its vast beneficial effects. However, whether sodium butyrate could alleviate oxidative stress-induced intestinal dysfunction and mitochondrial damage of piglets and its underlying mechanism remains unclear. The present study used a hydrogen peroxide- (H2O2-) induced oxidative stress model to study whether sodium butyrate could alleviate oxidative stress, intestinal epithelium injury, and mitochondrial dysfunction of porcine intestinal epithelial cells (IPEC-J2) in AMPK-mitophagy-dependent pathway. The results indicated that sodium butyrate alleviated the H2O2-induced oxidative stress, decreased the level of reactive oxygen species (ROS), increased mitochondrial membrane potential (MMP), mitochondrial DNA (mtDNA), and mRNA expression of genes related to mitochondrial function, and inhibited the release of mitochondrial cytochrome c (Cyt c). Sodium butyrate reduced the protein expression of recombinant NLR family, pyrin domain-containing protein 3 (NLRP3) and fluorescein isothiocyanate dextran 4 kDa (FD4) permeability and increased transepithelial resistance (TER) and the protein expression of tight junction. Sodium butyrate increased the expression of light-chain-associated protein B (LC3B) and Beclin-1, reduced the expression of P62, and enhanced mitophagy. However, the use of AMPK inhibitor or mitophagy inhibitor weakened the protective effect of sodium butyrate on mitochondrial function and intestinal epithelium barrier function and suppressed the induction effect of sodium butyrate on mitophagy. In addition, we also found that after interference with AMPKα, the protective effect of sodium butyrate on IPEC-J2 cells treated with H2O2 was suppressed, indicating that AMPKα is necessary for sodium butyrate to exert its protective effect. In summary, these results revealed that sodium butyrate induced mitophagy by activating AMPK, thereby alleviating oxidative stress, intestinal epithelium barrier injury, and mitochondrial dysfunction induced by H2O2.
From 'valid reason' to 'genuine redundancy' redundancy selection: A question of (IM)balance?

By its very nature, in purporting to give protection against the loss of employment, unfair dismissal law lies at the heart of employment protection legislation. In this regard there is little doubt that two of the statutory bars introduced by the former Coalition Government under Work Choices removed that protection from large sectors of the eligible workforce. Employees working for employers with 100 or fewer employees formed one such category, employees terminated for 'genuine operational reasons' formed another. It is fair to say that employees made redundant were targeted by the latter 'operational reasons' exclusion. The former Coalition Government never denied this to be the case but always insisted that only employees genuinely made redundant would be affected by such changes. When the incoming Labor Government replaced the WR Act with the Fair Work Act 2009 (Cth) ('FW Act') it purported to restore 'balance' and a 'fair go' to the federal unfair dismissal law, and in line with that objective abolished the 100 employee exemption. However it still remains the case that a dismissal cannot be regarded as unfair if it involves a 'genuine redundancy'.
Effect of Pillbox Organizers with Alarms on Adherence to Pharmacotherapy in Parkinson Disease Patients Taking Three and More Daily Doses of Dopaminergic Medications

Improvement of adherence to pharmacotherapy in patients with Parkinson’s disease (PD) is a challenge in routine clinical practice. Our study was aimed at the effect of pillbox organizers with alarms improving adherence to pharmacotherapy and its impact on clinical outcomes. Forty nonadherent patients with PD being treated with ≥ 3 daily doses of levodopa and/or dopamine agonists were pseudorandomized and consecutively ranked to groups A (early-start intervention) and B (delayed-start intervention). We used the following validated diagnostic instruments: MMAS-8 (adherence), PDQ-8 (quality of life, QoL), GDS (depression), NMSS (non-motor symptoms), MDS-UPDRS III (motor involvement), MDS-UPDRS IV, and WOQ-9 (motor and non-motor fluctuations and dyskinesias). We proved a significantly improved rate of adherence with the use of pillbox organizers with alarms. Moreover, after only four weeks of using the pillbox organizer, we detected an improvement in QoL scores, motor involvement, motor-, and non-motor fluctuations. Our study showed that pillbox organizers with alarms are efficient in improving adherence to pharmacotherapy in PD. It also could contribute to better motor states, less severe fluctuations, and improved QoL.
Cueing motor memory reactivation during NREM sleep engenders learning-related changes in precuneus and sensorimotor structures

Memory reactivation during Non-Rapid Eye Movement (NREM) sleep is important for memory consolidation but it remains unclear exactly how such activity promotes the development of a stable memory representation. We used Targeted Memory Reactivation (TMR) in combination with longitudinal structural and functional MRI to track the evolution of a motor memory trace over 20 days. We show that repeated reactivation of motor memory during sleep leads to increased precuneus activation 24 h post-TMR. Interestingly, a decrease in precuneus activity over the next 10 days predicts longer-term cueing benefit. We also find both functional and structural changes in sensorimotor cortex in association with effects of TMR 20 days post-encoding. These findings demonstrate that TMR can engage precuneus in the short-term while also impacting on task-related structure and function over longer timescales.
Development of an Intelligent Charger with a Battery Diagnosis Function Using Online Impedance Spectroscopy

Battery diagnosis is vital to battery-based applications because it ensures system reliability by avoiding battery failure. This paper presents a novel intelligent battery charger with an online diagnosis function to circumvent interruptions in system operation. The charger operates in normal charging and diagnosing modes. The diagnosis function is performed with the impedance spectroscopy technique, which is achieved by injecting a sinusoidal voltage excitation signal to the battery terminals without the need for additional hardware. The impedance spectrum of the battery is calculated based on voltage excitation and current response with the aid of an embedded digital lock in amplifier in a digital signal processor. The measured impedance data are utilized in the application of the complex nonlinear least squares method to extract the battery parameters of the equivalent circuit. These parameters are then compared with the reference values to reach a diagnosis. A prototype of the proposed charger is applied to four valve-regulated lead–acid batteries to measure AC impedance. The results are discussed.
Mathematical Modeling and Forecast 11 Years in Advance of the Dumping of Sand in Varadero Beach, Cuba, Using the Regressive Objective Regression (Ror) Methodology

The specialists estimate that the most important challenge on the beaches is the dumping of sand. Sustainable tourism in our time must be conceived towards the future to ensure that resources are managed with due protection of ecological processes, biological diversity and the environment in general, hence our objective is to know the amount of the following sand dumps on the beach of Varadero mathematically modeling according to the data we have. A database of the dumping of cubic meters of sand in Varadero was used from 1987 to 2012, the methodology used was the Regressive Objective Regression (ROR). We can conclude that the model explains 100% of the variance with an error that cannot be determined, over time, all the variables are significant, the model depends on the shedding twelve times ago (Lag12Vert). In the long term, resources can be saved and the resilience of coastal communities to climate change and rising sea levels can be improved, maintaining the quality indicators required of the sand strip for the enjoyment of bathers and protection of the dunes. The forecast obtained for the next discharges has a maximum of 2,225,140.6 m3, in t50 discharge, a value this May that the discharge occurred before 2012.
Assessment of Queue Length and Delay at Toll Plaza Using Microscopic Traffic Simulation

Highways and freeways usually experience severe traffic congestion due to the presence of toll plazas which is considered as a bottleneck. In recent years, traffic engineers around the world have utilised microscopic traffic simulation models as tools to evaluate the performance of selected freeway facilities based on known traffic pattern data. This study attempts to analyse the performance of toll plaza by utilizing the microscopic traffic simulation software VISSIM 6.0, based on two different output measures, namely: average queue length and average delay time. At the selected toll plaza, data are collected at toll booths for all three modes of payments, which are: cash mode, Touch n Go, and Smart TAG. Therefore, this study aims to build a microscopic traffic simulation model that is capable of analysing the behaviour of vehicles at toll plaza based on the mentioned output measures for each mode of payment and also to determine the type of payment mode that has the most significant impact on the overall performance of toll plazas and ultimately, to understand the causes of congestion at toll plaza.
The Subjective Habitability & Acceptability Questionnaire (SHAQ): Development and Validation

Objective Describe the development and validation of the Subjective Habitability & Acceptability Questionnaire (SHAQ). Background Habitat area size, layout, and design may impact individual and team behavioral health and performance (BHP) outcomes in operational environments. However, there are no standardized measures of these relationships. Method SHAQ is a modular survey consisting of two 6-item scales: BHP Outcomes (Performance of Individual Activities, Performance of Group Activities, Mood, Psychological Stress, Sleep, and Social Interactions) and Habitability Moderators (Privacy, Social Density, Efficiency, Control, Comfort, and Convenience). We collected SHAQ data from NASA’s Human Exploration Research Analog (HERA) crews (n = 19) in reference to multiple habitat areas (Sleep/Bedroom, Hygiene/Bathroom, Work/Office/Workshop, and Food Preparation/Kitchen/Galley) in the HERA operational environment, private hotel rooms, and individual home habitats. Results SHAQ has high construct validity (single factor solutions, mean item factor loading = 0.760, mean % variance = 60.37), internal consistency and reliability (item mean α = 0.880, mean ω=0.894, mean ICC = 0.430), concurrent validity (mean item r with System Usability Scale = 0.42), and discriminant validity (e.g., significantly higher facilitation of group activities in HERA Work/Office/Workshop and Food Preparation/Kitchen/Galley areas vs. Hygiene/Bathroom and Sleep/Bedroom areas; significantly higher ratings of privacy, comfort, and convenience in hotel vs. HERA). Conclusion SHAQ is a reliable, valid, and sensitive measure of BHP impacts of habitat size and layout. Application SHAQ can be used to inform evidence-based recommendations and thresholds for habitat area size, layout, and design options to support individual and team BHP in operational environments.
A Redesign Methodology to Improve the Performance of a Thermal Energy Storage with Phase Change Materials: A Numerical Approach

In recent years, phase change materials (PCMs) have been presented as a suitable alternative for thermal energy storage (TES) systems for solar water heater (SWH) applications. However, PCMs’ low thermal conductivity and the high dependence on external conditions are the main challenges during the design of TES systems with PCMs. Design actions to improve the performance of the TES systems are crucial to achieve the necessary stored/released thermal energy and guarantee the all-day operation of SWHs under specific system requirements. In this study, a TES with PCM in the configuration of a heat exchanger was redesigned, focused on achieving two main targets: an outlet water temperature over 43 °C during discharging time (15 h) and efficiency over 60% to supply the hot water demand of two families (400 L). A four-step redesign methodology was proposed and implemented through numerical simulations to address this aim. It was concluded that the type, encapsulation shape, and amount of PCM slightly impacted the system’s performance; however, selecting a suitable sensible heat storage material had the highest impact on meeting the system’s targets. The redesigned TES reached 15 operating hours with a minimum outlet water temperature of 45.30 °C and efficiency of 76.08%.
Influence of Fermentation Conditions (Temperature and Time) on the Physicochemical Properties and Bacteria Microbiota of Amasi

The aim of this present study was to optimize the fermentation conditions (time and temperature) of amasi (a Southern African fermented dairy product) using response surface methodology (RSM), and to determine the physicochemical properties, as well as the microbial composition, using next generation sequencing. Fermentation time and temperature were optimized to produce different amasi samples and different parameters, including pH, total soluble solids (TSS), total titratable acids (TTA), and consistency. All the variables studied were found to show significant (p ≤ 0.05) changes with increasing fermentation time and temperature. Numerical optimization was used to obtain the optimal fermentation conditions for amasi; based on RSM, it was 32 °C for 140 h, while with k-means clustering, it was 25 °C for 120 h. Under both conditions for the optimal samples, the pH reduced from 6.64 to 3.99, TTA increased from 0.02 to 0.11 (% lactic acid), TSS decreased from 9.47 to 6.67 °Brix, and the consistency decreased from 23 to 15.23 cm/min. Most of the identified bacteria were linked to lactic acid bacteria, with the family Lactobacillaceae being the most predominant in amasi, while in raw milk, Prevotellaceae was the most abundant. The fermentation conditions (time and temperature) had a significant influence on the parameters investigated in this study. Results of this study could provide information for the commercialization of quality amasi.
Internal Quality and Job Satisfaction in Health Care Services

(1) Background: The main purpose of this study was to evaluate the health services’ internal quality level in Greek public hospitals and to investigate whether there is a relation between internal quality and health care professionals’ job satisfaction. (2) Material and Methods: A cross-sectional study was conducted in six public hospitals (four general and two specialized hospitals). The following tools were used to collect data: (a) the SERVQUAL questionnaire, which is designed to measure service quality through five dimensions, and (b) the Job Satisfaction Survey (JSS) questionnaire, which is designed to measure employees’ job satisfaction. Convenience sampling was used as a sampling technique. (3) Results: The level of internal quality service was found to be low as regards the dimensions of: reliability, assurance, responsiveness, and empathy, while the “tangibles” dimension was the only one which was assessed as having a satisfactory internal quality level. Τhe results also revealed a positive correlation between the job satisfaction subscales and the quality dimensions. Regarding demographic characteristics and their effect on employees’ perceptions of internal quality dimensions, the study found that the gender and the educational factor had no effect while younger employees have a more positive perception of the quality of responsiveness dimension in the health organizations where they work. In terms of profession, administrative staff had a lower perception of the quality of tangibles dimension than doctors and nurses. Concerning years of experience, the results indicated that employees with more previous working experience had a worse perception of the quality of reliability, responsiveness, and assurance dimensions. (4) Conclusions: According to the results, establishing a sense of trust and understanding between management and health professionals through effective communication, transparent evaluation, and reward is critical to developing, enhancing, and promoting an internal quality culture in a hospital setting.
The Influenza Vaccine May Protect Pregnant and Postpartum Women against Severe COVID-19

The SARS-CoV-2 pandemic has imposed a huge challenge on the antenatal care of pregnant women worldwide, with the maternal mortality rate being raised to alarming levels. While COVID-19 vaccines were developed, some studies highlighted a possible relationship between influenza vaccination and lower odds of COVID-19 infection. As obstetric patients belong to a high-risk group for respiratory diseases, this study evaluated whether influenza vaccination reduces the severity of COVID-19 infection and mortality among pregnant and postpartum women. We conducted a retrospective cohort study on 3370 pregnant and postpartum women from the Brazilian national database, where they were grouped according to their influenza vaccination status before the onset of COVID-19 symptoms. The intensive care unit admission and intubation rates were significantly higher among subjects in the unvaccinated group (p = 0.002 and p < 0.001, respectively). The odds of mortality risk among those who received the vaccine was 0.33, with a 95% confidence interval of 0.23–0.47. The numbers of patients who needed to be vaccinated to avoid a case of intensive care unit admission, intubation, or death due to COVID-19 were 11, 15, and 11, respectively. Influenza vaccines could confer protection against severe COVID-19 infection in pregnant and postpartum women.
QSPR Modelling of Potentiometric HCO3−/Cl− Selectivity for Polymeric Membrane Sensors

Since the development process of new sensors is long and tedious, it would be very helpful to develop a model that could predict sensor properties based on active compound structure without the actual synthesis and characterization of the corresponding sensors. In this work, the model for the prediction of logK (HCO3−/Cl−) was constructed based on 40 ligand structures suggested in the literature for carbonate sensing. Substructural molecular fragments (SMF) were used to describe the structure of compounds, where fragments were considered as sequences of bonds and atoms. The projection on latent structures (PLS) method was used to calculate the regression model.
Vacuum Based Gas Sensing Material Characterization System for Precise and Simultaneous Measurement of Optical and Electrical Responses

Gas sensing performance characterization systems are essential for the research and development of gas sensing materials and devices. Although existing systems are almost completely automatically operated, the accuracies of gas concentration control and of pressure control and the ability to simultaneously detect different sensor signals still require improvement. In this study, a high-precision gas sensing material characterization system is developed based on vacuum technology, with the objective of enabling the precise and simultaneous measurement of electrical responses. Because of the implementation of vacuum technology, the gas concentration control accuracy is improved more than 1600 times, whereas the pressure of the test ambient condition can be precisely adjusted between vacuum and 1.2 bar. The vacuum-assisted gas-exchanging mechanism also enables the sensor response time to be determined more accurately. The system is capable of performing sensitivity, selectivity, and stability tests and can control the ambient relative humidity in a precise manner. More importantly, the levels of performance of three different optical signal measurement set-ups were investigated and compared in terms of detection range, linearity, noise, and response time, based on which of their scopes of application were proposed. Finally, single-period and cyclical tests were performed to examine the ability of the system to detect optical and electrical responses simultaneously, both at a single wavelength and in a spectral region.