376 research outputs found
Die Verhoging Van Voorskoolse Kinders Se Sintaktiese Kompleksiteit Deur Blootstelling Aan Dialogiese Lees
No abstract available
Die Effek Van Direkte Instruksie Oor Voegwoord-Gebruik Op Die Sintaktiese Kompleksiteit Van Narratiewe
No abstract available
Confluent rewriting of bisimilar term graphs
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
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
[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
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
- …