Search results for "SSIBL"
showing 10 items of 186 documents
MAST-RT0 SOLUTION OF 3D NAVIER STOKES EQUATIONS ON UNSTRUCTURED MESHS. PRELIMINARY RESULTS IN THE LAMINAR CASE
2021
MAST-RT0 solution of 3D Navier Stokes equations in very irregular domains. Preliminary results in the laminar case
2021
A new numerical methodology to solve the 3D Navier-Stokes equations for incompressible fluids within complex boundaries and unstructured body-fitted tetrahedral mesh is presented and validated with three literature and one real-case tests. We apply a fractional time step procedure where a predictor and a corrector problem are sequentially solved. The predictor step is solved applying the MAST (Marching in Space and Time) procedure, which explicitly handles the non-linear terms in the momentum equations, allowing numerical stability for Courant number greater than one. Correction steps are solved by a Mixed Hybrid Finite Elements discretization that assumes positive distances among tetrahedr…
On the admissibility of the space L_{0}(A, X) of vector-valued measurable functions
2013
We prove the admissibility of the space L_0(A,X) of vector-valued measurable functions determined by real-valued finitely additive set functions defined on algebras of sets.
Clinical evaluation of antiseptic mouth rinses to reduce salivary load of SARS-CoV-2
2021
AbstractMost public health measures to contain the COVID-19 pandemic are based on preventing the pathogen spread, and the use of oral antiseptics has been proposed as a strategy to reduce transmission risk. The aim of this manuscript is to test the efficacy of mouthwashes to reduce salivary viral load in vivo. This is a multi-centre, blinded, parallel-group, placebo-controlled randomised clinical trial that tests the effect of four mouthwashes (cetylpyridinium chloride, chlorhexidine, povidone-iodine and hydrogen peroxide) in SARS-CoV-2 salivary load measured by qPCR at baseline and 30, 60 and 120 min after the mouthrinse. A fifth group of patients used distilled water mouthrinse as a contr…
Analysis of thiamine transporter genes in sporadic beriberi
2014
Abstract Objective Thiamine or vitamin B 1 deficiency diminishes thiamine-dependent enzymatic activity, alters mitochondrial function, impairs oxidative metabolism, and causes selective neuronal death. We analyzed for the first time, the role of all known mutations within three specific thiamine carrier genes, SLC19 A2, SLC19 A3 , and SLC25 A19 , in a patient with atrophic beriberi, a multiorgan nutritional disease caused by thiamine deficiency. Methods A 44-year-old male alcoholic patient from Morocco developed massive bilateral leg edema, a subacute sensorimotor neuropathy, and incontinence. Despite normal vitamin B 1 serum levels, his clinical picture was rapidly reverted by high-dose in…
A coincidence-point problem of Perov type on rectangular cone metric spaces
2017
We consider a coincidence-point problem in the setting of rectangular cone metric spaces. Using alpha-admissible mappings and following Perov's approach, we establish some existence and uniqueness results for two self-mappings. Under a compatibility assumption, we also solve a common fixed-point problem.
Obstruction theory in action accessible categories
2013
Abstract We show that, in semi-abelian action accessible categories (such as the categories of groups, Lie algebras, rings, associative algebras and Poisson algebras), the obstruction to the existence of extensions is classified by the second cohomology group in the sense of Bourn. Moreover, we describe explicitly the obstruction to the existence of extensions in the case of Leibniz algebras, comparing Bourn cohomology with Loday–Pirashvili cohomology of Leibniz algebras.
Unification in first-order transitive modal logic
2019
We introduce unification in first-order transitive modal logics, i.e. logics extending Q–K4, and apply it to solve some problems such as admissibility of rules. Unifiable formulas in some extensions of Q–K4 are characterized and an explicit basis for the passive rules (those with non-unifiable premises) is provided. Both unifiability and passive rules depend on the number of logical constants in the logic; we focus on extensions of Q–K4 with at most four constants ⊤,⊥,□⊥,◊⊤. Projective formulas, defined in a way similar to propositional logic, are used to solve some questions concerning the disjunction and existence properties. A partial characterization of first-order modal logics with pr…
Theoretical characterization of iron and manganese porphyrins for catalyzed saturated alkane hydroxylations
1997
Abstract The theoretical characterization of porphin (H2Por), iron and manganese porphyrins MIII(Por) and their chlorine derivatives MIII(Por)Cl has been carried out. This work represents a first step for modelling catalyzed saturated alkane hydroxylations. The chlorine atom is responsible for the existence of a dipole moment of 1.2–2.0 D in the MIII(Por)Cl molecules and for a negative value of the mean quadrupole moment (−16–(−14)DA). The charge of the metal atom (1.8–2.2 e) is rather varied (to 2.1–2.6 e) and the effective polarizability (2.8–2.9 A3) is increased (to 3.5–3.6 A3) by the addition of the chlorine atom. Starting from the porphin molecule, the presence of the metal atom decrea…
Studi greci e latini nell?antica Università di Altamura (1748-1821)
2019
The article tries to highlight, despite the scarse of available documentation, the Greek and Latin studies (language and texts) in the ancient Apulian University in Altamura (1748-1821). Furthermore, on the basis of unpublished archival materials (school registers and student workbooks) it is possible to shed light on the ancient authors explained at school, the teaching methods, and the study practices.