376 research outputs found

    Die Verhoging Van Voorskoolse Kinders Se Sintaktiese Kompleksiteit Deur Blootstelling Aan Dialogiese Lees

    Get PDF
    No abstract available

    Die Effek Van Direkte Instruksie Oor Voegwoord-Gebruik Op Die Sintaktiese Kompleksiteit Van Narratiewe

    Get PDF
    No abstract available

    Confluent rewriting of bisimilar term graphs

    Get PDF
    AbstractWe present a survey of confluence properties of (acyclic) term graph rewriting. Results and counterexamples are given for four different kinds of term graph rewriting: besides plain applications of rewrite rules, extensions with the operations of collapsing and copying, and with both operations together are considered. Collapsing and copying together constitute bisimilarity of term graphs. We establish sufficient conditions for, and counterexamples to, confluence and confluence modulo bisimilarity of term graph rewriting over various classes of term rewriting systems

    Evaluating the perceived added value of a threefold intervention to improve palliative care for persons experiencing homelessness:A mixed-method study among social service and palliative care professionals

    Get PDF
    BACKGROUND: Palliative care for persons experiencing homelessness who reside in social service facilities is often late or lacking. A threefold intervention was implemented to improve palliative care for this population by increasing knowledge and collaboration between social service and palliative care professionals. This consultation service comprised: 1) consultations between social service professionals and palliative care professionals; 2) multidisciplinary meetings involving these professionals; and 3) training of these professionals. This study aims to evaluate the perceived added value of this threefold consultation service in three regions in the Netherlands. METHODS: A mixed-methods evaluation study using structured questionnaires for consultants, requesting consultants, and attendees of multidisciplinary meetings, semi-structured group and individual interviews with social service and palliative care professionals involved, weekly diaries filled out by consultants, and an implementation diary. Qualitative data were analyzed following the principles of thematic analysis. Quantitative data were analyzed descriptively. RESULTS: Thirty-four consultations, 22 multidisciplinary meetings and 9 training sessions were studied during the implementation period of 21 months. Social service professionals made up the majority of all professionals reached by the intervention. In all regions the intervention was perceived to have added value for collaboration and networks of social service and palliative care professionals (connecting disciplines reciprocally and strengthening collaborations), the competences of especially social service professionals involved (competency in palliative care provision, feeling emotionally supported in complex situations), and the quality and timing of palliative care (more focus on quality of life and dying, advance care planning and looking ahead, and greater awareness of death and palliative care). CONCLUSIONS: The threefold consultation service particularly helps social service professionals connect with palliative care professionals. It helps them to identify palliative care needs in good time and to provide qualitatively better palliative care to persons experiencing homelessness

    Exploring Conditional Rewriting Logic Computations

    Get PDF
    [EN] Trace exploration is concerned with techniques that allow computation traces to be dynamically searched for specific contents. Depending on whether the exploration is carried backward or forward, trace exploration techniques allow provenance tracking or impact tracking to be done. The aim of provenance tracking is to show how (parts of) a program output depends on (parts of) its input and to help estimate which input data need to be modified to accomplish a change in the outcome. The aim of impact tracking is to identify the scope and potential consequences of changing the program input. Rewriting Logic (RWL) is a logic of change that supplements (an extension of) the equational logic by adding rewrite rules that are used to describe (nondeterministic) transitions between states. In this paper, we present a rich and highly dynamic, parameterized technique for the forward inspection of RWL computations that allows the nondeterministic execution of a given conditional rewrite theory to be followed up in different ways. With this technique, an analyst can browse, slice, filter, or search the traces as they come to life during the program execution. The navigation of the trace is driven by a user-defined, inspection criterion that specifies the required exploration mode. By selecting different inspection criteria, one can automatically derive a family of practical algorithms such as program steppers and more sophisticatedThis work has been partially supported by the EU (FEDER) and the Spanish MEC project Ref. TIN2010-21062-C02-02, the Spanish MICINN complementary action Ref. TIN2009-07495-E, and by Generalitat Valenciana Ref. PROMETEO2011/052. This work was carried out during the tenure of D. Ballis' ERCIM "Alain Bensoussan" Postdoctoral Fellowship. The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement N. 246016. F. Frechina was supported by FPU-ME grant AP2010-5681, and J. Sapina was supported by FPI-UPV grant SP2013-0083.Alpuente Frasnedo, M.; Ballis, D.; Frechina Navarro, F.; Sapiña Sanchis, J. (2015). Exploring Conditional Rewriting Logic Computations. Journal of Symbolic Computation. 69:3-39. https://doi.org/10.1016/j.jsc.2014.09.028S3396

    LOng-term follow-up after liVE kidney donation (LOVE) study: A longitudinal comparison study protocol

    Get PDF
    Background: The benefits of live donor kidney transplantation must be balanced against the potential harm to the donor. Well-designed prospective studies are needed to study the long-term consequences of kidney donation. Methods: The "LOng-term follow-up after liVE kidney donation" (LOVE) study is a single center longitudinal cohort study on long-term consequences after living kidney donation. We will study individuals who have donated a kidney from 1981 through 2010 in the Erasmus University Medical Center in Rotterdam, The Netherlands. In this time period, 1092 individuals donated a kidney and contact information is available for all individuals. Each participating donor will be matched (1:4) to non-donors derived from the population-based cohort studies of the Rotterdam Study and the Study of Health in Pomerania. Matching will be based on baseline age, gender, BMI, ethnicity, kidney function, blood pressure, pre-existing co-morbidity, smoking, the use of alcohol and highest education degree. Follow-up data is collected on kidney function, kidney-related comorbidity, mortality, quality of life and psychological outcomes in all participants. Discussion: This study will provide evidence on the long-term consequences of live kidney donation for the donor compared to matched non-donors and evaluate the current donor eligibility criteria. Trial registration: Dutch Trial Register NTR3795
    corecore