In this paper, we present the first full regions-and-effects inference algorithm for explicitly parallel fork-joinprograms. We infer annotations inspired by Deterministic ParallelJava (DPJ) for a type-safe subset of C++. We chose the DPJannotations because they give the strongest safety guarantees ofany existing concurrency-checking approach we know of, staticor dynamic,...

We develop a generally applicable full-information inference method for heterogeneous agent models, combining aggregate time series data and repeated cross sections of micro data. To handle unobserved state variables that affect cross-sectional distributions, we compute numerically unbiased estimate the model-implied likelihood function. Employing in Markov Chain Monte Carlo algorithm, obtain f...

Textual entailment (TE) is the semantic inference task which takes two text fragments, and determines whether one entails the other. It captures the semantic inferences needed by many text understanding applications. Practical TE applications usually adopt relatively low-level lexical or lexicalsyntactic representations of text, which correspond closely to language structure. In many cases, suc...

Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intensional FOL (First-order-logic) for P2P systems by fusing the Bealer’s intensional algebraic FOL with the S5 possible-world semantics of the Montague, we define the intensional equivalence relation for this logic and the we...

The interpretations of conditionals and conditional inference are often disputed. The classic logic conditional called material implication can easily be proven to be invalid, and the conditional inference rule Modus Ponens represents a tautology that becomes invalid in the face of contrary evidence from realistic scenarios. The foundations of conditionals and conditional inference seem plagued...

A common study to investigate gene-environment interaction is designed to be longitudinal and population-based. Data arising from longitudinal association studies often contain missing responses. Naive analysis without taking missingness into account may produce invalid inference, especially when the missing data mechanism depends on the response process. To address this issue in the ana...