125 research outputs found
Some conceptual difficulties regarding "net" multipliers
Multipliers are routinely used for impact evaluation of private projects and public policies at the national and subnational levels. Oosterhaven and Stelder (2002) correctly pointed out the misuse of standard 'gross' multipliers and proposed the concept of 'net' multiplier as a solution to this bad practice. We prove their proposal is not well founded. We do so by showing that supporting theorems are faulty in enunciation and demonstration. The proofs are flawed due to an analytical error but the theorems themselves cannot be salvaged as generic, non-curiosum counterexamples demonstrate. We also provide a general analytical framework for multipliers and, using it, we show that standard 'gross' multipliers are all that is needed within the interindustry model since they follow the causal logic of the economic model, are well defined and independent of exogenous shocks, and are interpretable as predictors for change
An SMT-Based Concolic Testing Tool for Logic Programs
[EN] Concolic testing combines symbolic and concrete execution to generate test cases that achieve a good program coverage. Its benefits have been demonstrated for more than 15 years in the case of imperative programs. In this work, we present a concolic-based test generation tool for logic programs which exploits SMT-solving for constraint resolutionThird author is a research associate at FNRS that also supports this work (O05518FRG03). The last author is partially supported by the EU (FEDER) and the Spanish
MCI/AEI under grants TIN2016-76843-C4-1-R/PID2019-104735RB-C41 and by the
Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust)Fortz, S.; Mesnard, F.; Payet, E.; Perrouin, G.; Vanhoof, W.; Vidal, G. (2020). An SMT-Based Concolic Testing Tool for Logic Programs. Springer Nature. 215-219. https://doi.org/10.1007/978-3-030-59025-3_13S215219de Moura, L., Bjørner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78800-3_24Giantsios, A., Papaspyrou, N., Sagonas, K.: Concolic testing for functional languages. Sci. Comput. Program. 147, 109–134 (2017)Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Proceedings of PLDI 2005, pp. 213–223. ACM (2005)Mesnard, F., Payet, É., Vidal, G.: Concolic testing in logic programming. TPLP 15(4–5), 711–725 (2015). https://doi.org/10.1017/S1471068415000332Mesnard, F., Payet, É., Vidal, G.: On the completeness of selective unification in concolic testing of logic programs. In: Hermenegildo, M.V., Lopez-Garcia, P. (eds.) LOPSTR 2016. LNCS, vol. 10184, pp. 205–221. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-63139-4_12Mesnard, F., Payet, É., Vidal, G.: Selective unification in constraint logic programming. In: Vanhoof, W., Pientka, B. (eds.) PPDP, pp. 115–126. ACM (2017)Mesnard, F., Payet, É., Vidal, G.: Concolic Testing in CLP. CoRR abs/2008.00421 (2020). https://arxiv.org/abs/2008.00421Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: ESEC/ FSE, pp. 263–272. ACM (2005)Ströder, T., Emmes, F., Schneider-Kamp, P., Giesl, J., Fuhs, C.: A linear operational semantics for termination and complexity analysis of ISO Prolog. In: Vidal, G. (ed.) LOPSTR 2011. LNCS, vol. 7225, pp. 237–252. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32211-2_16Tikovsky, J.R.: Concolic testing of functional logic programs. In: Seipel, D., Hanus, M., Abreu, S. (eds.) WFLP/WLP/INAP -2017. LNCS (LNAI), vol. 10997, pp. 169–186. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00801-7_11Vidal, G.: Concolic execution and test case generation in prolog. In: Proietti, M., Seki, H. (eds.) LOPSTR 2014. LNCS, vol. 8981, pp. 167–181. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-17822-6_10Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-prolog. TPLP 12(1–2), 67–96 (2012). https://doi.org/10.1017/S147106841100049
Midterm Outcomes and Aneurysm Sac Dynamics Following Fenestrated Endovascular Aneurysm Repair after Previous Endovascular Aneurysm Repair
Objective: Fenestrated endovascular aneurysm repair (FEVAR) is a feasible option for aortic repair after endovascular aneurysm repair (EVAR), due to improved peri-operative outcomes compared with open conversion. However, little is known regarding the durability of FEVAR as a treatment for failed EVAR. Since aneurysm sac evolution is an important marker for success after aneurysm repair, the aim of the study was to examine midterm outcomes and aneurysm sac dynamics of FEVAR after prior EVAR. Methods:Patients undergoing FEVAR for complex abdominal aortic aneurysms from 2008 to 2021 at two hospitals in The Netherlands were included. Patients were categorised into primary FEVAR and FEVAR after EVAR. Outcomes included five year mortality rate, one year aneurysm sac dynamics (regression, stable, expansion), sac dynamics over time, and five year aortic related procedures. Analyses were done using Kaplan–Meier methods, multivariable Cox regression analysis, chi square tests, and linear mixed effect models. Results: One hundred and ninety-six patients with FEVAR were identified, of whom 27% (n = 53) had had a prior EVAR. Patients with prior EVAR were significantly older (78 ± 6.7 years vs. 73 ± 5.9 years, p < .001). There were no significant differences in mortality rate. FEVAR after EVAR was associated with a higher risk of aortic related procedures within five years (hazard ratio [HR] 2.6; 95% confidence interval [CI] 1.1 – 6.5, p = .037). Sac dynamics were assessed in 154 patients with available imaging. Patients with a prior EVAR showed lower rates of sac regression and higher rates of sac expansion at one year compared with primary FEVAR (sac expansion 48%, n = 21/44, vs. 8%, n = 9/110, p < .001). Sac dynamics over time showed similar results, sac growth for FEVAR after EVAR, and sac shrinkage for primary FEVAR (p < .001). Conclusion: There were high rates of sac expansion and a need for more secondary procedures in FEVAR after EVAR than primary FEVAR patients, although this did not affect midterm survival. Future studies will have to assess whether FEVAR after EVAR is a valid intervention, and the underlying process that drives aneurysm sac growth following successful FEVAR after EVAR.</p
Midterm Outcomes and Aneurysm Sac Dynamics Following Fenestrated Endovascular Aneurysm Repair after Previous Endovascular Aneurysm Repair
Objective: Fenestrated endovascular aneurysm repair (FEVAR) is a feasible option for aortic repair after endovascular aneurysm repair (EVAR), due to improved peri-operative outcomes compared with open conversion. However, little is known regarding the durability of FEVAR as a treatment for failed EVAR. Since aneurysm sac evolution is an important marker for success after aneurysm repair, the aim of the study was to examine midterm outcomes and aneurysm sac dynamics of FEVAR after prior EVAR. Methods:Patients undergoing FEVAR for complex abdominal aortic aneurysms from 2008 to 2021 at two hospitals in The Netherlands were included. Patients were categorised into primary FEVAR and FEVAR after EVAR. Outcomes included five year mortality rate, one year aneurysm sac dynamics (regression, stable, expansion), sac dynamics over time, and five year aortic related procedures. Analyses were done using Kaplan–Meier methods, multivariable Cox regression analysis, chi square tests, and linear mixed effect models. Results: One hundred and ninety-six patients with FEVAR were identified, of whom 27% (n = 53) had had a prior EVAR. Patients with prior EVAR were significantly older (78 ± 6.7 years vs. 73 ± 5.9 years, p < .001). There were no significant differences in mortality rate. FEVAR after EVAR was associated with a higher risk of aortic related procedures within five years (hazard ratio [HR] 2.6; 95% confidence interval [CI] 1.1 – 6.5, p = .037). Sac dynamics were assessed in 154 patients with available imaging. Patients with a prior EVAR showed lower rates of sac regression and higher rates of sac expansion at one year compared with primary FEVAR (sac expansion 48%, n = 21/44, vs. 8%, n = 9/110, p < .001). Sac dynamics over time showed similar results, sac growth for FEVAR after EVAR, and sac shrinkage for primary FEVAR (p < .001). Conclusion: There were high rates of sac expansion and a need for more secondary procedures in FEVAR after EVAR than primary FEVAR patients, although this did not affect midterm survival. Future studies will have to assess whether FEVAR after EVAR is a valid intervention, and the underlying process that drives aneurysm sac growth following successful FEVAR after EVAR.</p
Migration outflows and optimal migration policy: rules versus discretion
We study the effects of more open borders on return migration and show that migrants are more likely to return to the origin country when migration rules are softened, because this implies that they could more easily re-migrate if return migration is unsuccessful. As a result, softening migration rules leads to lower net inflows than is generally acknowledged. We show that if government follows rules to shape the optimal migration policy, it will choose more open “borders” than were its behaviour to be discretionary. However, this requires an appropriate commitment technology. We show that electoral accountability may be a solution to the commitment problem. As a matter of fact, observed softer immigration rules in western countries suggest the effectiveness of such a mechanism.info:eu-repo/semantics/publishedVersio
The Financial Burden of Non-Communicable Chronic Diseases in Rural Nigeria: Wealth and Gender Heterogeneity in Health Care Utilization and Health Expenditures
Objectives
Better insights into health care utilization and out-of-pocket expenditures for non-communicable chronic diseases (NCCD) are needed to develop accessible health care and limit the increasing financial burden of NCCDs in Sub-Saharan Africa.
Methods
A household survey was conducted in rural Kwara State, Nigeria, among 5,761 individuals. Data were obtained using biomedical and socio-economic questionnaires. Health care utilization, NCCD-related health expenditures and distances to health care providers were compared by sex and by wealth quintile, and a Heckman regression model was used to estimate health expenditures taking selection bias in health care utilization into account.
Results
The prevalence of NCCDs in our sample was 6.2%. NCCD-affected individuals from the wealthiest quintile utilized formal health care nearly twice as often as those from the lowest quintile (87.8% vs 46.2%, p = 0.002). Women reported foregone formal care more often than men (43.5% vs. 27.0%, p = 0.058). Health expenditures relative to annual consumption of the poorest quintile exceeded those of the highest quintile 2.2-fold, and the poorest quintile exhibited a higher rate of catastrophic health spending (10.8% among NCCD-affected households) than the three upper quintiles (4.2% to 6.7%). Long travel distances to the nearest provider, highest for the poorest quintile, were a significant deterrent to seeking care. Using distance to the nearest facility as instrument to account for selection into health care utilization, we estimated out-of-pocket health care expenditures for NCCDs to be significantly higher in the lowest wealth quintile compared to the three upper quintiles.
Conclusions
Facing potentially high health care costs and poor accessibility of health care facilities, many individuals suffering from NCCDs—particularly women and the poor—forego formal care, thereby increasing the risk of more severe illness in the future. When seeking care, the poor spend less on treatment than the rich, suggestive of lower quality care, while their expenditures represent a higher share of their annual household consumption. This calls for targeted interventions that enhance health care accessibility and provide financial protection from the consequences of NCCDs, especially for vulnerable populations
Reproducible, Ultra High-Throughput Formation of Multicellular Organization from Single Cell Suspension-Derived Human Embryonic Stem Cell Aggregates
Background: Human embryonic stem cells (hESC) should enable novel insights into early human development and provide a renewable source of cells for regenerative medicine. However, because the three-dimensional hESC aggregates [embryoid bodies (hEB)] typically employed to reveal hESC developmental potential are heterogeneous and exhibit disorganized differentiation, progress in hESC technology development has been hindered. Methodology/Principal Findings: Using a centrifugal forced-aggregation strategy in combination with a novel centrifugalextraction approach as a foundation, we demonstrated that hESC input composition and inductive environment could be manipulated to form large numbers of well-defined aggregates exhibiting multi-lineage differentiation and substantially improved self-organization from single-cell suspensions. These aggregates exhibited coordinated bi-domain structures including contiguous regions of extraembryonic endoderm- and epiblast-like tissue. A silicon wafer-based microfabrication technology was used to generate surfaces that permit the production of hundreds to thousands of hEB per cm 2. Conclusions/Significance: The mechanisms of early human embryogenesis are poorly understood. We report an ultra high throughput (UHTP) approach for generating spatially and temporally synchronised hEB. Aggregates generated in this manner exhibited aspects of peri-implantation tissue-level morphogenesis. These results should advance fundamental studies into early human developmental processes, enable high-throughput screening strategies to identify conditions tha
Ablation of Dido3 compromises lineage commitment of stem cells in vitro and during early embryonic development
The death inducer obliterator (Dido) locus encodes three protein isoforms, of which Dido3 is the largest and most broadly expressed. Dido3 is a nuclear protein that forms part of the spindle assembly checkpoint (SAC) and is necessary for correct chromosome segregation in somatic and germ cells. Here we report that specific ablation of Dido3 function in mice causes lethal developmental defects at the onset of gastrulation. Although these defects are associated with centrosome amplification, spindle malformation and a DNA damage response, we provide evidence that embryonic lethality of the Dido3 mutation cannot be explained by its impact on chromosome segregation alone. We show that loss of Dido3 expression compromises differentiation of embryonic stem cells in vitro and of epiblast cells in vivo, resulting in early embryonic death at around day 8.5 of gestation. Close analysis of Dido3 mutant embryoid bodies indicates that ablation of Dido3, rather than producing a generalized differentiation blockade, delays the onset of lineage commitment at the primitive endoderm specification stage. The dual role of Dido3 in chromosome segregation and stem cell differentiation supports the implication of SAC components in stem cell fate decisions
- …