We continue research on enriching propositional dynamic logic (PDL) with nonregular programs. Previous work indicates that the general problem of characterizing those extensions for which PDL becomes undecidable is probably very hard. After observing that any nonregular extension increases the expressive power of PDL, we concentrate on one-letter extensions. First, we address the issue of finit...

Pancreas injury by partial duct ligation (PDL) activates beta cell differentiation and proliferation in adult mouse pancreas but remains controversial regarding the anticipated increase in beta cell volume. Several reports unable to show beta cell volume augmentation in PDL pancreas used automated digital image analysis software. We hypothesized that fully automatic beta cell morphometry withou...

Alginate-amino acid derivatives were explored to engineer poly(DL-lactic acid)(PDL-LA) as glycocalyx-like surface to promote cell adhesion and growth. Four different kinds of alginate-amino acid derivatives were synthesized to mimic the glycocalyx of cell membrane to promote chondrogenesis. The alginate-amino acid derivatives were characterized by FT-IR, 1H NMR and UV spectra and the amino acid...

BACKGROUND AND OBJECTIVES Port-wine stains (PWSs) are capillary vascular malformations that are commonly resistant to treatment. Currently, the pulsed dye laser (PDL) is the treatment of choice. Multiple treatments are required and complete blanching after laser irradiation is rarely achieved. We review current therapeutic modalities for PWSs and recent developments for enhanced clearance. ST...

OBJECTIVE The periodontal ligament (PDL) is a fibrous connective tissue composed of heterogeneous cell types, including PDL fibroblasts. It is not clear whether cells within the PDL fibroblast population retain the potency to differentiate into other cell types. DESIGN In the present study, clonal cell lines, derived from Clawn miniature swine PDLs, were established by gene transfection for a...

This work presents three increasingly expressive Dynamic Logics in which the programs are CCS processes (sCCS-PDL, CCS-PDL and XCCSPDL). Their goal is to reason about properties of concurrent programs and systems described using CCS. In order to accomplish that, CCS’s operators and constructions are added to a basic modal logic in order to create dynamic logics that are suitable for the descrip...

Professional development and learning has a long history in seminar-like models, as well as in the more educatorpersonal delivery approaches. The question is whether an intentionally coordinated, integrated combination of the two PDL approaches will have best impacts for educators as quantified in improved student performance. Contrasts between baseline and Post-Program performance levels showe...

The periodontal ligament (PDL) is a fibrous connective tissue that exists in the cementum and the alveolar bone. Periodontitis is a chronic inflammatory disease that is caused by a bacterial infection in the periodontal region. This infection increases the production of inflammatory cytokines and causes the destruction of periodontal tissue. High mobility group box 1 (HMGB1) is a nuclear nonhis...

Gentamicin is the preferred antimicrobial agent used in implant coating for the prevention of implant-related infections (IRI). However, the present heavy local and systemic administration of gentamicin can lead to increased resistance, which has made its future use uncertain, together with related preventive technologies. Fosfomycin is an alternative antimicrobial agent that lacks the cross-re...