Mathematical and program-code text is unique because significant portions of it can be anchored to counterparts in formal logical theories that are implemented by computer systems. These systems check formal proofs for correctness and trace logical dependencies among assertions. When elements of expository text, such as definitions and theorems, are formally linked to their implemented counterp...

C. Mohan and I. Narang. Recovery and coherency-control protocols for fast inter-system page transfer and ne-granularity locking in a shared disks transaction environment .

The SGI POWER CHALLENGEarray TM represents a hierarchical supercomputer because it combines distributed and shared memory technology. We present two projects, Europort and GeneCrunch, that took advantage of such a configuration. In Europort we performed scalability demonstrations up to 64 processors with applications relevant to the chemical and pharmaceutical industries. GeneCrunch, a project ...

Query translation in cross-language information retrieval (CLIR) can be done by employing dictionaries, aligned corpora, or machine translators. Scarcity of aligned corpora for various domains in many language pairs intensifies the importance of dictionary-based CLIR which motivates us to use only a bilingual dictionary and two independent collections in source and target languages for query tr...

This thesis focuses on characterising and understanding robustness in Boolean models of genetic regulatory systems, both in terms of abstract models — specifically the Random Boolean Network model — and in terms of models of real-world regulatory systems. More specifically, the characterisation of robustness to state perturbation is considered in terms of features of a system’s dynamic structur...

The objectives of this review were: (1) to identify literature published within the last years on self-efficacy in university students; (2) describe and evaluate employed definitions measurements; (3) establish methodological coherency between stated measurement scales respectively described domains higher education. A systematic revision was conducted for articles 2007 2019. Empirical studies ...

Respiration and heartbeat are basic indicators of the physiological state human beings. Frequency-modulated continuous wave (FMCW) radar can sense micro-displacement in body surface without contact, is used for vital-sign (respiration heartbeat) monitoring. For extraction vital-sign, it essential to select target range containing information. In this paper, we exploit coherency phase different ...

In uncertain environments, effective decision makers balance exploiting options that are 8 currently preferred against exploring alternative options that may prove superior 1,2. For 9 example, a honeybee foraging for nectar must decide whether to continue exploiting the 10 current patch or move to a new location 3-6. When the relative reward of options changes over 11 time, humans explore in a ...

The first two chapters of this dissertation discuss multivariate long memory models. First, we discuss two distinct parametric multivariate time-series models. We discuss the implications of the models and describe an extension to fractional cointegration. We describe algorithms for computing the covariances of each model, for computing the likelihood and for simulating from each model. These a...

A simple model for the interfacial free energy of a semicoherent interface is used to develop expressions for interface stresses, which are surface thermodynamic quantities associated with solid–solid interfaces. An analysis of the thermodynamics of thin film epitaxy is presented that incorporates the effects of free surface and interface stresses, and an expression for the critical thickness f...