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

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

Expression of a protein involved in bone resorption, Dkk1, is activated by HTLV-1 bZIP factor through its activation domain

<p>Abstract</p> <p>Background</p> <p>Human T-cell leukemia virus type 1 (HTLV-1) is the etiologic agent of adult T-cell leukemia, a malignancy characterized by uncontrolled proliferation of virally-infected CD4+ T-cells. Hypercalcemia and bone lesions due to osteoclast-mediated bone resorption are frequently associated with more aggressive forms of the disease. The HTLV-1 provirus contains a unique antisense gene that expresses HTLV-1 basic leucine zipper (bZIP) factor (HBZ). HBZ is localized to the nucleus where it regulates levels of transcription by binding to certain cellular transcriptional regulators. Among its protein targets, HBZ forms a stable complex with the homologous cellular coactivators, p300 and CBP, which is modulated through two N-terminal LXXLL motifs in the viral protein and the conserved KIX domain in the coactivators.</p> <p>Results</p> <p>To determine the effects of these interactions on transcription, we performed a preliminary microarray analysis, comparing levels of gene expression in cells with wild-type HBZ versus cells with HBZ mutated in its LXXLL motifs. <it>DKK1</it>, which encodes the secreted Wnt signaling inhibitor, Dickkopf-1 (Dkk1), was confirmed to be transcriptionally activated by HBZ, but not its mutant. Dkk1 plays a major role in the development of bone lesions caused by multiple myeloma. In parallel with the initial findings, activation of Dkk1 expression by HBZ was abrogated by siRNA-mediated knockdown of p300/CBP or by a truncated form of p300 containing the KIX domain. Among HTLV-1-infected T-cell lines tested, the detection of Dkk1 mRNA partially correlated with a threshold level of HBZ mRNA. In addition, an uninfected and an HTLV-1-infected T-cell line transfected with an HBZ expression vector exhibited <it>de novo </it>and increased DKK1 transcription, respectively. In contrast to HBZ, The HTLV-1 Tax protein repressed Dkk1 expression.</p> <p>Conclusions</p> <p>These data indicate that HBZ activates Dkk1 expression through its interaction with p300/CBP. However, this effect is limited in HTLV-1-infected T-cell lines, which in part, may be due to suppression of Dkk1 expression by Tax. Consequently, the ability of HBZ to regulate expression of Dkk1 and possibly other cellular genes may only be significant during late stages of ATL, when Tax expression is repressed.</p