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

The growth of the Internet has not only greatly simplified the access to existing sources of information but also motivated the creation of numerous new sources. Paradoxically, this growth has made difficult the tasks of finding, extracting, and aggregating relevant information. Gateways, protocols like Object Database Connectivity (ODBC), and standards like eXtensible Markup Language (XML) are...

The full-text may be used and/or reproduced, and given to third parties in any format or medium, without prior permission or charge, for personal research or study, educational, or not-for-pro t purposes provided that: • a full bibliographic reference is made to the original source • a link is made to the metadata record in DRO • the full-text is not changed in any way The full-text must not be...

a Joint United Nations Programme on HIV/AIDS, 20 avenue Appia, 1211 Geneva 27, Switzerland. Correspondence to Kent Buse (e-mail: [email protected]). Recent increases in resources for achieving the goal of universal access to HIV prevention, treatment, care and support have given renewed impetus to the longer-standing political commitment for achieving targets in sexual and reproductive health an...

How many times have we heard this phrase or others like it?. The advantages of working together as a team are perfectly demonstrated. Almost no one denies the fact that two (or more) heads are better than one. But teamwork has its dark spots, because within the group usually there is diversity of characters that can disturb the harmony that should reign within the team. If these differences are...

We introduce a new Partition of Unity Method for the numerical homogenization of elliptic partial differential equations with arbitrarily rough coefficients. We do not restrict to a particular ansatz space or the existence of a finite element mesh. The method modifies a given partition of unity such that optimal convergence is achieved independent of oscillation or discontinuities of the diffus...

We extend the language of the classical syllogisms with the sentenceforms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.