Some Epistemic Extensions of G\"odel Fuzzy Logic

In this paper, we introduce some epistemic extensions of G\"odel fuzzy logic whose Kripke-based semantics have fuzzy values for both propositions and accessibility relations such that soundness and completeness hold. We adopt belief as our epistemic operator, then survey some fuzzy implications to justify our semantics for belief is appropriate. We give a fuzzy version of traditional muddy children problem and apply it to show that axioms of positive and negative introspections and Truth are not necessarily valid in our basic epistemic fuzzy models. In the sequel, we propose a derivation system $K_F$ as a fuzzy version of classical epistemic logic $K$. Next, we establish some other epistemic-fuzzy derivation systems $B_F, T_F, B_F^n$ and $T_F^n$ which are extensions of $K_F$, and prove that all of these derivation systems are sound and complete with respect to appropriate classes of Kripke-based models

Avon Hotham catchment appraisal 2005

This report summarises current information on risks and impacts to agricultural production and natural resources within the Avon Hotham study area. It then identifies suitable options to manage such risks. The Avon Hotham study area is 1.9 million hectares and is made up of three sub catchments: West Avon, South Avon and Hotham, in south west Western Australia. Among the risks and impacts discussed are rainfall, surface drainage; major land degredation hazards are subsurface compaction and acidification

A novel formulation for optimum conceptual design of buildings of rectangular shapes

In many optimum design cases, we look for a set of design variables selected from a given list which assure the optimum of objective function together with satisfaction of the constraints. That is, optimum conceptual design mostly consists of selecting the best combination of a finite number of structural elements and the available parameters. In this paper a novel technique is presented for the conceptual design optimization of framed buildings with a rectangular plan. The method supports all the buildings with grid pattern column layout. To that end, we take advantage of the knapsack problem as a basic applied combinatorial optimization problem. The objective is to find a rectangular column layout of maximum profit for the frames that also satisfy the imposed geometric constraints. The method is presented in a general form and is not confined to optimization under a certain type of action effect and/or geometrical constraints. It gives the methodology the ability of being formulated for various objective functions and constraints and different structural systems. Civil-Comp Press, 2013

Millennium Development Goals (Mdgs) The Achievement and Failure: A Comparative Presentation Between Yemen and India in the Light of The Development Sectors’ Indicators

 To contribute the achievement of sustainable development (SD) goals the Government’s real commitment on SD thoughts in both central and local levels is one of the most important factors. MDGs express widespread public concern about development’s related issues. The Republic of Yemen and the Republic of India, both are eastern countries in the continent of Asia, sharing its cultural and historical heritage. Regarding the development indicators, in 2011 Yemen was among the least developed countries whereas India among the medium developed countries. This paper mainly depended on the secondary data.  It depends on the national reports in Yemen and India additional to the international organizations’ reports. It exposes first the main indicators (i.e. Economic, Social, and Environmental) which are the constituents of SD dimensions. The purpose is to get representative access towards comprehending the existing situations while conducting the study. Then, the study outlines detailed schedules and tables about the indicators of the development sectors in the two countries such as the sectors of education, higher education, health, agriculture, water, sanitation, roads, energy and communications with some analyzes and discussions about the extent of achieving MDGs in each sector

Hepatitis A virus and Hepatitis E virus seroprevalence among blood donors in Tehran, Iran

Background: Hepatitis A virus (HAV) and Hepatitis E virus (HEV) are both transmitted by the fecal-oral route and are known as the leading causes of acute viral hepatitis in the world, especially in developing countries. There is a lack of updated data on HAV and HEV seroprevalence in Iran. Objectives: The aim of this study was to determine the seroprevalence of HAV and HEV among a group of blood donors in Tehran, Iran. Materials and Methods: A cross-sectional study was performed from July 2014 to December 2014, on a total of 559 blood donors referred to the Tehran blood transfusion center. The serum samples were tested for antibodies to HAV and HEV, using the enzyme-linked immunosorbent assay. Results: In the present study, 536 (95.9) cases were male and 23 (4.1) female with mean age of 38 years. Out of 559 blood donors, 107 (19.1) were first-time donors, 163 (29.2) lapsed donors and 289 (51.7) regular donors. Anti-HAV was found in 395 (70.7) and anti-HEV in 45 (8.1) of the blood donors. The HAV and HEV seroprevalence increased by age. There was no significant difference between genders in terms of anti-HAV and anti-HEV status. The HAV and HEV seroprevalence was significantly related to the level of education, where the donors with higher level of education had lower rate of HAV and HEV seroprevalence. The HAV and HEV seroprevalence was significantly higher in regular and lapsed donors than in first-time donors. Conclusions: The present study showed that both HAV and HEV infections are still endemic in Iran. © 2016, Kowsar Corp

Social influence in childhood obesity interventions: a systematic review

