Search Results - "Dégano, P"

Semantics-Based Design for Secure Web Services by Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.

“…We outline a methodology for designing and composing services in a secure manner. In particular, we are concerned with safety properties of service behavior…”
Get full text

Modelling biochemical pathways through enhanced π-calculus by Curti, M., Degano, P., Priami, C., Baldari, C.T.

“…We use the π-calculus to model the evolution of biochemical systems, taking advantage of their similarities with global computation applications. First, we…”
Get full text

Induction of CD8+ T cells using heterologous prime-boost immunisation strategies by Schneider, Jörg, Gilbert, Sarah C., Hannan, Carolyn M., Dégano, Pilar, Prieur, Eric, Sheu, Eric G., Plebanski, Magdalena, Hill, Adrian V. S.

“…One of the current challenges in vaccine design is the development of antigen delivery systems or vaccination strategies that induce higb protective levels of…”
Get full text

Gene gun intradermal DNA immunization followed by boosting with modified vaccinia virus Ankara: enhanced CD8+ T cell immunogenicity and protective efficacy in the influenza and malaria models by Dégano, Pilar, Schneider, Jörg, Hannan, Carolyn M, Gilbert, Sarah C, Hill, Adrian V.S

“…In influenza and malaria, CD8+ T cells play an important role in protective immunity in mice. An immunization strategy consisting of DNA priming followed by…”
Get full text

Safety of DNA and modified vaccinia virus Ankara vaccines against liver-stage P. falciparum malaria in non-immune volunteers by Moorthy, V.S., McConkey, S., Roberts, M., Gothard, P., Arulanantham, N., Degano, P., Schneider, J., Hannan, C., Roy, M., Gilbert, S.C., Peto, T.E.A., Hill, A.V.S.

“…A series of phase I clinical studies were conducted to evaluate the safety of plasmid DNA and modified vaccinia virus Ankara malaria vaccines. The vaccines…”
Get full text

Inhibition of insulin and somatostatin secretion and stimulation of glucagon release by homologous galanin in perfused rat pancreas by Miralles, P., Peiro, E., Degano, P., Silvestre, R. A., Marco, J.

“…Inhibition of insulin and somatostatin secretion and stimulation of glucagon release by homologous galanin in perfused rat pancreas. P Miralles , E Peiró , P…”
Get full text

Performance evaluation of mobile processes via abstract machines by Nottegar, C., Priami, C., Degano, P.

“…We use a structural operational semantics which drives us in inferring quantitative measures on system evolution. The transitions of the system are labeled and…”
Get full text

Intradermal DNA immunization of mice against influenza A virus using the novel PowderJect ® system by Dégano, P., Sarphie, D.F., Bangham, C.R.M.

“…The PowderJect ® system, a device that uses compressed helium gas to accelerate microscopic particles into the skin, was used as a delivery system for DNA…”
Get full text

Authentication primitives for secure protocol specifications by Bodei, C., Degano, P., Focardi, R., Priami, C.

“…We use two authentication primitives proposed recently as a linguistic support for enforcing authentication. They offer a way of abstracting from various…”
Get full text

Flow logic for Dolev–Yao secrecy in cryptographic processes by Bodei, C., Degano, P., Nielson, F., Riis Nielson, H.

“…We introduce the ν spi-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by making encryption history dependent. We…”
Get full text

Relating two automata-based models of orchestration and choreography by Basile, D., Degano, P., Ferrari, G.L., Tuosto, E.

Get full text

DNA-based vaccines for malaria: a heterologous prime-boost immunisation strategy by Hill, A V, Reece, W, Gothard, P, Moorthy, V, Roberts, M, Flanagan, K, Plebanski, M, Hannan, C, Hu, J T, Anderson, R, Degano, P, Schneider, J, Prieur, E, Sheu, E, Gilbert, S C

“…A generic approach to inducing high level CD8+ T cell responses would be of value for prophylactic and therapeutic immunisation against several infectious…”
Get more information

Inhibitory effect of rat amylin on the insulin responses to glucose and arginine in the perfused rat pancreas by Silvestre, R A, Peiró, E, Dégano, P, Miralles, P, Marco, J

“…Amylin, a 37-amino acid polypeptide, is the main component of amyloid deposits in the islets of Langerhans, and has been identified in the B-cell secretory…”
Get more information

Amylin inhibits glucose-induced insulin secretion in a dose-dependent manner. Study in the perfused rat pancreas by Dégano, P, Silvestre, R A, Salas, M, Peiró, E, Marco, J

“…Islet amyloid polypeptide (IAPP), also called amylin, has been localized in the B-cell secretory granule and is co-secreted with insulin. We have investigated…”
Get more information

A Causal Operational Semantics of Action Refinement by Degano, P., Gorrieri, R.

“…A TCSP-like concurrent language is extended with an operator for action refinement which plays a role similar to that of procedure-call for sequential…”
Get full text

Inhibition of insulin release by amylin is not mediated by changes in somatostatin output by Peiró, E, Dégano, P, Silvestre, R A, Marco, J

“…We have investigated the effect of a high concentration (750 nM) of synthetic amidated rat amylin on unstimulated somatostatin and insulin secretion as well as…”
Get more information

In vivo antigen challenge in celiac disease identifies a single transglutaminase-modified peptide as the dominant A-gliadin T-cell epitope by Anderson, Robert P, Degano, Pilar, Godkin, Andrew J, Jewell, Derek P, Hill, Adrian V.S

“…Celiac disease (CD) is an increasingly diagnosed enteropathy (prevalence, 1:200-1:300) that is induced by dietary exposure to wheat gliadins (as well as…”
Get full text

Reversal of the inhibitory effects of calcitonin gene-related peptide (CGRP) and amylin on insulin secretion by the 8-37 fragment of human CGRP by Silvestre, R A, Salas, M, Dégano, P, Peiró, E, Marco, J

“…The 8-37 fragment of human calcitonin gene-related peptide [(8-37)hCGRP] antagonizes the effects of calcitonin gene-related peptide (CGRP) and amylin in a…”
Get more information

Automatic validation of protocol narration by Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Riis Nielson, H.

“…We perform a systematic expansion of protocol narrations into terms of process algebra in order to make precise some of the detailed checks that need to be…”
Get full text

Determination of the molecular mass of the native β-cell sulfonylurea receptor by Skeer, Jacqueline M., Dégano, Pilar, Coles, Barbara, Potier, Michel, Ashcroft, Frances M., Ashcroft, Stephen J.H.

“…In the present study we have determined the molecular mass of the β-cell sulfonylurea receptor in its native form by two different experimental approaches; gel…”
Get full text