Search

Your search keyword '"Carbone, Marco"' showing total 1,087 results
Start Over Author "Carbone, Marco"

Refine your results

1,087 results on '"Carbone, Marco"'

51. Undecidability of Asynchronous Session Subtyping

Author

Bravetti, Mario, Carbone, Marco, and Zavattaro, Gianluigi

Subjects
Computer Science - Programming Languages
Abstract

Session types are used to describe communication protocols in distributed systems and, as usual in type theories, session subtyping characterizes substitutability of the communicating processes. We investigate the (un)decidability of subtyping for session types in asynchronously communicating systems. We first devise a core undecidable subtyping relation that is obtained by imposing limitations on the structure of types. Then, as a consequence of this initial undecidability result, we show that (differently from what stated or conjectured in the literature) the three notions of asynchronous subtyping defined so far for session types are all undecidable. Namely, we consider the asynchronous session subtyping by Mostrous and Yoshida for binary sessions, the relation by Chen et al. for binary sessions under the assumption that every message emitted is eventually consumed, and the one by Mostrous et al. for multiparty session types. Finally, by showing that two fragments of the core subtyping relation are decidable, we evince that further restrictions on the structure of types make our core subtyping relation decidable., Comment: 36 pages

Published
2016

52. Security Protocols as Choreographies

Author

Bruni, Alessandro, Carbone, Marco, Giustolisi, Rosario, Mödersheim, Sebastian, Schürmann, Carsten, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Dougherty, Daniel, editor, Meseguer, José, editor, Mödersheim, Sebastian Alexander, editor, and Rowe, Paul, editor

Published
2021
Full Text
View/download PDF

55. Genetic association analysis identifies variants associated with disease progression in primary sclerosing cholangitis

Author

Alberts, Rudi, de Vries, Elisabeth MG, Goode, Elizabeth C, Jiang, Xiaojun, Sampaziotis, Fotis, Rombouts, Krista, Böttcher, Katrin, Folseraas, Trine, Weismüller, Tobias J, Mason, Andrew L, Wang, Weiwei, Alexander, Graeme, Alvaro, Domenico, Bergquist, Annika, Björkström, Niklas K, Beuers, Ulrich, Björnsson, Einar, Boberg, Kirsten Muri, Bowlus, Christopher L, Bragazzi, Maria C, Carbone, Marco, Chazouillères, Olivier, Cheung, Angela, Dalekos, Georgios, Eaton, John, Eksteen, Bertus, Ellinghaus, David, Färkkilä, Martti, Festen, Eleonora AM, Floreani, Annarosa, Franceschet, Irene, Gotthardt, Daniel Nils, Hirschfield, Gideon M, Hoek, B van, Holm, Kristian, Hohenester, Simon, Hov, Johannes Roksund, Imhann, Floris, Invernizzi, Pietro, Juran, Brian D, Lenzen, Henrike, Lieb, Wolfgang, Liu, Jimmy Z, Marschall, Hanns-Ulrich, Marzioni, Marco, Melum, Espen, Milkiewicz, Piotr, Müller, Tobias, Pares, Albert, Rupp, Christian, Rust, Christian, Sandford, Richard N, Schramm, Christoph, Schreiber, Stefan, Schrumpf, Erik, Silverberg, Mark S, Srivastava, Brijesh, Sterneck, Martina, Teufel, Andreas, Vallier, Ludovic, Verheij, Joanne, Vila, Arnau Vich, Vries, Boudewijn de, Zachou, Kalliopi, Chapman, Roger W, Manns, Michael P, Pinzani, Massimo, Rushbrook, Simon M, Lazaridis, Konstantinos N, Franke, Andre, Anderson, Carl A, Karlsen, Tom H, Ponsioen, Cyriel Y, and Weersma, Rinse K

Subjects
Genetics, Transplantation, Chronic Liver Disease and Cirrhosis, Liver Disease, Clinical Research, Rare Diseases, Digestive Diseases - (Gallbladder), Digestive Diseases, Aetiology, 2.1 Biological and endogenous factors, Oral and gastrointestinal, Adult, Cholangitis, Sclerosing, Cohort Studies, Disease Progression, Female, Humans, Kaplan-Meier Estimate, Logistic Models, Male, Middle Aged, Polymorphism, Single Nucleotide, Proportional Hazards Models, Thrombospondins, International PSC Study Group, The UK PSC Consortium, Primary sclerosing cholangitis, genetics, liver transplantation, Clinical Sciences, Paediatrics and Reproductive Medicine, Gastroenterology & Hepatology
Abstract

ObjectivePrimary sclerosing cholangitis (PSC) is a genetically complex, inflammatory bile duct disease of largely unknown aetiology often leading to liver transplantation or death. Little is known about the genetic contribution to the severity and progression of PSC. The aim of this study is to identify genetic variants associated with PSC disease progression and development of complications.DesignWe collected standardised PSC subphenotypes in a large cohort of 3402 patients with PSC. After quality control, we combined 130 422 single nucleotide polymorphisms of all patients-obtained using the Illumina immunochip-with their disease subphenotypes. Using logistic regression and Cox proportional hazards models, we identified genetic variants associated with binary and time-to-event PSC subphenotypes.ResultsWe identified genetic variant rs853974 to be associated with liver transplant-free survival (p=6.07×10-9). Kaplan-Meier survival analysis showed a 50.9% (95% CI 41.5% to 59.5%) transplant-free survival for homozygous AA allele carriers of rs853974 compared with 72.8% (95% CI 69.6% to 75.7%) for GG carriers at 10 years after PSC diagnosis. For the candidate gene in the region, RSPO3, we demonstrated expression in key liver-resident effector cells, such as human and murine cholangiocytes and human hepatic stellate cells.ConclusionWe present a large international PSC cohort, and report genetic loci associated with PSC disease progression. For liver transplant-free survival, we identified a genome-wide significant signal and demonstrated expression of the candidate gene RSPO3 in key liver-resident effector cells. This warrants further assessments of the role of this potential key PSC modifier gene.

