Results 41 to 50 of about 1,135,516 (291)
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 +9 more
wiley +1 more source
A Formal Model of Requirements [PDF]
The Open Transportation Journal, 2011 This paper introduces a methodology to analyze the safety of timed discrete event systems. Our case-study is the level crossing, a critical component for the safety of railway systems. First, our goal is to take out the forbidden state highlighted by a p-time Petri net modelling.
Defossez, François +2 more
openaire +2 more sources
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 +4 more
wiley +1 more source
A Formal Modeling Framework for Time-Aware Cyber–Physical Systems of Systems
SystemsCyber–Physical Systems of Systems (CPSoS) integrate autonomous constituent systems to accomplish complex missions. Nonetheless, decentralized coordination and continuous evolution create intricate dependencies that make behavior difficult to analyze ...
Riad Helal +3 more
doaj +1 more source
Miki: a wiki for synchronous modeling of software requirements [PDF]
, 2011 Eliciting a high quality requirements model that can be traced down to implementations is a challenge. Keeping models updated for evolving software systems is a further challenge.
Petre, Marian +2 more
core
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 +5 more
wiley +1 more source
Method for solving quantifier linear equations based on the algebra of linear predicate operations
Радіоелектронні і комп'ютерні системиThe subject involves structured approaches that extend the existing set of mathematical tools for processing complex relationships within databases and computational systems.
Zoya Dudar, Volodymyr Liashyk
doaj +1 more source
IEEE Access, 2022 Formal modeling and verification of a concurrent system is an essential means to ensure the security and reliability of the system. However, at present, there is no single formal method that can fully meet the modeling and verification requirements of ...
Lei Rao, Shaoying Liu, Han Peng
doaj +1 more source
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 +8 more
wiley +1 more source
Towards a Process Calculus for Rest: Current State of the Art
Foundations of Computing and Decision Sciences, 2015 SOA is a popular paradigm for building distributed systems that has gained a great recognition over past years. There are two main approaches to implementing SOA: SOAP-based and RESTful Web services.
Dwornikowski Dariusz +2 more
doaj +1 more source