Filters








285,100 Hits in 3.9 sec

Model Checking Birth and Death [chapter]

Dino Distefano, Arend Rensink, Joost-Pieter Katoen
2002 Foundations of Information Technology in the Era of Network and Mobile Computing  
The main contribution of the paper is a tableau-based model checking algorithm for A TL, along the lines of Lichtenstein and Pnueli's algorithm for LTL.  ...  This paper proposes Allocational Temporal Logic (A TL) as a formalism to express properties concerning the dynamic allocation (birth) and de-allocation (death) of entities, such as the objects in an object-based  ...  Introduction One of the aspects of computation that state-of-the-art model checking does not deal with very well is that of dynamic allocation and deallocation (birth and death) of entities.  ... 
doi:10.1007/978-0-387-35608-2_36 dblp:conf/ifipTCS/DistefanoRK02 fatcat:7guuvfhc2najpjtjfn7zyphmwu

The Birth of Model Checking [chapter]

Edmund M. Clarke
Lecture Notes in Computer Science  
The temporal logic model checking algorithms of Clarke and Emerson 1980's allowed this type of reasoning to be automated.  ...  The algorithm was implemented in the EMC model checker and used to check a number of network protocols and sequential circuits.  ... 
doi:10.1007/978-3-540-69850-0_1 fatcat:s4usoztjj5dv5mcevfogv3sf6i

Influences of health facility type for delivery and experience of cesarean section on maternal and newborn postnatal care between birth and facility discharge in Malawi

Eunsoo Timothy Kim, Kavita Singh, Ilene S. Speizer, Clara Lemani
2020 BMC Health Services Research  
Three categorical endogenous variables examined in the study were whether or not mothers received a postnatal check between birth and facility discharge, whether or not newborns received a postnatal check  ...  Simultaneous equation modeling was used to examine the associations of interest. 47% of the mothers and 68% of the newborns had PNC before facility discharge.  ...  Lastly, the residuals of maternal postnatal health check between birth and discharge and newborn postnatal health check between birth and discharge are hypothesized to correlate in the model.  ... 
doi:10.1186/s12913-020-4958-4 pmid:32093660 fatcat:q7dvzcenfracpctzvdhdnjnmzi

Provision of postpartum care to women giving birth in health facilities in sub-Saharan Africa: A cross-sectional study using Demographic and Health Survey data from 33 countries

Lenka Benova, Onikepe Owolabi, Emma Radovich, Kerry L. M. Wong, David Macleod, Etienne V. Langlois, Oona M. R. Campbell, Jenny E Myers
2019 PLoS Medicine  
This study estimated the percentage of women receiving a postpartum health check following childbirth in a health facility in SSA and examined the determinants of receiving such check.  ...  There is a crucial gap in understanding the quality of postpartum care for women giving birth in health facilities in low- and middle-income settings.  ...  The content of this publication is solely the responsibility of the authors and does not represent the official views of their affiliated institutions or funders.  ... 
doi:10.1371/journal.pmed.1002943 pmid:31644531 pmcid:PMC6808422 fatcat:ar47zrlkvbhd7eh7njscoahe4y

The Cost-Effectiveness of One-Time Birth Cohort Screening for Hepatitis C as Part of the National Health Service Health Check Programme in England

Jack Williams, Alec Miners, Ross Harris, Sema Mandal, Ruth Simmons, Georgina Ireland, Matthew Hickman, Charles Gore, Peter Vickerman
2019 Value in Health  
The model used data from a back-calculation model of the burden of HCV in England, sentinel surveillance of HCV testing, and published literature.  ...  We aim to evaluate the cost-effectiveness of one-time HCV screening for individuals born between 1950 and 1979 as part of the National Health Service health check in England, a health check for adults  ...  Methods Model Analysis A state-transition Markov model was used to analyze the impact of a one-time HCV antibody test, given to those in each eligible birth cohort attending the NHS health check program  ... 
doi:10.1016/j.jval.2019.06.006 pmid:31708061 fatcat:l2f4ev7kvnfodefz3ykrgrdbcy

