In this paper a compositional model for reflective agents is proposed within which reasoning about observation, assumption making and communication; an agent’s own information state and reasoning processes; other agents’ information states and reasoning processes, and combinations of these types of reflective reasoning are explicitly modelled. The types of knowledge needed to detect, analyse an...

Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of correct programs. In this paper, we describe an integration of both methods which combines their complementary benefits and alleviates some of their drawbacks. The core of our integration is an algorithm which automat...

We describe a formalization of the meta-mathematics of programming in a higher-order logical calculus as a means to create verifiably correct implementations of program synthesis tools. Using reflected notions of programming concepts we can specify the actions of synthesis methods within the object language of the calculus and prove formal theorems about their behavior. The theorems serve as de...

BACKGROUND Meta-narrative review is one of an emerging menu of new approaches to qualitative and mixed-method systematic review. A meta-narrative review seeks to illuminate a heterogeneous topic area by highlighting the contrasting and complementary ways in which researchers have studied the same or a similar topic. No previous publication standards exist for the reporting of meta-narrative rev...

Radioiodinated meta iodobenzylguanidine (MIBG) is one of the important radiopharmaceuticals in Nuclear Medicine. [123/131I]MIBG is used for imaging of Adrenal medulla, studying heart sympathetic nerves, treatment of pheochromacytoma and neuroblastoma. For clinical application, radioiodinated MIBG is prepared through isotopic exchange method, which includes replacement of radioactive iodine in a...

background : the present study aimed to provide better insight on methodological issues related to time preference studies, and to estimate private and social discount rates, using a rigorous systematic review and meta-analysis. methods : we searched pubmed, embase and proquest databases in june 2013. all studies had estimated private and social time preference rates for health outcomes through...

The Statistical Methods Group has played a pivotal role in The Cochrane Collaboration over the past 20 years. The Statistical Methods Group has determined the direction of statistical methods used within Cochrane reviews, developed guidance for these methods, provided training, and continued to discuss and consider new and controversial issues in meta-analysis. The contribution of Statistical M...

Radioiodinated meta iodobenzylguanidine (MIBG) is one of the important radiopharmaceuticals in Nuclear Medicine. [123/131I]MIBG is used for imaging of Adrenal medulla, studying heart sympathetic nerves, treatment of pheochromacytoma and neuroblastoma. For clinical application, radioiodinated MIBG is prepared through isotopic exchange method, which includes replacement of radioactive iodine in a...

Aim to consider the possibilities and prospects for formation of interdisciplinary meta-reflection in comprehension religious mystical experience. Using methods critical philosophical reflection dialectical logic, authors analyze specifics diversity disciplinary approaches interpretations At same time, special attention is given factors interaction that contribute leveling interpretation differ...