Characterizations and simulations of a class of stochastic processes to model anomalous diffusion

In this paper we study a parametric class of stochastic processes to model both fast and slow anomalous diffusion. This class, called generalized grey Brownian motion (ggBm), is made up off self-similar with stationary increments processes (H-sssi) and depends on two real parameters alpha in (0,2) and beta in (0,1]. It includes fractional Brownian motion when alpha in (0,2) and beta=1, and time-fractional diffusion stochastic processes when alpha=beta in (0,1). The latters have marginal probability density function governed by time-fractional diffusion equations of order beta. The ggBm is defined through the explicit construction of the underline probability space. However, in this paper we show that it is possible to define it in an unspecified probability space. For this purpose, we write down explicitly all the finite dimensional probability density functions. Moreover, we provide different ggBm characterizations. The role of the M-Wright function, which is related to the fundamental solution of the time-fractional diffusion equation, emerges as a natural generalization of the Gaussian distribution. Furthermore, we show that ggBm can be represented in terms of the product of a random variable, which is related to the M-Wright function, and an independent fractional Brownian motion. This representation highlights the $H$-{\bf sssi} nature of the ggBm and provides a way to study and simulate the trajectories. For this purpose, we developed a random walk model based on a finite difference approximation of a partial integro-differenital equation of fractional type.Comment: 25 pages, 9 figure

Application of elastostatic Green function tensor technique to electrostriction in cubic, hexagonal and orthorhombic crystals

The elastostatic Green function tensor approach, which was recently used to treat electrostriction in numerical simulation of domain structure formation in cubic ferroelectrics, is reviewed and extended to the crystals of hexagonal and orthorhombic symmetry. The tensorial kernels appearing in the expressions for effective nonlocal interaction of electrostrictive origin are derived explicitly and their physical meaning is illustrated on simple examples. It is argued that the bilinear coupling between the polarization gradients and elastic strain should be systematically included in the Ginzburg-Landau free energy expansion of electrostrictive materials.Comment: 4 page

Efficient CSL Model Checking Using Stratification

For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen presented an efficient polynomial-time approximation algorithm for the sublogic in which only binary until is allowed. In this paper, we propose such an efficient polynomial-time approximation algorithm for full CSL. The key to our method is the notion of stratified CTMCs with respect to the CSL property to be checked. On a stratified CTMC, the probability to satisfy a CSL path formula can be approximated by a transient analysis in polynomial time (using uniformization). We present a measure-preserving, linear-time and -space transformation of any CTMC into an equivalent, stratified one. This makes the present work the centerpiece of a broadly applicable full CSL model checker. Recently, the decision algorithm by Aziz et al. was shown to work only for stratified CTMCs. As an additional contribution, our measure-preserving transformation can be used to ensure the decidability for general CTMCs.Comment: 18 pages, preprint for LMCS. An extended abstract appeared in ICALP 201

Observing Planets and Small Bodies in Sputtered High Energy Atom (SHEA) Fluxes

The evolution of the surfaces of bodies unprotected by either strong magnetic fields or thick atmospheres in the Solar System is caused by various processes, induced by photons, energetic ions and micrometeoroids. Among these processes, the continuous bombardment of the solar wind or energetic magnetospheric ions onto the bodies may significantly affect their surfaces, with implications for their evolution. Ion precipitation produces neutral atom releases into the exosphere through ion sputtering, with velocity distribution extending well above the particle escape limits. We refer to this component of the surface ejecta as sputtered high-energy atoms (SHEA). The use of ion sputtering emission for studying the interaction of exposed bodies (EB) with ion environments is described here. Remote sensing in SHEA in the vicinity of EB can provide mapping of the bodies exposed to ion sputtering action with temporal and mass resolution. This paper speculates on the possibility of performing remote sensing of exposed bodies using SHEA The evolution of the surfaces of bodies unprotected by either strong magnetic fields or thick atmospheres in the Solar System is caused by various processes, induced by photons, energetic ions and micrometeoroids. Among these processes, the continuous bombardment of the solar wind or energetic magnetospheric ions onto the bodies may significantly affect their surfaces, with implications for their evolution. Ion precipitation produces neutral atom releases into the exosphere through ion sputtering, with velocity distribution extending well above the particle escape limits. We refer to this component of the surface ejecta as sputtered high-energy atoms (SHEA). The use of ion sputtering emission for studying the interaction of exposed bodies (EB) with ion environments is described here. Remote sensing in SHEA in the vicinity of EB can provide mapping of the bodies exposed to ion sputtering action with temporal and mass resolution. This paper speculates on the possibility of performing remote sensing of exposed bodies using SHEA and suggests the need for quantitative results from laboratory simulations and molecular physic modeling in order to understand SHEA data from planetary missions. In the Appendix, referenced computer simulations using existing sputtering data are reviewed

