On the theory of self-similar parabolic optical pulses

Self-similar optical pulses (or “similaritons”) of parabolic intensity profile can be found as asymptotic solutions of the nonlinear Schr¨odinger equation in a gain medium such as a fiber amplifier or laser resonator. These solutions represent a wide-ranging significance example of dissipative nonlinear structures in optics. Here, we address some issues related to the formation and evolution of parabolic pulses in a fiber gain medium by means of semi-analytic approaches. In particular, the effect of the third-order dispersion on the structure of the asymptotic solution is examined. Our analysis is based on the resolution of ordinary differential equations, which enable us to describe the main properties of the pulse propagation and structural characteristics observable through direct numerical simulations of the basic partial differential equation model with sufficient accuracy.

A formal model of the Semantic Web Service Ontology (WSMO)

Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra- and inter-enterprise integration of Web services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors present in existing documentation.

Using the Dempster-Shafer theory of evidence to resolve ABox inconsistencies

Automated ontology population using information extraction algorithms can produce inconsistent knowledge bases. Confidence values assigned by the extraction algorithms may serve as evidence in helping to repair inconsistencies. The Dempster-Shafer theory of evidence is a formalism, which allows appropriate interpretation of extractors’ confidence values. This chapter presents an algorithm for translating the subontologies containing conflicts into belief propagation networks and repairing conflicts based on the Dempster-Shafer plausibility.

On the theory of self-similar parabolic optical pulses

Self-similar optical pulses (or “similaritons”) of parabolic intensity profile can be found as asymptotic solutions of the nonlinear Schr¨odinger equation in a gain medium such as a fiber amplifier or laser resonator. These solutions represent a wide-ranging significance example of dissipative nonlinear structures in optics. Here, we address some issues related to the formation and evolution of parabolic pulses in a fiber gain medium by means of semi-analytic approaches. In particular, the effect of the third-order dispersion on the structure of the asymptotic solution is examined. Our analysis is based on the resolution of ordinary differential equations, which enable us to describe the main properties of the pulse propagation and structural characteristics observable through direct numerical simulations of the basic partial differential equation model with sufficient accuracy.

Moderation of cognition-intention and cognition-behaviour relations:a meta-analysis of properties of variables from the theory of planned behaviour

Meta-analysis was used to quantify the moderating effects of seven properties of cognitions-accessibility, temporal stability, direct experience, involvement, certainty, ambivalence and affective-cognitive consistency-on cognition-intention and cognition-behaviour relations. Literature searches revealed 44 studies that could be included in the review. Findings showed that all of the properties, except involvement, moderated attitude-behaviour consistency. Similarly, all relevant moderators improved the consistency between intentions and behaviour. Temporal stability moderated PBC-behaviour relations, certainty moderated subjective norm-intention relations, and ambivalence, certainty, and involvement all moderated attitude-intention relations. Overall, temporal stability appeared to be the strongest moderator of cognition-behaviour relations.

How well does the theory of planned behaviour predict alcohol consumption? A systematic review and meta-analysis

This study aimed to quantify correlations between theory of planned behaviour (TPB) variables and (i) intentions to consume alcohol and (ii) alcohol consumption. Systematic literature searches identified 40 eligible studies that were meta-analysed. Three moderator analyses were conducted: pattern of consumption, gender of participants and age of participants. Across studies, intentions had the strongest relationship with attitudes (r+ = .62), followed by subjective norms (r+ = .47) and perceived behavioural control (PBC; r+ = .31). Self-efficacy (SE) had a stronger relationship with intentions (r+ = .48) compared with perceived control (PC; r+ = −.10). Intention had the strongest relationship with alcohol consumption (r+ = .54), followed by SE (r+ = .41). In contrast, PBC and PC had negative relationships with alcohol consumption (r+ = −.05 and −.13, respectively). All moderators affected TPB relationships. Patterns of consumption with clear definitions had stronger TPB relations, females reported stronger attitude–intention relations than males, and adults reported stronger attitude–intention and SE–intention relations than adolescents. Recommendations for future research include targeting attitudes and intentions in interventions to reduce alcohol consumption, using clear definitions of alcohol consumption in TPB items to improve prediction and assessing SE when investigating risk behaviours.

