1,334 research outputs found

    Expectation values of chiral primary operators in holographic interface CFT

    Full text link
    We consider the expectation values of chiral primary operators in the presence of the interface in the 4 dimensional N=4 super Yang-Mills theory. This interface is derived from D3-D5 system in type IIB string theory. These expectation values are computed classically in the gauge theory side. On the other hand, this interface is a holographic dual to type IIB string theory on AdS_5 x S^5 spacetime with a probe D5-brane. The expectation values are computed by GKPW prescription in the gravity side. We find non-trivial agreement of these two results: the gauge theory side and the gravity side.Comment: 17pages, no figur

    Identifying dynamical systems with bifurcations from noisy partial observation

    Full text link
    Dynamical systems are used to model a variety of phenomena in which the bifurcation structure is a fundamental characteristic. Here we propose a statistical machine-learning approach to derive lowdimensional models that automatically integrate information in noisy time-series data from partial observations. The method is tested using artificial data generated from two cell-cycle control system models that exhibit different bifurcations, and the learned systems are shown to robustly inherit the bifurcation structure.Comment: 16 pages, 6 figure

    DEM Simulation of Soil Loosening Process Caused by a Vibrating Subsoiler

    Full text link
    Rosana G. Moreira, Editor-in-Chief; Texas A&M UniversityThis is a paper from International Commission of Agricultural Engineering (CIGR, Commission Internationale du Genie Rural) E-Journal Volume 9 (2007): DEM Simulation of Soil Loosening Process Caused by a Vibrating Subsoiler. Manuscript PM 05 010. Vol. IX. November, 2007

    CSO validator: improving manual curation workflow for biological pathways

    Get PDF
    Summary: Manual curation and validation of large-scale biological pathways are required to obtain high-quality pathway databases. In a typical curation process, model validation and model update based on appropriate feedback are repeated and requires considerable cooperation of scientists. We have developed a CSO (Cell System Ontology) validator to reduce the repetition and time during the curation process. This tool assists in quickly obtaining agreement among curators and domain experts and in providing a consistent and accurate pathway database

    Multi-machine analysis of turbulent transport in helical systems via gyrokinetic simulation

    Get PDF
    We have investigated drift-wave instability and nonlinear turbulent transport in two configurations with different magnetic field structures by means of electromagnetic gyrokinetic simulations. Here, one is the neoclassically optimized Large Helical Device (LHD) plasma and the other is the Heliotron J (HJ) plasma. First, we show that the validation against the turbulent transport in the LHD plasma is successful, and that the neoclassically optimized configuration has smaller turbulent transport. Second, the neoclassical optimization through an enhanced toroidal mirror ratio, which is a capability of non-axisymmetric plasma, is found to improve the turbulent transport in the HJ plasma, which is qualitatively consistent with the observation in the HJ. Hence, the neoclassical optimization reduces the turbulent transport in both the LHD and HJ plasmas. Third, as a trial in evaluating the performance of a helical system designed with different concepts for stability, we compared turbulent transport in these plasmas and found that both the mixing-length-estimated diffusion and nonlinear turbulent transport of the HJ plasma are smaller than those of the LHD plasma in gyro-Bohm units. The significant difference is stronger zonal flows in the HJ plasma than in the LHD plasma

    Systematic reconstruction of TRANSPATH data into Cell System Markup Language

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Many biological repositories store information based on experimental study of the biological processes within a cell, such as protein-protein interactions, metabolic pathways, signal transduction pathways, or regulations of transcription factors and miRNA. Unfortunately, it is difficult to directly use such information when generating simulation-based models. Thus, modeling rules for encoding biological knowledge into system-dynamics-oriented standardized formats would be very useful for fully understanding cellular dynamics at the system level.</p> <p>Results</p> <p>We selected the TRANSPATH database, a manually curated high-quality pathway database, which provides a plentiful source of cellular events in humans, mice, and rats, collected from over 31,500 publications. In this work, we have developed 16 modeling rules based on hybrid functional Petri net with extension (HFPNe), which is suitable for graphical representing and simulating biological processes. In the modeling rules, each Petri net element is incorporated with Cell System Ontology to enable semantic interoperability of models. As a formal ontology for biological pathway modeling with dynamics, CSO also defines biological terminology and corresponding icons. By combining HFPNe with the CSO features, it is possible to make TRANSPATH data to simulation-based and semantically valid models. The results are encoded into a biological pathway format, Cell System Markup Language (CSML), which eases the exchange and integration of biological data and models.</p> <p>Conclusion</p> <p>By using the 16 modeling rules, 97% of the reactions in TRANSPATH are converted into simulation-based models represented in CSML. This reconstruction demonstrates that it is possible to use our rules to generate quantitative models from static pathway descriptions.</p
    corecore