Published
2018

56. Use of coercive measures in refugees and asylum seekers: a systematic review

Author

Della Rocca, Bianca, primary, Luciano, Mario, additional, Bello, Rosaria, additional, Barone, Eugenia, additional, Carbone, Marco, additional, D’Arpa, Andrea, additional, Di Vincenzo, Matteo, additional, Pezzella, Pasquale, additional, Signorelli, Maria Salvina, additional, Ventriglio, Antonio, additional, Sampogna, Gaia, additional, and Fiorillo, Andrea, additional

Published
2024
Full Text
View/download PDF

57. Primary biliary cholangitis drug evaluation and regulatory approval: Where do we go from here?

Author

Jones, David EJ, primary, Beuers, Ulrich, additional, Bonder, Alan, additional, Carbone, Marco, additional, Culver, Emma, additional, Dyson, Jessica, additional, Gish, Robert G, additional, Hansen, Bettina E, additional, Hirschfield, Gideon, additional, Jones, Rebecca, additional, Kowdley, Kris, additional, Kremer, Andreas E., additional, Lindor, Keith, additional, Mayo, Marlyn, additional, Mells, George, additional, Neuberger, James, additional, Prince, Martin, additional, Swain, Mark, additional, Tanaka, Atsushi, additional, Thorburn, Douglas, additional, Trauner, Michael, additional, Trivedi, Palak, additional, Weltman, Martin, additional, Yeoman, Andrew, additional, and Levy, Cynthia, additional

Published
2024
Full Text
View/download PDF

59. Genetics of Autoimmune Liver Diseases

Author

Gerussi, Alessio, Carbone, Marco, Asselta, Rosanna, Invernizzi, Pietro, Gershwin, M. Eric, editor, M. Vierling, John, editor, Tanaka, Atsushi, editor, and P. Manns, Michael, editor

Published
2020
Full Text
View/download PDF

62. Measurement of Gamma Glutamyl Transferase to Determine Risk of Liver Transplantation or Death in Patients With Primary Biliary Cholangitis

Author

Gerussi, Alessio, Bernasconi, Davide Paolo, O'Donnell, Sarah Elisabeth, Lammers, Willem J., Van Buuren, Henk, Hirschfield, Gideon, Janssen, Harry, Corpechot, Christophe, Reig, Anna, Pares, Albert, Battezzati, Pier Maria, Zuin, Massimo Giovanni, Cazzagon, Nora, Floreani, Annarosa, Nevens, Frederik, Gatselis, Nikolaos, Dalekos, George, Mayo, Marlyn J., Thorburn, Douglas, Bruns, Tony, Mason, Andrew L., Verhelst, Xavier, Kowdley, Kris, van der Meer, Adriaan, Niro, Grazia Anna, Beretta-Piccoli, Benedetta Terziroli, Marzioni, Marco, Belli, Luca Saverio, Marra, Fabio, Valsecchi, Maria Grazia, Lindor, Keith D., Invernizzi, Pietro, Hansen, Bettina E., and Carbone, Marco

Published
2021
Full Text
View/download PDF

63. Geographical region and clinical outcomes of patients with primary biliary cholangitis from Western Europe

Author

Murillo Perez, Carla F., Gerussi, Alessio, Trivedi, Palak J., Corpechot, Christophe, van der Meer, Adriaan J., Maria Battezzati, Pier, Lindor, Keith D., Nevens, Frederik, Kowdley, Kris V., Bruns, Tony, Cazzagon, Nora, Floreani, Annarosa, Tanaka, Atsushi, Ma, Xiong, Mason, Andrew L., Gulamhusein, Aliya, Ponsioen, Cyriel Y., Carbone, Marco, Lleo, Ana, Mayo, Marlyn J., Dalekos, George N., Gatselis, Nikolaos K., Thorburn, Douglas, Verhelst, Xavier, Parés, Albert, Janssen, Harry L.A., Hirschfield, Gideon M., Hansen, Bettina E., Invernizzi, Pietro, and Lammers, Willem J.

Published
2023
Full Text
View/download PDF

64. Real-world experience with obeticholic acid in patients with primary biliary cholangitis

Author

