Miracle-dz/UniFAR-FTUs huggingface dataset:
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

This work presents a compositional approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 modules connected by a unified AFDX network. We model a DIMA system as a set of stopwatch automata in UPPAAL to verify its schedulability by model checking. However, direct model checking is infeasible due to the large state space. Therefore, we introduce the compositional analysis that checks each partition including its communication environment individually. Based on a notion of message interfaces, a number of message sender automata are built to model the environment for a partition. We define a timed selection simulation relation, which supports the construction of composite message interfaces. By using assume-guarantee reasoning, we ensure that each task meets the deadline and that communication constraints are also fulfilled globally. The approach is applied to the analysis of a concrete DIMA system.
Early Outcomes and Perioperative Complications of the Arthroscopic Latarjet Procedure: Systematic Review and Meta-analysis

Background: The arthroscopic Latarjet-Bristow procedure is emerging as a reliable alternative to the open procedure. The reduced soft tissue damage with potential advantages of early pain control and functional recovery is attractive. However, the operation is technically more demanding, and there are concerns regarding the potential for increased recurrence and complication rates. Purpose: To evaluate the available literature focusing on the reported functional outcomes and complications of the arthroscopic Latarjet procedure and compare them with the open procedure. Study Design: Systematic review and meta-analysis. Methods: A comprehensive systematic review was performed with the keywords “arthroscopy,” “arthroscopic,” “Latarjet,” and “Bristow,” with no limit regarding the year of publication. The review was limited to the English-language articles, and each article was evaluated with a modified MINORS (methodological index for nonrandomized studies) scoring system. Results: Fourteen studies met the inclusion criteria and were included in the review. Overall, 813 patients met inclusion criteria, with a mean follow-up of 24.5 months. The mean Walch-Duplay and Rowe scores were 89.6 and 90.2, respectively. The overall complication rate was 16.5%; intraoperative conversion to open surgery, 2%; recurrence, 2.5%; and revision surgery, 5.6%. When only comparative studies were considered, the overall complication rates were 23.7% (arthroscopically) and 15.3% (open). The recurrence and revision surgery rates were 6.5% and 5.7% in the study group, while the corresponding values in the control group were 4% and 2.9%. The mean MINORS score was 14.5 (11.6 for noncomparative studies and 19 for comparative studies). Conclusion: The arthroscopic Latarjet-Bristow procedure is reliable. Outcomes are satisfactory, with less pain and faster recovery in the first postoperative week. However, the procedure is technically demanding, and higher rates of complications and reoperations should be expected. Finally, the arthroscopic operation is much more expensive in terms of implanted materials than the open procedure.
Time Required to Achieve Minimal Clinically Important Difference and Substantial Clinical Benefit After Arthroscopic Treatment of Femoroacetabular Impingement

Background: Minimal clinically important difference (MCID) defines the minimum degree of quantifiable outcome improvement that a patient perceives as the result of an intervention or in the process of healing. Substantial clinical benefit (SCB) defines the amount of quantifiable outcome improvement that is needed for a patient to feel substantially better. Little is known about when clinically significant outcome improvement is achieved. Purpose: To investigate the time-dependent nature of MCID and SCB after hip arthroscopy for femoroacetabular impingement (FAI). Study Design: Cohort study; Level of evidence, 2. Methods: An institutional hip preservation registry was queried. The modified Harris Hip Score, Hip Outcome Score, and 33-item International Hip Outcome Tool (iHOT-33) were administered to patients undergoing hip arthroscopy for FAI. Follow-up times for outcome measures were classified into 3 periods: 5 to 11 months (6 months), 12 to 23 months (1 year), and 24 to 35 months (2 years). Cumulative probabilities for achieving MCID and SCB were calculated with Kaplan-Meier survival curve analysis and interval censoring. A Weibull parametric regression analysis evaluated the odds of achieving earlier MCID. Results: A total of 719 patients undergoing primary hip arthroscopy were included. The mean ± SD age was 32.5 ± 10.5 years, and the majority were female (n = 380, 52.9%). Across all 4 outcome instruments, patients had the highest probability for achieving MCID and SCB by the 6-month postoperative period. The iHOT-33 demonstrated the highest probability for capturing MCID and SCB improvement at each of the 3 periods, with 76.0%, 84.8%, and 93.6% achieving MCID by 6 months, 1 year, and 2 years, respectively. Similarly, the probabilities of achieving SCB on the iHOT-33 were as follows: 57.1%, 68.0%, and 71.7%. A similar trend was demonstrated across other outcome tools. Older male patients and those with Outerbridge classification 1 to 4 (vs grade 0) had a significantly increased risk for taking a longer time to achieve MCID and SCB. Additionally, patients with higher preoperative outcome scores took a longer time to achieve MCID and SCB. Conclusion: At least half of patients treated with hip arthroscopy for FAI achieve MCID and SCB within the first 6 months after the procedure. However, clinically significant outcome improvement continues to be attained until 2 years postoperatively. Female patients, younger individuals, and those without chondral defects achieve faster clinical outcome improvement. These findings can be helpful for establishing shared decision-making aids and follow-up guidelines for arthroscopic treatment of FAI.
Renal tumors in end‐stage renal disease: A comprehensive review

