8 research outputs found

    An Adaptive Mediation Framework for Mobile P2P Social Content Sharing

    No full text

    Rapid Synthesis of Psychoplastogenic Tropane Alkaloids

    No full text
    Tropane alkaloids are an important class of biologically active small molecules characterized by their 8-azabicyclo[3.2.1]octane core. Because of their numerous medicinal applications, microbial biosynthesis and a variety of chemical syntheses have been designed for individual family members. However, current approaches are not amenable to late-stage structural diversification at N8, C3, C6, or C7, positions that are critical for modulating the biological properties of these molecules. Here, we describe a general approach to the synthesis of tropane alkaloids and their analogues that relies on the construction of the 8-azabicyclo[3.2.1]octane core through aziridination of a cycloheptadiene intermediate, followed by vinyl aziridine rearrangement. Using this strategy, we synthesized six tropane alkaloids and several analogues in only 5–7 steps. Given that the tropane alkaloid scopolamine has been reported to promote structural neuroplasticity and produce antidepressant effects, we tested five tropane-containing compounds for their ability to promote dendritic spine growth in cultured cortical neurons. We found that the orientation of the C3 substituent may play a role in the psychoplastogenic effects of tropane alkaloids. Our work provides a robust platform for producing tropane analogs for future structure–activity relationship studies

    Extended Model Driven Architecture to B Method (short version)

    Get PDF
    International audienceModel Driven Architecture (MDA) design approach proposes to separate design into two stages: implementation independent stage then an implementation-dependent one. This improves the reusability, the reusability, the standability, the maintainability, etc. Here we show how MDA can be augmented using a formal refinement approach: B method. Doing so enables to gradually refine the development from the abstract specification to the executing implementation; furthermore it permits to prove the coherence between components in low levels even if they are implemented in different technologies
    corecore