2,068 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 Distinct Class of Inducible Murine Type-C Viruses that Replicates in the Rabbit SIRC Cell Line
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
The communication of first-person thoughts
A discussion of Frege's views concerning the meaning of 'I' and his distinction between the 'I' of soliloquy and the 'I' of conversation
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
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
Nucleocapsid Protein Zinc-Finger Mutants of Simian Immunodeficiency Virus Strain Mne Produce Virions That Are Replication Defectivein Vitroandin Vivo
AbstractAll retroviruses (except the spumaretroviruses) contain a nucleocapsid (NC) protein that encodes one or two copies of the Zn2+-finger sequence -Cys-X2-Cys-X4-His-X4-Cys-. This region has been shown to be essential for recognition and packaging of the genomic RNA during virion particle assembly. Additionally, this region has been shown to be involved in early infection events in a wide spectrum of retroviruses, including mammalian type C [e.g., murine leukemia virus (MuLV)], human immunodeficiency virus type 1 (HIV-1),Rous sarcomavirus, and other retroviruses. Mutations in the two Zn2+-fingers of the NC protein of simian immunodeficiency virus strain Mne [SIV(Mne)] have been generated. The resulting virions contained the normal complement of processed viral proteins with densities indistinguishable from wild-type SIV(Mne). All of the mutants had electron micrograph morphologies similar to those of immature particles observed in wild-type preparations. RNA packaging was less affected by mutations in the NC protein of SIV(Mne) than has been observed for similar mutants in the MuLV and HIV-1 systems. Nevertheless,in vitroreplication of SIV(Mne) NC mutants was impaired to levels comparable to those observed for MuLV and HIV-1 NC mutants; replication defective NC mutants are typically 105- to 106-fold less infectious than similar levels of wild-type virus. One mutant, ΔCys33–Cys36, was also found to be noninfectiousin vivowhen mutant virus was administered intravenously to a pig-tailed macaque. NC mutations can therefore be used to generate replication defective virions for candidate vaccines in the SIV macaque model for primate lentiviral diseases
Game theory of mind
This paper introduces a model of ‘theory of mind’, namely, how we represent the intentions and goals of others to optimise our mutual interactions. We draw on ideas from optimum control and game theory to provide a ‘game theory of mind’. First, we consider the representations of goals in terms of value functions that are prescribed by utility or rewards. Critically, the joint value functions and ensuing behaviour are optimised recursively, under the assumption that I represent your value function, your representation of mine, your representation of my representation of yours, and so on ad infinitum. However, if we assume that the degree of recursion is bounded, then players need to estimate the opponent's degree of recursion (i.e., sophistication) to respond optimally. This induces a problem of inferring the opponent's sophistication, given behavioural exchanges. We show it is possible to deduce whether players make inferences about each other and quantify their sophistication on the basis of choices in sequential games. This rests on comparing generative models of choices with, and without, inference. Model comparison is demonstrated using simulated and real data from a ‘stag-hunt’. Finally, we note that exactly the same sophisticated behaviour can be achieved by optimising the utility function itself (through prosocial utility), producing unsophisticated but apparently altruistic agents. This may be relevant ethologically in hierarchal game theory and coevolution
- …