The incidence of end‐stage renal disease has increased owing to the greater prevalence of patients with chronic kidney disease and diabetes mellitus. End‐stage renal disease is usually accompanied by acquired cystic disease and is a risk factor for renal cell carcinoma. The present review discusses the etiology of renal cell carcinoma in end‐stage renal disease patients, focusing on two unique renal cell carcinoma histological subtypes: acquired cystic disease‐associated renal cell carcinoma and clear cell papillary renal cell carcinoma. Acquired cystic disease‐associated renal cell carcinoma occurs almost exclusively in patients who underwent hemodialysis, especially long‐term (>10 years) hemodialysis. Its histology is distinctive: a cribriform or sieve‐like architecture with intra‐ or intracystic lumina; tumor cells containing abundant eosinophilic cytoplasm and large nuclei with prominent nucleoli; and most notably, calcium oxalate crystal deposition. Recognition of the crystals is critical for diagnosing acquired cystic disease‐associated renal cell carcinoma. Acquired cystic disease‐associated renal cell carcinoma typically has an indolent clinical course, except in cases with sarcomatoid components. Clear cell papillary renal cell carcinoma also has an indolent course (no cases involving metastasis have been reported to date), and its features resemble those of both clear cell renal cell carcinoma and papillary renal cell carcinoma. Unlike acquired cystic disease‐associated renal cell carcinoma, which occurs only in end‐stage renal disease patients, clear cell papillary renal cell carcinoma occurs in non‐end‐stage renal disease patients as well. Additional renal tumors in end‐stage renal disease patients include anastomosing hemangiomas. Long‐term hemodialysis worsens the prognosis of end‐stage renal disease patients with renal cell carcinoma, regardless of its original histological subtype, presumably by inducing oxidative stress and sarcomatoid transformation.
The Influence of Hyperosmolarity in the Intervertebral Disc on the Proliferation and Chondrogenic Differentiation of Nucleus Pulposus-Derived Mesenchymal Stem Cells