What are pregnant women told about models of maternity care in Australia? A retrospective study of women's reports

Gabrielle Stevens, Rachel Thompson, Sue Kruske, Bernadette Watson, Yvette D. Miller
2014 Patient Education and Counseling  
Results : The proportion of women with whom each model of care was discussed varied between 8.2% (for private midwifery care with home birth) and 64.4% (GP shared care).  ...  Methods: Women who had recently given birth responded to survey items about the models of care GPs discussed, their role in final decision-making, and sociodemographic, obstetric history, and early pregnancy  ...  The Queensland Registry of Births, Deaths and Marriages contacted women to  ... 
doi:10.1016/j.pec.2014.07.010 pmid:25085552 fatcat:mmq3uigxeja5pnsz2tjjh366xu

Utilization of postnatal care for newborns and its association with neonatal mortality in India: An analytical appraisal

Abhishek Singh, Awadhesh Yadav, Ashish Singh
2012 BMC Pregnancy and Childbirth  
Results: The findings suggest no association between check-up of newborns within 24 hours of birth and neonatal mortality.  ...  The matching variables included birth order and the age of the mother at the birth of the newborn.  ...  Acknowledgements The authors are grateful to the two reviewers whose comments helped immensely in improving the quality of the paper.  ... 
doi:10.1186/1471-2393-12-33 pmid:22571689 pmcid:PMC3405468 fatcat:6xih3666crb57aidqmec7bdwbm

Predictive Model of Factors Associated With Maternal Intensive Care Unit Admission

Robert M. Rossi, Eric Hall, Kevin Dufendach, Emily A. DeFranco
2019 Obstetrics and Gynecology  
Nonetheless, because of the low frequency of maternal ICU admission, the PPV of the model was low and therefore whether models such as ours may be beneficial in future efforts to reduce the prevalence  ...  This model provides insight as to the cumulative effect of multiple risk factors on maternal ICU admission risk.  ...  Check the "No" box if mother is not Spanish/Hispanic/Latina) □ No, not Spanish/Hispanic/Latina Home Birth: Planned to deliver at home?  ... 
doi:10.1097/aog.0000000000003319 pmid:31306325 fatcat:bpz2ylx3nbbtbpzl35g6px7qey

Maternal blood pressure in pregnancy, birth weight, and perinatal mortality in first births: prospective study

