Could SGLT2 Inhibitors Improve Exercise Intolerance in Chronic Heart Failure?

Despite the constant improvement of therapeutical options, heart failure (HF) remains associated with high mortality and morbidity. While new developments in guideline-recommended therapies can prolong survival and postpone HF hospitalizations, impaired exercise capacity remains one of the most debilitating symptoms of HF. Exercise intolerance in HF is multifactorial in origin, as the underlying cardiovascular pathology and reactive changes in skeletal muscle composition and metabolism both contribute. Recently, sodium-related glucose transporter 2 (SGLT2) inhibitors were found to improve cardiovascular outcomes significantly. Whilst much effort has been devoted to untangling the mechanisms responsible for these cardiovascular benefits of SGLT2 inhibitors, little is known about the effect of SGLT2 inhibitors on exercise performance in HF. This review provides an overview of the pathophysiological mechanisms that are responsible for exercise intolerance in HF, elaborates on the potential SGLT2-inhibitor-mediated effects on these phenomena, and provides an up-to-date overview of existing studies on the effect of SGLT2 inhibitors on clinical outcome parameters that are relevant to the assessment of exercise capacity. Finally, current gaps in the evidence and potential future perspectives on the effects of SGLT2 inhibitors on exercise intolerance in chronic HF are discussed.     

Formal Translation of Bytecode into BoogiePL

Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on this representation. Using an intermediate language improves the interoperability of tools and facilitates the computation of small verification conditions. Even though the translation into an intermediate representation is critical for the soundness of a verifier, this step has not been formally verified. In this paper, we formalize the translation of a small subset of Java bytecode into an imperative intermediate language similar to BoogiePL. We prove soundness of the translation by showing that each bytecode method whose BoogiePL translation can be verified, can also be verified in a logic that operates directly on bytecode.     

Shot-noise limited,supercontinuum-based optical coherence tomography

We present the first demonstration of shot-noise limited supercontinuum-based spectral domain optical coherence tomography (SD-OCT) with an axial resolution of ...     

An Alternative Route Towards Metal–Polymer Hybrid Materials Prepared by Vapor‐Phase Processing

Transition metals incorporated into polymers lead to unusual or improved physical properties that significantly differ from those of purely organic polymers. A simple and practicable incorporation of diverse transition metals into any available polymer would make an important contribution to overcome some of the synthetic difficulties of metal‐polymer hybrid materials. Here, it is demonstrated that atomic layer deposition (ALD) can be a promising means to resolve some of those difficulties. It is found that even polytetrafluoroethylene (PTFE) with its great physical and chemical stability can be easily transformed into a transition metal–PTFE hybrid material simply by applying a metal‐oxide ALD process to PTFE. Upon metal incorporation into the PTFE, the molecular structure as well as mechanical properties (tensile behavior) of PTFE were observed to significantly change. For a better understanding of the changes to the material, experimental investigations using Raman spectroscopy, attenuated‐total‐reflection Fourier‐transform infrared spectroscopy, wide‐angle X‐ray diffraction, and energy‐dispersive X‐ray analysis were performed. In addition, with density functional theory calculations, potential bonding states of the incorporated metal into PTFE were modeled and predicted. The ALD‐based vapor‐phase approach for metal incorporation into a polymer could bring about rapid progress in the research area of metal–polymer hybrid materials.     

A 40 keV cyclotron for radioisotope dating

We have built and begun testing a small low energy negative ion cyclotron for direct detection of ¹⁴C. At present, the cyclotron is operated in a high resolution mode at the 31st harmonic, with 1–2 kV on the dees. The high harmonic and a minimum number of turns of approximately 100, should give a fwhm mass resolution of about $\text{1}\text{30000}$ — sufficient to suppress the background from molecular ions such as ¹³CH^?. Background such as scattered ions of ¹²C^? and ¹³C^? should be totally suppressed by the cyclotron acceleration process. (At the 88″ cyclotron at LBL we found that ions only 1% off-resonance are suppressed by more than a factor of 10¹⁷.) A miniature Cs sputter source located at the center of the cyclotron is expected to provide more than 1 μA of negative carbon ions. Negative ions are used in order to eliminate the interference from ¹⁴N. Unlike high energy cyclotrons, focussing is obtained solely from the axial components of the accelerating electric field. The magnetic field is kept flat to within 1 part in 10⁴ in order to maintain exact isochronism throughout the several thousand accelerating rf cycles. The low final energy of 40 keV eliminates any danger from radiation or need for shielding, and the final orbit radius of only 10.5 cm, reduce the size and cost of the machine to that of conventional mass spectrometers.     

Driving forces and obstacles with regard to co-operation between municipal energy companies and process industries in Sweden

District heating networks can technically enable energy-related co-operations between energy-intensive industries and municipal energy companies. The most common form of co-operation is to utilise industrial waste heat as the primary energy source in district heating networks. However, another type of co-operation is to jointly own a plant that produces both process steam for the industry and hot water for district heating. In this article, eight Swedish energy co-operations are studied and the main focus is on the process leading to co-operations of this kind. Different aspects of factors that facilitate or obstruct the start up and continuous daily operation of a co-operation are discussed. The main conclusion is that while the primary reasons for the foundation of such co-operations are favourable techno-economic factors, this is not enough for a co-operation to emerge. This study highlights the importance of people with a real ambition to co-operate in both parties in the co-operations.     

Dynamic Monte Carlo Simulations of Oscillatory Reactions

The dynamic Monte Carlo method has been used to simulate the 2 A + B₂ → 2 AB reaction catalyzed by a reconstructing substrate. Oscillatory behavior and spatio-temporal is studied as a function of grid size. Spatio-temporal pattern formation has been simulated in various forms: cellular patterns, target patterns, rotating spirals, and turbulent patterns. Cellular patterns are a manifestation of a local synchronization mechanism in which all reaction fronts periodically extinguish each other. This illustrates that dynamic Monte Carlo simulations form a promising technique and can be used to predict macroscopic kinetic phenomena on a molecular basis.