Nucleus pulposus-derived mesenchymal stem cells (NP-MSCs) are suitable cell candidates for intervertebral disc (IVD) regeneration. However, little work has been done to determine the proliferation and chondrogenic differentiation of NP-MSCs in the hyperosmotic microenvironment of IVD. This study aimed to investigate the influence of the hyperosmolarity of IVD on the proliferation and chondrogenic differentiation of NP-MSCs. NP-MSCs were cultured in media of 300, 400, 430, and 500 mOsm/L, mimicking the osmotic pressures of serious degenerative, moderately degenerative, and healthy IVD. Cell proliferation was measured by CCK-8 assay. The expression of aggrecan, collagen I, and collagen II were measured by gene and protein expression analysis. Alcian blue and dimethylmethylene blue assay were used to investigate the accumulation of sulfate glycosaminoglycan. The regulation role of extracellular signal-regulated kinase (ERK) pathway was also analyzed. The results showed that, compared to 300 mOsm/L, hyperosmolarity of healthy IVD (430 and 500 mOsm/L) inhibited the proliferation and chondrogenic differentiation of NP-MSCs. The relative hypoosmotic condition of moderately degenerative IVD (400 mOsm/L) led to great proliferation and chondrogenic differentiation capacity. The ERK pathway was activated by the hyperosmolarity; inhibition of the ERK pathway abolished the difference in cell proliferation between the 300 mOsm/L and the hyperosmotic conditions, and enhanced chondrogenic differentiation. In conclusion, hyperosmolarity of IVD had a significant impact on the proliferation and chondrogenic differentiation of NP-MSCs. The ERK pathway was involved in the inhibition of proliferation and chondrogenic differentiation of NP-MSCs by the hyperosmolarity of IVD. The relative hypo-osmotic condition prevailing in degenerative discs offers a more permissive microenvironment for NP-MSCs.
Clinicopathologic Features and Early Surgical Outcome of Astrocytomas in Eldoret, Kenya

ABSTRACT Background: Astrocytomas are primary central nervous system tumors arising from astrocytes and accounting for up to 37.8% of all brain tumors seen in hospital-based studies from Africa. Despite being common, their patterns and short-term outcomes remain poorly studied in Kenya. Materials and Methods: A prospective, descriptive study involving consecutive patients with a histological diagnosis of astrocytoma seen in three hospitals located in Eldoret, Kenya. Clinicopathologic characteristics and outcomes were recorded and patients followed up for 12 weeks. Results: Thirty-one patients were recruited over a 1-year period. Majority of them were female (51.6%). Headache (83.9%) and focal neurological deficits (64.5%) were the most common presenting features. Among patients with high-grade tumors, mean duration of illness was 106.03 ± 162.16 days, median functional status was Karnofsky performance status (KPS) score 50, mean tumor size was 110.22 ± 46.16 cm3, and median magnetic resonance imaging (MRI) score was 17. Among patients with low-grade astrocytomas, mean duration of illness was 213.03 ± 344.93 days, median functional status was KPS score 40, mean tumor size was 53.49 ± 54.96 cm3 and median MRI score was 9. Glioblastoma multiforme (GBM) (71%) and diffuse astrocytoma (22.6%) were the predominant histological subtypes. The median Ki-67 proliferative index was 6% for pilocytic astrocytoma, 1.6% for diffuse astrocytoma, and 60% for GBM. Systemic and regional surgical complications occurred in 6.5% and 38.7% of patients, respectively. In-hospital mortality was 19.4% and increased to 25.8% at 12 weeks. The KPS score at discharge was 50 and improved to 60 at 12 weeks. Only 9.7% of patients had acceptable functional status at 12 weeks follow-up. Conclusions: In this locality, headache, focal neurological deficits, and reduced functional status are the most common presenting features of astrocytomas while GBM is the most common histological subtype. Tumors are highly proliferative and in the short-term, both surgical and functional outcome are suboptimal.
Security Against False Data-Injection Attack in Cyber-Physical Systems

In this paper, secure, remote estimation of a linear Gaussian process via observations at multiple sensors is considered. Such a framework is relevant to many cyber-physical systems and Internet-of-things applications. Sensors make sequential measurements that are shared with a fusion center; the fusion center applies a filtering algorithm to make its estimates. The challenge is the presence of a few unknown malicious sensors which can inject anomalous observations to skew the estimates at the fusion center. The set of malicious sensors may be time varying. The problems of malicious sensor detection and secure estimation are considered. First, an algorithm for secure estimation is proposed. The proposed estimation scheme uses a novel filtering and learning algorithm, where an optimal filter is learned over time by using the sensor observations in order to filter out malicious sensor observations while retaining other sensor measurements. Next, a novel detector to detect injection attacks on an unknown sensor subset is developed. Numerical results demonstrate up to 3-dB gain in the mean-squared error and up to $\text{75} \%$ higher attack detection probability under a small false alarm rate constraint, against a competing algorithm that requires additional side information.
Change in the new psychoactive substances associated with Emergency Department acute toxicity presentations associated with the introduction of the UK 2016 Psychoactive Substances Act

