CAVE3: A general transient heat transfer computer code utilizing eigenvectors and eigenvalues

The method of solution is a hybrid analytical numerical technique which utilizes eigenvalues and eigenvectors. The method is inherently stable, permitting large time steps even with the best of conductors with the finest of mesh sizes which can provide a factor of five reduction in machine time compared to conventional explicit finite difference methods when structures with small time constants are analyzed over long time periods. This code will find utility in analyzing hypersonic missile and aircraft structures which fall naturally into this class. The code is a completely general one in that problems involving any geometry, boundary conditions and materials can be analyzed. This is made possible by requiring the user to establish the thermal network conductances between nodes. Dynamic storage allocation is used to minimize core storage requirements. This report is primarily a user's manual for CAVE3 code. Input and output formats are presented and explained. Sample problems are included which illustrate the usage of the code as well as establish the validity and accuracy of the method

Nodal network generator for CAVE3

A new extension of CAVE3 code was developed that automates the creation of a finite difference math model in digital form ready for input to the CAVE3 code. The new software, Nodal Network Generator, is broken into two segments. One segment generates the model geometry using a Tektronix Tablet Digitizer and the other generates the actual finite difference model and allows for graphic verification using Tektronix 4014 Graphic Scope. Use of the Nodal Network Generator is described

Manipulation of Cell:Cell Contacts and Mesoderm Suppressing Activity Direct Lineage Choice from Pluripotent Primitive Ectoderm-Like Cells in Culture

In the mammal, the pluripotent cells of embryo differentiate and commit to either the mesoderm/endoderm lineages or the ectoderm lineage during gastrulation. In culture, the ability to direct lineage choice from pluripotent cells into the mesoderm/endoderm or ectoderm lineages will enable the development of technologies for the formation of highly enriched or homogenous populations of cells. Here we show that manipulation of cell:cell contact and a mesoderm suppressing activity in culture affects the outcome of pluripotent cell differentiation and when both variables are manipulated appropriately they can direct differentiation to either the mesoderm or ectoderm lineage. The disruption of cell:cell contacts and removal of a mesoderm suppressor activity results in the differentiation of pluripotent, primitive ectoderm-like cells to the mesoderm lineage, while maintenance of cell:cell contacts and inclusion, within the culture medium, of a mesoderm suppressing activity results in the formation of near homogenous populations of ectoderm. Understanding the contribution of these variables in lineage choice provides a framework for the development of directed differentiation protocols that result in the formation of specific cell populations from pluripotent cells in culture

A new foundational crisis in mathematics, is it really happening?

The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the foundation of mathematics. By examining the mathematical facts behind HoTT and their relation with the existing foundations, we conclude that the present crisis is not one. We reiterate a pluralist vision of the foundations of mathematics. The article contains a short survey of the mathematical and historical background needed to understand the main tenets of the foundational issues.Comment: Final versio

The receptor guanylyl cyclase Npr2 is essential for sensory axon bifurcation within the spinal cord

Sensory axonal projections into the spinal cord display a highly stereotyped pattern of T- or Y-shaped axon bifurcation at the dorsal root entry zone (DREZ). Here, we provide evidence that embryonic mice with an inactive receptor guanylyl cyclase Npr2 or deficient for cyclic guanosine monophosphate-dependent protein kinase I (cGKI) lack the bifurcation of sensory axons at the DREZ, i.e., the ingrowing axon either turns rostrally or caudally. This bifurcation error is maintained to mature stages. In contrast, interstitial branching of collaterals from primary stem axons remains unaffected, indicating that bifurcation and interstitial branching are processes regulated by a distinct molecular mechanism. At a functional level, the distorted axonal branching at the DREZ is accompanied by reduced synaptic input, as revealed by patch clamp recordings of neurons in the superficial layers of the spinal cord. Hence, our data demonstrate that Npr2 and cGKI are essential constituents of the signaling pathway underlying axonal bifurcation at the DREZ and neuronal connectivity in the dorsal spinal cord

Well-partial-orderings and the big Veblen number

In this article we characterize a countable ordinal known as the big Veblen number in terms of natural well-partially ordered tree-like structures. To this end, we consider generalized trees where the immediate subtrees are grouped in pairs with address-like objects. Motivated by natural ordering properties, extracted from the standard notations for the big Veblen number, we investigate different choices for embeddability relations on the generalized trees. We observe that for addresses using one finite sequence only, the embeddability coincides with the classical tree-embeddability, but in this article we are interested in more general situations (transfinite addresses and well-partially ordered addresses). We prove that the maximal order type of some of these new embeddability relations hit precisely the big Veblen ordinal ϑΩΩ . Somewhat surprisingly, changing a little bit the well-partially ordered addresses (going from multisets to finite sequences), the maximal order type hits an ordinal which exceeds the big Veblen number by far, namely ϑΩΩΩ . Our results contribute to the research program (originally initiated by Diana Schmidt) on classifying properties of natural well-orderings in terms of order-theoretic properties of the functions generating the orderings

The tomato Prf complex is a molecular trap for bacterial effectors based on Pto transphosphorylation

The bacteria Pseudomonas syringae is a pathogen of many crop species and one of the model pathogens for studying plant and bacterial arms race coevolution. In the current model, plants perceive bacteria pathogens via plasma membrane receptors, and recognition leads to the activation of general defenses. In turn, bacteria inject proteins called effectors into the plant cell to prevent the activation of immune responses. AvrPto and AvrPtoB are two such proteins that inhibit multiple plant kinases. The tomato plant has reacted to these effectors by the evolution of a cytoplasmic resistance complex. This complex is compromised of two proteins, Prf and Pto kinase, and is capable of recognizing the effector proteins. How the Pto kinase is able to avoid inhibition by the effector proteins is currently unknown. Our data shows how the tomato plant utilizes dimerization of resistance proteins to gain advantage over the faster evolving bacterial pathogen. Here we illustrate that oligomerisation of Prf brings into proximity two Pto kinases allowing them to avoid inhibition by the effectors by transphosphorylation and to activate immune responses

An order-theoretic characterization of the Howard-Bachmann-hierarchy

In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees with respect to a homeomorphic embeddability relation. We use our calculations to draw some conclusions about some corresponding subsystems of second order arithmetic. All these subsystems deal with versions of light-face Π₁¹-comprehension

Modulation of CP2 Family Transcriptional Activity by CRTR-1 and Sumoylation

CRTR-1 is a member of the CP2 family of transcription factors. Unlike other members of the family which are widely expressed, CRTR-1 expression shows specific spatio-temporal regulation. Gene targeting demonstrates that CRTR-1 plays a central role in the maturation and function of the salivary glands and the kidney. CRTR-1 has also recently been identified as a component of the complex transcriptional network that maintains pluripotency in embryonic stem (ES) cells. CRTR-1 was previously shown to be a repressor of transcription. We examine the activity of CRTR-1 in ES and other cells and show that CRTR-1 is generally an activator of transcription and that it modulates the activity of other family members, CP2, NF2d9 and altNF2d9, in a cell specific manner. We also demonstrate that CRTR-1 activity is regulated by sumoylation at a single major site, residue K30. These findings imply that functional redundancy with other family members may mask important roles for CRTR-1 in other tissues, including the blastocyst stage embryo and embryonic stem cells