OBJECTIVE Hyperglycemia-associated microvascular disease may underlie changes in cerebral functioning and cognitive performance in patients with type 1 diabetes. Functional connectivity, an indicator of functional interactions and information exchange between brain regions, provides a measure of cerebral functioning. This study addresses functional connectivity and cognition in type 1 diabetic ...

This paper provides a succinct proof of a 1973 theorem of Lieb that establishes the concavity of a certain trace function. The development relies on a deep result from quantum information theory, the joint convexity of quantum relative entropy, as well as a recent argument due to Carlen and Lieb.

This paper describes an inference system, whose purpose is to determine the cost of evaluating expressions in a strict purely functional language. Upper bounds can be derived for both computation cost and the size of data structures. We outline a static analysis based on this inference system for inferring size and cost information. The analysis is a synthesis of the sized types of Hughes et al...