Results 61 to 70 of about 4,235,689 (341)
FORTEST: Formal methods and testing [PDF]
, 2002 Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well.
Bogdanov, K +5 more
core +1 more source
Molecular Oncology, EarlyView.B‐cell chronic lymphocytic leukemia (B‐CLL) and monoclonal B‐cell lymphocytosis (MBL) show altered proteomes and phosphoproteomes, analyzed using mass spectrometry, protein microarrays, and western blotting. Identifying 2970 proteins and 316 phosphoproteins, including 55 novel phosphopeptides, we reveal BCR and NF‐kβ/STAT3 signaling in disease ...
Paula Díez +17 more
wiley +1 more source
A Formal and Quantifiable Log Analysis Framework for Test Driving of Autonomous Vehicles
Sensors, 2020 We propose a log analysis framework for test driving of autonomous vehicles. The log of a vehicle is a fundamental source to detect and analyze events during driving.
Kyungbok Sung +3 more
doaj +1 more source
An Infinitesimal $p$-adic Multiplicative Manin-Mumford Conjecture [PDF]
, 2018 Our results concern analytic functions on the open unit $p$-adic poly-disc in $\mathbb{C}^n_p$ centered at the multiplicative unit and we prove that such functions only vanish at finitely many $n$-tuples of roots of unity $(\zeta_1-1,\ldots,\zeta_n-1 ...
Serban, Vlad
core +3 more sources
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
On the Impact of Formal Methods in the SOA
Electronic Notes in Theoretical Computer Science, 2006 AbstractWe present an overview of recent research that provide a formal analysis of coordination and composition in Service Oriented Architectures. In particular we focus on transactional support in the Web Service Architecture. The classic notion of transaction in database systems evolved into weaker forms, in order to adapt to multi-domain, loosely ...
BOCCHI, LAURA, CIANCARINI, PAOLO
openaire +3 more sources
Applying Formal Methods to Networking: Theory, Techniques and Applications [PDF]
, 2013 Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today.
Hasan, Osman, Qadir, Junaid
core +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
What makes industries believe in formal methods [PDF]
, 1993 The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture ...
Ferreira Pires, Luis +2 more
core +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