Results 71 to 80 of about 5,243 (226)
Implementation of cooperative interaction of automaton objects
Научно-технический вестник информационных технологий, механики и оптикиThis paper addresses the issues related to the implementation of the interaction of automaton objects formalized using specialized state transition graphs.
F. A. Novikov +3 more
doaj +1 more source
Impacts of Change‐Type and State‐Type System Qualities on Complex System Architectures
Systems Engineering, EarlyView.ABSTRACT System qualities, such as scalability, expandability, and reconfigurability, are key requirements of complex systems. Requirements associated with system qualities are important factors in design trade space analyses, but systems engineering design methodologies make only limited use of these qualities, hindering a holistic understanding of ...
Christina F. Bridges +1 more
wiley +1 more source
A Model Based Systems Engineering Framework for Digital Twins in Medical Device Innovation
Systems Engineering, EarlyView.ABSTRACT Medical device development remains constrained by development processes centered largely in the physical domain. These methods limited early understanding of system behavior and prolonged timelines relative to other innovation pathways. Such limitations increase prototype cycle duration and the number of iterations required to resolve design ...
Tanguy René Pinol +3 more
wiley +1 more source
British Journal of Pharmacology, EarlyView.Background and Purpose Cyclic guanosine monophosphate (cGMP) is a ubiquitous second messenger involved in human (patho‐)physiology. Phosphodiesterase 5 (PDE5) is a major cGMP hydrolyzing enzyme in many cell types including vascular smooth muscle cells (VSMCs). Several highly selective PDE5 inhibitors are in clinical use. However, there are currently no
Kürsat Kirkgöz +8 more
wiley +1 more source
UML-Checker: An Approach for Verifying UML Behavioral Diagrams
Journal of Software, 2014 UML is a visual modeling language used for specifying, visualizing, constructing, and documenting software artifacts. Despite having many features to model systems, conducting verifications and validations on UML models is not an easy task. In this paper, the problem of performing verification of UML models is discussed through a translation of UML ...
Flávio Fernandes, Mark A. J. Song
openaire +1 more source
British Journal of Pharmacology, EarlyView.Background and Purpose Aldosterone plays a key role in blood pressure and volume regulation. Enhanced aldosterone secretion contributes to cardiovascular and renal diseases. Therefore, inhibitors of aldosterone receptors and synthase are essential drugs for the treatment of hypertension and heart failure.
Sanika Mohagaonkar +6 more
wiley +1 more source
British Journal of Pharmacology, EarlyView.Background and Purpose Aspergillus fumigatus (A. fumigatus) exposure causes of severe allergic asthma, characterized by airway inflammation and epithelial dysfunction. TMBIM6 (Bax inhibitor‐1) has been implicated in airway epithelial stress responses and AKT signalling.
Young‐Jin Yu +7 more
wiley +1 more source
British Journal of Pharmacology, EarlyView.Background and Purpose Oxidative stress plays a critical role in the pathophysiology of various diseases, yet current methods for its non‐invasive detection remain limited. This study aimed to systematically validate a superoxide‐selective PET tracer, [18F]FPBT, for the early diagnosis and therapeutic monitoring of oxidative stress‐related conditions ...
Hua Zhang +10 more
wiley +1 more source
Model evolution and system evolution
Journal of Computer Science and Technology, 2000 In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional ...
Claudia Pons +2 more
doaj