Towards a Notion of Distributed Time for Petri Nets

We set the ground for research on a timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. The novelty is that, rather than a single global clock, we use a set of unrelated clocks --- possibly one per place --- allowing a local timing as well as distributed time synchronisation. We give a formal definition of the model and investigate properties of local versus global timing, including decidability issues and notions of processes of the respective models

Co-Stimulation of PAFR and CD36 Is Required for oxLDL-Induced Human Macrophages Activation

The oxidative process of LDL particles generates molecules which are structurally similar to platelet-activating factor (PAF), and some effects of oxidized LDL (oxLDL) have been shown to be dependent on PAF receptor (PAFR) activation. In a previous study, we showed that PAFR is required for upregulation of CD36 and oxLDL uptake. In the present study we analyzed the molecular mechanisms activated by oxLDL in human macrophages and the contribution of PAFR to this response. Human adherent monocytes/macrophages were stimulated with oxLDL. Uptake of oxLDL and CD36 expression were determined by flow cytometry; MAP kinases and Akt phosphorylation by Western blot; IL-8 and MCP-1 concentration by ELISA and mRNA expression by real-time PCR. To investigate the participation of the PI3K/Akt pathway, Gαi-coupled protein or PAFR, macrophages were treated with LY294002, pertussis toxin or with the PAFR antagonists WEB2170 and CV3988, respectively before addition of oxLDL. It was found that the addition of oxLDL to human monocytes/macrophages activates the PI3K/Akt pathway which in turn activates the MAPK (p38 and JNK). Phosphorylation of Akt requires the engagement of PAFR and a Gαi-coupled protein. The upregulation of CD36 protein and the uptake of oxLDL as well as the IL-8 production are dependent on PI3K/Akt pathway activation. The increased CD36 protein expression is dependent on PAFR and Gαi-coupled protein. Transfection studies using HEK 293t cells showed that oxLDL uptake occurs with either PAFR or CD36, but IL-8 production requires the co-transfection of both PAFR and CD36. These findings show that PAFR has a pivotal role in macrophages response to oxLDL and suggest that pharmacological intervention at the level of PAFR activation might be beneficial in atherosclerosis

Limit Synchronization in Markov Decision Processes

Markov decision processes (MDP) are finite-state systems with both strategic and probabilistic choices. After fixing a strategy, an MDP produces a sequence of probability distributions over states. The sequence is eventually synchronizing if the probability mass accumulates in a single state, possibly in the limit. Precisely, for 0 <= p <= 1 the sequence is p-synchronizing if a probability distribution in the sequence assigns probability at least p to some state, and we distinguish three synchronization modes: (i) sure winning if there exists a strategy that produces a 1-synchronizing sequence; (ii) almost-sure winning if there exists a strategy that produces a sequence that is, for all epsilon > 0, a (1-epsilon)-synchronizing sequence; (iii) limit-sure winning if for all epsilon > 0, there exists a strategy that produces a (1-epsilon)-synchronizing sequence. We consider the problem of deciding whether an MDP is sure, almost-sure, limit-sure winning, and we establish the decidability and optimal complexity for all modes, as well as the memory requirements for winning strategies. Our main contributions are as follows: (a) for each winning modes we present characterizations that give a PSPACE complexity for the decision problems, and we establish matching PSPACE lower bounds; (b) we show that for sure winning strategies, exponential memory is sufficient and may be necessary, and that in general infinite memory is necessary for almost-sure winning, and unbounded memory is necessary for limit-sure winning; (c) along with our results, we establish new complexity results for alternating finite automata over a one-letter alphabet

Reachability in Higher-Order-Counters

Higher-order counter automata (\HOCS) can be either seen as a restriction of higher-order pushdown automata (\HOPS) to a unary stack alphabet, or as an extension of counter automata to higher levels. We distinguish two principal kinds of \HOCS: those that can test whether the topmost counter value is zero and those which cannot. We show that control-state reachability for level $k$ \HOCS with $0$-test is complete for \mbox{$(k-2)$}-fold exponential space; leaving out the $0$-test leads to completeness for \mbox{$(k-2)$}-fold exponential time. Restricting \HOCS (without $0$-test) to level $2$, we prove that global (forward or backward) reachability analysis is \PTIME-complete. This enhances the known result for pushdown systems which are subsumed by level $2$ \HOCS without $0$-test. We transfer our results to the formal language setting. Assuming that \PTIME \subsetneq \PSPACE \subsetneq \mathbf{EXPTIME}, we apply proof ideas of Engelfriet and conclude that the hierarchies of languages of \HOPS and of \HOCS form strictly interleaving hierarchies. Interestingly, Engelfriet's constructions also allow to conclude immediately that the hierarchy of collapsible pushdown languages is strict level-by-level due to the existing complexity results for reachability on collapsible pushdown graphs. This answers an open question independently asked by Parys and by Kobayashi.Comment: Version with Full Proofs of a paper that appears at MFCS 201

Current issues in research on structure–property relationships in polymer nanocomposites

The understanding of the basic physical relationships between nano-scale structural variables and the macroscale properties of polymer nanocomposites remains in its infancy. The primary objective of this article is to ascertain the state of the art regarding the understanding and prediction of the macroscale properties of polymers reinforced with nanometer-sized solid inclusions over a wide temperature range. We emphasize that the addition of nanoparticles with large specific surface area to polymer matrices leads to amplification of a number of rather distinct molecular processes resulting from interactions between chains and solid surfaces. This results in a “non-classical” response of these systems to mechanical and electro-optical excitations when measured on the macroscale. For example, nanoparticles are expected to be particularly effective at modifying the intrinsic nano-scale dynamic heterogeneity of polymeric glass-formation and, correspondingly, recent simulations indicate that both the strength of particle interaction with the polymer matrix and the particle concentration can substantially influence the dynamic fragility of polymer glass-formation, a measure of the strength of the temperature dependence of the viscosity or structural relaxation time. Another basic characteristic of nanoparticles in polymer matrices is the tendency for the particles to associate into extended structures that can dominate the rheological, viscoelastic and mechanical properties of the nanocomposite so that thermodynamic factors that effect nanoparticle dispersion can be crucially important. Opportunities to exploit knowledge gained from understanding biomechanics of hierarchical biological protein materials and potential applications in materials design and nanotechnology are among future research challenges. Research on nanocomposites formed from block copolymers and nanoparticles offers huge promise in molecular electronics and photovoltaics. The surface functionalization of nanoparticles by the grafting of polymer brushes is expected to play important role in the designing of novel organic/inorganic nanocomposite materials. The formation of bulk heterojunctions at the nanometer scale leads to efficient dissociation of the charge pairs generated under sunlight. Based on the presentations and discussion, we make recommendations for future work in this area by the physics, chemistry, and engineering communities.Czech Republic. Ministry of Education, Youth, and Sports (MSM0021630501

Expression of PAFR as Part of a Prosurvival Response to Chemotherapy: A Novel Target for Combination Therapy in Melanoma

Melanoma cells express the platelet-activating factor receptor (PAFR) and, thus, respond to PAF, a bioactive lipid produced by both tumour cells and those in the tumour microenvironment such as macrophages. Here, we show that treatment of a human melanoma SKmel37 cell line with cisplatin led to increased expression of PAFR and its accumulation. In the presence of exogenous PAF, melanoma cells were significantly more resistant to cisplatin-induced cell death. Inhibition of PAFR-dependent signalling pathways by a PAFR antagonist (WEB2086) showed chemosensitisation of melanoma cells in vitro. Nude mice were inoculated with SKmel37 cells and treated with cisplatin and WEB2086. Animals treated with both agents showed significantly decreased tumour growth compared to the control group and groups treated with only one agent. PAFR accumulation and signalling are part of a prosurvival program of melanoma cells, therefore constituting a promising target for combination therapy for melanomas

Expression of PAFR as Part of a Prosurvival Response to Chemotherapy: A Novel Target for Combination Therapy in Melanoma

Melanoma cells express the platelet-activating factor receptor (PAFR) and, thus, respond to PAF, a bioactive lipid produced by both tumour cells and those in the tumour microenvironment such as macrophages. Here, we show that treatment of a human melanoma SKmel37 cell line with cisplatin led to increased expression of PAFR and its accumulation. In the presence of exogenous PAF, melanoma cells were significantly more resistant to cisplatin-induced cell death. Inhibition of PAFR-dependent signalling pathways by a PAFR antagonist (WEB2086) showed chemosensitisation of melanoma cells in vitro. Nude mice were inoculated with SKmel37 cells and treated with cisplatin and WEB2086. Animals treated with both agents showed significantly decreased tumour growth compared to the control group and groups treated with only one agent. PAFR accumulation and signalling are part of a prosurvival program of melanoma cells, therefore constituting a promising target for combination therapy for melanomas

A novel murine model of late-phase reaction of immediate hypersensitivity

We describe here a novel experimental model of late-phase reaction of immediate hypersensitivity developed in mice. It consists of introducing small fragments of heat-coagulated hen egg white into the subcutaneous tissue of mice. After 14 days, animals challenged with purified ovalbumin into the footpad presented an immediate swelling of the paw peaking at 30 min, followed by two peaks of swelling at 6 and 24 h. Histological examination of the paws showed a massive eosinophil infiltration (more than 800 cells/5 microscopic fields). This intense infiltration persisted for more than 14 days after the challenge. Furthermore, in mice immunized with coagulated egg white the delayed swelling of the paws and eosinophilic infiltration were significantly higher than in mice immunized with the classical protocol of ovalbumin in alumen adjuvant. Transfer of lymph node cells obtained from mice implanted with heat-coagulated hen egg white induced footpad swelling and eosinophil infiltration in response to ovalbumin. High levels of ovalbuminspecific IgG1 but not of IgE were detected in the serum of these animals. The advantages of this model for the experimental study of late-phase reaction per se and its relevance to the study of allergic diseases such as asthma are discussed

Uptake of oxLDL and IL-10 production by macrophages requires PAFR and CD36 recruitment into the same lipid rafts

Macrophage interaction with oxidized low-density lipoprotein (oxLDL) leads to its differentiation into foam cells and cytokine production, contributing to atherosclerosis development. In a previous study, we showed that CD36 and the receptor for platelet-activating factor (PAFR) are required for oxLDL to activate gene transcription for cytokines and CD36. Here, we investigated the localization and physical interaction of CD36 and PAFR in macrophages stimulated with oxLDL. We found that blocking CD36 or PAFR decreases oxLDL uptake and IL-10 production. OxLDL induces IL-10 mRNA expression only in HEK293T expressing both receptors (PAFR and CD36). OxLDL does not induce IL-12 production. The lipid rafts disruption by treatment with βCD reduces the oxLDL uptake and IL-10 production. OxLDL induces co-immunoprecipitation of PAFR and CD36 with the constitutive raft protein flotillin-1, and colocalization with the lipid raft-marker GM1-ganglioside. Finally, we found colocalization of PAFR and CD36 in macrophages from human atherosclerotic plaques. Our results show that oxLDL induces the recruitment of PAFR and CD36 into the same lipid rafts, which is important for oxLDL uptake and IL-10 production. This study provided new insights into how oxLDL interact with macrophages and contributing to atherosclerosis development