Results 111 to 120 of about 4,197,782 (360)

Cyclic nucleotide signaling as a drug target in retinitis pigmentosa

FEBS Letters, EarlyView.
Disruptions in cGMP and cAMP signaling can contribute to retinal dysfunction and photoreceptor loss in retinitis pigmentosa. This perspective examines the mechanisms and evaluates emerging evidence on targeting these pathways as a potential therapeutic strategy to slow or prevent retinal degeneration.
Katri Vainionpää, Ahmed B. Montaser, Henri Leinonen   +2 more
wiley   +1 more source

Workshop Report: IAEA Safeguards and the Irreversibility of Nuclear Disarmament

Journal for Peace and Nuclear Disarmament
This article presents the discussion and conclusions from a workshop hosted by the Verification Research, Training and Information Centre (VERTIC) in February 2023.
Hailey Wingo
doaj   +1 more source

Hydrologic verification: A call for action and collaboration [PDF]

, 2007
Traditionally, little attention has been focused on the systematic verification of operational hydrologic forecasts. This paper summarizes the results of forecasts verification from 15 river basins in the United States.
Carter, G, Olsen, B, Sorooshian, S, Welles, E   +3 more
core   +1 more source

Modeling for Verification

, 2018
System modeling is the initial, and often crucial, step in verification. The right choice of model and modeling language is important for both designers and users of verification tools. This chapter aims to provide a guide to system modeling in four stages.
Sanjit A. Seshia, Stavros Tripakis, Stavros Tripakis, Natasha Sharygina   +3 more
openaire   +4 more sources

TRAF2 binds to TIFA via a novel motif and contributes to its autophagic degradation

FEBS Letters, EarlyView.
TRAF family members couple receptor signalling complexes to downstream outputs, but how they interact with these complexes is not always clear. Here, we show that during ADP‐heptose signalling, TRAF2 binding to TIFA requires two short sequence motifs in the C‐terminal tail of TIFA, which are distinct from the TRAF6 binding motif.
Tom Snelling, Kodi Hunter, Celest W. S. Tay, Nicola T. Wood, Philip Cohen   +4 more
wiley   +1 more source

Simplification Method for Contradiction Separation Clause in First-order Logic AutomatedTheorem Prover CSE [PDF]

Jisuanji kexue
First-order logic automated theorem proving has the capacity to resolve a multitude of practical problems after formalization,and thus holds considerable practical value.As an advancement in automated theorem proving,contradiction separation deduction ...
WU Xin, CHEN Shuwei, JIANG Shipan
doaj   +1 more source

Data Assimilative Optimization of WSA Source Surface and Interface Radii using Particle Filtering

Space Weather, 2020
The Wang‐Sheeley‐Arge (WSA) model estimates solar wind speed and interplanetary magnetic field polarity in the inner heliosphere using global photospheric magnetic field maps.
Grant David Meadors, Shaela I. Jones, Kyle S. Hickmann, Charles N. Arge, Humberto C. Godinez‐Vasquez, Carl J. Henney   +5 more
doaj   +1 more source

Verification (5 decades) [PDF]

, 2009
Verification (5 decades) is a series of 5 short performances in the foyer space at Back Hill, London. They took place on the following dates in 2009: 14th January, 4th February, 18th February, 4th March, 18th March.
Spencer, Michael
core  

The epithelial barrier theory proposes a comprehensive explanation for the origins of allergic and other chronic noncommunicable diseases

FEBS Letters, EarlyView.
Exposure to common noxious agents (1), including allergens, pollutants, and micro‐nanoplastics, can cause epithelial barrier damage (2) in our body's protective linings. This may trigger an immune response to our microbiome (3). The epithelial barrier theory explains how this process can lead to chronic noncommunicable diseases (4) affecting organs ...
Can Zeyneloglu, Huseyn Babayev, Ismail Ogulur, Sena Ardicli, Yagiz Pat, Duygu Yazici, Bingjie Zhao, Lihong Chang, Xiaoqing Liu, Paolo D'Avino, Manru Li, Ceren Biçer, Fatma Hacer Kurtoğlu Babayev, Raja Dhir, Kari C. Nadeau, Marie‐Charlotte Brüggen, Mubeccel Akdis, Cezmi A. Akdis   +17 more
wiley   +1 more source

Goodbye flat lymphoma biology

FEBS Letters, EarlyView.
Three‐dimensional (3D) biological systems have become key tools in lymphoma research, offering reliable in vitro and ex vivo platforms to explore pathogenesis and support precision medicine. This review highlights current 3D non‐Hodgkin lymphoma models, detailing their features, advantages, and limitations, and provides a broad perspective on future ...
Carla Faria, Cèlia Dobaño‐López, Patricia Pérez‐Galán, Christine Bezombes   +3 more
wiley   +1 more source