Results 31 to 40 of about 194,477 (284)
On noncommutative extensions of linear logic [PDF]
Logical Methods in Computer Science, 2019 Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Sergey Slavnov
doaj +1 more source
On Katugampola Fractional Multiplicative Hermite-Hadamard-Type Inequalities
MathematicsThis paper presents a novel framework for Katugampola fractional multiplicative integrals, advancing recent breakthroughs in fractional calculus through a synergistic integration of multiplicative analysis. Motivated by the growing interest in fractional
Wedad Saleh +3 more
doaj +1 more source
Regularization of Positive Definite Matrix Fields Based on Multiplicative Calculus
, 2012 Multiplicative calculus provides a natural framework in problems involving positive images and positivity preserving operators. In increasingly important, complex imaging frameworks, such as diffusion tensor imaging, it complements standard calculus in a
Luc Florack, Florack, Luc
core +1 more source
Journal of Inequalities and ApplicationsThe present article intends to give a comprehensive survey of recent developments in the literature on multiplicative fractional integral inequalities.
Thabet Abdeljawad +4 more
doaj +1 more source
Classical BI: Its Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2010 We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI.
James Brotherston, Cristiano Calcagno
doaj +1 more source
On the multiplicative Legendre equation
Journal of Taibah University for Science, 2022 When exponentials are employed to model procedures and efficacies appearing in real life, an additive derivative of this type of function does not exist.
Sertac Goktas
doaj +1 more source
Tumour‐proximal deep serum proteomics identifies biomarkers associated with ovarian cancer
Molecular Oncology, EarlyView.New biomarkers are needed for early ovarian cancer detection. Ovarian (tumour‐proximal) and peripheral vein serum from healthy women and patients with benign or malignant tumours underwent nanoparticle‐enriched deep proteomics. Ovarian serum yielded more protein identifications and revealed tumour‐reflective signatures.
Darren Lau +9 more
wiley +1 more source
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities [PDF]
Journal of Logic, Language and Information, 2020 Accepted for publication in the Journal of Logic, Language, and ...
Max I. Kanovich +2 more
openaire +3 more sources
Transcripts enriched in codons that trigger P‐site tRNA‐mediated mRNA decay possess stable mRNA
FEBS Open Bio, EarlyView.PTMD codons were first described by Mendel et al. as mediators of an mRNA decay pathway dependent on the human protein CNOT3, homologous to yeast Not5. Our findings confirm that PTMD codons destabilize transcripts; however, unlike in yeast, the human pathway specifically targets and slightly destabilizes primarily stable mRNAs.
Rodolfo Lopes Carneiro +1 more
wiley +1 more source
Complex Multiplicative Calculus
, 2011 In the present paper we extend the concepts of multiplicative de- rivative and integral to complex-valued functions of complex variable. Some drawbacks, arising with these concepts in the real case, are explained satis- factorily. Properties of complex multiplicative derivatives and integrals are studied.
Bashirov, Agamirza, Riza, Mustafa
openaire +2 more sources