Abstract Objectives: In May 2016, the Psychoactive Substances Act (PSA) came into effect in UK making it an offence to produce or supply new psychoactive substances (NPS). The aim of this study was to determine whether this was associated with a change in Emergency Department (ED) presentations with acute NPS toxicity. Method: ED presentations to our inner-city hospital in London, UK, with acute NPS toxicity in the 12 months before and after the PSA introduction [June 2015–May 2016 (2015/2016) and June 2016–May 2017 (2016/2017)] were obtained from our database. The following data were extracted: (i) demographics; (ii) NPS(s) self-reported [categorized as synthetic cannabinoids (SC), cathinones, and “other NPS”)]; and (iii) month of presentation. Results: There were 1884 presentations with recreational drug toxicity, 447 (23.7%) involved NPS. There was no difference in the overall proportion of presentations involving an NPS in 2015/2016 [n = 196 (22.3%)] and 2016/2017 [251 (24.9%); (p = .48)]. There were a mean ± SD of 16.3 ± 3.7 NPS-related presentations per month in 2015/2016 and 20.9 ± 9.2 in 2016/2017; there was no significant change in overall monthly NPS-related presentations between these periods (p = .15). However, mean ± SD monthly SC-related presentations increased from 2015/2016 (5.9 ± 2.5) to 2016/2017 (17 ± 9.8); p = . 004. Mean monthly cathinone-related presentations decreased from 2015/2016 (8.8 ± 4.2) to 2016/2017 (3.8 ± 2.7); p = . 001. There was no significant change in monthly mean “other NPS” presentations from 2015/2016 (1.8 ± 2.2) to 2016/2017 (0.5 ± 0.8); p = . 062. Between 2015/2016 and 2016/2017, SCs as a proportion of NPS-related presentations increased (r = .90) whilst cathinones decreased (r = −0.82). Conclusion: NPS present front-line health services with unique challenges, and the PSA 2016 represents a major legislative effort in UK to limit their availability and supply. The burden of NPS use on this inner-city ED remains large 12 months after this legislation has come into force, with evolving patterns of NPS use.
Telemonitoring in asthma control: a randomized controlled trial

Abstract Objective: Telemonitoring seems to be a useful tool for patients’ management. The aim of our project was to test the applicability and potential effects of a 12-month telemonitoring of patients with asthma supported by information and communication technologies. Methods: We included 100 patients with asthma followed in the outpatient pulmonary clinic in a randomized controlled clinical trial. The patients’ data were collected by study questionnaires and lung function tests at the inclusion and at the end of interventional period. In the interventional group, asthma control test (ACT) and peak expiratory flow measurements (PEF) were stimulated to be regularly reported by Short Message Service (SMS). As a response to reported values, the patients automatically received a preformed text or a call from a study nurse in case of detected predefined critical values. Results: The compliance of reporting PEF and ACT values was higher than 80% in 96% of patients. Although we did not detect significant differences in ACT score improvement between the two study groups, we found more prominent improvement of ACT score in the subgroup of patients with two or more exacerbations prior to inclusion in the interventional group, compared to the control group. 40 (78%) patients in the interventional group listed at least one positive effect of telemonitoring on management of asthma. Conclusions: The developed program for home monitoring of patients with asthma was applicable and offered the patients support in managing their disease. Further studies with more selected patients are needed to confirm its usefulness in improving asthma control.
Do a robot’s social skills and its objection discourage interactants from switching the robot off?

Building on the notion that people respond to media as if they were real, switching off a robot which exhibits lifelike behavior implies an interesting situation. In an experimental lab study with a 2x2 between-subjects-design (N = 85), people were given the choice to switch off a robot with which they had just interacted. The style of the interaction was either social (mimicking human behavior) or functional (displaying machinelike behavior). Additionally, the robot either voiced an objection against being switched off or it remained silent. Results show that participants rather let the robot stay switched on when the robot objected. After the functional interaction, people evaluated the robot as less likeable, which in turn led to a reduced stress experience after the switching off situation. Furthermore, individuals hesitated longest when they had experienced a functional interaction in combination with an objecting robot. This unexpected result might be due to the fact that the impression people had formed based on the task-focused behavior of the robot conflicted with the emotional nature of the objection.
The present and future treatment of pediatric type 2 diabetes

