Model Checking Tap Withdrawal in C. Elegans

We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW) in \emph{C. Elegans}, the common roundworm. TW is a reflexive behavior exhibited by \emph{C. Elegans} in response to vibrating the surface on which it is moving; the neural circuit underlying this response is the subject of this investigation. Specifically, we perform reachability analysis on the TW circuit model of Wicks et al. (1996), which enables us to estimate key circuit parameters. Underlying our approach is the use of Fan and Mitra's recently developed technique for automatically computing local discrepancy (convergence and divergence rates) of general nonlinear systems. We show that the results we obtain are in agreement with the experimental results of Wicks et al. (1995). As opposed to the fixed parameters found in most biological models, which can only produce the predominant behavior, our techniques characterize ranges of parameters that produce (and do not produce) all three observed behaviors: reversal of movement, acceleration, and lack of response

Electron emission of Au nanoparticles embedded in ZnO for highly conductive oxide

We investigated the effect of embedded Au nanoparticles (Au NPs) on electrical properties of zinc oxide (ZnO) for highly conductive oxide semiconductor. Au NPs in ZnO films influenced both the structural and electrical properties of the mixture films. The electrical resistivity decreases by as much as five orders of magnitude. This is explained by the electron emission from Au NPs to the ZnO matrix. Temperature-dependent Hall effect measurements show that an electron emission mechanism changes from tunneling to thermionic emission at T = 180 K. The electron mobility in the mixture film is mainly limited by the grain boundaries at lower temperature (80-180 K), and the Au/ZnO heterogeneous interface at higher temperature (180-340 K). In addition to the electron emission, embedded Au NPs alter the ZnO matrix microstructure and improve the electron mobility. Compared to the undoped ZnO film, the carrier concentration of the Au NP-embedded ZnO film can be increased by as much as six orders of magnitude with a small change in the carrier mobility. This result suggests a way to circumvent the inherent tradeoff between the carrier concentration and the carrier mobility in transparent conductive oxide (TCO) materials. © 2014 AIP Publishing LLC

Bounded Verification with On-the-Fly Discrepancy Computation

Simulation-based verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on user provided model annotations called discrepancy function, which are crucial for computing reachtubes from simulations. In this paper, we eliminate this requirement by presenting an algorithm for computing piece-wise exponential discrepancy functions. The algorithm relies on computing local convergence or divergence rates of trajectories along a simulation using a coarse over-approximation of the reach set and bounding the maximal eigenvalue of the Jacobian over this over-approximation. The resulting discrepancy function preserves the soundness and the relative completeness of the verification algorithm. We also provide a coordinate transformation method to improve the local estimates for the convergence or divergence rates in practical examples. We extend the method to get the input-to-state discrepancy of nonlinear dynamical systems which can be used for compositional analysis. Our experiments show that the approach is effective in terms of running time for several benchmark problems, scales reasonably to larger dimensional systems, and compares favorably with respect to available tools for nonlinear models.Comment: 24 page

Evidence for the classical integrability of the complete AdS(4) x CP(3) superstring

We construct a zero-curvature Lax connection in a sub-sector of the superstring theory on AdS(4) x CP(3) which is not described by the OSp(6|4)/U(3) x SO(1,3) supercoset sigma-model. In this sub-sector worldsheet fermions associated to eight broken supersymmetries of the type IIA background are physical fields. As such, the prescription for the construction of the Lax connection based on the Z_4-automorphism of the isometry superalgebra OSp(6|4) does not do the job. So, to construct the Lax connection we have used an alternative method which nevertheless relies on the isometry of the target superspace and kappa-symmetry of the Green-Schwarz superstring.Comment: 1+26 pages; v2: minor typos corrected, acknowledgements adde

Global Properties of Topological String Amplitudes and Orbifold Invariants

We derive topological string amplitudes on local Calabi-Yau manifolds in terms of polynomials in finitely many generators of special functions. These objects are defined globally in the moduli space and lead to a description of mirror symmetry at any point in the moduli space. Holomorphic ambiguities of the anomaly equations are fixed by global information obtained from boundary conditions at few special divisors in the moduli space. As an illustration we compute higher genus orbifold Gromov-Witten invariants for C^3/Z_3 and C^3/Z_4.Comment: 34 pages, 3 figure

Seasonal pattern of Echinococcus re-infection in owned dogs in Tibetan communities of Sichuan, China and its implications for control

