Results 141 to 150 of about 4,459,628 (347)

Decision Procedures for the Grand Challenge [PDF]

, 2008
The Verifying Compilerchecks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a suitably chosen logic. This paper discusses possible choices for this logic, and how to solve the resulting decision problems.
openaire   +2 more sources

CD47 promotes mitogen‐activated protein kinase and epithelial‐to‐mesenchymal transition molecular programs to drive prometastatic phenotypes in non‐small cell lung cancer

Molecular Oncology, EarlyView.
Beyond its role in immune evasion, this study identified that CD47 drives tumor‐intrinsic signaling in non‐small cell lung cancer (NSCLC). Transcriptomic profiling and functional studies revealed that CD47 regulates cell adhesion, migration, and metastasis through an ERK–EMT signaling axis.
Asa P.Y. Lau, Lilian G. Zhai, Ryunosuke Hoshi, Zackary Rousseau, Abraam Zakhary, Yin Fang Wu, Rola M. Saleeb, Heyu Ni, Kelsie L. Thu   +8 more
wiley   +1 more source

Framing Influence on Fairness Perceptions of Differential Prices [PDF]

The objective of the research presented in this paper is to examine the effect of two types of framing (attribute and goal) on distributive and procedural price fairness perceptions and on some other variables of consumer behavior.
Vranceanu, Diana Maria, Tatu, Cristian, Catoiu, Iacob   +2 more
core  

Capturing the Justice Judgment: An Application of the Theory of Representative Design in two Policy Capturing Studies in Organizational Justice [PDF]

, 2011
An understanding of how justice judgments are formed is essential knowledge for practitioners given the adverse consequences which may arise due to perceptions of unfairness.
GERMAN, HAYLEY,CLAIRE, German, Hayley Claire   +1 more
core  

Provability in TBLL: A decision procedure

, 2005
We prove the decidability of the Tensor-Bang fragment of linear logic and establish an upper (doubly exponential) bound.
Chirimar, Jawahar, Lipton, James
openaire   +3 more sources

Heterozygous loss‐of‐function alleles associate the conserved 3′‐5′ exoribonuclease EXOSC10 with hypersensitivity to the anticancer drug 5‐fluorouracil

Molecular Oncology, EarlyView.
EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain, Yann Le Page, Frédéric Percevault, Emmanuelle Becker, Luc Negroni, Almudena Fernandez, Marta Cantero, Diego Muñoz‐Santos, Lluís Montoliu, Cyrille Garnier, Michael Primig   +10 more
wiley   +1 more source

Declarative and procedural tactical knowledge in youth soccer players: an exploratory study in Chile

Pedagogy of Physical Culture and Sports
Background and Study Aim. Tactical knowledge, both declarative and procedural, is an essential component of cognitive development in youth soccer. The aim of this study is to describe and analyze the declarative and procedural tactical knowledge of youth
Ricardo Souza de Carvalho, Eugenio Merellano Navarro, Manuel González-Farías, Jorge Mendez-Cornejo, Alejandro Almonacid-Fierro   +4 more
doaj   +1 more source

Cell‐cycle‐specific lesion evolution rather than inhibition of double‐strand‐break repair underpins cisplatin radiosensitization

Molecular Oncology, EarlyView.
We analyze cisplatin–DNA adducts (CDAs) and double‐strand breaks (DSBs) in a cell‐cycle‐dependent manner. We find that CDAs form similarly across all cell cycle phases. DSBs arise only in S‐phase. CDAs might not directly impair DSB repair, but S‐phase DSB lesions evolve in the presence of CDAs and disrupt repair in G2, also causing radiosensitization ...
Ye Qiu, Xixi Lin, Emil Mladenov, Veronika Mladenova, Jürgen Thomale, Ali Sak, Yao Wang, Yunxuan Deng, Eleni Gkika, Martin Stuschke, George Iliakis   +10 more
wiley   +1 more source

Worker satisfaction and perceived fairness: result of a survey in public, and non-profit organizations [PDF]

Exploiting a unique data set concerning a sample of 228 social service organizations, and on 2066 workers, the paper seeks to demonstrate that workers’ satisfaction with the job and loyalty to the organization are crucially influenced by fairness ...
Ermanno Tortia
core  

Decision Procedures for Loop Detection

, 2007
The dependency pair technique is a powerful modular method for automated termination proofs of term rewrite systems. We first show that dependency pairs are also suitable for disproving termination: loops can be detected more easily. In a second step we analyze how to disprove innermost termination.
Thiemann, René, Giesl, Jürgen, Schneider-Kamp, Peter   +2 more
openaire   +4 more sources