Discrete Model of Ideological Struggle Accounting for Migration

A discrete in time model of ideological competition is formulated taking into account population migration. The model is based on interactions between global populations of non-believers and followers of different ideologies. The complex dynamics of the attracting manifolds is investigated. Conversion from one ideology to another by means of (i) mass media influence and (ii) interpersonal relations is considered. Moreover a different birth rate is assumed for different ideologies, the rate being assumed to be positive for the reference population, made of initially non-believers. Ideological competition can happen in one or several regions in space. In the latter case, migration of non-believers and adepts is allowed; this leads to an enrichment of the ideological dynamics. Finally, the current ideological situation in the Arab countries and China is commented upon from the point of view of the presently developed mathematical model. The massive forced conversion by Ottoman Turks in the Balkans is briefly discussed.Comment: 24 pages, with 5 figures and 52 refs.; prepared for a Special issue of Advances in Complex System

VPLanet: The Virtual Planet Simulator

We describe a software package called VPLanet that simulates fundamental aspects of planetary system evolution over Gyr timescales, with a focus on investigating habitable worlds. In this initial release, eleven physics modules are included that model internal, atmospheric, rotational, orbital, stellar, and galactic processes. Many of these modules can be coupled simultaneously to simulate the evolution of terrestrial planets, gaseous planets, and stars. The code is validated by reproducing a selection of observations and past results. VPLanet is written in C and designed so that the user can choose the physics modules to apply to an individual object at runtime without recompiling, i.e., a single executable can simulate the diverse phenomena that are relevant to a wide range of planetary and stellar systems. This feature is enabled by matrices and vectors of function pointers that are dynamically allocated and populated based on user input. The speed and modularity of VPLanet enables large parameter sweeps and the versatility to add/remove physical phenomena to assess their importance. VPLanet is publicly available from a repository that contains extensive documentation, numerous examples, Python scripts for plotting and data management, and infrastructure for community input and future development.Comment: 75 pages, 34 figures, 10 tables, accepted to the Proceedings of the Astronomical Society of the Pacific. Source code, documentation, and examples available at https://github.com/VirtualPlanetaryLaboratory/vplane

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Most approaches to the formal analyses of cryptographic protocols make the perfect cryptography assumption, i.e. the hypothese that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. Ideally, one would prefer to rely on a weaker hypothesis on the computational cost of gaining information about the plaintext pertaining to a ciphertext without knowing the key. Such a view is permitted by the Generic Model and the Random Oracle Model which provide non-standard computational models in which one may reason about the computational cost of breaking a cryptographic scheme. Using the proof assistant Coq, we provide a machine-checked account of the Generic Model and the Random Oracle Mode

Enceladus: Cassini observations and implications for the search for life

Aims. The recent Cassini discovery of water vapor plumes ejected from the south pole of the Saturnian satellite, Enceladus, presents a unique window of opportunity for the detection of extant life in our solar system. Methods. With its significant geothermal energy source propelling these plumes >80 km from the surface of the moon and the ensuing large temperature gradient with the surrounding environment, it is possible to have the weathering of rocks by liquid water at the rock/liquid interface. For the cases of the putatively detected salt-water oceans beneath the ice crusts of Europa and Callisto, an isolated subsurface ocean without photosynthesis or contact with an oxidizing atmosphere will approach chemical equilibrium and annihilate any ecosystems dependent on redox gradients unless there is a substantial alternative energy source. This thermodynamic tendency imposes severe constraints on any biota that is based on chemical energy. On Enceladus, the weathering of rocks by liquid water and any concomitant radioactive emissions are possible incipient conditions for life. If there is CO, CO2 and NH3 present in the spectra obtained from the plume, then this is possible evidence that amino acids could be formed at the rock/liquid interface of Enceladus. The combination of a hydrological cycle, chemical redox gradient and geochemical cycle give favorable conditions for life. Results. We discuss the search for signatures of these species and organics in the Cassini UVIS spectra of the plume and implications for the possible detection of life

