Results 61 to 70 of about 1,494,052 (317)
Formalization of Methods in Criminalistics
Law and Safety, 2019 Scientific works on formalization of methods in criminalistics have been analyzed in the article. Despite the importance and relevance of these issues, it has been established that there is a number of unresolved issues in the theory of forensic science, as well as in investigative and judicial practice regarding the possibilities of formalizing ...
openaire +3 more sources
Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences
Information, 2020 The Android platform is currently targeted by malicious writers, continuously focused on the development of new types of attacks to extract sensitive and private information from our mobile devices.
Rosangela Casolare +3 more
doaj +1 more source
Formal modeling of multi-viewpoint ontology alignment by mappings composition
Acta Universitatis Sapientiae: Informatica, 2023 We propose a formal approach based on Bigraphical Reactive Systems (BRS) to provide a formal modeling of multi-viewpoint ontology alignment by composition systems’ structure using bigraphs their dynamic behaviors using bigraphical reaction rules.
Kolli Manel
doaj +1 more source
TRPM8 levels determine tumor vulnerability to channel agonists
Molecular Oncology, EarlyView.TRPM8 is a Ca2+ permissive channel. Regardless of the amount of its transcript, high levels of TRPM8 protein mark different tumors, including prostate, breast, colorectal, and lung carcinomas. Targeting TRPM8 with channel agonists stimulates inward calcium currents followed by emptying of cytosolic Ca2+ stores in cancer cells.
Alessandro Alaimo +18 more
wiley +1 more source
Molecular Oncology, EarlyView.In patients treated with atezolizumab as a part of the MyPathway (NCT02091141) trial, pre‐treatment ctDNA tumor fraction at high levels was associated with poor outcomes (radiographic response, progression‐free survival, and overall survival) but better sensitivity for blood tumor mutational burden (bTMB).
Charles Swanton +17 more
wiley +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
Computer Games as Virtual Environments for Safety-Critical Software Validation
Journal of Information and Organizational Sciences, 2017 Computer games became an inseparable part of everyday life in modern society and the time people spend playing them every day is increasing. This trend caused a noticeable research activity focused on utilizing the time spent playing in a meaningful way,
Štefan Korečko, Branislav Sobota
doaj +1 more source
Molecular Oncology, EarlyView.Trastuzumab‐deruxtecan, a HER2‐targeting antibody‐drug conjugate, shows promising antitumor activity in head and neck squamous cell carcinoma with low HER2 expression. In vitro and in vivo studies demonstrated dose‐dependent cell death and tumor growth reduction in low HER2‐expressing cell lines, which correlated with drug accumulation measured using a
Abdullah Bin Naveed +8 more
wiley +1 more source
EMT‐associated bias in the Parsortix® system observed with pancreatic cancer cell lines
Molecular Oncology, EarlyView.The Parsortix® system was tested for CTC enrichment using pancreatic cancer cell lines with different EMT phenotypes. Spike‐in experiments showed lower recovery of mesenchymal‐like cells. This was confirmed with an EMT‐inducible breast cancer cell line.
Nele Vandenbussche +8 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