Results 51 to 60 of about 3,163,986 (303)

Conflict-preserving abstraction of discrete event systems using annotated automata [PDF]

, 2012
This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states ...
Malik, Robi, Ware, Simon
core   +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

Numerical Solution for Classical Optimal Control Problem Governing by Hyperbolic Partial Differential Equation via Galerkin Finite Element-Implicit method with Gradient Projection Method

Ibn Al-Haitham Journal for Pure and Applied Sciences, 2019
     This paper deals with the numerical solution of the discrete classical optimal control problem (DCOCP) governing by linear hyperbolic boundary value problem (LHBVP). The method which is used here consists of: the GFEIM " the Galerkin finite element
Jamil A. Ali Al-Hawasy, Eman H. Al-Rawdanee   +1 more
doaj   +1 more source

Correlation Discrete Variable Representation (CDVR)

, 2009
Huarte-Larrañaga F, Manthe U. Correlation Discrete Variable Representation (CDVR). In: Meyer H-D, Gatti F, Worth GA, eds. Multidimensional Quantum Dynamics: MCTDH Theory and Applications.
Manthe, Uwe, Worth, Graham A., Meyer, Hans-Dieter, Huarte-Larrañaga, Fermín, Gatti, Fabien, Uwe Manthe, Fermn Huarte-Larraaga   +6 more
core   +1 more source

Somatostatin receptor 4 (SSTR4) is a tumor suppressor in cutaneous and head & neck squamous cell carcinomas

Molecular Oncology, EarlyView.
This study identifies somatostatin receptor 4 (Sstr4) as a critical tumor suppressor against skin and head/neck cancers (HNSCC, cSCC, and BCC). The loss of Sstr4 removes a check on cell growth, causing hyperactivation of the MAPK‐ERK signaling pathway (↑).
Ali Taqvi, Tuan Khang Huynh, Adway Kadam, Zahra Kardan, Yue Yan, Amina Jamal Laham, Sampath Kumar Loganathan   +6 more
wiley   +1 more source

Entropy and Thinning of Discrete Random Variables [PDF]

, 2017
Draft for Proceedings of IMA theme year in Discrete ...
openaire   +4 more sources

A Modified Jaya Algorithm for Mixed-Variable Optimization Problems

Journal of Intelligent Systems, 2018
Mixed-variable optimization problems consist of the continuous, integer, and discrete variables generally used in various engineering optimization problems.
Singh Prem, Chaudhary Himanshu
doaj   +1 more source

Unique circulating miRNAome signatures captured with distinct molecular states in Lynch syndrome and sporadic colorectal cancer

Molecular Oncology, EarlyView.
Circulating microRNA profiles distinguish nonmalignant Lynch syndrome from cancer‐associated Lynch syndrome, sporadic colorectal cancer, and healthy controls. Age‐stratified analysis reveals disease‐specific regulatory states, and a six‐miRNA panel shows concordant separation in an independent colorectal tissue cohort.
Ramadhani Salum Chambuso, Md Shohel Ul Islam, Rosa M Xicola, Raj Ramesar, Xavier Llor, Sinclair Steele   +5 more
wiley   +1 more source

Engineering IL‐4 resistant proinflammatory human myeloid cells for cancer immunotherapy

Molecular Oncology, EarlyView.
We developed a scalable workflow to generate proinflammatory human myeloid cells. CRISPR/Cas9‐edited CD34+ hematopoietic stem and progenitor cells were expanded and differentiated with M‐CSF. Deletion of STAT6 or STAT6/NFKB1 enhanced macrophage proinflammatory gene expression and cytokine secretion in the presence of IL‐4 while maintaining antibody ...
Theresa Barberi, Alan D. Friedman
wiley   +1 more source

Robust Estimation with Discrete Explanatory Variables [PDF]

, 2002
The least squares estimator is probably the most frequently used estimation method in regression analysis. Unfortunately, it is also quite sensitive to data contamination and model misspecification. Although there are several robust estimators designed for parametric regression models that can be used in place of least squares, these robust estimators ...
openaire   +6 more sources