According to some theorists, the strength of a conditional statement is determined solely by the extent to which the conditional’s antecedent is sufficient for its consequent. On this view, the strength of conditionals is independent of the degree to which the antecedent is necessary for the consequent. Data from four experiments reported here demonstrate that when people evaluate conditionals,...

A modern statement about the structural relationship between an ellipsis site and its antecedent runs as follows. an elided XP must have a syntactically identical antecedent XP’, modulo traces This is quite a bizzare condition. Why should some parts of structure count for being identical, and others not? Of all the possible relations between two structures, why does this one describe the ellips...

Background and Objectives: Guillain-Barre´ Syndrome (GBS) is an acute-onset, monophasic, immune-mediated polyneuropathy that often follows an antecedent infection. Special nutritional support has an important role in these patients. Methods: A 6 years old girl with GBS was admitted to PICU of Dr. Sheikh Children Hospital (Mashhad, Iran). Chief compliance for hospitalization was inability to w...

We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardware designs at the Register Transfer Level (RTL). Antecedent conditioned slicing prunes the verification state space, using information from the antecedent of a given LTL property. In this work, we model instructions o...

Different from most of the existing studies, this paper analyzes the financing performance of crowdfunding projects in an asymmetric way. First of all, 14 antecedent conditions of the project performance are extracted through the review on the existing research. Secondly, a cross-tabulation analysis is carried out to explore the main and contrarian effects of the antecedent conditions based on ...

[1] Using existing data sets of spaceborne soil moisture retrievals, streamflow and precipitation for 26 basins in the United States Southern Great Plains, a 5-year analysis is performed to quantify the value of soil moisture retrievals derived from the Tropical Rainfall Measuring Mission (TRMM) Microwave Imager (TMI) X-band (10.7 GHz) radiometer for forecasting storm event-scale runoff ratios....

We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in practical applications are considered a problem by the system verifier. The second shows that vacuity detection for certain logics can be very complex and time consuming. This brings vacuity detection into an undesirable ...