Simulation of 3D Porous Media Flows with Application to Polymer Electrolyte Fuel Cells

A 3D lattice Boltzmann (LB) model with twenty-seven discrete velocities is presented and used for the simulation of three-dimensional porous media flows. Its accuracy in combination with the half-way bounce back boundary condition is assessed. Characteristic properties of the gas diffusion layers that are used in polymer electrolyte fuel cells can be determined with this model. Simulation in samples that have been obtained via X-ray tomographic microscopy, allows to estimate the values of permeability and relative effective diffusivity. Furthermore, the computational LB results are compared with the results of other numerical tools, as well as with experimental value

Biomarkers of neuronal damage in saturation diving-a controlled observational study

PURPOSE: A prospective and controlled observational study was performed to determine if the central nervous system injury markers glial fibrillary acidic protein (GFAp), neurofilament light (NfL) and tau concentrations changed in response to a saturation dive. METHODS: The intervention group consisted of 14 submariners compressed to 401 kPa in a dry hyperbaric chamber. They remained pressurized for 36 h and were then decompressed over 70 h. A control group of 12 individuals was used. Blood samples were obtained from both groups before, during and after hyperbaric exposure, and from the intervention group after a further 25-26 h. RESULTS: There were no statistically significant changes in the concentrations of GFAp, NfL and tau in the intervention group. During hyperbaric exposure, GFAp decreased in the control group (mean/median - 15.1/ - 8.9 pg·mL-1, p < 0.01) and there was a significant difference in absolute change of GFAp and NfL between the groups (17.7 pg·mL-1, p = 0.02 and 2.34 pg·mL-1, p = 0.02, respectively). Albumin decreased in the control group (mean/median - 2.74 g/L/ - 0.95 g/L, p = 0.02), but there was no statistically significant difference in albumin levels between the groups. In the intervention group, haematocrit and mean haemoglobin values were slightly increased after hyperbaric exposure (mean/median 2.3%/1.5%, p = 0.02 and 4.9 g/L, p = 0.06, respectively). CONCLUSION: Hyperbaric exposure to 401 kPa for 36 h was not associated with significant increases in GFAp, NfL or tau concentrations. Albumin levels, changes in hydration or diurnal variation were unlikely to have confounded the results. Saturation exposure to 401 kPa seems to be a procedure not harmful to the central nervous system. TRIAL REGISTRATION: ClinicalTrials.gov NCT03192930

Electroencephalography (EEG) for neurological prognostication after cardiac arrest and targeted temperature management; rationale and study design.

BACKGROUND: Electroencephalography (EEG) is widely used to assess neurological prognosis in patients who are comatose after cardiac arrest, but its value is limited by varying definitions of pathological patterns and by inter-rater variability. The American Clinical Neurophysiology Society (ACNS) has recently proposed a standardized EEG-terminology for critical care to address these limitations. METHODS/DESIGN: In the TTM-trial, 399 post cardiac arrest patients who remained comatose after rewarming underwent a routine EEG. The presence of clinical seizures, use of sedatives and antiepileptic drugs during the EEG-registration were prospectively documented. DISCUSSION: A well-defined terminology for interpreting post cardiac arrest EEGs is critical for the use of EEG as a prognostic tool. TRIAL REGISTRATION: The TTM-trial is registered at ClinicalTrials.gov (NCT01020916)

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs

A benefit of pure functional programming is that it encourages equational reasoning. However, the Haskell language has lacked direct tool support for such reasoning. Consequently, reasoning about Haskell programs is either performed manually, or in another language that does provide tool support (e.g. Agda or Coq). HERMIT is a Haskell-specific toolkit designed to support equational reasoning and user-guided program transformation, and to do so as part of the GHC compilation pipeline. This paper describes HERMIT’s recently developed support for equational reasoning, and presents two case studies of HERMIT usage: checking that type-class laws hold for specific instance declarations, and mechanising textbook equational reasoning

In children and adolescents with temporomandibular disorder assembled with juvenile idiopathic arthritis ‑ no association were found between pain and TMJ deformities using CBCT

Background - Children and adolescents with juvenile idiopathic arthritis (JIA) may suffer from temporomandibular disorder (TMD). Due to this, imaging diagnosis is crucial in JIA with non-symptomatic TM joint (TMJ) involvement. The aim of the study was to examine the association between clinical TMD signs/symptoms and cone-beam computed tomography (CBCT) findings of TMJ structural deformities in children and adolescents with JIA. Methods - This cross-sectional study is part of a longitudinal prospective multi-centre study performed from 2015–2020, including 228 children and adolescents aged 4–16 years diagnosed with JIA, according to the International League of Associations for Rheumatology (ILAR). For this sub-study, we included the Bergen cohort of 72 patients (32 female, median age 13.1 years, median duration of JIA 4.5 years). Clinical TMD signs/symptoms were registered as pain on palpation, pain on jaw movement, and combined pain of those two. The severity of TMJ deformity was classified as sound (no deformity), mild, or moderate/severe according to the radiographic findings of CBCT. Results Conclusions - There was no association between painful TMD and CBCT imaging features of the TMJ in patients with JIA, but the oligoarticular subtype of JIA, there was a significant difference associated with TMJ pain and structural CBCT deformities