Runtime verification (RV) is a lightweight approach to detecting temporal errors of system at runtime. It confines the verification on observed trajectory which avoids state explosion problem.To predict the future violation, some work proposed the predictive RV which uses the information from models or static analysis. But for software whose models and codes cannot be obtained, or systems running under uncertain environment, these predictive methods cannot take effect. Meanwhile, RV in general takes multi-valued logic as the specification languages, for example the " true, false and inconclusive" in three-valued semantics. They cannot give accurate quantitative description of correctness when "inconclusive" is encountered. We in this paper present a RV method which learns probabilistic model of system and environment from history traces and then generates probabilistic runtime monitor to quantitatively predict the satisfaction of temporal property at each runtime state. In this approach, Hidden Markov Model (HMM) is firstly learned and then transformed to Discrete Time Markov Chain (DTMC). To construct incremental monitor, the monitored LTL property is translated into Deterministic Rabin Automaton (DRA). The final probabilistic monitor is obtained by generating the product of DTMC and DRA, and computing the probabilities for each state. With such method, one can give early warning once the probability of correctness is lower than pre-defined threshold, and have the chance to do adjustment in advance. The method has been implemented and experimented on real UAS (Unmanned Aerial Vehicle) simulation platform.

Background: The NOL system (PMD-200™ Nociception Monitor; Medasense Ltd, Israel) is used for real-time detection of physiological nociception in anesthetized patients by assessing varia-bles indicative of sympathetic activity, such as photoplethysmography, skin conductance, pe-ripheral temperature, and accelerometry, which are quantified into a "NOL" index. This index is more sensitive than traditional clinical parameters in estimating pain and stress responses. While its effectiveness in general anesthesia is well-documented, its efficacy in epidural anes-thesia needs investigation. Methods: This retrospective study analyzed NOL index dynamics compared to conventional pa-rameters after epidural administration of a local anesthetic during abdominal surgeries. After Ethics Committee approval and DRKS registration, 119 NOL measurements were retrospectively analyzed following thoracic epidural catheter administration. NOL values were assessed at 0, 1, 3, and 5 minutes post-application and compared to heart rate, blood pressure, and bispectral in-dex dynamics. Results: This studys showed a significant decrease in NOL values post-local anesthetic admin-istration, unlike classical clinical parameters. Higher doses of local anesthetics led to a signifi-cant, dose-dependent decrease in NOL index. Conclusions: This study is the first to demonstrate the NOL-Index's effectiveness in assessing nociceptive effects post-epidural administration, showing its superiority over conventional pa-rameters and sensitivity to dose variations.

Type 2 diabetes mellitus (T2DM) poses a significant public health challenge. Prioritising its prevention is essential. With the growing interest in wearable health technologies continuous glucose monitoring systems (CGMs) have expanded their scope, transitioning from exclusive use in diabetes management to lifestyle enhancement for individuals without diabetes. While CGMs primarily target glycaemic stabilization, their potential role in mitigating noncommunicable conditions, including T2DM, warrants exploration. This review examines the regulation of CGMs and critically assesses the purported benefits of CGMs for individuals without diabetes, as presented in the 'health and wellness' sector: (1) early dysglycaemia detection through glucose variability observation; (2) refining glycaemic control by tailoring nutrition according to postprandial glucose response; and (3) promoting and fine-tuning physical activity based on instantaneous data feedback. We find a lack of compelling evidence for the utility of CGMs in PNLD, including accuracy, data analysis and interpretation metrics, and user acceptability markedly under-researched. A paucity of research exists on the unanticipated negative consequences of CGM usage, such as obsessive symptom tracking and potential onset of disordered eating, like orthorexia. Given the increasing adoption of CGMs by individuals without diabetes, this review underscores the need of addressing these research gaps to ensure safety and reliability of CGMs in novel contexts. We emphasise the importance of refining CGM regulation in the UK, particularly when considering its ‘off-label’ use. Marrying robust scientific evidence with effective regulation is pivotal in fortifying the coherence, equity, and effectiveness of diabetes prevention initiatives, while protecting the wellbeing of CGM users.

