Results 71 to 80 of about 14,914,060 (244)
Моделирование и анализ информационных систем, 2019 For many years, automotive embedded systems have been validated only by testing. In the near future, Advanced Driver Assistance Systems (ADAS) will take a greater part in the car’s software design and development.
Vassil Todorov +3 more
doaj +1 more source
Golgi enzymes are retrieved from the plasma membrane to the trans‐Golgi network
FEBS Letters, EarlyView.Golgi enzymes are traditionally considered resident proteins retained within the Golgi apparatus. Here, we demonstrate that a subset transiently reaches the cell surface and is subsequently retrieved to the trans‐Golgi network via retrograde transport. Using a nanobody‐based toolkit, we uncover a dynamic trafficking cycle of several Golgi enzymes.
Dominik P. Buser, Tina Junne
wiley +1 more source
From ODP Viewpoint Consistency to Integrated Formal Methods [PDF]
, 2013 Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods; research in those areas is still ongoing, while the answers provided ...
Derrick, John, Boiten, Eerke Albert
core +1 more source
Сравнительная политика, 2015 The article is devoted to the peculiarities of the formal research methods in political science and the use of such methods in Russian comparative political and international studies, in particular at MGIMO-University.
Ivan Nikolaevich Timofeyev
doaj +1 more source
Leucine‐rich glioma inactivated 1 (LGI1) is a ganglioside‐binding protein
FEBS Letters, EarlyView.Neuronal hyperexcitability associated with a decrease/absence of the extracellular protein LGI1 has been suggested to be primarily due to the downregulation of Kv1 channel expression. The molecular mechanisms underlying this decrease have not yet been elucidated.
Kévin Debreux +7 more
wiley +1 more source
Decision Support Within Digital Twins in Manufacturing Ecosystems: A Review
IET Collaborative Intelligent ManufacturingThe dynamic nature of manufacturing and evolving customer demands require agile adaptation within Manufacturing Ecosystems—interconnected networks of enterprises and institutions collaborating to develop market—oriented solutions.
Lucía Gálvez del Postigo Gallego +3 more
doaj +1 more source
Membrane composition and thermodynamic identity as boundaries of life for synthetic cell research
FEBS Letters, EarlyView.What makes a cell a cell? The boundary of a living cell is not just a wall. Read as a Markov blanket, the membrane separates internal from external states, generating identity and non‐equilibrium order. Can this identity be rebuilt from scratch in a synthetic cell?
Caterina Presutti, Bert Poolman
wiley +1 more source
Molecular Oncology, EarlyView.Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla +9 more
wiley +1 more source
Towards Realising FollowMe User Profiles for Macro-Intelligent Environments
Computers, 2013 In this paper, we introduce the concept of a Large-Scale Intelligent Environment (LSIE) and provide an introduction to the use of bigraphs as a formal method for description and modelling.
Luke Whittington +3 more
doaj +1 more source
KDM7A and KDM1A inhibition suppresses tumour promoting pathways in prostate cancer
Molecular Oncology, EarlyView.Treatment resistance is a major challenge for patients with advanced prostate cancer. This study examined an alternative approach to target the major prostate cancer‐promoting pathway by targeting epigenetic factors, whose levels are higher in tumours.
Jennie N Jeyapalan +16 more
wiley +1 more source