We introduce a variant of Spector’s bar recursion (called “modified bar recursion”) in finite types to give a realizability interpretation of the classical axiom of countable choice allowing for the extraction of witnesses from proofs of Σ1 formulas in classical analysis. As a second application of modified bar recursion we present a bar recursive definition of the fan functional. Moreover, we ...

Transesterification of (+/-)-menthol using propionic acid anhydride and Candida rugosa lipase was performed in chloroform and water at different pressures (1, 10, 50, and 100 bar) to study the pressure dependence of enantioselectivity E. As a result, E significantly decreased with increasing pressure from E = 55 (1 bar) to E = 47 (10 bar), E = 37 (50 bar), and E = 9 (100 bar). To rationalize th...

A new route to cationic complexes of Mg, Ca, Sr and Ba with 18-membered ring O4S2, O4Se2 and O2S4 donor macrocycles from metal acetonitrile complexes with weakly coordinating [BAr(F)](-) anions is described. The precursors used were [M(MeCN)x][BAr(F)]2 (M = Mg, x = 6; M = Ca, x = 8) and [M'(acacH)(MeCN)5][BAr(F)]2 (M' = Sr or Ba). Reaction of these with the heterocrowns, [18]aneO4S2 (1,4,10,13-...

Mislabeling of laboratory samples has been found to be a high-risk issue in acute care hospitals. The goal of this study was to decrease mislabeled blood specimens. In the first year after the implementation of a positive patient identification system using barcoding and computer technology, the number of labeling errors decreased from 103 to 8 per year. The outcome was clinically and statistic...

In this article, we utilise the non-relativistic potential model to calculate mass-spectra of all bottom [ $$bb][{\bar{b}}{\bar{b}}$$ ] and heavy-light $$bq][{\bar{b}}{\bar{q}}$$ (q = u,d) tetraquark states in diquark–antidiquark approximation. The four-body problem is reduced into two body by numerically solving $$Schr\ddot{o}dinger$$ equation using a Cornell-inspired along with relativistic c...

The paper deals with the experimental characterization of different 280 mm diameter tilting pad journal bearings for turbomachines using a dedicated test rig. articles were 5-pad Direct Lube Rocker Pivot bearing, Flooded and 4-pad Ball Socket bearing. three tested in their specific design range operating conditions. Their static dynamic behavior was investigated as function parameters. In parti...