Comparison of Weight Reduction of Human Subjects Fed 1300 Calorie, Lacto-Ovo-Vegetarian Diets with Two Levels of Carbohydrate

The effects of 1300 calorie, high-polyunsaturated fat, lacto ovo- vegetarian diets with two carbohydrate levels (30 per cent and 50 per cent of the total calories) were observed in two matched twelve-subject groups over five week periods. Weight loss, satiety value, urinary ketone levels, as well as changes in glucose tolerance, serum insulin, cholesterol, free fatty acid, and uric acid levels were compared. Total weight loss averaged 12.9 pounds in the 30 per cent carbohydrate group and 13.6 pounds in the 50 per cent carbohydrate group. Differences were not significant. Satiety value of the lower carbohydrate diet was considerably greater. This was considered a potential determinant of cooperation and hence weight loss. Glucose tolerance improved somewhat more on the 30 per cent carbohydrate diet. Due to group imbalances in initial serum insulin levels, no conclusions could be drawn. Cholesterol decreased slightly but significantly on both diets. Changes in uric acid and presence of ketone bodies were found insignificant. On the 30 per cent carbohydrate diet a slight but significant increase in FFA occurred. Differences in FFA increases approached significance between groups. It was concluded that the 30 per cent carbohydrate reducing diet observed in this study held primarily the advantage of greater satiety value over the isocaloric 50 percent carbohydrate diet

Scattering by single physically large and weak scatterers in the beam of a single-element transducer

Quantitative ultrasound techniques are generally applied to characterize media whose scattering sites are considered to be small compared to a wavelength. In this study, the backscattered response of single weakly scattering spheres and cylinders with diameters comparable to the beam width of a 2.25 MHz single-element transducer were simulated and measured in the transducer focal plane to investigate the impact of physically large scatterers. The responses from large single spherical scatterers at the focus were found to closely match the plane-wave response. The responses from large cylindrical scatterers at the focus were found to differ from the plane-wave response by a factor of f(−1). Normalized spectra from simulations and measurements were in close agreement: the fall-off of the responses as a function of lateral position agreed to within 2 dB for spherical scatterers and to within 3.5 dB for cylindrical scatterers. In both measurement and simulation, single scatterer diameter estimates were biased by less than 3% for a more highly focused transducer compared to estimates for a more weakly focused transducer. The results suggest that quantitative ultrasound techniques may produce physically meaningful size estimates for media whose response is dominated by scatterers comparable in size to the transducer beam

SIRT3 Mediates Multi-Tissue Coupling for Metabolic Fuel Switching

SummarySIRT3 is a member of the Sirtuin family of NAD+-dependent deacylases and plays a critical role in metabolic regulation. Organism-wide SIRT3 loss manifests in metabolic alterations; however, the coordinating role of SIRT3 among metabolically distinct tissues is unknown. Using multi-tissue quantitative proteomics comparing fasted wild-type mice to mice lacking SIRT3, innovative bioinformatic analysis, and biochemical validation, we provide a comprehensive view of mitochondrial acetylation and SIRT3 function. We find SIRT3 regulates the acetyl-proteome in core mitochondrial processes common to brain, heart, kidney, liver, and skeletal muscle, but differentially regulates metabolic pathways in fuel-producing and fuel-utilizing tissues. We propose an additional maintenance function for SIRT3 in liver and kidney where SIRT3 expression is elevated to reduce the acetate load on mitochondrial proteins. We provide evidence that SIRT3 impacts ketone body utilization in the brain and reveal a pivotal role for SIRT3 in the coordination between tissues required for metabolic homeostasis

On staying grounded and avoiding Quixotic dead ends

The 15 articles in this special issue on The Representation of Concepts illustrate the rich variety of theoretical positions and supporting research that characterize the area. Although much agreement exists among contributors, much disagreement exists as well, especially about the roles of grounding and abstraction in conceptual processing. I first review theoretical approaches raised in these articles that I believe are Quixotic dead ends, namely, approaches that are principled and inspired but likely to fail. In the process, I review various theories of amodal symbols, their distortions of grounded theories, and fallacies in the evidence used to support them. Incorporating further contributions across articles, I then sketch a theoretical approach that I believe is likely to be successful, which includes grounding, abstraction, flexibility, explaining classic conceptual phenomena, and making contact with real-world situations. This account further proposes that (1) a key element of grounding is neural reuse, (2) abstraction takes the forms of multimodal compression, distilled abstraction, and distributed linguistic representation (but not amodal symbols), and (3) flexible context-dependent representations are a hallmark of conceptual processing

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study