Roles of binding elements, FOXL2 domains, and interactions with cJUN and SMADs in regulation of FSHβ.

We previously identified FOXL2 as a critical component in FSHβ gene transcription. Here, we show that mice deficient in FOXL2 have lower levels of gonadotropin gene expression and fewer LH- and FSH-containing cells, but the same level of other pituitary hormones compared to wild-type littermates, highlighting a role of FOXL2 in the pituitary gonadotrope. Further, we investigate the function of FOXL2 in the gonadotrope cell and determine which domains of the FOXL2 protein are necessary for induction of FSHβ transcription. There is a stronger induction of FSHβ reporter transcription by truncated FOXL2 proteins, but no induction with the mutant lacking the forkhead domain. Specifically, FOXL2 plays a role in activin induction of FSHβ, functioning in concert with activin-induced SMAD proteins. Activin acts through multiple promoter elements to induce FSHβ expression, some of which bind FOXL2. Each of these FOXL2-binding sites is either juxtaposed or overlapping with a SMAD-binding element. We determined that FOXL2 and SMAD4 proteins form a higher order complex on the most proximal FOXL2 site. Surprisingly, two other sites important for activin induction bind neither SMADs nor FOXL2, suggesting additional factors at work. Furthermore, we show that FOXL2 plays a role in synergistic induction of FSHβ by GnRH and activin through interactions with the cJUN component of the AP1 complex that is necessary for GnRH responsiveness. Collectively, our results demonstrate the necessity of FOXL2 for proper FSH production in mice and implicate FOXL2 in integration of transcription factors at the level of the FSHβ promoter

Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. This is because the abstractions made to improve performance on fixed 2 or 3 party protocols either preclude the modelling of group protocols all together, or permit modelling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes Coral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model protocols for both group key agreement and group key management, without any restrictions on the scenario. We will show how we used Coral to discover 6 previously unknown attacks on 3 group protocols

Models of the SL9 Impacts II. Radiative-hydrodynamic Modeling of the Plume Splashback

We model the plume "splashback" phase of the SL9 collisions with Jupiter using the ZEUS-3D hydrodynamic code. We modified the Zeus code to include gray radiative transport, and we present validation tests. We couple the infalling mass and momentum fluxes of SL9 plume material (from paper I) to a jovian atmospheric model. A strong and complex shock structure results. The modeled shock temperatures agree well with observations, and the structure and evolution of the modeled shocks account for the appearance of high excitation molecular line emission after the peak of the continuum light curve. The splashback region cools by radial expansion as well as by radiation. The morphology of our synthetic continuum light curves agree with observations over a broad wavelength range (0.9 to 12 microns). A feature of our ballistic plume is a shell of mass at the highest velocities, which we term the "vanguard". Portions of the vanguard ejected on shallow trajectories produce a lateral shock front, whose initial expansion accounts for the "third precursors" seen in the 2-micron light curves of the larger impacts, and for hot methane emission at early times. Continued propagation of this lateral shock approximately reproduces the radii, propagation speed, and centroid positions of the large rings observed at 3-4 microns by McGregor et al. The portion of the vanguard ejected closer to the vertical falls back with high z-component velocities just after maximum light, producing CO emission and the "flare" seen at 0.9 microns. The model also produces secondary maxima ("bounces") whose amplitudes and periods are in agreement with observations.Comment: 13 pages, 9 figures (figs 3 and 4 in color), accepted for Ap.J. latex, version including full figures at: http://oobleck.tn.cornell.edu/jh/ast/papers/slplume2-20.ps.g

The nuclear spectrum of the radio galaxy NGC 5128 (Centaurus A)

We present near-infrared spectra of the nuclear disk in the nearby radio galaxy NGC 5128 (Centaurus A). On the basis of the observed strengths of the [S III] 0.9532um and [Fe II] 1.2567um lines, we classify NGC 5128 as a LINER. Modeling of the strengths of these and additional lines suggests that the nuclear region is powered by shocks rather than photoionization.Comment: 12 pages including 2 figures, accepted by ApJ Letter