Normal-mode observations of seven quiet regions, obtained by the Hinode spacecraft, are used to analyze the physical properties of granules with mean upward and downward Doppler velocity. We identify 75 146 granules from the observations with a granuledetection method. Then the granules are divided into two subsets: one with negative mean Doppler velocity (granule-upflows), and the other with p...

Parallel programs exhibit a small number of distinct data-sharing patterns. A common data-sharing pattern, migratory access, is characterized by exclusive read and write access by one processor at a time to a shared datum. We describe a family of adaptive cache coherency protocols that dynamically identify migratory shared data in order to reduce the cost of moving them. The protocols use a sta...

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 .

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 ...