270 research outputs found

    Characterizing Van Kampen Squares via Descent Data

    Full text link
    Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is expressed in terms of properties of the pullback functor associated with the cocone. Even in the case of non-exactness, researchers in model semantics and rewriting theory inquire an elementary characterization of the image of this functor. In this paper we will investigate this question in the special case where the cocone is a cospan, i.e. part of a Van Kampen square. The use of Descent Data as the dominant categorical tool yields two main results: A simple condition which characterizes the reachable part of the above mentioned functor in terms of liftings of involved equivalence relations and (as a consequence) a necessary and sufficient condition for a pushout to be a Van Kampen square formulated in a purely algebraic manner.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

    Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

    Get PDF
    Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic process languages. In this paper, the notion of bisimulation induced by a FuTS is proposed and a correspondence result is proven stating that FuTS-bisimulation coincides with the behavioral equivalence of the associated functor. As generic examples, the concrete existing equivalences for the core of the process algebras ACP, PEPA and IMC are related to the bisimulation of specific FuTS, providing via the correspondence result coalgebraic justification of the equivalences of these calculi.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

    Canonical Derivations with Negative Application Conditions

    Get PDF
    Using graph transformations to specify the dynamics of distributed systems and networks, we require a precise understanding of concurrency. Negative application conditions (NACs) are an essential means for controlling the application of rules, extending our ability to model complex systems. A classical notion of concurrency in graph transformation is based on shift equivalence and its representation by canonical derivations, i.e., normal forms of the shift operation anticipating independent steps. These concepts are lifted to graph transformation systems with NACs and it is shown that canonical derivations exist for so-called incremental NACs

    Negative Staining and Image Classification – Powerful Tools in Modern Electron Microscopy

    Get PDF
    Vitrification is the state-of-the-art specimen preparation technique for molecular electron microscopy (EM) and therefore negative staining may appear to be an outdated approach. In this paper we illustrate the specific advantages of negative staining, ensuring that this technique will remain an important tool for the study of biological macromolecules. Due to the higher image contrast, much smaller molecules can be visualized by negative staining. Also, while molecules prepared by vitrification usually adopt random orientations in the amorphous ice layer, negative staining tends to induce preferred orientations of the molecules on the carbon support film. Combining negative staining with image classification techniques makes it possible to work with very heterogeneous molecule populations, which are difficult or even impossible to analyze using vitrified specimens

    Controlled Release from Cleavable Polymerized Liposomes upon Redox and pH Stimulation

    Get PDF
    A gallate derivative with three propargyl groups was coupled to palmitoyl oleoyl phosphoethanolamine (POPE). The resulting anionic lipid was formulated with common lipids such as palmitoyl oleoyl phosphatidyl choline (POPC) to form large unilamellar vesicles (LUVs). Polymerization of the LUVs was accomplished by the Cu(I)-catalyzed click reaction between the propargyl groups and the azide groups in the cross-linker. When the cross-linker contained a disulfide or ketal group, the resulting polymerized liposomes depolymerized and released entrapped contents upon the addition of a reducing thiol or under weakly acidic conditions. The click reaction allowed simultaneous multivalent surface functionalization during cross-linking, making these cleavable polymerized liposomes (CPLs) potentially very useful in the delivery and controlled release of pharmaceutical agents

    Tonsillar metastasis of gastric cancer

    Get PDF
    Metastasis from a malignant tumor to the palatine tonsils is rare, with only 100 cases reported in the English-language literature. Tonsillar metastasis from a gastric cancer is very rare. We report here a case of palatine tonsillar metastasis after gastric cancer surgery. The patient was an 88-year-old woman who had gastric cancer with abdominal wall invasion. She had undergone a distal gastrectomy with abdominal wall resection and D2 lymph node dissection. Histologically, the tumor was primarily a moderately differentiated adenocarcinoma. It was stage IV (T4, N1, M0) using TNM clinical classification. The patient developed pharyngeal discomfort and abdominal pain and was hospitalized during the follow-up period, 1 year 9 months post-operatively. Multiple lung metastases, Virchow’s lymph node metastasis, and adrenal metastasis were observed. A mass of 2.5 cm was also observed in the right palatine tonsil. It was diagnosed as a moderately differentiated adenocarcinoma, a metastasis from gastric cancer. There was a concern of asphyxiation due to hemorrhage of the tumor; however, the tumor dislodged approximately 10 days after biopsy and tonsillar recurrence was not observed. The patient died 1 year 10 months post-operatively. In the literature there are cases with tonsillar metastases where surgical treatment, radiotherapy, and chemotherapy were performed and extension of survival was seen. Tonsillar metastasis is a form of systemic metastasis of a malignant tumor, and there is a high risk for asphyxiation from tumor dislodgement or hemorrhage. Thus, it is important to recognize tonsillar metastasis as an oncologic emergency
    • …
    corecore