Correctness of autonomous driving systems is crucial as\ua0incorrect behaviour may have catastrophic consequences. Many different\ua0hardware and software components (e.g. sensing, decision making, actuation,\ua0and control) interact to solve the autonomous driving task, leading to a level of complexity that brings new challenges for the formal verification\ua0community. Though formal verification has been used to prove\ua0correctness of software, there are significant challenges in transferring\ua0such techniques to an agile software development process and to ensure\ua0widespread industrial adoption. In the light of these challenges, the identification\ua0of appropriate formalisms, and consequently the right verification\ua0tools, has significant impact on addressing them. In this paper, we\ua0evaluate the application of different formal techniques from supervisory\ua0control theory, model checking, and deductive verification to verify existing\ua0decision and control software (in development) for an autonomous\ua0vehicle. We discuss how the verification objective differs with respect tothe choice of formalism and the level of formality that can be applied.\ua0Insights from the case study show a need for multiple formal methods to\ua0prove correctness, the difficulty to capture the right level of abstraction\ua0to model and specify the formal properties for the verification objectives

Nouns, verbs, objects, actions, and abstractions: Local fMRI activity indexes semantics, not lexical categories

Noun/verb dissociations in the literature defy interpretation due to the confound between lexical category and semantic meaning; nouns and verbs typically describe concrete objects and actions. Abstract words, pertaining to neither, are a critical test case: dissociations along lexical-grammatical lines would support models purporting lexical category as the principle governing brain organisation, whilst semantic models predict dissociation between concrete words but not abstract items. During fMRI scanning, participants read orthogonalised word categories of nouns and verbs, with or without concrete, sensorimotor meaning. Analysis of inferior frontal/insula, precentral and central areas revealed an interaction between lexical class and semantic factors with clear category differences between concrete nouns and verbs but not abstract ones. Though the brain stores the combinatorial and lexical-grammatical properties of words, our data show that topographical differences in brain activation, especially in the motor system and inferior frontal cortex, are driven by semantics and not by lexical class

Sensorimotor semantics on the spot: brain activity dissociates between conceptual categories within 150 ms

Although semantic processing has traditionally been associated with brain responses maximal at 350–400 ms, recent studies reported that words of different semantic types elicit topographically distinct brain responses substantially earlier, at 100–200 ms. These earlier responses have, however, been achieved using insufficiently precise source localisation techniques, therefore casting doubt on reported differences in brain generators. Here, we used high-density MEG-EEG recordings in combination with individual MRI images and state-of-the-art source reconstruction techniques to compare localised early activations elicited by words from different semantic categories in different cortical areas. Reliable neurophysiological word-category dissociations emerged bilaterally at ~ 150 ms, at which point action-related words most strongly activated frontocentral motor areas and visual object-words occipitotemporal cortex. These data now show that different cortical areas are activated rapidly by words with different meanings and that aspects of their category-specific semantics is reflected by dissociating neurophysiological sources in motor and visual brain systems

Interpreting Spatial Language in Image Captions

The map as a tool for accessing data has become very popular in recent years, but a lot of data do not have the necessary spatial meta-data to allow for that. Some data such as photographs however have spatial information in their captions and if this could be extracted, then they could be made available via map-based interfaces. Towards this goal, we introduce a model and spatio-linguistic reasoner for interpreting the spatial information in image captions that is based upon quantitative data about spatial language use acquired directly from people. Spatial language is inherently vague, and both the model and reasoner have been designed to incorporate this vagueness at the quantitative level and not only qualitatively

The anterior temporal lobes support residual comprehension in Wernicke’s aphasia

Wernicke’s aphasia occurs following a stroke to classical language comprehension regions in the left temporoparietal cortex. Consequently, auditory-verbal comprehension is significantly impaired in Wernicke’s aphasia but the capacity to comprehend visually presented materials (written words and pictures) is partially spared. This study used fMRI to investigate the neural basis of written word and picture semantic processing in Wernicke’s aphasia, with the wider aim of examining how the semantic system is altered following damage to the classical comprehension regions. Twelve participants with Wernicke’s aphasia and twelve control participants performed semantic animate-inanimate judgements and a visual height judgement baseline task. Whole brain and ROI analysis in Wernicke’s aphasia and control participants found that semantic judgements were underpinned by activation in the ventral and anterior temporal lobes bilaterally. The Wernicke’s aphasia group displayed an “over-activation” in comparison to control participants, indicating that anterior temporal lobe regions become increasingly influential following reduction in posterior semantic resources. Semantic processing of written words in Wernicke’s aphasia was additionally supported by recruitment of the right anterior superior temporal lobe, a region previously associated with recovery from auditory-verbal comprehension impairments. Overall, the results concord with models which indicate that the anterior temporal lobes are crucial for multimodal semantic processing and that these regions may be accessed without support from classic posterior comprehension regions