Series production of R134a compressors started in 1990. 200 compressors, from the very first series, were built into cabinets placed in an apartment house in Denmark. Cabinets with R12 compressors were placed in the same apartment house as well. The cabinets have two separate cooling systems; one for a cold cabinet and one for a freezer. 10 running cabinets were called back for analysis; 7 cabi...

Conservative subtheories of R 2 and S 1 2 are presented. For S 1 2 , a slight tightening of Jeřábek’s result [18] that T 0 2 ∀Σ1 S 1 2 is presented: It is shown that T 0 2 can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ∀Σ1-theory, we define a ∀Σ0-theory, T−1 2 , for the ∀Σ0-consequences of S 1 2 . We show T −1 2 is weak by showing...

The electron-hole explicitly correlated Hartree-Fock method (eh-XCHF) is presented as a general strategy for investigation of electron-hole correlation and computation of electron-hole recombination probability. The eh-XCHF method is a variational method which uses explicitly correlated wavefunction that depends on the electron-hole inter-particle distances. It is shown that the explicitly corr...

The equation-of-motion coupled-cluster method for excited states with the singles-and-doubles model (CCSD) has been implemented for ansatz 2 of the explicitly correlated CCSD(R12) and CCSD(F12) methods as part of the program package Dalton. In this model, an orthonormal complementary auxiliary basis set is used for the resolution-of-identity approximation in order to calculate the three-electro...

Methylglyoxal (MGO) is an α-dicarbonyl compound present ubiquitously in the human body. MGO reacts with arginine residues in proteins and forms adducts such as hydroimidazolone and argpyrimidine in vivo. Previously, we showed that MGO-mediated modification of αA-crystallin increased its chaperone function. We identified MGO-modified arginine residues in αA-crystallin and found that replacing su...