Dialectica Categories for the Lambek Calculus

We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified. We extend the Lambek Calculus with a \kappa modality, inspired by Yetter's work, which makes the calculus commutative. Then we add the of-course modality !, as Girard did, to re-introduce weakening and contraction for all formulas and get back the full power of intuitionistic and classical logic. We also present the categorical semantics, proved sound and complete. Finally we show the traditional properties of type systems, like subject reduction, the Church-Rosser theorem and normalization for the calculi of extended modalities, which we did not have before

On the homomorphism order of labeled posets

Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.Comment: 14 page

Variational water-wave model with accurate dispersion and vertical vorticity

A new water-wave model has been derived which is based on variational techniques and combines a depth-averaged vertical (component of) vorticity with depth-dependent potential flow. The model facilitates the further restriction of the vertical profile of the velocity potential to n-th order polynomials or a finite-element profile with a small number of elements (say), leading to a framework for efficient modeling of the interaction of steepening and breaking waves near the shore with a large-scale horizontal flow. The equations are derived from a constrained variational formulation which leads to conservation laws for energy, mass, momentum and vertical vorticity. It is shown that the potential-flow water-wave equations and the shallow-water equations are recovered in the relevant limits. Approximate shock relations are provided, which can be used in numerical schemes to model breaking waves

Enhanced Motor Function by Training in Spinal Cord Contused Rats Following Radiation Therapy

Weight-bearing stepping, without supraspinal re-connectivity, can be attained by treadmill training in an animal whose spinal cord has been completely transected at the lower thoracic level. Repair of damaged tissue and of supraspinal connectivity/circuitry following spinal cord injury in rat can be achieved by specific cell elimination with radiation therapy of the lesion site delivered within a critical time window, 2-3 weeks postinjury. Here we examined the effects of training in the repaired spinal cord following clinical radiation therapy. Studies were performed in a severe rat spinal cord contusion injury model, one similar to fracture/crush injuries in humans; the injury was at the lower thoracic level and the training was a combined hindlimb standing and stepping protocol. Radiotherapy, in a similar manner to that reported previously, resulted in a significant level of tissue repair/preservation at the lesion site. Training in the irradiated group, as determined by limb kinematics tests, resulted in functional improvements that were significant for standing and stepping capacity, and yielded a significant direct correlation between standing and stepping performance. In contrast, the training in the unirradiated group resulted in no apparent beneficial effects, and yielded an inverse correlation between standing and stepping performance, e.g., subject with good standing showed poor stepping capacity. Further, without any training, a differential functional change was observed in the irradiated group; standing capacity was significantly inhibited while stepping showed a slight trend of improvement compared with the unirradiated group. These data suggest that following repair by radiation therapy the spinal circuitries which control posture and locomotor were modified, and that the beneficial functional modulation of these circuitries is use dependent. Further, for restoring beneficial motor function following radiotherapy, training seems to be crucial

The FGLamide-Allatostatins Influence Foraging Behavior in Drosophila melanogaster

Allatostatins (ASTs) are multifunctional neuropeptides that generally act in an inhibitory fashion. ASTs were identified as inhibitors of juvenile hormone biosynthesis. Juvenile hormone regulates insect metamorphosis, reproduction, food intake, growth, and development. Drosophila melanogaster RNAi lines of PheGlyLeu-amide-ASTs (FGLa/ASTs) and their cognate receptor, Dar-1, were used to characterize roles these neuropeptides and their respective receptor may play in behavior and physiology. Dar-1 and FGLa/AST RNAi lines showed a significant reduction in larval foraging in the presence of food. The larval foraging defect is not observed in the absence of food. These RNAi lines have decreased for transcript levels which encodes cGMP- dependent protein kinase. A reduction in the for transcript is known to be associated with a naturally occuring allelic variation that creates a sitter phenotype in contrast to the rover phenotype which is caused by a for allele associated with increased for activity. The sitting phenotype of FGLa/AST and Dar-1 RNAi lines is similar to the phenotype of a deletion mutant of an AST/galanin-like receptor (NPR-9) in Caenorhabditis elegans. Associated with the foraging defect in C. elegans npr-9 mutants is accumulation of intestinal lipid. Lipid accumulation was not a phenotype associated with the FGLa/AST and Dar-1 RNAi lines

