Results 51 to 60 of about 591,091 (290)

Transferrin receptor 1‐mediated iron uptake supports thermogenic activation in human cervical‐derived adipocytes

FEBS Letters, EarlyView.
In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai, Mizuki Seo, Gyath Karadsheh, Fachrur Rizal Mahendra, Máté Á Demény, Ferenc Győry, János András Mótyán, László Fésüs, Endre Kristóf, Rini Arianti   +9 more
wiley   +1 more source

Integrating UML With Service Refinement for Requirements Modeling and Analysis

IEEE Access, 2019
The Unified Modeling Language (UML) is the de facto standard for requirements modeling and analysis in the software industry. However, it lacks the ability of formal analysis and verification.
Yilong Yang, Wei Ke, Jing Yang, Xiaoshan Li   +3 more
doaj   +1 more source

Formal Verification of AADL Models by Event-B

IEEE Access, 2020
AADL is widely used to depict the architecture and behavior of real-time safety-critical systems such as avionics and aerospace. The development of these systems has strict requirements for building fault-free systems.
Abeer Saeed Abdo Hadad, Chunyan Ma, Adeeb Abdulwakeel Obadi Ahmed   +2 more
doaj   +1 more source

Coverage Metrics for Formal Verification [PDF]

International Journal on Software Tools for Technology Transfer, 2003
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete the specification is, and whether it really covers all the behaviors of the system.
Hana Chockler, Orna Kupferman, Moshe Vardi   +2 more
openaire   +2 more sources

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

, 2010
This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models.
A. Al-Nayeem, A. Boronat, C. Brooks, C. P. Cheng, E. A. Lee, E. A. Lee, H. Ding, J. E. Rivera, J. Eker, J. Meseguer, K. Bae, K. Bae, Kyungmin Bae, M. AlTurki, M. AlTurki, M. Clavel, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, Peter Csaba Ölveczky, Peter Csaba Ölveczky, S. Edwards, SAE AADL Team, Sz. Gyapay, T. Denton   +25 more
core   +2 more sources

The planar cell polarity protein Vangl2 interacts with the PDZ‐domains of Scribble but not with a unique PDZ‐like domain in Inturned

FEBS Letters, EarlyView.
Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes, Jan Brysch, Carmen Gelze, Lilli Meier, Daniel Kümmel   +4 more
wiley   +1 more source

Structural insights into an engineered feruloyl esterase with improved MHET degrading properties

FEBS Letters, EarlyView.
A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa, Konstantinos Makryniotis, Theofani‐Iosifina Sousani, Evangelos Topakas, Vangelis Daskalakis, Maria Dimarogona   +5 more
wiley   +1 more source

Formal Verification of a MAC Protocol for Underwater Sensor Networks

IEEE Access, 2023
The use of Underwater Sensor Networks (UWSN) for underwater ocean applications such as seismic event detection, target detection, marine resource monitoring, and oil bed monitoring is growing.
N. Suresh Kumar, G. Santhosh Kumar, Shailesh Sivan, A. Sreekumar   +3 more
doaj   +1 more source

The neural crest‐associated gene ERRFI1 is involved in melanoma progression and resistance toward targeted therapy

Molecular Oncology, EarlyView.
ERRFI1, a neural crest (NC)‐associated gene, was upregulated in melanoma and negatively correlated with the expression of melanocytic differentiation markers and the susceptibility of melanoma cells toward BRAF inhibitors (BRAFi). Knocking down ERRFI1 significantly increased the sensitivity of melanoma cells to BRAFi.
Nina Wang, Qian Sun, Daniel Novak, Lei Zhu, Juliane Poelchen, Tamara Steinfass, Yiman Wang, Viktor Umansky, Jochen Utikal   +8 more
wiley   +1 more source

Formal Verification of Linux Kernel Library Functions

Труды Института системного программирования РАН, 2018
The paper presents result of a study on deductive verification of 26 Linux kernel library functions with AstraVer toolset. The code includes primarily string-manipulating functions and is verified against contract specifications formalizing its ...
D. V. Efremov, M. U. Mandrykin
doaj   +1 more source