D’Amato, Daphne, De Vincentis, Antonio, Malinverno, Federica, Viganò, Mauro, Alvaro, Domenico, Pompili, Maurizio, Picciotto, Antonino, Palitti, Valeria Pace, Russello, Maurizio, Storato, Silvia, Pigozzi, Marie Graciella, Calvaruso, Vincenza, De Gasperi, Elisabetta, Lleo, Ana, Castellaneta, Antonino, Pellicelli, Adriano, Cazzagon, Nora, Floreani, Annarosa, Muratori, Luigi, Fagiuoli, Stefano, Niro, Grazia Anna, Feletti, Valentina, Cozzolongo, Raffaele, Terreni, Natalia, Marzioni, Marco, Pellicano, Rinaldo, Pozzoni, Pietro, Baiocchi, Leonardo, Chessa, Luchino, Rosina, Floriano, Bertino, Gaetano, Vinci, Maria, Morgando, Anna, Vanni, Ester, Scifo, Gaetano, Sacco, Rodolfo, D’Antò, Maria, Bellia, Valentina, Boldizzoni, Roberto, Casella, Silvia, Omazzi, Barbara, Poggi, Guido, Cristoferi, Laura, Gerussi, Alessio, Ronca, Vincenzo, Venere, Rosanna, Ponziani, Francesca, Cannavò, Maria, Mussetto, Alessandro, Fontana, Rosanna, Losito, Francesco, Frazzetto, Evelise, Distefano, Marco, Colapietro, Francesca, Labanca, Sara, Marconi, Giulia, Grassi, Giuseppe, Galati, Giovanni, O’Donnell, Sarah Elizabeth, Mancuso, Clara, Mulinacci, Giacomo, Palermo, Andrea, Claar, Ernesto, Izzi, Antonio, Picardi, Antonio, Invernizzi, Pietro, Carbone, Marco, and Vespasiani-Gentilucci, Umberto

Published
2021
Full Text
View/download PDF

66. Promoting mental health and preventing mental health problems in child and adolescent refugees and asylum seekers: A systematic review on psychosocial interventions.

Author

Della Rocca, Bianca, Bello, Rosaria, Carbone, Marco, Pezzella, Pasquale, Toni, Claudia, Sampogna, Gaia, Tarsitani, Lorenzo, Luciano, Mario, and Fiorillo, Andrea

Subjects
MENTAL illness prevention, IMMIGRANTS, PSYCHOTHERAPY, MENTAL health, PSYCHOLOGY of refugees, ANXIETY, SYSTEMATIC reviews, MEDLINE, PSYCHOLOGICAL stress, COGNITION disorders, HEALTH promotion, ONLINE information services, PSYCHOLOGY information storage & retrieval systems, PATHOLOGICAL psychology, MENTAL depression, ADOLESCENCE, CHILDREN
Abstract

Background: According to the United Nations Commissioner for Refugees (UNHCR), children and adolescents represent 41% of all forcibly displaced individuals. They have to deal with conflicts, violence, and the many difficulties of flight and resettlement during a critical stage of their emotional, social, cognitive, and physical development. They are more likely to experience mental health problems during migration. Despite the several known risk factors, it is frequently challenging for refugees and asylum seekers to get mental health care. In this paper we review available studies on interventions aimed at promoting mental health and at preventing common mental disorders in immigrant adolescents and children. Methods: The relevant PubMed, Scopus, PsychINFO and Web of Science databases were searched for papers published until March 21, 2023, using ("immigrants" OR "migration" OR "asylum seekers" OR "refugees") AND ("promotion" OR "prevention") AND ("mental health" OR "mental disorders" OR "psych*") AND ("children" OR "adolescents" OR "young adults") as search string. Fourteen articles qualified for the detailed review. Results and Conclusions: The majority of available interventions, although highly heterogeneous in format and content, showed significant improvement in several psychopathological dimensions, including trauma-related symptoms, psychological stress, anxiety, depressive and cognitive symptoms. Available studies on interventions for the prevention of mental disorders and the promotion of mental health in refugees and asylum seekers children and adolescents indicate that provided interventions were associated with a global improvement for participants. Implementation strategies to improve their scalability are highly needed. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

67. Declarative Choreographies and Liveness

Author

Hildebrandt, Thomas T., Slaats, Tijs, López, Hugo A., Debois, Søren, Carbone, Marco, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Pérez, Jorge A., editor, and Yoshida, Nobuko, editor

Published
2019
Full Text
View/download PDF

68. Multiparty Classical Choreographies

Author

Carbone, Marco, Cruz-Filipe, Luís, Montesi, Fabrizio, Murawska, Agata, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Mesnard, Fred, editor, and Stuckey, Peter J., editor

Published
2019
Full Text
View/download PDF

71. European Society for Organ Transplantation (ESOT) Consensus Statement on Outcome Measures in Liver Transplantation According to Value-Based Health Care

Author

Carbone, Marco, primary, Neuberger, James, additional, Rowe, Ian, additional, Polak, Wojciech G., additional, Forsberg, Anna, additional, Fondevila, Constantino, additional, Mantovani, Lorenzo, additional, Nardi, Alessandra, additional, Colli, Agostino, additional, Rockell, Karen, additional, Schick, Liz, additional, Cristoferi, Laura, additional, Oniscu, Gabriel C., additional, Strazzabosco, Mario, additional, and Cillo, Umberto, additional

Published
2024
Full Text
View/download PDF

73. Proceedings Third Workshop on Behavioural Types

Author

Carbone, Marco

Subjects
Computer Science - Programming Languages, Computer Science - Logic in Computer Science
Abstract

This volume contains the proceedings of BEAT 2014, the third Workshop on Behavioural Types. The workshop took place in Rome, Italy, on September 1st 2014, as a satellite even of CONCUR 2014, the 25th International Conference on Concurrency Theory. The aim of this workshop is to bring together researchers in all aspects of behavioural type theory and its applications, in order to share results, consolidate the community, and discover opportunities for new collaborations and future directions.