Philip J Steer, Mark P Little, Tina Kold-Jensen, Jean Chapple, Paul Elliott
2004 BMJ (Clinical Research Edition)  
Using a linear quadratic model, 94 of 825 (11.4%) perinatal deaths could be attributed to mothers having blood pressure differing from the optimal blood pressure (82.7 mm Hg) predicted by the fitted model  ...  Objective To investigate the relation of diastolic blood pressure in pregnancy with birth weight and perinatal mortality. Design Prospective study.  ...  on gestational age (weeks) at booking for antenatal checks and birth (using the clinician's best estimate based on the first day of the last menstrual period, or ultrasound measurements, which were offered  ... 
doi:10.1136/bmj.38258.566262.7c pmid:15561733 pmcid:PMC534837 fatcat:p6zcjjm3ijgkngwyqgxeynnuqq

The response of vital rates to harvest fluctuations in pre-industrial Sweden

Rodney Benjamin Edvinsson
2016 Cliometrica  
The results are robust to different models and trend specifications, with one crucial difference: while the distributed lag model shows that positive checks were significant up to 1920, the SVAR model  ...  While earlier studies have mostly focused on the impact of real wage, this study uses the calorie content of per capita harvests as an indicator of living standards.  ...  For comments the author wants to thank especially Tommy Bengtsson, Olle Krantz and Lennart Scho ¨n.  ... 
doi:10.1007/s11698-016-0144-7 fatcat:hkfpa4df7nhubkc3edxs7pxxs4

Development and Validation of a Clinical Prognostic Risk Score to Predict Early Neonatal Mortality, Ethiopia: A Receiver Operating Characteristic Curve Analysis

Alemayehu Digssie Gebremariam, Sofonyas Abebaw Tiruneh, Melaku Tadege Engidaw, Desalegn Tesfa, Melkalem Mamuye Azanaw, Getachew Yideg Yitbarek, Getnet Asmare
2021 Clinical Epidemiology  
Decision curve analysis was done for cost-benefit analysis and to check the clinical impact of the model.  ...  Model calibration plot was checked using 'givitiR' R-package. Finally, a risk score prediction tool was developed for ease of applicability.  ...  Thus, the model calibration was checked using 'givitiR' R-package.  ... 
doi:10.2147/clep.s321763 pmid:34366681 pmcid:PMC8336991 fatcat:jgtvaecunbcu5gg5sg5ls5h7wa

Low Birth Weight Baby and Its Associated Factors among Rural Women in Bangladesh: A Decision Curve Analysis

M Sheikh Gias Uddin, M Saiful Islam, M Injamul Haq Methun
2022 Bangladesh Medical Research Council Bulletin  
This result implies that the fitted model can predict 39% low birth weight based on independent factors.  ...  Finally, decision curve analysis technique predicted a net benefit of 0.3907 for the profitable model with highest number of factors.  ...  Authors are also thankful to the children and their parents and the authorities of institutions and health facilities.  ... 
doi:10.3329/bmrcb.v47i1.55798 fatcat:f46gg7gjq5cgtkse2xjx7nu6cy

DS_10.1177_0022034518792870 – Supplemental material for Etiology of Hypomineralized Second Primary Molars: A Prospective Twin Study

M.J. Silva, N.M. Kilpatrick, J.M. Craig, D.J. Manton, P. Leong, D. Burgner, K.J. Scurrah
2018 Figshare  
Scurrah in Journal of Dental Research  ...  Supplemental material, DS_10.1177_0022034518792870 for Etiology of Hypomineralized Second Primary Molars: A Prospective Twin Study by M.J. Silva, N.M. Kilpatrick, J.M. Craig, D.J. Manton, P.  ...  In addition, the association with HSPM after inclusion of a squared term was also checked and if the squared term significantly improved the model, it was either included in subsequent models or a categorical  ... 
doi:10.25384/sage.6934190.v1 fatcat:5j3icouyobbvzgmsswxoypd744

Trends and risk factors for infant mortality in the Lao People's Democratic Republic

Viengsakhone Louangpradith, Eiko Yamamoto, Souphalak Inthaphatha, Bounfeng Phoummalaysith, Tetsuyoshi Kariya, Yu Mon Saw, Nobuyuki Hamajima
2020 Scientific Reports  
Factors associated with the high IMR in all three models (forced-entry, forward-selection, and backward-selection) of multivariate logistic regression analyses were auxiliary nurses as birth attendants  ...  , male infants, postnatal baby checks, and being pregnant at the interview in 1950 women whose infants' birth size was average or large.  ...  The results of analyses were compared in the three models.  ... 
doi:10.1038/s41598-020-78819-9 pmid:33303939 fatcat:ic4zbcgxjzbhfhkbf4ghb6mqhm

Association between Infancy BMI Peak and Body Composition and Blood Pressure at Age 5–6 Years

Michel H. P. Hof, Tanja G. M. Vrijkotte, Marieke L. A. de Hoog, Manon van Eijsden, Aeilko H. Zwinderman, Li Wang
2013 PLoS ONE  
Associations between the estimated BMI peak and the health check measurements were analysed with linear models.  ...  All children had multiple BMI measurements between the 0-4 years of age. For boys and girls separately, child-specific BMI peaks were extracted from mixed effect models.  ...  Note that the model without BMI peak characteristics or BMI at 9 months is the model denoted as none which only as the covariates birth weight , pregnancy duration, and age at the health check in the model  ... 
doi:10.1371/journal.pone.0080517 pmid:24324605 pmcid:PMC3851737 fatcat:yjegjuftzvcmtf4smrqtbxqelu
« Previous Showing results 1 — 15 out of 285,100 results