Results 71 to 80 of about 326,945 (325)

Yet another normalisation proof for Martin-Lof's logical framework--Terms with correct arities are strongly normalising [PDF]

, 2005
In this paper, we prove the strong normalisation for Martin-L\"{o}f's Logical Framework, and suggest that {}``correct arity'', a condition weaker than well-typedness, will also guarantee the strong normalisation.Comment: 19 ...
Luo, Yong
core   +1 more source

Reconclining phi radiative decays with other data for a0(980), fo(980), pi-pi -> KK and pi-pi -> eta-eta

, 2006
Data for phi -> gamma (eta-pizero) are analysed using the KK loop model and compared with parameters of a0(980) derived from Crystal Barrel data. The eta-pi mass spectrum agrees closely and the absolute normalisation lies just within errors. However, BES
(PDG), 15, 175, 19, 22, 25, 26, 327, 33, 353, 36, 438, 440, 449, 462, 472, 509, 536, 537, 598, 603, 607, 64, 78, 87, Achasov, Achasov, Achasov, Achasov, Anisovich, Anisovich, Au, Bolgione, Bugg, Bugg, Bugg, Bugg, Close, D.V. Bugg, Dalitz, Jamin, Lindenbaum, Marco, Martin, Moxhay, Nicola, Oller, Oller, Oller, Oller, Palomar, Zou   +51 more
core   +1 more source

The language of Stratified Sets is confluent and strongly normalising [PDF]

, 2018
We study the properties of the language of Stratified Sets (first-order logic with $\in$ and a stratification condition) as used in TST, TZT, and (with stratifiability instead of stratification) in Quine's NF.
Gabbay, Murdoch J.
core   +2 more sources

Function‐driven design of a surrogate interleukin‐2 receptor ligand

FEBS Letters, EarlyView.
Interleukin (IL)‐2 signaling can be achieved and precisely fine‐tuned through the affinity, distance, and orientation of the heterodimeric receptors with their ligands. We designed a biased IL‐2 surrogate ligand that selectively promotes effector T and natural killer cell activation and differentiation. Interleukin (IL) receptors play a pivotal role in
Ziwei Tang, Zelin Cheng, Teng Li, Fulian Wang, Liangminghui Zhang, Xiuxiu He, Lili Liu, Wei Wang, Aibin Liang, Guang Yang   +9 more
wiley   +1 more source

Split Sampling: Expectations, Normalisation and Rare Events [PDF]

, 2013
In this paper we develop a methodology that we call split sampling methods to estimate high dimensional expectations and rare event probabilities. Split sampling uses an auxiliary variable MCMC simulation and expresses the expectation of interest as an ...
Birge, John R., Chang, Changgee, Polson, Nicholas G.   +2 more
core  

Multiple ETS family transcription factors bind mutant p53 via distinct interaction regions

FEBS Letters, EarlyView.
Mutant p53 gain‐of‐function is thought to be mediated by interaction with other transcription factors. We identify multiple ETS transcription factors that can bind mutant p53 and found that this interaction can be promoted by a PXXPP motif. ETS proteins that strongly bound mutant p53 were upregulated in ovarian cancer compared to ETS proteins that ...
Stephanie A. Metcalf, Nicholas F. Downing, Kaitlyn M. Mills, Samuel C. Metcalfe, Alexander E. Kritzer, Lindsey D. Mayo, Peter C. Hollenhorst   +6 more
wiley   +1 more source

Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories

, 2017
Cyclic data structures, such as cyclic lists, in functional programming are tricky to handle because of their cyclicity. This paper presents an investigation of categorical, algebraic, and computational foundations of cyclic datatypes.
Hamana, Makoto
core   +1 more source

A new coinductive confluence proof for infinitary lambda calculus

, 2020
We present a new and formal coinductive proof of confluence and normalisation of B\"ohm reduction in infinitary lambda calculus. The proof is simpler than previous proofs of this result.
Czajka, Łukasz
core   +1 more source

The newfound relationship between extrachromosomal DNAs and excised signal circles

FEBS Letters, EarlyView.
Extrachromosomal DNAs (ecDNAs) contribute to the progression of many human cancers. In addition, circular DNA by‐products of V(D)J recombination, excised signal circles (ESCs), have roles in cancer progression but have largely been overlooked. In this Review, we explore the roles of ecDNAs and ESCs in cancer development, and highlight why these ...
Dylan Casey, Zeqian Gao, Joan Boyes
wiley   +1 more source

Searching for the grey zone in Slovak sci-fi literature during the normalisation period [PDF]

Slovenska Literatura
This article analyses the phenomenon of the grey zone as a space for alternative expression in Slovak literature during the late 1970s and throughout the 1980s.
Olha Norba
doaj   +1 more source