Published
2014
Full Text
View/download PDF

74. Helmet CPAP to treat hypoxic pneumonia outside the ICU: an observational study during the COVID-19 outbreak

Author

Coppadoro, Andrea, Benini, Annalisa, Fruscio, Robert, Verga, Luisa, Mazzola, Paolo, Bellelli, Giuseppe, Carbone, Marco, Mulinacci, Giacomo, Soria, Alessandro, Noè, Beatrice, Beck, Eduardo, Di Sciacca, Riccardo, Ippolito, Davide, Citerio, Giuseppe, Valsecchi, Maria Grazia, Biondi, Andrea, Pesci, Alberto, Bonfanti, Paolo, Gaudesi, Davide, Bellani, Giacomo, and Foti, Giuseppe

Published
2021
Full Text
View/download PDF

76. Proceedings 6th Interaction and Concurrency Experience

Author

Carbone, Marco, Lanese, Ivan, Lafuente, Alberto Lluch, and Sokolova, Ana

Subjects
Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science
Abstract

This volume contains the proceedings of ICE 2013, the 6th Interaction and Concurrency Experience workshop, which was held in Florence, Italy on the 6th of June 2013 as a satellite event of DisCoTec 2013. The ICE procedure for paper selection allows PC members to interact, anonymously, with authors. During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum whose access is restricted to the authors and to all the PC members not declaring a conflict of interests. The PC members post comments and questions that the authors reply to. Each paper was reviewed by three PC members, and altogether 6 papers were accepted for publication. We were proud to host two invited talks, Davide Sangiorgi and Filippo Bonchi, whose abstracts are included in this volume together with the regular papers. The workshop also featured a brief announcement of an already published paper.

Published
2013
Full Text
View/download PDF

77. Merging Multiparty Protocols in Multiparty Choreographies

Author

Carbone, Marco and Montesi, Fabrizio

Subjects
Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, D.3.1, F.3.2
Abstract

Choreography-based programming is a powerful paradigm for defining communication-based systems from a global viewpoint. A choreography can be checked against multiparty protocol specifications, given as behavioural types, that may be instantiated indefinitely at runtime. Each protocol instance is started with a synchronisation among the involved peers. We analyse a simple transformation from a choreography with a possibly unbounded number of protocol instantiations to a choreography instantiating a single protocol, which is the merge of the original ones. This gives an effective methodology for obtaining new protocols by composing existing ones. Moreover, by removing all synchronisations required for starting protocol instances, our transformation reduces the number of communications and resources needed to execute a choreography., Comment: In Proceedings PLACES 2012, arXiv:1302.5798

Published
2013
Full Text
View/download PDF

78. Proceedings Fifth Interaction and Concurrency Experience

Author

Carbone, Marco, Lanese, Ivan, Silva, Alexandra, and Sokolova, Ana

Subjects
Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Computer Science - Software Engineering
Abstract

This volume contains the proceedings of ICE'12, the 5th Interaction and Concurrency Experience workshop, which was held in Stockholm, Sweden on the 16th of June 2012 as a satellite event of DisCoTec'12. The topic of ICE'12 was Distributed Coordination, Execution Models, and Resilient Interaction. The ICE procedure for paper selection allows for PC members to interact, anonymously, with authors. During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum whose access is restricted to the authors and to all the PC members not declaring a conflict of interests. The PC members post comments and questions that the authors reply to. Each paper was reviewed by four PC members, and altogether 8 papers were accepted for publication. We were proud to host two invited talks, Marcello Bonsangue and Ichiro Hasuo, whose abstracts are included in this volume together with the regular papers., Comment: EPTCS 104, 2012

Published
2012
Full Text
View/download PDF

79. Effects of Age and Sex of Response to Ursodeoxycholic Acid and Transplant-free Survival in Patients With Primary Biliary Cholangitis

Author

Cheung, Angela C., Lammers, Willem J., Murillo Perez, Carla F., van Buuren, Henk R., Gulamhusein, Aliya, Trivedi, Palak J., Lazaridis, Konstantinos N., Ponsioen, Cyriel Y., Floreani, Annarosa, Hirschfield, Gideon M., Corpechot, Christophe, Mayo, Marlyn J., Invernizzi, Pietro, Battezzati, Pier Maria, Parés, Albert, Nevens, Frederik, Thorburn, Douglas, Mason, Andrew L., Carbone, Marco, Kowdley, Kris V., Bruns, Tony, Dalekos, George N., Gatselis, Nikolaos K., Verhelst, Xavier, Lindor, Keith D., Lleo, Ana, Poupon, Raoul, Janssen, Harry L.A., and Hansen, Bettina E.

Published
2019
Full Text
View/download PDF

81. Refinement for Transition Systems with Responses

Author

Carbone, Marco, Hildebrandt, Thomas, Perrone, Gian, and Wąsowski, Andrzej

