نتایج جستجو برای: unity

تعداد نتایج: 17098  

Journal: :Historia: Jurnal Pendidik dan Peneliti Sejarah 2018

Journal: :International Research Journal of Tamil 2021

Journal: :Formal Aspects of Computing 2021

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

Journal: :Journal of Physics A: Mathematical and General 1999

2004
Stéphane Bressan Ismail K. Ibrahim

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

2014
E. J. LOWE

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

Journal: :Bulletin of the World Health Organization 2009
Michel Sidibé Kent Buse

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

2017

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

2014
Patrick Henning Philipp Morgenstern Daniel Peterseim

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

Journal: :J. Philosophical Logic 2013
Ian Pratt-Hartmann

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.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید