WorldWideScience

Sample records for quantification theory type

  1. A Study of Tongue and Pulse Diagnosis in Traditional Korean Medicine for Stroke Patients Based on Quantification Theory Type II

    Mi Mi Ko

    2013-01-01

    Full Text Available In traditional Korean medicine (TKM, pattern identification (PI diagnosis is important for treating diseases. The aim of this study was to comprehensively investigate the relationship between the PI type and tongue diagnosis or pulse diagnosis variables. The study included 1,879 stroke patients who were admitted to 12 oriental medical university hospitals from June 2006 through March 2009. The status of the pulse and tongue was examined in each patient. Additionally, to investigate relatively important indicators related to specialist PI, the quantification theory type II analysis was performed regarding the PI type. In the first axis quantification of the external criteria, the Qi-deficiency and the Yin-deficiency patterns were located in the negative direction, while the dampness-phlegm (DP and fire-heat patterns were located in the positive direction. The explanatory variable with the greatest impact on the assessment was a fine pulse. In the second axis quantification, the external criteria were divided into either the DP or non-DP patterns. The slippery pulse exhibited the greatest effect on the division. This study attempted to build a model using a statistical method to objectively quantify PI and various indicators that constitute the unique diagnosis system of TKM. These results should assist the development of future diagnostic standards in stroke PI.

  2. Uncertainty quantification theory, implementation, and applications

    Smith, Ralph C

    2014-01-01

    The field of uncertainty quantification is evolving rapidly because of increasing emphasis on models that require quantified uncertainties for large-scale applications, novel algorithm development, and new computational architectures that facilitate implementation of these algorithms. Uncertainty Quantification: Theory, Implementation, and Applications provides readers with the basic concepts, theory, and algorithms necessary to quantify input and response uncertainties for simulation models arising in a broad range of disciplines. The book begins with a detailed discussion of applications where uncertainty quantification is critical for both scientific understanding and policy. It then covers concepts from probability and statistics, parameter selection techniques, frequentist and Bayesian model calibration, propagation of uncertainties, quantification of model discrepancy, surrogate model construction, and local and global sensitivity analysis. The author maintains a complementary web page where readers ca...

  3. Guarded Cubical Type Theory

    Birkedal, Lars; Bizjak, Aleš; Clouston, Ranald;

    2016-01-01

    types. This further expands the foundations of CTT as a basis for formalisation in mathematics and computer science. We present examples to demonstrate the expressivity of our type theory, all of which have been checked using a prototype type-checker implementation, and present semantics in a presheaf......This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics, and for programming and reasoning with...... coinductive types. We wish to implement GDTT with decidable type-checking, while still supporting non-trivial equality proofs that reason about the extensions of guarded recursive constructions. CTT is a variation of Martin-L\\"of type theory in which the identity type is replaced by abstract paths between...

  4. Inductive types in homotopy type theory

    Awodey, Steve; Gambino, Nicola; Sojakova, Kristina

    2012-01-01

    Homotopy type theory is an interpretation of Martin-L\\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well...

  5. Recurrence quantification analysis theory and best practices

    Jr, Jr; Marwan, Norbert

    2015-01-01

    The analysis of recurrences in dynamical systems by using recurrence plots and their quantification is still an emerging field.  Over the past decades recurrence plots have proven to be valuable data visualization and analysis tools in the theoretical study of complex, time-varying dynamical systems as well as in various applications in biology, neuroscience, kinesiology, psychology, physiology, engineering, physics, geosciences, linguistics, finance, economics, and other disciplines.   This multi-authored book intends to comprehensively introduce and showcase recent advances as well as established best practices concerning both theoretical and practical aspects of recurrence plot based analysis.  Edited and authored by leading researcher in the field, the various chapters address an interdisciplinary readership, ranging from theoretical physicists to application-oriented scientists in all data-providing disciplines.

  6. An approximation approach for uncertainty quantification using evidence theory

    Over the last two decades, uncertainty quantification (UQ) in engineering systems has been performed by the popular framework of probability theory. However, many scientific and engineering communities realize that there are limitations in using only one framework for quantifying the uncertainty experienced in engineering applications. Recently evidence theory, also called Dempster-Shafer theory, was proposed to handle limited and imprecise data situations as an alternative to the classical probability theory. Adaptation of this theory for large-scale engineering structures is a challenge due to implicit nature of simulations and excessive computational costs. In this work, an approximation approach is developed to improve the practical utility of evidence theory in UQ analysis. The techniques are demonstrated on composite material structures and airframe wing aeroelastic design problem

  7. Invariant types in NIP theories

    Simon, Pierre

    2014-01-01

    We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that of M-finitely satisfiable types; we show some amalgamation results for invariant types and list a number of open questions.

  8. Linear contextual modal type theory

    Schack-Nielsen, Anders; Schürmann, Carsten

    Abstract. When one implements a logical framework based on linear type theory, for example the Celf system [?], one is immediately con- fronted with questions about their equational theory and how to deal with logic variables. In this paper, we propose linear contextual modal type theory that gives...

  9. Guarded dependent type theory with coinductive types

    Bizjak, Aleš; Grathwohl, Hans Bugge; Clouston, Ranald; Birkedal, Lars; Møgelberg, Rasmus Ejlers

    We present guarded dependent type theory, gDTT, an extensional dependent type theory with a later' modality and clock quantifiers for programming and proving with guarded recursive and coinductive types. The later modality is used to ensure the productivity of recursive definitions in a modular......, type based, way. Clock quantifiers are used for controlled elimination of the later modality and for encoding coinductive types using guarded recursive types. Key to the development of gDTT are novel type and term formers involving what we call delayed substitutions’. These generalise the applicative...... functor rules for the later modality considered in earlier work, and are crucial for programming and proving with dependent types. We show soundness of the type theory with respect to a denotational model....

  10. Computational semantics in type theory

    Ranta, Aarne

    2006-01-01

    This paper aims to show how Montague-style grammars can be completely formalized and thereby declaratively implemented by using the Grammatical Framework GF. The implementation covers the fundamental operations of Montague’s PTQ model: the construction of analysis trees, the linearization of trees into strings, and the interpretation of trees as logical formulas. Moreover, a parsing algorithm is derived from the grammar. Given that GF is a constructive type theory with dependent types, the te...

  11. A "Toy" Model for Operational Risk Quantification using Credibility Theory

    Hans B\\"uhlmann; Shevchenko, Pavel V.; Mario V. W\\"uthrich

    2009-01-01

    To meet the Basel II regulatory requirements for the Advanced Measurement Approaches in operational risk, the bank's internal model should make use of the internal data, relevant external data, scenario analysis and factors reflecting the business environment and internal control systems. One of the unresolved challenges in operational risk is combining of these data sources appropriately. In this paper we focus on quantification of the low frequency high impact losses exceeding some high thr...

  12. Application of the third theory of quantification in coal and gas outburst forecast

    WU Cai-fang; QIN Yong; ZHANG Xu-liang

    2004-01-01

    The essential principles of the third theory of quantification are discussed, the concept and calculated method of reaction degree are put forward which extend the applying range and scientificalness of the primary reaction. Taking the Zhongmacun Mine as example, on the base of analyzing the rules of gas geology synthetically and traversing the geological factors infecting coal and gas outburst, the paper adopts the method of combining carving up statistical units with the third theory of quantification, screens out 8 sensitive geological factors from 11 geological indexes and carries through the work of gas geology regionalism to the exploited area of Zhongmacun according to the researching result. The practice shows that it is feasible to apply the third theory of quantification to gas geology, which offers a new thought to screen the sensitive geological factors of gas outburst forecast.

  13. Causality in Time Series: Its Detection and Quantification by Means of Information Theory

    Hlaváčková-Schindler, Kateřina

    New York: Springer, 2008 - (Emmert-Streib, F.; Dehmer, M.), s. 183-207. (Computer Science). ISBN 978-0-387-84815-0 R&D Projects: GA MŠk 2C06001 Institutional research plan: CEZ:AV0Z10750506 Keywords : causality * time series * information theory Subject RIV: BD - Theory of Information http://library.utia.cas.cz/separaty/2009/AS/schindler-causality in time series its detection and quantification by means of information theory.pdf

  14. Logic in the 1930s: type theory and model theory

    Schiemer, Georg; Reck, Erich H.

    2013-01-01

    In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. ...

  15. Uncertainty Quantification and Propagation in Nuclear Density Functional Theory

    Schunck, N.; McDonnell, J. D.; Higdon, D.; Sarich, J.; Wild, S. M.

    2015-01-01

    Nuclear density functional theory (DFT) is one of the main theoretical tools used to study the properties of heavy and superheavy elements, or to describe the structure of nuclei far from stability. While on-going efforts seek to better root nuclear DFT in the theory of nuclear forces [see Duguet et al., this issue], energy functionals remain semi-phenomenological constructions that depend on a set of parameters adjusted to experimental data in finite nuclei. In this paper, we review recent e...

  16. Some Properties of Type I' String Theory

    Schwarz, John H.

    1999-01-01

    The T-dual formulation of Type I superstring theory, sometimes called Type I' theory, has a number of interesting features. Here we review some of them including the role of D0-branes and D8-branes in controlling possible gauge symmetry enhancement.

  17. Completeness in Hybrid Type Theory

    Areces, Carlos; Blackburn, Patrick Rowan; Huertas, Antonia;

    2014-01-01

    We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types...... the way we interpret @i in propositional and first-order hybrid logic. This means: interpret @iαa , where αa is an expression of any type a , as an expression of type a that rigidly returns the value that αa receives at the i-world. The axiomatization and completeness proofs are generalizations of those...... found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting...

  18. Uncertainty quantification and propagation in nuclear density functional theory

    Nuclear density functional theory (DFT) is one of the main theoretical tools used to study the properties of heavy and superheavy elements, or to describe the structure of nuclei far from stability. While on-going efforts seek to better root nuclear DFT in the theory of nuclear forces (see Duguet et al., this Topical Issue), energy functionals remain semi-phenomenological constructions that depend on a set of parameters adjusted to experimental data in finite nuclei. In this paper, we review recent efforts to quantify the related uncertainties, and propagate them to model predictions. In particular, we cover the topics of parameter estimation for inverse problems, statistical analysis of model uncertainties and Bayesian inference methods. Illustrative examples are taken from the literature. (orig.)

  19. Uncertainty Quantification and Propagation in Nuclear Density Functional Theory

    Schunck, N; McDonnell, J D; Higdon, D; Sarich, J; Wild, S M

    2015-03-17

    Nuclear density functional theory (DFT) is one of the main theoretical tools used to study the properties of heavy and superheavy elements, or to describe the structure of nuclei far from stability. While on-going eff orts seek to better root nuclear DFT in the theory of nuclear forces, energy functionals remain semi-phenomenological constructions that depend on a set of parameters adjusted to experimental data in fi nite nuclei. In this paper, we review recent eff orts to quantify the related uncertainties, and propagate them to model predictions. In particular, we cover the topics of parameter estimation for inverse problems, statistical analysis of model uncertainties and Bayesian inference methods. Illustrative examples are taken from the literature.

  20. A quantification of prospect theory in the health domain

    Attema, Arthur E.; Werner B.F. Brouwer; Olivier L'Haridon

    2013-01-01

    It is well-known that expected utility (EU) has empirical deficiencies. Prospect theory (PT) has developed as an alternative with more descriptive validity. However, PT’s full function had not yet been quantified in the health domain. This paper is therefore the first to simultaneously measure utility of life duration, probability weighting, and loss aversion in the health domain. We observe loss aversion and risk aversion for gains and losses, which for gains can be explained by probabilisti...

  1. Quantification of digital forensic hypotheses using probability theory

    Overill, RE; Silomon, JAM; Tse, HKS; Chow, KP

    2013-01-01

    The issue of downloading illegal material from a website onto a personal digital device is considered from the perspective of conventional (Pascalian) probability theory. We present quantitative results for a simple model system by which we analyse and counter the putative defence case that the forensically recovered illegal material was downloaded accidentally by the defendant. The model is applied to two actual prosecutions involving possession of child pornography.

  2. Quantification of Uncertainties in Nuclear Density Functional Theory

    Reliable predictions of nuclear properties are needed as much to answer fundamental science questions as in applications such as reactor physics or data evaluation. Nuclear density functional theory is currently the only microscopic, global approach to nuclear structure that is applicable throughout the nuclear chart. In the past few years, a lot of effort has been devoted to setting up a general methodology to assess theoretical uncertainties in nuclear DFT calculations. In this paper, we summarize some of the recent progress in this direction. Most of the new material discussed here will be be published in separate articles

  3. Quantification of Uncertainties in Nuclear Density Functional Theory

    Schunck, N., E-mail: schunck1@llnl.gov [Physics Division, Lawrence Livermore National Laboratory, Livermore, CA 94551 (United States); McDonnell, J.D. [Physics Division, Lawrence Livermore National Laboratory, Livermore, CA 94551 (United States); Higdon, D. [Los Alamos National Laboratory, Los Alamos, NM 87545 (United States); Sarich, J.; Wild, S. [Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL 60439 (United States)

    2015-01-15

    Reliable predictions of nuclear properties are needed as much to answer fundamental science questions as in applications such as reactor physics or data evaluation. Nuclear density functional theory is currently the only microscopic, global approach to nuclear structure that is applicable throughout the nuclear chart. In the past few years, a lot of effort has been devoted to setting up a general methodology to assess theoretical uncertainties in nuclear DFT calculations. In this paper, we summarize some of the recent progress in this direction. Most of the new material discussed here will be be published in separate articles.

  4. Application of quantification theory in risk assessment of mine flooding

    WANG Lian-guo; MIAO Xie-xing; DONG Xu; WU Yu

    2008-01-01

    Hundreds of mine flooding accidents have occurred in China since the 1950s. These flooding accidents result in sub-merged working faces, even entire coal mines, leading to tremendous economic losses. It is reported that among 601 state-owned mines in China, 285 mines are exposed to water-inrush risks. The water pressure is becoming larger and larger with the increase of mining depth, leading to an increase of water-inrush hazards. Only when the risk of mine flooding is predicted in a reasonable manner, can we take timely and effective measures to prevent mine flooding from taking place. In our investigation quantifica-tion(II) theory is used to study the risk prediction problem about mine flooding. By investigating the main factors which affect mine flooding, eight risk assessment items have been identified. The extent of risk is classified into 4 grades. Given the data from differ-ent periods in the Feicheng mining area, a prediction model for the risk of mine flooding is established. The test analysis indicates a model correlation coefficient of 0.97 and the incidence of discrimination is as high as 97.37%, which implies that the effect of the model is quite satisfactory. With the help of computers, this method can be widely applied.

  5. Quantification of margins and mixed uncertainties using evidence theory and stochastic expansions

    The objective of this paper is to implement Dempster–Shafer Theory of Evidence (DSTE) in the presence of mixed (aleatory and multiple sources of epistemic) uncertainty to the reliability and performance assessment of complex engineering systems through the use of quantification of margins and uncertainties (QMU) methodology. This study focuses on quantifying the simulation uncertainties, both in the design condition and the performance boundaries along with the determination of margins. To address the possibility of multiple sources and intervals for epistemic uncertainty characterization, DSTE is used for uncertainty quantification. An approach to incorporate aleatory uncertainty in Dempster–Shafer structures is presented by discretizing the aleatory variable distributions into sets of intervals. In view of excessive computational costs for large scale applications and repetitive simulations needed for DSTE analysis, a stochastic response surface based on point-collocation non-intrusive polynomial chaos (NIPC) has been implemented as the surrogate for the model response. The technique is demonstrated on a model problem with non-linear analytical functions representing the outputs and performance boundaries of two coupled systems. Finally, the QMU approach is demonstrated on a multi-disciplinary analysis of a high speed civil transport (HSCT). - Highlights: • Quantification of margins and uncertainties (QMU) methodology with evidence theory. • Treatment of both inherent and epistemic uncertainties within evidence theory. • Stochastic expansions for representation of performance metrics and boundaries. • Demonstration of QMU on an analytical problem. • QMU analysis applied to an aerospace system (high speed civil transport)

  6. Fixed point theory in metric type spaces

    Agarwal, Ravi P; O’Regan, Donal; Roldán-López-de-Hierro, Antonio Francisco

    2015-01-01

    Written by a team of leading experts in the field, this volume presents a self-contained account of the theory, techniques and results in metric type spaces (in particular in G-metric spaces); that is, the text approaches this important area of fixed point analysis beginning from the basic ideas of metric space topology. The text is structured so that it leads the reader from preliminaries and historical notes on metric spaces (in particular G-metric spaces) and on mappings, to Banach type contraction theorems in metric type spaces, fixed point theory in partially ordered G-metric spaces, fixed point theory for expansive mappings in metric type spaces, generalizations, present results and techniques in a very general abstract setting and framework. Fixed point theory is one of the major research areas in nonlinear analysis. This is partly due to the fact that in many real world problems fixed point theory is the basic mathematical tool used to establish the existence of solutions to problems which arise natur...

  7. Quantification of fibre type regionalisation : an analysis of lower hindlimb muscles in the rat

    Wang, LC; Kernell, D

    2001-01-01

    Newly developed concepts and methods for the quantification of fibre type regionalisation were used for comparison between all muscles traversing the ankle of the rat lower hindlimb (n = 13). For each muscle, cross-sections from the proximodistal midlevel were stained for myofibrillar ATPase and cla

  8. Explicit Substitutions for Contextual Type Theory

    Abel, Andreas; 10.4204/EPTCS.34.3

    2010-01-01

    In this paper, we present an explicit substitution calculus which distinguishes between ordinary bound variables and meta-variables. Its typing discipline is derived from contextual modal type theory. We first present a dependently typed lambda calculus with explicit substitutions for ordinary variables and explicit meta-substitutions for meta-variables. We then present a weak head normalization procedure which performs both substitutions lazily and in a single pass thereby combining substitution walks for the two different classes of variables. Finally, we describe a bidirectional type checking algorithm which uses weak head normalization and prove soundness.

  9. Uncertainty Quantification for Nuclear Density Functional Theory and Information Content of New Measurements

    McDonnell, J D; Higdon, D; Sarich, J; Wild, S M; Nazarewicz, W

    2015-01-01

    Statistical tools of uncertainty quantification can be used to assess the information content of measured observables with respect to present-day theoretical models; to estimate model errors and thereby improve predictive capability; to extrapolate beyond the regions reached by experiment; and to provide meaningful input to applications and planned measurements. To showcase new opportunities offered by such tools, we make a rigorous analysis of theoretical statistical uncertainties in nuclear density functional theory using Bayesian inference methods. By considering the recent mass measurements from the Canadian Penning Trap at Argonne National Laboratory, we demonstrate how the Bayesian analysis and a direct least-squares optimization, combined with high-performance computing, can be used to assess the information content of the new data with respect to a model based on the Skyrme energy density functional approach. Employing the posterior probability distribution computed with a Gaussian process emulator, w...

  10. Applications of Jungian Type Theory to Counselor Education.

    Dilley, Josiah S.

    1987-01-01

    Describes Carl Jung's theory of psychological type and the Myers-Briggs Type Indicator (MBTI), an instrument to assess Jungian type. Cites sources of information on the research and application of the theory and the MBTI. Explores how knowledge of type theory can be useful to counselor educators. (Author)

  11. Applicability of Information Theory to the Quantification of Responses to Anthropogenic Noise by Southeast Alaskan Humpback Whales

    J. Ellen Blue

    2008-05-01

    Full Text Available We assess the effectiveness of applying information theory to the characterization and quantification of the affects of anthropogenic vessel noise on humpback whale (Megaptera novaeangliae vocal behavior in and around Glacier Bay, Alaska. Vessel noise has the potential to interfere with the complex vocal behavior of these humpback whales which could have direct consequences on their feeding behavior and thus ultimately on their health and reproduction. Humpback whale feeding calls recorded during conditions of high vessel-generated noise and lower levels of background noise are compared for differences in acoustic structure, use, and organization using information theoretic measures. We apply information theory in a self-referential manner (i.e., orders of entropy to quantify the changes in signaling behavior. We then compare this with the reduction in channel capacity due to noise in Glacier Bay itself treating it as a (Gaussian noisy channel. We find that high vessel noise is associated with an increase in the rate and repetitiveness of sequential use of feeding call types in our averaged sample of humpback whale vocalizations, indicating that vessel noise may be modifying the patterns of use of feeding calls by the endangered humpback whales in Southeast Alaska. The information theoretic approach suggested herein can make a reliable quantitative measure of such relationships and may also be adapted for wider application to many species where environmental noise is thought to be a problem.

  12. Multi-level Contextual Type Theory

    Boespflug, Mathieu; 10.4204/EPTCS.71.3

    2011-01-01

    Contextual type theory distinguishes between bound variables and meta-variables to write potentially incomplete terms in the presence of binders. It has found good use as a framework for concise explanations of higher-order unification, characterize holes in proofs, and in developing a foundation for programming with higher-order abstract syntax, as embodied by the programming and reasoning environment Beluga. However, to reason about these applications, we need to introduce meta^2-variables to characterize the dependency on meta-variables and bound variables. In other words, we must go beyond a two-level system granting only bound variables and meta-variables. In this paper we generalize contextual type theory to n levels for arbitrary n, so as to obtain a formal system offering bound variables, meta-variables and so on all the way to meta^n-variables. We obtain a uniform account by collapsing all these different kinds of variables into a single notion of variabe indexed by some level k. We give a decidable ...

  13. Activity Theory as a Theoretical Framework for Health Self-Quantification: A Systematic Review of Empirical Studies

    2016-01-01

    Background Self-quantification (SQ) is a way of working in which, by using tracking tools, people aim to collect, manage, and reflect on personal health data to gain a better understanding of their own body, health behavior, and interaction with the world around them. However, health SQ lacks a formal framework for describing the self-quantifiers’ activities and their contextual components or constructs to pursue these health related goals. Establishing such framework is important because it is the first step to operationalize health SQ fully. This may in turn help to achieve the aims of health professionals and researchers who seek to make or study changes in the self-quantifiers’ health systematically. Objective The aim of this study was to review studies on health SQ in order to answer the following questions: What are the general features of the work and the particular activities that self-quantifiers perform to achieve their health objectives? What constructs of health SQ have been identified in the scientific literature? How have these studies described such constructs? How would it be possible to model these constructs theoretically to characterize the work of health SQ? Methods A systematic review of peer-reviewed literature was conducted. A total of 26 empirical studies were included. The content of these studies was thematically analyzed using Activity Theory as an organizing framework. Results The literature provided varying descriptions of health SQ as data-driven and objective-oriented work mediated by SQ tools. From the literature, we identified two types of SQ work: work on data (ie, data management activities) and work with data (ie, health management activities). Using Activity Theory, these activities could be characterized into 6 constructs: users, tracking tools, health objectives, division of work, community or group setting, and SQ plan and rules. We could not find a reference to any single study that accounted for all these activities and

  14. Uncertainty quantification for nuclear density functional theory and information content of new measurements.

    McDonnell, J D; Schunck, N; Higdon, D; Sarich, J; Wild, S M; Nazarewicz, W

    2015-03-27

    Statistical tools of uncertainty quantification can be used to assess the information content of measured observables with respect to present-day theoretical models, to estimate model errors and thereby improve predictive capability, to extrapolate beyond the regions reached by experiment, and to provide meaningful input to applications and planned measurements. To showcase new opportunities offered by such tools, we make a rigorous analysis of theoretical statistical uncertainties in nuclear density functional theory using Bayesian inference methods. By considering the recent mass measurements from the Canadian Penning Trap at Argonne National Laboratory, we demonstrate how the Bayesian analysis and a direct least-squares optimization, combined with high-performance computing, can be used to assess the information content of the new data with respect to a model based on the Skyrme energy density functional approach. Employing the posterior probability distribution computed with a Gaussian process emulator, we apply the Bayesian framework to propagate theoretical statistical uncertainties in predictions of nuclear masses, two-neutron dripline, and fission barriers. Overall, we find that the new mass measurements do not impose a constraint that is strong enough to lead to significant changes in the model parameters. The example discussed in this study sets the stage for quantifying and maximizing the impact of new measurements with respect to current modeling and guiding future experimental efforts, thus enhancing the experiment-theory cycle in the scientific method. PMID:25860736

  15. Uncertainty quantification for nuclear density functional theory and information content of new measurements

    McDonnell, J. D. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Schunck, N. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Higdon, D. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Sarich, J. [Argonne National Lab. (ANL), Argonne, IL (United States); Wild, S. M. [Argonne National Lab. (ANL), Argonne, IL (United States); Nazarewicz, W. [Michigan State Univ., East Lansing, MI (United States); Oak Ridge National Lab., Oak Ridge, TN (United States); Univ. of Warsaw, Warsaw (Poland)

    2015-03-24

    Statistical tools of uncertainty quantification can be used to assess the information content of measured observables with respect to present-day theoretical models, to estimate model errors and thereby improve predictive capability, to extrapolate beyond the regions reached by experiment, and to provide meaningful input to applications and planned measurements. To showcase new opportunities offered by such tools, we make a rigorous analysis of theoretical statistical uncertainties in nuclear density functional theory using Bayesian inference methods. By considering the recent mass measurements from the Canadian Penning Trap at Argonne National Laboratory, we demonstrate how the Bayesian analysis and a direct least-squares optimization, combined with high-performance computing, can be used to assess the information content of the new data with respect to a model based on the Skyrme energy density functional approach. Employing the posterior probability distribution computed with a Gaussian process emulator, we apply the Bayesian framework to propagate theoretical statistical uncertainties in predictions of nuclear masses, two-neutron dripline, and fission barriers. Overall, we find that the new mass measurements do not impose a constraint that is strong enough to lead to significant changes in the model parameters. As a result, the example discussed in this study sets the stage for quantifying and maximizing the impact of new measurements with respect to current modeling and guiding future experimental efforts, thus enhancing the experiment-theory cycle in the scientific method.

  16. Development of an exchange-correlation functional with uncertainty quantification capabilities for density functional theory

    Aldegunde, Manuel; Kermode, James R.; Zabaras, Nicholas

    2016-04-01

    This paper presents the development of a new exchange-correlation functional from the point of view of machine learning. Using atomization energies of solids and small molecules, we train a linear model for the exchange enhancement factor using a Bayesian approach which allows for the quantification of uncertainties in the predictions. A relevance vector machine is used to automatically select the most relevant terms of the model. We then test this model on atomization energies and also on bulk properties. The average model provides a mean absolute error of only 0.116 eV for the test points of the G2/97 set but a larger 0.314 eV for the test solids. In terms of bulk properties, the prediction for transition metals and monovalent semiconductors has a very low test error. However, as expected, predictions for types of materials not represented in the training set such as ionic solids show much larger errors.

  17. Field theory in Goedel-type spacetimes

    Marecki, Piotr [Institut fuer Theoretische Physik, Universitaet Leipzig, 04009 Leipzig (Germany)

    2008-07-01

    I will discuss mathematical aspects of the massless scalar field in spacetimes of Goedel type. Due to their high symmetry, these spacetimes might provide an arena for the next step of development of concrete models of quantum fields in curved spacetimes, such as these developed already for the de Sitter spacetime. While the motion of the sources of Goedel spacetimes (dust with non-vanishing vorticity) is physically interesting and not too-implausible, a difficulty with causality is encountered: sufficiently large regions of Goedel spacetimes posses CTCs. A complete picture of the classical solutions of the wave equation, which will be presented, sheds some light on the seriousness of this difficulty from the point of view of classical field theory and provides a link to known treatments of quantum fields in simple non-globally hyperbolic spacetimes such as time-like cylinders etc. I present an algebraic construction of the solutions based on the symmetry-generators of Goedel-type spacetimes and a connection to the analysis of unitary irreducible representations of SU(1,1).

  18. Simple Type Theory as Framework for Combining Logics

    Benzmueller, Christoph

    2010-01-01

    Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantified) multimodal logics and intuitionistic logics, can be elegantly embedded in simple type theory. Furthermore, simple type theory is sufficiently expressive to model combinations of embedded logics and it has a well understood semantics. Off-the-shelf reasoning systems for simple type theory exist that can be uniformly employed for reasoning within and about combinations of logics.

  19. Toward a Theory of Psychological Type Congruence for Advertisers.

    McBride, Michael H.; And Others

    Focusing on the impact of advertisers' persuasive selling messages on consumers, this paper discusses topics relating to the theory of psychological type congruence. Based on an examination of persuasion theory and relevant psychological concepts, including recent cognitive stability and personality and needs theory and the older concept of…

  20. On Types of Observables in Constrained Theories

    Anderson, Edward

    2016-01-01

    The Kuchar observables notion is shown to apply only to a limited range of theories. Relational mechanics, slightly inhomogeneous cosmology and supergravity are used as examples that require further notions of observables. A suitably general notion of A-observables is then given to cover all of these cases. `A' here stands for `algebraic substructure'; A-observables can be defined by association with each closed algebraic substructure of a theory's constraints. Both constrained algebraic structures and associated notions of A-observables form bounded lattices.

  1. Numerical domain wall type solutions in φ4 theory

    The well known domain wall type solutions are nowadays of great physical interest in classical field theory. These solutions can mostly be found only approximately. Recently the Hilbert-Chapman-Enskog method was successfully applied to obtain this type solutions in Φ4 theory. The goal of the present paper is to verify these perturbative results by numerical computations. (author)

  2. Development and Assessment of a Multiplex Real-Time PCR Assay for Quantification of Human Immunodeficiency Virus Type 1 DNA▿

    Beloukas, A.; Paraskevis, D.; Haida, C.; Sypsa, V.; Hatzakis, A

    2009-01-01

    Previous studies showed that high levels of human immunodeficiency virus type 1 (HIV-1) DNA are associated with a faster progression to AIDS, an increased risk of death, and a higher risk of HIV RNA rebound in patients on highly active antiretroviral therapy. Our objective was to develop and assess a highly sensitive real-time multiplex PCR assay for the quantification of HIV-1 DNA (RTMP-HIV) based on molecular beacons. HIV-1 DNA quantification was carried out by RTMP in a LightCycler 2.0 app...

  3. Water type quantification in the Skagerrak, the Kattegat and off the Jutland west coast

    Trond Kristiansen

    2015-04-01

    Full Text Available An extensive data series of salinity, nutrients and coloured dissolved organic material (CDOM was collected in the Skagerrak, the northern part of the Kattegat and off the Jutland west coast in April each year during the period 1996–2000, by the Institute of Marine Research in Norway. In this month, after the spring bloom, German Bight Water differs from its surrounding waters by a higher nitrate content and higher nitrate/phosphate and nitrate/silicate ratios. The spreading of this water type into the Skagerrak is of special interest with regard to toxic algal blooms. The quantification of the spatial distributions of the different water types required the development of a new algorithm for the area containing the Norwegian Coastal Current, while an earlier Danish algorithm was applied for the rest of the area. From the upper 50 m a total of 2227 observations of salinity and CDOM content have been used to calculate the mean concentration of water from the German Bight, the North Sea (Atlantic water, the Baltic Sea and Norwegian rivers. The Atlantic Water was the dominant water type, with a mean concentration of 79%, German Bight Water constituted 11%, Baltic Water 8%, and Norwegian River Water 2%. At the surface the mean percentages of these water types were found to be 68%, 15%, 15%, and 3%, respectively. Within the northern part of the Skagerrak, closer to the Norwegian coast, the surface waters were estimated to consist of 74% Atlantic Water, 20% Baltic Water, and 7% Norwegian River Water. The analysis indicates that the content of German Bight Water in this part is less than 5%.

  4. Closed tachyon solitons in type II string theory

    García-Etxebarria, Iñaki; Uranga, Angel M

    2015-01-01

    Type II theories can be described as the endpoint of closed string tachyon condensation in certain orbifolds of supercritical type 0 theories. In this paper, we study solitons of this closed string tachyon and analyze the nature of the resulting defects in critical type II theories. The solitons are classified by the real K-theory groups KO of bundles associated to pairs of supercritical dimensions. For real codimension 4 and 8, corresponding to $KO({\\bf S}^4)={\\bf Z}$ and $KO({\\bf S}^8)={\\bf Z}$, the defects correspond to a gravitational instanton and a fundamental string, respectively. We apply these ideas to reinterpret the worldsheet GLSM, regarded as a supercritical theory on the ambient toric space with closed tachyon condensation onto the CY hypersurface, and use it to describe charged solitons under discrete isometries. We also suggest the possible applications of supercritical strings to the physical interpretation of the matrix factorization description of F-theory on singular spaces.

  5. Evidence theory and differential evolution based uncertainty quantification for buckling load of semi-rigid jointed frames

    Hesheng Tang; Yu Su; Jiao Wang

    2015-08-01

    The paper describes a procedure for the uncertainty quantification (UQ) using evidence theory in buckling analysis of semi-rigid jointed frame structures under mixed epistemic–aleatory uncertainty. The design uncertainties (geometrical, material, strength, and manufacturing) are often prevalent in engineering applications. Due to lack of knowledge or incomplete, inaccurate, unclear information in the modeling, simulation, measurement, and design, there are limitations in using only one framework (probability theory) to quantify uncertainty in a system because of the impreciseness of data or knowledge. Evidence theory provides an alternative to probability theory for the representation of epistemic uncertainty that derives from a lack of knowledge with respect to the appropriate values to use for various inputs to the model. Unfortunately, propagation of an evidence theory representation for uncertainty through a model is more computationally demanding than propagation of a probabilistic representation for uncertainty. In order to alleviate the computational difficulties in the evidence theory based UQ analysis, a differential evolution-based computational strategy for propagation of epistemic uncertainty in a system with evidence theory is presented here. A UQ analysis for the buckling load of steel-plane frames with semi-rigid connections is given herein to demonstrate accuracy and efficiency of the proposed method.

  6. On representation theory of affine Hecke algebras of type B

    Miemietz, Vanessa

    2007-01-01

    Ariki's and Grojnowski's approach to the representation theory of affine Hecke algebras of type $A$ is applied to type $B$ with unequal parameters to obtain -- under certain restrictions on the eigenvalues of the lattice operators -- analogous multiplicity-one results and a classification of irreducibles with partial branching rules as in type $A$.

  7. HPAEC-PAD quantification of Haemophilus influenzae type b polysaccharide in upstream and downstream samples.

    van der Put, Robert M F; de Haan, Alex; van den IJssel, Jan G M; Hamidi, Ahd; Beurret, Michel

    2015-11-27

    Due to the rapidly increasing introduction of Haemophilus influenzae type b (Hib) and other conjugate vaccines worldwide during the last decade, reliable and robust analytical methods are needed for the quantitative monitoring of intermediate samples generated during fermentation (upstream processing, USP) and purification (downstream processing, DSP) of polysaccharide vaccine components. This study describes the quantitative characterization of in-process control (IPC) samples generated during the fermentation and purification of the capsular polysaccharide (CPS), polyribosyl-ribitol-phosphate (PRP), derived from Hib. Reliable quantitative methods are necessary for all stages of production; otherwise accurate process monitoring and validation is not possible. Prior to the availability of high performance anion exchange chromatography methods, this polysaccharide was predominantly quantified either with immunochemical methods, or with the colorimetric orcinol method, which shows interference from fermentation medium components and reagents used during purification. Next to an improved high performance anion exchange chromatography-pulsed amperometric detection (HPAEC-PAD) method, using a modified gradient elution, both the orcinol assay and high performance size exclusion chromatography (HPSEC) analyses were evaluated. For DSP samples, it was found that the correlation between the results obtained by HPAEC-PAD specific quantification of the PRP monomeric repeat unit released by alkaline hydrolysis, and those from the orcinol method was high (R(2)=0.8762), and that it was lower between HPAEC-PAD and HPSEC results. Additionally, HPSEC analysis of USP samples yielded surprisingly comparable results to those obtained by HPAEC-PAD. In the early part of the fermentation, medium components interfered with the different types of analysis, but quantitative HPSEC data could still be obtained, although lacking the specificity of the HPAEC-PAD method. Thus, the HPAEC

  8. Decorated linear order types and the theory of concatenation

    Cacic, V.; Pudlák, P.; Restall, G.; Urquhart, A; de Visser, A.

    2010-01-01

    We study the interpretation of Grzegorczyk’s Theory of Concatenation TC in structures of decorated linear order types satisfying Grzegorczyk’s axioms. We show that TC is incomplete for this interpretation. What is more, the first order theory validated by this interpretation interprets arithmetical truth. We also show that every extension of TC has a model that is not isomorphic to a structure of decorated order types. We provide a positive result, to wit a construction that builds structures...

  9. Quantification of three-dimensional cell-mediated collagen remodeling using graph theory.

    Cemal Cagatay Bilgin

    Full Text Available BACKGROUND: Cell cooperation is a critical event during tissue development. We present the first precise metrics to quantify the interaction between mesenchymal stem cells (MSCs and extra cellular matrix (ECM. In particular, we describe cooperative collagen alignment process with respect to the spatio-temporal organization and function of mesenchymal stem cells in three dimensions. METHODOLOGY/PRINCIPAL FINDINGS: We defined two precise metrics: Collagen Alignment Index and Cell Dissatisfaction Level, for quantitatively tracking type I collagen and fibrillogenesis remodeling by mesenchymal stem cells over time. Computation of these metrics was based on graph theory and vector calculus. The cells and their three dimensional type I collagen microenvironment were modeled by three dimensional cell-graphs and collagen fiber organization was calculated from gradient vectors. With the enhancement of mesenchymal stem cell differentiation, acceleration through different phases was quantitatively demonstrated. The phases were clustered in a statistically significant manner based on collagen organization, with late phases of remodeling by untreated cells clustering strongly with early phases of remodeling by differentiating cells. The experiments were repeated three times to conclude that the metrics could successfully identify critical phases of collagen remodeling that were dependent upon cooperativity within the cell population. CONCLUSIONS/SIGNIFICANCE: Definition of early metrics that are able to predict long-term functionality by linking engineered tissue structure to function is an important step toward optimizing biomaterials for the purposes of regenerative medicine.

  10. Theory confronts experiment in the Casimir force measurements: Quantification of errors and precision

    We compare theory and experiment in the Casimir force measurement between gold surfaces performed with the atomic force microscope. Both random and systematic experimental errors are found leading to a total absolute error equal to 8.5 pN at 95% confidence. In terms of the relative errors, experimental precision of 1.75% is obtained at the shortest separation of 62 nm at 95% confidence level (at 60% confidence the experimental precision of 1% is confirmed at the shortest separation). An independent determination of the accuracies of the theoretical calculations of the Casimir force and its application to the experimental configuration is carefully made. Special attention is paid to the sample-dependent variations of the optical tabulated data due to the presence of grains, contribution of surface plasmons, and errors introduced by the use of the proximity force theorem. Nonmultiplicative and diffraction-type contributions to the surface roughness corrections are examined. The electric forces due to patch potentials resulting from the polycrystalline nature of the gold films are estimated. The finite size and thermal effects are found to be negligible. The theoretical accuracy of about 1.69% and 1.1% are found at a separation 62 nm and 200 nm, respectively. Within the limits of experimental and theoretical errors very good agreement between experiment and theory is confirmed characterized by the root-mean-square deviation of about 3.5 pN within all measurement range. The conclusion is made that the Casimir force is stable relative to variations of the sample-dependent optical and electric properties, which opens new opportunities to use the Casimir effect for diagnostic purposes

  11. Type IIB string theory, S-duality, and generalized cohomology

    Kriz, Igor [Department of Mathematics, University of Michigan, Ann Arbor, MI 48109 (United States)]. E-mail: ikriz@umich.edu; Sati, Hisham [Department of Physics, University of Adelaide, Adelaide, SA 5005 (Australia) and Department of Pure Mathematics, University of Adelaide, Adelaide, SA 5005 (Australia)]. E-mail: hsati@maths.adelaide.edu.au

    2005-05-30

    In the presence of background Neveu-Schwarz flux, the description of the Ramond-Ramond fields of type IIB string theory using twisted K-theory is not compatible with S-duality. We argue that other possible variants of twisted K-theory would still not resolve this issue. We propose instead a connection of S-duality with elliptic cohomology, and a possible T-duality relation of this to a previous proposal for IIA theory, and higher-dimensional limits. In the process, we obtain some other results which may be interesting on their own. In particular, we prove a conjecture of Witten that the 11-dimensional spin cobordism group vanishes on K(Z,6), which eliminates a potential new {theta}-angle in type IIB string theory.

  12. Quantification of poly(I:C)-mediated protection against genital herpes simplex virus type 2 infection.

    Herbst-Kralovetz, Melissa M; Pyles, Richard B

    2006-10-01

    Alternative strategies for controlling the growing herpes simplex virus type 2 (HSV-2) epidemic are needed. A novel class of immunomodulatory microbicides has shown promise as antiherpetics, including intravaginally applied CpG-containing oligodeoxynucleotides that stimulate toll-like receptor 9 (TLR9). In the current study, we quantified protection against experimental genital HSV-2 infection provided by an alternative nucleic acid-based TLR agonist, polyinosine-poly(C) (PIC) (TLR3 agonist). Using a protection quantification paradigm, groups of mice were PIC treated and then subdivided into groups challenged with escalating doses of HSV-2. Using this paradigm, a temporal window of PIC efficacy for single applications was defined as 1 day prior to (prophylactic) through 4 h after (therapeutic) viral challenge. PIC treatment within this window protected against 10-fold-higher HSV-2 challenges, as indicated by increased 50% infectious dose values relative to those for vehicle-treated controls. Disease resolution and survival were significantly enhanced by repetitive PIC doses. Using optimal PIC regimens, cytokine induction was evaluated in murine vaginal lavages and in human vaginal epithelial cells. Similar induction patterns were observed, with kinetics that explained the limited durability of PIC-afforded protection. Daily PIC delivery courses did not generate sustained cytokine levels in murine vaginal fluids that would be indicative of local immunotoxicity. No evidence of immunotoxicity was observed in selected organs that were analyzed following repetitive vaginal PIC doses. Animal and in vitro data indicate that PIC may prove to be a valuable preventative microbicide and/or therapeutic agent against genital herpes by increasing resistance to HSV-2 and enhancing disease resolution following a failure of prevention. PMID:17005677

  13. Calabi-Yau compactification of type II string theories

    Banerjee, Sibasish

    2016-01-01

    Superstring theories are the most promising theories for unified description of all fundamental interactions including gravity. However, these theories are formulated consistently only in 10 spacetime dimensions. Therefore, to connect to the observable world, it is required to compactify 6 out of those 10 dimensions in a suitable fashion. In this thesis, we mainly consider compactifications of type II string theories on Calabi-Yau threefolds. As a consequence, the resulting four dimensional theories preserve $\\mathcal{N}=2$ supersymmetry. In these cases the metrics on the moduli spaces of the matter multiplets, vector and hypermultiplets, completely determine the low energy theories. Whereas the former are very well understood by now, the complete description of hypermultiplets is more complicated. In fact, hypermultiplets receive both perturbative and non-perturbative corrections. The thesis mainly pertains to the understanding of the non-perturbative corrections. Our findings for the hypermultiplets rely on...

  14. Intensional type theory with guarded recursive types qua fixed points on universes

    Møgelberg, Rasmus Ejlers; Birkedal, Lars

    2013-01-01

    points of guarded recursive functions. Guarded recursive types can be formed simply by taking fixed points of guarded recursive functions on the universe of types. Moreover, we present a general model construction for constructing models of the intensional type theory with guarded recursive functions and...... types. When applied to the groupoid model of intensional type theory with the universe of small discrete groupoids, the construction gives a model of guarded recursion for which there is a one-to-one correspondence between fixed points of functions on the universe of types and fixed points of (suitable......Guarded recursive functions and types are useful for giving semantics to advanced programming languages and for higher-order programming with infinite data types, such as streams, e.g., for modeling reactive systems. We propose an extension of intensional type theory with rules for forming fixed...

  15. Rational sphere valued supercocycles in M-theory and type IIA string theory

    Fiorenza, Domenico; Schreiber, Urs

    2016-01-01

    We show that supercocycles on super $L_\\infty$-algebras capture, at the rational level, the twisted cohomological charge structure of the fields of M-theory and of type IIA string theory. We show that rational 4-sphere-valued supercocycles for M-branes in M-theory descend to supercocycles in type IIA string theory to yield the Ramond-Ramond fields predicted by the rational image of twisted K-theory, with the twist given by the B-field. In particular, we derive the M2/M5 $\\leftrightarrow$ F1/Dp/NS5 correspondence via dimensional reduction of sphere-valued $L_\\infty$ supercocycles in rational homotopy theory.

  16. Closed tachyon solitons in type II string theory

    Garcia-Etxebarria, Inaki [Max Planck Institute for Physics, Munich (Germany); Montero, Miguel [Instituto de Fisica Teorica IFT-UAM/CSIC, C/Nicolas Cabrera 13-15, Universidad Autonoma de Madrid (Spain); Departamento de Fisica Teorica, Universidad Autonoma de Madrid (Spain); Uranga, Angel M. [Instituto de Fisica Teorica IFT-UAM/CSIC, C/Nicolas Cabrera 13-15, Universidad Autonoma de Madrid (Spain)

    2015-09-15

    Type II theories can be described as the endpoint of closed string tachyon condensation in certain orbifolds of supercritical type 0 theories. In this paper, we study solitons of this closed string tachyon and analyze the nature of the resulting defects in critical type II theories. The solitons are classified by the real K-theory groups KO of bundles associated to pairs of supercritical dimensions. For real codimension 4 and 8, corresponding to KO(S{sup 4}) = Z and KO(S{sup 8}) = Z, the defects correspond to a gravitational instanton and a fundamental string, respectively. We apply these ideas to reinterpret the worldsheet GLSM, regarded as a supercritical theory on the ambient toric space with closed tachyon condensation onto the CY hypersurface, and use it to describe charged solitons under discrete isometries. We also suggest the possible applications of supercritical strings to the physical interpretation of the matrix factorization description of F-theory on singular spaces. (copyright 2015 WILEY-VCH Verlag GmbH and Co. KGaA, Weinheim)

  17. Closed tachyon solitons in type II string theory

    Type II theories can be described as the endpoint of closed string tachyon condensation in certain orbifolds of supercritical type 0 theories. In this paper, we study solitons of this closed string tachyon and analyze the nature of the resulting defects in critical type II theories. The solitons are classified by the real K-theory groups KO of bundles associated to pairs of supercritical dimensions. For real codimension 4 and 8, corresponding to KO(S4) = Z and KO(S8) = Z, the defects correspond to a gravitational instanton and a fundamental string, respectively. We apply these ideas to reinterpret the worldsheet GLSM, regarded as a supercritical theory on the ambient toric space with closed tachyon condensation onto the CY hypersurface, and use it to describe charged solitons under discrete isometries. We also suggest the possible applications of supercritical strings to the physical interpretation of the matrix factorization description of F-theory on singular spaces. (copyright 2015 WILEY-VCH Verlag GmbH and Co. KGaA, Weinheim)

  18. Type I/heterotic duality and M-theory amplitudes

    Green, Michael B.; Rudra, Arnab

    2016-01-01

    This paper investigates relationships between low-energy four-particle scattering amplitudes with external gauge particles and gravitons in the E_8 X E_8 and SO(32) heterotic string theories and the type I and type IA superstring theories by considering a variety of tree level and one-loop Feynman diagrams describing such amplitudes in eleven-dimensional supergravity in a Horava--Witten background compactified on a circle. This accounts for a number of perturbative and non-perturbative aspect...

  19. Module-based Hybrid Uncertainty Quantification for Multi-physics Applications: Theory and Software

    Tong, Charles [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Chen, Xiao [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Iaccarino, Gianluca [Stanford Univ., CA (United States); Mittal, Akshay [Stanford Univ., CA (United States)

    2013-10-08

    In this project we proposed to develop an innovative uncertainty quantification methodology that captures the best of the two competing approaches in UQ, namely, intrusive and non-intrusive approaches. The idea is to develop the mathematics and the associated computational framework and algorithms to facilitate the use of intrusive or non-intrusive UQ methods in different modules of a multi-physics multi-module simulation model in a way that physics code developers for different modules are shielded (as much as possible) from the chores of accounting for the uncertain ties introduced by the other modules. As the result of our research and development, we have produced a number of publications, conference presentations, and a software product.

  20. Non-critical type 0 string theories and their field theory duals

    In this paper we continue the study of the non-critical type 0 string and its field theory duals. We begin by reviewing some facts and conjectures about these theories. We move on to our proposal for the type 0 effective action in any dimension, its RR fields and their Chern-Simons couplings. We then focus on the case without compact dimensions and study its field theory duals. We show that one can parameterize all dual physical quantities in terms of a finite number of unknown parameters. By making some further assumptions on the tachyon couplings, one can still make some 'model independent' statements

  1. Horava—Lifshitz Type Quantum Field Theory and Hierarchy Problem

    Wei, Chao

    2016-06-01

    We study the Lifshitz type extension of the standard model (SM) at the UV, with dynamical critical exponent z = 3. One loop radiative corrections to the Higgs mass in such a model are calculated. Our result shows that, the Hierarchy problem, which has initiated many excellent extension of the minimal SM, may be weakened in the z = 3 Lifshitz type quantum field theory. Supported by the National Natural Science Foundation of China

  2. Rainich theory for type D aligned Einstein-Maxwell solutions

    Ferrando, Joan Josep; Sáez, Juan Antonio

    2007-01-01

    The original Rainich theory for the non-null Einstein-Maxwell solutions consists of a set of algebraic conditions and the Rainich (differential) equation. We show here that the subclass of type D aligned solutions can be characterized just by algebraic restrictions.

  3. Classical instanton and wormhole solutions of Type IIB string theory

    Kim, Jin Young; Lee, H. W.; Myung, Y. S.

    1996-01-01

    We study $p=-1$ D-brane in type IIB superstring theory. In addition to RR instanton, we obtain the RR charged wormhole solution in the Einstein frame. This corresponds to the ten-dimensional singular wormhole solution with infinite euclidean action.

  4. A Model of PCF in Guarded Type Theory

    Paviotti, Marco; Møgelberg, Rasmus Ejlers; Birkedal, Lars

    2015-01-01

    Guarded recursion is a form of recursion where recursive calls are guarded by delay modalities. Previous work has shown how guarded recursion is useful for constructing logics for reasoning about programming languages with advanced features, as well as for constructing and reasoning about elements...... of coinductive types. In this paper we investigate how type theory with guarded recursion can be used as a metalanguage for denotational semantics useful both for constructing models and for proving properties of these. We do this by constructing a fairly intensional model of PCF and proving it...... computationally adequate. The model construction is related to Escardo's metric model for PCF, but here everything is carried out entirely in type theory with guarded recursion, including the formulation of the operational semantics, the model construction and the proof of adequacy....

  5. A model of PCF in guarded type theory

    Paviotti, Marco; Møgelberg, Rasmus Ejlers; Birkedal, Lars

    2015-01-01

    Guarded recursion is a form of recursion where recursive calls are guarded by delay modalities. Previous work has shown how guarded recursion is useful for constructing logics for reasoning about programming languages with advanced features, as well as for constructing and reasoning about elements...... of coinductive types. In this paper we investigate how type theory with guarded recursion can be used as a metalanguage for denotational semantics useful both for constructing models and for proving properties of these. We do this by constructing a fairly intensional model of PCF and proving it...... computationally adequate. The model construction is related to Escardo's metric model for PCF, but here everything is carried out entirely in type theory with guarded recursion, including the formulation of the operational semantics, the model construction and the proof of adequacy...

  6. A ground many-valued type theory and its extensions

    Běhounek, Libor

    Linz : Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 15-18 [Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz] R&D Projects: GA MŠk ED1.1.00/02.0070 Grant ostatní: GA MŠk EE2.3.30.0010 Institutional support: RVO:67985807 Keywords : type theory * many-valued logic s * higher-order logic * teorie typů * vícehodnotové logiky * logika vyššího řádu Subject RIV: BA - General Mathematics

  7. Inverse Regression-based Uncertainty Quantification Algorithms for High-Dimensional Models: Theory and Practice

    Li, Weixuan; Lin, Guang; Li, Bing

    2016-09-15

    A well-known challenge in uncertainty quantification (UQ) is the "curse of dimensionality". However, many high-dimensional UQ problems are essentially low-dimensional, because the randomness of the quantity of interest (QoI) is caused only by uncertain parameters varying within a low-dimensional subspace, known as the sufficient dimension reduction (SDR) subspace. Motivated by this observation, we propose and demonstrate in this paper an inverse regression-based UQ approach (IRUQ) for high-dimensional problems. Specifically, we use an inverse regression procedure to estimate the SDR subspace and then convert the original problem to a low-dimensional one, which can be efficiently solved by building a response surface model such as a polynomial chaos expansion. The novelty and advantages of the proposed approach is seen in its computational efficiency and practicality. Comparing with Monte Carlo, the traditionally preferred approach for high-dimensional UQ, IRUQ with a comparable cost generally gives much more accurate solutions even for high-dimensional problems, and even when the dimension reduction is not exactly sufficient. Theoretically, IRUQ is proved to converge twice as fast as the approach it uses seeking the SDR subspace. For example, while a sliced inverse regression method converges to the SDR subspace at the rate of $O(n^{-1/2})$, the corresponding IRUQ converges at $O(n^{-1})$. IRUQ also provides several desired conveniences in practice. It is non-intrusive, requiring only a simulator to generate realizations of the QoI, and there is no need to compute the high-dimensional gradient of the QoI. Finally, error bars can be derived for the estimation results reported by IRUQ.

  8. Formation of social types in the theory of Orrin Klapp

    Trifunović Vesna

    2007-01-01

    Full Text Available Theory of Orrin Klapp about social types draws attention to important functions that these types have within certain societies as well as that it is preferable to take them into consideration if our goal is more complete knowledge of that society. For Klapp, social types are important social symbols, which in an interesting way reflect society they are part of and for that reason this author dedicates his work to considering their meanings and social functions. He thinks that we can not understand a society without the knowledge about the types with which its members are identified and which serve them as models in their social activity. Hence, these types have cognitive value since, according to Klapp, they assist in perception and "contain the truth", and therefore the knowledge of them allows easier orientation within the social system. Social types also offer insight into the scheme of the social structure, which is otherwise invisible and hidden, but certainly deserves attention if we wish clearer picture about social relations within specific community. The aim of this work is to present this very interesting and inspirative theory of Orrin Klapp, pointing out its importance but also its weaknesses which should be kept in mind during its application in further research.

  9. Type 1 2HDM as Effective Theory of Supersymmetry

    邵华

    2012-01-01

    It is generally believed that the low energy effective theory of the minimal supersymmetric standard model is the type 2 two Higgs doublet model. We will show that the type 1 two Higge doublet model can also be as the effective of supersymmetry in a specific ease with high scale supersymmetry breaking and gauge mediation. If the other electroweak doublet obtain the vacuum expectation value after the electroweak symmetry breaking, the Higgs spectrum is quite different. A remarkable feature is that the physical Higgs boson mass can be 125 GeV unlike in the ordinary models with high scale supersymmetry in which the Higgs mass is generally around 140 GeV.

  10. Multivariate Bonferroni-type inequalities theory and applications

    Chen, John

    2014-01-01

    Multivariate Bonferroni-Type Inequalities: Theory and Applications presents a systematic account of research discoveries on multivariate Bonferroni-type inequalities published in the past decade. The emergence of new bounding approaches pushes the conventional definitions of optimal inequalities and demands new insights into linear and Fréchet optimality. The book explores these advances in bounding techniques with corresponding innovative applications. It presents the method of linear programming for multivariate bounds, multivariate hybrid bounds, sub-Markovian bounds, and bounds using Hamil

  11. Type 1 2HDM as Effective Theory of Supersymmetry

    It is generally believed that the low energy effective theory of the minimal supersymmetric standard model is the type 2 two Higgs doublet model. We will show that the type 1 two Higgs doublet model can also be as the effective of supersymmetry in a specific case with high scale supersymmetry breaking and gauge mediation. If the other electroweak doublet obtain the vacuum expectation value after the electroweak symmetry breaking, the Higgs spectrum is quite different. A remarkable feature is that the physical Higgs boson mass can be 125 GeV unlike in the ordinary models with high scale supersymmetry in which the Higgs mass is generally around 140 GeV.

  12. Type I/heterotic duality and M-theory amplitudes

    Green, Michael B

    2016-01-01

    This paper investigates relationships between low-energy four-particle scattering amplitudes with external gauge particles and gravitons in the E_8 X E_8 and SO(32) heterotic string theories and the type I and type IA superstring theories by considering a variety of tree level and one-loop Feynman diagrams describing such amplitudes in eleven-dimensional supergravity in a Horava--Witten background compactified on a circle. This accounts for a number of perturbative and non-perturbative aspects of low order higher derivative terms in the low-energy expansion of string theory amplitudes, which are expected to be protected by half maximal supersymmetry from receiving corrections beyond one or two loops. It also suggests the manner in which type I/heterotic duality may be realised for certain higher derivative interactions that are not so obviously protected. For example, our considerations suggest that R**4 interactions (where R is the Riemann curvature) might receive no perturbative corrections beyond one loop ...

  13. Irregular singularities in Liouville theory and Argyres-Douglas type gauge theories, I

    Gaiotto, D. [Institute for Advanced Study (IAS), Princeton, NJ (United States); Teschner, J. [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany)

    2012-03-15

    Motivated by problems arising in the study of N=2 supersymmetric gauge theories we introduce and study irregular singularities in two-dimensional conformal field theory, here Liouville theory. Irregular singularities are associated to representations of the Virasoro algebra in which a subset of the annihilation part of the algebra act diagonally. In this paper we define natural bases for the space of conformal blocks in the presence of irregular singularities, describe how to calculate their series expansions, and how such conformal blocks can be constructed by some delicate limiting procedure from ordinary conformal blocks. This leads us to a proposal for the structure functions appearing in the decomposition of physical correlation functions with irregular singularities into conformal blocks. Taken together, we get a precise prediction for the partition functions of some Argyres-Douglas type theories on S{sup 4}. (orig.)

  14. Uncertainty Propagation and Quantification using Constrained Coupled Adaptive Forward-Inverse Schemes: Theory and Applications

    Ryerson, F. J.; Ezzedine, S. M.; Antoun, T.

    2013-12-01

    equation for the distribution of k is solved, provided that Cauchy data are appropriately assigned. In the next stage, only a limited number of passive measurements are provided. In this case, the forward and inverse PDEs are solved simultaneously. This is accomplished by adding regularization terms and filtering the pressure gradients in the inverse problem. Both the forward and the inverse problem are either simultaneously or sequentially coupled and solved using implicit schemes, adaptive mesh refinement, Galerkin finite elements. The final case arises when P, k, and Q data only exist at producing wells. This exceedingly ill posed problem calls for additional constraints on the forward-inverse coupling to insure that the production rates are satisfied at the desired locations. Results from all three cases are presented demonstrating stability and accuracy of the proposed approach and, more importantly, providing some insights into the consequences of data under sampling, uncertainty propagation and quantification. We illustrate the advantages of this novel approach over the common UQ forward drivers on several subsurface energy problems in either porous or fractured or/and faulted reservoirs. This work performed under the auspices of the U.S. Department of Energy by Lawrence Livermore National Laboratory under Contract DE-AC52-07NA27344.

  15. Uncertainty quantification for proton-proton fusion in chiral effective field theory

    Acharya, B.; Carlsson, B. D.; Ekström, A.; Forssén, C.; Platter, L.

    2016-09-01

    We compute the S-factor of the proton-proton (pp) fusion reaction using chiral effective field theory (χEFT) up to next-to-next-to-leading order (NNLO) and perform a rigorous uncertainty analysis of the results. We quantify the uncertainties due to (i) the computational method used to compute the pp cross section in momentum space, (ii) the statistical uncertainties in the low-energy coupling constants of χEFT, (iii) the systematic uncertainty due to the χEFT cutoff, and (iv) systematic variations in the database used to calibrate the nucleon-nucleon interaction. We also examine the robustness of the polynomial extrapolation procedure, which is commonly used to extract the threshold S-factor and its energy-derivatives. By performing a statistical analysis of the polynomial fit of the energy-dependent S-factor at several different energy intervals, we eliminate a systematic uncertainty that can arise from the choice of the fit interval in our calculations. In addition, we explore the statistical correlations between the S-factor and few-nucleon observables such as the binding energies and point-proton radii of 2,3H and 3He as well as the D-state probability and quadrupole moment of 2H, and the β-decay of 3H. We find that, with the state-of-the-art optimization of the nuclear Hamiltonian, the statistical uncertainty in the threshold S-factor cannot be reduced beyond 0.7%.

  16. Uncertainty quantification for proton-proton fusion in chiral effective field theory

    Acharya, B; Ekström, A; Forssén, C; Platter, L

    2016-01-01

    We compute the $S$-factor of the proton-proton ($pp$) fusion reaction using chiral effective field theory ($\\chi$EFT) up to next-to-next-to-leading order (NNLO) and perform a rigorous uncertainty analysis of the results. We quantify the uncertainties due to (i) the computational method used to compute the $pp$ cross section in momentum space, (ii) the statistical uncertainties in the low-energy coupling constants of $\\chi$EFT, (iii) the systematic uncertainty due to the $\\chi$EFT cutoff, and (iv) systematic variations in the database used to calibrate the nucleon-nucleon interaction. We also examine the robustness of the polynomial extrapolation procedure, which is commonly used to extract the threshold $S$-factor and its energy-derivatives. By performing a statistical analysis of the polynomial fit of the energy-dependent $S$-factor at several different energy intervals, we eliminate a systematic uncertainty that can arise from the choice of the fit interval in our calculations. In addition, we explore the s...

  17. A graphical representation of Weisskopf-Wigner type theories

    It is shown that the usual (non-existing) Hamiltonian operator H' governing the interaction of a one-electron atom with transverse photons, can be written as the sum of a finite number of self-adjoint and bounded 'partial' interaction Hamiltonians L, where each L has a well defined physical meaning. The simplest of the Weisskopf-Wigner type theories are defined by a single L and practically all model Hamiltonians used in quantum optics are closely related either to a single L or to sums of very few L. The systematic 'Weisskopf-Wigner approximation scheme' introduced previously consists of special sequences of partial sums of L. The system of partial sums of L are here equipped with a system of graphs where each graph defines uniquely a certain Weisskopf-Wigner theory and visualises its physical content in a comparable way to a Feynman graph. Finally some applications are given. (author)

  18. Quantification of regional V/Q ratios in humans by use of PET. I. Theory.

    Rhodes, C G; Valind, S O; Brudin, L H; Wollmer, P E; Jones, T; Hughes, J M

    1989-04-01

    With positron emission tomography, quantitative measurements of regional alveolar and mixed venous concentrations of positron-emitting radioisotopes can be made within a transaxial section through the thorax. This allows the calculation of regional ventilation-to-perfusion (V/Q) ratios by use of established tracer dilution theory and the constant intravenous infusion of 13N. This paper considers the effect of the inspiration of dead-space gas on regional V/Q and investigates the relationship between the measured V/Q, physiological V/Q, and V/Q defined conventionally in terms of bulk gas flow (VA/Q). Ventilation has been described in terms of net gas transport, and the term effective ventilation has been introduced. A simple two-compartment model has been constructed to allow for the reinspiration of regional (or personal) and common dead-space gas. By use of this model, with parameters representative of normal lung the effective V/Q ratio for 13N [(VA/Q)eff(13N)] is shown to overestimate VA/Q by 18% when VA/Q = 0.1 but underestimate VA/Q by 68% when VA/Q = 10. For physiological gases, the model predicts that the behavior of O2 should be similar to that of 13N, so that, in terms of gas transport, V/Q ratios obtained using the infusion of 13N closely follow those for O2. Values of the effective V/Q ratio for CO2 [(VA/Q)eff(CO2)] lie approximately halfway between (VA/Q)eff(13N) and VA/Q. These results indicate that dead-space ventilation is far less a confounding issue when V/Q is considered in terms of net gas transport (VAeff), rather than bulk flow (VA).(ABSTRACT TRUNCATED AT 250 WORDS) PMID:2786522

  19. Type II Superstring Field Theory: Geometric Approach and Operadic Description

    Jurco, Branislav

    2013-01-01

    We outline the construction of type II superstring field theory leading to a geometric and algebraic BV master equation, analogous to Zwiebach's construction for the bosonic string. The construction uses the small Hilbert space. Elementary vertices of the non-polynomial action are described with the help of a properly formulated minimal area problem. They give rise to an infinite tower of superstring field products defining a $\\mathcal{N}=1$ generalization of a loop homotopy Lie algebra, the genus zero part generalizing a homotopy Lie algebra. Finally, we give an operadic interpretation of the construction.

  20. Type II superstring field theory: geometric approach and operadic description

    Jurčo, Branislav; Münster, Korbinian

    2013-04-01

    We outline the construction of type II superstring field theory leading to a geometric and algebraic BV master equation, analogous to Zwiebach's construction for the bosonic string. The construction uses the small Hilbert space. Elementary vertices of the non-polynomial action are described with the help of a properly formulated minimal area problem. They give rise to an infinite tower of superstring field products defining a {N} = 1 generalization of a loop homotopy Lie algebra, the genus zero part generalizing a homotopy Lie algebra. Finally, we give an operadic interpretation of the construction.

  1. Aspects of moduli stabilization in type IIB string theory

    Shaaban Khalil; Ahmad Moursy; Ali Nassar

    2015-01-01

    We review moduli stabilization in type IIB string theory compactification with fluxes. We focus on KKLT and Large Volume Scenario (LVS). We show that the predicted soft SUSY breaking terms in KKLT model are not phenomenological viable. In LVS, the following result for scalar mass, gaugino mass, and trilinear term is obtained: m0=m1/2=-A0=m3/2 , which may account for Higgs mass limit if m3/2~O(1.5)  TeV. However, in this case, the relic abundance of the lightest neutralino cannot be consistent...

  2. Classical Bianchi Type I Cosmology in K-Essence Theory

    2014-01-01

    We use one of the simplest forms of the K-essence theory and we apply it to the classical anisotropic Bianchi type I cosmological model, with a barotropic perfect fluid ( p=γρ ) modeling the usual matter content and with cosmological constant Λ . Classical exact solutions for any γ≠1 and Λ=0 are found in closed form, whereas solutions for Λ≠0 are found for particular values in the barotropic parameter. We present the possible isotropization of the cosmological model Bianchi I using the ratio ...

  3. Church-style type theories over finitary weakly implicative logics

    Běhounek, Libor

    Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 131-133 [LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna] R&D Projects: GA MŠk ED1.1.00/02.0070 Grant ostatní: GA MŠk EE2.3.30.0010 Institutional support: RVO:67985807 Keywords : type theory * higher-order logic * weakly implicative logics * teorie typů * logika vyššího řádu * slabě implikační logiky Subject RIV: BA - General Mathematics

  4. String scattering from D-branes in type 0 theories

    We derive fully covariant expressions for all two-point scattering amplitudes involving a closed string tachyon and massless strings from the Dirichlet brane in type 0 theories. The amplitude for two massless D-brane fluctuations to produce a closed string tachyon is also evaluated. We then examine in detail these string scattering amplitudes in order to extract world-volume couplings of the tachyon with itself and with massless fields on a D-brane. We find that the tachyon appears as an overall coupling function in the Born-Infeld action and conjecture the form of the function

  5. Radiochemical Separation and Quantification of Tritium in Metallic Radwastes Generated from CANDU Type NPP - 13279

    Ahn, H.J.; Choi, K.C.; Choi, K.S.; Park, T.H.; Park, Y.J.; Song, K. [Korea Atomic Energy Research Institute, P.O. Box 105, Yuseong, Daejeon, 305-330 (Korea, Republic of)

    2013-07-01

    As a destructive quantification method of {sup 3}H in low and intermediate level radwastes, bomb oxidation, sample oxidation, and wet oxidation methods have been introduced. These methods have some merits and demerits in the radiochemical separation of {sup 3}H radionuclides. That is, since the bomb oxidation and sample oxidation methods are techniques using heating at high temperature, the separation methods of the radionuclides are relatively simple. However, since {sup 3}H radionuclide has a property of being diffused deeply into the inside of metals, {sup 3}H which is distributed on the surface of the metals can only be extracted if the methods are applied. As an another separation method, the wet oxidation method makes {sup 3}H oxidized with an acidic solution, and extracted completely to an oxidized HTO compound. However, incomplete oxidized {sup 3}H compounds, which are produced by reactions of acidic solutions and metallic radwastes, can be released into the air. Thus, in this study, a wet oxidation method to extract and quantify the {sup 3}H radionuclide from metallic radwastes was established. In particular, a complete extraction method and complete oxidation method of incomplete chemical compounds of {sup 3}H using a Pt catalyst were studied. The radioactivity of {sup 3}H in metallic radwastes is extracted and measured using a wet oxidation method and liquid scintillation counter. Considering the surface dose rate of the sample, the appropriate size of the sample was determined and weighed, and a mixture of oxidants was added to a 200 ml round flask with 3 tubes. The flask was quickly connected to the distilling apparatus. 20 mL of 16 wt% H{sub 2}SO{sub 4} was given into the 200-ml round flask through a dropping funnel while under stirring and refluxing. After dropping, the temperature of the mixture was raised to 96 deg. C and the sample was leached and oxidized by refluxing for 3 hours. At that time, the incomplete oxidized {sup 3}H compounds were

  6. Development of Primer-Probe Energy Transfer real-time PCR for the detection and quantification of porcine circovirus type 2

    Balint, Adam; Tenk, Miklós; Deim, Zoltán;

    2009-01-01

    A real-time PCR assay, based on Primer-Probe Energy Transfer (PriProET), was developed to improve the detection and quantification of porcine circovirus type 2 (PVC2). PCV2 is recognised as the essential infectious agent in post-weaning multisystemic wasting syndrome (PMWS) and has been associated...

  7. In situ fluid typing and quantification with 1D and 2D NMR logging.

    Sun, Boqin

    2007-05-01

    In situ nuclear magnetic resonance (NMR) fluid typing has recently gained momentum due to data acquisition and inversion algorithm enhancement of NMR logging tools. T(2) distributions derived from NMR logging contain information on bulk fluids and pore size distributions. However, the accuracy of fluid typing is greatly overshadowed by the overlap between T(2) peaks arising from different fluids with similar apparent T(2) relaxation times. Nevertheless, the shapes of T(2) distributions from different fluid components are often different and can be predetermined. Inversion with predetermined T(2) distributions allows us to perform fluid component decomposition to yield individual fluid volume ratios. Another effective method for in situ fluid typing is two-dimensional (2D) NMR logging, which results in proton population distribution as a function of T(2) relaxation time and fluid diffusion coefficient (or T(1) relaxation time). Since diffusion coefficients (or T(1) relaxation time) for different fluid components can be very different, it is relatively easy to separate oil (especially heavy oil) from water signal in a 2D NMR map and to perform accurate fluid typing. Combining NMR logging with resistivity and/or neutron/density logs provides a third method for in situ fluid typing. We shall describe these techniques with field examples. PMID:17466778

  8. Quantification and monosaccharide composition of hemicelluloses from different plant functional types.

    Schädel, Christina; Blöchl, Andreas; Richter, Andreas; Hoch, Günter

    2010-01-01

    Hemicelluloses are the second most abundant polysaccharide in nature after cellulose. So far, the chemical heterogeneity of cell-wall hemicelluloses and the relatively large sample-volume required in existing methods represent major obstacles for large-scale, cross-species analyses of this important plant compound. Here, we apply a new micro-extraction method to analyse hemicelluloses and the ratio of 'cellulose and lignin' to hemicelluloses in different tissues of 28 plant species comprising four plant functional types (broad-leaved trees, conifers, grasses and herbs). For this study, the fiber analysis after Van Soest was modified to enable the simultaneous quantitative and qualitative measurements of hemicelluloses in small sample volumes. Total hemicellulose concentrations differed markedly among functional types and tissues with highest concentration in sapwood of broad-leaved trees (31% d.m. in Fraxinus excelsior) and lowest concentration between 10 and 15% d.m. in leaves and bark of woody species as well as in roots of herbs. As for total hemicellulose concentrations, plant functional types and tissues exhibited characteristic ratios between the sum of cellulose plus lignin and hemicelluloses, with very high ratios (>4) in bark of trees and low ratios (plant functional types which exhibited characteristic hemicellulose concentrations and monosaccharide patterns. PMID:19926487

  9. Type II fuzzy systems for amyloid plaque segmentation in transgenic mouse brains for Alzheimer's disease quantification

    Khademi, April; Hosseinzadeh, Danoush

    2014-03-01

    Alzheimer's disease (AD) is the most common form of dementia in the elderly characterized by extracellular deposition of amyloid plaques (AP). Using animal models, AP loads have been manually measured from histological specimens to understand disease etiology, as well as response to treatment. Due to the manual nature of these approaches, obtaining the AP load is labourious, subjective and error prone. Automated algorithms can be designed to alleviate these challenges by objectively segmenting AP. In this paper, we focus on the development of a novel algorithm for AP segmentation based on robust preprocessing and a Type II fuzzy system. Type II fuzzy systems are much more advantageous over the traditional Type I fuzzy systems, since ambiguity in the membership function may be modeled and exploited to generate excellent segmentation results. The ambiguity in the membership function is defined as an adaptively changing parameter that is tuned based on the local contrast characteristics of the image. Using transgenic mouse brains with AP ground truth, validation studies were carried out showing a high degree of overlap and low degree of oversegmentation (0.8233 and 0.0917, respectively). The results highlight that such a framework is able to handle plaques of various types (diffuse, punctate), plaques with varying Aβ concentrations as well as intensity variation caused by treatment effects or staining variability.

  10. Aspects of Moduli Stabilization in Type IIB String Theory

    Shaaban Khalil

    2016-01-01

    Full Text Available We review moduli stabilization in type IIB string theory compactification with fluxes. We focus on KKLT and Large Volume Scenario (LVS. We show that the predicted soft SUSY breaking terms in KKLT model are not phenomenological viable. In LVS, the following result for scalar mass, gaugino mass, and trilinear term is obtained: m0=m1/2=-A0=m3/2, which may account for Higgs mass limit if m3/2~O(1.5 TeV. However, in this case, the relic abundance of the lightest neutralino cannot be consistent with the measured limits. We also study the cosmological consequences of moduli stabilization in both models. In particular, the associated inflation models such as racetrack inflation and Kähler inflation are analyzed. Finally, the problem of moduli destabilization and the effect of string moduli backreaction on the inflation models are discussed.

  11. Type I non-abelian superconductors in supersymmetric gauge theories

    Non-BPS non-Abelian vortices with CP1 internal moduli space are studied in an N = 2 supersymmetric U(1) x SU(2) gauge theory with adjoint mass terms. For generic internal orientations the classical force between two vortices can be attractive or repulsive. On the other hand, the mass of the scalars in the theory is always less than that of the vector bosons; also, the force between two vortices with the same CP1 orientation is always attractive: for these reasons we interpret our model as a non-Abelian generalization of type I superconductors. We compute the effective potential in the limit of two well separated vortices. It is a function of the distance and of the relative colour-flavour orientation of the two vortices; in this limit we find an effective description in terms of two interacting CP1 sigma models. In the limit of two coincident vortices we find two different solutions with the same topological winding and, for generic values of the parameters, different tensions. One of the two solutions is described by a CP1 effective sigma model, while the other is just an Abelian vortex without internal degrees of freedom. For generic values of the parameters, one of the two solutions is metastable, while there are evidences that the other one is truly stable

  12. Quantification of Poly(I:C)-Mediated Protection against Genital Herpes Simplex Virus Type 2 Infection

    Herbst-Kralovetz, Melissa M.; Pyles, Richard B.

    2006-01-01

    Alternative strategies for controlling the growing herpes simplex virus type 2 (HSV-2) epidemic are needed. A novel class of immunomodulatory microbicides has shown promise as antiherpetics, including intravaginally applied CpG-containing oligodeoxynucleotides that stimulate toll-like receptor 9 (TLR9). In the current study, we quantified protection against experimental genital HSV-2 infection provided by an alternative nucleic acid-based TLR agonist, polyinosine-poly(C) (PIC) (TLR3 agonist)....

  13. Quantification and odor contribution of 2-furanmethanethiol in different types of fermented soybean paste miso.

    Ohata, Motoko; Tominaga, Takatoshi; Dubourdieu, Denis; Kubota, Kikue; Sugawara, Etsuko

    2009-03-25

    2-Furanmethanethiol, a compound contained in many kinds of food, was identified for the first time in five types of miso fermented soybean paste (red salty rice miso, thin-colored salty rice miso, weak salty rice miso, barley miso, and soy miso) by specific extraction of volatile thiols using p-hydroxymercuribenzoate. In the triangle test with red salty rice miso, which included a higher concentration of 2-furanmethanethiol, and thin-colored salty rice miso, which included a lower concentration of 2-furanmethanethiol, it was shown that the aroma of thin-colored salty rice miso was similar to that of red salty rice miso by adding 2-furanmethanethiol into thin-colored salty rice miso. In addition, a quantitative descriptive analysis (QDA) clearly shows that 2-furanmethanethiol contributed to the intensity of three odor qualities "thick, complex", "sweet", and "pleasant aroma like coffee beans" in six odor qualities and was a very important component of miso aroma. PMID:19231859

  14. Comparison between magnetic force microscopy and electron back-scatter diffraction for ferrite quantification in type 321 stainless steel

    Several analytical techniques that are currently available can be used to determine the spatial distribution and amount of austenite, ferrite and precipitate phases in steels. The application of magnetic force microscopy, in particular, to study the local microstructure of stainless steels is beneficial due to the selectivity of this technique for detection of ferromagnetic phases. In the comparison of Magnetic Force Microscopy and Electron Back-Scatter Diffraction for the morphological mapping and quantification of ferrite, the degree of sub-surface measurement has been found to be critical. Through the use of surface shielding, it has been possible to show that Magnetic Force Microscopy has a measurement depth of 105–140 nm. A comparison of the two techniques together with the depth of measurement capabilities are discussed. - Highlights: • MFM used to map distribution and quantify ferrite in type 321 stainless steels. • MFM results compared with EBSD for same region, showing good spatial correlation. • MFM gives higher area fraction of ferrite than EBSD due to sub-surface measurement. • From controlled experiments MFM depth sensitivity measured from 105 to 140 nm. • A correction factor to calculate area fraction from MFM data is estimated

  15. In vivo quantification of brain injury in adult Niemann-Pick Disease Type C.

    Zaaraoui, Wafaa; Crespy, Lydie; Rico, Audrey; Faivre, Anthony; Soulier, Elisabeth; Confort-Gouny, Sylviane; Cozzone, Patrick J; Pelletier, Jean; Ranjeva, Jean-Philippe; Kaphan, Elsa; Audoin, Bertrand

    2011-06-01

    Development of surrogate markers is necessary to assess the potential efficacy of new therapeutics in Niemann-Pick Disease Type C (NP-C). In the present study, magnetization transfer ratio (MTR) imaging, a quantitative MRI imaging technique sensitive to subtle brain microstructural changes, was applied in two patients suffering from adult NP-C. Statistical mapping analysis was performed to compare each patient's MTR maps with those of a group of 34 healthy controls to quantify and localize the extent of brain injury of each patient. Using this method, pathological changes were evidenced in the cerebellum, the thalami and the lenticular nuclei in both patients and also in the fronto-temporal cortices in the patient with the worse functional deficit. In addition, white matter changes were located in the midbrain, the cerebellum and the fronto-temporal lobes in the patient with the higher level of disability and in only one limited periventricular white matter region in the other patient. A 6-month follow-up was performed in the patient with the lower functional deficit and evidenced significant extension of grey matter (GM) and white matter (WM) injuries during the following period (14% of increased injury for GM and 53% for WM). This study demonstrates that significant brain injury related to clinical deficit can be assessed in vivo in adult NP-C using MTR imaging. Although preliminary, these findings suggest that MTR imaging may be a relevant candidate for the development of biomarker in NP-C. PMID:21397539

  16. Quantification of the host response proteome after herpes simplex virus type 1 infection.

    Berard, Alicia R; Coombs, Kevin M; Severini, Alberto

    2015-05-01

    Viruses employ numerous host cell metabolic functions to propagate and manage to evade the host immune system. For herpes simplex virus type 1 (HSV1), a virus that has evolved to efficiently infect humans without seriously harming the host in most cases, the virus-host interaction is specifically interesting. This interaction can be best characterized by studying the proteomic changes that occur in the host during infection. Previous studies have been successful at identifying numerous host proteins that play important roles in HSV infection; however, there is still much that we do not know. This study identifies host metabolic functions and proteins that play roles in HSV infection, using global quantitative stable isotope labeling by amino acids in cell culture (SILAC) proteomic profiling of the host cell combined with LC-MS/MS. We showed differential proteins during early, mid and late infection, using both cytosolic and nuclear fractions. We identified hundreds of differentially regulated proteins involved in fundamental cellular functions, including gene expression, DNA replication, inflammatory response, cell movement, cell death, and RNA post-transcriptional modification. Novel differentially regulated proteins in HSV infections include some previously identified in other virus systems, as well as fusion protein, involved in malignant liposarcoma (FUS) and hypoxia up-regulated 1 protein precursor (HYOU1), which have not been identified previously in any virus infection. PMID:25815715

  17. Type IIA flux compactifications. Vacua, effective theories and cosmological challenges

    In this thesis, we studied a number of type IIA SU(3)-structure compactifications with 06-planes on nilmanifolds and cosets, which are tractable enough to allow for an explicit derivation of the low energy effective theory. In particular we calculated the mass spectrum of the light scalar modes, using N = 1 supergravity techniques. For the torus and the Iwasawa solution, we have also performed an explicit Kaluza-Klein reduction, which led to the same result. For the nilmanifold examples we have found that there are always three unstabilized moduli corresponding to axions in the RR sector. On the other hand, in the coset models, except for SU(2) x SU(2), all moduli are stabilized. We discussed the Kaluza-Klein decoupling for the supersymmetric AdS vacua and found that it requires going to the Nearly-Calabi Yau limited. We searched for non-trivial de Sitter minima in the original flux potential away from the AdS vacuum. Finally, in chapter 7, we focused on a family of three coset spaces and constructed non-supersymmetric vacua on them. (orig.)

  18. Type IIA flux compactifications. Vacua, effective theories and cosmological challenges

    Koers, Simon

    2009-07-30

    In this thesis, we studied a number of type IIA SU(3)-structure compactifications with 06-planes on nilmanifolds and cosets, which are tractable enough to allow for an explicit derivation of the low energy effective theory. In particular we calculated the mass spectrum of the light scalar modes, using N = 1 supergravity techniques. For the torus and the Iwasawa solution, we have also performed an explicit Kaluza-Klein reduction, which led to the same result. For the nilmanifold examples we have found that there are always three unstabilized moduli corresponding to axions in the RR sector. On the other hand, in the coset models, except for SU(2) x SU(2), all moduli are stabilized. We discussed the Kaluza-Klein decoupling for the supersymmetric AdS vacua and found that it requires going to the Nearly-Calabi Yau limited. We searched for non-trivial de Sitter minima in the original flux potential away from the AdS vacuum. Finally, in chapter 7, we focused on a family of three coset spaces and constructed non-supersymmetric vacua on them. (orig.)

  19. Three Types of Cooling Superfluid Neutron Stars Theory and Observations

    Kaminker, A D; Gnedin, O Y

    2002-01-01

    Cooling of neutron stars (NSs) with the cores composed of neutrons, protons, and electrons is simulated assuming $^1$S$_0$ pairing of neutrons in the NS crust, and also $^1$S$_0$ pairing of protons and weak $^3$P$_2$ pairing of neutrons in the NS core, and using realistic density profiles of the superfluid critical temperatures $T_{\\rm c}(\\rho)$. The theoretical cooling models of isolated middle-aged NSs can be divided into three main types. (I) {\\it Low-mass}, {\\it slowly cooling} NSs where the direct Urca process of neutrino emission is either forbidden or almost fully suppressed by the proton superfluidity. (II) {\\it Medium-mass} NSs which show {\\it moderate} cooling via the direct Urca process suppressed by the proton superfluidity. (III) {\\it Massive} NSs which show {\\it fast} cooling via the direct Urca process weakly suppressed by superfluidity. Confronting the theory with observations we treat RX J0822--43, PSR 1055--52 and RX J1856--3754 as slowly cooling NSs. To explain these sufficiently warm sourc...

  20. Type-Token Dichotomy in the Identity Theory of Mind

    Nath, Dr. Shanjendu

    2014-01-01

    Identity theory of mind occupies an important place in the history of philosophy of mind. According to his theory mental events are nothing but physical events in the brain. This theory came into existence as a reaction of behaviourism and developed by U. T. Place, J. J. C. Smart, H. Feigl and others. But there is a debate among the profounder of the theory and this is- whether it is said about concrete particulars, (e.g., individual instances of occurring in particular subject at particular ...

  1. Rotational Invariance in the M(atrix) Formulation of Type IIB Theory

    Sethi, S K; Sethi, Savdeep; Susskind, Leonard

    1997-01-01

    The matrix model formulation of M-theory can be generalized by compactification to ten-dimensional type II string theory, formulated in the infinite momentum frame. Both the type IIA and IIB string theories can be formulated in this way. In the M-theory and type IIA cases, the transverse rotational invariance is manifest, but in the IIB case, one of the transverse dimensions materializes in a completely different way from the other seven. The full O(8) rotational symmetry then follows in a surprising way from the electric-magnetic duality of supersymmetric Yang-Mills field theory.

  2. Development and validation of an enzyme-linked immunosorbent assay for the quantification of a specific MMP-9 mediated degradation fragment of type III collagen--A novel biomarker of atherosclerotic plaque remodeling

    Barascuk, Natasha; Vassiliadis, Efstathios; Larsen, Lise;

    2011-01-01

    Degradation of collagen in the arterial wall by matrix metalloproteinases is the hallmark of atherosclerosis. We have developed an ELISA for the quantification of type III collagen degradation mediated by MMP-9 in urine....

  3. Krichever-Novikov type algebras theory and applications

    Schlichenmaier, Martin

    2014-01-01

    Krichever and Novikov introduced certain classes of infinite dimensionalLie algebrasto extend the Virasoro algebra and its related algebras to Riemann surfaces of higher genus. The author of this book generalized and extended them toa more general setting needed by the applications. Examples of applications are Conformal Field Theory, Wess-Zumino-Novikov-Witten models, moduli space problems, integrable systems, Lax operator algebras, and deformation theory of Lie algebra. Furthermore they constitute an important class of infinite dimensional Lie algebras which due to their geometric origin are

  4. Initial layer theory and model equations of Volterra type

    It is demonstrated here that there exist initial layers to singularly perturbed Volterra equations whose thicknesses are not of order of magnitude of 0(ε), ε → 0. It is also shown that the initial layer theory is extremely useful because it allows one to construct the approximate solution to an equation, which is almost identical to the exact solution. (author)

  5. A phenomenological Landauer-type theory on colossal magnetoresistance

    Ding, M.; Tian, G.-S.; Lin, T.-H.

    1996-12-01

    A two-dimensional interacting magnetic domains model is examined to explain the colossal magnetoresistance (CMR) recently observed in manganese-oxides. Electrons transport properties were studied by using Landauer's multichannel transport theory and recursive Green's function technique. Colossal magnetoresistance shows up in this system. The temperature dependence of system's MR is also studied.

  6. Quantification of genetically modified soybeans using a combination of a capillary-type real-time PCR system and a plasmid reference standard.

    Toyota, Akie; Akiyama, Hiroshi; Sugimura, Mitsunori; Watanabe, Takahiro; Kikuchi, Hiroyuki; Kanamori, Hisayuki; Hino, Akihiro; Esaka, Muneharu; Maitani, Tamio

    2006-04-01

    Because the labeling of grains and feed- and foodstuffs is mandatory if the genetically modified organism (GMO) content exceeds a certain level of approved genetically modified varieties in many countries, there is a need for a rapid and useful method of GMO quantification in food samples. In this study, a rapid detection system was developed for Roundup Ready Soybean (RRS) quantification using a combination of a capillary-type real-time PCR system, a LightCycler real-time PCR system, and plasmid DNA as the reference standard. In addition, we showed for the first time that the plasmid and genomic DNA should be similar in the established detection system because the PCR efficiencies of using plasmid DNA and using genomic DNA were not significantly different. The conversion factor (Cf) to calculate RRS content (%) was further determined from the average value analyzed in three laboratories. The accuracy and reproducibility of this system for RRS quantification at a level of 5.0% were within a range from 4.46 to 5.07% for RRS content and within a range from 2.0% to 7.0% for the relative standard deviation (RSD) value, respectively. This system rapidly monitored the labeling system and had allowable levels of accuracy and precision. PMID:16636447

  7. MASLOV-TYPE INDEX THEORY FOR SYMPLECTIC PATHS AND SPECTRAL FLOW(Ⅱ)

    2000-01-01

    Based on the spectral flow and the stratification structures of the symplectic group Sp(2n, C),the Maslov-type index theory and its generalization, the w-index theory parameterized by all w on the unit circle, for arbitrary paths in Sp(2n, C) are established. Then the Bott-type iteration formula of the Maslov-type indices for iterated paths in Sp(2n, C) is proved, and the mean index for any path in Sp(2n, C) is defined. Also, the relation among various Maslov-type index theories is studied.

  8. Conformal field theory and functions of hypergeometric type

    Conformal field theory provides a universal description of various phenomena in natural sciences. Its development, swift and successful, belongs to the major highlights of theoretical physics of the late XX century. In contrast, advances of the theory of hypergeometric functions always assumed a slower pace throughout the centuries of its existence. Functional identities studied by this mathematical discipline are fascinating both in their complexity and beauty. This thesis investigates the interrelation of two subjects through a direct analysis of three CFT problems: two-point functions of the 2d strange metal CFT, three-point functions of primaries of the non-rational Toda CFT and kinematical parts of Mellin amplitudes for scalar four-point functions in general dimensions. We flash out various generalizations of hypergeometric functions as a natural mathematical language for two of these problems. Several new methods inspired by extensions of classical results on hypergeometric functions, are presented.

  9. Conformal field theory and functions of hypergeometric type

    Isachenkov, Mikhail

    2016-03-15

    Conformal field theory provides a universal description of various phenomena in natural sciences. Its development, swift and successful, belongs to the major highlights of theoretical physics of the late XX century. In contrast, advances of the theory of hypergeometric functions always assumed a slower pace throughout the centuries of its existence. Functional identities studied by this mathematical discipline are fascinating both in their complexity and beauty. This thesis investigates the interrelation of two subjects through a direct analysis of three CFT problems: two-point functions of the 2d strange metal CFT, three-point functions of primaries of the non-rational Toda CFT and kinematical parts of Mellin amplitudes for scalar four-point functions in general dimensions. We flash out various generalizations of hypergeometric functions as a natural mathematical language for two of these problems. Several new methods inspired by extensions of classical results on hypergeometric functions, are presented.

  10. Quantification of the N-terminal propeptide of human procollagen type I (PINP): comparison of ELISA and RIA with respect to different molecular forms

    Jensen, Charlotte Harken; Hansen, M; Brandt, J;

    1998-01-01

    This paper compares the results of procollagen type I N-terminal propeptide (PINP) quantification by radioimmunoassay (RIA) and enzyme linked immunosorbent assay (ELISA). PINP in serum from a patient with uremic hyperparathyroidism was measured in RIA and ELISA to 20 micrograms l-1 and 116...... micrograms l-1 and the corresponding concentrations in dialysis fluid were 94.5 micrograms l-1 and 140 micrograms l-1, respectively. PINP antigen appears in two distinct peaks following size chromatography and the two peak fractions display immunological identity and identical M(r)'s (27 kDa: SDS...

  11. Rapid Quantification of Melamine in Different Brands/Types of Milk Powders Using Standard Addition Net Analyte Signal and Near-Infrared Spectroscopy.

    Tang, Bang-Cheng; Cai, Chen-Bo; Shi, Wei; Xu, Lu

    2016-01-01

    Multivariate calibration (MVC) and near-infrared (NIR) spectroscopy have demonstrated potential for rapid analysis of melamine in various dairy products. However, the practical application of ordinary MVC can be largely restricted because the prediction of a new sample from an uncalibrated batch would be subject to a significant bias due to matrix effect. In this study, the feasibility of using NIR spectroscopy and the standard addition (SA) net analyte signal (NAS) method (SANAS) for rapid quantification of melamine in different brands/types of milk powders was investigated. In SANAS, the NAS vector of melamine in an unknown sample as well as in a series of samples added with melamine standards was calculated and then the Euclidean norms of series standards were used to build a straightforward univariate regression model. The analysis results of 10 different brands/types of milk powders with melamine levels 0~0.12% (w/w) indicate that SANAS obtained accurate results with the root mean squared error of prediction (RMSEP) values ranging from 0.0012 to 0.0029. An additional advantage of NAS is to visualize and control the possible unwanted variations during standard addition. The proposed method will provide a practically useful tool for rapid and nondestructive quantification of melamine in different brands/types of milk powders. PMID:27525154

  12. Surveying problem solution with theory and objective type questions

    Chandra, AM

    2005-01-01

    The book provides a lucid and step-by-step treatment of the various principles and methods for solving problems in land surveying. Each chapter starts with basic concepts and definitions, then solution of typical field problems and ends with objective type questions. The book explains errors in survey measurements and their propagation. Survey measurements are detailed next. These include horizontal and vertical distance, slope, elevation, angle, and direction. Measurement using stadia tacheometry and EDM are then highlighted, followed by various types of levelling problems. Traversing is then explained, followed by a detailed discussion on adjustment of survey observations and then triangulation and trilateration.

  13. Symmetry breaking and restoration in Lifshitz type theories

    Farakos, K., E-mail: kfarakos@central.ntua.gr [Department of Physics, National Technical University of Athens, Zografou Campus, 15780 Athens (Greece); Metaxas, D., E-mail: metaxas@central.ntua.gr [Department of Physics, National Technical University of Athens, Zografou Campus, 15780 Athens (Greece)

    2012-02-07

    We consider the one-loop effective potential at zero and finite temperature in scalar field theories with anisotropic space-time scaling. For z=2, there is a symmetry breaking term induced at one loop at zero temperature and we find symmetry restoration through a first-order phase transition at high temperature. For z=3, we considered at first the case with a positive mass term at tree level and found no symmetry breaking effects induced at one loop, and then we study the case with a negative mass term at tree level where we cannot conclude about symmetry restoration effects at high temperature because of the imaginary parts that appear in the effective potential for small values of the scalar field.

  14. Symmetry breaking and restoration in Lifshitz type theories

    Farakos, K.; Metaxas, D.

    2012-02-01

    We consider the one-loop effective potential at zero and finite temperature in scalar field theories with anisotropic space-time scaling. For z = 2, there is a symmetry breaking term induced at one loop at zero temperature and we find symmetry restoration through a first-order phase transition at high temperature. For z = 3, we considered at first the case with a positive mass term at tree level and found no symmetry breaking effects induced at one loop, and then we study the case with a negative mass term at tree level where we cannot conclude about symmetry restoration effects at high temperature because of the imaginary parts that appear in the effective potential for small values of the scalar field.

  15. Symmetry breaking and restoration in Lifshitz type theories

    Farakos, K

    2011-01-01

    We consider the one-loop effective potential at zero and finite temperature in scalar field theories with anisotropic space-time scaling. For $z=2$, there is a symmetry breaking term induced at one-loop at zero temperature and we find symmetry restoration through a first-order phase transition at high temperature. For $z=3$, we considered at first the case with a positive mass term at tree level and found no symmetry breaking effects induced at one-loop, and then we study the case with a negative mass term at tree level where we cannot conclude about symmetry restoration effects at high temperature because of the imaginary parts that appear in the effective potential for small values of the scalar field.

  16. On the theory of supernova type Ia explosion.

    Liberman, M. A.

    2000-03-01

    A self-consistent model of a white dwarf burning in supernova Ia events is presented which includes the consequent stages of the flame, the spontaneous explosion and the detonation. The spontaneous explosion triggers the detonation, which incinerates the rest of the pre-expanded star. The expansion of the white dwarf during the flame stage of burning leads to the production of intermediate mass elements (S, Si, Ca etc.) in agreement with the observed spectrum. Stability analysis of the thermonuclear detonation in a white dwarf shows that the detonation is unstable and self-quenching at high densities of the degenerate matter ρ > 2.1·107 g/cm3 and it becomes stable at lower densities. The detonation overcomes gravitational binding and causes mass ejection. The proposed theory provides the physical basis for the explanation of the observed spectrum of supernovae Ia.

  17. Cosmic web-type classification using decision theory

    Leclercq, Florent; Wandelt, Benjamin

    2015-01-01

    We propose a decision criterion for segmenting the cosmic web into different structure types (voids, sheets, filaments and clusters) on the basis of their respective probabilities and the strength of data constraints. Our approach is inspired by an analysis of games of chance where the gambler only plays if a positive expected net gain can be achieved based on some degree of privileged information. The result is a general solution for classification problems in the face of uncertainty, including the option of not committing to a class for a candidate object. As an illustration, we produce high-resolution maps of web-type constituents in the nearby Universe as probed by the Sloan Digital Sky Survey main galaxy sample. Other possible applications include the selection and labeling of objects in catalogs derived from astronomical survey data.

  18. Improved real-time PCR assay for detection and quantification of all 54 known types of human adenoviruses in clinical samples

    Bil-Lula, Iwona; De Franceschi, Nicola; Pawlik, Krzysztof; WoŸniak, Mieczysław

    2012-01-01

    Summary Background Detection and quantification of adenoviruses (AdVs) causing life-threatening complications are important abilities in recognition of infection and management of immunocompromised patients. Due to the rapid increase in the number of known AdV types, most commercial tests for detection and identification of AdVs are outdated. Material/Methods We designed an improved, easier and faster real-time quantitative polymerase chain reaction (RQ-PCR) method for detection and quantification of 54 types of human AdVs. A wide validation effort was undertaken to ensure confidence in highly sensitive and specific detection of AdVs in compromised patients. The validation process included evaluation of the method’s suitability and reliability for use in routine diagnostics. Results Due to high sensitivity (9.2×102 copies/ml) and broad dynamic range (7 log) we are able to detect specific viral DNA in large amounts of cell-free body fluids. The new assay is characterized by high precision and low variation within and between individual virus tests (CV=0.036%, CV=1.29%), low bias error (4%) and no cross-reactivity with other pathogens. Conclusions The implementation of this new assay in clinical and laboratory practice provides a rapid, reliable and less laborious method for detection and monitoring of AdV replication in immunocompromised patients. Moreover, it offers the ability to distinguish between active and latent infection and assess treatment efficiency. PMID:22648243

  19. Energy of the Universe in Bianchi-type I Models in Moller's Tetrad Theory of Gravity

    Aydogdu, Oktay; Salti, Mustafa

    2005-01-01

    This paper has been removed by arXiv administrators because it plagiarizes gr-qc/0011027, "Viscous cosmologies in scalar-tensor theories for Kasner type metrics," by M. Cataldo, S. del Campo and P. Salgado.

  20. On the field theory of the extended-type electron

    In a recent paper, the classical theory of Barut and Zhanghi (BZ) for the electron spin [which interpreted the Zitterbewegung (zbw) motion as an internal motion along helical paths] and its ''quantum'' version have been investigated by using the language of Clifford algebras. In so doing, a new non-linear Dirac-like equation (NDE) was derived. We want to readdress the whole subject, and ''complete'' it, by adopting - for the sake of physical clarity - the ordinary tensorial language, within the frame of a first quantization formalism. In particular, we re-derive here the NDE for the electron field, show it to be associated with a new conserved probability current which allows us to work out a quantum probability interpretation of NDE. Actually, we propose this equation in substitution for the Dirac equation, which is obtained from the former by averaging over a zbw cycle. We then derive a new equation of motion for the 4-velocity field which will allow us to regard the electron as an extended object with a classically intelligible internal structure (thus overcoming some known, long-standing problems). We carefully study the solutions of the NDE; with special attention to those implying (at the classical limit) light-like helical motions, since they appear to be the most adequate solutions for the electron description from a kinematical and physical point of view, and to cope with the electromagnetic properties of the electron. (author). 18 refs

  1. Quantum Field Theory Applications of Heun Type Functions

    Birkandan, T

    2016-01-01

    After a brief introduction to Heun type functions we note that the actual solutions of the eigenvalue equation emerging in the calculation of the one loop contribution to QCD from the Belavin-Polyakov-Schwarz-Tyupkin instanton and the similar calculation for a Dirac particle coupled to a scalar $CP^1$ model in two dimensions can be given in terms of confluent Heun equation in their original forms. These equations were previously modified to be solved by more elementary functions. We also show that polynomial solutions with discrete eigenvalues are impossible to find in the unmodified equations.

  2. Theory of zeolite supralattices: Se in zeolite Linde type A

    We study theoretically properties of Se clusters in zeolites, and choose zeolite Linde type A (LTA) as a prototype system. The geometries of free-space Se clusters are first determined, and we report the energetics and electronic and vibrational properties of these clusters. The work on clusters includes an investigation of the energetics of C3-C1 defect formation in Se rings and chains. The electronic properties of two Se crystalline polymorphs, trigonal Se and -monoclinic Se, are also determined. Electronic and vibrational properties of the zeolite LTA are investigated. Next we investigate the electronic and optical properties of ring-like Se clusters inside the large -cages of LTA. We find that Se clusters inside cages of silaceous LTA have very little interaction with the zeolite, and that the HOMO-LUMO gaps (HOMO standing for highest occupied molecular orbital and LUMO for lowest unoccupied molecular orbital) are nearly those of the isolated cluster. The HOMO-LUMO gaps of Se6, Se8, and Se12 are found to be similar, which makes it difficult to identify them experimentally by absorption spectroscopy. We find that the zeolite/Se8 nanocomposite is lower in energy than the two separated systems. We also investigate two types of infinite chain encapsulated in LTA. Finally, we carry out finite-temperature molecular dynamics simulations for an encapsulated Se12 cluster, which shows cluster melting and formation of nanoscale Se droplets in theα-cages of LTA. (author)

  3. $\\mathcal{N}=2$ supersymmetric field theories on 3-manifolds with A-type boundaries

    Aprile, Francesco

    2016-01-01

    General half-BPS A-type boundary conditions are formulated for N=2 supersymmetric field theories on compact 3-manifolds with boundary. We observe that under suitable conditions manifolds of the real A-type admitting two complex supersymmetries (related by charge conjugation) possess, besides a contact structure, a natural integrable toric foliation. A boundary, or a general co-dimension-1 defect, can be inserted along any leaf of this preferred foliation to produce manifolds with boundary that have the topology of a solid torus. We show that supersymmetric field theories on such manifolds can be endowed with half-BPS A-type boundary conditions. We specify the natural curved space generalization of the A-type projection of bulk supersymmetries and analyze the resulting A-type boundary conditions in generic 3d non-linear sigma models and YM/CS-matter theories.

  4. Russell´s Early Type Theory and the Paradox of Propositions

    André Fuhrmann

    2001-12-01

    Full Text Available The paradox of propositions, presented in Appendix B of Russell's The Principles of Mathematics (1903, is usually taken as Russell's principal motive, at the time, for moving from a simple to a ramified theory of types. I argue that this view is mistaken. A closer study of Russell's correspondence with Frege reveals that Russell carne to adopt a very different resolution of the paradox, calling into question not the simplicity of his early type theory but the simplicity of his early theory of propositions.

  5. Vortex-type half-BPS solitons in Aharony-Bergman-Jafferis-Maldacena theory

    We study the Aharony-Bergman-Jafferis-Maldacena (ABJM) theory without and with mass deformation. It is shown that maximally supersymmetry preserving, D-term, and F-term mass deformations of single mass parameter are equivalent. We obtain vortex-type half-BPS equations and the corresponding energy bound. For the undeformed ABJM theory, the resulting half-BPS equation is the same as that in supersymmetric Yang-Mills theory and no finite energy regular BPS solution is found. For the mass-deformed ABJM theory, the half-BPS equations for U(2)xU(2) case reduce to the vortex equation in Maxwell-Higgs theory, which supports static regular multivortex solutions. In U(N)xU(N) case with N>2 the non-Abelian vortex equation of Yang-Mills-Higgs theory is obtained.

  6. D-branes and dual gauge theories in type 0 strings

    We consider the type 0 theories, obtained from the closed NSR string by a diagonal GSO projection which excludes space-time fermions, and study the D-branes in these theories. The low-energy dynamics of N coincident D-branes is governed by a U(N) gauge theory coupled to adjoint scalar fields. It is tempting to look for the type 0 string duals of such bosonic gauge theories in the background of the R-R charged p-brane classical solutions. This results in a picture analogous to the one recently proposed by Polyakov (hep-th/9809057). One of the serious problems that needs to be resolved is the closed string tachyon mode which couples to the D-branes and appears to cause an instability. We study the tachyon terms in the type 0 effective action and argue that the background R-R flux provides a positive shift of the (mass)2 of the tachyon. Thus, for sufficiently large flux, the tachyonic instability may be cured, removing the most basic obstacle to constructing the type 0 duals of non-supersymmetric gauge theories. We further find that the tachyon acquires an expectation value in the presence of the R-R flux. This effect is crucial for breaking the conformal invariance in the dual description of the 3 + 1-dimensional non-supersymmetric gauge theory

  7. Theory of chromatography of partially cyclic polymers: Tadpole-type and manacle-type macromolecules.

    Vakhrushev, Andrey V; Gorbunov, Alexei A

    2016-02-12

    A theory of chromatography is developed for partially cyclic polymers of tadpole- and manacle-shaped topological structures. We present exact equations for the distribution coefficient K at different adsorption interactions; simpler approximate formulae are also derived, relevant to the conditions of size-exclusion, adsorption, and critical chromatography. Theoretical chromatograms of heterogeneous partially cyclic polymers are simulated, and conditions for good separation by topology are predicted. According to the theory, an effective SEC-radius of tadpoles and manacles is mostly determined by the molar mass M, and by the linear-cyclic composition. In the interactive chromatography, the effect of molecular topology on the retention becomes significant. At the critical interaction point, partial dependences K(Mlin) and K(Mring) are qualitatively different: while being almost independent of Mlin, K increases with Mring. This behavior could be realized in critical chromatography-for separation of partially cyclic polymers by the number and molar mass of cyclic elements. PMID:26803439

  8. Relative quantification and detection of different types of infectious bursal disease virus in bursa of Fabricius and cloacal swabs using real time RT-PCR SYBR green technology

    Li, Yiping; Handberg, K.J.; Kabell, Susanne; Kusk, M.; Zhang, M.F.; Jorgensen, P.H.

    2007-01-01

    In present study, different types of infectious bursal disease virus (IBDV), virulent strain DK01, classic strain F52/70 and vaccine strain D78 were quantified and detected in infected bursa of Fabricius (BF) and cloacal swabs using quantitative real time RT-PCR with SYBR green dye. For selection...... of a suitable internal control gene, real time PCR parameters were evaluated for three candidate genes, glyceraldehyde-3-phosphate dehydrogenase (GAPDH), 28S rRNA and beta-actin to IBDVs. Based on this P-actin was selected as an internal control for quantification of IBDVs in BF. All BF samples with...... primers. The method described here is robust and may sever as a useful tool with high capacity for diagnostics as well as in viral pathogenesis studies....

  9. On the usage of classical nucleation theory in quantification of the impact of bacterial INP on weather and climate

    Sahyoun, Maher; Wex, Heike; Gosewinkel, Ulrich; Šantl-Temkiv, Tina; Nielsen, Niels W.; Finster, Kai; Sørensen, Jens H.; Stratmann, Frank; Korsholm, Ulrik S.

    2016-08-01

    Bacterial ice-nucleating particles (INP) are present in the atmosphere and efficient in heterogeneous ice-nucleation at temperatures up to -2 °C in mixed-phase clouds. However, due to their low emission rates, their climatic impact was considered insignificant in previous modeling studies. In view of uncertainties about the actual atmospheric emission rates and concentrations of bacterial INP, it is important to re-investigate the threshold fraction of cloud droplets containing bacterial INP for a pronounced effect on ice-nucleation, by using a suitable parameterization that describes the ice-nucleation process by bacterial INP properly. Therefore, we compared two heterogeneous ice-nucleation rate parameterizations, denoted CH08 and HOO10 herein, both of which are based on classical-nucleation-theory and measurements, and use similar equations, but different parameters, to an empirical parameterization, denoted HAR13 herein, which considers implicitly the number of bacterial INP. All parameterizations were used to calculate the ice-nucleation probability offline. HAR13 and HOO10 were implemented and tested in a one-dimensional version of a weather-forecast-model in two meteorological cases. Ice-nucleation-probabilities based on HAR13 and CH08 were similar, in spite of their different derivation, and were higher than those based on HOO10. This study shows the importance of the method of parameterization and of the input variable, number of bacterial INP, for accurately assessing their role in meteorological and climatic processes.

  10. Uncertainty quantification in modeling earth surface processes: more applicable for some types of models than for others

    Murray, A. Brad; Gasparini, Nicole M.; Goldstein, Evan B.; van der Wegen, Mick

    2016-05-01

    In Earth-surface science, numerical models are used for a range of purposes, from making quantitatively accurate predictions for practical or scientific purposes ('simulation' models) to testing hypotheses about the essential causes of poorly understood phenomena ('exploratory' models). We argue in this contribution that whereas established methods for uncertainty quantification (UQ) are appropriate (and crucial) for simulation models, their application to exploratory models are less straightforward, and in some contexts not relevant. Because most models fall between the end members of simulation and exploratory models, examining the model contexts under which UQ is most and least appropriate is needed. Challenges to applying state-of-the-art UQ to Earth-surface science models center on quantifying 'model-form' uncertainty-the uncertainty in model predictions related to model imperfections. These challenges include: 1) the difficulty in deterministically comparing model predictions to observations when positive feedbacks and associated autogenic dynamics (a.k.a. 'free' morphodynamics) determine system behavior over the timescales of interest (a difficulty which could be mitigated in a UQ approach involving statistical comparisons); 2) the lack of available data sets at sufficiently large space and/or time scales; 3) the inability to disentangle uncertainties arising from model parameter values and model form in some cases; and 4) the inappropriateness of model 'validation' in the UQ sense for models toward the exploratory end member of the modeling spectrum.

  11. Digital Games for Type 1 and Type 2 Diabetes: Underpinning Theory With Three Illustrative Examples

    Gammon, Shauna; Dixon, Mavis C; MacRury, Sandra M; Fergusson, Michael J; Miranda Rodrigues, Francisco; Mourinho Baptista, Telmo; Yang, Stephen P

    2015-01-01

    Digital games are an important class of eHealth interventions in diabetes, made possible by the Internet and a good range of affordable mobile devices (eg, mobile phones and tablets) available to consumers these days. Gamifying disease management can help children, adolescents, and adults with diabetes to better cope with their lifelong condition. Gamification and social in-game components are used to motivate players/patients and positively change their behavior and lifestyle. In this paper, we start by presenting the main challenges facing people with diabetes—children/adolescents and adults—from a clinical perspective, followed by three short illustrative examples of mobile and desktop game apps and platforms designed by Ayogo Health, Inc. (Vancouver, BC, Canada) for type 1 diabetes (one example) and type 2 diabetes (two examples). The games target different age groups with different needs—children with type 1 diabetes versus adults with type 2 diabetes. The paper is not meant to be an exhaustive review of all digital game offerings available for people with type 1 and type 2 diabetes, but rather to serve as a taster of a few of the game genres on offer today for both types of diabetes, with a brief discussion of (1) some of the underpinning psychological mechanisms of gamified digital interventions and platforms as self-management adherence tools, and more, in diabetes, and (2) some of the hypothesized potential benefits that might be gained from their routine use by people with diabetes. More research evidence from full-scale evaluation studies is needed and expected in the near future that will quantify, qualify, and establish the evidence base concerning this gamification potential, such as what works in each age group/patient type, what does not, and under which settings and criteria. PMID:25791276

  12. Digital games for type 1 and type 2 diabetes: underpinning theory with three illustrative examples.

    Kamel Boulos, Maged N; Gammon, Shauna; Dixon, Mavis C; MacRury, Sandra M; Fergusson, Michael J; Miranda Rodrigues, Francisco; Mourinho Baptista, Telmo; Yang, Stephen P

    2015-01-01

    Digital games are an important class of eHealth interventions in diabetes, made possible by the Internet and a good range of affordable mobile devices (eg, mobile phones and tablets) available to consumers these days. Gamifying disease management can help children, adolescents, and adults with diabetes to better cope with their lifelong condition. Gamification and social in-game components are used to motivate players/patients and positively change their behavior and lifestyle. In this paper, we start by presenting the main challenges facing people with diabetes-children/adolescents and adults-from a clinical perspective, followed by three short illustrative examples of mobile and desktop game apps and platforms designed by Ayogo Health, Inc. (Vancouver, BC, Canada) for type 1 diabetes (one example) and type 2 diabetes (two examples). The games target different age groups with different needs-children with type 1 diabetes versus adults with type 2 diabetes. The paper is not meant to be an exhaustive review of all digital game offerings available for people with type 1 and type 2 diabetes, but rather to serve as a taster of a few of the game genres on offer today for both types of diabetes, with a brief discussion of (1) some of the underpinning psychological mechanisms of gamified digital interventions and platforms as self-management adherence tools, and more, in diabetes, and (2) some of the hypothesized potential benefits that might be gained from their routine use by people with diabetes. More research evidence from full-scale evaluation studies is needed and expected in the near future that will quantify, qualify, and establish the evidence base concerning this gamification potential, such as what works in each age group/patient type, what does not, and under which settings and criteria. PMID:25791276

  13. How to obtain a covariant Breit type equation from relativistic Constraint Theory

    Mourad, J.; Sazdjian, H.

    1994-01-01

    It is shown that, by an appropriate modification of the structure of the interaction potential, the Breit equation can be incorporated into a set of two compatible manifestly covariant wave equations, derived from the general rules of Constraint Theory. The complementary equation to the covariant Breit type equation determines the evolution law in the relative time variable. The interaction potential can be systematically calculated in perturbation theory from Feynman diagrams. The normalizat...

  14. Seiberg-Witten-type Maps for Currents and Energy-Momentum Tensors in Noncommutative Gauge Theories

    Banerjee, Rabin; Lee, Choonkyu; Yang, Hyun Seok

    2003-01-01

    We derive maps relating the currents and energy-momentum tensors in noncommutative (NC) gauge theories with their commutative equivalents. Some uses of these maps are discussed. Especially, in NC electrodynamics, we obtain a generalization of the Lorentz force law. Also, the same map for anomalous currents relates the Adler-Bell-Jackiw type NC covariant anomaly with the standard commutative-theory anomaly. For the particular case of two dimensions, we discuss the implications of these maps fo...

  15. Four types of coping with COPD-induced breathlessness in daily living: a grounded theory study

    Bastrup, Lene; Dahl, Ronald; Pedersen, Preben Ulrich;

    2013-01-01

    COPD predominantly cope with breathlessness during daily living. We chose a multimodal grounded theory design that holds the opportunity to combine qualitative and quantitative data to capture and explain the multidimensional coping behaviour among poeple with COPD. The participants' main concern in...... coping with breathlessness appeared to be an endless striving to economise on resources in an effort to preserve their integrity. In this integrity-preserving process, four predominant coping types emerged and were labelled: `Overrater´, `Challenger´, `Underrater´, and `Leveller´. Each coping type...... comprised distrinctive physiological, cognitive, affective and psychosocial features constituting coping-type-specific indicators. In theory, four predominant coping types with distinct physiological, cognitive, affective and psychosocial properties are observed among people with COPD. The four coping types...

  16. Nonperturbative type IIB model building in the F-theory framework

    Jurke, Benjamin Helmut Friedrich

    2011-02-28

    This dissertation is concerned with the topic of non-perturbative string theory, which is generally considered to be the most promising approach to a consistent description of quantum gravity. The five known 10-dimensional perturbative string theories are all interconnected by numerous dualities, such that an underlying non-perturbative 11-dimensional theory, called M-theory, is postulated. Due to several technical obstacles, little is known about the fundamental objects in this theory. There exists an alternative non-perturbative description to type IIB string theory, namely F-theory. Here the SL(2;Z) self-duality of IIB theory is geometrized in the form of an elliptic fibration over the space-time. Moreover, higher-dimensional objects like 7-branes are included via singularities into the geometric picture. This formally elegant description, however, requires significant technical effort for the construction of suitable compactification geometries, as many different aspects necessarily have to be dealt with at the same time. On the other hand, the generation of essential GUT building blocks like certain Yukawa couplings or spinor representations is easier compared to perturbative string theory. The goal of this study is therefore to formulate a unified theory within the framework of F-theory, that satisfies basic phenomenological constraints. Within this thesis, at first E3-brane instantons in type IIB string theory - 4-dimensional objects that are entirely wrapped around the invisible dimensions of space-time - are matched with M5-branes in F-theory. Such objects are of great importance in the generation of critical Yukawa couplings or the stabilization of the free parameters of a theory. Certain properties of M5-branes then allow to derive a new criterion for E3-branes to contribute to the superpotential. In the aftermath of this analysis, several compactification geometries are constructed and checked for basic properties that are relevant for semi

  17. Nonperturbative type IIB model building in the F-theory framework

    This dissertation is concerned with the topic of non-perturbative string theory, which is generally considered to be the most promising approach to a consistent description of quantum gravity. The five known 10-dimensional perturbative string theories are all interconnected by numerous dualities, such that an underlying non-perturbative 11-dimensional theory, called M-theory, is postulated. Due to several technical obstacles, little is known about the fundamental objects in this theory. There exists an alternative non-perturbative description to type IIB string theory, namely F-theory. Here the SL(2;Z) self-duality of IIB theory is geometrized in the form of an elliptic fibration over the space-time. Moreover, higher-dimensional objects like 7-branes are included via singularities into the geometric picture. This formally elegant description, however, requires significant technical effort for the construction of suitable compactification geometries, as many different aspects necessarily have to be dealt with at the same time. On the other hand, the generation of essential GUT building blocks like certain Yukawa couplings or spinor representations is easier compared to perturbative string theory. The goal of this study is therefore to formulate a unified theory within the framework of F-theory, that satisfies basic phenomenological constraints. Within this thesis, at first E3-brane instantons in type IIB string theory - 4-dimensional objects that are entirely wrapped around the invisible dimensions of space-time - are matched with M5-branes in F-theory. Such objects are of great importance in the generation of critical Yukawa couplings or the stabilization of the free parameters of a theory. Certain properties of M5-branes then allow to derive a new criterion for E3-branes to contribute to the superpotential. In the aftermath of this analysis, several compactification geometries are constructed and checked for basic properties that are relevant for semi

  18. Bianchi Type VI1 Viscous Fluid Cosmological Model in Wesson´s Theory of Gravitation

    Khadekar, G. S.; Avachar, G. R.

    2007-03-01

    Field equations of a scale invariant theory of gravitation proposed by Wesson [1, 2] are obtained in the presence of viscous fluid with the aid of Bianchi type VIh space-time with the time dependent gauge function (Dirac gauge). It is found that Bianchi type VIh (h = 1) space-time with viscous fluid is feasible in this theory, whereas Bianchi type VIh (h = -1, 0) space-times are not feasible in this theory, even in the presence of viscosity. For the feasible case, by assuming a relation connecting viscosity and metric coefficient, we have obtained a nonsingular-radiating model. We have discussed some physical and kinematical properties of the models.

  19. Quantification on source/receptor relationship of primary pollutants and secondary aerosols from ground sources. Part 1. Theory

    A new algorithm has been derived for trajectory models to determine the transfer coefficient of each source along or adjacent to a trajectory and to calculate the concentrations of SO2 NOx, sulfate, nitrate, fine particulate matter (PM) and coarse PM at a receptor. The transfer coefficient tf(sm-1) is defined to be the ratio between the contributed concentration δC(μgm-3) to the receptor from a ground source and the emission rate of the source q (μgm-2s-1) at a grid. i.e. tfidentical toδC/q. The model is developed by combining with a backward trajectory scheme and a circuit-type's parameterization. First, the transfer coefficients of grids along or adjacent a back-trajectory are calculated. Then, the contributed concentration of each emission grid is determined by multiplying its emission rate with the transfer coefficient of the grid. Finally, the concentration at the receptor is determined by the summation of all the contributed concentrations within the domain of simulation. (author)

  20. Impaired Theory of Mind and psychosocial functioning among pediatric patients with Type I versus Type II bipolar disorder.

    Schenkel, Lindsay S; Chamberlain, Todd F; Towne, Terra L

    2014-03-30

    Deficits in Theory of Mind (ToM) have been documented among pediatric patients with Bipolar Disorder (BD). However, fewer studies have directly examined differences between type I and type II patients and whether or not ToM deficits are related to psychosocial difficulties. Therefore, the aim of this study was to compare type I versus type II pediatric bipolar patients and matched Healthy Controls (HC) on ToM and interpersonal functioning tasks. All participants completed the Revised Mind in the Eyes Task (MET), the Cognitive and Emotional Perspective Taking Task (CEPTT), and the Index of Peer Relations (IPR). Type I BD patients reported greater peer difficulties on the IPR compared to HC, and also performed more poorly on the MET and the cognitive condition of the CEPTT, but did not differ significantly on the emotional condition. There were no significant group differences between type II BD patients and HC. More impaired ToM performance was associated with poorer interpersonal functioning. Type I BD patients show deficits in the ability to understand another's mental state, irrespective of emotional valence. Deficits in understanding others' mental states could be an important treatment target for type I pediatric patients with BD. PMID:24461271

  1. Conference on Geometric Analysis &Conference on Type Theory, Homotopy Theory and Univalent Foundations : Extended Abstracts Fall 2013

    Yang, Paul; Gambino, Nicola; Kock, Joachim

    2015-01-01

    The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric Analysis" (thirteen abstracts) and at the "Conference on Type Theory, Homotopy Theory and Univalent Foundations" (seven abstracts), both held at the Centre de Recerca Matemàtica (CRM) in Barcelona from July 1st to 5th, 2013, and from September 23th to 27th, 2013, respectively. Most of them are brief articles, containing preliminary presentations of new results not yet published in regular research journals. The articles are the result of a direct collaboration between active researchers in the area after working in a dynamic and productive atmosphere. The first part is about Geometric Analysis and Conformal Geometry; this modern field lies at the intersection of many branches of mathematics (Riemannian, Conformal, Complex or Algebraic Geometry, Calculus of Variations, PDE's, etc) and relates directly to the physical world, since many natural phenomena...

  2. Seiberg-Witten-type Maps for Currents and Energy-Momentum Tensors in Noncommutative Gauge Theories

    Banerjee, R; Yang, H S; Banerjee, Rabin; Lee, Choonkyu; Yang, Hyun Seok

    2003-01-01

    We derive maps relating the currents and energy-momentum tensors in noncommutative (NC) gauge theories with their commutative equivalents. Some uses of these maps are discussed. Especially, in NC electrodynamics, we obtain a generalization of the Lorentz force law. Also, the same map for anomalous currents relates the Adler-Bell-Jackiw type NC covariant anomaly with the standard commutative-theory anomaly. For the particular case of two dimensions, we discuss the implications of these maps for the Sugawara-type energy-momentum tensor.

  3. Bianchi Type-I, V and VIo models in modified generalized scalar–tensor theory

    T Singh; R Chaubey

    2007-08-01

    In modified generalized scalar–tensor (GST) theory, the cosmological term is a function of the scalar field and its derivatives $\\dot{}^{2}$. We obtain exact solutions of the field equations in Bianchi Type-I, V and VIo space–times. The evolution of the scale factor, the scalar field and the cosmological term has been discussed. The Bianchi Type-I model has been discussed in detail. Further, Bianchi Type-V and VIo models can be studied on the lines similar to Bianchi Type-I model.

  4. Preclinical evaluation and quantification of [18F]MK-9470 as a radioligand for PET imaging of the type 1 cannabinoid receptor in rat brain

    [18F]MK-9470 is an inverse agonist for the type 1 cannabinoid (CB1) receptor allowing its use in PET imaging. We characterized the kinetics of [18F]MK-9470 and evaluated its ability to quantify CB1 receptor availability in the rat brain. Dynamic small-animal PET scans with [18F]MK-9470 were performed in Wistar rats on a FOCUS-220 system for up to 10 h. Both plasma and perfused brain homogenates were analysed using HPLC to quantify radiometabolites. Displacement and blocking experiments were done using cold MK-9470 and another inverse agonist, SR141716A. The distribution volume (VT) of [18F]MK-9470 was used as a quantitative measure and compared to the use of brain uptake, expressed as SUV, a simplified method of quantification. The percentage of intact [18F]MK-9470 in arterial plasma samples was 80 ± 23 % at 10 min, 38 ± 30 % at 40 min and 13 ± 14 % at 210 min. A polar radiometabolite fraction was detected in plasma and brain tissue. The brain radiometabolite concentration was uniform across the whole brain. Displacement and pretreatment studies showed that 56 % of the tracer binding was specific and reversible. VT values obtained with a one-tissue compartment model plus constrained radiometabolite input had good identifiability (≤10 %). Ignoring the radiometabolite contribution using a one-tissue compartment model alone, i.e. without constrained radiometabolite input, overestimated the [18F]MK-9470 VT, but was correlated. A correlation between [18F]MK-9470 VT and SUV in the brain was also found (R 2 = 0.26-0.33; p ≤ 0.03). While the presence of a brain-penetrating radiometabolite fraction complicates the quantification of [18F]MK-9470 in the rat brain, its tracer kinetics can be modelled using a one-tissue compartment model with and without constrained radiometabolite input. (orig.)

  5. LRS Bianchi Type-I Dark Energy Cosmological Models in General Scalar Tensor Theory of Gravitation

    D. Neelima; V. U. M. Rao

    2013-01-01

    Locally rotationally symmetric (LRS) Bianchi type-I dark energy cosmological model with variable equation of state (EoS) parameter in (Nordtvedt 1970) general scalar tensor theory of gravitation with the help of a special case proposed by (Schwinger 1970) is obtained. It is observed that these anisotropic and isotropic dark energy cosmological models always represent an accelerated universe and are consistent with the recent observations of type-Ia supernovae. Some important features of the m...

  6. The Classification of Gun’s Type Using Image Recognition Theory

    M.L.Kulthon Kasemsan

    2014-01-01

    The research aims to develop the Gun’s Type and Models Classification (GTMC) system using image recognition theory. It is expected that this study can serve as a guide for law enforcement agencies or at least serve as the catalyst for a similar type of research. Master image storage and image recognition are the two main processes. The procedures involved original images, scaling, gray scale, canny edge detector, SUSAN corner detector, block matching template, and finally gun type’s recogniti...

  7. Quantification and implications of two types of soluble organic matter from brackish to saline lake source rocks

    SONG Yitao; LIAO Yongsheng; ZHANG Shouchun

    2005-01-01

    Two types of soluble organic matter, the free and adsorbed, were obtained and quantified from the brackish to saline lake source rocks. The adsorbed type was extracted with chloroform, solvent mixtures of methanol: acetone:chloroform (MAC) and CS2:N-methyl-2-pyrroli- dinone (CS2/NMP). The total amounts of the two types of soluble organic matter from some immature source rocks are >830 mg/g TOC, more than 63% of the total organic matter in these samples. This result indicates that the majority of the organic matter in the immature source rocks in the brackish to saline lake basin is soluble, and is significant for study of petroleum formation and helpful for petroleum exploration in the brackish to saline lake basin.

  8. Quantification of the types of water in Eudragit RLPO polymer and the kinetics of water loss using FTIR

    Pirayavaraporn, Chompak; Rades, Thomas; Gordon, Keith C;

    2013-01-01

    . Using a curve fitting procedure, the water region (3100-3,700 cm(-1)) of the spectra was analyzed, and used to identify water present in differing environments in the polymer and to determine the water loss kinetics upon purging the sample with dry compressed air. It was found that four environments can......Coalescence of polymer particles in polymer matrix tablets influences drug release. The literature has emphasized that coalescence occurs above the glass transition temperature (Tg) of the polymer and that water may plasticize (lower Tg) the polymer. However, we have shown previously that...... nonplasticizing water also influences coalescence of Eudragit RLPO; so there is a need to quantify the different types of water in Eudragit RLPO. The purpose of this study was to distinguish the types of water present in Eudragit RLPO polymer and to investigate the water loss kinetics for these different types of...

  9. GENERAL RELIABILITY THEORY STUDY ON SEMI-FLEXIBLE OUTPUT TYPE AND REPAIRABLE PRODUCTION SYSTEM

    马云东; 高宏伟

    1996-01-01

    This paper puts forward the conceptions of semi-flexible units and semi-flexible system, and builds up the theory of semi-flexible output type and repairable production system general reliability analysis and general reliability design, which discusses the reliability problems of semi-flexible units and semi-flexible system from three aspects of time, task and capacity.

  10. Isotropization of Bianchi type models and a new FRW solution in Brans-Dicke theory

    Cervantes-Cota, J L; Cervantes-Cota, Jorge L.; Nahmad, Marcos

    2001-01-01

    Using scaled variables we are able to integrate an equation valid for isotropic and anisotropic Bianchi type I, V, IX models in Brans-Dicke (BD) theory. We analyze known and new solutions for these models in relation with the possibility that anisotropic models asymptotically isotropize, and/or possess inflationary properties. In particular, a new solution of curve ($k\

  11. Localized energy associated with Bianchi-Type VI universe in $f(R)$ theory of gravity

    Korunur, M

    2016-01-01

    In the present work, focusing on one of the most popular problems in modern gravitation theories, we consider generalized Lanndau-Liftshitz energy-momentum relation to calculate energy distribution of the Bianchi-Type VI spacetime in $f(R)$ gravity. Additionally, the results are specified by using some well-known $f(R)$-gravity models.

  12. Quantification of zinc atoms in a surface alloy on copper in an industrial-type methanol synthesis catalyst

    Kuld, Sebastian; Moses, Poul Georg; Sehested, Jens;

    2014-01-01

    Methanol has recently attracted renewed interest because of its potential importance as a solar fuel. Methanol is also an important bulk chemical that is most efficiently formed over the industrial Cu/ZnO/Al2O3 catalyst. The identity of the active site and, in particular, the role of ZnO as a...... promoter for this type of catalyst is still under intense debate. Structural changes that are strongly dependent on the pretreatment method have now been observed for an industrial-type methanol synthesis catalyst. A combination of chemisorption, reaction, and spectroscopic techniques provides a consistent...... picture of surface alloying between copper and zinc. This analysis enables a reinterpretation of the methods that have been used for the determination of the Cu surface area and provides an opportunity to independently quantify the specific Cu and Zn areas. This method may also be applied to other systems...

  13. Quantification of zinc atoms in a surface alloy on copper in an industrial-type methanol synthesis catalyst

    Kuld, Sebastian; Moses, Poul Georg; Sehested, Jens;

    2014-01-01

    Methanol has recently attracted renewed interest because of its potential importance as a solar fuel.1 Methanol is also an important bulk chemical that is most efficiently formed over the industrial Cu/ZnO/Al2O3 catalyst. The identity of the active site and, in particular, the role of ZnO as a...... promoter for this type of catalyst is still under intense debate.2 Structural changes that are strongly dependent on the pretreatment method have now been observed for an industrial-type methanol synthesis catalyst. A combination of chemisorption, reaction, and spectroscopic techniques provides a...... consistent picture of surface alloying between copper and zinc. This analysis enables a reinterpretation of the methods that have been used for the determination of the Cu surface area and provides an opportunity to independently quantify the specific Cu and Zn areas. This method may also be applied to other...

  14. E$_{6(6)}$ Exceptional Field Theory: Review and Embedding of Type IIB

    Baguet, Arnaud; Samtleben, Henning

    2015-01-01

    We review E$_{6(6)}$ exceptional field theory with a particular emphasis on the embedding of type IIB supergravity, which is obtained by picking the GL$(5)\\times {\\rm SL}(2)$ invariant solution of the section constraint. We work out the precise decomposition of the E$_{6(6)}$ covariant fields on the one hand and the Kaluza-Klein-like decomposition of type IIB supergravity on the other. Matching the symmetries, this allows us to establish the precise dictionary between both sets of fields. Finally, we establish on-shell equivalence. In particular, we show how the self-duality constraint for the four-form potential in type IIB is reconstructed from the duality relations in the off-shell formulation of the E$_{6(6)}$ exceptional field theory.

  15. Thermodynamic limit of the Nekrasov-type formula for E-string theory

    We give a proof of the Nekrasov-type formula proposed by one of the authors for the Seiberg-Witten prepotential for the E-string theory on ℝ4×T2. We take the thermodynamic limit of the Nekrasov-type formula following the example of Nekrasov-Okounkov and reproduce the Seiberg-Witten description of the prepotential. The Seiberg-Witten curve obtained directly from the Nekrasov-type formula is of genus greater than one. We find that this curve is transformed into the known elliptic curve by a simple map. We consider the cases in which the low energy theory has E8, E7⊕A1 or E6⊕A2 as a global symmetry

  16. Experimental quantification of dynamic forces and shaft motion in two different types of backup bearings under several contact conditions

    Lahriri, Said; Santos, Ilmar

    2013-01-01

    This paper treats the experimental study on a shaft impacting its stator for different cases. The paper focuses mainly on the measured contact forces and the shaft motion in two different types of backup bearings. As such, the measured contact forces are thoroughly studied. These measured contact...... forces enable the hysteresis loops to be computed and analyzed. Consequently, the contact forces are plotted against the local deformation in order to assess the contact force loss during the impacts. The shaft motion during contact with the backup bearing is verified with a two-sided spectrum analyses...

  17. Precision automation of cell type classification and sub-cellular fluorescence quantification from laser scanning confocal images

    Hardy Craig Hall

    2016-02-01

    Full Text Available While novel whole-plant phenotyping technologies have been successfully implemented into functional genomics and breeding programs, the potential of automated phenotyping with cellular resolution is largely unexploited. Laser scanning confocal microscopy has the potential to close this gap by providing spatially highly resolved images containing anatomic as well as chemical information on a subcellular basis. However, in the absence of automated methods, the assessment of the spatial patterns and abundance of fluorescent markers with subcellular resolution is still largely qualitative and time-consuming. Recent advances in image acquisition and analysis, coupled with improvements in microprocessor performance, have brought such automated methods within reach, so that information from thousands of cells per image for hundreds of images may be derived in an experimentally convenient time-frame. Here, we present a MATLAB-based analytical pipeline to 1 segment radial plant organs into individual cells, 2 classify cells into cell type categories based upon random forest classification, 3 divide each cell into sub-regions, and 4 quantify fluorescence intensity to a subcellular degree of precision for a separate fluorescence channel. In this research advance, we demonstrate the precision of this analytical process for the relatively complex tissues of Arabidopsis hypocotyls at various stages of development. High speed and robustness make our approach suitable for phenotyping of large collections of stem-like material and other tissue types.

  18. The structure of the R^8 term in type IIB string theory

    Basu, Anirban

    2013-01-01

    Based on the structure of the on-shell linearized superspace of type IIB supergravity, we argue that there is a non--BPS 16 derivative interaction in the effective action of type IIB string theory of the form (t_8 t_8 R^4)^2, which we call the R^8 interaction. It lies in the same supermultiplet as the G^8 R^4 interaction. Using the KLT relation, we analyse the structure of the tree level eight graviton scattering amplitude in the type IIB theory, which leads to the R^8 interaction at the linearized level. This involves an analysis of color ordered multi-gluon disc amplitudes in the type I theory, which shows an intricate pole structure and transcendentality consistent with various other interactions. Considerations of S-duality show that the R^8 interaction receives non-analytic contributions in the string coupling at one and two loops. Apart from receiving perturbative contributions, we show that the R^8 interaction receives a non-vanishing contribution in the one D-instanton-anti-instanton background at lea...

  19. The structure of the R8 term in type IIB string theory

    Based on the structure of the on-shell linearized superspace of type IIB supergravity, we argue that there is a non-BPS 16 derivative interaction in the effective action of type IIB string theory of the form (t8t8R4)2, which we call the R8 interaction. It lies in the same supermultiplet as the G8R4 interaction. Using the Kawai–Lewellen–Tye relation, we analyze the structure of the tree level eight-graviton scattering amplitude in the type IIB theory, which leads to the R8 interaction at the linearized level. This involves an analysis of color-ordered multi-gluon disc amplitudes in the type I theory, which shows an intricate pole structure and transcendentality consistent with various other interactions. Considerations of S-duality show that the R8 interaction receives non-analytic contributions in the string coupling at one and two loops. Apart from receiving perturbative contributions, we show that the R8 interaction receives a non-vanishing contribution in the one D-instanton-anti-instanton background at leading order in the weak coupling expansion. (paper)

  20. Heartbeat-related displacement of the thoracic aorta in patients with chronic aortic dissection type B: Quantification by dynamic CTA

    Weber, Tim F. [University of Heidelberg, Department of Diagnostic and Interventional Radiology, Im Neuenheimer Feld 110, 69120 Heidelberg (Germany)], E-mail: tim.weber@med.uni-heidelberg.de; Ganten, Maria-Katharina [German Cancer Research Center, Department of Radiology, Im Neuenheimer Feld 280, 69120 Heidelberg (Germany)], E-mail: m.ganten@dkfz.de; Boeckler, Dittmar [University of Heidelberg, Department of Vascular and Endovascular Surgery, Im Neuenheimer Feld 110, 69120 Heidelberg (Germany)], E-mail: dittmar.boeckler@med.uni-heidelberg.de; Geisbuesch, Philipp [University of Heidelberg, Department of Vascular and Endovascular Surgery, Im Neuenheimer Feld 110, 69120 Heidelberg (Germany)], E-mail: philipp.geisbuesch@med.uni-heidelberg.de; Kauczor, Hans-Ulrich [University of Heidelberg, Department of Diagnostic and Interventional Radiology, Im Neuenheimer Feld 110, 69120 Heidelberg (Germany)], E-mail: hu.kauczor@med.uni-heidelberg.de; Tengg-Kobligk, Hendrik von [German Cancer Research Center, Department of Radiology, Im Neuenheimer Feld 280, 69120 Heidelberg (Germany)], E-mail: h.vontengg@dkfz.de

    2009-12-15

    Purpose: The purpose of this study was to characterize the heartbeat-related displacement of the thoracic aorta in patients with chronic aortic dissection type B (CADB). Materials and methods: Electrocardiogram-gated computed tomography angiography was performed during inspiratory breath-hold in 11 patients with CADB: Collimation 16 mm x 1 mm, pitch 0.2, slice thickness 1 mm, reconstruction increment 0.8 mm. Multiplanar reformations were taken for 20 equidistant time instances through both ascending (AAo) and descending aorta (true lumen, DAoT; false lumen, DAoF) and the vertex of the aortic arch (VA). In-plane vessel displacement was determined by region of interest analysis. Results: Mean displacement was 5.2 {+-} 1.7 mm (AAo), 1.6 {+-} 1.0 mm (VA), 0.9 {+-} 0.4 mm (DAoT), and 1.1 {+-} 0.4 mm (DAoF). This indicated a significant reduction of displacement from AAo to VA and DAoT (p < 0.05). The direction of displacement was anterior for AAo and cranial for VA. Conclusion: In CADB, the thoracic aorta undergoes a heartbeat-related displacement that exhibits an unbalanced distribution of magnitude and direction along the thoracic vessel course. Since consecutive traction forces on the aortic wall have to be assumed, these observations may have implications on pathogenesis of and treatment strategies for CADB.

  1. WKB - type approximations in the theory of vacuum particle creation in strong fields

    Smolyansky, S A; Panferov, A D; Prozorkevich, A V; Blaschke, D; Juchnowski, L

    2014-01-01

    Within the theory of vacuum creation of an $e^{+}e^{-}$ - plasma in the strong electric fields acting in the focal spot of counter-propagating laser beams we compare predictions on the basis of different WKB-type approximations with results obtained in the framework of a strict kinetic approach. Such a comparison demonstrates a considerable divergence results. We analyse some reasoning for this observation and conclude that WKB-type approximations have an insufficient foundation for QED in strong nonstationary fields. The results obtained in this work on the basis of the kinetic approach are most optimistic for the observation of an $e^{+}e^{-}$ - plasma in the range of optical and x-ray laser facilities. We discuss also the influence of unphysical features of non-adiabatic field models on the reliability of predictions of the kinetic theory.

  2. Asymptotic freedom and infrared behavior in the type 0 string approach to gauge theory

    In a recent paper we considered the type 0 string theories, obtained from the ten-dimensional closed NSR string by a GSO projection which excludes space-time fermions, and studied the low-energy dynamics of N coincident D-branes. This led us to conjecture that the four-dimensional SU(N) gauge theory coupled to six adjoint massless scalars is dual to a background of type 0 theory carrying N units of R-R 5-form flux and involving a tachyon condensate. The tachyon background leads to a 'soft breaking' of conformal invariance, and we derived the corresponding renormalization group equation. Minahan has subsequently found its asymptotic solution for weak coupling and showed that the coupling exhibits logarithmic flow, as expected from the asymptotic freedom of the dual gauge theory. We study this solution in more detail and identify the effect of the 2-loop beta function. We also demonstrate the existence of a fixed point at infinite coupling. Just like the fixed point at zero coupling, it is characterized by the AdS5 x S5 Einstein frame metric. We argue that there is a RG trajectory extending all the way from the zero coupling fixed point in the UV to the infinite coupling fixed point in the IR

  3. World Sheet Superstring and Superstring Field Theory: a new solution using Ultradistributions of Exponential Type

    Bollini, C G; Rocca, M C

    2008-01-01

    In this paper we show that Ultradistributions of Exponential Type (UET) are appropriate for the description in a consistent way world sheet superstring and superstring field theories. A new Lagrangian for the closed world sheet superstring is obtained. We also show that the superstring field is a linear superposition of UET of compact support (CUET), and give the notion of anti-superstring. We evaluate the propagator for the string field, and calculate the convolution of two of them.

  4. Bianchi type VI1 cosmological model with wet dark fluid in scale invariant theory of gravitation

    Mishra, B

    2014-01-01

    In this paper, we have investigated Bianchi type VIh, II and III cosmological model with wet dark fluid in scale invariant theory of gravity, where the matter field is in the form of perfect fluid and with a time dependent gauge function (Dirac gauge). A non-singular model for the universe filled with disorder radiation is constructed and some physical behaviors of the model are studied for the feasible VIh (h = 1) space-time.

  5. Flux vacua in Dirac-Born-Infeld type Einstein-Maxwell theory

    Maki, Takuya; Kobayashi, Koichiro; Shiraishi, Kiyoshi

    2011-01-01

    We study compactification of extra dimensions in a theory of Dirac-Born-Infeld (DBI) type gravity. We investigate the solution for Minkowski spacetime with an $S^{2}$ extra space. The solution is derived by the effective potential method in the presence of the magnetic flux on the extra sphere. We find that, in a certain model, the radius of the extra space has a minimum value independent of the higher-dimensional Newton constant in weak-field limit.

  6. LRS Bianchi Type-I Inflationary String Cosmological Model in Brans-Dicke Theory of Gravitation

    R. Venkateswarlu

    2014-01-01

    Full Text Available We investigate locally rotational symmetric (LRS Bianchi type I space time coupled with scalar field. String cosmological models generated by a cloud of strings with particles attached to them are studied in the Brans-Dicke theory. We assume that the expansion scalar is proportional to the shear scalar and also power law ansatz for scalar field. The physical behavior of the resulting model is discussed through different parameters.

  7. Phenomenological theory of 1-3 type multiferroic composite thin film: thickness effect

    The effect of thickness on the para-ferro-phase transition temperatures, the spontaneous polarization and magnetization and hysteresis loops of 1-3 type multiferroic composite thin films was studied in the framework of Landau phenomenological theory. We took into account the electrostrictive and magnetostrictive effects, misfit strains induced from the interfaces of ferroelectric/ferromagnetic portions and film/substrate. Butterfly loops under external fields were also simulated.

  8. Phenomenological theory of 1-3 type multiferroic composite thin film: thickness effect

    Lu Xiaoyan; Wang Biao; Zheng Yue [School of Astronautics, Harbin Institute of Technology, Harbin 150001 (China); Ryba, Earle [Department of Materials Science and Engineering, Pennsylvania State University, University Park, PA, 16802 (United States)], E-mail: wangbiao@mail.sysu.edu.cn

    2009-01-07

    The effect of thickness on the para-ferro-phase transition temperatures, the spontaneous polarization and magnetization and hysteresis loops of 1-3 type multiferroic composite thin films was studied in the framework of Landau phenomenological theory. We took into account the electrostrictive and magnetostrictive effects, misfit strains induced from the interfaces of ferroelectric/ferromagnetic portions and film/substrate. Butterfly loops under external fields were also simulated.

  9. Supersymmetry and the Systematics of T-duality Rotations in Type-II Superstring Theories

    Hassan, S F

    2001-01-01

    We describe a systematic method of studying the action of the T-duality group O(d,d) on space-time fermions and R-R field strengths and potentials in type-II string theories, based on space-time supersymmetry. The formalism is then used to show that the couplings of non-Abelian D-brane charges to R-R potentials can be described by an appropriate Clifford multiplication.

  10. Cultivating New-type Farmers Based on the Theory of Human Resources Development

    Zhang, Li

    2010-01-01

    Under the direction of theory of human resources development, this thesis analyzes the impact of rural human resources development on cultivating new-type farmers. Firstly, it increases the input of rural basic education; secondly, it reinforces the vocational education and technology training; thirdly, it promotes the rural medical and public health services; fourthly, it quickens the rural labor transfer. The status quo of China’s rural human resources has been analyzed as follows: in ter...

  11. The criticality problem in reflected slab type reactor in the two-group transport theory

    The criticality problem in reflected slab type reactor is solved for the first time in the two group neutron transport theory, by singular eingenfunctions expansion, the singular integrals obtained through continuity conditions of angular distributions at the interface are regularized by a recently proposed method. The result is a coupled system of regular integral equations for the expansion coefficients, this system is solved by an ordinary interactive method. Numerical results that can be utilized as a comparative standard for aproximation methods, are presented

  12. G\\"odel and G\\"odel-type universes in Brans-Dicke theory

    Agudelo, J A; Petrov, A Yu; Porfírio, P J; Santos, A F

    2016-01-01

    In this paper, conditions for existence of G\\"{o}del and G\\"{o}del-type solutions in Brans-Dicke (BD) scalar-tensor theory and their main features are studied. The special attention is paid to consistency of equations of motion, causality, existence of CTCs (closed time-like curves) and to the role which cosmological constant and Mach principle play to achieve the consistency of this model.

  13. Specimens: "most of" generic NPs in a contextually flexible type theory

    Retoré, Christian

    2011-01-01

    This paper proposes to compute the meanings associated to sentences with generic NPs corresponding to the most of generalized quantifier. We call these generics specimens and they resemble stereotypes or prototypes in lexical semantics. The meanings are viewed as logical formulae that can be thereafter interpreted in your favorite models. We rather depart from the dominant Fregean single untyped universe and go for type theory with hints from Hilbert epsilon calculus and from medieval philosophy. Our type theoretic analysis bears some resemblance with on going work in lexical semantics. Our model also applies to classical examples involving a class (or a generic element of this class) which is provided by the context. An outcome of this study is that, in the minimalism-contextualism debate, if one adopts a type theoretical view, terms encode the purely semantic meaning component while their typing is pragmatically determined.

  14. A Review of Different Types of Subsidies and How They Work in Theory

    Gerson, Kampungu k.; Han, Feng

    2013-01-01

    This paper gives a brief review on types of subsidies and how they work in theory. The paper identified three types of subsidies: subsidies that increase revenue, subsidies that lower the cost of production, and subsidies that are not linked to production or input. With the use of graphic examples to describe the partial effects of subsidies on supply and demand, the following findings were obtained: one, for producers to sell more, they will need to produce more, and in order to produce more...

  15. Spatially Homogeneous Bianchi Type V Cosmological Model in the Scale-Covariant Theory of Gravitation

    Shri Ram; M.K.Verma; Mohd.Zeyauddin

    2009-01-01

    We discuss spatially homogeneous and anisotropic Bianchi type-V spacetime filled with a perfect fluid in the framework of the scaie-covariant theory of gravitation proposed by Canuto et al.By applying the law of variation for Hubble's parameter,exact solutions of the field equations are obtained,which correspond to the model of the universe having a big-bang type singularity at the initial time t=0.The cosmological model,evolving from the initial singularity,expands with power-law expansion and gives essentially an empty space for a large time.The physical and dynamical properties of the model are also discussed.

  16. Fluxes, moduli fixing and MSSM-like vacua in Type IIA String Theory

    Camara, P G

    2006-01-01

    We review some of the features of Type IIA compactifications in the presence of fluxes. In particular, the case of $T^6/(\\Omega (-1)^{F_L} \\sigma)$ orientifolds with RR, NS and metric fluxes is considered. This has revealed to possess remarkable properties such as vacua with all the closed string moduli stabilized, null or negative contributions to the RR tadpoles or supersymmetry on the branes enforced by the closed string background. In this way, Type IIA compactifications with non trivial fluxes seem to constitute a new window into the building of semi-realistic models in String Theory.

  17. Resonant modal group theory of membrane-type acoustical metamaterials for low-frequency sound attenuation

    Ma, Fuyin; Wu, Jiu Hui; Huang, Meng

    2015-09-01

    In order to overcome the influence of the structural resonance on the continuous structures and obtain a lightweight thin-layer structure which can effectively isolate the low-frequency noises, an elastic membrane structure was proposed. In the low-frequency range below 500 Hz, the sound transmission loss (STL) of this membrane type structure is greatly higher than that of the current sound insulation material EVA (ethylene-vinyl acetate copo) of vehicle, so it is possible to replace the EVA by the membrane-type metamaterial structure in practice engineering. Based on the band structure, modal shapes, as well as the sound transmission simulation, the sound insulation mechanism of the designed membrane-type acoustic metamaterials was analyzed from a new perspective, which had been validated experimentally. It is suggested that in the frequency range above 200 Hz for this membrane-mass type structure, the sound insulation effect was principally not due to the low-level locally resonant mode of the mass block, but the continuous vertical resonant modes of the localized membrane. So based on such a physical property, a resonant modal group theory is initially proposed in this paper. In addition, the sound insulation mechanism of the membrane-type structure and thin plate structure were combined by the membrane/plate resonant theory.

  18. Quantification of the physiochemical constraints on the export of spider silk proteins by Salmonella type III secretion

    Voigt Christopher A

    2010-10-01

    Full Text Available Abstract Background The type III secretion system (T3SS is a molecular machine in gram negative bacteria that exports proteins through both membranes to the extracellular environment. It has been previously demonstrated that the T3SS encoded in Salmonella Pathogenicity Island 1 (SPI-1 can be harnessed to export recombinant proteins. Here, we demonstrate the secretion of a variety of unfolded spider silk proteins and use these data to quantify the constraints of this system with respect to the export of recombinant protein. Results To test how the timing and level of protein expression affects secretion, we designed a hybrid promoter that combines an IPTG-inducible system with a natural genetic circuit that controls effector expression in Salmonella (psicA. LacO operators are placed in various locations in the psicA promoter and the optimal induction occurs when a single operator is placed at the +5nt (234-fold and a lower basal level of expression is achieved when a second operator is placed at -63nt to take advantage of DNA looping. Using this tool, we find that the secretion efficiency (protein secreted divided by total expressed is constant as a function of total expressed. We also demonstrate that the secretion flux peaks at 8 hours. We then use whole gene DNA synthesis to construct codon optimized spider silk genes for full-length (3129 amino acids Latrodectus hesperus dragline silk, Bombyx mori cocoon silk, and Nephila clavipes flagelliform silk and PCR is used to create eight truncations of these genes. These proteins are all unfolded polypeptides and they encompass a variety of length, charge, and amino acid compositions. We find those proteins fewer than 550 amino acids reliably secrete and the probability declines significantly after ~700 amino acids. There also is a charge optimum at -2.4, and secretion efficiency declines for very positively or negatively charged proteins. There is no significant correlation with hydrophobicity

  19. Type synthesis for 4-DOF parallel press mechanism using GF set theory

    He, Jun; Gao, Feng; Meng, Xiangdun; Guo, Weizhong

    2015-07-01

    Parallel mechanisms is used in the large capacity servo press to avoid the over-constraint of the traditional redundant actuation. Currently, the researches mainly focus on the performance analysis for some specific parallel press mechanisms. However, the type synthesis and evaluation of parallel press mechanisms is seldom studied, especially for the four degrees of freedom(DOF) press mechanisms. The type synthesis of 4-DOF parallel press mechanisms is carried out based on the generalized function(GF) set theory. Five design criteria of 4-DOF parallel press mechanisms are firstly proposed. The general procedure of type synthesis of parallel press mechanisms is obtained, which includes number synthesis, symmetrical synthesis of constraint GF sets, decomposition of motion GF sets and design of limbs. Nine combinations of constraint GF sets of 4-DOF parallel press mechanisms, ten combinations of GF sets of active limbs, and eleven combinations of GF sets of passive limbs are synthesized. Thirty-eight kinds of press mechanisms are presented and then different structures of kinematic limbs are designed. Finally, the geometrical constraint complexity( GCC), kinematic pair complexity( KPC), and type complexity( TC) are proposed to evaluate the press types and the optimal press type is achieved. The general methodologies of type synthesis and evaluation for parallel press mechanism are suggested.

  20. Type and structure of time-like singularities in general relativity theory

    A method is proposed which permits one to deterMine whether a time-like singularity refers to a point, linear or some other type of gravitational field singularity. It is shown that in the general theory of relativity an altogether different type of source may be possible which does not have any analogs in finite curvature space. An analysis is made of a number of solutions containing time-like singularities whose type varies depending on the sign of the functions involved in the solutions. The form of the solution near simple linear sources and of generalized anisotropic solutions is determined more accurately. The space-time described by the γ-metric is investigated completely and the form of the metric near the ends and at singular points of linear Weyl singularities is found

  1. A Density Functional Theory Study of Doped Tin Monoxide as a Transparent p-type Semiconductor

    Bianchi Granato, Danilo

    2012-05-01

    In the pursuit of enhancing the electronic properties of transparent p-type semiconductors, this work uses density functional theory to study the effects of doping tin monoxide with nitrogen, antimony, yttrium and lanthanum. An overview of the theoretical concepts and a detailed description of the methods employed are given, including a discussion about the correction scheme for charged defects proposed by Freysoldt and others [Freysoldt 2009]. Analysis of the formation energies of the defects points out that nitrogen substitutes an oxygen atom and does not provide charge carriers. On the other hand, antimony, yttrium, and lanthanum substitute a tin atom and donate n-type carriers. Study of the band structure and density of states indicates that yttrium and lanthanum improves the hole mobility. Present results are in good agreement with available experimental works and help to improve the understanding on how to engineer transparent p-type materials with higher hole mobilities.

  2. Canonical BF-type topological field theory and fractional statistics of strings

    We consider BF-type topological field theory coupled to non-dynamical particle and string sources on spacetime manifolds of the form R1xM 3, where M 3 is a 3-manifold without boundary. Canonical quantization of the theory is carried out in the hamiltonian formalism and explicit solutions of the Schroedinger equation are obtained. We show that the Hilbert space is finite dimensional and the physical states carry a one-dimensional projective representation of the local gauge symmetries. When M 3 is homologically non-trivial the wavefunctions in addition carry a multi-dimensional projective representation, in terms of the linking matrix of the homology cycles of M 3, of the discrete group of large gauge transformations. The wavefunctions also carry a one-dimensional representation of the non-trivial linking of the particle trajectories and string surfaces in M 3. This topological field theory therefore provides a phenomenological generalization of anyons to (3+1) dimensions where the holonomies representing fractional statistics arise from the adiabatic transport of particles around strings. We also discuss a duality between large gauge transformations and these linking operations around the homology cycles of M 3, and show that this canonical quantum field theory provides novel quantum representations of the cohomology of M 3 and its associated motion group. ((orig.))

  3. Reissner-Nordstr(o)m-de-Sitter-type Solution by a Gauge Theory of Gravity

    V. Enache; Camelia Popa; V. P(a)un; M. Agop

    2008-01-01

    We use the theory based on a gravitational gauge group (Wu's model) to obtain a spherical symmetric solution of the field equations for the gravitational potential on a Minkowski spacetime. The gauge group, the gauge covariant derivative, the strength tensor of the gauge field, the gauge invariant Lagrangean with the cosmological constant, the field equations of the gauge potentials with a gravitational energy-momentum tensor as well as with a tensor of the field of a point like source are determined. Finally, a Reissner-Nordstr(o)m-de Sitter-type metric on the gauge group space is obtained.

  4. Axion decay constants at special points in type II string theory

    Honda, Masaki; Otsuka, Hajime

    2016-01-01

    We propose the mechanism to disentangle the decay constant of closed string axion from the string scale in the framework of type II string theory on Calabi-Yau manifold. We find that the quantum and geometrical corrections in the prepotential that arise at some special points in the moduli space widen the window of axion decay constant. In particular, around the small complex structure points, the axion decay constant becomes significantly lower than the string scale. We also discuss the moduli stabilization leading to the phenomenologically attractive low-scale axion decay constant.

  5. A Global View on The Search for de-Sitter Vacua in (type IIA) String Theory

    Chen, Xingang; Sumitomo, Yoske; Tye, S -H Henry

    2011-01-01

    The search for classically stable Type IIA de-Sitter vacua typically starts with an ansatz that gives Anti-de-Sitter supersymmetric vacua and then raises the cosmological constant by modifying the compactification. As one raises the cosmological constant, the couplings typically destabilize the classically stable vacuum, so the probability that this approach will lead to a classically stable de-Sitter vacuum is Gaussianly suppressed. This implies that classically stable de-Sitter vacua in string theory (at least in the Type IIA region), especially those with relatively high cosmological constants, are very rare. The probability that a typical de-Sitter extremum is classically stable (i.e., tachyon-free) is argued to be Gaussianly suppressed as a function of the number of moduli.

  6. T-dualization of type IIB superstring theory in double space

    Nikolić, Bojan

    2015-01-01

    In this article we offer the new interpretation of T-dualization procedure of type IIB superstring theory in double space framework. We use the ghost free action of type IIB superstring in pure spinor formulation in approximation of constant background fields up to the quadratic terms. T-dualization along any subset of the initial coordinates, $x^a$, is equivalent to the permutation of this subset with subset of the corresponding T-dual coordinates, $y_a$, in double space coordinate $Z^M=(x^\\mu,y_\\mu)$. Demanding that the T-dual transformation law after exchange $x^a\\leftrightarrow y_a$ has the same form as initial one, we obtain the T-dual NS-NS and NS-R background fields. The T-dual R-R field strength is determined up to one arbitrary constant under some assumptions.

  7. On the effective theory of type II string compactifications on nilmanifolds and coset spaces

    Caviezel, Claudio

    2009-07-30

    In this thesis we analyzed a large number of type IIA strict SU(3)-structure compactifications with fluxes and O6/D6-sources, as well as type IIB static SU(2)-structure compactifications with fluxes and O5/O7-sources. Restricting to structures and fluxes that are constant in the basis of left-invariant one-forms, these models are tractable enough to allow for an explicit derivation of the four-dimensional low-energy effective theory. The six-dimensional compact manifolds we studied in this thesis are nilmanifolds based on nilpotent Lie-algebras, and, on the other hand, coset spaces based on semisimple and U(1)-groups, which admit a left-invariant strict SU(3)- or static SU(2)-structure. In particular, from the set of 34 distinct nilmanifolds we identified two nilmanifolds, the torus and the Iwasawa manifold, that allow for an AdS{sub 4}, N = 1 type IIA strict SU(3)-structure solution and one nilmanifold allowing for an AdS{sub 4}, N = 1 type IIB static SU(2)-structure solution. From the set of all the possible six-dimensional coset spaces, we identified seven coset spaces suitable for strict SU(3)-structure compactifications, four of which also allow for a static SU(2)-structure compactification. For all these models, we calculated the four-dimensional low-energy effective theory using N = 1 supergravity techniques. In order to write down the most general four-dimensional effective action, we also studied how to classify the different disconnected ''bubbles'' in moduli space. (orig.)

  8. Mild to severe social fears: ranking types of feared social situations using item response theory.

    Crome, Erica; Baillie, Andrew

    2014-06-01

    Social anxiety disorder is one of the most common mental disorders, and is associated with long term impairment, distress and vulnerability to secondary disorders. Certain types of social fears are more common than others, with public speaking fears typically the most prevalent in epidemiological surveys. The distinction between performance- and interaction-based fears has been the focus of long-standing debate in the literature, with evidence performance-based fears may reflect more mild presentations of social anxiety. This study aims to explicitly test whether different types of social fears differ in underlying social anxiety severity using item response theory techniques. Different types of social fears were assessed using items from three different structured diagnostic interviews in four different epidemiological surveys in the United States (n=2261, n=5411) and Australia (n=1845, n=1497); and ranked using 2-parameter logistic item response theory models. Overall, patterns of underlying severity indicated by different fears were consistent across the four samples with items functioning across a range of social anxiety. Public performance fears and speaking at meetings/classes indicated the lowest levels of social anxiety, with increasing severity indicated by situations such as being assertive or attending parties. Fears of using public bathrooms or eating, drinking or writing in public reflected the highest levels of social anxiety. Understanding differences in the underlying severity of different types of social fears has important implications for the underlying structure of social anxiety, and may also enhance the delivery of social anxiety treatment at a population level. PMID:24873885

  9. The early life origin theory in the development of cardiovascular disease and type 2 diabetes.

    Lindblom, Runa; Ververis, Katherine; Tortorella, Stephanie M; Karagiannis, Tom C

    2015-04-01

    Life expectancy has been examined from a variety of perspectives in recent history. Epidemiology is one perspective which examines causes of morbidity and mortality at the population level. Over the past few 100 years there have been dramatic shifts in the major causes of death and expected life length. This change has suffered from inconsistency across time and space with vast inequalities observed between population groups. In current focus is the challenge of rising non-communicable diseases (NCD), such as cardiovascular disease and type 2 diabetes mellitus. In the search to discover methods to combat the rising incidence of these diseases, a number of new theories on the development of morbidity have arisen. A pertinent example is the hypothesis published by David Barker in 1995 which postulates the prenatal and early developmental origin of adult onset disease, and highlights the importance of the maternal environment. This theory has been subject to criticism however it has gradually gained acceptance. In addition, the relatively new field of epigenetics is contributing evidence in support of the theory. This review aims to explore the implication and limitations of the developmental origin hypothesis, via an historical perspective, in order to enhance understanding of the increasing incidence of NCDs, and facilitate an improvement in planning public health policy. PMID:25270249

  10. A sufficient condition for de Sitter vacua in type IIB string theory

    Rummel, Markus [Hamburg Univ. (Germany). 2. Inst. fuer Theoretische Physik; Westphal, Alexander [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany)

    2011-07-15

    We derive a sufficient condition for realizing meta-stable de Sitter vacua with small positive cosmological constant within type IIB string theory flux compactifications with spontaneously broken supersymmetry. There are a number of 'lamp post' constructions of de Sitter vacua in type IIB string theory and supergravity. We show that one of them - the method of 'Kaehler uplifting' by F-terms from an interplay between non-perturbative effects and the leading {alpha}'-correction - allows for a more general parametric understanding of the existence of de Sitter vacua. The result is a condition on the values of the flux induced superpotential and the topological data of the Calabi-Yau compactification, which guarantees the existence of a meta-stable de Sitter vacuum if met. Our analysis explicitly includes the stabilization of all moduli, i.e. the Kaehler, dilaton and complex structure moduli, by the interplay of the leading perturbative and non-perturbative effects at parametrically large volume. (orig.)

  11. A sufficient condition for de Sitter vacua in type IIB string theory

    Rummel, Markus

    2011-01-01

    We derive a sufficient condition for realizing meta-stable de Sitter vacua with small positive cosmological constant within type IIB string theory flux compactifications with spontaneously broken supersymmetry. There are a number of `lamp post' constructions of de Sitter vacua in type IIB string theory and supergravity. We show that one of them -- the method of `K\\"ahler uplifting' by F-terms from an interplay between non-perturbative effects and the leading $\\alpha'$-correction -- allows for a more general parametric understanding of the existence of de Sitter vacua. The result is a condition on the values of the flux induced superpotential and the topological data of the Calabi-Yau compactification, which guarantees the existence of a meta-stable de Sitter vacuum if met. Our analysis explicitly includes the stabilization of all moduli, i.e. the K\\"ahler, dilaton and complex structure moduli, by the interplay of the leading perturbative and non-perturbative effects at parametrically large volume.

  12. A Yang-Mills Type Gauge Theory of Gravity and the Dark Matter and Dark Energy Problems

    Yang, Yi

    2012-01-01

    A Yang-Mills type gauge theory of gravity is shown to have a richer structure than the Einstein's General Theory of Relativity. This new structure can give an explanation of the form of the galactic rotation curves, of the amount of intergalactic gravitational lensing, and of the accelerating expansion of the Universe.

  13. Demonstration of a viable quantitative theory for interplanetary type II radio bursts

    Schmidt, J. M.; Cairns, Iver H.

    2016-03-01

    Between 29 November and 1 December 2013 the two widely separated spacecraft STEREO A and B observed a long lasting, intermittent, type II radio burst for the extended frequency range ≈ 4 MHz to 30 kHz, including an intensification when the shock wave of the associated coronal mass ejection (CME) reached STEREO A. We demonstrate for the first time our ability to quantitatively and accurately simulate the fundamental (F) and harmonic (H) emission of type II bursts from the higher corona (near 11 solar radii) to 1 AU. Our modeling requires the combination of data-driven three-dimensional magnetohydrodynamic simulations for the CME and plasma background, carried out with the BATS-R-US code, with an analytic quantitative kinetic model for both F and H radio emission, including the electron reflection at the shock, growth of Langmuir waves and radio waves, and the radiations propagation to an arbitrary observer. The intensities and frequencies of the observed radio emissions vary hugely by factors ≈ 106 and ≈ 103, respectively; the theoretical predictions are impressively accurate, being typically in error by less than a factor of 10 and 20 %, for both STEREO A and B. We also obtain accurate predictions for the timing and characteristics of the shock and local radio onsets at STEREO A, the lack of such onsets at STEREO B, and the z-component of the magnetic field at STEREO A ahead of the shock, and in the sheath. Very strong support is provided by these multiple agreements for the theory, the efficacy of the BATS-R-US code, and the vision of using type IIs and associated data-theory iterations to predict whether a CME will impact Earth's magnetosphere and drive space weather events.

  14. Simplifying the one loop five graviton amplitude in type IIB string theory

    Basu, Anirban

    2016-01-01

    We consider the D^8 R^5 and D^{10} R^5 terms in the low momentum expansion of the five graviton amplitude in type IIB string theory at one loop. They involve integrals of various modular graph functions over the fundamental domain of SL(2,Z). Unlike the graphs which arise in the four graviton amplitude or at lower orders in the momentum expansion of the five graviton amplitude where the links are given by scalar Green functions, there are several graphs for the D^8 R^5 and D^{10} R^5 terms where two of the links are each given by a derivative of the Green function. Starting with appropriate auxiliary diagrams, we show that these graphs can be expressed in terms of those which do not involve any derivatives. This results in considerable simplification of the amplitude.

  15. Adaptation of learning resources based on the MBTI theory of psychological types

    Amel Behaz

    2012-01-01

    Full Text Available Today, the resources available on the web increases significantly. The motivation for the dissemination of knowledge and their acquisition by learners is central to learning. However, learners show differences between the ways of learning that suits them best. The objective of the work presented in this paper is to study how it is possible to integrate models from cognitive theories and ontologies for the adaptation of educational resources. The goal is to provide the system capabilities to conduct reasoning on descriptions obtained in order to automatically adapt the resources to a learner according to his preferences. We rely on the model MBTI (Myers-Briggs Type Indicator for the consideration of learning styles of learners as a criterion for adaptation.

  16. Quantum field theories with spontaneous symmetry breaking in external gravitational fields of cosmological type

    This chapter argues that an effective mechanism of entropy generation may be provided by a first-order vacuum phase transition in Coleman-Weinberg-type theories. The existence of such a transition solves simultaneously the long-standing homogeneity, isotropy and flatness problems of the standard hot big bang cosmology. Topics considered include the effective potential in an external gravitational field, symmetry behavior in finite volume, the open cosmological model, the closed cosmological model, and entropy generation. The expansion rate of the Universe is assumed to be sufficiently low. It is demonstrated that in the cosmological models with the initial vacuum state, the gravitational field strongly affects the symmetry properties of all quantum-field models. Particle creation, vacuum polarization and the rearrangement of vacuum take place simultaneously at the early stage of evolution, all these phenomena being governed solely by the cosmological gravitational field

  17. Constraining f(R) theories with Type Ia Supernovae and Gamma Ray Bursts

    Cardone, Vincenzo F; Camera, Stefano

    2009-01-01

    Fourth - order gravity theories have received much interest in recent years thanks to their ability to provide an accelerated cosmic expansion in a matter only universe. In these theories, the Lagrangian density of the gravitational field has the form R + f(R), and the explicit choice of the arbitrary function f(R) must meet the local tests of gravity and the constraints from the primordial abundance of the light elements. Two popular classes of f(R) models, which are expected to fulfill all the above requirements, have recently been proposed. However, neither of these models has ever been quantitatively tested against the available astrophysical data. Here, by combining Type Ia Supernovae and Gamma Ray Bursts, we investigate the ability of these models to reproduce the observed Hubble diagram over the redshift range (0, 7). We find that both models fit very well this dataset with the present day values of the matter density and deceleration parameters which agree with previous estimates. However, the strong ...

  18. Mirage models confront the LHC. II. Flux-stabilized type IIB string theory

    Kaufman, Bryan L.; Nelson, Brent D.

    2014-04-01

    We continue the study of a class of string-motivated effective supergravity theories in light of current data from the CERN Large Hadron Collider (LHC). In this installment we consider type IIB string theory compactified on a Calabi-Yau orientifold in the presence of fluxes, in the manner originally formulated by Kachru et al. We allow for a variety of potential uplift mechanisms and embeddings of the Standard Model field content into D3-and D7-brane configurations. We find that an uplift sector independent of the Kähler moduli, as is the case with anti-D3-branes, is inconsistent with data unless the matter and Higgs sectors are localized on D7 branes exclusively, or are confined to twisted sectors between D3-and D7-branes. We identify regions of parameter space for all possible D-brane configurations that remain consistent with Planck observations on the dark matter relic density and measurements of the CP-even Higgs mass at the LHC. Constraints arising from LHC searches at √s =8 TeV and the LUX dark matter detection experiment are discussed. The discovery prospects for the remaining parameter space at dark matter direct-detection experiments are described, and signatures for detection of superpartners at the LHC with √s =14 TeV are analyzed.

  19. Bianchi type I anisotropic universe and stability interacting ghost dark energy in Brans-Dicke theories

    Hossienkhani, Hossien

    2016-01-01

    A spatially homogeneous and anisotropic Bianchi type I universe has been studied with the ghost dark energy (GDE) in the framework of Brans-Dicke theory. For this purpose, we use the squared sound speed $v_s^2$ whose sign determines the stability of the model. At first, we obtain the equation of state parameter, $\\omega_\\Lambda$, the deceleration parameter $q$ and the evolution equation of the ghost dark energy. Then, we extend our study to the case of ghost dark energy in a non-isotropic and Brans-Dicke framework and find out that the transition of $\\omega_\\Lambda$ to the phantom regime can be more easily accounted for than when it is restored into the Einstein field equations. Our numerical result show the effects of the interaction and anisotropic on the evolutionary behaviour the ghost dark energy models. In conclusion, we find evidence that the ghost dark energy in BD theory can lead to a stable universe favored by observations at the present time.

  20. Bianchi type I Universe and instability of new agegraphic dark energy in Brans-Dicke theories

    Fayaz, V.

    2016-02-01

    In this paper, we consider the new agegraphic dark energy (NADE) in a Bianchi type-I metric (which is a spatially homogeneous and anisotropic) in the framework of Brans-Dicke theory. For this purpose, we use the squared sound speed vs2 whose sign determines the stability of the model. We explore the stability of this model in the presence/absence of interaction between dark energy and dark matter in both flat and non-isotropic geometry. The equation of state and the deceleration parameter of the new agegraphic dark energy in a anisotropic Universe is obtained. We show that the combination of Brans-Dicke field and new agegraphic dark energy can accommodate ω_{\\varLambda}=-1 crossing for the equation of state of noninteracting dark energy. When an interaction between dark energy and dark matter is taken into account, the transition of ω_{\\varLambda} to phantom regime can be more easily accounted when the Einstein field equations is being resort. In conclusion, we find evidences that the new agegraphic dark energy in BD theory can not lead to a stable Universe favored by observations at the present time. The anisotropy of the Universe decreases and the Universe transits to an isotropic flat FRW Universe accommodating the present acceleration.

  1. Engineering of Quantum Hall Effect from Type IIA String Theory on The K3 Surface

    Belhaj, Adil

    2010-01-01

    Using D-brane configurations on the K3 surface, we give six dimensional type IIA stringy realizations of the Quantum Hall Effect (QHE) in 1+2 dimensions. Based on the vertical and horizontal lines of the K3 Hodge diamond, we engineer two different stringy realizations. The vertical line presents a realization in terms of D2 and D6-branes wrapping the K3 surface. The horizontal one is associated with hierarchical stringy descriptions obtained from a quiver gauge theory living on a stack of D4-branes wrapping intersecting 2-spheres embedded in the K3 surface with deformed singularities. These geometries are classified by three kinds of the Kac-Moody algebras: ordinary, i.e finite dimensional, affine and indefinite. We find that no stringy QHE in 1+2 dimensions can occur in the quiver gauge theory living on intersecting 2-spheres arranged as affine Dynkin diagrams. Stringy realizations of QHE can be done only for the finite and indefinite geometries. In particular, the finite Lie algebras give models with fracti...

  2. Mirage Models Confront the LHC: II. Flux-Stabilized Type IIB String Theory

    Kaufman, Bryan

    2013-01-01

    We continue the study of a class of string-motivated effective supergravity theories in light of current data from the CERN Large Hadron Collider (LHC). In this installment we consider Type IIB string theory compactified on a Calabi-Yau orientifold in the presence of fluxes, in the manner originally formulated by Kachru, et al. We allow for a variety of potential uplift mechanisms and embeddings of the Standard Model field content into D3 and D7 brane configurations. We find that an uplift sector independent of the Kahler moduli, as is the case with anti-D3 branes, is inconsistent with data unless the matter and Higgs sectors are localized on D7 branes exclusively, or are confined to twisted sectors between D3 and D7 branes. We identify regions of parameter space for all possible D-brane configurations that remain consistent with PLANCK observations on the dark matter relic density and measurements of the CP-even Higgs mass at the LHC. Constraints arising from LHC searches at 8 TeV center-of-mass energies, an...

  3. Topological and geometrical quantum computation in cohesive Khovanov homotopy type theory

    Ospina, Juan

    2015-05-01

    The recently proposed Cohesive Homotopy Type Theory is exploited as a formal foundation for central concepts in Topological and Geometrical Quantum Computation. Specifically the Cohesive Homotopy Type Theory provides a formal, logical approach to concepts like smoothness, cohomology and Khovanov homology; and such approach permits to clarify the quantum algorithms in the context of Topological and Geometrical Quantum Computation. In particular we consider the so-called "open-closed stringy topological quantum computer" which is a theoretical topological quantum computer that employs a system of open-closed strings whose worldsheets are open-closed cobordisms. The open-closed stringy topological computer is able to compute the Khovanov homology for tangles and for hence it is a universal quantum computer given than any quantum computation is reduced to an instance of computation of the Khovanov homology for tangles. The universal algebra in this case is the Frobenius Algebra and the possible open-closed stringy topological quantum computers are forming a symmetric monoidal category which is equivalent to the category of knowledgeable Frobenius algebras. Then the mathematical design of an open-closed stringy topological quantum computer is involved with computations and theorem proving for generalized Frobenius algebras. Such computations and theorem proving can be performed automatically using the Automated Theorem Provers with the TPTP language and the SMT-solver Z3 with the SMT-LIB language. Some examples of application of ATPs and SMT-solvers in the mathematical setup of an open-closed stringy topological quantum computer will be provided.

  4. Cultivating New-type Farmers Based on the Theory of Human Resources Development

    2010-01-01

    Under the direction of theory of human resources development,this thesis analyzes the impact of rural human resources development oncultivating new-type farmers.Firstly,it increases the input of rural basic education;secondly,it reinforces the vocational education and technologytraining;thirdly,it promotes the rural medical and public health services;fourthly,it quickens the rural labor transfer.The status quo of China’s ruralhuman resources has been analyzed as follows:in terms of the quantity of rural human resources,the status quo is large and quick-developed baseof rural human resources,high labor participatory rate,and constitution of low age;in terms of the quality of rural human resources,the status quois the ubiquitous low quality of rural human resources,low technological level of rural human resources,and overall low physical quality of farmers;in terms of the structure of rural human resources,the status quo is the irrational industrial structure distribution and imbalanced regional structuredistribution.The thesis also discusses the edification of theory of human resources development in cultivating new-type farmers.First,in terms ofthe control over quantity of rural human resources,it is to keep the stability of family planning policy,and expedite the transfer of rural surplus la-bor;second,in terms of promoting the quality of rural human resources,it is to bolster the development of reserve rural labor force resources,toconstruct the adult educational training system with Chinese characteristics,and to build rural primary health care system;third,in terms of adjus-ting the structure of rural human resources,it is to perfect rural human resources market,and adjust rural economical structure and talents struc-ture.

  5. Critical phenomena in dynamical Ising-typed thin films by effective-field theory

    The stationary state solutions of the Ising-typed thin films with different layers in the presence of an external oscillatory field are examined within the effective-field theory. The study focuses on the effects of external field frequency and amplitude on the overall behavior. Particular attention is paid on evolution of the special point with dynamic field frequency corresponding to critical temperature of the three-dimensional infinite bulk system where the surface and modified exchange parameters are of no importance. Some findings such as surface enhancement phenomenon and effect of thickness on the dynamic process are introduced together with some other well known characteristics. An attempt is made to explain the relations between the competing time scales (intrinsic microscopic relaxation time of the system and the time period of the external oscillatory field) and frequency dispersion of the critical temperature coordinate of the special point. - Highlights: • Dynamical ferromagnetic Ising-type thin films were examined. • Variation of dynamical order parameters with temperature was plotted. • The profiles of average magnetizations on each layer were presented. • Dynamic phase boundaries were plotted in related planes. • The frequency dispersion of the related coordinate of special point was propounded

  6. A Review of Different Types of Subsidies and How They Work in Theory

    Kampungu; K.Gerson; Han; Feng

    2013-01-01

    This paper gives a brief review on types of subsidies and how they work in theory.The paper identified three types of subsidies:subsidies that increase revenue,subsidies that lower the cost of production,and subsidies that are not linked to production or input.With the use of graphic examples to describe the partial effects of subsidies on supply and demand,the following findings were obtained:one,for producers to sell more,they will need to produce more,and in order to produce more,a higher input level is required,which depends on the marginal productivity of the inputs;two,the larger the elasticity for supply and demand of input(the more responsive supply and demand are to changes in the price of the input),the larger quantity of input used for a given level of support,and thereby increasing the associated environmental damage from the use of that particular input;three,for a given demand curve,a shallow supply curve(reflecting a large price elasticity of supply)will yield larger volume effects in response to a certain change in price compared to a steep supply curve and vise a verse.Finally,the study found input subsidy as an example of subsidies that lower the cost of production,and direct income support or unconditional lump sum support to an industry as an example of subsidies that are not linked to production or input.

  7. Understanding physical activity intentions among French Canadians with type 2 diabetes: an extension of Ajzen's theory of planned behaviour

    Godin Gaston; Boudreau François

    2009-01-01

    Abstract Background Regular physical activity is considered a cornerstone for managing type 2 diabetes. However, in Canada, most individuals with type 2 diabetes do not meet national physical activity recommendations. When designing a theory-based intervention, one should first determine the key determinants of physical activity for this population. Unfortunately, there is a lack of information on this aspect among adults with type 2 diabetes. The purpose of this cross-sectional study is to f...

  8. Campbelling-type theory of fission chamber signals generated by neutron chains in a multiplying medium

    The signals of fission chambers are usually evaluated with the help of the co-called Campbelling techniques. These are based on the Campbell theorem, which states that if the primary incoming events, generating the detector pulses, are independent, then relationships exist between the moments of various orders of the signal in the current mode. This gives the possibility to determine the mean value of the intensity of the detection events, which is proportional to the static flux, from the higher moments of the detector current, which has certain advantages. However, the main application area of fission chambers is measurements in power reactors where, as is well known, the individual detection events are not independent, due to the branching character of the neutron chains (neutron multiplication). Therefore it is of interest to extend the Campbelling-type theory for the case of correlated neutron events. Such a theory could address two questions: partly, to investigate the bias when the traditional Campbell techniques are used for correlated incoming events; and partly, to see whether the correlation properties of the detection events, which carry information on the multiplying medium, could be extracted from the measurements. This paper is devoted to the investigation of these questions. The results show that there is a potential possibility to extract the same information from fission chamber signals in the current mode as with the Rossi- or Feynman-alpha methods, or from coincidence and multiplicity measurements, which so far have required detectors working in the pulse mode. It is also shown that application of the standard Campbelling techniques to neutron detection in multiplying systems does not lead to an error for estimating the stationary flux as long as the detector is calibrated in in situ measurements

  9. Non-perturbative black holes in Type-IIA String Theory versus the No-Hair conjecture

    We obtain the first black hole solution to Type-IIA String Theory compactified on an arbitrary self-mirror Calabi–Yau manifold in the presence of non-perturbative quantum corrections. Remarkably enough, the solution involves multivalued functions, which could lead to a violation of the No-Hair conjecture. We discuss how String Theory forbids such scenario. However, the possibility still remains open in the context of four-dimensional ungauged Supergravity. (paper)

  10. (2,2) and (0,4) Supersymmetric Boundary Conditions in 3d N = 4 Theories and Type IIB Branes

    Chung, Hee-Joong

    2016-01-01

    The half-BPS boundary conditions preserving N = (2,2) and N = (0,4) supersymmetry in 3d N = 4 supersymmetric gauge theories are examined. The BPS equations admit decomposition of the bulk supermultiplets into specific boundary supermultiplets of preserved supersymmetry. Bogomolony-like equations and Nahm-like equations arise in the vector multiplet BPS boundary conditions and Robin-type boundary conditions appear for the hypermultiplet coupled to vector multiplet. The half-BPS boundary conditions are realized in the brane configurations of Type IIB string theory.

  11. Psychosocial correlates of dietary behaviour in type 2 diabetic women, using a behaviour change theory.

    Didarloo, A; Shojaeizadeh, D; Gharaaghaji Asl, R; Niknami, S; Khorami, A

    2014-06-01

    The study evaluated the efficacy of the Theory of Reasoned Action (TRA), along with self-efficacy to predict dietary behaviour in a group of Iranian women with type 2 diabetes. A sample of 352 diabetic women referred to Khoy Diabetes Clinic, Iran, were selected and given a self-administered survey to assess eating behaviour, using the extended TRA constructs. Bivariate correlations and Enter regression analyses of the extended TRA model were performed with SPSS software. Overall, the proposed model explained 31.6% of variance of behavioural intention and 21.5% of variance of dietary behaviour. Among the model constructs, self-efficacy was the strongest predictor of intentions and dietary practice. In addition to the model variables, visit intervals of patients and source of obtaining information about diabetes from sociodemographic factors were also associated with dietary behaviours of the diabetics. This research has highlighted the relative importance of the extended TRA constructs upon behavioural intention and subsequent behaviour. Therefore, use of the present research model in designing educational interventions to increase adherence to dietary behaviours among diabetic patients was recommended and emphasized. PMID:25076670

  12. Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for Polynomial Transforms Based on Induction

    Sandryhaila, Aliaksei; Pueschel, Markus

    2010-01-01

    A polynomial transform is the multiplication of an input vector $x\\in\\C^n$ by a matrix $\\PT_{b,\\alpha}\\in\\C^{n\\times n},$ whose $(k,\\ell)$-th element is defined as $p_\\ell(\\alpha_k)$ for polynomials $p_\\ell(x)\\in\\C[x]$ from a list $b=\\{p_0(x),\\dots,p_{n-1}(x)\\}$ and sample points $\\alpha_k\\in\\C$ from a list $\\alpha=\\{\\alpha_0,\\dots,\\alpha_{n-1}\\}$. Such transforms find applications in the areas of signal processing, data compression, and function interpolation. Important examples include the discrete Fourier and cosine transforms. In this paper we introduce a novel technique to derive fast algorithms for polynomial transforms. The technique uses the relationship between polynomial transforms and the representation theory of polynomial algebras. Specifically, we derive algorithms by decomposing the regular modules of these algebras as a stepwise induction. As an application, we derive novel $O(n\\log{n})$ general-radix algorithms for the discrete Fourier transform and the discrete cosine transform of type 4.

  13. Chern class identities from tadpole matching in type IIB and F-theory

    In light of Sen's weak coupling limit of F-theory as a type IIB orientifold, the compatibility of the tadpole conditions leads to a non-trivial identity relating the Euler characteristics of an elliptically fibered Calabi-Yau fourfold and of certain related surfaces. We present the physical argument leading to the identity, and a mathematical derivation of a Chern class identity which confirms it, after taking into account singularities of the relevant loci. This identity of Chern classes holds in arbitrary dimension, and for varieties that are not necessarily Calabi-Yau. Singularities are essential in both the physics and the mathematics arguments: the tadpole relation may be interpreted as an identity involving stringy invariants of a singular hypersurface, and corrections for the presence of pinch-points. The mathematical discussion is streamlined by the use of Chern-Schwartz-MacPherson classes of singular varieties. We also show how the main identity may be obtained by applying 'Verdier specialization' to suitable constructible functions.

  14. From Peierls brackets to a generalized Moyal bracket for type-I gauge theories

    Esposito, G; Esposito, Giampiero; Stornaiolo, Cosimo

    2006-01-01

    In the space-of-histories approach to gauge fields and their quantization, the Maxwell, Yang--Mills and gravitational field are well known to share the property of being type-I theories, i.e. Lie brackets of the vector fields which leave the action functional invariant are linear combinations of such vector fields, with coefficients of linear combination given by structure constants. The corresponding gauge-field operator in the functional integral for the in-out amplitude is an invertible second-order differential operator. For such an operator, we consider advanced and retarded Green functions giving rise to a Peierls bracket among group-invariant functionals. Our Peierls bracket is a Poisson bracket on the space of all group-invariant functionals in two cases only: either the gauge-fixing is arbitrary but the gauge fields lie on the dynamical sub-space; or the gauge-fixing is a linear functional of gauge fields, which are generic points of the space of histories. In both cases, the resulting Peierls bracke...

  15. MAMA Software Features: Visual Examples of Quantification

    Ruggiero, Christy E. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Porter, Reid B. [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

    2014-05-20

    This document shows examples of the results from quantifying objects of certain sizes and types in the software. It is intended to give users a better feel for some of the quantification calculations, and, more importantly, to help users understand the challenges with using a small set of ‘shape’ quantification calculations for objects that can vary widely in shapes and features. We will add more examples to this in the coming year.

  16. Semi-quantification of endolymphatic size on MR imaging after intravenous injection of single-dose gadodiamide. Comparison between two types of processing strategies

    Many inner ear disorders, including Meniere's disease, are believed to be based on endolymphatic hydrops. We evaluated a newly proposed method for semi-quantification of endolymphatic size in patients with suspected endolymphatic hydrops that uses 2 kinds of processed magnetic resonance (MR) images. Twenty-four consecutive patients underwent heavily T2-weighted (hT2W) MR cisternography (MRC), hT2W 3-dimensional (3D) fluid-attenuated inversion recovery (FLAIR) with inversion time of 2250 ms (positive perilymph image, PPI), and hT2W-3D-IR with inversion time of 2050 ms (positive endolymph image, PEI) 4 hours after intravenous administration of single-dose gadolinium-based contrast material (IV-SD-GBCM). Two images were generated using 2 new methods to process PPI, PEI, and MRC. Three radiologists contoured the cochlea and vestibule on MRC, copied regions of interest (ROIs) onto the 2 kinds of generated images, and semi-quantitatively measured the size of the endolymph for the cochlea and vestibule by setting a threshold pixel value. Each observer noted a strong linear correlation between endolymphatic size of both the cochlea and vestibule of the 2 kinds of generated images. The Pearson correlation coefficients (r) were 0.783, 0.734, and 0.800 in the cochlea and 0.924, 0.930, and 0.933 in the vestibule (P<0.001, for all). In both the cochlea and vestibule, repeated-measures analysis of variance showed no statistically significant difference between observers. Use of the 2 kinds of generated images generated from MR images obtained 4 hours after IV-SD-GBCM might enable semi-quantification of endolymphatic size with little observer dependency. (author)

  17. Kendall's Shape Statistics as a Classical Realization of Barbour-type Timeless Records Theory approach to Quantum Gravity

    Anderson, Edward

    2013-01-01

    I already showed that Kendall's shape geometry work was the geometrical description of Barbour's relational mechanics' reduced configuration spaces (alias shape spaces). I now describe the extent to which Kendall's subsequent statistical application to such as the `standing stones problem' realizes further ideas along the lines of Barbour-type timeless records theories, albeit just at the classical level.

  18. Kendall's Shape Statistics as a Classical Realization of Barbour-type Timeless Records Theory approach to Quantum Gravity

    Anderson, Edward

    2013-01-01

    I previously showed that Kendall's work on shape geometry is in fact also the geometrical description of Barbour's relational mechanics' reduced configuration spaces (alias shape spaces). I now describe the extent to which Kendall's subsequent statistical application to e.g. the `standing stones problem' realizes further ideas along the lines of Barbour-type timeless records theories, albeit just at the classical level.

  19. Theory and experiment of an inertia-type vertical isolation system for seismic protection of equipment

    Lu, Lyan-Ywan; Chen, Pei-Rong; Pong, Kuan-Wen

    2016-03-01

    Although it has been proven that seismic isolation is an effective technology for seismic protection of structures and equipment, most existing isolation systems are for mitigating horizontal ground motions, and in practice there are very few vertical isolation systems. Part of the reason is due to the conflict with regard to the demand for isolation stiffness. In other words, a vertical isolation system must have sufficient vertical rigidity to sustain the weight of the isolated object, while it must also have sufficient flexibility in order to elongate the vibration period under seismic excitation. In order to overcome this difficulty, a novel system is proposed in this study, called an inertia-type vertical isolation system (IVIS). The primary difference between the IVIS and a traditional system is that the former has an additional leverage mechanism with a counterweight. The counterweight will provide a static uplifting force and an extra dynamic inertia force, such that the effective vertical stiffness of the IVIS becomes higher in its static state and lower in the dynamic one. The theory underlying the IVIS is developed and verified experimentally by a seismic simulation test in this work. The results show that the IVIS leads to a less static settlement and at the same time a lower effective isolation frequency. The test results also demonstrate that the isolator displacement demand of the IVIS is only about 30-40 percent that of the traditional one in all kinds of earthquakes. With regard to the reduction of acceleration response, the IVIS is particularly effective for near-fault earthquakes or near-resonant excitations, but is less effective for far-field earthquakes with more high-frequency contents, as compared with the traditional system.

  20. Quantification of human responses

    Steinlage, R. C.; Gantner, T. E.; Lim, P. Y. W.

    1992-01-01

    Human perception is a complex phenomenon which is difficult to quantify with instruments. For this reason, large panels of people are often used to elicit and aggregate subjective judgments. Print quality, taste, smell, sound quality of a stereo system, softness, and grading Olympic divers and skaters are some examples of situations where subjective measurements or judgments are paramount. We usually express what is in our mind through language as a medium but languages are limited in available choices of vocabularies, and as a result, our verbalizations are only approximate expressions of what we really have in mind. For lack of better methods to quantify subjective judgments, it is customary to set up a numerical scale such as 1, 2, 3, 4, 5 or 1, 2, 3, ..., 9, 10 for characterizing human responses and subjective judgments with no valid justification except that these scales are easy to understand and convenient to use. But these numerical scales are arbitrary simplifications of the complex human mind; the human mind is not restricted to such simple numerical variations. In fact, human responses and subjective judgments are psychophysical phenomena that are fuzzy entities and therefore difficult to handle by conventional mathematics and probability theory. The fuzzy mathematical approach provides a more realistic insight into understanding and quantifying human responses. This paper presents a method for quantifying human responses and subjective judgments without assuming a pattern of linear or numerical variation for human responses. In particular, quantification and evaluation of linguistic judgments was investigated.

  1. Advances in type-2 fuzzy sets and systems theory and applications

    Mendel, Jerry; Tahayori, Hooman

    2013-01-01

    This book explores recent developments in the theoretical foundations and novel applications of general and interval type-2 fuzzy sets and systems, including: algebraic properties of type-2 fuzzy sets, geometric-based definition of type-2 fuzzy set operators, generalizations of the continuous KM algorithm, adaptiveness and novelty of interval type-2 fuzzy logic controllers, relations between conceptual spaces and type-2 fuzzy sets, type-2 fuzzy logic systems versus perceptual computers; modeling human perception of real world concepts with type-2 fuzzy sets, different methods for generating membership functions of interval and general type-2 fuzzy sets, and applications of interval type-2 fuzzy sets to control, machine tooling, image processing and diet.  The applications demonstrate the appropriateness of using type-2 fuzzy sets and systems in real world problems that are characterized by different degrees of uncertainty.

  2. Elastic properties of lotus-type porous iron: acoustic measurement and extended effective-mean-field theory

    We studied the elastic properties of lotus-type porous iron experimentally and theoretically. First we determined the elastic constants of lotus iron fabricated by the continuous zone-melting method by using the acoustic resonance techniques. All the elastic moduli are found to follow the well-known power-law formula. Next, we extended the effective-mean-field (EMF) theory so as to consider effects of the pore orientation on the effective elastic constants. The model calculations proved that the extended EMF theory is capable of calculating satisfactorily the elastic properties of lotus metals

  3. Two types of conservation laws. Connection of physical fields with material systems. Peculiarities of field theories

    Petrova, L I

    2008-01-01

    Historically it happen so that in branches of physics connected with field theory and of physics of material systems (continuous media) the concept of "conservation laws" has a different meaning. In field theory "conservation laws" are those that claim the existence of conservative physical quantities or objects. These are conservation laws for physical fields. In contrast to that in physics (and mechanics) of material systems the concept of "conservation laws" relates to conservation laws for energy, linear momentum, angular momentum, and mass that establish the balance between the change of physical quantities and external action. In the paper presented it is proved that there exist a connection between of conservation laws for physical fields and those for material systems. This points to the fact that physical fields are connected with material systems. Such results has an unique significance for field theories. This enables one to substantiate many basic principles of field theories, such as, for example...

  4. Fitting the luminosity data from type Ia supernovae in the frame of the Cosmic Defect theory

    Tartaglia, A; Cardone, V; Radicella, N

    2008-01-01

    The Cosmic Defect (CD) theory is reviewed and used to fit the data for the accelerated expansion of the universe, obtained from the apparent luminosity of 192 SnIa's. The fit from CD is compared with the one obtained by means of $\\Lambda $CDM. The results from both theories are in good agreement and the fits are satisfactory. The correspondence between both approaches is discussed and interpreted.

  5. Spectral analysis of polynomial potentials and its relation with ABJ/M-type theories

    We obtain a general class of polynomial potentials for which the Schroedinger operator has a discrete spectrum. This class includes all the scalar potentials in membrane, 5-brane, p-branes, multiple M2 branes, BLG and ABJM theories. We provide a proof of the discreteness of the spectrum of the associated Schroedinger operators. This is the first step in order to analyze BLG and ABJM supersymmetric theories from a non-perturbative point of view.

  6. Spectral analysis of polynomial potentials and its relation with ABJ/M-type theories

    Garcia del Moral, M.P., E-mail: garciamormaria@uniovi.e [Departamento de Fisica, Universidad de Oviedo, Calvo Sotelo 18, 33007 Oviedo (Spain); Martin, I., E-mail: isbeliam@usb.v [Departamento de Fisica, Universidad Simon Bolivar, Apartado 89000, Caracas 1080-A (Venezuela, Bolivarian Republic of); Navarro, L., E-mail: lnavarro@ma.usb.v [Departamento de Matematicas, Universidad Simon Bolivar, Apartado 89000, Caracas 1080-A (Venezuela, Bolivarian Republic of); Perez, A.J., E-mail: ajperez@ma.usb.v [Departamento de Matematicas, Universidad Simon Bolivar, Apartado 89000, Caracas 1080-A (Venezuela, Bolivarian Republic of); Restuccia, A., E-mail: arestu@usb.v [Departamento de Fisica, Universidad Simon Bolivar, Apartado 89000, Caracas 1080-A (Venezuela, Bolivarian Republic of)

    2010-11-01

    We obtain a general class of polynomial potentials for which the Schroedinger operator has a discrete spectrum. This class includes all the scalar potentials in membrane, 5-brane, p-branes, multiple M2 branes, BLG and ABJM theories. We provide a proof of the discreteness of the spectrum of the associated Schroedinger operators. This is the first step in order to analyze BLG and ABJM supersymmetric theories from a non-perturbative point of view.

  7. Exact combinatorics of Bern-Kosower-type amplitudes for two-loop Φ3 theory

    Counting the contribution rate of a world-line formula to Feynman diagrams in φ3 theory, we explain the idea of how to determine precise combinatorics of Bern-Kosower-like amplitudes derived from a bosonic string theory for N-point two-loop Feynman amplitudes. In this connection we also present a method to derive simple and compact world-line forms for the effective action. (orig.)

  8. Two types of conservation laws. Connection of physical fields with material systems. Peculiarities of field theories

    Petrova, L. I.

    2008-01-01

    Historically it happen so that in branches of physics connected with field theory and of physics of material systems (continuous media) the concept of "conservation laws" has a different meaning. In field theory "conservation laws" are those that claim the existence of conservative physical quantities or objects. These are conservation laws for physical fields. In contrast to that in physics (and mechanics) of material systems the concept of "conservation laws" relates to conservation laws fo...

  9. Landauer-type transport theory for interacting quantum wires: Application to carbon nanotube Y junctions

    Chen, S.; Trauzettel, B.; Egger, R.

    2002-01-01

    We propose a Landauer-like theory for nonlinear transport in networks of one-dimensional interacting quantum wires (Luttinger liquids). A concrete example of current experimental focus is given by carbon nanotube Y junctions. Our theory has three basic ingredients that allow to explicitly solve this transport problem: (i) radiative boundary conditions to describe the coupling to external leads, (ii) the Kirchhoff node rule describing charge conservation, and (iii) density matching conditions ...

  10. Landauer-Type Transport Theory for Interacting Quantum Wires: Application to Carbon Nanotube Y Junctions

    Chen, S.; Trauzettel, B.; Egger, R.

    2002-11-01

    We propose a Landauerlike theory for nonlinear transport in networks of one-dimensional interacting quantum wires (Luttinger liquids). A concrete example of current experimental focus is given by carbon nanotube Y junctions. Our theory has three basic ingredients that allow one to explicitly solve this transport problem: (i) radiative boundary conditions to describe the coupling to external leads, (ii) the Kirchhoff node rule describing charge conservation, and (iii) density matching conditions at every node.

  11. Extension Theory and Krein-type Resolvent Formulas for Nonsmooth Boundary Value Problems

    Abels, Helmut; Grubb, Gerd; Wood, Ian Geoffrey

    2014-01-01

    The theory of selfadjoint extensions of symmetric operators, and more generally the theory of extensions of dual pairs, was implemented some years ago for boundary value problems for elliptic operators on smooth bounded domains. Recently, the questions have been taken up again for nonsmooth domai...... analyze resolvents, Poisson solution operators and Dirichlet-to-Neumann operators in this way, also in Sobolev spaces of negative order....

  12. Understanding physical activity intentions among French Canadians with type 2 diabetes: an extension of Ajzen's theory of planned behaviour

    Boudreau, François; Godin, Gaston

    2009-01-01

    Background Regular physical activity is considered a cornerstone for managing type 2 diabetes. However, in Canada, most individuals with type 2 diabetes do not meet national physical activity recommendations. When designing a theory-based intervention, one should first determine the key determinants of physical activity for this population. Unfortunately, there is a lack of information on this aspect among adults with type 2 diabetes. The purpose of this cross-sectional study is to fill this gap using an extended version of Ajzen's Theory of Planned Behavior (TPB) as reference. Methods A total of 501 individuals with type 2 diabetes residing in the Province of Quebec (Canada) completed the study. Questionnaires were sent and returned by mail. Results Multiple hierarchical regression analyses indicated that TPB variables explained 60% of the variance in intention. The addition of other psychosocial variables in the model added 7% of the explained variance. The final model included perceived behavioral control (β = .38, p < .0001), moral norm (β = .29, p < .0001), and attitude (β = .14, p < .01). Conclusion The findings suggest that interventions aimed at individuals with type 2 diabetes should ensure that people have the necessary resources to overcome potential obstacles to behavioral performance. Interventions should also favor the development of feelings of personal responsibility to exercise and promote the advantages of exercising for individuals with type 2 diabetes. PMID:19531261

  13. Understanding physical activity intentions among French Canadians with type 2 diabetes: an extension of Ajzen's theory of planned behaviour

    Godin Gaston

    2009-06-01

    Full Text Available Abstract Background Regular physical activity is considered a cornerstone for managing type 2 diabetes. However, in Canada, most individuals with type 2 diabetes do not meet national physical activity recommendations. When designing a theory-based intervention, one should first determine the key determinants of physical activity for this population. Unfortunately, there is a lack of information on this aspect among adults with type 2 diabetes. The purpose of this cross-sectional study is to fill this gap using an extended version of Ajzen's Theory of Planned Behavior (TPB as reference. Methods A total of 501 individuals with type 2 diabetes residing in the Province of Quebec (Canada completed the study. Questionnaires were sent and returned by mail. Results Multiple hierarchical regression analyses indicated that TPB variables explained 60% of the variance in intention. The addition of other psychosocial variables in the model added 7% of the explained variance. The final model included perceived behavioral control (β = .38, p Conclusion The findings suggest that interventions aimed at individuals with type 2 diabetes should ensure that people have the necessary resources to overcome potential obstacles to behavioral performance. Interventions should also favor the development of feelings of personal responsibility to exercise and promote the advantages of exercising for individuals with type 2 diabetes.

  14. Viscopolasticity theory based on overstress: The modeling of ratchetting and cyclic hardening of AISI type 304 stainless steel

    The small-strain, isotropic viscoplasticity theory based on overstress (VBO) is used. The theory is of the unified type and does not employ yield or loading/unloading criteria. The inelastic strain rate is a function of the overstress, the difference between the stress and the equilibrium stress, which is a state variable of the theory. Its growth law is the repository for modeling nearly elastic regions and hysteresis. Under constant strain rate loading, the theory admits asymptotic solutions, which show that the stress is composed of viscous, rate-independent (plastic) and kinematic contributions. For the modeling of cyclic hardening, a growth law for the rate-independent contribution to the stress is formulated. It models a different type of growth for proportional and nonproportional as well as cyclic and monotonic loadings. Numerical experiments for homogeneous states of stress are performed by intergrating the stiff, nonlinear ordinary differential equations using the IMSL routine DGEAR. They demonstrate the modeling capabilities for step-down and step-up two-amplitude loadings, for proportional and nonproportional cyclic loading including elliptical and square paths as well as for ratchetting. (orig./MM)

  15. Efficacy of an Intervention Based on the Theory of Planned Behavior on Foot Care Performance in Type II Diabetic Patients

    Beiranvand; Asadizaker; Fayazi; Yaralizadeh

    2015-01-01

    Background It is known that health education on foot care is a common strategy for preventing diabetic foot and reducing the rate of lower limb amputation. Objectives To evaluate the efficacy of an intervention based on the theory of planned behavior for improving foot care in patients with type II diabetes in 2013 in Ahvaz, Iran. Patients and Methods In this clinical trial, 69 pat...

  16. Microscopic entropy of the most general BPS black hole for type II/M-theory on torii

    In the present dissertation we review the statistical computation of the entropy for the most general static BPS black hole solution in the framework of toroidally compactified type II/M-theory. This achievement is inscribed within a research project aimed to the study of the microscopic properties of this kind of solutions in relation to U-duality invariants (e.g. the entropy) computed on the corresponding macroscopic (supergravity) description. (orig.)

  17. In situ wave phenomena in the upstream and downstream regions of interplanetary shocks: Implications for type 2 burst theories

    Thejappa, G.; MacDowall, R. J.; Vinas, A. F.

    1997-01-01

    The results are presented of in situ waves observed by the Ulyssess unified radio and plasma wave experiment (URAP) in the upstream and downstream regions of a large number of interplanetary shocks. The Langmuir waves which are the most essential ingredients for the type 2 radio emission are observed only in the upstream regions of a limited number of shocks. On the other hand, the ion-acoustic-like waves (0.5 to 5 kHz) are observed near most of the interplanetary shocks. Implications of observations made for the electron acceleration mechanisms at the collisionless shocks and for type 2 burst theories are presented.

  18. Inflation and Singularity of a Bianchi Type-Ⅶ0 Universe with a Dirac Field in the Einstein-Cartan Theory

    HUANG Zeng-Guang; FANG Wei; LU Hui-Qing

    2011-01-01

    @@ We discuss Bianchi type-Ⅶ0 cosmology with a Dirac field in the Einstein-Cartan(E-C) theory and obtain the equations of the Dirac and gravitational fields in the E-C theory.A Bianchi type-Ⅶ0 inflationary solution is found.When(3/16)S2-σ2>0, the Universe may avoid singularity.

  19. Comparison of two high-throughput assays for quantification of adenovirus type 5 neutralizing antibodies in a population of donors in China.

    Qiang Liu

    Full Text Available BACKGROUND: The presence of various levels of Adenovirus serotype 5 neutralizing antibodies (Ad5NAb is thought to contribute to the inconsistent clinical results obtained from vaccination and gene therapy studies. Currently, two platforms based on high-throughput technology are available for Ad5NAb quantification, chemiluminescence- and fluorescence-based assays. The aim of this study was to compare the results of two assays in the seroepidemiology of Ad5NAb in a local population of donors. METHODOLOGY/PRINCIPAL FINDINGS: The fluorescence-based neutralizing antibody detection test (FRNT using recombinant Ad5-EGFP virus and the chemiluminescence-based neutralizing antibody test (CLNT using Ad5-Fluc were developed and standardized for detecting the presence of Ad5NAb in serum samples from the population of donors in Beijing and Anhui provinces, China. First, the overall percentage of people positive for Ad5NAb performed by CLNT was higher than that obtained by FRNT (85.4 vs 69.9%, p<0.001. There was an 84.5% concordance between the two assays for the 206 samples tested (144 positive in both assays and 30 negative in both assays. All 32 discordant sera were CLNT-positive/FRNT-negative and were confirmed positive by western blot. Secondly, for all 144 sera positive by both assays, the two assays showed high correlation (r = 0.94, p<0.001 and close agreement (mean difference: 0.395 log(10, 95% CI: -0.054 log(10 to 0.845 log(10. Finally, it was found by both assays that there was no significant difference observed for titer or prevalence by gender (p = 0.503 vs 0.818, for two assays; however, age range (p = 0.049 vs 0.010 and geographic origin (p = 0.007 vs 0.011 were correlated with Ad5NAb prevalence in northern regions of China. CONCLUSION: The CLNT assay was relatively more simple and had higher sensitivity than the FRNT assay for determining Ad5NAb titers. It is strongly suggested that the CLNT assay be used for future

  20. Communication: Cosolvency and cononsolvency explained in terms of a Flory-Huggins type theory

    Standard Flory-Huggins (FH) theory is utilized to describe the enigmatic cosolvency and cononsolvency phenomena for systems of polymers dissolved in mixed solvents. In particular, phase boundaries (specifically upper critical solution temperature spinodals) are calculated for solutions of homopolymers B in pure solvents and in binary mixtures of small molecule liquids A and C. The miscibility (or immiscibility) patterns for the ternary systems are classified in terms of the FH binary interaction parameters (χαβ) and the ratio r = ϕA/ϕC of the concentrations ϕA and ϕC of the two solvents. The trends in miscibility are compared to those observed for blends of random copolymers (AxC1−x) with homopolymers (B) and to those deduced for A/B/C solutions of polymers B in liquid mixtures of small molecules A and C that associate into polymeric clusters (ApCq)i, (i = 1, 2, …, ∞). Although the classic FH theory is able to explain cosolvency and cononsolvency phenomena, the theory does not include a consideration of the mutual association of the solvent molecules and the competitive association between the solvent molecules and the polymer. These interactions can be incorporated in refinements of the FH theory, and the present paper provides a foundation for such extensions for modeling the rich thermodynamics of polymers in mixed solvents

  1. Communication: Cosolvency and cononsolvency explained in terms of a Flory-Huggins type theory

    Dudowicz, Jacek, E-mail: dudowicz@jfi.uchicago.edu; Freed, Karl F. [The James Franck Institute and the Department of Chemistry, The University of Chicago, Chicago, Illinois 60637 (United States); Douglas, Jack F. [Materials Science and Engineering Division, National Institute of Standards and Technology, Gaithersburg, Maryland 20899 (United States)

    2015-10-07

    Standard Flory-Huggins (FH) theory is utilized to describe the enigmatic cosolvency and cononsolvency phenomena for systems of polymers dissolved in mixed solvents. In particular, phase boundaries (specifically upper critical solution temperature spinodals) are calculated for solutions of homopolymers B in pure solvents and in binary mixtures of small molecule liquids A and C. The miscibility (or immiscibility) patterns for the ternary systems are classified in terms of the FH binary interaction parameters (χ{sub αβ}) and the ratio r = ϕ{sub A}/ϕ{sub C} of the concentrations ϕ{sub A} and ϕ{sub C} of the two solvents. The trends in miscibility are compared to those observed for blends of random copolymers (A{sub x}C{sub 1−x}) with homopolymers (B) and to those deduced for A/B/C solutions of polymers B in liquid mixtures of small molecules A and C that associate into polymeric clusters (A{sub p}C{sub q}){sub i}, (i = 1, 2, …, ∞). Although the classic FH theory is able to explain cosolvency and cononsolvency phenomena, the theory does not include a consideration of the mutual association of the solvent molecules and the competitive association between the solvent molecules and the polymer. These interactions can be incorporated in refinements of the FH theory, and the present paper provides a foundation for such extensions for modeling the rich thermodynamics of polymers in mixed solvents.

  2. School Type and Academic Culture: Evidence for the Differentiation-Polarization Theory

    Van Houtte, Mieke

    2006-01-01

    Several decades ago it was shown that the differentiation of pupils into tracks and streams led to a polarization into "anti-school" and "pro-school" cultures. Support for this differentiation-polarization theory is mainly based on case studies. This paper presents findings of a quantitative study in Belgium (Flanders). Attention is given to the…

  3. Physical activity and diabetes: an application of the theory of planned behaviour to explain physical activity for Type 1 and Type 2 diabetes in an adult population sample.

    Plotnikoff, Ronald C; Lippke, Sonia; Courneya, Kerry; Birkett, Nicholas; Sigal, Ronald

    2010-01-01

    Physical activity (PA) plays a key role in the management of Type 1 (T1D) and Type 2 diabetes (T2D) but there are few theory-based, effective programs to promote PA for individuals with diabetes. The purpose of this study was to investigate the utility of the Theory of Planned Behaviour (TPB) in understanding PA in an adult population with T1D or T2D. A total of 2311 individuals (691 T1D; 1614 T2D) completed self-report TPB constructs of attitude, subjective norms, perceived behavioural control (PBC), intention and PA at baseline and 1717 (524 T1D; 1123 T2D) completed the PA measure again at 6-month follow-up. Multi-group Structural Equation Modelling was conducted to: (1) test the fit of the TPB structure (2) determine the TPB structural invariance between the two types of diabetes and (3) to examine the explained variances in PA and compare the strength of associations of the TPB constructs in the two types of diabetes. The TPB constructs explained > or =40% of the variance in intentions for both diabetes groups. In cross-sectional models, the TPB accounted for 23 and 19% of the variance in PA for T1D and T2D, respectively. In prospective models, the TPB explained 13 and 8% of the variance in PA for T1D and T2D, respectively. When adjusting for past PA behaviour, the impact of PBC and intention on behaviour was reduced in both groups. The findings provide evidence for the utility of the TPB for the design of PA promotion interventions for adults with either T1D or T2D. PMID:20391204

  4. Quantification of beta-cell function during IVGTT in Type II and non-diabetic subjects: assessment of insulin secretion by mathematical methods

    Kjems, L L; Vølund, A; Madsbad, Sten

    2001-01-01

    AIMS/HYPOTHESIS: We compared four methods to assess their accuracy in measuring insulin secretion during an intravenous glucose tolerance test in patients with Type II (non-insulin-dependent) diabetes mellitus and with varying beta-cell function and matched control subjects. METHODS: Eight control...... subjects and eight Type II diabetic patients underwent an intravenous glucose tolerance test with tolbutamide and an intravenous bolus injection of C-peptide to assess C-peptide kinetics. Insulin secretion rates were determined by the Eaton deconvolution (reference method), the Insulin SECretion method...... first-phase insulin response (r = 0.78). The two-compartment combined model failed to provide reliable estimates of insulin secretion in three of the control subjects and in two patients with Type II diabetes. The four methods were accurate with respect to mean basal and first-phase secretion response...

  5. Symmetry breaking and restoration for interacting scalar and gauge fields in Lifshitz type theories

    Farakos, K.; Metaxas, D.

    2012-05-01

    We consider the one-loop effective potential at zero and finite temperature in field theories with anisotropic space-time scaling, with critical exponent z = 2, including both scalar and gauge fields. Depending on the relative strength of the coupling constants for the gauge and scalar interactions, we find that there is a symmetry breaking term induced at one loop at zero temperature and we find symmetry restoration through a first-order phase transition at high temperature.

  6. Symmetry breaking and restoration for interacting scalar and gauge fields in Lifshitz type theories

    Farakos, K

    2011-01-01

    We consider the one-loop effective potential at zero and finite temperature in field theories with anisotropic space-time scaling, with critical exponent $z=2$, including both scalar and gauge fields. Depending on the relative strength of the coupling constants for the gauge and scalar interactions, we find that there is a symmetry breaking term induced at one-loop at zero temperature and we find symmetry restoration through a first-order phase transition at high temperature.

  7. Symmetry breaking and restoration for interacting scalar and gauge fields in Lifshitz type theories

    Farakos, K., E-mail: kfarakos@central.ntua.gr [Department of Physics, National Technical University of Athens, Zografou Campus, 15780 Athens (Greece); Metaxas, D., E-mail: metaxas@central.ntua.gr [Department of Physics, National Technical University of Athens, Zografou Campus, 15780 Athens (Greece)

    2012-05-01

    We consider the one-loop effective potential at zero and finite temperature in field theories with anisotropic space-time scaling, with critical exponent z=2, including both scalar and gauge fields. Depending on the relative strength of the coupling constants for the gauge and scalar interactions, we find that there is a symmetry breaking term induced at one loop at zero temperature and we find symmetry restoration through a first-order phase transition at high temperature.

  8. Electrostatic field in superconductors IV: theory of Ginzburg-Landau type

    Lipavský, Pavel; Koláček, Jan

    2009-01-01

    Roč. 23, 20-21 (2009), s. 4505-4511. ISSN 0217-9792 R&D Projects: GA ČR GA202/04/0585; GA ČR GA202/05/0173; GA AV ČR IAA1010312 Institutional research plan: CEZ:AV0Z10100521 Keywords : superconductivity * Ginzburg-Landau theory Subject RIV: BM - Solid Matter Physics ; Magnetism Impact factor: 0.408, year: 2009

  9. Type and structure of timelike singularities in the general theory of relativity: from the gamma metric to the general solution

    A method is proposed that makes it possible to determine whether a timelike singularity corresponds to a point, linear, or other type of gravitational field source. It is shown that in the general theory of relativity it is also possible to have sources of a quite different type with no analogs in a space of finite curvature. An analysis is made of some well-known solutions containing timelike singularities whose type varies depending on the signs of the functions that occur in the solutions. The form of the solution near simple linear sources [W. Israel, Phys. Rev. D15, 935 (1977)] and generalized anisotropic solutions [S. L. Parnovsky, Physica (Utrecht) 104A, 210 (1980); E. M. Lifshitz and I. M. Khalatnikov, Sov. Phys. Usp. 6, 359 (1963)] is determined more accurately; the space-time described by the γ metric (3) is completely investigated; and the form of the metric near the ends and singular points of linear Weyl singularities is found

  10. RENEWAL OF BASIC LAWS AND PRINCIPLES FOR POLAR CONTINUUM THEORIES(Ⅶ)-INCREMENTAL RATE TYPE

    戴安民

    2003-01-01

    The purpose is to establish the rather complete equations of motion, boundary conditions and equation of energy rate of incremental rate type for micropolar continua. To this end the rather complete definitions for rates of deformation gradient and its inverse are made. The new relations between various stress and couple stress rate tensors are derived.Finally, the coupled equations of motion, boundary conditions and equation of energy rate of incremental rate type for continuum mechanics are obtained as a special case.