Results 161 to 170 of about 2,188,915 (311)

Formally verified asymptotic consensus in robust networks [PDF]

, 2022
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou   +4 more
openalex   +1 more source

Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation

FEBS Letters, EarlyView.
Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe, Tanmay Kumar Mohanty, Rashna Bhandari, Dorothea Fiedler   +3 more
wiley   +1 more source

Verification of LINE Encryption Version 1.0 Using ProVerif

, 2019
Cheng Shi, Kazuki Yoneyama
openalex   +2 more sources

Substrate specificity of Burkholderia pseudomallei multidrug transporters is influenced by the hydrophilic patch in the substrate‐binding pocket

FEBS Letters, EarlyView.
Multidrug transporters BpeB and BpeF from the Gram‐negative pathogen Burkholderia pseudomallei have a hydrophilic patch in their substrate‐binding pocket. Drug susceptibility tests and growth curve analyses using an Escherichia coli recombinant expression system revealed that the hydrophilic patches of BpeB and BpeF are involved in the substrate ...
Ui Okada, Satoshi Murakami
wiley   +1 more source

Function‐driven design of a surrogate interleukin‐2 receptor ligand

FEBS Letters, EarlyView.
Interleukin (IL)‐2 signaling can be achieved and precisely fine‐tuned through the affinity, distance, and orientation of the heterodimeric receptors with their ligands. We designed a biased IL‐2 surrogate ligand that selectively promotes effector T and natural killer cell activation and differentiation. Interleukin (IL) receptors play a pivotal role in
Ziwei Tang, Zelin Cheng, Teng Li, Fulian Wang, Liangminghui Zhang, Xiuxiu He, Lili Liu, Wei Wang, Aibin Liang, Guang Yang   +9 more
wiley   +1 more source

Verification of Scenario-based Specifications using Templates

, 2005
Girish Keshav Palshikar, Purandar Bhaduri   +1 more
openalex   +1 more source

Time after time – circadian clocks through the lens of oscillator theory

FEBS Letters, EarlyView.
Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo, Carolin Ector, Hanspeter Herzel   +2 more
wiley   +1 more source

VERIFICATIONS

Monthly Weather Review, 1887
  +4 more sources

Two-stage prompting framework with predefined verification steps for evaluating diagnostic reasoning tasks on two datasets. [PDF]

NPJ Digit Med
Shao M, Zhang H.
europepmc   +1 more source

Multiple ETS family transcription factors bind mutant p53 via distinct interaction regions

FEBS Letters, EarlyView.
Mutant p53 gain‐of‐function is thought to be mediated by interaction with other transcription factors. We identify multiple ETS transcription factors that can bind mutant p53 and found that this interaction can be promoted by a PXXPP motif. ETS proteins that strongly bound mutant p53 were upregulated in ovarian cancer compared to ETS proteins that ...
Stephanie A. Metcalf, Nicholas F. Downing, Kaitlyn M. Mills, Samuel C. Metcalfe, Alexander E. Kritzer, Lindsey D. Mayo, Peter C. Hollenhorst   +6 more
wiley   +1 more source