Results 41 to 50 of about 5,002 (241)
A theorem proving framework for the formal verification of Web Services Composition [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into ...
Petros Papapanagiotou +1 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Chemotherapy‐induced peripheral neuropathy remains a major complication in pediatric cancer, with disrupted somatosensory and nociceptive processing being a key aspect. This review synthesizes empirical studies on alterations in somatosensory and nociceptive processing in children and adolescents with cancer.
Julia Schweiger +4 more
wiley +1 more source
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 In this paper, we survey five different computational modeling methods. For comparison, we use the activation cycle of G-proteins that regulate cellular signaling events downstream of G-protein-coupled receptors (GPCRs) as a driving example.
Yifei Bao +3 more
doaj +1 more source
The Attributed Pi-Calculus with Priorities [PDF]
, 2010 We present the attributed $\pi$-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The $\pi$-calculus serves as a constraint language underlying the $\pi$-calculus. Interaction constraints subsume priorities, by which to express global aspects of populations.
John, Mathias +3 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Adolescent siblings of children with cancer are at elevated risk for psychosocial problems. Unfortunately, various barriers such as limited family time and resources, conflicting schedules, and psychosocial staffing constraints at cancer centers hinder sibling access to support.
Christina M. Amaro +10 more
wiley +1 more source
Context-Free Session Types for Applied Pi-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We present a binary session type system using context-free session types to a version of the applied pi-calculus of Abadi et. al. where only base terms, constants and channels can be sent.
Jens Aagaard +3 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Neuropsychological complications may impair the qualitative prognosis of patients with pediatric brain tumors. However, multifaceted evaluations cannot be conducted in all patients because they are time consuming and burdensome for patients.
Ami Tabata +9 more
wiley +1 more source
Synchrony vs Causality in the Asynchronous Pi-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We study the relation between process calculi that differ in their either synchronous or asynchronous interaction mechanism. Concretely, we are interested in the conditions under which synchronous interaction can be implemented using just asynchronous ...
Jens-Wolfhard Schicke +2 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Patients with ovarian cancer often present with massive ascites, leading to significant protein loss during surgical procedures. Although cell‐free concentrated ascites reinfusion therapy (CART) is used in palliative settings to mitigate protein loss, its application in intraoperative settings remains unexplored.
Yutaka Yoneoka +7 more
wiley +1 more source
An intensionally fully-abstract sheaf model for $\pi$ (expanded version) [PDF]
Logical Methods in Computer Science, 2017 Following previous work on CCS, we propose a compositional model for the $\pi$-calculus in which processes are interpreted as sheaves on certain simple sites.
Clovis Eberhart +2 more
doaj +1 more source