Subjects
Computer Science - Logic in Computer Science, F.1.1, F.3.1, H.4.1 Workflow management
Abstract

Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed transition systems in which the must transitions are interpreted as must eventually, and in which implementations can contain may behaviors that are resolved at run-time. We propose Transition Systems with Responses (TSRs) as a suitable model for this study. We prove that TSRs correspond to a restricted class of mixed transition systems, which we refer to as the action-deterministic mixed transition systems. We show that TSRs allow for a natural definition of deadlocked and accepting states. We then transfer the standard definition of refinement for mixed transition systems to TSRs and prove that refinement does not preserve deadlock freedom. This leads to the proposal of safe refinements, which are those that preserve deadlock freedom. We exemplify the use of TSRs and (safe) refinements on a small medication workflow., Comment: In Proceedings FIT 2012, arXiv:1207.3485

Published
2012
Full Text
View/download PDF

82. Simplified care-pathway selection for nonspecialist practice: the GLOBAL Primary Biliary Cholangitis Study Group Age, Bilirubin, Alkaline phosphatase risk assessment tool

Author

Murillo Perez, Carla F., Gulamhusein, Aliya, Carbone, Marco, Trivedi, Palak J., van der Meer, Adriaan J., Corpechot, Christophe, Battezzati, Pier Maria, Lammers, Willem J., Cazzagon, Nora, Floreani, Annarosa, Parés, Albert, Nevens, Frederik, Lleo, Ana, Mayo, Marlyn J., Kowdley, Kris V., Ponsioen, Cyriel Y., Dalekos, George N., Gatselis, Nikolaos K., Thorburn, Douglas, Mason, Andrew L., Janssen, Harry, Verhelst, Xavier, Bruns, Tony, Lindor, Keith D., Chazouillères, Olivier, Invernizzi, Pietro, Hansen, Bettina E., and Hirschfield, Gideon M.

Published
2021
Full Text
View/download PDF

83. A Logic for Choreographies

Author

Carbone, Marco, Grohmann, Davide, Hildebrandt, Thomas T., and López, Hugo A.

Subjects
Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science, F.3.1, F.3.2, C.2.4
Abstract

We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae., Comment: In Proceedings PLACES 2010, arXiv:1110.3853

Published
2011
Full Text
View/download PDF

84. Proceedings Fourth Interaction and Concurrency Experience

Author

Silva, Alexandra, Bliudze, Simon, Bruni, Roberto, and Carbone, Marco

Subjects
Computer Science - Logic in Computer Science
Abstract

This volume contains the pre-proceedings of ICE'11, the 4th Interaction and Concurrency Experience workshop, which was held in Reykjavik, Iceland on the 9th of June 2011 as a satellite event of DisCoTec'11. The topic of ICE'11 was Reliable and Contract-based Interaction. Reliable interactions are, e.g., those enjoying suitable logical, behavioural, or security properties, or adhering to certain QoS standards. Contract-based interactions are, e.g., those where the interacting entities are committed to give certain guarantees whenever certain assumptions are met by their operating environment. The ICE procedure for paper selection allows for PC members to interact, anonymously, with authors. During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum whose access is restricted to the authors and to all the PC members not declaring a conflict of interests. The PC members post comments and questions that the authors reply to. Each paper was reviewed by four PC members, and altogether 8 papers (out of 12) were accepted for publication. We were proud to host three invited talks by Rocco De Nicola (joint with PACO), Simon Gay and Prakash Panangaden, whose abstracts are included in this volume together with the regular papers.

Published
2011
Full Text
View/download PDF

85. A Graphical Approach to Progress for Structured Communication in Web Services

Author

Carbone, Marco and Debois, Søren

Subjects
Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Computer Science - Networking and Internet Architecture
Abstract

We investigate a graphical representation of session invocation interdependency in order to prove progress for the pi-calculus with sessions under the usual session typing discipline. We show that those processes whose associated dependency graph is acyclic can be brought to reduce. We call such processes transparent processes. Additionally, we prove that for well-typed processes where services contain no free names, such acyclicity is preserved by the reduction semantics. Our results encompass programs (processes containing neither free nor restricted session channels) and higher-order sessions (delegation). Furthermore, we give examples suggesting that transparent processes constitute a large enough class of processes with progress to have applications in modern session-based programming languages for web services., Comment: In Proceedings ICE 2010, arXiv:1010.5308

Published
2010
Full Text
View/download PDF

86. Execution Models for Choreographies and Cryptoprotocols

Author

Carbone, Marco and Guttman, Joshua

Subjects
Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security
Abstract

A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a security infrastructure in order to implement them safely. As part of a line of work devoted to generating cryptoprotocols from choreographies, we focus here on the execution models suited to the two levels. We give a strand-style semantics for choreographies, and propose a special execution model in which choreography-level messages are faithfully delivered exactly once. We adapt this model to handle multiparty protocols in which some participants may be compromised. At level of cryptoprotocols, we use the standard Dolev-Yao execution model, with one alteration. Since many implementations use a "nonce cache" to discard multiply delivered messages, we provide a semantics for at-most-once delivery.

Published
2010
Full Text
View/download PDF

87. Choreographies with Secure Boxes and Compromised Principals

Author

Carbone, Marco and Guttman, Joshua

Subjects
Computer Science - Cryptography and Security, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Programming Languages
Abstract

