An Axiomatic Specification of Euclidean Analysis

An Axiomatic Specification for Sequential Memory Models

Formalizations of concurrent memory models often represent memory behavior in terms of sequences of operations, where operations are either reads, writes, or synchronizations. More concrete models of (sequential) memory behavior may include allocation and free operations, but also include details of memory layout or data representation. We present an abstract specification for sequential memory...

an infinite planar array of rectangular microstrip patch antenna analysis

the methods which are used to analyze microstrip antennas, are divited into three categories: empirical methods, semi-empirical methods and full-wave analysis. empirical and semi-empirical methods are generally based on some fundamental simplifying assumptions about quality of surface current distribution and substrate thickness. thses simplificatioms cause low accuracy in field evaluation. ful...

Axiomatic Specification of Database Domain Statics

An axiomatic analysis of concordance-discordance relations

Outranking methods propose an original way to build a preference relation between alternatives evaluated on several attributes that has a definite ordinal flavor. Indeed, most of them appeal the concordance / non-discordance principle that leads to declaring that an alternative is “superior” to another, if the coalition of attributes supporting this proposition is “sufficiently important” (conc...

Desert as Fit: An Axiomatic Analysis