Abstract UNITY is a model for concurrent specifications with complete logic proving progress properties of the form “ P leads to Q ”. generalized U-specifications by giving more freedom specify steps that are be taken infinitely often. In particular, these can correspond non-total relations. The generalization keeps sound and complete. paper exploits in two ways. Firstly, remains when specifica...

1571 A multi-heat addition turbine engine (MHATE) incorporates a plurality of heat addition devices to transfer energy to air and a plurality of turbines to extract energy from the air while converting it to work. The MHATE provides dry power and lower fuel consumption or lower combustor exit temperatures. 2,501.181 4/1950 Constant ............................ 60/226.1 2 Claims, 4 Drawing Sheet...

This note characterizes the ‘inverse plurality rule’, where voters specify only their least preferred alternative. This rule is characterized by a new minimal veto condition (MV) and the four well known conditions that characterize scoring rules; namely, Anonymity (A), Neutrality (N), Reinforcement (RE) and Continuity (C). Our new characterization result is related to the characterizations of a...

The designation of the term "subcortical infarction" has often been equated with the diagnosis of lacunar infarction. This identity is incorrect and misleading. Lacunes were reported by French authors in the 19th and early 20th centuries; they were considered to correspond to small (usually <1 cm diameter) cavities in the deep cerebral hemispheres parenchyma, resulting from three distinct proce...

Comparing action-at-a-distance electrodynamics in the tradition of Coulomb and Ampère with electromagnetic field theory of Faraday and Maxwell provides an example for a relation between theories, that are on a par in many respects. They have a broadly overlapping domain of applicability, and both were widely successful in explanation and prediction. The relation can be understood as an inhomoge...

We apply nine analytic methods employed currently in imaging neuroscience to simulated and actual BOLD fMRI signals and compare their performances under each signal type. Starting with baseline time series generated by a resting subject during a null hypothesis study, we compare method performance with embedded focal activity in these series of three different types whose magnitudes and time co...

Previous studies have shown that false recognition decreases with study repetition for young but not for older adults, suggesting a deficit in recollection but not familiarity in old age. It is unclear, however, precisely how false recognition changes over a series of presentation frequencies for young and older adults. The present study examined this issue using a plurality discrimination task...

We theoretically and experimentally study voter behavior in a setting characterized by plurality rule and mandatory voting. Voters choose from three options. We are interested in the occurrence of strategic voting in an environment where Condorcet cycles may occur and focus on how information about the preference distribution affects strategic behavior. We also vary the relative importance of t...

How often will elections end in landslides? What is the probability for a head-to-head race? Analyzing ballot results from several large countries rather anomalous and yet unexplained distributions have been observed. We identify tactical voting as the driving ingredient for the anomalies and introduce a model to study its effect on plurality elections, characterized by the relative strength of...

The plurality of models of ultimate reality is a central problem for religious philosophy. This essay sketches what is involved in mounting comparative inquiries across the plurality of models. In order to illustrate what advance would look like in such a comparative inquiry, an argument is presented to show that highly anthropomorphic models of ultimate reality are inferior to a number of comp...