The Space Optical Clocks Project: Development of high-performance transportable and breadboard optical clocks and advanced subsystems

The use of ultra-precise optical clocks in space ("master clocks") will allow for a range of new applications in the fields of fundamental physics (tests of Einstein's theory of General Relativity, time and frequency metrology by means of the comparison of distant terrestrial clocks), geophysics (mapping of the gravitational potential of Earth), and astronomy (providing local oscillators for radio ranging and interferometry in space). Within the ELIPS-3 program of ESA, the "Space Optical Clocks" (SOC) project aims to install and to operate an optical lattice clock on the ISS towards the end of this decade, as a natural follow-on to the ACES mission, improving its performance by at least one order of magnitude. The payload is planned to include an optical lattice clock, as well as a frequency comb, a microwave link, and an optical link for comparisons of the ISS clock with ground clocks located in several countries and continents. Undertaking a necessary step towards optical clocks in space, the EU-FP7-SPACE-2010-1 project no. 263500 (SOC2) (2011-2015) aims at two "engineering confidence", accurate transportable lattice optical clock demonstrators having relative frequency instability below 1\times10^-15 at 1 s integration time and relative inaccuracy below 5\times10^-17. This goal performance is about 2 and 1 orders better in instability and inaccuracy, respectively, than today's best transportable clocks. The devices will be based on trapped neutral ytterbium and strontium atoms. One device will be a breadboard. The two systems will be validated in laboratory environments and their performance will be established by comparison with laboratory optical clocks and primary frequency standards. In this paper we present the project and the results achieved during the first year.Comment: Contribution to European Frequency and Time Forum 2012, Gothenburg, Swede

Advanced Technologies for Oral Controlled Release: Cyclodextrins for oral controlled release

Cyclodextrins (CDs) are used in oral pharmaceutical formulations, by means of inclusion complexes formation, with the following advantages for the drugs: (1) solubility, dissolution rate, stability and bioavailability enhancement; (2) to modify the drug release site and/or time profile; and (3) to reduce or prevent gastrointestinal side effects and unpleasant smell or taste, to prevent drug-drug or drug-additive interactions, or even to convert oil and liquid drugs into microcrystalline or amorphous powders. A more recent trend focuses on the use of CDs as nanocarriers, a strategy that aims to design versatile delivery systems that can encapsulate drugs with better physicochemical properties for oral delivery. Thus, the aim of this work was to review the applications of the CDs and their hydrophilic derivatives on the solubility enhancement of poorly water soluble drugs in order to increase their dissolution rate and get immediate release, as well as their ability to control (to prolong or to delay) the release of drugs from solid dosage forms, either as complexes with the hydrophilic (e.g. as osmotic pumps) and/ or hydrophobic CDs. New controlled delivery systems based on nanotechonology carriers (nanoparticles and conjugates) have also been reviewed

EXACT2: the semantics of biomedical protocols

© 2014 Soldatova et al.; licensee BioMed Central. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.This article has been made available through the Brunel Open Access Publishing Fund.Background: The reliability and reproducibility of experimental procedures is a cornerstone of scientific practice. There is a pressing technological need for the better representation of biomedical protocols to enable other agents (human or machine) to better reproduce results. A framework that ensures that all information required for the replication of experimental protocols is essential to achieve reproducibility. Methods: We have developed the ontology EXACT2 (EXperimental ACTions) that is designed to capture the full semantics of biomedical protocols required for their reproducibility. To construct EXACT2 we manually inspected hundreds of published and commercial biomedical protocols from several areas of biomedicine. After establishing a clear pattern for extracting the required information we utilized text-mining tools to translate the protocols into a machine amenable format. We have verified the utility of EXACT2 through the successful processing of previously ‘unseen’ (not used for the construction of EXACT2) protocols. Results: The paper reports on a fundamentally new version EXACT2 that supports the semantically-defined representation of biomedical protocols. The ability of EXACT2 to capture the semantics of biomedical procedures was verified through a text mining use case. In this EXACT2 is used as a reference model for text mining tools to identify terms pertinent to experimental actions, and their properties, in biomedical protocols expressed in natural language. An EXACT2-based framework for the translation of biomedical protocols to a machine amenable format is proposed. Conclusions: The EXACT2 ontology is sufficient to record, in a machine processable form, the essential information about biomedical protocols. EXACT2 defines explicit semantics of experimental actions, and can be used by various computer applications. It can serve as a reference model for for the translation of biomedical protocols in natural language into a semantically-defined format.This work has been partially funded by the Brunel University BRIEF award and a grant from Occams Resources

Broad Line Region Physical Conditions along the Quasar Eigenvector 1 Sequence

[Abridged] We compare broad emission line profiles and estimate line ratios for all major emission lines between Ly-alpha and H-beta in a sample of six quasars. The sources were chosen with two criteria in mind: the existence of high quality optical and UV spectra as well as the possibility to sample the spectroscopic diversity in the 4D Eigenvector 1 context . In the latter sense each source occupies a region (bin) in the FWHM(H-beta) vs. optical FeII strength plane that is significantly different from the others. High S/N H-beta emission line profiles are used as templates for modeling the other lines (Ly-alpha, CIV 1549, HeII 1640, Al III 1860, Si III] 1892, and Mg II 2800). We can adequately model all broad lines assuming the existence of three components distinguished by blueshifted, unshifted and redshifted centroids (indicated as blue, broad and very broad component respectively). The broad component (high electron density, low ionization parameter; high column density) is present in almost all type-1 quasars and therefore corresponds most closely to the classical broad line emitting region (the reverberating component). The blue component emission (lower electron density; high ionization; low column density) arises in less optically thick gas; it is often thought to arise in an accretion disk wind. The least understood component involves the very broad component (high ionization and large column density). It is perhaps the most distinguishing characteristic of quasars with FWHM H-beta > 4000 km/s that belong to the so-called Population B of our 4DE1 space. Population A quasars (FWHM H-beta < 4000 km/s) are dominated by broad component emission in H-beta and blue component emission in CIV 1549 and other high ionization lines. 4DE1 appears to be the most useful current context for revealing and unifying spectral diversity in type-1 quasars.Comment: 7 Tables, 5 Figures; accepted for publication in Monthly Notices of the Royal Astronomical Societ

Search for the standard model Higgs boson in the H to ZZ to 2l 2nu channel in pp collisions at sqrt(s) = 7 TeV

A search for the standard model Higgs boson in the H to ZZ to 2l 2nu decay channel, where l = e or mu, in pp collisions at a center-of-mass energy of 7 TeV is presented. The data were collected at the LHC, with the CMS detector, and correspond to an integrated luminosity of 4.6 inverse femtobarns. No significant excess is observed above the background expectation, and upper limits are set on the Higgs boson production cross section. The presence of the standard model Higgs boson with a mass in the 270-440 GeV range is excluded at 95% confidence level.Comment: Submitted to JHE