ABSTRACT Introduction: Treatment of type 2 diabetes (T2D) in children and adolescents is particularly challenging. Metformin monotherapy is the standard initial treatment for youth with T2D, once metabolic control is restored with insulin in patients who present with ketosis and/or marked hyperglycemia. Insulin, the only other drug approved for use in youth with T2D, is also used as add-on therapy when patients fail metformin mono-therapy. Areas covered: In this paper, we will summarize the current use of both metformin and insulin in the treatment of pediatric type 2 diabetes, as well as comment on their limitations. Given the rapid progression of T2D in youth, there is also considerable interest in treating youth with new oral and injectable agents that have been approved for use in adults with T2D. The potential for improving clinical outcomes of each of the main classes of new drugs for the treatment of pediatric T2D will be summerized. Expert commentary: We will conclude by reviewing why phase 3 randomized clinical trials examining the safety and efficacy of these medications in the pediatric population have been difficult to complete and discuss a potential pathway to overcome these obstacles to regulatory approval for these drugs for adolescents with T2D.
Antimycobacterial Activity and Safety Profile Assessment of Alpinia galanga and Tinospora cordifolia

Tuberculosis (TB) remains a common deadly infectious disease and worldwide a major health problem. The current study was therefore designed to investigate the in vitro antimycobacterial activity of different extracts of Alpinia galanga and Tinospora cordifolia. Moreover, a safety assessment for both plants was carried out. Dichloromethane and ethanolic extracts of each plant were examined against H37Rv INH-sensitive and resistant INH strains of Mycobacterium tuberculosis. The safety assessment of both plants has been performed through in vivo acute and chronic toxicity studies in animal model. Body weight, food consumption, water intake, organ's weight, and haematological and biochemical parameters of blood and serum were evaluated. The extracts of A. galanga and T. cordifolia produced significant and dose-dependent inhibitory activity with maximum effect of 18-32% at 50 μg/ml against both strains of M. tuberculosis. No effect on the body weight or food and water consumption was observed but A. galanga caused significantly an increase in the relative weight of the heart, liver, spleen, and kidney. Haematological studies of both plants revealed a slight but significant fall in the RBC and WBC level as well as haemoglobin and platelets. In addition, A. galanga extracts increased significantly liver enzymes and bilirubin and glucose.
Applications of low-cost 3D printing in left atrial appendage closure using epicardial approaches – initial clinical experience

Introduction Left atrial appendage occlusion procedure (LAAO) became an alternative method for stroke prevention in atrial fibrillation (AF) patients with contraindication or intolerance for oral anticoagulation therapy. However, LAA anatomy is complex with several different types of LAA morphology. Therefore matching the correct size of a delivery device to LAA morphology is difficult. In such circumstances, the 3D-printed model of LAA closure may be useful for preoperative planning which increases the efficacy of LAAO procedure. Material and methods We report as a first 2 cases of LAA occlusion procedure using 2 different systems: thoracoscopic AtriClip and the LARIAT device in which a 3D printed LAA model was used in preoperative planning. Results In the first patient, preoperative measurements of 3D LAA model were performed using a dedicated selection guide for AtriClip device were comparable with the intraoperative examination. Left atrial appendage was closed epicardial using 40 mm size AtriClip. In second patients, LAA closure was performed completely percutaneously using LARIAT device. For better visualization of LAA shape on fluoroscopy and TEE examination, intraoperatively sterilized 3D LAA model was used during the procedure. In both cases, intraoperative TEE examination confirmed complete LAA closure with no leak. Conclusions Left atrial appendage 3D model is a useful tool in preoperative planning of a left atrial appendage occlusion using epicardial approaches with thoracoscopic or percutaneous access using LARIAT device. The quality of low-cost 3D printed LAA model is sufficient in planning minimally invasive procedure.