On The Brill-noether Theory of Spanned Vector Bundles on Smooth Curves

Here we study the integers (d, g, r) such that on a smooth projective curve of genus g there exists a rank r stable vector bundle with degree d and spanned by its global sections.

Problems and Theorems in the Theory of Multiplier Sequences

The purpose of this paper is (1) to highlight some recent and heretofore unpublished results in the theory of multiplier sequences and (2) to survey some open problems in this area of research. For the sake of clarity of exposition, we have grouped the problems in three subsections, although several of the problems are interrelated. For the reader’s convenience, we have included the pertinent definitions, cited references and related results, and in several instances, elucidated the problems by examples.

Technology of Classification of Electronic Documents Based on the Theory of Disturbance of Pseudoinverse Matrices

Technology of classification of electronic documents based on the theory of disturbance of pseudoinverse matrices was proposed.

A world full of surprises:Bayesian theory of surprise to quantify degrees of uncertainty

In the specific area of software engineering (SE) for self-adaptive systems (SASs) there is a growing research awareness about the synergy between SE and artificial intelligence (AI). However, just few significant results have been published so far. In this paper, we propose a novel and formal Bayesian definition of surprise as the basis for quantitative analysis to measure degrees of uncertainty and deviations of self-adaptive systems from normal behavior. A surprise measures how observed data affects the models or assumptions of the world during runtime. The key idea is that a "surprising" event can be defined as one that causes a large divergence between the belief distributions prior to and posterior to the event occurring. In such a case the system may decide either to adapt accordingly or to flag that an abnormal situation is happening. In this paper, we discuss possible applications of Bayesian theory of surprise for the case of self-adaptive systems using Bayesian dynamic decision networks. Copyright © 2014 ACM.

An online study combining the constructs from the theory of planned behaviour and protection motivation theory in predicting intention to test for chlamydia in two testing contexts

Chlamydia is a common sexually transmitted infection that has potentially serious consequences unless detected and treated early. The health service in the UK offers clinic-based testing for chlamydia but uptake is low. Identifying the predictors of testing behaviours may inform interventions to increase uptake. Self-tests for chlamydia may facilitate testing and treatment in people who avoid clinic-based testing. Self-testing and being tested by a health care professional (HCP) involve two contrasting contexts that may influence testing behaviour. However, little is known about how predictors of behaviour differ as a function of context. In this study, theoretical models of behaviour were used to assess factors that may predict intention to test in two different contexts: self-testing and being tested by a HCP. Individuals searching for or reading about chlamydia testing online were recruited using Google Adwords. Participants completed an online questionnaire that addressed previous testing behaviour and measured constructs of the Theory of Planned Behaviour and Protection Motivation Theory, which propose a total of eight possible predictors of intention. The questionnaire was completed by 310 participants. Sufficient data for multiple regression were provided by 102 and 118 respondents for self-testing and testing by a HCP respectively. Intention to self-test was predicted by vulnerability and self-efficacy, with a trend-level effect for response efficacy. Intention to be tested by a HCP was predicted by vulnerability, attitude and subjective norm. Thus, intentions to carry out two testing behaviours with very similar goals can have different predictors depending on test context. We conclude that interventions to increase self-testing should be based on evidence specifically related to test context.

A Metaontology for Medical Diagnostics of Acute Diseases. Part 3. A Formal Description of the Causes of Signs’ Values and of Diseases

This article is the final part of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of the causes of signs’ values and of the causes of diseases.

On the theory of autosoliton propagation in optical fibers guided by in-line nonlinear devices

A theoretical model is developed to describe the propagation of ultra-short optical pulses in fiber transmission systems in the quasi-linear regime, with periodically inserted in-line lumped nonlinear optical devices. Stable autosoliton solutions are obtained for a particular application of the general theory.