1,992 research outputs found

    Parenting in the context of driving: Spanish adaptation of the Family Climate for Road Safety (FCRSS) for parents and children

    Get PDF
    The Family Climate for Road Safety Scale (FCRSS; Taubman – Ben-Ari & Katz – Ben-Ami, 2013) is a comprehensive measure originally developed in Israel to assess parent-children relations in the specific context of driving. The scale consists of seven dimensions: Modelling, Feedback, Communication, Monitoring, Messages, Limits, and Non-commitment to Safety. While the original FCRSS examines the young drivers’ perception across the seven domains, a version applicable to parents has also been developed by the same authors. The current study investigates the validity and reliability of the FCRSS-Spain for both parents and young drivers. A total of 377 parents (199 fathers and 178 mothers) and 243 of their children (143 daughters and 100 sons) responded to the FCRSS-Spain versions and provided sociodemographic data. In addition, the young drivers completed the Spanish version of the Multidimensional Driving Style Inventory (MDSI-Spain). Results from exploratory structural equation modelling (ESEM) indicate that six out of the seven FCRSS domains were replicable among Spanish drivers. The Messages dimension did not emerge as a consistent factor in the FCRSS for either parents or young drivers. All six factors demonstrated good internal consistency reliability (ordinal alpha coefficients exceeding 0.70), except for Non-commitment to safety. Significant differences were found between mothers and fathers in various FCRSS dimensions in the predicted direction, whereas no significant differences in FCRSS scores were found between young men and young women. As expected, associations were found between parents’ scores in various FCRSS dimensions and the reckless, angry, dissociative, anxious, and careful driving styles reported by the young drivers, as well as between young drivers’ FCRSS scores and their self-reported reckless, angry, dissociative, anxious, and careful driving styles

    Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

    Full text link
    One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states dynamically and thus avoids the construction of the orbit relation. In this paper, we present a new efficient model checking algorithm based on dynamic symmetry reduction. Our experiments show that the algorithm is very fast and allows the verification of larger systems. We additionally implemented the use of state symmetries for symbolic symmetry reduction. To our knowledge we are the first who investigated state symmetries in combination with BDD based symbolic model checking

    Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations

    Full text link
    Symbolic model checking by using BDDs has greatly improved the applicability of model checking. Nevertheless, BDD based symbolic model checking can still be very memory and time consuming. One main reason is the complex transition relation of systems. Sometimes, it is even not possible to generate the transition relation, due to its exhaustive memory requirements. To diminish this problem, the use of partitioned transition relations has been proposed. However, there are still systems which can not be verified at all. Furthermore, if the granularity of the partitions is too fine, the time required for verification may increase. In this paper we target the symbolic verification of asynchronous concurrent systems. For such systems we present an approach which uses similarities in the transition relation to get further memory reductions and runtime improvements. By applying our approach, even the verification of systems with an previously intractable transition relation becomes feasible.Comment: In Proceedings GandALF 2011, arXiv:1106.081

    Temporal coding at the immature depolarizing gabaergic synapse

    Get PDF
    In the developing hippocampus, GABA exerts depolarizing and excitatory actions and contributes to the generation of neuronal network driven giant depolarizing potentials (GDPs). Here, we studied spike time coding at immature GABAergic synapses and its impact on synchronization of the neuronal network during GDPs in the neonatal (postnatal days P2-6) rat hippocampal slices. Using extracellular recordings, we found that the delays of action potentials (APs) evoked by synaptic activation of GABA(A) receptors are long (mean, 65 ms) and variable (within a time window of 10-200 ms). During patch-clamp recordings, depolarizing GABAergic responses were mainly subthreshold and their amplification by persistent sodium conductance was required to trigger APs. AP delays at GABAergic synapses shortened and their variability reduced with an increase in intracellular chloride concentration during whole-cell recordings. Negative shift of the GABA reversal potential (EGABA) with low concentrations of bumetanide, or potentiation of GABA(A) receptors with diazepam reduced GDPs amplitude, desynchronized neuronal firing during GDPs and slowed down GDPs propagation. Partial blockade of GABA(A) receptors with bicuculline increased neuronal synchronization and accelerated GDPs propagation. We propose that spike timing at depolarizing GABA synapses is determined by intracellular chloride concentration. At physiological levels of intracellular chloride GABAergic depolarization does not reach the action potential threshold and amplification of GABAergic responses by non-inactivating sodium conductance is required for postsynaptic AP initiation. Slow and variable excitation at GABAergic synapse determines the level of neuronal synchrony and the rate of GDPs propagation in the developing hippocampus. © 2010 Valeeva, Abdullin, Tyzio, Skorinkin, Nikolski, Ben-Ari and Khazipov

    Insights into GABA receptor signalling in TM3 Leydig cells

    Get PDF
    gamma-Aminobutyric acid (GABA) is an emerging signalling molecule in endocrine organs, since it is produced by endocrine cells and acts via GABA(A) receptors in a paracrine/autocrine fashion. Testicular Leydig cells are producers and targets for GABA. These cells express GABA(A) receptor subunits and in the murine Leydig cell line TM3 pharmacological activation leads to increased proliferation. The signalling pathway of GABA in these cells is not known in this study. We therefore attempted to elucidate details of GABA(A) signalling in TM3 and adult mouse Leydig cells using several experimental approaches. TM3 cells not only express GABA(A) receptor subunits, but also bind the GABA agonist {[}H-3] muscimol with a binding affinity in the range reported for other endocrine cells (K-d = 2.740 +/- 0.721 nM). However, they exhibit a low B-max value of 28.08 fmol/mg protein. Typical GABA(A) receptor-associated events, including Cl- currents, changes in resting membrane potential, intracellular Ca2+ or cAMP, were not measurable with the methods employed in TM3 cells, or, as studied in part, in primary mouse Leydig cells. GABA or GABA(A) agonist isoguvacine treatment resulted in increased or decreased levels of several mRNAs, including transcription factors (c-fos, hsf-1, egr-1) and cell cycle-associated genes (Cdk2, cyclin D1). In an attempt to verify the cDNA array results and because egr-1 was recently implied in Leydig cell development, we further studied this factor. RT-PCR and Western blotting confirmed a time-dependent regulation of egr-1 in TM3. In the postnatal testis egr-1 was seen in cytoplasmic and nuclear locations of developing Leydig cells, which bear GABA(A) receptors and correspond well to TM3 cells. Thus, GABA acts via an untypical novel signalling pathway in TM3 cells. Further details of this pathway remain to be elucidated. Copyright (c) 2005 S. Karger AG, Base

    Galanin Receptor 1 Deletion Exacerbates Hippocampal Neuronal Loss after Systemic Kainate Administration in Mice

    Get PDF
    Galanin is a neuropeptide with a wide distribution in the central and peripheral nervous systems and whose physiological effects are mediated through three G protein-coupled receptor subtypes, GalR1, GalR2, and GalR3. Several lines of evidence indicate that galanin, as well as activation of the GalR1 receptor, is a potent and effective modulator of neuronal excitability in the hippocampus.In order to test more formally the potential influence of GalR1 on seizure-induced excitotoxic cell death, we conducted functional complementation tests in which transgenic mice that exhibit decreased expression of the GalR1 candidate mRNA underwent kainate-induced status epilepticus to determine if the quantitative trait of susceptibility to seizure-induced cell death is determined by the activity of GalR1. In the present study, we report that reduction of GalR1 mRNA via null mutation or injection of the GalR1 antagonist, galantide, prior to kainate-induced status epilepticus induces hippocampal damage in a mouse strain known to be highly resistant to kainate-induced neuronal injury. Wild-type and GalR1 knockout mice were subjected to systemic kainate administration. Seven days later, Nissl and NeuN immune- staining demonstrated that hippocampal cell death was significantly increased in GalR1 knockout strains and in animals injected with the GalR1 antagonist. Compared to GalR1-expressing mice, GalR1-deficient mice had significantly larger hippocampal lesions after status epilepticus.Our results suggest that a reduction of GalR1 expression in the C57BL/6J mouse strain renders them susceptible to excitotoxic injury following systemic kainate administration. From these results, GalR1 protein emerges as a new molecular target that may have a potential therapeutic value in modulating seizure-induced cell death

    Refuting the challenges of the developmental shift of polarity of GABA actions: GABA more exciting than ever!

    Get PDF
    During brain development, there is a progressive reduction of intracellular chloride associated with a shift in GABA polarity: GABA depolarizes and occasionally excites immature neurons, subsequently hyperpolarizing them at later stages of development. This sequence, which has been observed in a wide range of animal species, brain structures and preparations, is thought to play an important role in activity-dependent formation and modulation of functional circuits. This sequence has also been considerably reinforced recently with new data pointing to an evolutionary preserved rule. In a recent 'Hypothesis and Theory Article', the excitatory action of GABA in early brain development is suggested to be "an experimental artefact" (Bregestovski and Bernard, 2012). The authors suggest that the excitatory action of GABA is due to an inadequate/insufficient energy supply in glucose-perfused slices and/or to the damage produced by the slicing procedure. However, these observations have been repeatedly contradicted by many groups and are inconsistent with a large body of evidence including the fact that the developmental shift is neither restricted to slices nor to rodents. We summarize the overwhelming evidence in support of both excitatory GABA during development, and the implications this has in developmental neurobiology. \ua9 2012 Ben-ari, Woodin, Sernagor, Cancedda, Vinay, Rivera,Legendre, Luhmann, Bordey, Wenner, Fukuda, Pol, Jean-luc and Cherubini

    Intracellular chloride concentration influences the GABAA receptor subunit composition

    Get PDF
    GABAA receptors (GABAARs) exist as different subtype variants showing unique functional properties and defined spatio-temporal expression pattern. The molecular mechanisms underlying the developmental expression of different GABAAR are largely unknown. The intracellular concentration of chloride ([Cl−]i), the main ion permeating through GABAARs, also undergoes considerable changes during maturation, being higher at early neuronal stages with respect to adult neurons. Here we investigate the possibility that [Cl−]i could modulate the sequential expression of specific GABAARs subtypes in primary cerebellar neurons. We show that [Cl−]i regulates the expression of α3-1 and δ-containing GABAA receptors, responsible for phasic and tonic inhibition, respectively. Our findings highlight the role of [Cl−]i in tuning the strength of GABAergic responses by acting as an intracellular messenger
    • …
    corecore