Craig Interpolation for Linear Temporal Languages [PDF]
, 2009 We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTLobtained by restricting the set of temporal connectives and, for each of these fragments, we identify its smallest extension that has Craig interpolation.
Gheerbrant, A., ten Cate, B.
openaire +2 more sources
Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin
Molecular Oncology, EarlyView.The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla +10 more
wiley +1 more source
Interp-SUM: Unsupervised Video Summarization with Piecewise Linear Interpolation. [PDF]
Sensors (Basel), 2021 Yoon UN, Hong MD, Jo GS.
europepmc +1 more source
Interpolation of discount factors [PDF]
, 1996 This paper deals with the problem of interpolation of discount factors between time buckets. The problem occurs when price and interest rate data of a market segment are assigned to discrete time buckets.
Cremers, Heinz, Schwarz, Willi
core
Therapeutic strategies for MMAE‐resistant bladder cancer through DPP4 inhibition
Molecular Oncology, EarlyView.We established monomethyl auristatin E (MMAE)‐resistant bladder cancer (BC) cell lines by exposure to progressively increasing concentrations of MMAE in vitro. RNA sequencing showed DPP4 expression was increased in MMAE‐resistant BC cells. Both si‐DPP4 and the DPP4 inhibitor sitagliptin suppressed the viability of MMAE‐resistant BC cells.
Gang Li +10 more
wiley +1 more source
Rosendaal linear interpolation method appraising of time in therapeutic range in patients with 12-week follow-up interval after mechanical heart valve replacement. [PDF]
Front Cardiovasc Med, 2022 Zhu X +5 more
europepmc +1 more source
Two elementary theorems on the interpolation of linear operators [PDF]
, 1966 Richard O’Neil
openalex +1 more source
Molecular Oncology, EarlyView.Nanosecond infrared laser (NIRL) low‐volume sampling combined with shotgun lipidomics uncovers distinct lipidome alterations in oropharyngeal squamous cell carcinoma (OPSCC) of the palatine tonsil. Several lipid species consistently differentiate tumor from healthy tissue, highlighting their potential as diagnostic markers.
Leonard Kerkhoff +11 more
wiley +1 more source
Sampling Theorems Associated with Offset Linear Canonical Transform by Polar Coordinates
Fractal and FractionalThe sampling theorem for the offset linear canonical transform (OLCT) of bandlimited functions in polar coordinates is an important signal analysis tool in many fields of signal processing and optics.
Hui Zhao, Bing-Zhao Li
doaj +1 more source
Stable, simultaneous and proportional 4-DoF prosthetic hand control via synergy-inspired linear interpolation: a case series. [PDF]
J Neuroeng Rehabil, 2021 Lukyanenko P +5 more
europepmc +1 more source