Results 71 to 80 of about 34,882,646 (291)
Моделирование и анализ информационных систем, 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
Molecular Oncology, EarlyView.Detection of extrachromosomal circular DNA (eccDNA) in plasma samples from EGFR‐mutated non‐small cell lung cancer patients. Plasma was collected before and during treatment with the EGFR‐tyrosine kinase inhibitor osimertinib. Plasma eccDNA was detected in all cancer samples, and the presence of the EGFR gene on eccDNA serves as a potential biomarker ...
Simone Stensgaard +5 more
wiley +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
Evaluating the suitability of state‐based formal methods for industrial deployment
Software, Practice & Experience, 2018 After a number of success stories in safety‐critical domains, we are starting to witness applications of formal methods in contemporary systems and software engineering.
A. Mashkoor +2 more
semanticscholar +1 more source
Cytoplasmic p21 promotes stemness of colon cancer cells via activation of the NFκB pathway
Molecular Oncology, EarlyView.Cytoplasmic p21 promotes colorectal cancer stem cell (CSC) features by destabilizing the NFκB–IκB complex, activating NFκB signaling, and upregulating BCL‐xL and COX2. In contrast to nuclear p21, cytoplasmic p21 enhances spheroid formation and stemness transcription factor CD133.
Arnatchai Maiuthed +10 more
wiley +1 more source
Molecular Oncology, EarlyView.Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 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
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions
IEEE Access, 2020 Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates.
Fujun Wang +3 more
doaj +1 more source
Next‐generation proteomics improves lung cancer risk prediction
Molecular Oncology, EarlyView.This is one of very few studies that used prediagnostic blood samples from participants of two large population‐based cohorts. We identified, evaluated, and validated an innovative protein marker model that outperformed an established risk prediction model and criteria employed by low‐dose computed tomography in lung cancer screening trials.
Megha Bhardwaj +4 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