We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes" annotated with the intended source and destination of those components. The boxes are to be implemented with cryptography. Strand spaces provide a semantics for these choreographies, in which some roles may be played by compromised principals. A skeleton is a partially ordered structure containing local behaviors (strands) executed by regular (non-compromised) principals. A skeleton is realized if it contains enough regular strands so that it could actually occur, in combination with any possible activity of compromised principals. It is delivery guaranteed (DG) realized if, in addition, every message transmitted to a regular participant is also delivered. We define a novel transition system on skeletons, in which the steps add regular strands. These steps solve tests, i.e. parts of the skeleton that could not occur without additional regular behavior. We prove three main results about the transition system. First, each minimal DG realized skeleton is reachable, using the transition system, from any skeleton it embeds. Second, if no step is possible from a skeleton A, then A is DG realized. Finally, if a DG realized B is accessible from A, then B is minimal. Thus, the transition system provides a systematic way to construct the possible behaviors of the choreography, in the presence of compromised principals.

Published
2009
Full Text
View/download PDF

88. Artificial Intelligence and liver: Opportunities and barriers

Author

Balsano, Clara, primary, Burra, Patrizia, additional, Duvoux, Christophe, additional, Alisi, Anna, additional, Piscaglia, Fabio, additional, Gerussi, Alessio, additional, Brunetto, Maurizia Rossana, additional, Bonino, Ferruccio, additional, Montalti, Roberto, additional, Campanile, Silvia, additional, Persico, Marcello, additional, Alvaro, Domenico, additional, Santini, Silvano, additional, Invernizzi, Pietro, additional, Carbone, Marco, additional, Masarone, Mario, additional, Eccher, Albino, additional, Siciliano, Bruno, additional, Vento, Mario, additional, Ficuciello, Fanny, additional, Cabitza, Federico, additional, Penasa, Simone, additional, and Donatelli, Piergiorgio, additional

Published
2023
Full Text
View/download PDF

89. P32 Statistical colocalization identifies twenty-four novel risk loci associated with disease risk of primary biliary cholangitis

Author

Mulcahy, Victoria, primary, Cordell, Heather, additional, Juran, Brian, additional, Atkinson, Elizabeth, additional, Carbone, Marco, additional, Asselta, Rosanna, additional, Andrade, Mariza de, additional, Jones, David, additional, Sandford, Richard, additional, Lazaridis, Konstantinos, additional, Amos, Chris, additional, Hirschfield, Gideon, additional, Seldin, Michael, additional, Invernizzi, Pietro, additional, Siminovitch, Katherine, additional, Wallace, Chris, additional, and Mells, George, additional

Published
2023
Full Text
View/download PDF

93. Pretreatment prediction of response to ursodeoxycholic acid in primary biliary cholangitis: development and validation of the UDCA Response Score

Author

