5,320 research outputs found

    Phase behaviour of binary mixtures of diamagnetic colloidal platelets in an external magnetic field

    Full text link
    Using fundamental measure density functional theory we investigate paranematic-nematic and nematic-nematic phase coexistence in binary mixtures of circular platelets with vanishing thicknesses. An external magnetic field induces uniaxial alignment and acts on the platelets with a strength that is taken to scale with the platelet area. At particle diameter ratio lambda=1.5 the system displays paranematic-nematic coexistence. For lambda=2, demixing into two nematic states with different compositions also occurs, between an upper critical point and a paranematic-nematic-nematic triple point. Increasing the field strength leads to shrinking of the coexistence regions. At high enough field strength a closed loop of immiscibility is induced and phase coexistence vanishes at a double critical point above which the system is homogeneously nematic. For lambda=2.5, besides paranematic-nematic coexistence, there is nematic-nematic coexistence which persists and hence does not end in a critical point. The partial orientational order parameters along the binodals vary strongly with composition and connect smoothly for each species when closed loops of immiscibility are present in the corresponding phase diagram.Comment: 9 pages, to appear in J.Phys:Condensed Matte

    Having Fun in Learning Formal Specifications

    Full text link
    There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents a game called FormalZ that teachers can use to introduce some variation in their class. Students can have some fun in playing the game and, while doing so, also learn the basics of writing formal specifications in the form of pre- and post-conditions. Unlike existing software engineering themed education games such as Pex and Code Defenders, FormalZ takes the deep gamification approach where playing gets a more central role in order to generate more engagement. This short paper presents our work in progress: the first implementation of FormalZ along with the result of a preliminary users' evaluation. This implementation is functionally complete and tested, but the polishing of its user interface is still future work

    Beproeven apparaat bedwelmen van meerval voor de praktijk

    Get PDF
    Het doel van dit project was vaststellen of apparatuur voor elektrisch bedwelmen en vervolgens doden van de meervalsoorten in de praktijk aan het gestelde welzijnscriterium voldoet. Het welzijnscriterium voor elektrisch bedwelmen is dat de bewusteloosheid en gevoelloosheid onmiddellijk moeten worden opgewekt zonder dat deze vissoorten weer bijkomen. Het onderzoek richtte zich op de implementatie van elektrisch bedwelmen van Afrikaanse meerval (Clarias gariepinus) en een kruising van A. meerval en Vundu meerval (Heterobranchus longifilis) (Claresse meerval). Om dit doel te bereiken werden testen uitgevoerd met een eerste ontwerp en een omgebouwde versie van de apparatuur voor het bedwelmen en doden van beide vissoorten

    Association of time-updated plasma calcium and phosphate with graft and patient outcomes after kidney transplantation

    Get PDF
    Disturbances in calcium-phosphate homeostasis are common after kidney transplantation. We aimed to assess the relationship between deregulations in plasma calcium and phosphate over time and mortality and death-censored graft failure (DCGF). In this prospective cohort study we included kidney transplant recipients with ≥2 plasma calcium and phosphate measurements. Data were analyzed using time-updated Cox regression analyses adjusted for potential confounders including time-updated kidney function. We included 2,769 patients (mean age 47±14 years, 42.3% female) with 138,496 plasma calcium and phosphate levels (median [IQR] 43 [31-61] measurements per patient). During follow-up of 16.3 [8.7-25.2] years, 17.2% developed DCGF and 7.9% died. Post-transplant hypercalcemia was associated with an increased risk of mortality (1.63 [1.31-2.00], P<0.0001), but not DCGF. Hyperphosphatemia was associated with both DCGF (2.59 [2.05-3.27], P<0.0001) and mortality (3.14 [2.58-3.82], P<0.0001). Only the association between hypercalcemia and mortality remained significant in sensitivity analyses censored by a simultaneous eGFR <45 mL/min/1.73 m2 . Hypocalcemia and hypophosphatemia were not consistently associated with either outcome. Post-transplant hypercalcemia, even in the presence of preserved kidney function, was associated with an increased mortality risk. Associations of hyperphosphatemia with DCGF and mortality may be driven by eGFR

    Self-organized Te redistribution during driven reconnection processes in high-temperature plasmas

    Get PDF
    Two-dimensional (2D) images of electron temperature fluctuations with high temporal and spatial resolution were employed to study the sawtooth oscillation in Toroidal EXperiment for Technology Oriented Research [S. S. Abdallaev et al., Nucl. Fusion 43, 299 (2003)] tokamak plasmas. The new findings are: (1) 2D images revealed that the reconnection is localized and permitted the determination of the physical dimensions of the reconnection zone in the poloidal and toroidal planes. (2) The combination of a pressure bulge due to finite pressure effects or a kink instability accompanied with a sharp pressure point leads to an "X-point" reconnection process. (3) Reconnection can take place anywhere along the q similar to 1 rational magnetic surface (both high- and low-field sides). (4) Heat flow from the core to the outside of the inversion radius during the reconnection time is through the finite opening on the poloidal and toroidal planes and the flow is highly collective. These new findings are compared with the characteristics of various theoretical models and experimental results for the study of the sawtooth oscillation in tokamak plasmas. (c) 2006 American Institute of Physics

    The Development and Subsequent Elimination of Aberrant Peripheral Axon Projections in Semaphorin3A Null Mutant Mice

    Get PDF
    AbstractSemaphorin3A (previously known as Semaphorin III, Semaphorin D, or collapsin-1) is a member of the semaphorin gene family, many of which have been shown to guide axons during nervous system development. Semaphorin3A has been demonstrated to be a diffusible chemorepulsive molecule for axons of selected neuronal populations in vitro. Analysis of embryogenesis in two independent lines of Semaphorin3A knockout mice support the hypothesis that this molecule is an important guidance signal for neurons of the peripheral nervous system (M. Taniguchi et al., 1997, Neuron 19, 519–530; E. Ulupinar et al., 1999, Mol. Cell. Neurosci. 13, 281–292). Surprisingly, newborn Semaphorin3A null mutant mice exhibit no significant abnormalities (O. Behar et al., 1996, Nature 383, 525–528). In this study we have tested the hypothesis that guidance abnormalities that occurred during early stages of Semaphorin3A null mice development are corrected later in development. We have found that the extensive abnormalities formed during early developmental stages in the peripheral nervous system are largely eliminated by embryonic day 15.5. We demonstrate further that at least in one distinct anatomical location these abnormalities are mainly the result of aberrant projections. In conclusion, these findings suggest the existence of correction mechanisms that eliminate most sensory axon pathfinding errors early in development

    Fasting before living-kidney donation:effect on donor well-being and postoperative recovery: study protocol of a multicenter randomized controlled trial

    Get PDF
    BACKGROUND: One of the main effectors on the quality of life of living-kidney donors is postoperative fatigue. Caloric restriction (CR) and short-term fasting (STF) are associated with improved fitness and increased resistance to acute stress. CR/STF increases the expression of cytoprotective genes, increases immunomodulation via increased anti-inflammatory cytokine production, and decreases the expression of pro-inflammatory markers. As such, nutritional preconditioning by CR or STF represents a non-invasive and cost-effective method that could mitigate the effects of acute surgery-induced stress and postoperative fatigue. To investigate whether preoperative STF contributes to a reduction in fatigue after living-kidney donation, a randomized clinical trial is indicated. METHODS: We aim to determine whether 2.5 days of fasting reduces postoperative fatigue score in subjects undergoing living-kidney donation. In this randomized study, the intervention group will follow a preoperative fasting regime for 2.5 days with a low-dose laxative, while the control group will receive standard care. The main study endpoint is postoperative fatigue, 4 weeks after living-kidney donation. Secondary endpoints include the effect of preoperative fasting on postoperative hospital admission time, the feasibility of STF, and the postoperative recovery of donor and recipient kidney function. This study will provide us with knowledge of the feasibility of STF and confirm its effect on postoperative recovery. DISCUSSION: Our study will provide clinically relevant information on the merits of caloric restriction for living-kidney donors and recipients. We expect to reduce the postoperative fatigue in living-kidney donors and improve the postoperative recovery of living-kidney recipients. It will provide evidence on the clinical merits and potential caveats of preoperative dietary interventions. TRIAL REGISTRATION: Netherlands Trial Register NL9262. EudraCT 2020-005445-16. MEC Erasmus MC MEC-2020-0778. CCMO NL74623.078.21 SUPPLEMENTARY INFORMATION: The online version contains supplementary material available at 10.1186/s13063-021-05950-x
    • …
    corecore