Effects of the Cosmos 1129 Soviet paste diet on body composition in the growing rat

Six Simonsen albino rats (45 days of age) were placed on a regimen of 40 g/day the semipurified Soviet paste diet used in the 18.5 day Cosmos 1129 spacecraft was to support the rats for various experiments on the physiological effects of weightlessness. The animals were maintained on the Soviet paste diet for 35 days, metabolic rate was measured and body composition was determined by direct analysis. The results were compared with a control group of rates of the same age, which had been kept on a standard commercial grain diet during the same period of time

Building a Web-Features Taxonomy for Structuring Web Design Guidelines

This paper proposes a framework for structuring web design guidelines that incorporates the hierarchies of web features and their semantic relationships with HTML and CSS. It is argued that this approach will be synchronous with the mental model of web designers, thus making the guidelines more usable. In addition, this approach embraces both external and internal aspects of web design, so there is little compromise on the coverage of web design issues. An experiment was conducted to compare the relative effectiveness of the proposed framework with other guideline structures (e.g., principle-oriented and a mixture of principle and feature-oriented). There was evidence that the principle-oriented guidelines performed worse than the other structures, but the analyses failed to establish that the proposed framework as the most effective. The experiment showed promising results but it suffered from small sample size. In spite of this, it is believed that the proposed taxonomy and framework has laid the groundwork for future research.Yeshttps://us.sagepub.com/en-us/nam/manuscript-submission-guideline

Fixed-point elimination in the intuitionistic propositional calculus

It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete as lattices. The reason is that these extremal fixed-points are definable by formulas of the IPC. Consequently, the $\mu$-calculus based on intuitionistic logic is trivial, every $\mu$-formula being equivalent to a fixed-point free formula. We give in this paper an axiomatization of least and greatest fixed-points of formulas, and an algorithm to compute a fixed-point free formula equivalent to a given $\mu$-formula. The axiomatization of the greatest fixed-point is simple. The axiomatization of the least fixed-point is more complex, in particular every monotone formula converges to its least fixed-point by Kleene's iteration in a finite number of steps, but there is no uniform upper bound on the number of iterations. We extract, out of the algorithm, upper bounds for such n, depending on the size of the formula. For some formulas, we show that these upper bounds are polynomial and optimal

Mode-coupling theory for multiple-time correlation functions of tagged particle densities and dynamical filters designed for glassy systems

The theoretical framework for higher-order correlation functions involving multiple times and multiple points in a classical, many-body system developed by Van Zon and Schofield [Phys. Rev. E 65, 011106 (2002)] is extended here to include tagged particle densities. Such densities have found an intriguing application as proposed measures of dynamical heterogeneities in structural glasses. The theoretical formalism is based upon projection operator techniques which are used to isolate the slow time evolution of dynamical variables by expanding the slowly-evolving component of arbitrary variables in an infinite basis composed of the products of slow variables of the system. The resulting formally exact mode-coupling expressions for multiple-point and multiple-time correlation functions are made tractable by applying the so-called N-ordering method. This theory is used to derive for moderate densities the leading mode coupling expressions for indicators of relaxation type and domain relaxation, which use dynamical filters that lead to multiple-time correlations of a tagged particle density. The mode coupling expressions for higher order correlation functions are also succesfully tested against simulations of a hard sphere fluid at relatively low density.Comment: 15 pages, 2 figure

Nominal Logic with Equations Only

Many formal systems, particularly in computer science, may be captured by equations modulated by side conditions asserting the "freshness of names"; these can be reasoned about with Nominal Equational Logic (NEL). Like most logics of this sort NEL employs this notion of freshness as a first class logical connective. However, this can become inconvenient when attempting to translate results from standard equational logic to the nominal setting. This paper presents proof rules for a logic whose only connectives are equations, which we call Nominal Equation-only Logic (NEoL). We prove that NEoL is just as expressive as NEL. We then give a simple description of equality in the empty NEoL-theory, then extend that result to describe freshness in the empty NEL-theory.Comment: In Proceedings LFMTP 2011, arXiv:1110.668

Beyond the Red, Purple, and Blue: Election Law Issues in 2012

The Symposium Welcome was given by Clint A. Nichols, the Allen Chair Editor for the University of Richmond Law Review, and Wendy C. Perdue, Dean & Professor of Law at the University of Richmond School of Law. The “Get out the vote?” session was presented by Keesha M. Gaskins, Senior Counsel with the Brennan Center for Justice at New York University; Steven F. Huefner, Professor of Law and Director of Clinical Programs at The Ohio State University Moritz College of Law; Joshua N. Lief, Senior Assistant Attorney General for the Commonwealth of Virginia; and Michael J. Pitts, Professor of Law and Dean’s Fellow at Indiana University’s Robert H. McKinney School of Law. The “Third Parties to the Process” session was presented by Jocelyn F. Benson, Associate Professor of Law at Wayne State University Law School; Joshua A. Douglas, Assistant Professor of Law at the University of Kentucky College of Law; and Rebecca Green, Professor of the Practice of Law and Co-Director of the Election Law Program at the William & Mary Law School. The “Drawing the Lines” session was presented by Keesha M. Gaskins, Senior Counsel with the Brennan Center for Justice at New York University; Dale Ho, Assistant Counsel with the NAACP Legal Defense and Educational Fund; Dr. Michael P. McDonald, Associate Professor of Government and Politics at George Mason University; Donald Palmer, Secretary of the Virginia State Board of Elections; and Rob Richie, Executive Director of FairVote

Young people today: news media, policy and youth justice

The new sociology of childhood sees children as competent social agents with important contributions to make. And yet the phase of childhood is fraught with tensions and contradictions. Public policies are required, not only to protect children, but also to control them and regulate their behaviour. For children and young people in the UK, youth justice has become increasingly punitive. At the same time, social policies have focused more on children's inclusion and participation. In this interplay of conflict and contradictions, the role the media play is critical in contributing to the moral panic about childhood and youth. In this article, we consider media representations of “antisocial” children and young people and how this belies a moral response to the nature of contemporary childhood. We conclude by considering how a rights-based approach might help redress the moralised politics of childhood representations in the media

The stellar populations of spiral disks.II Measuring and modeling the radial distribution of absorption spectral indices

The radial distributions of the Mg2 and Fe5270 Lick spectral indices have been measured to large radial distances on the disks of NGC 4303 and NGC 4535 using an imaging technique based on interference filters. These data, added to those of NGC 4321 previously published in Paper I of this series are used to constraint chemical (multiphase) evolutionary models for these galaxies. Because the integrated light of a stellar disk is a time average over the history of the galaxy weighted by the star formation rate, these constraints complement the information on chemical gradients provided by the study of HII regions which, by themselves, can only provide the alpha-elements abundance accumulate over the life of the galaxy. The agreement between the observations and the model predictions shown here lends confidence to the models which are then used to describe the time evolution of galaxy parameters such as star formation rates, chemical gradients, and gradients in the mean age of the stellar population.Comment: to be published in Astrophysical Journa