Results 81 to 90 of about 1,576,475 (325)

THE FORMATION OF INFORMATICS COMPETENCY FOR FUTURE COMPUTER SCIENCE TEACHERS IN THE PROCESS OF STUDYING COMPUTER MATHEMATICS

Фізико-математична освіта, 2021
Relevance and expediency of introduction of a training course of computer mathematics for students of “Secondary Education (Computer Science)” is caused by necessity of use of computer equipment with the corresponding software almost in all areas of ...
Варвара Черненко
doaj   +1 more source

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, Jérome Vialaret, Christophe Hirtz, Catherine Alix‐Panabières   +3 more
wiley   +1 more source

Unraveling the metastasis‐preventing effect of miR‐200c in vitro and in vivo

Molecular Oncology, EarlyView.
Advanced tumors and ineffective cancer treatments can lead to metastases in distant organs. The sole expression of microRNA 200c (miR‐200c) in breast cancer cells is shown to significantly reduce metastasis formation in xenograft mouse models. Various in vitro analyses revealed impeded migratory behavior, upon miR‐200c expression, as one prerequisite ...
Bianca Köhler, Emily Brieger, Tom Brandstätter, Elisa Hörterer, Ulrich Wilk, Jana Pöhmerer, Anna Jötten, Philipp Paulitschke, Chase P. Broedersz, Stefan Zahler, Joachim O. Rädler, Ernst Wagner, Andreas Roidl   +12 more
wiley   +1 more source

Lagrange Dual Method for Sparsity Constrained Optimization

IEEE Access, 2018
In this paper, we investigate the l0 quasi-norm constrained optimization problem in the Lagrange dual framework and show that the strong duality property holds.
Wenxing Zhu, Zhengshan Dong, Yuanlong Yu, Jianli Chen   +3 more
doaj   +1 more source

Input Redundancy for Parameterized Quantum Circuits

Frontiers in Physics, 2020
One proposal to utilize near-term quantum computers for machine learning are Parameterized Quantum Circuits (PQCs). There, input is encoded in a quantum state, parameter-dependent unitary evolution is applied, and ultimately an observable is measured. In
Francisco Javier Gil Vidal, Dirk Oliver Theis, Dirk Oliver Theis   +2 more
doaj   +1 more source

On‐treatment dynamics of circulating extracellular vesicles in the first‐line setting of patients with advanced non‐small cell lung cancer: the LEXOVE prospective study

Molecular Oncology, EarlyView.
The LEXOVE prospective study evaluated plasma cell‐free extracellular vesicle (cfEV) dynamics using Bradford assay and dynamic light scattering in metastatic non‐small cell lung cancer patients undergoing first‐line treatments, correlating a ∆cfEV < 20% with improved median progression‐free survival in responders versus non‐responders.
Valerio Gristina, Viviana Bazan, Nadia Barraco, Simona Taverna, Mauro Manno, Samuele Raccosta, Anna Paola Carreca, Marco Bono, Tancredi Didier Bazan Russo, Francesco Pepe, Pasquale Pisapia, Lorena Incorvaia, Giuseppe Badalamenti, Giancarlo Troncone, Umberto Malapelle, Daniele Santini, Antonio Russo, Antonio Galvano   +17 more
wiley   +1 more source

NAPC: A Neural Algorithm for Automated Passenger Counting in Public Transport on a Privacy-Friendly Dataset

IEEE Open Journal of Intelligent Transportation Systems, 2022
Real-time load information in public transport is of high importance for both passengers and service providers. Neural algorithms have shown a high performance on various object counting tasks and play a continually growing methodological role in ...
Robert Seidel, Nico Jahn, Sambu Seo, Thomas Goerttler, Klaus Obermayer   +4 more
doaj   +1 more source

Replenishing co‐downregulated miR‐100‐5p and miR‐125b‐5p in malignant germ cell tumors causes growth inhibition through cell cycle disruption

Molecular Oncology, EarlyView.
MiR‐99a‐5p/miR‐100‐5p (functionally identical) and miR‐125b‐5p microRNAs are downregulated in malignant germ cell tumors (GCTs). Combination replenishment of these microRNAs using mimics resulted in growth inhibition in representative cell lines, with consequent downregulation of target genes involved in cell cycle (confirmed by flow cytometry) and ...
Marta Ferraresso, Shivani Bailey, Luz Alonso‐Crisostomo, Dawn Ward, Christos Panayi, Zachary G. L. Scurlock, Harpreet K. Saini, Stephen P. Smith, James C. Nicholson, Anton J. Enright, Cinzia G. Scarpini, Nicholas Coleman, Matthew J. Murray   +12 more
wiley   +1 more source

Editorial: Surveys in Algorithm Analysis and Complexity Theory (Special Issue)

Algorithms, 2023
This is a Special Issue of the open-access journal Algorithms consisting of surveys in theoretical computer science [...]
Jesper Jansson
doaj   +1 more source

A computer verified, monadic, functional implementation of the integral [PDF]

Theoretical Computer Science, Volume 411, Issue 37, 7 August 2010, Pages 3386-3402, 2008
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the beginning of the realization of Bishop's vision to use constructive mathematics as a programming language for exact analysis.
arxiv   +1 more source