Unreliable communication in high-performance distributed multi-agent systems: A ingenious scheme in high computing [PDF]
Ali Mustafa +3 more
openalex +1 more source
An Empirical Study on the Correctness of Formally Verified Distributed Systems
Pedro Fonseca +3 more
semanticscholar +1 more source
Screening for lung cancer: A systematic review of overdiagnosis and its implications
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
aether: Distributed system emulation in Common Lisp [PDF]
Eric Peterson, Peter J. Karalekas
openalex +1 more source
Model-Reference Adaptive Control of Distributed Lagrangian Infinite-Dimensional Systems Using Hamiltons Principle [PDF]
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
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]
Colin D. Walter +5 more
openalex +1 more source
Survivin and Aurora Kinase A control cell fate decisions during mitosis
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
Automated Cloud-to-Cloud Migration of Distributed Software Systems for Privacy Compliance
Philipp Weimann
openalex +1 more source
TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems
Tanakorn Leesatapornwongsa +3 more
semanticscholar +1 more source

