A Note on Knights, Knaves, and Truth Tables

Student and teacher (in the order above) have taken on a project of trying to understand something about Boolean algebra, logic circuits, and applications with the aid of Mathematica. We quickly recognized that the logical puzzles popularized by Raymond Smullyan that involve Knights (truth tellers) and Knaves (liars) are ideally suited for analysis by Boolean methods and truth tables. with a big boost from Mathematica. Not only is there a lot of mathematics to be learned, there is a great deal of fun to be had. The topic seems to us to be an ideal vehicle for exposing young high school and undergraduate college students to wonderful mathematics outside of the standard Advanced Placement Calculus stream

Electrical stimulation of visual cortex can immediately improve spatial vision

Published in final edited form as:Curr Biol. 2016 July 25; 26(14): 1867–1872. doi:10.1016/j.cub.2016.05.019.SUMMARY We can improve human vision by correcting the optics of our lenses [1, 2, 3]. However, after the eye transduces the light, visual cortex has its own limitations that are challenging to correct [4]. Overcoming these limitations has typically involved innovative training regimes that improve vision across many days [5, 6]. In the present study, we wanted to determine whether it is possible to immediately improve the precision of spatial vision with noninvasive direct-current stimulation. Previous work suggested that visual processing could be modulated with such stimulation [7, 8, 9]. However, the short duration and variability of such effects made it seem unlikely that spatial vision could be improved for more than several minutes [7, 10]. Here we show that visual acuity in the parafoveal belt can be immediately improved by delivering noninvasive direct current to visual cortex. Twenty minutes of anodal stimulation improved subjects’ vernier acuity by approximately 15% and increased the amplitude of the earliest visually evoked potentials in lockstep with the behavioral effects. When we reversed the orientation of the electric field, we impaired resolution and reduced the amplitude of visually evoked potentials. Next, we found that anodal stimulation improved acuity enough to be measurable with the relatively coarse Snellen test and that subjects with the poorest acuity benefited the most from stimulation. Finally, we found that stimulation-induced acuity improvements were accompanied by changes in contrast sensitivity at high spatial frequencies.This work was supported by grants from the NIH (R01-EY019882, R01-EY025275, P30-EY08126, T32-EY007135, F31-MH102042). We thank the reviewers and Randolph Blake for helpful comments. We thank Kevin Dieter for technical assistance in designing the psychophysical procedure for experiment 5. Subjects gave informed written consent to procedures approved by the Vanderbilt University Institutional Review Board and were compensated at a rate of $10/hr for their time. (R01-EY019882 - NIH; R01-EY025275 - NIH; P30-EY08126 - NIH; T32-EY007135 - NIH; F31-MH102042 - NIH)Accepted manuscrip

Design and Approach of a Storm Runoff Investigation at Selected South Carolina Department of Transportation Maintenance Yards

2010 S.C. Water Resources Conference - Science and Policy Challenges for a Sustainable Futur

A GIS-based assessment method for mean radiant temperature in dense urban areas

The mean radiant temperature (Tmrt) is among the most important factors affecting thermal comfort. Its assessment in dense cities has been complicated due to the presence of buildings, pavings, and infrastructure. This paper introduced the RAMUM model, a GIS based software method developed to simulate outdoor mean radiant temperature at microscale. The advantages of this method lie in its efficiency and resolution that supports the design of buildings, streets, and public open spaces. The model is evaluated using field measurements under cold and warm weather in Boston. This study is sponsored by the EFRI-1038264 award from the National Science Foundation (NSF), Division of Emerging Frontiers in Research and Innovation (EFRI).postprin

Mechanical cell-matrix feedback explains pairwise and collective endothelial cell behavior in vitro

In vitro cultures of endothelial cells are a widely used model system of the collective behavior of endothelial cells during vasculogenesis and angiogenesis. When seeded in an extracellular matrix, endothelial cells can form blood vessel-like structures, including vascular networks and sprouts. Endothelial morphogenesis depends on a large number of chemical and mechanical factors, including the compliancy of the extracellular matrix, the available growth factors, the adhesion of cells to the extracellular matrix, cell-cell signaling, etc. Although various computational models have been proposed to explain the role of each of these biochemical and biomechanical effects, the understanding of the mechanisms underlying in vitro angiogenesis is still incomplete. Most explanations focus on predicting the whole vascular network or sprout from the underlying cell behavior, and do not check if the same model also correctly captures the intermediate scale: the pairwise cell-cell interactions or single cell responses to ECM mechanics. Here we show, using a hybrid cellular Potts and finite element computational model, that a single set of biologically plausible rules describing (a) the contractile forces that endothelial cells exert on the ECM, (b) the resulting strains in the extracellular matrix, and (c) the cellular response to the strains, suffices for reproducing the behavior of individual endothelial cells and the interactions of endothelial cell pairs in compliant matrices. With the same set of rules, the model also reproduces network formation from scattered cells, and sprouting from endothelial spheroids. Combining the present mechanical model with aspects of previously proposed mechanical and chemical models may lead to a more complete understanding of in vitro angiogenesis.Comment: 25 pages, 6 figures, accepted for publication in PLoS Computational Biolog

