Truth and Reference: Some Doubts about Formal Semantics

Formal semantics might be understood as the attempt to show that the most fruitful theories about a natural language are based upon a formalized specification of that language’s structure. Since it hopes to provide the basis for theories about language, formal semantics is obviously concerned with notions like grammaticality, reference, and meaning. Just as a system of formal logic attempts to give a formal account of our intuitions about the validity of informal arguments, so does the formalization of semantics attempt to systematize and make rigorous our intuitions about, for example, the grammaticality, significance, synonymy, reference, and truth value of certain expressions in a natural language. The ultimate aim of formal semantics might be thought of as constructing an account of meaning analogous to the logical account of validity, viz. one that would provide necessary and sufficient conditions for determining the meaning of any expression in the natural language, or portion of a natural language, that is being formalized

The Study of Reactive Intermediates in Condensed Phases

Novel experimental techniques and computational methods have provided new insight into the behavior of reactive intermediates in solution. The results of these studies show that some of the earlier ideas about how reactive intermediates ought to behave in solution were incomplete or even incorrect. This Perspective summarizes the new experimental and computational methods and draws attention to the shortcomings that their application has brought to light in previous models. Key areas needing further research are highlighted

Social Capital and the Campus Community

Investigating colleges’ and universities’ social capital through its five dimensions—civic engagement, norms and trust, collective action, bonding capital, and bridging capital—provides a powerful way of thinking about organizational and faculty development. Four very different institutions of higher learning have promoted their organizational development through efforts that build social capital. We seek to inspire additional application of and research into this topic by demonstrating that confronting the complexities of social capital within diverse campus communities can help faculty developers understand those communities with greater nuance and in ways that improve their ability to design and implement development initiatives

Ground Motions Induced by the March 11, 2018, Implosion of the Capital Plaza Tower, Frankfort, Kentucky

The demolition by implosion of the Capital Plaza Tower in downtown Frankfort provided an opportunity to record seismic waves from a known source of seismic energy in order to observe local ground-motion amplification and resonance within the underlying unconsolidated sediment. The Kentucky Geological Survey deployed three strong-motion accelerographs at approximately equal distances around the tower to record ground motions induced by its collapse. The KGS instruments were installed at sites with different underlying geology: one on bedrock and two on Kentucky River Valley unconsolidated sediments. Using images captured by a high-speed video camera, with timing synchronized with the clock of one of the strong-motion accelerographs, the sequence of ground-motion-inducing events from the tower demolition (blast explosions and the collapsing tower’s impact with the ground) was identified in the ground-motion time histories recorded at the rock site. This allowed the ground motions from the tower collapse recorded at all stations deployed for the event to be isolated and analyzed. The ground motions from the tower collapse recorded at the observation sites were weak and were likely imperceptible to humans. The detected motions, which had modified Mercalli intensities of only I to II at the rock and soil sites, respectively, were unlikely to have caused any damage there. Seismic-wave resonance within the Kentucky River Valley sediment was identified from the analysis of these recordings. The resonance frequencies were similar at all KGS soil sites, and also were similar to those observed on seismographs deployed by the Energy and Environment Cabinet’s Explosives and Blasting Branch. These observations indicate that in the unlikely event of a nearby strong earthquake, shaking is expected to be amplified within the unconsolidated Kentucky River Valley sediments underlying downtown Frankfort

Seismic Monitoring and Baseline Microseismicity in the Rome Trough, Eastern Kentucky

In the central and eastern United States, felt earthquakes likely triggered by fluid injection from oil and gas production or wastewater disposal have dramatically increased in frequency since the onset of the unconventional shale gas and oil boom. In the Rome Trough of eastern Kentucky, fracture stimulations and wastewater injection are ongoing and occur near areas of historical seismic activity. Unlike in surrounding and nearby states (Ohio, West Virginia, and Arkansas), in Kentucky, no seismic events related to subsurface fluid injections have been reported as felt or detected by regional seismic networks, including the Kentucky Seismic and Strong-Motion Network. Oil and gas development of the deep Cambrian Rogersville Shale in the Rome Trough is in a very early stage, and will require horizontal drilling and high-volume hydraulic fracturing. To characterize natural seismicity rates and the conditions that might lead to induced or triggered events, the Kentucky Geological Survey is conducting a collaborative study, the Eastern Kentucky Microseismic Monitoring Project, prior to large-scale oil and gas production and wastewater injection. A temporary network of broadband seismographs was deployed near dense clusters of Class II wastewater-injection wells and near the locations of new, deep oil and gas test wells in eastern Kentucky. Network installation began in mid-2015 and by November 2015, 12 stations were operating, with data acquired in real time and jointly with regional network data. Additional stations were installed between June 2016 and October 2017 in targeted locations. The network improved the monitoring sensitivity near wastewater-injection wells and deep oil and gas test wells by approximately an entire unit of magnitude: With the temporary network, the detectable magnitudes range from 0.7 to 1.0, and without it, the detectable magnitudes range from 1.5 to 1.9. Using the real-time recordings of this network in tandem with the recordings of other temporary and permanent regional seismic stations, we generated a catalog of local seismicity and developed a calibrated magnitude scale. At the time this report was prepared, 151 earthquakes had been detected and located, 38 of which were in the project area, defined as the region bounded by 37.1°N to 38.7°N latitude and 84.5°W to 82.0°W longitude. Only six earthquakes occurred in the Rome Trough of eastern Kentucky, none of which were reported in regional monitoring agency catalogs, and none of which appear to be associated with the deep Rogersville Shale test wells that were completed during the time the network was in operation or with wastewater-injection wells