Dust storms play a crucial role in the climate system and the space environment of Mars and have a great impact on human’s Mars exploration activities. The Martian dust storms exhibit significant regional, seasonal and interannual variations due to various controlling factors such as the large-scale atmospheric circulation, varying solar radiation forcing, and Martial orbital and rotational motions and their coupling to the atmospheric dynamics. This paper focuses on the review of cur-rent understandings on Martian dust storms. This paper begins by elucidating the basic properties of dust storms, and their driving mechanisms and impacts on atmospheric dynamics, atmospheric electric property, space environment, topography, and Mars explorations. Then it introduces the observation methods on different platforms including orbiters and landers/rovers, and the da-tasets constructed based on these historical observations for Martian dust storms. Finally, we pro-posed the dust storm monitoring and forecasting for the upcoming Chinese Tianwen-3 Mars sam-pling returning mission. It concludes by depicting the future research topics to systematically un-derstand the Martian dust storms.

Abstract: Research Highlights: This study is among the first to investigate ozone levels in urban forests in China. It establishes that urban forest air quality in Yuanshan Forest Park, Shenzhen, is suitable for recreational activities and identifies spatial, seasonal, and diurnal O3 patterns and relationships with micrometeorological parameters, suggesting the possibility of manipulating relevant forest characteristics to reduce O3 levels. Background and Objectives: An understanding of O3 levels of urban forest environments is needed to assess potential effects on human health and recreational activities. Such studies in China are scarce. This study investigated urban forest O3 levels to improve understanding and support residents engaging in forest recreational activities. Materials and Methods: We monitored O3 levels in 2015–2016 for three urban forests representing common habitats (foothill, valley, and ridge) in Yuanshan Forest Park, Shenzhen, and for an adjacent square. Results: The overall mean daily and daily maximum 8-h mean (MDA8) O3 concentrations were highest for the ridge forest and lowest for the valley forest. Each forest’s O3 concentrations were highest in summer. Diurnally, forest O3 concentrations peaked between 13:00 and 17:00 and reached a minimum between 03:00 and 09:00. The correlation between forest O3 concentrations and air temperature (AT) was strongly positive in summer and autumn but negative in spring. In each season, O3 concentration was negatively correlated with relative humidity (RH). No MDA8 or hourly O3 concentrations in the forests exceeded National Ambient Air Quality Standard Grade I thresholds (100 and 160 μg m−3, respectively). Conclusions: O3 accumulation is present in ridge urban forest in all seasons. Foothill and valley urban forests have better air quality than ridge forestation. Urban forest air quality is better in spring and autumn than in summer and is better from night-time to early morning than from noon to afternoon.

Healthcare visits were reduced during COVID-19 pandemic causing the disturbance of the sustainability in NAFLD monitoring. Telemedicine acts to maintain connectivity between patients and healthcare professionals. This review aimed to assess telemedicine helps to monitoring in NAFLD. The database was searched from The PubMedCentral and ScienceDirect from 2020 to 2023. We assessed the Cochrane Risk of Bias (RoB) for randomized controlled trial (RCT) and the Newcastle-Ottawa scale for non-RCTs systematic reviews. Meta-analyses with random-effects model to determine the pooled mean difference (MD) and p-value. There were three RCT and two non-RCT were included (n=239) with 56.9% males and the mean age was 51.3 years. Median intervention lasted 5.5 months. The parameter were body weight (BW), body mass index (BMI), waist circumference, liver function (AST/ALT), lipid profile and HbA1c. Metaanalysis showed telemedicine had a significant effect on improving outcomes for BW (MD -2.81: 95% CI, -4.11, -1.51, P 0.0001) and BMI (MD -1.01: 95% CI, -1.47, -0.55, P 0.0001) compared to standard care, while the AST/ALT were not significantly reduced. Other laboratory parameter were decreased from systematic reviews. Telemedicine through mobile-based applications could be an option for monitoring body weight and BMI in NAFLD patients facing the pandemic.

