Results 121 to 130 of about 25,005,250 (309)

Design and Formal Analysis of an Authentication Protocol, eWMDP on Wearable Devices

IEEE Access, 2019
For wearable devices, this paper proposes an authentication protocol eWMDP. We formally model and analyze it. In the execution model of the protocol, a Dolev-Yao adversary is constituted.
Bo Lu, Ruohan Cao, Yueming Lu, Xueting Luo   +3 more
doaj   +1 more source

Flow Enabled Target Capture Halbach‐based magnetic enrichment increases circulating tumor cell capture from blood in metastatic cancer patients

Molecular Oncology, EarlyView.
Pair‐wise comparison of the CellSearch and FETCH enrichment technologies for circulating tumor cells (CTCs) from metastatic breast, prostate, and small cell lung cancer patients shows an increased capture of CTCs using FETCH enrichment. The clinical implementation of circulating tumor cells (CTCs) as a predictive tool for therapy efficacy in the ...
Michiel Stevens, Anouk Mentink, Tom Niessink, Frank Coumans, Leonie Mekenkamp, Ruchi Bansal, Jeroen Hiltermann   +6 more
wiley   +1 more source

Can we trust the standardized mortality ratio? A formal analysis and evaluation based on axiomatic requirements. [PDF]

PLoS One, 2021
Roessler M, Schmitt J, Schoffer O.
europepmc   +1 more source

Inhibition of cyclin‐dependent kinases 12/13 using CT7439 as a treatment for colorectal cancer with CDK12 upregulation

Molecular Oncology, EarlyView.
The proposed mechanism of action for the CDK12/13 inhibitor and cyclin K degrader, CT7439. CDK12/13 inhibition interrupts transcription elongation, leading to increased DNA damage that results in cell death. This agent is a potentially novel treatment option for patients with colorectal cancer. Created in BioRender. Cyclin‐dependent kinase (CDK) 12 and
Wylie K. Watlington, Divya L. Dayanidhi, Mohammad Zokaasadi, John B. Mantyh, Pelumi D. Olawuni, Gabrielle Rupprecht, Jeremy M. Force, Shannon McCall, Ashwani K. Bahl, David S. Hsu, Jason A. Somarelli   +10 more
wiley   +1 more source

Automatic generation of hardware checkers from formal micro-architectural specifications

, 2018
To manage design complexity, high-level models are used to evaluate the functionality and performance of design solutions. There is a significant gap between these high-level models and the Register Transfer Level (RTL) implementations actually produced ...
Julien Schmaltz, Schmaltz, Julien, Fedotov, Alexander, Alexander Fedotov   +3 more
core   +1 more source

Circulating microRNA signatures of cachexia and cancer in Canis familiaris as a comparative oncology model for human disease

Molecular Oncology, EarlyView.
Circulating microRNAs as biomarkers of cachexia and sex‐specific cancer in senior dogs. In 25 client‐owned dogs, four circulating miRNAs (miR‐15a, miR‐15b, miR‐16, miR‐140) were downregulated in cachexia, with miR‐16 the strongest individual biomarker (AUC = 0.899).
Soon‐Seok Park, Kyongman An, Gyeonghwa Kim, Soo‐Nyun Choi, Hong‐Ki Lee, Keun Hur, Kyu‐Shik Jeong   +6 more
wiley   +1 more source

Extensions of SystemC^FL for mixed-signal systems and formal verification [PDF]

, 2004
The formal language SystemC^FL is the formalization of SystemC. The language semantics of SystemC^FL was formally defined in a standard structured operational semantics (SOS) style. In this paper, we first provide an overview of the current status of the
Man, K.L.
core   +1 more source

CEACAM1 participation in breast cancer progression

Molecular Oncology, EarlyView.
In invasive breast cancer (BC), CEACAM1 shifts from an apical to a uniform membranous/cytoplasmic pattern, or is lost, as tumors dedifferentiate, inversely tracking the Ki‐67 proliferative index. In MCF‐7 cells, only CEACAM1‐4L suppresses proliferation, repressing cell cycle and growth factor genes.
Mykola Lyndin, Irina Kube‐Golovin, Anatolii Romaniuk, Gunther Wennemuth   +3 more
wiley   +1 more source

SPLat 2014 : First International Workshop on Software Product Line Analysis Tools

, 2014
The SPLat 2014 workshop aims to provide a platform for the presentation and positioning of formal analysis tools as used in Software Product Line Engineering for the identification of commonalities and differences of these tools as well as for the ...
Erik de Vink, Legay, A., Vink, de, E.P., Axel Legay   +3 more
core   +1 more source

A Formal Analysis of the Bitcoin Protocol.

, 2020
We study Nakamoto's Bitcoin protocol that implements a distributed ledger on peer-to-peer asynchronous networks. In particular, we define a principled formal model of key participants-the miners-as stochastic processes and describe the whole system as a parallel composition of miners.
Adele Veschetti, Cosimo Laneve
openaire   +5 more sources