The objective of this study is to understand the pathways through which social influence at the family level moderates the impact of childhood obesity interventions. We conducted a systematic review of obesity interventions in which parents' behaviours are targeted to change children's obesity outcomes, because of the potential social and environmental influence of parents on the nutrition and physical activity behaviours of children. PubMed (1966–2013) and the Web of Science (1900–2013) were searched, and 32 studies satisfied our inclusion criteria. Results for existing mechanisms that moderate parents' influence on children's behaviour are discussed, and a causal pathway diagram is developed to map out social influence mechanisms that affect childhood obesity. We provide health professionals and researchers with recommendations for leveraging family-based social influence mechanisms to increase the efficacy of obesity intervention programmes

Attenuation correction in myocardial perfusion SPECT using sequential transmission - Emission scanning with 99mTc

Introduction: Nowadays, Imaging of the myocardial perfusion (MPI) using the single photon emission tomography (SPET) in the diagnosis of coronary artery disease, especially myocardial ischemia, is of great importance. In contrast to the coronary artery angiography, MPI is non-invasive, less expensive and more physiological. Unfortunately, this image is affected by the some artifacts. These artifacts lead to decrease image diagnostic accuracy and increase false positive cases. One of the most important effective artifacts is due to attenuation. These attenuation artifacts are caused by the left breast tissue in women, diaphragm in men and the chest wall in both sexes. Because of the inherent non- uniform attenuation map in the thorax region, this problem is very complex. Methods: The aim of this study is to correct attenuation artifact with a simple method that is available and very easy to use. In this study we used transmission scanning by 99mTc in the sequential views and an attenuation map was created. After attenuation correction of the original images with attenuation map, non corrected and corrected images were compared with angiography results to apply attenuation correction based on functional findings. Results: Results show that new artifacts are created and experiences of physicians in the impression of the images is critical. Finally, the sensitivity of images increased from 86.20 to 96.42, the specificity decreased from 85.71 to 54.54 and the diagnostic accuracy decreased from 86 to 78. Conclusion: Attenuation correction can produce new artifacts, which can influence the way scans are interpreted. It seems that attenuation correction of the images, need special experience. Lack of enough experience in attenuation correction techniques, can comprise the diagnostic accuracy of images

Comparing ovarian radiation doses in flat-panel and conventional angiography during uterine artery embolization: A randomized clinical trial

Background: Uterine artery embolization (UAE) is a minimally invasive procedure performed under fluoroscopy for the treatment of uterine fibroids and accompanied by radiation exposure. Objectives: To compare ovarian radiation doses during uterine artery embolization (UAE) in patients using conventional digital subtraction angiography (DSA) with those using digital flat-panel technology. Patients and Methods: Thirty women who were candidates for UAE were randomly enrolled for one of the two angiographic systems. Ovarian doses were calculated according to in-vitro phantom study results using entrance and exit doses and were compared between the two groups. Results: The mean right entrance dose was 1586±1221 mGy in the conventional and 522.3±400.1 mGy in the flat panel group (P=0.005). These figures were 1470±1170 mGy and 456±396 mGy, respectively for the left side (P=0.006). The mean right exit dose was 18.8±12.3 for the conventional and 9.4±6.4 mGy for the flat panel group (P=0.013). These figures were 16.7±11.3 and 10.2±7.2 mGy, respectively for the left side (P=0.06). The mean right ovarian dose was 139.9±92 in the conventional and 23.6±16.2 mGy in the flat panel group (P<0.0001). These figures were 101.7±77.6 and 24.6±16.9 mGy, respectively for the left side (P=0.002). Conclusion: Flat panel system can significantly reduce the ovarian radiation dose during UAE compared with conventional DSA. © 2013, Tehran University of Medical Sciences and Iranian Society of Radiology; Licensee KowsarKowsar Ltd

Data on using macro invertebrates to investigate the biological integrity of permanent streams located in a semi-arid region

Abstract The aquatic ecosystems are continuously endangered due to variety of hazardous chemicals containing different toxic agents which can be emitted from anthropogenic sources. Besides the increasing of human population, various kinds of contaminants enter into the surface water resources. The aim of the present study was to investigate the abundance and diversity of macro invertebrates in two permanent streams located in the northern part of Tehran. The biological integrity of the streams was determined by manual sampling approach at five points. The distances between the sampling points were at least 2 km. The bio indicator organisms, organic pollution, and dissolved oxygen were measured. The different types of benthic invertebrates such as riffle beetle, midge and caddish fly larvae, dragon fly, may fly and stone fly nymph, riffle beetle adult, pyralid caterpillar, leech, and pouch snail were identified. It can be concluded that, the identified benthic macro invertebrates can be served as appropriate biological indicator in the studied area. Keywords Biological integrity Tehran Macro invertebrate