Dynamic response of structural elements exposed to sonic booms

Dynamic response of uniform beams and plates exposed to sonic boom

Transmission of sonic boom pressure through a window pane

Transmission of sonic boom pressure through glass window pane

Host-microbe interaction in the gastrointestinal tract

The gastrointestinal tract is a highly complex organ in which multiple dynamic physiological processes are tightly coordinated while interacting with a dense and extremely diverse microbial population. From establishment in early life, through to host-microbe symbiosis in adulthood, the gut microbiota plays a vital role in our development and health. The effect of the microbiota on gut development and physiology is highlighted by anatomical and functional changes in germ-free mice, affecting the gut epithelium, immune system, and enteric nervous system. Microbial colonisation promotes competent innate and acquired mucosal immune systems, epithelial renewal, barrier integrity, and mucosal vascularisation and innervation. Interacting or shared signalling pathways across different physiological systems of the gut could explain how all these changes are coordinated during postnatal colonisation, or after the introduction of microbiota into germ-free models. The application of cell-based in vitro experimental systems and mathematical modelling can shed light on the molecular and signalling pathways which regulate the development and maintenance of homeostasis in the gut and beyond. This article is protected by copyright. All rights reserved

THE PROBLEM OF MEASURING THE ABSOLUTE YIELD OF 14-Mev NEUTRONS BY MEANS OF AN ALPHA COUNTER

The assumptions used to derive the total neutron yield per detected alpha particle (from the D-T reaction) which were derived in an earlier report are reexamined in the light of additional experimental information. It is concluded that for an alpha counter at 90 deg to the incident beam direction the assumptions introduce practically no difficulties. Therefore, for precise monitoring in the absence of certain target information it is recommended that this configuration be used. For counters at angles different from 90 deg , nonuniformity of target loading contributes the most serious error to the computed yield. (auth

Fitting in a complex chi^2 landscape using an optimized hypersurface sampling

Fitting a data set with a parametrized model can be seen geometrically as finding the global minimum of the chi^2 hypersurface, depending on a set of parameters {P_i}. This is usually done using the Levenberg-Marquardt algorithm. The main drawback of this algorithm is that despite of its fast convergence, it can get stuck if the parameters are not initialized close to the final solution. We propose a modification of the Metropolis algorithm introducing a parameter step tuning that optimizes the sampling of parameter space. The ability of the parameter tuning algorithm together with simulated annealing to find the global chi^2 hypersurface minimum, jumping across chi^2{P_i} barriers when necessary, is demonstrated with synthetic functions and with real data

Response to comments on "magnetic resonance spectroscopy identifies neural progenitor cells in the live human brain"

We reported on a neural progenitor cell biomarker, a lipid-based metabolite enriched in these cells, which we detected using spectroscopy both in vitro and in vivo, and singular value decomposition–based signal processing. The study provided an outline of our computational methodology. Herein, we report more extensively on the method of spectrum analysis used, demonstrating the specificity of our findings

Speaking out about gender imbalance in invited speakers improves diversity.

Omissions of qualified women scientists from major meeting programs continue to occur despite a surge in articles indicating persistent gender-discriminatory practices in hiring and promotion, and calls for gender balance in conference organizing committees

Interface-aware signal temporal logic

Safety and security are major concerns in the development of Cyber-Physical Systems (CPS). Signal temporal logic (STL) was proposedas a language to specify and monitor the correctness of CPS relativeto formalized requirements. Incorporating STL into a developmentprocess enables designers to automatically monitor and diagnosetraces, compute robustness estimates based on requirements, andperform requirement falsification, leading to productivity gains inverification and validation activities; however, in its current formSTL is agnostic to the input/output classification of signals, andthis negatively impacts the relevance of the analysis results.In this paper we propose to make the interface explicit in theSTL language by introducing input/output signal declarations. Wethen define new measures of input vacuity and output robustnessthat better reflect the nature of the system and the specification in-tent. The resulting framework, which we call interface-aware signaltemporal logic (IA-STL), aids verification and validation activities.We demonstrate the benefits of IA-STL on several CPS analysisactivities: (1) robustness-driven sensitivity analysis, (2) falsificationand (3) fault localization. We describe an implementation of our en-hancement to STL and associated notions of robustness and vacuityin a prototype extension of Breach, a MATLAB®/Simulink®toolboxfor CPS verification and validation. We explore these methodologi-cal improvements and evaluate our results on two examples fromthe automotive domain: a benchmark powertrain control systemand a hydrogen fuel cell system

Metabolic Profiling of Dividing Cells in Live Rodent Brain by Proton Magnetic Resonance Spectroscopy (1HMRS) and LCModel Analysis

RATIONALE: Dividing cells can be detected in the live brain by positron emission tomography or optical imaging. Here we apply proton magnetic resonance spectroscopy (1HMRS) and a widely used spectral fitting algorithm to characterize the effect of increased neurogenesis after electroconvulsive shock in the live rodent brain via spectral signatures representing mobile lipids resonating at approximately 1.30 ppm. In addition, we also apply the same 1HMRS methodology to metabolically profile glioblastomas with actively dividing cells growing in RCAS-PDGF mice. METHODS: 1HMRS metabolic profiles were acquired on a 9.4T MRI instrument in combination with LCModel spectral analysis of: 1) rat brains before and after ECS or sham treatments and 2) RCAS-PDGF mice with glioblastomas and wild-type controls. Quantified 1HMRS data were compared to post-mortem histology. RESULTS: Dividing cells in the rat hippocampus increased approximately 3-fold after ECS compared to sham treatment. Quantification of hippocampal metabolites revealed significant decreases in N-acetyl-aspartate but no evidence of an elevated signal at approximately 1.3 ppm (Lip13a+Lip13b) in the ECS compared to the sham group. In RCAS-PDGF mice a high density (22%) of dividing cells characterized glioblastomas. Nile Red staining revealed a small fraction (3%) of dying cells with intracellular lipid droplets in the tumors of RCAS-PDGF mice. Concentrations of NAA were lower, whereas lactate and Lip13a+Lip13b were found to be significantly higher in glioblastomas of RCAS-PDGF mice, when compared to normal brain tissue in the control mice. CONCLUSIONS: Metabolic profiling using 1HMRS in combination with LCModel analysis did not reveal correlation between Lip13a+Lip13b spectral signatures and an increase in neurogenesis in adult rat hippocampus after ECS. However, increases in Lip13a+Lip13b were evident in glioblastomas suggesting that a higher density of actively dividing cells and/or the presence of lipid droplets is necessary for LCModel to reveal mobile lipids

Quadratic optimal functional quantization of stochastic processes and numerical applications

In this paper, we present an overview of the recent developments of functional quantization of stochastic processes, with an emphasis on the quadratic case. Functional quantization is a way to approximate a process, viewed as a Hilbert-valued random variable, using a nearest neighbour projection on a finite codebook. A special emphasis is made on the computational aspects and the numerical applications, in particular the pricing of some path-dependent European options.Comment: 41 page