Results 51 to 60 of about 1,749 (282)
From Linear Logic to Cyclic Sharing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a translation from Multiplicative Exponential Linear Logic to a simply-typed lambda calculus with cyclic sharing. This translation is derived from a simple observation on the Int-construction on traced monoidal categories.
Masahito Hasegawa
doaj +1 more source
Bakry-Emery Calculus For Diffusion With Additional Multiplicative Term
, 2021 We extend the Gamma_2 calculus of Bakry and Emery to include a Carre du champ operator with multiplicative term, providing results which allow to analyse inhomogeneous ...
Roberto, Cyril, Zegarlinski, B.
core
MiR‐513a promotes human erythroid differentiation by modulating c‐Jun
FEBS Open Bio, EarlyView.During early human erythropoiesis, miR‐513a promoted erythroid differentiation in primary human CD34+ hematopoietic stem‐progenitor cells and human TF‐1 erythroleukemic cells by indirectly decreasing c‐Jun and phospho‐c‐Jun expression, which are associated with increased GATA1 expression.
MinJung Kim +11 more
wiley +1 more source
The GHZ/W-calculus contains rational arithmetic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Graphical calculi for representing interacting quantum systems serve a number of purposes: compositionally, intuitive graphical reasoning, and a logical underpinning for automation.
Bob Coecke +3 more
doaj +1 more source
Long‐term hippocampal alterations and cognitive impairment in a murine model of surgical sepsis
FEBS Open Bio, EarlyView.Using a mouse model of surgical sepsis, we tested long‐term memory and analyzed the transcriptome of single cells isolated from the hippocampus. Survivor mice showed worse memory, loss of certain brain cell subpopulations, and abnormal immune cell activity—suggesting that post‐sepsis brain alterations may be linked to cognitive deficits.
Dong Seong Cho +4 more
wiley +1 more source
The lambda-calculus with multiplicities
, 1993 We introduce a refinement of the l-calculus, where the argument of a function is a bag of resources, that is a multiset of terms, whose multiplicities indicate how many copies of them are available. We show that this l-calculus with multiplicities has a natural functionality theory, similar to Coppo and Dezani's intersection type discipline.
openaire +3 more sources
A new look at the classical sequence spaces by using multiplicative calculus
, 2016 The important point to be noted on the non-Newtonian calculus is a self- contained system independent of any other system of calculus. Therefore, the reader may be surprised to learn that there is a uniform relationship between the corresponding ...
Kadak U. +3 more
core +2 more sources
Differential Operators and Differential Calculus on $delta-$Hom-Jordan-Lie Superalgebras
پژوهشهای ریاضی, 2020 Introduction Hom-algebraic structures appeared first as a generalization of Lie algebras in [1,3], where the authors studied q-deformations of Witt and Virasoro algebras. A general study and construction of Hom-Lie algebras
Valiollah Khalili
doaj
YIPFα1A expression is regulated by multilayered molecular mechanisms
FEBS Open Bio, EarlyView.YIPFα1A, a five‐pass Golgi protein, is regulated at multiple layers. (1) Rare‐codon enrichment drives translation‐coupled mRNA decay. (2) A proximal 3′‐UTR element stabilizes mRNA. (3) A distal 3′‐UTR element included by alternate poly(A) site usage represses translation, which can be overridden by the proximal 3′‐UTR element.
Tokio Takaji +2 more
wiley +1 more source
FEBS Open Bio, EarlyView.The dFoCC pipeline starts with observed DED and resting‐state coordinates, which are then used to generate a library of triggered states. Correlation analysis of the calculated DED features of each candidate vs observed DED permits quantitative evaluation of candidate structural quality.
Meng Iao Fong +3 more
wiley +1 more source