Results 51 to 60 of about 226,666 (311)
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic [PDF]
, 2004 Interval Temporal Logic (ITL) is a finite-time linear temporal logic with applications in hardware verification, temporal logic programming and specification of multimedia documents.
Howard Bowman +3 more
core +1 more source
Dombi Interval Valued Neutrosophic Graph and its Role in Traffic Control Management [PDF]
Neutrosophic Sets and Systems, 2019 An advantage of dealing indeterminacy is possible only with Neutrosophic Sets. Graph theory plays a vital role in the field of networking. If uncertainty exist in the set of vertices and edge then that can be dealt by fuzzy graphs in any application and ...
D. Nagarajan +3 more
doaj +1 more source
Molecular Oncology, EarlyView.We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source
Interval-valued fuzzy threshold graph
, 2016 Interval-valued fuzzy threshold graph is an extension of fuzzy threshold graph. In this paper, interval-valued fuzzy threshold graph, interval-valued fuzzy alternating 4-cycle, and interval-valued fuzzy threshold dimension are defined, and certain ...
Mondal, Sukumar +2 more
core +1 more source
Molecular Oncology, EarlyView.Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova +14 more
wiley +1 more source
Distance Two Surjective Labelling of Paths and Interval Graphs
Discrete Dynamics in Nature and Society, 2021 Graph labelling problem has been broadly studied for a long period for its applications, especially in frequency assignment in (mobile) communication system, X-ray crystallography, circuit design, etc.
Sk Amanathulla +3 more
doaj +1 more source
Molecular Oncology, EarlyView.In the present work, we have identified a transcriptional signature based on the differential expression of six genes (BCL2&MAST4, HSH2D&LAT2, METRN&PITPNM2) that would facilitate the early detection of T‐cell acute lymphoblastic leukemia (T‐ALL) patients prone to a poor treatment response and could be implemented at diagnosis, along with other risk ...
Antonio Lahera +11 more
wiley +1 more source
Interval Incidence Coloring of Subcubic Graphs
Discussiones Mathematicae Graph Theory, 2017 In this paper we study the problem of interval incidence coloring of subcubic graphs. In [14] the authors proved that the interval incidence 4-coloring problem is polynomially solvable and the interval incidence 5-coloring problem is NP-complete, and ...
Małafiejska Anna, Małafiejski Michał
doaj +1 more source
On the on-line coloring of unit interval graphs with proper interval representation [PDF]
Discrete Mathematics & Theoretical Computer ScienceWe define the problem as a two-player game between Algorithm and Builder. The game is played in rounds. Each round, Builder presents an interval that is neither contained in nor contains any previously presented interval.
Israel R. Curbelo, Hannah R. Malko
doaj +1 more source
Molecular Oncology, EarlyView.Intratumour heterogeneity complicates precision management of advanced endometrial cancer. Circulating tumor DNA (ctDNA) offers a minimally invasive strategy to capture tumor evolution and therapeutic resistance. Here, we compare tumor‐agnostic NGS with tumor‐informed ddPCR, outlining their relative sensitivity, concordance, and clinical implications ...
Carlos Casas‐Arozamena +15 more
wiley +1 more source