Background Human cystic echinococcosis (CE) and alveolar echinococcosis (AE) are highly endemic in Tibetan communities of Sichuan Province. Previous research in the region indicated that domestic dog was the major source of human infection, and observations indicated that domestic dog could have more access to intermediate hosts of Echinococcus spp.: both domestic livestock (CE) viscera and small mammals (AE), in early winter and again in spring. We hypothesized that there would therefore be a significant increase in the risk of canine infection with Echinococcus spp. in these two seasons and conducted a reinfection study to investigate this further. Methods Faecal samples were collected from owned dogs in seven townships in Ganze Tibetan Autonomous Prefecture (Sichuan Province, China), and Echinococcus spp. infection status was determined using copro-antigen ELISA. Dogs were sampled in April (spring), July (early summer), September/October (autumn/early winter) and December (winter) in 2009; and in April (spring) 2010. Dogs were treated with praziquantel following each of the five sample collections to eliminate any tapeworms. Information on dog sex, age and body weight was also collected. The t-test, Fisher’s exact test, Poisson regression and logistic regression were used to compare means and prevalences, and to identify factors associated with infection status. Results The proportion of female dogs was significantly lower than that of male dogs; female dogs had significantly higher (22.78 %) baseline copro-ELISA prevalence than males (11.88 %). Dog body weight, sex, age, county and previous infection status at any sampling point had no influence on the re-infection prevalence in general. Poisson regression did not found a significant influence on the re-infection prevalence due to different deworming/sampling time spans. Dogs exhibited significantly higher re-infection prevalences in spring and early summer of 2009 and in early winter between September/October and December of 2009, suggesting a higher infection pressure in these seasons comparing with other seasons. Conclusion Following praziquantel treatment, dog body weight, sex, age, county, deworming time span and previous infection status at any sampling point had no influence on the re-infection prevalence in the region in general. The differences between re-infection prevalences were probably due to the seasonality in Echinoccocus spp. infection pressure in the region. Early winter, spring and early summer should be important seasons for optimal dog deworming intervention in these Tibetan communities

Solving the Topological String on K3 Fibrations

We present solutions of the holomorphic anomaly equations for compact two-parameter Calabi-Yau manifolds which are hypersurfaces in weighted projective space. In particular we focus on K3-fibrations where due to heterotic type II duality the topological invariants in the fibre direction are encoded in certain modular forms. The formalism employed provides holomorphic expansions of topological string amplitudes everywhere in moduli space.Comment: 60 pages, 1 figure, With an appendix by Sheldon Kat

Prospects for terahertz imaging the human skin cancer with the help of gold-nanoparticles-based terahertz-to-infrared converter

The design is suggested, and possible operation parameters are discussed, of an instrument to inspect a skin cancer tumour in the terahertz (THz) range, transferring the image into the infrared (IR) and making it visible with the help of standard IR camera. The central element of the device is the THz-to-IR converter, a Teflon or silicon film matrix with embedded 8.5 nm diameter gold nanoparticles. The use of external THz source for irradiating the biological tissue sample is presumed. The converter's temporal characteristics enable its performance in a real-time scale. The details of design suited for the operation in transmission mode (in vitro) or on the human skin in reflection mode {in vivo) are specified.Comment: To be published in the proceedings of the FANEM2018 workshop - Minsk, 3-5 June 201

Controlled release from zein matrices: Interplay of drug hydrophobicity and pH

Purpose: In earlier studies, the corn protein zein is found to be suitable as a sustained release agent, yet the range of drugs for which zein has been studied remains small. Here, zein is used as a sole excipient for drugs differing in hydrophobicity and isoelectric point: indomethacin, paracetamol and ranitidine. Methods: Caplets were prepared by hot-melt extrusion (HME) and injection moulding (IM). Each of the three model drugs were tested on two drug loadings in various dissolution media. The physical state of the drug, microstructure and hydration behaviour were investigated to build up understanding for the release behaviour from zein based matrix for drug delivery. Results: Drug crystallinity of the caplets increases with drug hydrophobicity. For ranitidine and indomethacin, swelling rates, swelling capacity and release rates were pH dependent as a consequence of the presence of charged groups on the drug molecules. Both hydration rates and release rates could be approached by existing models. Conclusion: Both the drug state as pH dependant electrostatic interactions are hypothesised to influence release kinetics. Both factors can potentially be used factors influencing release kinetics release, thereby broadening the horizon for zein as a tuneable release agent

Synthesis of novel thieno[3,2-b]thienobis(silolothiophene) based low bandgap polymers for organic photovoltaics

Thieno[3,2-b]thienobis(silolothiophene), a new electron rich hexacyclic monomer has been synthesized and incorporated into three novel donor–acceptor low-bandgap polymers. By carefully choosing the acceptor co-monomer, the energy levels of the polymers could be modulated and high power conversion efficiencies of 5.52% were reached in OPV devices