We investigate extensions of dependence logic with generalized quantifiers. We also introduce and investigate the notion of a generalized atom. We define a system of semantics that can accommodate variants of dependence logic, possibly extended with generalized quantifiers and generalized atoms, under the same umbrella framework. The semantics is based on pairs of teams, or double teams. We als...

Murine Tcrd and Tcra gene segments reside in a single genetic locus and undergo recombination in CD4- CD8- (double negative [DN]) and CD4+ CD8+ (double positive [DP]) thymocytes, respectively. TcraTcrd locus variable gene segments are subject to complex regulation. Only a small subset of approximately 100 variable gene segments contributes substantially to the adult TCRdelta repertoire. Moreove...

Abstract. External barrier options are two-asset options with stochastic variables where the payoff depends on one underlying asset and the barrier depends on another state variable. The barrier state variable determines whether the option is knocked in or out when the value of the variable is above or below some prescribed barrier level. This paper derives the explicit analytic solution of the...

We consider a version of the double integral calculus of variations on time scales, which includes as special cases the classical two-variable calculus of variations and the discrete two-variable calculus of variations. Necessary and sufficient conditions for a local extremum are established, among them an analogue of the Euler–Lagrange equation. AMS (MOS) Subject Classification. 39A0, 49K20.

A Khoshnan and J F Alderete phenotypically variable immunogen mRNA. RNA virus has upregulated levels of Trichomonas vaginalis with a double-stranded

in recent years despite the rise in the number of women who have graduated from universities women’s participation in the labor market has not been increased proportionally. the present study tries to examine the employment status of women graduates of higher education as well as of social and demographic factors affecting it. in this study, secondary analysis of data from 2% sample of census 1...

Oral formulations of 5-aminosalicylic acid (mesalazine) appear less toxic than sulphasalazine. We have therefore compared sulphasalazine, low dose mesalazine and high dose mesalazine in the treatment of mild to moderate relapse of ulcerative colitis. Sixty one patients (32 men, aged 20-78 years) were randomly allocated to sulphasalazine 2 g daily, mesalazine 800 mg daily, or mesalazine 2.4 g da...

Complete row and column symmetry breaking in constraint models using the lex leader method is generally prohibitively costly. Double lex, which is derived from lex leader, is commonly used in practice as an incomplete symmetrybreaking method for row and column symmetries. Double lex is based on a rowwise canonical variable ordering. However, this choice is arbitrary. We investigate other canoni...

Objectives: The aim of this study was to examine the effects of consecutively supervised core stability training on postural control and functional disability in female patients with non-specific chronic low back pain. Methods: Twenty nine female participants with non-specific chronic low back pain participated in the study. They were randomly divided into two groups: experimental group (10 ...

In general, a Variable Structure (VS) system is designed with a sliding mode. Recently a sliding sector, designed by an algebraic Riccati equation, has been proposed to replace the sliding mode for chattering-free VS controllers. In this paper we extend the design algorithm for the sliding sector to a time-varying sliding sector. The time-varying sliding sector is defined by functions dependent...