Results 41 to 50 of about 1,494,052 (317)
FEBS Letters, EarlyView.The enzyme 5‐lipoxygenase (5‐LOX) catalyzes the first step in the biosynthesis of leukotrienes (LTs) involved in inflammatory pathophysiology. After cellular stimulation, 5‐LOX translocates to the nucleus, interacting with the 5‐LOX‐activating protein (FLAP) to form LTA4 from arachidonic acid (AA).
Erik Romp +5 more
wiley +1 more source
Formal Methods for Functional Verification [PDF]
, 2003 Formal hardware verification ranges from proving that two combinational circuits compute the same functions to the much more ambitious task of proving that a sequential circuit obeys some abstract property expressed in temporal logic. In tracing the history of work in this area, we find a few efforts in the 1970s and 1980s, with a big increase in ...
Randal E. Bryant, James H. Kukula
openaire +2 more sources
Data Warehouse Hybrid Modeling Methodology
Data Science Journal, 2020 The classic conceptual modeling around business processes followed by the ‘bus matrix’ methodology of designing the data cubes of data warehouses (Kimball & Ross 2013). For a serious system, such a quantity of management questions and dimensions, the bus
Viktor László Takács +4 more
doaj +1 more source
Disruption of SETD3‐mediated histidine‐73 methylation by the BWCFF‐associated β‐actin G74S mutation
FEBS Letters, EarlyView.The β‐actin G74S mutation causes altered interaction of actin with SETD3, reducing histidine‐73 methylation efficiency and forming two distinct actin variants. The variable ratio of these variants across cell types and developmental stages contributes to tissue‐specific phenotypical changes. This imbalance may impair actin dynamics and mechanosensitive
Anja Marquardt +8 more
wiley +1 more source
VerificationTalk: A Verification and Security Mechanism for IoT Applications
Sensors, 2021 An Internet of Things (IoT) application typically involves implementations in both the device domain and the network domain. In this two-domain environment, it is possible that application developers implement the wrong network functions and/or connect ...
Min-Zheng Shieh +2 more
doaj +1 more source
FEBS Letters, EarlyView.In the adult T‐cell leukemia/lymphoma (ATL) cell line ED, the human T‐cell leukemia virus type 1 (HTLV‐1) provirus was integrated into the intron of the ift81 gene in the antisense orientation. Despite this integration, both the intact ift81 and the viral oncogene hbz were simultaneously expressed, likely due to the functional insufficiency of viral ...
Mayuko Yagi +5 more
wiley +1 more source
On the Impact of Formal Methods in the SOA
Electronic Notes in Theoretical Computer Science, 2006 AbstractWe present an overview of recent research that provide a formal analysis of coordination and composition in Service Oriented Architectures. In particular we focus on transactional support in the Web Service Architecture. The classic notion of transaction in database systems evolved into weaker forms, in order to adapt to multi-domain, loosely ...
BOCCHI, LAURA, CIANCARINI, PAOLO
openaire +4 more sources
The Age-of-Information Distribution in Slotted ALOHA
IEEE AccessAge-of-Information (AoI) is a new performance metric for critical networked cyber-physical systems (CPS), where performance depends on how quickly fresh data is received in update packets.
Dieter Fiems, Alexey Vinel
doaj +1 more source
Neutrophil deficiency increases T cell numbers at the site of tissue injury in mice
FEBS Letters, EarlyView.In wild‐type mice, injury or acute inflammation induces neutrophil influx followed by macrophage accumulation. Mcl1ΔMyelo (neutrophil‐deficient) mice lack neutrophils, and in response to muscle injury show fewer macrophages and exhibit strikingly elevated T‐cell numbers, primarily non‐conventional “double‐negative” (DN) αβ and γδ T cells.
Hajnalka Halász +6 more
wiley +1 more source
Molecular Oncology, EarlyView.TOMM20 increases cancer aggressiveness by maintaining a reduced state with increased NADH and NADPH levels, oxidative phosphorylation (OXPHOS), and apoptosis resistance while reducing reactive oxygen species (ROS) levels. Conversely, CRISPR‐Cas9 knockdown of TOMM20 alters these cancer‐aggressive traits.
Ranakul Islam +9 more
wiley +1 more source