Results 71 to 80 of about 170,706 (312)

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

Interaction and Depth against Nondeterminism in Proof Search [PDF]

Logical Methods in Computer Science, 2014
Deep inference is a proof theoretic methodology that generalizes the standard notion of inference of the sequent calculus, whereby inference rules become applicable at any depth inside logical expressions.
Ozan Kahramanogullari
doaj   +1 more source

Towards a canonical classical natural deduction system [PDF]

, 2012
Preprint submitted to Elsevier, 6 July 2012This paper studies a new classical natural deduction system, presented as a typed calculus named lambda-mu- let.
Ariola, Baba, Barendregt, Bloo, Boričić, Cervesato, Curien, Dyckhoff, Espírito Santo, Espírito Santo, Espírito Santo, Espírito Santo, Espírito Santo, Felleisen, Gentzen, Girard, Griffin, Herbelin, Herbelin, José Espírito Santo, Kikuchi, Negri, Ong, Parigot, Plotkin, Polonovski, Prawitz, Rehof, Rocheteau, Sabry, Sabry, Stalmarck, Troelstra, von Plato   +33 more
core   +2 more sources

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

A Proof Theoretic Analysis of Intruder Theories [PDF]

Logical Methods in Computer Science, 2010
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages Gamma under the theory of blind signatures and arbitrary convergent equational theories modulo ...
Alwen F Tiu, Rajeev Gore, Jeremy Dawson
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

Characterising strongly normalising intuitionistic sequent terms [PDF]

, 2008
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds).
F. Joachimski, G. Pottinger, H. Barendregt, H. Herbelin, H. Schwichtenberg, J. Espírito Santo, J. Espírito Santo, J. Espírito Santo, J. Espírito Santo, K. Kikuchi, M. Coppo, P. Sallé, R. Amadio, S. Lengrand, S. Ronchi   +14 more
core   +1 more source

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

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