Results 71 to 80 of about 1,932,015 (306)
Моделирование и анализ информационных систем, 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.Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova +14 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
Formal methods for future interoperability [PDF]
ACM SIGCSE Bulletin, 2009 Interoperability is a key challenge in software engineering, whether expressed in terms of the compatibility of different systems and protocols, in terms of compliance to industry standards, or--increasingly--in terms of the ability to share and re-use data gathered in different contexts.
Jim Davies, Jeremy Gibbons
openaire +3 more sources
CCDC80 suppresses high‐grade serous ovarian cancer migration via negative regulation of B7‐H3
Molecular Oncology, EarlyView.PAX8 is a lineage‐specific master regulator of transcription in high‐grade serous ovarian cancer (HGSC) progression. We show for the first time that PAX8 facilitates proliferation and metastasis by repressing the cell autonomous tumor suppressor CCDC80 and inducing B7‐H3 expression.
Aya Saleh +12 more
wiley +1 more source
Formal Methods and Software Engineering
, 2020 The International Conference on Formal Engineering Methods (ICFEM) gathers researchers and practitioners interested in the recent development in the use and development of formal engineering methods for software and system development.
Lin, Shang-Wei +2 more
core +1 more source
Logic as a Formal Method [PDF]
The Computer Journal, 1992 The aim of this article is to present, in outline, a representative selection of the ways in which formal logic has been of service to computer science. Logic offers so many possibilities of application, and there are so many diverse groups of researchers developing logic-based applications, that it will be impossible in the space available to do ...
openaire +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
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
Formal Methods: From Academia to Industrial Practice: A Travel Guide
, 2020 For many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief and many individual success stories, no real change in industrial ...
Malkis, Alexander +2 more
core