The several algebraic approaches to graph transformation proposed in the literature all ensure that if an item is preserved by a rule, so are its connections with the context graph where it is embedded. But there are applications in which it is desirable to specify different embeddings. For example when cloning an item, there may be a need to handle the original and the copy in different ways. We propose a conservative extension of classical algebraic approaches to graph transformation, for the case of monic matches, where rules allow one to specify how the embedding of preserved items should be carried out.This work has been partly funded by projects CLIMT (ANR/(ANR-11-BS02-016), TGV (CNRS-INRIA-FAPERGS/(156779 and 12/0997-7)), VeriTeS (CNPq 485048/2012-4 and 309981/2014-0), PEPSégalité (CNRS).
Several attempts have been made of extending to graph grammars the unfolding semantics originally developed by Winskel for (safe) Petri nets, but only partial results were obtained. In this paper we fully extend Winskel's approach to single-pushout grammars providing them with a categorical concurrent semantics expressed as a coreflection between the category of (semi-weighted) graph grammars and the category of prime algebraic domains, which factorises through the category of occurrence grammars and the category of asymmetric event structures. For general, possibly non semi-weighted single-pushout grammars, we define an analogous functorial concurrent semantics, which, however, is not characterised as an adjunction. Similar results can be obtained for double-pushout graph grammars, under the assumptions that nodes are never deleted
Ketogenic diets have been used in the treatment of refractory childhood epilepsy for almost 80 years; however, we know little about the underlying biochemical basis of their action. In this study, we evaluate oxidative stress in different brain regions from Wistar rats fed a ketogenic diet. Cerebral cortex appears to have not been affected by this diet, and cerebellum presented a decrease in antioxidant capacity measured by a luminol oxidation assay without changes in antioxidant enzyme activities--glutathione peroxidase, catalase, and superoxide dismutase. In the hippocampus, however, we observed an increase in antioxidant activity accompanied by an increase of glutathione peroxidase (about 4 times) and no changes in lipoperoxidation levels. We suggest that the higher activity of this enzyme induced by ketogenic diet in hippocampus might contribute to protect this structure from neurodegenerative sequelae of convulsive disorders.
The concept of algebraic high-level net transformation systems combines two important lines of research recently introduced in the literature:algebraic high-level nets(AHL-nets for short) andhigh-level replacement systems(HLR-systems for short). In both cases a categorical formulation of the corresponding theory has turned out to be highly important and is also a good basis for the integration of these concepts in this paper.AHL-nets combine Petri nets with algebraic specifications and provide a powerful specification technique for distributed systems including data types and processes.HLR-systems are transformation systems for high-level structures such as graphs, hypergraphs, algebraic specifications and different kinds of Petri nets. The theory of HLRsystems - formulated already in a categorical framework - is applied in this paper to AHLnets. Thus we obtain AHL-net transformation systems as an instantiation of HLR-systems to AHL-nets. This allows us to build up AHL-nets from basic components and to transform the net structure using rules or productions in the sense of graph grammars. This concept is illustrated by extending the well-known example of ‘dining philosophers’. We are able to show that AHL-net-transformation systems satisfy several important compatibility properties. On the one hand we obtain a local Church-Rosser and Parallelism Theorem, which is well-known for graph grammars and has recently been generalized to HLR-systems. This allows us to analyse concurrency in AHL-nets not only on the token level but also on the level of transformations of the net structure. On the other hand, we consider the ‘fusion’ and ‘union’ constructions for high-level structures, motivated by corresponding concepts for high-level Petri nets in the literature, and we show compatibility of these constructions with derivations of HLR-systems in general and AHL-nettransformations in particular. This means compatibility of vertical and horizontal structuring in terms of software development.
The ketogenic diet (KD), characterized by high fat and low carbohydrate and protein contents, has been proposed to be beneficial in children with epilepsy disorders not helped by conventional anti-epileptic drug treatment. Weight loss and inadequate growth is an important drawback of this diet and metabolic causes are not well characterized. The aim of this study was to examine body weight variation during KD feeding for 6 wk of Wistar rats; fat mass and adipocyte cytosolic phosphoenolpyruvate carboxykinase (PEPCK) activity were also observed. PEPCK activity was determined based on the [H(14)CO(3) (-)]-oxaloacetate exchange reaction. KD-fed rats gained weight at a less rapid rate than normal-fed rats, but with a significant increment in fat mass. The fat mass/body weight ratio already differed between ketogenic and control rats after the first week of treatment, and was 2.4 x higher in ketogenic rats. The visceral lipogenesis was supported by an increment in adipocyte PEPCK, aiming to provide glycerol 3-phosphate to triacylglycerol synthesis and this fat accumulation was accompanied by glucose intolerance. These data contribute to our understanding of the metabolic effects of the KD in adipose tissue and liver and suggest some potential risks of this diet, particularly visceral fat accumulation.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.