Results 161 to 170 of about 4,047 (219)

Blood‐based proteomic profiling reveals context‐dependent changes in BCL2‐associated signaling during taxane therapy in breast cancer patients

FEBS Open Bio, EarlyView.
Chemotherapy side effects significantly impact cancer survivors' quality of life. Using protein levels in blood samples from breast cancer patients before and after 12 weeks of taxane treatment, we detected treatment‐dependent changes in calcium signaling and aging pathways associated with cancer recurrence.
Saira Munshani, Eiman Y. Ibrahim, Rozalyn L. Rodwin, Leah M. Ferrucci, Kim Blenman, Maryam Lustberg, Barbara E. Ehrlich   +6 more
wiley   +1 more source

RETRACTION: Identification of Recurrence‐Related MicroRNAs in Hepatocellular Carcinoma Following Liver Transplantation

Molecular Oncology, EarlyView.
RETRACTION: Z.‐B. Han, L. Zhong, M.‐J. Teng, J.‐W. Fan, H.‐M. Tang, J.‐Y. Wu, H.‐Y. Chen, Z.‐W. Wang, G.‐Q. Qiu, and Z.‐H. Peng, “Identification of Recurrence‐Related MicroRNAs in Hepatocellular Carcinoma following Liver Transplantation,” Molecular Oncology 6, no. 4 (2012): 445‐457, https://doi.org/10.1016/j.molonc.2012.04.001.
wiley   +1 more source

Some of the next articles are maybe not open access.

Related searches:

The Logic of Computer Programming

IEEE Transactions on Software Engineering, 1978
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to lead to the automation of many of the facets of the programming process.
Zohar Manna, Richard J. Waldinger
openaire   +2 more sources

Biomolecular Computing and Programming

IEEE Transactions on Evolutionary Computation, 1999
Molecular computing is a discipline that aims at harnessing individual molecules at nanoscales to perform computations. The best studied molecules for this purpose to date have been DNA and bacteriorhodopsin. Biomolecular computing allows one to realistically entertain, for the first time in history, the possibility of exploiting the massive ...
Max H. Garzon, Russell J. Deaton
openaire   +1 more source

On computability by logic programs

Annals of Mathematics and Artificial Intelligence, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

On computing logic programs

Journal of Automated Reasoning, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Computer Programming is More than to Program Computers

Proceedings of the 19th Annual SIG Conference on Information Technology Education, 2018
In this article, we describe how a holistic approach can introduce soft skills to Computer Programming students and promote community interaction between college and community.
openaire   +1 more source

Computational Chains and the Simplification of Computer Programs

IEEE Transactions on Electronic Computers, 1962
In the synthesis of switching circuits, a formal representation of the function to be realized by the circuit is first established and simplified as much as possible. Only then is construction of the circuit undertaken. It is argued that an analogous strategy should be followed in the synthesis of digital computer programs: the function to be realized ...
openaire   +2 more sources

Verification of program computations

2015
Die formale Verifikation der Implementierung komplexer Algorithmen ist schwierig. Sie übersteigt die Möglichkeiten der heutigen Verifikationswerkzeuge und erfordert für gewöhnlich komplexe mathematische Theoreme. Zertifizierende Algorithmen berechnen zu jeder Ausgabe ein Zerfitikat, das die Korrektheit der Antwort bestätigt. Ein Checker für ein solches
openaire   +3 more sources

Programming a vector computer

1972 IEEE 2nd Symposium on Computer Arithmetic (ARITH), 1972
The principal purpose of this paper is to illustrate how some well known algorithms have been programmed on a specific vector computer, the CDC STAR-100. The main thesis is that the extensive repertoire of programs devised for conventional machines can be transferred effectively to a vector computer, though the detailed implementation will generally ...
openaire   +1 more source