2,502 research outputs found
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
A comparative study of two formal semantics of the SIGNAL language
International audienceSIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nuclear power plants. There exist several semantics for SIGNAL, such as denotational semantics based on traces (called trace semantics), denotational semantics based on tags (called tagged model semantics), operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by synchronous transition systems (STS), etc. However, there is little research about the equivalence between these semantics.In this work, we would like to prove the equivalence between the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different definitions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The distance between these two semantics discourages a direct proof of equivalence. Instead, we transformthem to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL
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
Mapping the X-Ray Emission Region in a Laser-Plasma Accelerator
The x-ray emission in laser-plasma accelerators can be a powerful tool to
understand the physics of relativistic laser-plasma interaction. It is shown
here that the mapping of betatron x-ray radiation can be obtained from the
x-ray beam profile when an aperture mask is positioned just beyond the end of
the emission region. The influence of the plasma density on the position and
the longitudinal profile of the x-ray emission is investigated and compared to
particle-in-cell simulations. The measurement of the x-ray emission position
and length provides insight on the dynamics of the interaction, including the
electron self-injection region, possible multiple injection, and the role of
the electron beam driven wakefield.Comment: 5 pages, 4 figure
Graduate students navigating social-ecological research: insights from the Long-Term Ecological Research Network
Interdisciplinary, collaborative research capable of capturing the feedbacks between biophysical and social systems can improve the capacity for sustainable environmental decision making. Networks of researchers provide unique opportunities to foster social-ecological inquiry. Although insights into interdisciplinary research have been discussed elsewhere, they rarely address the role of networks and often come from the perspectives of more senior scientists. We have provided graduate student perspectives on interdisciplinary degree paths from within the Long-Term Ecological Research (LTER) Network. Focusing on data from a survey of graduate students in the LTER Network and four self-identified successful graduate student research experiences, we examined the importance of funding, pedagogy, research design and development, communication, networking, and culture and attitude to students pursuing social-ecological research. Through sharing insights from successful graduate student approaches to social-ecological research within the LTER Network, we hope to facilitate dialogue between students, faculty, and networks to improve training for interdisciplinary scientists
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
- …