Results 71 to 80 of about 146,242 (384)
Stochastic Simulation of Process Calculi for Biology
, 2010 Biological systems typically involve large numbers of components with complex, highly parallel interactions and intrinsic stochasticity. To model this complexity, numerous programming languages based on process calculi have been developed, many of which ...
A. Regev +21 more
core +3 more sources
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 +4 more
wiley +1 more source
A middle aged women with bilateral staghorn complete calculi
The Pan African Medical Journal, 2014 A 50-year-old woman presented with a 2-years history of chronic flanc and hematuria. Plain abdominal radiography was performed showing bilateral complete staghorn calculi.
Jihad El Anzaoui, Driss Touiti
doaj +1 more source
Systematic construction of natural deduction systems for many-valued logics [PDF]
, 1993 A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables
Baaz, Matthias +2 more
core +2 more sources
Efficacy Evaluation of the Phytotherapeutic Drug Canephron N in the Complex Treatment of Patients with Urolithiasis Using Extracorporeal Shock Wave Lithotripsy [PDF]
, 2018 The study objective was to analyse the effect of the herbal drug Canephron N, namely, its ability to potentiate the efficacy of extracorporeal shock wave lithotripsy (ESWL) in the treatment of patients with urolithiasis (UL) and prevent recurrence of ...
Vitkovskyy, V. (Volodymir)
core +2 more sources
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 +2 more
wiley +1 more source
All bicovariant differential calculi on Glq(3,C) and SLq(3,C)
, 1994 All bicovariant first order differential calculi on the quantum group GLq(3,C) are determined. There are two distinct one-parameter families of calculi.
Abe E +21 more
core +2 more sources
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 +10 more
wiley +1 more source
Tool support for reasoning in display calculi [PDF]
, 2016 We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone.
Balco, Samuel +4 more
core +2 more sources
, 2011 We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents.
Alwen Tiu +13 more
core +1 more source