Results 101 to 110 of about 3,154,019 (343)
Hoare Logic for Quantum Programs [PDF]
arXiv, 2009 Hoare logic is a foundation of axiomatic semantics of classical programs and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum program verification and to build a logical foundation of programming methodology for quantum computers, we develop a full-fledged Hoare logic ...
arxiv
Neurocoder: Learning General-Purpose Computation Using Stored Neural Programs [PDF]
arXiv, 2020 Artificial Neural Networks are uniquely adroit at machine learning by processing data through a network of artificial neurons. The inter-neuronal connection weights represent the learnt Neural Program that instructs the network on how to compute the data.
arxiv
Computers, programming and people [PDF]
Computer, 2002 Now part of consumer society and marketed globally, computers are designed to be sold rather than used. Software marketers, e-businesses, and their technicians consider having an understanding of how the underlying machinery works to be utterly irrelevant. For them, the most important skills are marketing, management, and graphical expertise.
openaire +3 more sources
Surfaceome: a new era in the discovery of immune evasion mechanisms of circulating tumor cells
Molecular Oncology, EarlyView.In the era of immunotherapies, many patients either do not respond or eventually develop resistance. We propose to pave the way for proteomic analysis of surface‐expressed proteins called surfaceome, of circulating tumor cells. This approach seeks to identify immune evasion mechanisms and discover potential therapeutic targets. Circulating tumor cells (
Doryan Masmoudi +3 more
wiley +1 more source
BioTechniques, 2013 Solution nuclear magnetic resonance (NMR) spectroscopy is widely used to analyze complex mixtures of organic compounds such as biological fluids and tissue extracts.
Matthias S. Klein +2 more
doaj +1 more source
Vibrational transfer functions for complex structures [PDF]
, 1972 Evaluation of effects of vibrational multiple frequency forcing functions is discussed. Computer program for developing vibrational transfer functions is described.
Berry, R. L., Jones, P. A.
core +1 more source
Molecular Oncology, EarlyView.In this explorative biomarker analysis, we assessed serial sampling of circulating tumor cells (CTCs) with CellSearch in two randomized trials testing immune checkpoint inhibitors (ICIs) in metastatic breast cancer. Our data demonstrate a prognostic potential of CTCs, most apparent 4 weeks into ICI therapy.
Nikolai Kragøe Andresen +13 more
wiley +1 more source
Вестник Научно-исследовательского института железнодорожного транспорта, 2018 The article shows the structure of the computer program “Express estimation system of the heat transfer coefficient for the vehicle”. The performance sequence of the automated calculation for determining the heat transfer coefficient ( K ) is described ...
A. A. Golubin, S. N. Naumenko
doaj +1 more source
CSM programs SM RCS propellant quantity gaging systems program [PDF]
, 1971 Computer program calculates actual and useable remaining propellant quantities as required in positive expulsion rocket engine propellant feed system. Program establishes relationship between helium system pressures and temperatures and propellant weight
Cox, G. R., Reynolds, R. G.
core +1 more source
Communications of the ACMMathematician and inventor Charles Babbage's code sketches are the first attempt to specify how to mechanize complex algorithms with a computer.
openaire +3 more sources