A new stilbenoid (1) was isolated from the root extract of Polygonum multiflorum together with eight known constituents (2-9). The chemical structure of 1 was established as the 6''-O-monogalloyl ester of (E)-2,3,4',5-beta-tetrahydroxystilbene-2-beta-D-glucopyranoside based on physicochemical and spectroscopic analyses, particularly by NMR spectroscopic data, i.e., COSY, HMQC and HMBC. Compound...

There has been a great deal of effort to try to model social influence-including the spread of behavior, norms, and ideas-on networks. Most models of social influence tend to assume that individuals react to changes in the states of their neighbors without any time delay, but this is often not true in social contexts, where (for various reasons) different agents can have different response time...

Is there a distinction between withholding and withdrawing medical treatment at the end of life? In the past two decades, courts and bioethicists in most Western countries have rejected this distinction. However, some doctors, patients, and families still find the distinction to have important ethical implications. A proposed Israeli law offers a unique approach that attempts to respect the cul...

For historical, sociological and technical reasons, λ-calculi have been the dominant theoretical paradigm in the study of functional computation. Similarly, but to a lesser degree, π-calculi dominate advanced mathematical accounts of concurrency. Alas, and despite its ever increasing ubiquity, an equally convincing formal foundation for distributed computing has not been forthcoming. This thesi...

Passage time measures specification and computation for Generalized Stochastic Petri Net models have been faced in the literature from different points of view. In particular three aspects have been developed: (1) how to select a specific token (called the tagged token) and measure the distribution of the time employed from an entry to an exit point in a subnet; (2) how to specify in a flexible...

In this paper we present TIMERS II (Temporal Investigation Method for Enregistered Record Sequences II). Assuming that the effects take time to manifest, TIMERS II merges the input records and brings the causes and effects together. The output is in the form of a set of decision rules. The condition attributes’ values could have been observed in the past or the future relative to the decision a...

During the design of a small channel-based concurrency runtime system (ChanSched, written in ANSI C), we saw that application timers (which we call egg and repeat timers) could be part of its supported ALT construct, even if their states live through several ALTs. There are no side effects into the ALT semantics, which enable waiting for channels, channel timeout and, now, the new application t...