Results 151 to 160 of about 28,849,268 (332)

An Empirical Study on the Correctness of Formally Verified Distributed Systems

open access: yesEuropean Conference on Computer Systems, 2017
Pedro Fonseca   +3 more
semanticscholar   +1 more source

Screening for lung cancer: A systematic review of overdiagnosis and its implications

open access: yesMolecular Oncology, EarlyView.
Low‐dose computed tomography (CT) screening for lung cancer may increase overdiagnosis compared to no screening, though the risk is likely low versus chest X‐ray. Our review of 8 trials (84 660 participants) shows added costs. Further research with strict adherence to modern nodule management strategies may help determine the extent to which ...
Fiorella Karina Fernández‐Sáenz   +12 more
wiley   +1 more source

Model-Reference Adaptive Control of Distributed Lagrangian Infinite-Dimensional Systems Using Hamiltons Principle [PDF]

open access: yes
This paper presents a Hamilton's principle for distributed control of infinite-dimensional systems modeled by a distributed form of the Euler-Lagrange method.
Arabi, Ehsan   +3 more
core   +1 more source

Glycosylated LGALS3BP is highly secreted by bladder cancer cells and represents a novel urinary disease biomarker

open access: yesMolecular Oncology, EarlyView.
Urinary LGALS3BP is elevated in bladder cancer patients compared to healthy controls as detected by the 1959 antibody–based ELISA. The antibody shows enhanced reactivity to the high‐mannose glycosylated variant secreted by cancer cells treated with kifunensine (KIF).
Asia Pece   +18 more
wiley   +1 more source

A parallel computer system using distributed associative processing [PDF]

open access: gold, 1989
Colin D. Walter   +5 more
openalex   +1 more source

Survivin and Aurora Kinase A control cell fate decisions during mitosis

open access: yesMolecular Oncology, EarlyView.
Aurora A interacts with survivin during mitosis and regulates its centromeric role. Loss of Aurora A activity mislocalises survivin, the CPC and BubR1, leading to disruption of the spindle checkpoint and triggering premature mitotic exit, which we refer to as ‘mitotic slippage’.
Hana Abdelkabir   +2 more
wiley   +1 more source

TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems

open access: yesInternational Conference on Architectural Support for Programming Languages and Operating Systems, 2016
Tanakorn Leesatapornwongsa   +3 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy