A logical approach for behavioural composition of scenario-based models

As modern systems become more complex, design approaches model different aspects of the system separately. When considering (intra and inter) system interactions, it is usual to model individual scenarios using UML’s sequence diagrams. Given a set of scenarios we then need to check whether these are consistent and can be combined for a better understanding of the overall behaviour. This paper addresses this by presenting a novel formal technique for composing behavioural models at the metamodel level through exact metamodel restriction (EMR). In our approach a sequence diagram can be completely described by a set of logical constraints at the metamodel level. When composing sequence diagrams we take the union of the sets of logical constraints for each diagram and additional behavioural constraints that describe the matching composition glue. A formal semantics for composition in accordance with the glue guides our model transformation to Alloy. Alloy’s fully automated constraint solver gives us the solution. Our technique has been implemented as an Eclipse plugin SD2Alloy.Postprin

Перебіг анемії вагітних у хворих на туберкульоз легень

В статье представлены данные течения анемии беременных и нарушения фетоплацентарного комплекса у 86 женщин, больных туберкулезом легких. Выявлено, что анемия на фоне туберкулезного процесса приводит к существенным функциональным и морфологическим нарушениям в плаценте. показано диагностическое значение оценки плацентарной дисфункции для профилактики и лечения анемии у данного контингента женщин.The article presents the data of course of pregnancy anemia and failures of fetoplacental complex in 86 women with pulmonary tuberculosis. It is found that anemia under tuberculous process leads to significant functional and morphological disturbances in placenta. Diagnostic significance of assessment of placental dysfunction for the prevention and treatment of anemia in this contingent of women is shown

Social presence and dishonesty in retail

Self-service checkouts (SCOs) in retail can benefit consumers and retailers, providing control and autonomy to shoppers independent from staff, together with reduced queuing times. Recent research indicates that the absence of staff may provide the opportunity for consumers to behave dishonestly, consistent with a perceived lack of social presence. This study examined whether a social presence in the form of various instantiations of embodied, visual, humanlike SCO interface agents had an effect on opportunistic behaviour. Using a simulated SCO scenario, participants experienced various dilemmas in which they could financially benefit themselves undeservedly. We hypothesised that a humanlike social presence integrated within the checkout screen would receive more attention and result in fewer instances of dishonesty compared to a less humanlike agent. This was partially supported by the results. The findings contribute to the theoretical framework in social presence research. We concluded that companies adopting self-service technology may consider the implementation of social presence in technology applications to support ethical consumer behaviour, but that more research is required to explore the mixed findings in the current study.<br/

Low Q^2 Jet Production at HERA and Virtual Photon Structure

The transition between photoproduction and deep-inelastic scattering is investigated in jet production at the HERA ep collider, using data collected by the H1 experiment. Measurements of the differential inclusive jet cross-sections dsigep/dEt* and dsigmep/deta*, where Et* and eta* are the transverse energy and the pseudorapidity of the jets in the virtual photon-proton centre of mass frame, are presented for 0 < Q2 < 49 GeV2 and 0.3 < y < 0.6. The interpretation of the results in terms of the structure of the virtual photon is discussed. The data are best described by QCD calculations which include a partonic structure of the virtual photon that evolves with Q2.Comment: 20 pages, 5 Figure

Hadron Production in Diffractive Deep-Inelastic Scattering

Characteristics of hadron production in diffractive deep-inelastic positron-proton scattering are studied using data collected in 1994 by the H1 experiment at HERA. The following distributions are measured in the centre-of-mass frame of the photon dissociation system: the hadronic energy flow, the Feynman-x (x_F) variable for charged particles, the squared transverse momentum of charged particles (p_T^{*2}), and the mean p_T^{*2} as a function of x_F. These distributions are compared with results in the gamma^* p centre-of-mass frame from inclusive deep-inelastic scattering in the fixed-target experiment EMC, and also with the predictions of several Monte Carlo calculations. The data are consistent with a picture in which the partonic structure of the diffractive exchange is dominated at low Q^2 by hard gluons.Comment: 16 pages, 6 figures, submitted to Phys. Lett.

A Search for Selectrons and Squarks at HERA

Data from electron-proton collisions at a center-of-mass energy of 300 GeV are used for a search for selectrons and squarks within the framework of the minimal supersymmetric model. The decays of selectrons and squarks into the lightest supersymmetric particle lead to final states with an electron and hadrons accompanied by large missing energy and transverse momentum. No signal is found and new bounds on the existence of these particles are derived. At 95% confidence level the excluded region extends to 65 GeV for selectron and squark masses, and to 40 GeV for the mass of the lightest supersymmetric particle.Comment: 13 pages, latex, 6 Figure

Measurement of D* Meson Cross Sections at HERA and Determination of the Gluon Density in the Proton using NLO QCD

With the H1 detector at the ep collider HERA, D* meson production cross sections have been measured in deep inelastic scattering with four-momentum transfers Q^2>2 GeV2 and in photoproduction at energies around W(gamma p)~ 88 GeV and 194 GeV. Next-to-Leading Order QCD calculations are found to describe the differential cross sections within theoretical and experimental uncertainties. Using these calculations, the NLO gluon momentum distribution in the proton, x_g g(x_g), has been extracted in the momentum fraction range 7.5x10^{-4}< x_g <4x10^{-2} at average scales mu^2 =25 to 50 GeV2. The gluon momentum fraction x_g has been obtained from the measured kinematics of the scattered electron and the D* meson in the final state. The results compare well with the gluon distribution obtained from the analysis of scaling violations of the proton structure function F_2.Comment: 27 pages, 9 figures, 2 tables, submitted to Nucl. Phys.

The hTERT Promoter Enhances the Antitumor Activity of an Oncolytic Adenovirus under a Hypoxic Microenvironment

Hypoxia is a microenvironmental factor that contributes to the invasion, progression and metastasis of tumor cells. Hypoxic tumor cells often show more resistance to conventional chemoradiotherapy than normoxic tumor cells, suggesting the requirement of novel antitumor therapies to efficiently eliminate the hypoxic tumor cells. We previously generated a tumor-specific replication-competent oncolytic adenovirus (OBP-301: Telomelysin), in which the human telomerase reverse transcriptase (hTERT) promoter drives viral E1 expression. Since the promoter activity of the hTERT gene has been shown to be upregulated by hypoxia, we hypothesized that, under hypoxic conditions, the antitumor effect of OBP-301 with the hTERT promoter would be more efficient than that of the wild-type adenovirus 5 (Ad5). In this study, we investigated the antitumor effects of OBP-301 and Ad5 against human cancer cells under a normoxic (20% oxygen) or a hypoxic (1% oxygen) condition. Hypoxic condition induced nuclear accumulation of the hypoxia-inducible factor-1α and upregulation of hTERT promoter activity in human cancer cells. The cytopathic activity of OBP-301 was significantly higher than that of Ad5 under hypoxic condition. Consistent with their cytopathic activity, the replication of OBP-301 was significantly higher than that of Ad5 under the hypoxic condition. OBP-301-mediated E1A was expressed within hypoxic areas of human xenograft tumors in mice. These results suggest that the cytopathic activity of OBP-301 against hypoxic tumor cells is mediated through hypoxia-mediated activation of the hTERT promoter. Regulation of oncolytic adenoviruses by the hTERT promoter is a promising antitumor strategy, not only for induction of tumor-specific oncolysis, but also for efficient elimination of hypoxic tumor cells