Results 81 to 90 of about 193,599 (260)
Refining Nodes and Edges of State Machines [PDF]
, 2011 State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement.
A. Kaldewaij +13 more
core +1 more source
FEBS Open Bio, EarlyView.CDT1 is an essential protein for DNA replication licensing that loads the MCM complex, the eukaryotic replicative DNA helicase, onto replication origins. Overexpression of CDT1 induces cell cycle arrest at the S phase. Here we showed CDT1 inhibits the progression of replication forks by interacting with the MCM complex, leading to the stalling and ...
Takashi Tsuyama +7 more
wiley +1 more source
Methodology Used to Create System Architecture for its in Slovakia
Advances in Electrical and Electronic Engineering, 2004 The paper deals with an object oriented approach proposed by the authors for creation of the ITS system architecture in the Slovak Republic and shows how a reference architecture can be created as s base for future more detailed architectures (models ...
Ales Janota, Jiri Zahradnik
doaj
APLIKASI SYSTEM MANAGEMENT TASK DAN PENILAIAN KERJA (KPI) PADA PT INTISOFT MITRA SEJAHTERA
Ilkom Jurnal Ilmiah, 2018 The purpose of this study is to create an application that can provide benefits to PT Intisoft Mitra Sejahtera in managing the tickets delivered by the client, arrange program modification policies, and can see the assessment of the performance of ...
Maria Ocktaviani Zega +3 more
doaj +1 more source
Literate modelling: capturing business knowledge with the UML [PDF]
, 2004 At British Airways, we have found during several large OO projects documented using the UML that non-technical end-users, managers and business domain experts find it difficult to understand UML visual models.
Arlow, J, Emmerich, W, Quinn, J
core
FEBS Open Bio, EarlyView.Excess Ca2+ ions activate the Calcium‐Sensing Receptor (CaSR), which subsequently drives the uptake of excess inorganic phosphate (Pi) via the Pi transporter (Pit−1) in chondrocytes. This mechanism causes a toxic increase in intracellular Pi concentration, ultimately leading to chondrocyte apoptosis and pathological mineralization. Excess extracellular
Sachie Nakatani +7 more
wiley +1 more source
ATP13A2 is involved in intracellular polyamine transport in lung epithelial cells
FEBS Open Bio, EarlyView.Spermidine transport in lung epithelial cells involves the polyamine transporter ATP13A2. Cell proliferation is associated with the upregulation of ATP13A2. Polyamines are present in all living cells and are implicated in various crucial cellular processes such as proliferation, apoptosis and autophagy.
Yuta Hatori +8 more
wiley +1 more source
Modelling of Signal - Level Crossing System
Advances in Electrical and Electronic Engineering, 2006 The author presents an object-oriented model of a railway level-crossing system created for the purpose of functional requirements specification. Unified Modelling Language (UML), version 1.4, which enables specification, visualisation, construction and ...
Daniel Novak
doaj
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report
, 2014 UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking techniques that could guarantee the system safety.
André, Étienne +2 more
core +2 more sources
FEBS Open Bio, EarlyView.Metformin mediates mitochondrial quality control in Leber's hereditary optic neuropathy (LHON) fibroblasts carrying mtDNA mutations. At therapeutic levels, metformin activates AMPK signaling to restore mitochondrial dynamics by promoting fusion and restraining fission, while preserving mitochondrial mass, enhancing autophagy/mitophagy and biogenesis ...
Chatnapa Panusatid +3 more
wiley +1 more source