Glycolysis and the pentose phosphate pathway after human traumatic brain injury: microdialysis studies using 1,2-(13)C2 glucose.

Increased 'anaerobic' glucose metabolism is observed after traumatic brain injury (TBI) attributed to increased glycolysis. An alternative route is the pentose phosphate pathway (PPP), which generates putatively protective and reparative molecules. To compare pathways we employed microdialysis to perfuse 1,2-(13)C2 glucose into the brains of 15 TBI patients and macroscopically normal brain in six patients undergoing surgery for benign tumors, and to simultaneously collect products for nuclear magnetic resonance (NMR) analysis. (13)C enrichment for glycolytic 2,3-(13)C2 lactate was the median 5.4% (interquartile range (IQR) 4.6-7.5%) in TBI brain and 4.2% (2.4-4.4%) in 'normal' brain (P<0.01). The ratio of PPP-derived 3-(13)C lactate to glycolytic 2,3-(13)C2 lactate was median 4.9% (3.6-8.2%) in TBI brain and 6.7% (6.3-8.9%) in 'normal' brain. An inverse relationship was seen for PPP-glycolytic lactate ratio versus PbtO2 (r=-0.5, P=0.04) in TBI brain. Thus, glycolytic lactate production was significantly greater in TBI than 'normal' brain. Several TBI patients exhibited PPP-lactate elevation above the 'normal' range. There was proportionally greater PPP-derived lactate production with decreasing PbtO2. The study raises questions about the roles of the PPP and glycolysis after TBI, and whether they can be manipulated to achieve a better outcome. This study is the first direct comparison of glycolysis and PPP in human brain.We gratefully acknowledge financial support as follows. Study support: Medical Research Council (Grant Nos. G0600986 ID79068 and G1002277 ID98489) and National Institute for Health Research Biomedical Research Centre, Cambridge (Neuroscience Theme; Brain Injury and Repair Theme). Authors’ support: I.J. – Medical Research Council (Grant no. G1002277 ID 98489) and National Institute for Health Research Biomedical Research Centre, Cambridge; K.L.H.C. – National Institute for Health Research Biomedical Research Centre, Cambridge (Neuroscience Theme; Brain Injury and Repair Theme); C.G. – the Canadian Institute of Health Research; A.H. – Medical Research Council/ Royal College of Surgeons of England Clinical Research Training Fellowship (Grant no. G0802251) and Raymond and Beverly Sackler Fellowship; D.K.M. and J.D.P. - National Institute for Health Research Senior Investigator Awards; P.J.H. – National Institute for Health Research Professorship, Academy of Medical Sciences/Health Foundation Senior Surgical Scientist Fellowship.This is the accepted manuscript version. The final version is available from the Nature Publishing Group http://www.nature.com/jcbfm/journal/v35/n1/full/jcbfm2014177a.html

A universal framework for Space Resource Utilisation (SRU)

Space Resource Utilisation (SRU) or In Situ Resource Utilisation (ISRU) is the use of natural resources from the Moon, Mars and other bodies for use in situ or elsewhere in the Solar System. The implementation of SRU technologies will provide the breakthrough for humankind to explore further into space. A range of extraction processes to produce usable resources have been proposed, such as oxygen production from lunar regolith, extraction of lunar ice and construction of habitation by 3D printing. Practical and successful implementation of SRU requires that all the stages of the process flowsheet (excavation, beneficiation and extraction) are considered. This requires a complete ‘mine-to-market’ type approach, analogous to that of terrestrial mineral extraction. One of the key challenges is the unique cross-disciplinary nature of SRU; it integrates space systems, robotics, materials handling and beneficiation, and chemical process engineering. This is underpinned by knowledge of the lunar or planetary geology, including mineralogy, physical characteristics, and the variability in local materials. Combining such diverse fields in a coordinated way requires the use of a universal framework. The framework will enable integration of operations and comparison of technologies, and will define a global terminology to be used across all fields. In this paper, a universal SRU flowsheet and terminology are described, and a matrix approach to describing regolith characteristics specifically for SRU is proposed. This is the first time that such an approach has been taken to unify this rapidly-developing sector

