Results 101 to 110 of about 1,197,029 (323)

Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma

Molecular Oncology, EarlyView.
Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken, Andrea Abel Gutierrez, Imke van Rossum, Cornelia G. Spruijt, Michiel Vermeulen, Guido van Mierlo, Blanca Scheijen, Annemiek B. van Spriel   +7 more
wiley   +1 more source

Model Checking Guided Testing for Distributed Systems [PDF]

, 2023
Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Huang Tao   +5 more
openalex   +1 more source

Bayesian model checking: A comparison of tests

, 2017
Two procedures for checking Bayesian models are compared using a simple test problem based on the local Hubble expansion. Over four orders of magnitude, p-values derived from a global goodness-of-fit criterion for posterior probability density functions (
Lucy, Leon B.
core   +1 more source

Omega-Regular Model Checking [PDF]

, 2004
“Regular model checking” is the name of a family of techniques for analyzing infinite-state systems in which states are represented by words or trees, sets of states by finite automata on these objects, and transitions by finite automata operating on pairs of state encodings, i.e. finite-state transducers.
Boigelot, Bernard, Legay, Axel, Wolper, Pierre   +2 more
openaire   +2 more sources

Crucial parameters for precise copy number variation detection in formalin‐fixed paraffin‐embedded solid cancer samples

Molecular Oncology, EarlyView.
This study shows that copy number variations (CNVs) can be reliably detected in formalin‐fixed paraffin‐embedded (FFPE) solid cancer samples using ultra‐low‐pass whole‐genome sequencing, provided that key (pre)‐analytical parameters are optimized.
Hanne Goris, Vasiliki Siozopoulou, Léon C van Kempen, Anne Sieben, Ella Roelant, Stig Hellemans, Elyne Backx, Laure Sorber, Koen De Winne, Senada Koljenović, Karen Zwaenepoel   +10 more
wiley   +1 more source

Model Checking Properties on Reduced Trace Systems

Algorithms, 2014
Temporal logic has become a well-established method for specifying the behavior of distributed systems. In this paper, we interpret a temporal logic over a partial order model that is a trace system.
Antonella Santone, Gigliola Vaglini
doaj   +1 more source

Microfluidic electro‐viscoelastic manipulation of extracellular vesicles

FEBS Open Bio, EarlyView.
The electro‐viscoelastic manipulation as a potential method for separation of particles based on size. The particles introduced as a sheath flow migrate to the channel center under the influence of simultaneously applied electric field and pressure driven flow.
Seyedamirhosein Abdorahimzadeh, Éva Bozó, Zikrullah Bölükkaya, Artem Zhyvolozhnyi, Anatoliy Samoylenko, Henrikki Liimatainen, Seppo J. Vainio, Caglar Elbuken   +7 more
wiley   +1 more source

Lactoferrin treatment activates acetylcholinesterase, decreasing acetylcholine levels in non‐small cell lung cancer (NSCLC) cell culture supernatants, inhibiting cell survival

FEBS Open Bio, EarlyView.
Representation of the suggested mode of action of lactoferrin (Lf) in nonsmall cell lung cancer (NSCLC) A549 cells. Lf induces activation of caspase‐3 by activating p53 and AChE leading to decreased ACh concentrations. In turn, ACh signaling leads to activation of VEGF and AKT and blocking of caspase‐3.
Stuti Goel, Caroline Wozniak, Aya Sabri, Ben Haddad, Brooke Lopo, Alvaro Cobos, Sarah Sarofim, Jeffrey Guthrie, Deborah Heyl, Hedeel Guy Evans   +9 more
wiley   +1 more source

Classification and checking model of pedestrian crossing

Journal of Accessibility and Design for All, 2012
The requirements demanded for pedestrian crossings, as the meeting point of pedestrian and vehicle traffic, are becoming more and more numerous and to guarantee that they are understandable, employable and feasible for all people in safe and convenient ...
Luis Delgado Méndez, Consuelo del Moral Ávila, Ignacio Valverde Espinosa, Ignacio Valverde Palacios   +3 more
doaj   +1 more source

The dopamine D2/D3 receptor agonist quinpirole increases checking-like behaviour in an operant observing response task with uncertain reinforcement: A novel possible model of OCD [PDF]

, 2014
Dawn M. Eagle, Cristie Noschang, Laure-Sophie Camilla d’Angelo, C Noble, Jacob Day, Marie Louise Dongelmans, David Theobald, Adam C. Mar, Gonzalo P. Urcelay, Sharon Morein‐Zamir, Trevor W. Robbins   +10 more
openalex   +1 more source