Results 91 to 100 of about 1,081,243 (285)

On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems [PDF]

, 2005
This paper explores how to extend the dependency pair technique for proving termination of higher-order rewrite systems. In the first order case, the termination of term rewriting systems are proved by showing the non-existence of an infinite R-chain of ...
SAKAI, Masahiko, KUSAKARI, Keiichirou
core  

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

Pharmacological chromatin remodeling enhances response to estrogen therapy in ER+ breast cancer

Molecular Oncology, EarlyView.
Estrogen therapy elicits clinical benefit in ~ 30% of patients with endocrine‐resistant estrogen receptor (ER)‐positive breast cancer. Based on findings that ER transcriptional activation underlies response to estrogen therapy, we tested the effects of epigenetic dysregulation via pharmacological inhibition of histone deacetylases (HDACi).
Anneka L. Johnson Thomas, Barbara Karakyriakou, Patricia C. Muskus, Alyssa M. Roberts, Justin Rendleman, Alexa Warren, Hanxu Lu, Kimberly A. Birmingham, Malone K. Friedman, Abigail E. Goen, Huijuan Yang, Owen M. Wilkins, Fred W. Kolling, Eugene Demidenko, Julie M. Jorns, Brock C. Christensen, Todd W. Miller   +16 more
wiley   +1 more source

Improving Windowed Decoding of SC LDPC Codes by Effective Decoding Termination, Message Reuse, and Amplification

IEEE Access, 2018
In this paper, we address a number of weaknesses of the windowed decoding of spatially coupled low-density parity-check (SC LDPC) codes and propose three modifications that simultaneously improve its performance, complexity, and latency.
Inayat Ali, Jong-Hwan Kim, Sang-Hyo Kim, Heeyoul Kwak, Jong-Seon No   +4 more
doaj   +1 more source

An Extension of the Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems [PDF]

, 2001
This paper explores how to extend the dependency pair technique for proving termination of higher-order rewrite systems. We show that the termination property of higher-order rewrite systems can be checked by the non-exsistence of an infinite R-chain ...
SAKAI, Masahiko, WATANABE, Yoshitsugu, SAKABE, Toshiki   +2 more
core  

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

Homeomorphic Embedding for Online Termination of Symbolic Methods

, 2002
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of
Leuschel, Michael
core   +2 more sources

Demonstration of KV-class β-Ga2O3 trench junction barrier Schottky diodes with space-modulated junction termination extension [PDF]

APL Electronic Devices
In this work, we report on the design and fabrication of p-NiO/Ga2O3 trench junction barrier schottky diodes (JBSDs) integrated with space-modulated junction termination extension (SM-JTE) and compare the performance with planar Ni/Ga2O3 schottky barrier
Advait Gilankar, Julian Gervassi-Saga, Martha R. McCartney, Nabasindhu Das, Chinmoy Nath Saha, Yizheng Liu, David Malcolm McComas, David J. Smith, Nidhin Kurian Kalarickal   +8 more
doaj   +1 more source

Equilibrium Layoff As Termination of a Dynamic Contract [PDF]

In a dynamic model of the labor market with moral hazard, equilibrium layoff is modeled as termination of an optimal long-term contract. Termination, together with compensation (current and future), is used as an incentive device to induce worker efforts.
Wang, Cheng
core  

Novel edge-termination structures for 1200 V-class SiC devices

, 2021
Driven by the markets of electric vehicle (EV), charger, photovoltaic (PV) inverter and power supply, silicon carbide (SiC) power devices have attracted much attention due to the inherent material properties of wide bandgap, high critical electric field,
Liu, Yong
core