A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization
2001
Electronical Notes in Theoretical Computer Science
We propose a strategy to direct the introduction of schematized terms in the state enumeration procedure. ...
One of its weakness, however, is that it may su er from the non termination of the state enumeration procedure. ...
kind of non termination based on term schematization which improves over the previous proposal by Ait et al 3]. 3 Recurrence-terms Non terminating computations due to in nite sequences of structurally ...
doi:10.1016/s1571-0661(04)80669-8
fatcat:662254popjcnxfp3k4q6pb5o6m
Page 5091 of Mathematical Reviews Vol. , Issue 2000g
[page]
2000
Mathematical Reviews
(electronic)); Fabio Somenzi, Symbolic state exploration (11 pp. (electronic)); S. Renault and E. Cerny, Improving termination of MDG-based abstract state enumeration via term schematization (18 pp. ...
Thus, it may be beneficial in terms of network economics to combine the two technologies (this is indeed done in practice). ...
Challenges in Moving to "Health Information for Action": An Infrastructural Perspective From a Case Study in Tajikistan
2013
Information Technology for Development
, MDG,
WHO indicators
Selection of
indicators based on
the National Health
Strategy indicators,
MDG
National set of indicators are
aligned with NHS, negotiations
between what to be selected ...
HISP HIV/AIDS HL7 HMIS HMN HospMIS HSRP IAD ICD ICT II ILO IS ISO MDG MoH NGO NHS NRHM PhD PHD RCSMI SSA TB UiO UNICEF US USAID WB WHO ABSTRACT This thesis presents the ...
Abstract. This paper contributes to the ongoing debate on the interplay of global and local standardization processes and how can these be effectively managed. ...
doi:10.1080/02681102.2012.751575
fatcat:oibfmrdj5revxkyo3hl4u47upq
Dental Operating Microscope in Endodontics-A Review
2013
IOSR Journal of Dental and Medical Sciences
There is, however, a significant failure rate, especially in long -term. Magnification helps the user not only to see more, but to see wel l. ...
Traditional endodontics has been based on feel not sight. Together with radiographs and electronic apex locators this blind approach has produced surprising success. ...
Funding: Nil
Conflict of interest: None declared There was a slight increase of bone density for all implants through follow-up period in the present study To be successful, implant placement should ...
doi:10.9790/0853-0560108
fatcat:36dwdv3dwfhvvggdckr4hpvcva
Nurturing public health nutrition education in India
2014
European Journal of Clinical Nutrition
The terms of reference of the National Commission on Macroeconomics & Health, included among others, a critical appraisal of the present health system -both in the public and the private sector -and suggesting ...
ways and means of further strengthening it with the specific objective of improving access to a minimum set of essential health interventions to all. ...
Acknowledgements viii REPORT OF THE NATIONAL COMMISSION ON MACROECONOMICS AND HEALTH ...
doi:10.1038/ejcn.2014.42
pmid:24642778
fatcat:x6aorf6fircj3ndecw5nbock3e
African Cities and the Development Conundrum
2018
Revue Internationale de Politique de Développement
This is an open access title distributed under the terms of the prevailing CC-BY-NC License at the time of publication, which permits any non-commercial use, distribution, and reproduction in any medium ...
information sources, such as abstracting and indexing services including databases. ...
Acknowledgements This chapter is based on the author's dissertation, which was supported by the Department of Architecture of ETH Zurich, the Future Cities Laboratory in Singapore, and the Swiss National ...
doi:10.4000/poldev.2621
fatcat:fvgq4bqn3fdbfcmyeqzgeumuoa
Proximate Composition and Phytochemical Constituents of Leaves of Some Acalypha Species
2009
Pakistan Journal of Nutrition
The carbonyl and hydroxyl groups presented in cyanine based dyes in natural pigments are responsible for this binding and complexation of anthocyanine in the extract with metal ions [10, 11]. ...
of photocurrent i.e. the generation of photocurrent becomes limited by diffusion of electrolyte. ...
Acknowledgment The authors are grateful to the Department of Chemical Sciences, Olabisi Onabanjo University, Ago Iwoye, Nigeria for provision of facilities for this work. ...
doi:10.3923/pjn.2009.256.258
fatcat:pepmxlg5szh5ljwjr4paeobydi
A knowledge-based development model for primate cities of the developing world
2018
International Journal of Knowledge-Based Development
ABSTRACT This mixed methods research study seeks to develop, validate and assess the policy-relevance of a Knowledge-based Development Model. ...
This research is the first attempt known to the author to develop and apply a knowledge-based development model based on the UNESCO Framework. ...
This process continues until the termination criteria are met. ...
doi:10.1504/ijkbd.2018.10017798
fatcat:elwngpzzpjgphfag67hfuljay4
Challenges in the design of a research and development programme on conflict and cooperation over natural resources
[chapter]
2014
Conflicts over Natural Resources in the Global South
or persons as a result of operation or use of this publication and/or the information contained herein. ...
Library of Congress Cataloging-in-Publication Data Applied for Published by: CRC Press/Balkema ...
Acknowledgements ACKNOWLEDGEMENTS Funding for the development of this chapter was provided by the Conflict and Cooperation over Natural Resources in Developing Countries (CoCooN) programme of The Netherlands ...
doi:10.1201/b16498-12
fatcat:cpcwomedx5hppog22zcddthdsq
The World Flora Online, Target 1 of the Global Strategy for Plant Conservation, and the Species Plantarum Programme: Flora of the World: Compatible Concepts or Mutually Exclusive Mandates?
2017
Annals of the Missouri Botanical Garden
Botanists facing challenges of the 21st century: What knowledge is needed for a sustainable economy that protects the natural capital of the planet? ...
Acknowledgements The MGU -Useful Plants Project has been funded by MGU, a kind and generous philanthropist based in Spain. ...
Acknowledgement This study was conducted as part to the component 3 of Global Comparative Programme of CIFOR with financial support of The Norwegian Agency for Development Cooperation (NORAD) to whom we ...
doi:10.3417/d-17-00004a
fatcat:kywv6r2oxvgitn2pest62fflla
Development Discourse in Romania: From Socialism to EU Membership
2012
Perspectives on European Politics and Society
The twelve new Member States of the European Union are as many new donors. What I wonder is how these countries establish their donor identity. ...
told the author: 'We were very critical about the so-called development projects that the European Union financed in Romania: we detested their bureaucracy and careless regarding the actual and long-term ...
Cooperation -OECD Review ' of 1975 , the 'Observateur OECD' of 1976 and the Statistical Abstract of United States of 1974. ...
doi:10.1080/15705854.2011.649167
fatcat:rv2wmym3dbdlvlvs5r6pmqmgmy
Editorial committee Editorial assistant International editorial Editorial committee Editorial assistant International editorial
2017
Global Campus Human Rights Journal
unpublished
Although yearly borrowing limits are set via the annual budget law (Budgetary Code, article 16), this does little in terms of transparency and participation. ...
, non-discrimination, participation, empowerment, accountability and transparency, because a rights-based approach would improve the sustainability and effectiveness of development policies; • to improve ...
state actors, the FARC-EP and other parties. ...
fatcat:txhfnht4hnb3zkwrc46f7d2wiy
Editorial committee Editorial assistant International editorial Editorial committee Editorial assistant International editorial
2017
Global Campus Human Rights Journal
unpublished
Although yearly borrowing limits are set via the annual budget law (Budgetary Code, article 16), this does little in terms of transparency and participation. ...
, non-discrimination, participation, empowerment, accountability and transparency, because a rights-based approach would improve the sustainability and effectiveness of development policies; • to improve ...
state actors, the FARC-EP and other parties. ...
fatcat:wjmyij2l4nhtzkx4bnfk633nyu
Counting the smallest: data to estimate global stillbirth, preterm birth and low birthweight rates
2020
Data quality issues currently hamper the use of these data to improve outcomes in many settings, but could be addressed with political will and targeted investment. ...
Data quantity and quality were summarised for each outcome, with implications for improvement and research. ...
Medicine for Every Newborn measurement improvement. WHO and UNICEF also provided resources. WHO and UNICEF participated in the analyses. ...
doi:10.17037/pubs.04655794
fatcat:wdjwbmi4j5bi5jt7xg2glo2wdi
A field performance and adherence study of point-of-use water treatment in Zambia and Pakistan
2017
The perceived need to treat water may have ultimately been purposive, based on circumstantial factors that influenced quality perceptions. ...
analysis 99 3.2.6.2 Quantitative analysis 100 3.3 REFERENCES ABSTRACT 187 6.1 INTRODUCTION 188 6.2 METHODS 191 6.2.1 Study design 191 6.2.2 Data analysis 191 6.2.2.1 Quantitative analysis 191 6.2. ...
By the end of the MDG era in 2015, 2.6 billion people had gained access to an "improved" water source since 1990, and 91% of the global population were considered to be covered . ...
doi:10.17037/pubs.04539375
fatcat:fvzxvz4ap5cyziznfj7ojhgtgu
« Previous
Showing results 1 — 15 out of 38 results