Results 41 to 50 of about 935 (253)

The Consistency and Complexity of Multiplicative Additive System Virtual [PDF]

Scientific Annals of Computer Science, 2015
This paper investigates the proof theory of multiplicative additive system virtual (MAV). MAV combines two established proof calculi: multiplicative additive linear logic (MALL) and basic system virtual (BV).
R. Horne
doaj   +1 more source

Single cis‐elements in brassinosteroid‐induced upregulated genes are insufficient to recruit both redox states of the BIL1/BZR1 DNA‐binding domain

FEBS Letters, EarlyView.
Phytohormone brassinosteroid‐induced gene regulation by the transcription factor BIL1/BZR1 involves redox‐dependent DNA‐binding alternation and interaction with the transcription factor PIF4. The reduced BIL1/BZR1 dimer binds preferred cis‐elements, while oxidation alters its oligomerization state and disrupts DNA‐binding ability.
Shohei Nosaki, Masae Ohtsuka, Takeshi Nakano, Masaru Tanokura, Takuya Miyakawa   +4 more
wiley   +1 more source

Structural dynamics of the plant hormone receptor ETR1 in a native‐like membrane environment

FEBS Letters, EarlyView.
The present study unveils the structural and signaling dynamics of ETR1, a key plant ethylene receptor. Using an optimized nanodisc system and solution NMR, we captured full‐length ETR1 in a native‐like membrane environment. Our findings reveal dynamic domain uncoupling and Cu(I)‐induced rigidification, providing the first evidence of metal‐triggered ...
Moritz Lemke, Nils Alexander Lakomek, Georg Groth   +2 more
wiley   +1 more source

Converting ALC Connection Proofs into ALC Sequents [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies written in the
Eunice Palmeira, Fred Freitas, Jens Otten   +2 more
doaj   +1 more source

Mechanistic basis for inhibition of the extended‐spectrum β‐lactamase GES‐1 by enmetazobactam and tazobactam

FEBS Letters, EarlyView.
Antimicrobial resistance (AMR) is of huge importance, resulting in over 1 million deaths each year. Here, we describe how a new drug, enmetazobactam, designed to help fight resistant bacterial diseases, inhibits a key enzyme (GES‐1) responsible for AMR. Our data show it is a more potent inhibitor than the related tazobactam, with high‐level computation
Michael Beer, Philip Hinchliffe, Marko Hanževački, Christopher R. Bethel, Catherine L. Tooke, Marc W. Van der Kamp, Krisztina M. Papp‐Wallace, Robert A. Bonomo, Stuart Shapiro, Adrian J. Mulholland, James Spencer   +10 more
wiley   +1 more source

Gentzen and Temporal Sequents

Studies in Logic, Grammar and Rhetoric
The paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The
Indrzejczak Andrzej
doaj   +1 more source

C9orf72 ALS‐causing mutations lead to mislocalization and aggregation of nucleoporin Nup107 into stress granules

FEBS Letters, EarlyView.
Mutations in the C9orf72 gene represent the most common genetic cause of amyotrophic lateral sclerosis (ALS), a fatal neurodegenerative disease. Using patient‐derived neurons and C. elegans models, we find that the nucleoporin Nup107 is dysregulated in C9orf72‐associated ALS. Conversely, reducing Nup107 levels mitigates disease‐related changes.
Saygın Bilican, Yara Nabawi, William Hongyu Zhang, Dunja Petrovic, Markus Wehrmann, Sara Muñoz‐García, Seda Koyuncu, David Vilchez   +7 more
wiley   +1 more source

Grouping based calculus for propositional linear temporal logic

Lietuvos Matematikos Rinkinys
In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj   +3 more sources

From lactation to malignancy: A comparison between healthy and cancerous breast gland at single‐cell resolution reveals new issues for tumorigenesis

FEBS Letters, EarlyView.
Single‐cell RNA sequencing reveals an opposite role of SLPI in basal tumors based on metastatic spread, along with shared activation of specific regulons in cancer cells and mature luminal lactocytes, as well as downregulation of MALAT1 and NEAT1 in the latter.
Pietro Ancona, Carlo M. Bergamini, Carlo Ferrari, Stefano Volinia, Nicoletta Bianchi   +4 more
wiley   +1 more source

Imeglimin attenuates liver fibrosis by inhibiting vesicular ATP release from hepatic stellate cells

FEBS Letters, EarlyView.
Imeglimin, at clinically relevant concentrations, inhibits vesicular ATP accumulation and release from hepatic stellate cells, thereby attenuating purinergic signaling and reducing fibrogenic activation. This mechanism reveals a newly identified antifibrotic action of imeglimin beyond glycemic control.
Seiji Nomura, Lixiang Wang, Nao Hasuzawa, Ayako Nagayama, Sawako Moriyama, Kenji Ashida, Yoshinori Moriyama, Masatoshi Nomura, Ken Yamamoto   +8 more
wiley   +1 more source