This publication aims to disseminate a step-by-step process that walks through the conceptualization and building of a low-cost (~ $150 monitoring device for airborne fine particulate matter (PM2.5), based on miniaturized sensors and components. Details on the implementation of the hardware and software are provided which facilitate the data acquisition, capture and analysis. The central components and their setup discussed in what follows include: the sensor device (called “P.ALP” – Ph.D. Air quality Low-cost Project), Arduino IDE (Integrated Development Environment) and R code (open-access software). A monitoring device for PM2.5, using low-cost sensors and technologies was successfully conceptualized, designed, and implemented. The P.ALP monitoring system was designed and developed to be a basic device, which can be further customized and implemented using the wide range of low-cost sensors available on the market.

Blood glucose (BG) monitoring is an important issue for critically ill patients. Previous studies reported that poor sugar control was associated with increased mortality in admitted patients. However, repeated blood glucose monitoring can be resource-consuming and cause a healthcare burden in clinical practice. In this study, we aimed to develop a personalized machine-learning model to predict dysglycemia based on electrocardiogram (ECG) findings. The study included patients with more than 20 ECG records during single hospital admission in the Medical Information Mart for Intensive Care III database, focusing on the lead II recordings, along with the corresponding blood sugar data. We processed the data and used ECG features from each heartbeat as inputs to develop a one-class support vector machine (SVM) algorithm to predict dysglycemia. The model prediction for dysglycemia using a single heartbeat had an AUC level of 0.92 ± 0.09, with a sensitivity of 0.92 ± 0.10 and specificity of 0.84 ± 0.04. Based on 10 s majority voting, the model prediction for dysglycemia improved to an AUC of 0.97 ± 0.06. In this study, we found that a personalized machine-learning algorithm could accurately detect dysglycemia using a single-lead ECG.

Background: Limited research has been done to measure ambulatory respiratory behavior, in particular those associated with tobacco use, in the natural environment due to a lack of monitoring techniques. Respiratory topography parameters provide useful information for modelling particle deposition in the lung and assessing exposure risk and health effects associated with tobacco use. Commercially available Wearable Respiratory Monitors (WRM), such as the Hexoskin Smart Garment, have embedded sensors which measure chest motion and may be adapted for measuring ambulatory lung volume. Methods: Self-reported ‘everyday’ and ‘some days’ Hookah and Cigarette smokers were recruited for a 3-day natural environment observation study. Participants wore the Hexoskin shirt while using their preferred tobacco product. The shirt was calibrated on them prior to, during, and after the observation period. A novel method for calculating the calibration parameters is presented. Results: N=5 Hookah and N=3 Cigarette participants were enrolled. Calibration parameters were obtained and applied to the observed chest motion waveform from each participant to obtain their lung volume waveform. Respiratory topography parameters were derived from the lung volume waveform. Conclusion: The feasibility of using the Hexoskin for measuring ambulatory respiratory topography parameters in the natural environment is demonstrated..

Urban cities in sub-Saharan Africa (SSA) are faced with ambient air pollution. This is an important public health problem with models and limited monitoring data indicating high concentrations of pollutants such as fine particulate matter (PM_2.5). Going through most global air quality index maps, however, information about ambient pollution from SSA is scarce. We evaluated the feasibility and practicality of longitudinal measurements of ambient PM_2.5 using low-cost air quality sensors (Purple Air-II-SD) across thirteen locations in seven countries in SSA. Devices were used to gather data over a 30-day period with the aim of assessing the efficiency of its data recovery rate and identifying challenges experienced by users in each location. The median data recovery rate was 94% (range: 72% to 100%). The mean 24-hour concentration measured across all sites was 38 µg/m³ with the highest PM_2.5 period average concentration of 91 µg/m³ measured in Kampala, Uganda and lowest concentrations of 15 µg/m³ measured in Faraja, The Gambia. Kampala-Uganda and Nnewi-Nigeria recorded the longest periods with concentrations>250µg/m³. Power outages, SD memory card issues, internet connectivity problems and device safety concerns were important challenges experienced when using Purple Air-II-SD sensors. Despite some operational challenges, this study demonstrated that it is reasonably practicable and feasible to establish a network of low-cost devices to provide data on local PM_2.5 concentrations in SSA countries. Such data are crucially needed to raise public-, societal and policymaker awareness about air pollution across SSA.

TVs and monitors are among the most widely used displays in various environments. However, they have limitations in their physical display conditions, such as a fixed size/position and a rigid/flat space. In this paper, we suggest a new "Display In the Wild" (DIW) concept to overcome the aforementioned problems. Our proposed DIW system allows us to display a flexibly large screen on dynamic non-planar surfaces at an arbitrary display position. To implement our DIW concept practically, we choose a projector as the hardware configuration in order to a generate screen anywhere with different sizes. However, distortion occurs when the projector displays content on a surface that is dynamic and/or non-planar. Therefore, we propose a distortion correction method for DIW to overcome the aforementioned surface-constraints. Since projectors are not capture devices, we propose using a depth camera to determine the distortions on the surfaces quickly. We also propose DIW-specific calibration and fast/precise correction methods. Our calibration method is constructed to easily and quickly detect the projection surface, and also allows our proposed system to accommodate the intrinsic parameters such as a display resolution and field of view. We accomplish a fast undistortion process of the projector by considering only surface boundary pixels, which enables our method to run in real time. In our comprehensive experiments, the proposed DIW system generates undistorted screens such as TVs and monitors on dynamic non-planar surfaces at an arbitrary display position with Unmanned Aerial Vehicles (UAVs) in a fast and accurate manner, demonstrating its usefullness in practical DIW scenarios.

A 36-year-old professional marathon runner reported sudden heart palpitations occurring during competitions, with heart rates (HR) of 230 bpm recorded on sports HR monitor (HRM) over 4 years. These episodes subsided upon the cessation of exercise. Electrocardiograms, echocardiography, and cardiac magnetic resonance imaging results were borderline for athlete's heart. Because an electrophysiology study and standard exercise tests provoked no arrhythmia, doctors suspected Munchhausen syndrome. Ultimately, an exercise test that simulated the physical effort during a competition provoked tachyarrhythmia consistent with the HRM readings. This case demonstrates the diagnostic difficulties related to exercise-induced arrhythmia and the diagnostic usefulness of sports HRMs.

Disulfiram (DSF), an anti-alcoholism medicine, exerts treatment effects in patients suffering from persistent Borreliosis and also exhibits anti-cancer effects by its copper chelating derivatives. Since chronic/persistent borreliosis is characterized by increased amounts of proinflammatory macrophages, this study investigated opsonin-independent phagocytosis, migration and surface marker expression of in vivo activated human monocyte-derived macrophages and dendritic cells with and without DSF treatment. Phagocytosis of non-opsonized Dynabeads® M-450 and migration of macrophages and dendritic cells were monitored using live cell analyzer Juli™ Br for 24h by imaging every 3.5 min. Results were analyzed by a newly developed software based on the differential phase contrast images of cells before and after ingestion of Dynabeads bearing an electron dense iron core. As a control, phagocytosis was also monitored by visual counting of ingested beads. DSF decreased the phagocytic capacities exhibited by global macrophages and dendritic cells. DSF also impaired the migration of human monocyte-derived macrophages and dendritic cells (hMDMD) and significantly reduced the expression densities of surface antigens CD45 and CD14. In cells consisting of anti-inflammatory M2 macrophages, DSF led to a remarkable cell death and also increased oxidative stress as determined by MitoSox staining. Mitochondrial oxidative stress was a prominent feature in M2 macrophages which were more sensitive to DSF-induced cytotoxicity.

The recent COVID-19 pandemic has caused tremendous damage to social economy and people’s health. Some major issues fighting COVID-19 include early and accurate diagnosis and the shortage of ventilator machines for critical patients. In this work, we propose a closed-loop solution to deal with COVID-19: portable biosensing and wearable photoacoustic imaging for early and accurate diagnosis of infection and magnetically neuromodulation or minimally invasive electrical stimulation to replace the traditional ventilation. Proposed technique can guarantee ubiquitous and onsite detection, and electrical hypoglossal stimulator can be more effective in helping severe patients as well as reducing complications caused by ventilators.

Heart Rate Monitors (HRMs) are an indispensable tool for controlling training parameters of healthy athletes. They became a source of information about stress heart rhythm disturbances, recognized as unexpected increases in heart rate (HR), which can be life-threatening for athletes. Most HRMs do not recognize the type of arrhythmia, confusing them with artifacts. The aim of the study was to assess the usefulness of ECG recording functions by sports HRMs among endurance athletes, coaches, and physicians in comparison with other basic and hypothetical functions. We conducted 3 surveys among endurance athletes (76 runners, 14 cyclists, and 10 triathletes), as well as 10 coaches and 10 sports doctors to obtain information on how important ECG recording is, and what functions of HRMs should be improved to meet their expectations in the future. The respondents were asked questions regarding use and hypothetical functions, as well as preference for HRM type (optical/strap). For athletes, the 4 most important functions were distance traveled, pace, instant heart rate, and information about reaching the oxygen threshold. ECG recording was the 8th and 9th most important for momentary and continuous, respectively. Coaches opined more importance to ECG recording. Doctors placed ECG recording as most important. All participants preferred optical HRMs to strap HRMs. Research on the improvement and implementation of HRM functions shows slightly different preferences of athletes compared to coaches and doctors. Suspected arrhythmia increases the value of the HRM’s ability to record ECGs during training by athletes and coaches. For doctors, this is the most desirable feature in any situation. Considering the expectations of all groups continuous ECG recording during training will significantly improve the safety of athletes.

With the influence of Big Data culture on qualitative data collection, acquisition, and processing, it is becoming increasingly important that social scientists understand the complexity underlying data collection and the resulting models and analyses. Systematic approaches for creating computationally tractable models need to be employed in order to create representative, specialized reference corpora subsampled from Big Language Data sources. Even more importantly, any such method must be tested and vetted for its reproducibility and consistency in generating a representative model of a particular population in question. This article considers and tests one such method for Big Language Data downsampling of digitally-accessible language data to determine both how to operationalize this form of corpus model creation, as well as testing whether the method is reproducible. Using the U.S. Nuclear Regulatory Commission's public documentation database as a test source, the sampling method's procedure was evaluated to assess variation in the rate of which documents were deemed fit for inclusion or exclusion from the corpus across four iterations. The findings of this study indicate that such a principled sampling method is viable, thus necessitating the need for an approach for creating language-based models that account for extralinguistic factors and linguistic characteristics of documents.

There are currently around 78 Nuclear Power Plants (NPP) in the world based on Boiling Water Reactors (BWR). The current parameter to assess BWR instability issues is the linear Decay Ratio (DR). However, it is well known that BWRs are complex non-linear dynamical systems that may even exhibit chaotic dynamics that normally preclude the use of the DR when the BWR is working at a specific operating point during instability. In this work a novel methodology based on an adaptive Shannon Entropy estimator and on Noise Assisted Empirical Mode Decomposition variants is presented. This methodology was developed for real-time implementation of a stability monitor. This methodology was applied to a set of signals stemming from several NPPs reactors (Ringhals-Sweden, Forsmark-Sweden and Laguna Verde-Mexico) under commercial operating conditions, that experienced instabilities events, each one of a different nature