A statistical analysis of murine incisional and excisional acute wound models

YesMice represent the most commonly used species for preclinical in vivo research. While incisional and excisional acute murine wound models are both frequently employed, there is little agreement on which model is optimum. Moreover, current lack of standardization of wounding procedure, analysis time point(s), method of assessment, and the use of individual wounds vs. individual animals as replicates makes it difficult to compare across studies. Here we have profiled secondary intention healing of incisional and excisional wounds within the same animal, assessing multiple parameters to determine the optimal methodology for future studies. We report that histology provides the least variable assessment of healing. Furthermore, histology alone (not planimetry) is able to detect accelerated healing in a castrated mouse model. Perhaps most importantly, we find virtually no correlation between wounds within the same animal, suggesting that use of wound (not animal) biological replicates is perfectly acceptable. Overall, these findings should guide and refine future studies, increasing the likelihood of detecting novel phenotypes while reducing the numbers of animals required for experimentation

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Inhibition of adipose tissue lipolysis increases intramuscular lipid and glycogen use in vivo in humans

This study investigates the consequences of inhibition of adipose tissue lipolysis on skeletal muscle substrate use. Ten subjects were studied at rest and during exercise and subsequent recovery under normal, fasting conditions (control trial, CON) and following administration of a nicotinic acid analog (low plasma free fatty acid trial, LFA). Continuous [U-13C]palmitate and [6,6-2H2]glucose infusions were applied to quantify plasma free fatty acid (FFA) and glucose oxidation rates and to estimate intramuscular triacylglycerol (IMTG) and glycogen use. Muscle biopsies were collected to measure 1) fiber type-specific IMTG content; 2) allosteric regulators of hormone-sensitive lipase (HSL), glycogen phosphorylase, and pyruvate dehydrogenase; and 3) the phosphorylation status of HSL at Ser563 and Ser565. Administration of a nicotinic acid analog (acipimox) substantially reduced plasma FFA rate of appearance and subsequent plasma FFA concentrations (P < 0.0001). At rest, this substantially reduced plasma FFA oxidation rates, which was compensated by an increase in the estimated IMTG use (P < 0.05). During exercise, the progressive increase in FFA rate of appearance, uptake, and oxidation was prevented in the LFA trial and matched by greater IMTG and glycogen use. Differential phosphorylation of HSL or relief of its allosteric inhibition by long-chain fatty acyl-CoA could not explain the increase in muscle TG use, but there was evidence to support the contention that regulation may reside at the level of the glucose-fatty acid cycle. This study confirms the hypothesis that plasma FFA availability regulates both intramuscular lipid and glycogen use in vivo in humans

Comparison Between Algebraic and Topological K-Theory for Banach Algebras and C*-Algebras

For a Banach algebra, one can define two kinds of K-theory: topological K-theory, which satisfies Bott periodicity, and algebraic K-theory, which usually does not. It was discovered, starting in the early 80’s, that the “comparison map ” from algebraic to topological K-theory is a surprisingly rich object. About the same time, it was also found that the algebraic (as opposed to topological) K-theory of operator algebras does have some direct applications in operator theory. This article will summarize what is known about these applications and the comparison map. 1 Some Problems in Operator Theory 1.1 Toeplitz operators and K-Theory The connection between operator theory and K-theory has very old roots, although it took a long time for the connection to be understood. We begin with an example. Think of S1 as the unit circle in the complex plane and let H ⊂ L2(S1) be the Hilbert space H2 of functions all of whose negative Fourier coefficients vanish. In other words, if we identify functions with their formal Fourier expansions, H = n=0 cnz n with n=