Thomas, Caradog, Rahman, Meshbah, Yapp, Tom, Lye Ch'ng, Chin, Harrison, Melanie, Sturgess, Richard, Galaska, Roman, Healey, Chris, Whiteman, Jessica, Czaijkowski, Marek, Gray, Catherine, Gunasekera, Anton, Gyawli, Pranab, Premchand, Purushothaman, Mann, Steven, Elliott, Keith, Kapur, Kapil, Watson, Alan, Foster, Graham, Trembling, Paul, Subhani, Javaid, Harvey, Rory, McCorry, Roger, Adgey, Carolyn, Hobson, Lucie, Mulvaney-Jones, Caroline, Evans, Richard, Mathialahan, Thiriloganathan, Ramanaden, David, Gasem, Jaber, Van Duyvenvoorde, Greta, Shorrock, Christopher, Seward, Katie, Southern, Paul, Tibble, Jeremy, Penn, Ruth, Gorard, David, Maiden, Jane, Damant, Rose, Palegwala, Altaf, Jones, Susan, Alexander, Graeme, Mells, George, Sandford, Richard, Dolwani, Sunil, Prince, Martin, Silvestre, Valeria, Foxton, Matthew, Dungca, Eleanor, Mitchison, Harriet, Wheatley, Natalie, Gooding, Ian, Doyle, Helen, Karmo, Mazn, Kent, Melanie, Saksena, Sushma, Braim, Delyth, Patel, Minesh, Lord, Susan, Ede, Roland, Paton, Alison, Austin, Andrew, Lancaster, Nicola, Sayer, Joanna, Gibbins, Andrew, Hogben, Karen, Hovell, Chris, Fisher, Neil, Carter, Martyn, Koss, Konrad, Musselwhite, Janine, Muscariu, Florin, Piotreowicz, Andrzej, McKay, Alexandra, Grimley, Charles, Neal, David, Ting Tan, Lai, Lim, Guan, Brighton, Jacqueline, Foale, Carole, Ala, Aftab, Saeed, Athar, Flahive, Kerry, Wood, Gordon, Townshend, Paula, Ford, Chris, Brown, Jonathan, Kordula, Jean, Bowles, Jane, Wilkinson, Mark, Palmer, Caroline, Ramage, John, Gordon, Harriet, Featherstone, James, Ridpath, Jo, Ngatchu, Theodore, Levi, Sass, Shaukat, Syed, Sadeghian, Joy, Shidrawi, Ray, Williams, Bronwen, Abouda, George, Jones, Sarah, Duggan, Claire, Hynes, Abigail, Narain, Mark, Rees, Ian, Salam, Imroz, Crossey, Mary, Taylor-Robinson, Simon, Brown, Ashley, MacNicol, Carolyn, Williams, Simon, Wilhelmsen, Elva, Banim, Paul, Raymode, Parizade, Chilton, Andrew, Das, Debasish, Lee, Hye-Jeong, Curtis, Howard, Heneghan, Michael, Gess, Markus, Durant, Emma, Drake, IM, Bishop, Rebecca, Davies, Mervyn, Jones, Rebecca, Aldersley, Mark, Ncube, Noma, McNair, Alistair, Srirajaskanthan, Raj, Sen, Sambit, Casey, Rebecca, Bird, George, Mendall, Mike, Cowley, Caroline, Barnardo, Adrian, Kitchen, Paul, Yoong, Kevin, Amore, Kelly, Sirdefield, Dawn, Orpe, Jacky, Mathew, Ray, MacFaul, George, Wrigth, Aruna, Shah, Amir, Evans, Chris, Keggans, Janie, Bird, Bridget, Baxter, Gwen, Saha, Subrata, Pollock, Katharine, Hughes, Maggie, Bramley, Peter, Grieve, Emma, Young, Karin, Fraser, Andrew, Mukhopadhya, Ashis, Ocker, Kate, Mills, Peter, Hines, Francis, Shallcross, Chris, Wilkins, Joy, Grellier, Leonie, Campbell, Stewart, Martin, Kirsty, Bathgate, Andrew, Innes, Caron, Shepherd, Alan, Rushbrook, Simon, Valliani, Talal, Przemioslo, Robert, Fairlamb, Helen, Macdonald, Chris, Eastick, Anne, Metcalf, Jane, Tanqueray, Elizabeth, Shmueli, Udi, Holbrook, Becky, Davis, Andrew, Browning, Julie, Naqvi, Asifabbas, Walker, Kirsten, Lee, Tom, Verheyden, Juliette, Slininger, Susan, Ryder, Stephen D, Chapman, Roger, Collier, Jane, O'Donnell, Denise, Stafford, Lizzie, Williamson, Kate, Kent, Linda, Klass, Howard, Ninkovic, Mary, March, Linda, Cramp, Matthew, Simpson, Diane, Dickson, Christine, Sharer, Nicholas, Hayes, Maria, Goggin, Patrick, Quinne, Mary, Pearson, Sallyanne, Hoeroldt, Barbara, Jones, Linda, Wright, Alice, Booth, Jonathan, Loftus, Alison, Lipscomb, George, Dewhurst, Hannah, Gunter, Emma, Williams, Earl, Fouracres, Anna, Farrington, Liz, Graves, Lyn, Hussaini, Hyder, Stableforth, Bill, Marriott, Suzie, Ayres, Reuben, Leoni, Marina, Burroughs, Andrew, Marshall, Eileen, Thorburn, Douglas, Tyrer, David, Martin, Kate, Lombard, Martin, Patanwala, Imran, Dali-Kemmery, Lola, Lambourne, Victoria, Maltby, Julia, Vyas, Samir, Colley, Julie, Shinder, Bal, Singhal, Saket, Jones, Jayne, Mills, Marisa, Gleeson, Dermot, Carnahan, Mandy, Butterworth, Jeff, Boulton, Kerenza, Taylor, Natalie, George, Keith, Harding, Tim, Tregonning, Julie, Douglass, Andrew, Brown, Carly, Clifford, Gayle, Panter, Simon, Gocher, Denise, Shearman, Jeremy, Bray, Gary, Hamilton, Maria, Butcher, Graham, Forton, Daniel, Mclindon, John, Curtis, Janette, Das, Debashis, Shewan, Tracey, Cowan, Matthew, Whatley, Gregory, Nasseri, Mariam, Grover, Bob, Sivaramakrishnan, Nurani, Ducker, Samantha, Houghton, Kathryn, Jones, David, Griffiths, Laura, Tripoli, Sherill, Pitcher, Maxton, Shpuza, Ervin, White, Nikki, Ghosh, Deb, Douds, Andrew, Green, Marie, Brookes, Matthew, Cumlat, Lourdes, Wong, Voi Shim, Warner, Karen, Netherton, Kimberley, Mandal, Adtya, Jain, Snjiv, Gupta, Hemant, Sanghi, Pradeep, Pereira, Steve, Neuberger, James, Gunson, Bridget, Hirschfield, Gideon, Lim, Reina Teegan, Gallagher, Susan, Clement, Darren, Brind, Alison, Watts, Gill, Mupudzi, Mcdonald, Wright, Mark, Gitahi, Jane, Gordon, Fiona, Gocher, Denis, Unitt, Esther, Pateman, Hilary, Batham, Sally, Delahooke, Toby, Grant, Allister, Conder, Jill, Higham, Andrew, Cox, Mark, O'Donohoe, Lynn, Currie, Lynn, King, Alistair, Oblak, Metod, Collins, Carole, Whalley, Simon, Quinn, Marie, Baird, Yolanda, Amey, Isobel, Fraser, Jocelyn, Li, Andy, Cotterill, Donna, Bell, Andrew, Singhal, Amit, Gee, Ian, Greer, Sandra, Ang, Yeng, Ransford, Rupert, Allison, Joanna, Gotto, James, Dyer, Simon, Sweeting, Helen, Millson, Charles, Invernizzi, Pietro, Carbone, Marco, Cristoferi, Laura, Bonato, Giulia, Malinverno, Federica, Bernuzzi, Francesca, Alvaro, Domenico, Labbadia, Giancarlo, Bragazzi, Maria Consiglia, Andreone, Pietro, Muratori, Luigi, Azzaroli, Francesco, Floreani, Annarosa, Galli, Andrea, Tarocchi, Mirko, Giannini, Edoardo, Miele, Luca, Gasbarrini, Antonio, Grieco, Antonio, Marrone, Giuseppe, Donato, Maria Francesca, Valenti, Luca, Marra, Fabio, Marzioni, Marco, Maroni, Luca, Rigamonti, Cristina, Zuin, Massimo, Battezzati, Pier Maria, Picciotto, Antonino, Nardi, Alessandra, Flack, Steve, Carpino, Guido, Varvaropoulou, Nikoletta, Gavrila, Caius, Spicer, Ann, Badrock, Jonathan, Cardinale, Vincenzo, Ainsworth, Holly F, Heneghan, Michael A, Neuberger, James M, Donato, Maria F, Kirby, John, Mitchell-Thain, Robert, Sampaziotis, Fotios, Gaudio, Eugenio, Ronca, Vincenzo, Gerussi, Alessio, Stocken, Deborah D, Cordell, Heather J, Hirschfield, Gideon M, Alexander, Graeme J, Sandford, Richard N, Jones, David E, and Mells, George F

