We present a constructive proof in Bishop’s style of Lebesgue’s dominated convergence theorem in the abstract setting of ordered uniform spaces. The proof generalises to this setting a classical proof in the framework of uniform lattices presented by Hans Weber in “Uniform Lattices II: Order Continuity and Exhaustivity”, in Annali di Matematica Pura ed Applicata (IV), Vol. CLXV (1993). 1. Both ...

no abstract available

background and purpose: one of the most reliable methods to evaluate the scientific status of nursing is the assessment of the trend and quality of related articles. this study aimed to determine the publication status and general quality of articles published by iranian nursing scholars engaged in different nursing and midwifery schools in well-known international journals during 2000-2011. me...

on november 1st  2016, springer nature announced that springer and biomed central are retracting 58 articles published by iran-based authors across seven journals. the decision was made after thorough investigation following receiving allegations of plagiarism, peer review, and authorship manipulation in an effort to mislead the review system (1, 2). not all papers were involved with all of the...

In August 1998, an interviewer for an Indonesian news weekly asked Amien Rais, a major figure in national Islamic politics and founder of the National Mandate Party (Partai Amanat Nasional), why he had altered the name of the party from the originally proposed Partai Amanat Bangsa. He replied, “We chose Partai Amanat Nasional because it would be better translated into English as National Mandat...

(v) interaction of program transformation with related methodologies for assisting software development, (vi) languages and systems for specifying and applying program transformations; and (vii) case studies, that is, derivation of non-trivial algorithms from specifications and automated generation of software systems. Among all papers we have received, twelve papers were selected for publicati...

We continued our effort to make a comprehensive database (LISTA) for the yeast Saccharomyces cerevisiae. As in previous editions the genetic names are consistently associated to each sequence with a known and confirmed ORF. If necessary, synonyms are given in the case of allelic duplicated sequences. Although the first publication of a sequence gives-according to our rules-the genetic name of a...