Results 81 to 90 of about 136,655 (280)
Ligand‐dependent transcriptional heterogeneity in cell cycle gene expression delays G1/S entry
FEBS Letters, EarlyView.EGF and HRG induce distinct G1/S progression programs in ErbB2‐amplified BT474 breast cancer cells. Despite activating the potent ErbB2–ErbB3 heterodimer, HRG does not accelerate cell‐cycle entry. Instead, EGF promotes earlier restriction‐point passage via ERK–FOS signaling, whereas HRG activates the AKT–MYC axis, driving transcriptional heterogeneity ...
Ririn Rahmala Febri +5 more
wiley +1 more source
Formal Methods Online: Sequent Calculus Verifier (SeCaV)
, 2022 We present the Sequent Calculus Verifier (SeCaV) and discuss its advantages and disadvantages as a tool for teaching logic, automated reasoning and formal methods.
Jacobsen, Frederik Krogsdal +2 more
core
Grouping based calculus for propositional linear temporal logic
Lietuvos Matematikos RinkinysIn 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
A sequent calculus for relation algebras
Annals of Pure and Applied Logic, 1983 In this paper a new sequent calculus for the algebra of relations is presented. The new point of view consists in the restriction over the number of variables. So the nomenclature is justified: \(n\) sequent, \(n\) consistent, \(n\) proof, \(n\) model. The syntax and the semantics of the sequent calculus is naturally developed.
openaire +1 more source
Emerging experimental and computational methods for studying redox‐regulated structural transitions
FEBS Letters, EarlyView.Redox reactions can reshape proteins and alter how they behave in cells, with important consequences for health and disease. This review explores emerging experimental and computational approaches for discovering these redox‐sensitive protein switches, revealing their structural effects, and predicting their behavior, opening new opportunities to ...
Tasneem Rass +2 more
wiley +1 more source
, 2008 hesis for the moment, the main judgment w 1 :A 1 res; : : : ; wn :An res =) C goal expresses Under the linear hypothesis that we have resources A 1 ; : : : ; An we can achieve goal C.
Sequent Calculus In
core
Encoding transition systems in sequent calculus
Theoretical Computer Science, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Raymond McDowell +2 more
openaire +2 more sources
FEBS Letters, EarlyView.Encapsulins are protein nanocompartments that play an important role in iron storage. In the Myxococcus xanthus encapsulin system, two cargo proteins called EncB and EncC contribute to iron mineralization. Here, we show that EncB and EncC generate iron‐containing minerals with distinct chemical compositions, suggesting that the composition of stored ...
Harry B. McDowell +2 more
wiley +1 more source
The Shewanella oneidensis Fic enzyme SoFic targets the switch‐I region of EF‐Tu for AMPylation
FEBS Letters, EarlyView.Fic enzymes mediate diverse post‐translational modifications across all domains of life, including AMPylation. Prokaryotic EF‐Tu can be AMPylated and deAMPylated by the conserved Fic enzyme SoFic. Structural and biochemical approaches were used to characterize the effect of AMPylation on EF‐Tu, SoFic's enzymatic activities, and the enzyme‐target ...
Svenja Runge +6 more
wiley +1 more source
, 2001 In the previous chapter we developed linear logic in the form of natural deduction, which is appropriate for many applications of linear logic. It is also highly economical, in that we only needed one basic judgment (A true)andtwo judgment forms (linear ...
core +1 more source