Results 81 to 90 of about 4,235,689 (341)
Сравнительная политика, 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 transport systems
International Journal on Software Tools for Technology Transfer, 2018 Formal methods and verification tools have been in use in the engineering of safety-critical transport systems for well over 30 years. In both the railway and the avionics domain, for instance, formal methods are specifically recommended in current international certification standards for ultra-dependable systems and for products at the highest ...
ter Beek MH, Gnesi S, Knapp A
openaire +3 more sources
Bridging the gap: Multi‐stakeholder perspectives of molecular diagnostics in oncology
Molecular Oncology, EarlyView.Although molecular diagnostics is transforming cancer care, implementing novel technologies remains challenging. This study identifies unmet needs and technology requirements through a two‐step stakeholder involvement. Liquid biopsies for monitoring applications and predictive biomarker testing emerge as key unmet needs. Technology requirements vary by
Jorine Arnouts +8 more
wiley +1 more source
Frontiers in Computational Neuroscience, 2013 Fear conditioning, in which a cue is conditioned to elicit a fear response, and extinction, in which a previously conditioned cue no longer elicits a fear response, depend on neural plasticity occurring within the amygdala.
Thomas eAnastasio
doaj +1 more source
Molecular Oncology, EarlyView.A‐to‐I editing of miRNAs, particularly miR‐200b‐3p, contributes to HGSOC progression by enhancing cancer cell proliferation, migration and 3D growth. The edited form is linked to poorer patient survival and the identification of novel molecular targets.
Magdalena Niemira +14 more
wiley +1 more source
Molecular Oncology, EarlyView.This study indicates that Merkel cell carcinoma (MCC) does not originate from Merkel cells, and identifies gene, protein & cellular expression of immune‐linked and neuroendocrine markers in primary and metastatic Merkel cell carcinoma (MCC) tumor samples, linked to Merkel cell polyomavirus (MCPyV) status, with enrichment of B‐cell and other immune cell
Richie Jeremian +10 more
wiley +1 more source
A method for the approximation of functions defined by formal series expansions in orthogonal polynomials [PDF]
, 1969 Jonas T. Holdeman
openalex +2 more sources
Frontiers in Pharmacology, 2013 According to the amyloid hypothesis, Alzheimer Disease results from the accumulation beyond normative levels of the peptide amyloid-β (Aβ). Perhaps because of its pathological potential, Aβ and the enzymes that produce it are heavily regulated by the ...
Thomas J. Anastasio
doaj +1 more source
From Temporal Models to Property-Based Testing
, 2017 This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of ...
Alzahrani, Nasser +2 more
core +1 more source
Molecular Oncology, EarlyView.This real‐world study of ROS1+ NSCLC highlights fusion diversity, treatment outcomes with crizotinib and lorlatinib, and in vitro experiments with resistance mechanisms. G2032R drives strong resistance to ROS1‐targeted TKIs, especially lorlatinib. Fusion partner location does not affect overall survival to crizotinib or lorlatinib. Findings support the
Fenneke Zwierenga +8 more
wiley +1 more source