A parallel-in-time, multiscale interaction procedure is introduced for systems described at molecular scales by time-dependent random variables that obey Langevin dynamics. At larger, kinetic scales, the system is described by a probability distribution function that obeys an associated Fokker-Planck equation. It is assumed that the main quantity of interest is the kinetic-scale probability dis...

In this paper it is argued that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties (e.g. renaming of bound variables is not allowed). An alternative semantics is proposed which formalizes intu...

background: the aim of the study was to analyze the reliability of the korean version of the news and to investigate the relationship between walking and environmental factors by gender. methods: a total of 1407 korean adults, aged 20-59 yr, participated in the study. data were collected between sep 2013 and oct 2013. to examine the test-retest reliability, 281 of the 1407 participants were ask...

Several variants of a first-order simplification rule for nonnormal form tableaux using syntactic constraints are presented. These can be used as a framework for porting methods like unit resolution or hyper tableaux to non-normal form free variable tableaux.

An alternative approach to the semantics of definite descriptions was proposed by Heim in her dissertation [1982]. Heim assigns to pragmatics a larger part of the task of specifying the meaning of definite descriptions than the neo-Russellians do. In Heim’s theory, definite and indefinite NPs are semantically equivalent, and both introduce free variables. The truth conditions proposed by Heim f...

BACKGROUND Health-related quality of life may affect morbidity and survival in end-stage renal disease, but it is not clear whether coexisting comorbidity and other known prognostic variables could account for such an association. METHODS To study the relationship between health-related quality of life and morbidity and survival, we carried out an inception cohort study in patients starting c...

Background: This study aimed to assess the determinants of job satisfaction among health workers at the Lagos State University Teaching Hospital, Nigeria. Materials and Methods: In this survey, a descriptive design was employed among 440 health workers, including doctors, nurses, pharmacists, and laboratory scientists. The participants were recruited via systematic random sampling at every fo...