Results 101 to 110 of about 1,764,289 (298)

Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

, 2012
There is a hidden intrigue in the title. CT is one of the most abstract mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a recent trend in software development, industrially supported by standards, tools, and the status of a new "
Antkiewicz, Batory, Bernstein, Bohannon, Boronat, Czarnecki, Diskin, Diskin, Diskin, Diskin, Diskin, Diskin, Diskin, Diskin, Diskin, Diskin, Diskin, Diskin, Diskin, Ehrig, Fiadeiro, Fiadeiro, Fiadeiro, Fiadeiro, Foster, Goguen, Hermann, Hofmann, Johnson, Johnson, Johnson, Johnson, José Fiadeiro, Jurack, Liang, Makkai, Matsuda, Pottinger, Rossini, Rossini, Rutle, Rutle, Selic, Shaw, Spaccapietra, Stevens, Thomas Soboll, Tom Maibaum, Ulrike Golas, Xiong, Zinovy Diskin   +50 more
core   +3 more sources

Epigenetic blind spots – the role of DNA methylation dynamics in stem cell‐based models of embryogenesis

FEBS Letters, EarlyView.
Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil, Anna Corrà, Annalisa Scapolatiello, Chengxiang Qiu, Gianluca Amadei   +4 more
wiley   +1 more source

Towards a Domain Specific Language for a Scene Graph based Robotic World Model [PDF]

, 2014
Robot world model representations are a vital part of robotic applications. However, there is no support for such representations in model-driven engineering tool chains.
Blumenthal, Sebastian, Bruyninckx, Herman   +1 more
core  

pH‐mediated activation of the lysosomal arginine sensor SLC38A9

FEBS Letters, EarlyView.
Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley   +1 more source

Model-Driven Engineering Techniques and Tools for Machine Learning-Enabled IoT Applications: A Scoping Review. [PDF]

Sensors (Basel), 2023
Mardani Korani Z, Moin A, Rodrigues da Silva A, Ferreira JC.   +3 more
europepmc   +1 more source

Residual tail twisting in ascidian larvae is stabilized by asymmetric myofibrils that resist bilateral symmetry restoration

FEBS Letters, EarlyView.
Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure, Misaki K. Nishio, Satoru Okuda, Kohji Hotta   +3 more
wiley   +1 more source

Degradation mechanism of the von Willebrand factor A2 domain by nattokinase

FEBS Letters, EarlyView.
Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto, Masatomo So, Ayako Furukawa, Kenji Sugase   +3 more
wiley   +1 more source

Distributed embedded control systems design with verification support

Моделирование и анализ информационных систем, 2010
We consider a problem of integrating a formal method of verification (model checking) into the process of designing complex distributed software systems to improve the quality of software. We use an approach based on the Model-Driven Engineering.
I. V. Shoshmina
doaj  

Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions. [PDF]

J Softw (Malden), 2023
Mashkoor A, Egyed A, Wille R, Stock S.
europepmc   +1 more source

Mapping customer needs to engineering characteristics: an aerospace perspective for conceptual design

, 2014
Designing complex engineering systems, such as an aircraft or an aero-engine, is immensely challenging. Formal Systems Engineering (SE) practices are widely used in the aerospace industry throughout the overall design process to minimise the overall ...
Bertoni, M., Eres, M.H., Kossmann, M., Scanlan, J.P.   +3 more
core   +3 more sources