Increased plasma viscosity as a reason for inappropriate erythropoietin formation

The aim of this study was to examine whether altered plasma viscosity could contribute to the inappropriately low production rate of erythropoietin (EPO) observed in patients suffering from hypergammaglobulinemias associated with multiple myeloma or Waldenström's disease. We found that the EPO formation in response to anemia in these patients was inversely related to plasma viscosity. A similar inverse relationship between plasma viscosity and EPO production was seen in rats in which EPO formation had been stimulated by exchange transfusion and the plasma viscosity of which was thereby altered by using exchange solutions of different composition to alter plasma viscosity and thus whole blood viscosity independently from hematocrit. Raising the gammaglobulin concentration to approximately 40 mg/ml plasma in the rats almost totally blunted the rise in serum EPO levels despite a fall of the hematocrit to 20%. Determination of renal EPO mRNA levels by RNase protection revealed that the reductions in serum EPO levels at higher plasma viscosities were paralleled by reductions in renal EPO mRNA levels. Taken together, our findings suggest that plasma viscosity may be a significant inhibitory modulator of anemia-induced EPO formation. The increased plasma viscosity in patients with hypergammaglobulinemias may therefore contribute to the inappropriate EPO production, which is a major reason for the anemia developing in these patients

Ka-Band Multibeam Aperture Phased Array Being Developed

Phased-array antenna systems offer many advantages to low-Earth-orbiting satellite systems. Their large scan angles and multibeam capabilities allow for vibration-free, rapid beam scanning and graceful degradation operation for high rate downlink of data to users on the ground. Technology advancements continue to reduce the power, weight, and cost of these systems to make phased arrays a competitive alternative in comparison to the gimbled reflector system commonly used in science missions. One effort to reduce the cost of phased arrays is the development of a Ka-band multibeam aperture (MBA) phased array by Boeing Corporation under a contract jointly by the NASA Glenn Research Center and the Office of Naval Research. The objective is to develop and demonstrate a space-qualifiable dual-beam Ka-band (26.5-GHz) phased-array antenna. The goals are to advance the state of the art in Ka-band active phased-array antennas and to develop and demonstrate multibeam transmission technology compatible with spacecraft in low Earth orbit to reduce the cost of future missions by retiring certain development risks. The frequency chosen is suitable for space-to-space and space-to-ground communication links. The phased-array antenna has a radiation pattern designed by combining a set of individual radiating elements, optimized with the type of radiating elements used, their positions in space, and the amplitude and phase of the currents feeding the elements. This arrangement produces a directional radiation pattern that is proportional to the number of individual radiating elements. The arrays of interest here can scan the main beam electronically with a computerized algorithm. The antenna is constructed using electronic components with no mechanical parts, and the steering is performed electronically, without any resulting vibration. The speed of the scanning is limited primarily by the control electronics. The radiation performance degrades gracefully if a portion of the elements fail. The arrays can be constructed to conform to a mounting surface, and multibeam capability is integral to the design. However, there are challenges for mission designers using monolithic-microwave-integrated-circuit- (MMIC-) based arrays because of reduced power efficiency, higher costs, and certain system effects that result in link degradations. The multibeam aperture phased-array antenna development is attempting to address some of these issues, particularly manufacturing, costs, and system performance

Comparison of dynamic compression behavior of single crystal sapphire to polycrystalline alumina

Due to the considerable interest in the shock loading behavior of aluminum oxide whether it is in the polycrystalline phase or in the single crystal phase well-controlled experiments were conducted to probe differences in shock loading behavior between these two materials. Previous studies concluded that the behavior was similar but careful examination of well-controlled experiments has revealed the two materials are different.Although the experimental results appear to have the same behavior in the shock velocity vs. particle velocity plane, they are considerably different in the stressevolume compression plane and evidence is provided that indicates the single crystal remains crystalline up to the stresses imposed for this analysis. This is an extremely interesting observation since it has many implications including developing dynamic material models capable of transitioning between individual grains and polycrystalline material