Filters








38 Hits in 8.0 sec

Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization

S. Renault, E. Cerny
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

Murodillo Abdusamadovich Latifov, Sundeep Sahay
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

Prof. (Dr.) Utpal Kumar Das
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

S Khandelwal, A Kurpad
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

Till Förster, Carole Ammann
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

O.M. Iniaghe, S.O. Malomo, J.O. Adebayo
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

Alex Bennet, Vincent Ribiere, Paul G.C. Hector, Jean Louis Ermine
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]

Jan Kessler, Han van Dijk, Wijnand van IJssel
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?

Gideon F. Smith, Ronell R. Klopper, Peter Wyse Jackson, Neil R. Crouch
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

Mirela Oprea
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

Frans Viljoen, Matthew Mullen, Isabeau De Meyer, Ahmed Al, Moatassem Alshorbagy, Marco Borraccetti, Vahan Bournazian, Nancy Cardinaux, Ibrahim Islam, Chiha, Carmen Carrasco, Vahan Bournazian (+8 others)
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

Frans Viljoen, Matthew Mullen, Isabeau De Meyer, Ahmed Al, Moatassem Alshorbagy, Marco Borraccetti, Vahan Bournazian, Nancy Cardinaux, Ibrahim Islam, Chiha, Carmen Carrasco, Vahan Bournazian (+8 others)
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

H Blencowe
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

A Shaheed
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