Published
2018
Full Text
View/download PDF

98. Prognostic significance of liver stiffness progression in primary biliary cholangitis

Author

Lam, Laurent, primary, Carrat, Fabrice, additional, Soret, Pierre-Antoine, additional, Lemoinne, Sara, additional, Hansen, Bettina, additional, Hirschfield, Gideon, additional, Gulamhusein, Aliya, additional, Montano-Loza, Aldo J, additional, Lytvyak, Ellina, additional, Pares, Albert, additional, Ignasi, Olivas, additional, Eaton, John, additional, Osman, Karim, additional, Schramm, Christoph, additional, Sebode, Marcial, additional, Lohse, Ansgar W., additional, Dalekos, George, additional, Gatselis, Nikolaos, additional, Nevens, Frederik, additional, Cazzagon, Nora, additional, Zago, Alessandra, additional, Russo, Francesco Paolo, additional, Abbas, Nadir, additional, Trivedi, Palak, additional, Thorburn, Douglas, additional, Saffioti, Francesca, additional, Barkai, Laszlo, additional, Roccarina, Davide, additional, Calvaruso, Vincenza, additional, Fichera, Anna, additional, Delamarre, Adele, additional, Sobenko, Natalia, additional, Gracia Villamil, Maria Alejandra, additional, Esli, Medina-Morales, additional, Bonder, Alan, additional, Patwardhan, Vilas, additional, Rigamonti, Cristina, additional, Carbone, Marco, additional, Invernizzi, Pietro, additional, Cristoferi, Laura, additional, Van der Meer, Adriaan, additional, de Veer, Rozanne, additional, Zigmond, Ehud, additional, Eyal, Yehezkel, additional, Kremer, Andreas E, additional, Deibel, Ansgar, additional, Bruns, Tony, additional, Große, Karsten, additional, Wetten, Aaron, additional, Dyson, Jessica, additional, Jones, David, additional, Dumortier, Jérôme, additional, Pageaux, Georges-Philippe, additional, de Lédinghen, Victor, additional, Chazouillères, Olivier, additional, and Corpechot, Christophe, additional

Published
2023
Full Text
View/download PDF

99. Relative enhancement and spleen volume predict clinical outcomes in primary sclerosing cholangitis

Author

Cristoferi, Laura, primary, Maino, Cesare, additional, Marra, Paolo, additional, Savino, Alberto, additional, Ripamonti, Ilaria, additional, La Milia, Marta, additional, Bernasconi, Davide, additional, Scaravaglio, Miki, additional, Gerussi, Alessio, additional, Rossi, Alberto, additional, Pesatori, Eugenia Vittoria, additional, Pasulo, Luisa, additional, Fagiuoli, Stefano, additional, Invernizzi, Pietro, additional, Ippolito, Davide, additional, Sironi, Sandro, additional, and Carbone, Marco, additional

Published
2023
Full Text
View/download PDF

100. RESIST criteria accurately rule-out high-risk esophageal varices in patients with primary biliary cholangitis and compensated advanced chronic liver disease

Author

Calvaruso, Vincenza, primary, Celsa, Ciro, additional, Cristoferi, Laura, additional, Scaravaglio, Miki, additional, Capodicasa, Luigi, additional, Cadamuro, Luca, additional, Di Maria, Gabriele, additional, Di Marco, Vito, additional, Gerussi, Alessio, additional, Malinverno, Federica, additional, Lampertico, Pietro, additional, Cazzagon, Nora, additional, Marzioni, Marco, additional, Gentilucci, Umberto Vespasiani, additional, Andreone, Pietro, additional, Lleo, Ana, additional, Rigamonti, Cristina, additional, Giannini, Edoardo Giovanni, additional, Russello, Maurizio, additional, Vanni, Ester, additional, Cerini, Federica, additional, Missale, Gabriele, additional, Brunetto, Maurizia, additional, Niro, Grazia, additional, Vettori, Giovanni, additional, Castellaneta, Antonino, additional, Alvaro, Domenico, additional, Palitti, Valeria Pace, additional, Bellanti, Francesco, additional, Invernizzi, Pietro, additional, Camma, Calogero, additional, and Carbone, Marco, additional

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results