Results 171 to 180 of about 12,934,423 (302)

Verified Analysis of Functional Data Structures.

, 2016
In recent work the author has analyzed a number of classical functional search tree and priority queue implementations with the help of the theorem prover Isabelle/HOL. The functional correctness proofs of AVL trees, red-black trees, 2-3 trees, 2-3-4 trees, 1-2 brother trees, AA trees and splay trees could be automated.
openaire   +3 more sources

PAK1 activation drives divergent resistance mechanisms to aromatase inhibition and tamoxifen in a luminal: A breast cancer model

Molecular Oncology, EarlyView.
Breast cancer remains a major cause of cancer death in women, frequently developing endocrine therapy resistance. This study demonstrates that upregulated p21‐activated kinase 1 (PAK1) activity drives resistance to tamoxifen and long‐term estrogen deprivation in ER+ breast cancer models.
Luisa Schwarzmüller, Janina Müller, Efstathios‐Iason Vlachavas, Lukas Beumers, Lena Fleischhacker, Sara Burmester, Angelika Wörner, Sabine Karolus, Dominic Helm, Cindy Körner, Stefan Wiemann   +10 more
wiley   +1 more source

Contrasting pre-vaccine COVID-19 waves in Italy through functional data analysis. [PDF]

Sci Rep
Boschi T, Di Iorio J, Testa L, Cremona MA, Chiaromonte F.   +4 more
europepmc   +1 more source

Functional data analysis and visualisation of three-dimensional surface shape. [PDF]

J R Stat Soc Ser C Appl Stat, 2021
Katina S, Vittert L, W Bowman A.
europepmc   +1 more source

Spatial and single‐nuclei transcriptomics reveals idiosyncratic and generic patterns in papillary and anaplastic thyroid cancers

Molecular Oncology, EarlyView.
Matched spatial transcriptomics and single‐nuclei RNA‐seq were generated for anaplastic and BRAFV600E papillary thyroid cancers revealing generic and tumor‐specific states occurring in cancer cells and in the tumor microenvironment. In this context, cancer dedifferentiation mirrored organoid maturation through ordered thyroid marker gain/loss ...
Adrien Tourneur, Joel Rodrigues Vitória, Manuel Saiselet, Ligia Craciun, Denis Larsimont, Anne Lefort, Frédérick Libert, Carine Maenhaut, Sabine Costagliola, Maxime Tarabichi, Mirian Romitti, Vincent Detours   +11 more
wiley   +1 more source

Functional data analysis of FSH and inhibin B levels in four ovulatory cycles shows a changing oscillatory interaction during the follicular phase. [PDF]

Front Endocrinol (Lausanne)
Usala SJ, Trindade AA, Vineyard DD.
europepmc   +1 more source

Regional and temporal patterns of influenza: Application of functional data analysis. [PDF]

Infect Dis Model, 2021
Rahman A, Jiang D.
europepmc   +1 more source

Editorial on the special issue on Functional Data Analysis and Related Topics

Computational statistics (Zeitschrift), 2019
Germán Aneiros, R. Cao, P. Vieu
semanticscholar   +1 more source

In vitro and in silico modelling of ROS1‐positive non‐small cell lung cancer reveals fusion‐dependent tyrosine kinase inhibitor responses

Molecular Oncology, EarlyView.
Drug resistance limits treatment success in a subset of lung cancers driven by ROS1 gene alterations. Using patient‐derived cells and computer simulations, we studied three key mutations and how they affect five targeted drugs. The mutations reduced drug effectiveness in different ways by altering protein structure and behavior.
Farhan Ul Haq, Marc Terrones, Felicia Rodrigues Fortes, Anne Schepers, Alessia Denis, Christophe Deben, Ken Op de Beeck, Guy Van Camp, Geert Vandeweyer   +8 more
wiley   +1 more source

Effects of load carriage methods on fall risk and gait variability during stair ascent: a functional data analysis approach. [PDF]

Front Bioeng Biotechnol
Zhang X, Li Y, Fang Y, Wu H, Kou D, Gao J, Liu J, Sun Y, Sun Y, Gao Y, Duan L, Yu L.   +11 more
europepmc   +1 more source