Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width [PDF]
, 2012 We present a novel fixed-point algorithm to solve reachability of multi-stack pushdown systems restricted to runs of bounded-scope. The followed approach is compositional, in the sense that the runs of the system are summarized by bounded-size interfaces.
Gennaro, Parlato, La Torre, Salvatore
core +3 more sources
Recognition of the Major Histocompatibility Complex (MHC) class Ib molecule H2-Q10 by the natural killer cell receptor Ly49C [PDF]
, 2016 Murine natural killer (NK) cells are regulated by the interaction of Ly49 receptors with major histocompatibility complex class I molecules (MHC-I). Although the ligands for inhibitory Ly49 were considered to be restricted to classical MHC (MHC-Ia), we ...
Andrew G. Brooks +54 more
core +1 more source
Characterization of process-oriented hydrologic model behavior with temporal sensitivity analysis for flash floods in Mediterranean catchments [PDF]
, 2013 This paper presents a detailed analysis of 10 flash flood events in the Mediterranean region using the distributed hydrological model MARINE. Characterizing catchment response during flash flood events may provide new and valuable insight into the ...
Castaings, William +4 more
core +6 more sources
Estimation of the shelf-life of halloumi cheese using survival analysis
Czech Journal of Food Sciences, 2012 Halloumi cheese blocks, packaged in vacuum polyamide/polyethylene laminate bags, were stored at 5, 15, and 25°C. The changes in total bacterial count, lactic acid bacteria, total anaerobic bacteria, yeasts and molds, pH, and titratable acidity were ...
Rabih KAMLEH +4 more
doaj +1 more source
Resection of late intravascular germ cell tumor recurrence under hypothermic circulatory arrest
Urology Video Journal, 2022 Objective: to describe an unusual case of late metachronous intravascular recurrence of germ cell tumor in a young patient requiring complex surgical management.
Scott D. Lundy +6 more
doaj +1 more source
Cardiorenal Involvement in Metabolic Syndrome Induced by Cola Drinking in Rats: Proinflammatory Cytokines and Impaired Antioxidative Protection [PDF]
, 2016 We report experimental evidence confirming renal histopathology, proinflammatory mediators, and oxidative metabolism induced by cola drinking. Male Wistar rats drank ad libitum regular cola (C, = 12) or tap water (W, = 12). Measures.
Ambrosio, Giuseppe +7 more
core +1 more source
Open Agriculture, 2023 The Nigerian government has implemented a comprehensive spectrum of policies and programmes to diversify the economy and encourage broad-based growth through investment in the agricultural sector.
Asaleye Abiola John +5 more
doaj +1 more source
Clinical syndromes associated with Coenzyme Q10 deficiency. [PDF]
, 2018 Primary Coenzyme Q deficiencies represent a group of rare conditions caused by mutations in one of the genes required in its biosynthetic pathway at the enzymatic or regulatory level.
Alc\ue1zar-Fabra, Maria +2 more
core +1 more source
Deutsches Ärzteblatt international, 2016 The prevalence of dyslipidemia is high. It is usually treated with statins which inhibit HMG-CoA reductase and also coenzyme Q10 synthesis. This may lead to muscle pain. The question whether coenzyme Q10 replacement treatment helps to improve these muscle symptoms has been evaluated in a prospective study.
openaire +2 more sources
Toxicology Reports, 2023 Autism spectrum disorder (ASD) is an extreme neuropsychotic disturbance with both environmental and genetic origins. Sodium propionate (PPA) a metabolic bioproduct of gut microbiota is well-thought-out as a successful autism animal model.
Doaa M. Elhefnawei +5 more
doaj +1 more source