Results 101 to 110 of about 5,414,210 (302)

Towards a Maude tool for model checking temporal graph properties [PDF]

, 2011
We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi.
Lluch-Lafuente, Alberto, Luch Lafuente A, Vandin, Andrea, Lafuente, Alberto Lluch, Vandin A   +4 more
core   +1 more source

Line and Subdivision Graphs Determined by T 4 -Gain Graphs

Mathematics, 2019
Let T 4 = { ± 1 , ± i } be the subgroup of fourth roots of unity inside T , the multiplicative group of complex units. For a T 4 -gain graph Φ = ( Γ , T 4 , φ ) , we introduce gain functions on ...
Abdullah Alazemi, Milica Anđelić, Francesco Belardo, Maurizio Brunetti, Carlos M. da Fonseca   +4 more
doaj   +1 more source

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

Line graph dan polinomial kromatiknya [PDF]

, 1992
Misal G adalah suatu (p,q)-graph terhubung dengan q>0 dan misal L(G) adalah line graph dari G. Dinotasikan polinomial kromatik dari G dengan P(G,2\.) dan line kromatik ( line ohromial ) yaitu polinomial kromatik dari L(G) dengan PL(G,7>,.).
Hanik , Luftia
core   +1 more source

Atom-bond sum-connectivity index of line graphs [PDF]

Discrete Mathematics Letters, 2023
Yanyan Ge, Zhen Lin, Jiajia Wang
doaj   +1 more source

A novel algebraic technique for adjacency matrices of some derived graphs

Mathematical and Computer Modelling of Dynamical Systems
Graph energy has been the main concern of spectral graph theory in the last five decades. The classical graph energy is the sum of the absolute values of the eigenvalues of the adjacency matrix. In many research papers, different versions of graph energy
Hacer Ozden Ayna, Aysun Yurttas Gunes, Sadik Delen, Medha Itagi Huilgol, Berke Ozmen, Ismail Naci Cangul   +5 more
doaj   +1 more source

Collapsible graphs and reductions of line graphs

Discrete Mathematics, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Chen, Zhi-Hong, Lam, Peter C.B., Shiu, Wai-Chee   +2 more
openaire   +3 more sources

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

Morphing Planar Graph Drawings Efficiently

, 2013
A morph between two straight-line planar drawings of the same graph is a continuous transformation from the first to the second drawing such that planarity is preserved at all times.
Vincenzo Roselli, Angelini, Patrizio, Frati, Fabrizio, Patrignani, Maurizio, Roselli, Vincenzo, Fabrizio Frati, Maurizio Patrignani, Patrizio Angelini   +7 more
core   +1 more source

The Effect of Gestalt Laws of Perceptual Organization on the Comprehension of Three-Variable Bar and Line Graphs [PDF]

, 2013
Objective: We report three experiments investigating the ability of undergraduate college students to comprehend 2 × 2 "interaction" graphs from two-way factorial research designs.
Ali, Nadia, Peebles, David, Peebles, David; id_orcid   +2 more
core   +1 more source