Pharmacologic targeting of renal ischemia-reperfusion injury using a normothermic machine perfusion platform.

Normothermic machine perfusion (NMP) is an emerging modality for kidney preservation prior to transplantation. NMP may allow directed pharmacomodulation of renal ischemia-reperfusion injury (IRI) without the need for systemic donor/recipient therapies. Three proven anti-IRI agents not in widespread clinical use, CD47-blocking antibody (αCD47Ab), soluble complement receptor 1 (sCR1), and recombinant thrombomodulin (rTM), were compared in a murine model of kidney IRI. The most effective agent was then utilized in a custom NMP circuit for the treatment of isolated porcine kidneys, ascertaining the impact of the drug on perfusion and IRI-related parameters. αCD47Ab conferred the greatest protection against IRI in mice after 24 hours. αCD47Ab was therefore chosen as the candidate agent for addition to the NMP circuit. CD47 receptor binding was demonstrated by immunofluorescence. Renal perfusion/flow improved with CD47 blockade, with a corresponding reduction in oxidative stress and histologic damage compared to untreated NMP kidneys. Tubular and glomerular functional parameters were not significantly impacted by αCD47Ab treatment during NMP. In a murine renal IRI model, αCD47Ab was confirmed as a superior anti-IRI agent compared to therapies targeting other pathways. NMP enabled effective, direct delivery of this drug to porcine kidneys, although further efficacy needs to be proven in the transplantation setting

Transcriptome and Proteome Exploration to Model Translation Efficiency and Protein Stability in Lactococcus lactis

This genome-scale study analysed the various parameters influencing protein levels in cells. To achieve this goal, the model bacterium Lactococcus lactis was grown at steady state in continuous cultures at different growth rates, and proteomic and transcriptomic data were thoroughly compared. Ratios of mRNA to protein were highly variable among proteins but also, for a given gene, between the different growth conditions. The modeling of cellular processes combined with a data fitting modeling approach allowed both translation efficiencies and degradation rates to be estimated for each protein in each growth condition. Estimated translational efficiencies and degradation rates strongly differed between proteins and were tested for their biological significance through statistical correlations with relevant parameters such as codon or amino acid bias. These efficiencies and degradation rates were not constant in all growth conditions and were inversely proportional to the growth rate, indicating a more efficient translation at low growth rate but an antagonistic higher rate of protein degradation. Estimated protein median half-lives ranged from 23 to 224 min, underlying the importance of protein degradation notably at low growth rates. The regulation of intracellular protein level was analysed through regulatory coefficient calculations, revealing a complex control depending on protein and growth conditions. The modeling approach enabled translational efficiencies and protein degradation rates to be estimated, two biological parameters extremely difficult to determine experimentally and generally lacking in bacteria. This method is generic and can now be extended to other environments and/or other micro-organisms

Low is large: spatial location and pitch interact in voice-based body size estimation

The binding of incongruent cues poses a challenge for multimodal perception. Indeed, although taller objects emit sounds from higher elevations, low-pitched sounds are perceptually mapped both to large size and to low elevation. In the present study, we examined how these incongruent vertical spatial cues (up is more) and pitch cues (low is large) to size interact, and whether similar biases influence size perception along the horizontal axis. In Experiment 1, we measured listeners’ voice-based judgments of human body size using pitch-manipulated voices projected from a high versus a low, and a right versus a left, spatial location. Listeners associated low spatial locations with largeness for lowered-pitch but not for raised-pitch voices, demonstrating that pitch overrode vertical-elevation cues. Listeners associated rightward spatial locations with largeness, regardless of voice pitch. In Experiment 2, listeners performed the task while sitting or standing, allowing us to examine self-referential cues to elevation in size estimation. Listeners associated vertically low and rightward spatial cues with largeness more for lowered- than for raised-pitch voices. These correspondences were robust to sex (of both the voice and the listener) and head elevation (standing or sitting); however, horizontal correspondences were amplified when participants stood. Moreover, when participants were standing, their judgments of how much larger men’s voices sounded than women’s increased when the voices were projected from the low speaker. Our results provide novel evidence for a multidimensional spatial mapping of pitch that is generalizable to human voices and that affects performance in an indirect, ecologically relevant spatial task (body size estimation). These findings suggest that crossmodal pitch correspondences evoke both low-level and higher-level cognitive processes