Carbapenemase-producing Enterobacteriaceae (CPE) were almost nonexistent up to the 1990s, but are today encountered routinely in hospitals and other healthcare facilities in many countries including the United States. KPC-producing Klebsiella pneumoniae was the first to emerge and spread globally and is endemic in the United States, Israel, Greece, and Italy. Recently, NDM-producing Enterobacte...

Abstract. We define an Artin prime for an integer g to be a prime such that g is a primitive root modulo that prime. Let g ∈ Z \ {−1} and not be a perfect square. A conjecture of Artin states that the set of Artin primes for g has a positive density. In this paper we study a generalization of this conjecture for the primes produced by a polynomial and explore its connection with the problem of ...

Background and Aims: Klebsiella pneumoniae is a gram negative opportunistic pathogen of nosocomial infections that causes pneumonia, urinary tract infection (UTI), meningitis, septicemia and diarrhea. The emergence and spread of carbapenemase producing Klebsiella pneumoniae often cause failure in the treatment of infections. The aim of this study was to evaluate the prevalence of carbapenemase ...

A 40-year-old patient was referred to Clinic of Endocrinology due to hypophosphatemia causing pain, cramps, and weakness of muscles. Moreover, his bone mineral density was very low. The previous treatment with phosphorus and active vitamin D metabolites was ineffective. In lab tests the hypophosphatemia, hyperphosphaturia, and elevated FGF23 levels were found. Somatostatin receptor scintigraphy...

D.H. Lehmer found a quadratic polynomial such that 326 is a primitive root for the first 206 primes represented by this polynomial. It is shown that this is related to the class number one problem and prime producing quadratics. More impressive examples in the same spirit are given using recent results on prime producing quadratics. Y. Gallot holds the current record in which 206 is being repla...

This paper describes the first case of an angiotensinogen-producing tumor. The tumor obtained from a hypertensive patient was examined for its renin and angiotensinogen contents. Renin activity was undetectable; however, the angiotensinogen level was extremely high compared with the levels in the tissue surrounding the hepatoma. The presence of angiotensinogen immunoreactivity in the tumor cell...

Unilateral primary aldosteronism (PA) is a common surgically curable cause of secondary hypertension. Adrenal glands removed for unilateral PA display histological heterogeneity. Recently, gain-of-function somatic mutations in KCNJ5, ATP1A1, ATP2B3, CACNA1D, and CTNNB1 have been found in 50% to 80% of aldosterone-producing adenomas (APAs). These gain-of-function mutations provide plausible mech...

This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the source functions. Unlike previously published work on proof-producing compilation from a theorem prover, our compiler provides broad support for user-defined extensions, targets multiple carefully modelled commercial...

Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given pair of terms. For this purpose, here we introduce an incremental congruence closure algorithm that has an additional Explain operation. First, two variations of union-find data structures with Explain are introduced....

Diabetes, a large and growing worldwide health concern, affects the functional mass of the pancreatic beta cell, which in turn affects the glucose regulation of the body. Successful transplantation of cadaveric islets and pancreata for patients with uncontrolled type 1 diabetes has provided proof-of-concept for the development of commercial cell therapy approaches to treat diabetes. Three broad...