A Comparison of Oxidative Lactate Metabolism in Traumatically Injured Brain and Control Brain.

Metabolic abnormalities occur after traumatic brain injury (TBI). Glucose is conventionally regarded as the major energy substrate, although lactate can also be an energy source. We compared 3-13C lactate metabolism in TBI with "normal" control brain and muscle, measuring 13C-glutamine enrichment to assess tricarboxylic acid (TCA) cycle metabolism. Microdialysis catheters in brains of nine patients with severe TBI, five non-TBI brain surgical patients, and five resting muscle (non-TBI) patients were perfused (24 h in brain, 8 h in muscle) with 8 mmol/L sodium 3-13C lactate. Microdialysate analysis employed ISCUS and nuclear magnetic resonance. In TBI, with 3-13C lactate perfusion, microdialysate glucose concentration increased nonsignificantly (mean +11.9%, p = 0.463), with significant increases (p = 0.028) for lactate (+174%), pyruvate (+35.8%), and lactate/pyruvate ratio (+101.8%). Microdialysate 13C-glutamine fractional enrichments (median, interquartile range) were: for C4 5.1 (0-11.1) % in TBI and 5.7 (4.6-6.8) % in control brain, for C3 0 (0-5.0) % in TBI and 0 (0-0) % in control brain, and for C2 2.9 (0-5.7) % in TBI and 1.8 (0-3.4) % in control brain. 13C-enrichments were not statistically different between TBI and control brain, showing both metabolize 3-13C lactate via TCA cycle, in contrast to muscle. Several patients with TBI exhibited 13C-glutamine enrichment above the non-TBI control range, suggesting lactate oxidative metabolism as a TBI "emergency option."Medical Research Council (Grant Nos. G0600986 ID79068 and G1002277 ID98489) and National Institute for Health Research Biomedical Research Centre, Cambridge (Neuroscience Theme; Brain Injury and Repair Theme). Authors’ support: IJ – Medical Research Council (Grant no. G1002277 ID 98489) and National Institute for Health Research Biomedical Research Centre, Cambridge; KLHC – National Institute for Health Research Biomedical Research Centre, Cambridge (Neuroscience Theme; Brain Injury and Repair Theme); CG – the Canadian Institute of Health Research; AH – Medical Research Council/Royal College of Surgeons of England Clinical Research Training Fellowship (Grant no. G0802251) and Raymond and Beverly Sackler Fellowship; Royal College of Surgeons of England and the NIHR Cambridge Biomedical Research Centre; DKM and JDP – National Institute for Health Research Senior Investigator Awards; MPM - Medical Research Council UK (MC_U105663142) and a Wellcome Trust Investigator award (110159/Z/15/Z). PJH – National Institute for Health Research Professorship, Academy of Medical Sciences/Health Foundation Senior Surgical Scientist Fellowship and the National Institute for Health Research Biomedical Research Centre, Cambridge

Castable Bulk Metallic Glass Strain Wave Gears: Towards Decreasing the Cost of High-Performance Robotics

The use of bulk metallic glasses (BMGs) as the flexspline in strain wave gears (SWGs), also known as harmonic drives, is presented. SWGs are unique, ultra-precision gearboxes that function through the elastic flexing of a thin-walled cup, called a flexspline. The current research demonstrates that BMGs can be cast at extremely low cost relative to machining and can be implemented into SWGs as an alternative to steel. This approach may significantly reduce the cost of SWGs, enabling lower-cost robotics. The attractive properties of BMGs, such as hardness, elastic limit and yield strength, may also be suitable for extreme environment applications in spacecraft

13C-labelled microdialysis studies of cerebral metabolism in TBI patients

AbstractHuman brain chemistry is incompletely understood and better methodologies are needed. Traumatic brain injury (TBI) causes metabolic perturbations, one result of which includes increased brain lactate levels. Attention has largely focussed on glycolysis, whereby glucose is converted to pyruvate and lactate, and is proposed to act as an energy source by feeding into neurons’ tricarboxylic acid (TCA) cycle, generating ATP. Also reportedly upregulated by TBI is the pentose phosphate pathway (PPP) that does not generate ATP but produces various molecules that are putatively neuroprotective, antioxidant and reparative, in addition to lactate among the end products.We have developed a novel combination of 13C-labelled cerebral microdialysis both to deliver 13C-labelled substrates into brains of TBI patients and recover the 13C-labelled metabolites, with high-resolution 13C NMR analysis of the microdialysates. This methodology has enabled us to achieve the first direct demonstration in humans that the brain can utilise lactate via the TCA cycle. We are currently using this methodology to make the first direct comparison of glycolysis and the PPP in human brain.In this article, we consider the application of 13C-labelled cerebral microdialysis for studying brain energy metabolism in patients. We set this methodology within the context of metabolic pathways in the brain, and 13C research modalities addressing them