Results 41 to 50 of about 76,910 (285)
A Tableau Calculus for Non-clausal Maximum Satisfiability
, 2021 We define a non-clausal MaxSAT tableau calculus. Given a multiset of propositional formulas F, we prove that the calculus is sound in the sense that if the minimum number of contradictions derived among the branches of a completed tableau for F is m ...
Manyà, Felip +2 more
core +1 more source
Hereditary Substitution for the λΔ-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Hereditary substitution is a form of type-bounded iterated substitution, first made explicit by Watkins et al. and Adams in order to show normalization of proof terms for various constructive logics.
Harley Eades, Aaron Stump
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Allogeneic hematopoietic stem cell transplantation (alloHSCT) is an essential therapy for several malignant and nonmalignant diseases, but relapse and graft loss remain the principal threats to its success. Routine monitoring of chimerism and minimal residual disease (MRD) enables early detection of imminent recurrence and guides ...
Carmen Junk +10 more
wiley +1 more source
Pediatric Idiopathic Multicentric Castleman Disease Is Often Severe But Responsive to Siltuximab
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Idiopathic multicentric Castleman disease (iMCD) is a potentially fatal immunologic disorder marked by widespread lymphadenopathy and inflammation. Siltuximab, an interleukin‐6 (IL‐6) inhibitor, is the only FDA‐approved treatment for adult patients with iMCD.
Bridget Austin +17 more
wiley +1 more source
How to prove similarity a precongruence in non-deterministic call-by-need lambda calculi [PDF]
, 2006 Extending the method of Howe, we establish a large class of untyped higher-order calculi, in particular such with call-by-need evaluation, where similarity, also called applicative simulation, can be used as a proof tool for showing contextual preorder ...
Mann, Matthias, Schmidt-Schauß, Manfred
core
A non-interleaving process calculus for multi-party synchronisation [PDF]
, 2009 We introduce the wire calculus. Its dynamic features are inspired by Milner's CCS: a unary prefix operation, binary choice and a standard recursion construct.
Paweł Sobociński, Soboci\'nski, Pawel
core +1 more source
Geometry of Resource Interaction – A Minimalist Approach [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 The Resource λ-calculus is a variation of the λ-calculus where arguments can be superposed and must be linearly used. Hence it is a model for linear and non-deterministic programming languages, and the target language of Ehrhard-Taylor expansion of λ ...
Marco Solieri
doaj +1 more source
Referral Patterns and Diagnostic Timeliness in Pediatric Cancer: A Hospital‐Based Study in Indonesia
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Timely diagnosis and treatment are critical for improving survival among children with cancer. In low‐ and middle‐income countries (LMICs), delays are common and may be influenced by fragmented referral pathways and diagnostic limitations.
Nur Melani Sari +5 more
wiley +1 more source
On equivalences and standardization in a non-deterministic call-by-need lambda calculus [PDF]
, 2007 The goal of this report is to prove correctness of a considerable subset of transformations w.r.t. contextual equivalence in a an extended lambda-calculus with case, constructors, seq, let, and choice, with a simple set of reduction rules. Unfortunately,
Mann, Matthias +3 more
core
Even Simple Processes of π-calculus are Hard for Analysis
Моделирование и анализ информационных систем, 2018 Mathematical models of distributed computations, based on the calculus of mobile processes (π-calculus) are widely used for checking the information security properties of cryptographic protocols.
Marat M. Abbas, Vladimir A. Zakharov
doaj +1 more source