Results 281 to 290 of about 165,831 (331)

Real-Time Cycle Slip Detection in Single-Frequency GNSS Receivers Using Dual-Index Cross-Validation and Elevation-Dependent Thresholding. [PDF]

Sensors (Basel)
Carvajal Librado M, Park KD.
europepmc   +1 more source

Climate Change Mitigation Takes the Lead: EU Taxonomy‐Aligned and Eligible Activities in Relation to Debt Financing

Business Strategy and the Environment, EarlyView.
ABSTRACT This study assesses the degree of alignment with and eligibility to the EU Taxonomy of non‐financial firms and investigates its relationship with their Cost of Debt (CoD). The empirical analysis is based on a sample of 306 non‐financial firms listed on the Stoxx Europe 600 Index across 15 European countries. Taxonomy‐related data were manually
Fabio Rizzato, Simona Fiandrino, Alberto Tonelli, Giorgia La Barbera   +3 more
wiley   +1 more source

Semantic code clone detection using hybrid intermediate representations and BiLSTM networks. [PDF]

PLoS One
Shahbaz Ismail M, Shahzad S, Quradaa FH.
europepmc   +1 more source

Editorial: Recent advancements in RNA technologies, diagnostics, and therapeutics. [PDF]

Front Bioeng Biotechnol
Stewart JM, Yingling YG, Afonin KA, Hubé F, Kataoka N.   +4 more
europepmc   +1 more source

A Modular and Customizable CRISPR/Cas Toolkit for Epigenome Editing of Cis-regulatory Modules. [PDF]

Adv Sci (Weinh)
Zhang L, Fu J, Long T, Zhang C, Fan F, Lang Z, Zhu JK.   +6 more
europepmc   +1 more source

Compact RNA sensors for increasingly complex functions of multiple inputs. [PDF]

Nat Chem
Choe CA, Andreasson JOL, Melaine F, Kladwang W, Wu MJ, Portela F, Wellington-Oguri R, Nicol JJ, Wayment-Steele HK, Gotrik M, Eterna Participants, Khatri P, Greenleaf WJ, Das R.   +13 more
europepmc   +1 more source

Detecting and Grouping In-Source Fragments with Low-Energy Stepped HCD, Together with MS³, Increases Identification Confidence in Untargeted LC-Orbitrap Metabolomics of Plantago lanceolata Leaves and P. ovata Husk. [PDF]

Metabolites
Pedišius V, Stratton T, Taujenis L, Jakštas V, Tamošiūnas V.   +4 more
europepmc   +1 more source

Preclinical evaluation of antitumor activity and toxicity of TROP2-specific CAR-T cells for treatment of triple-negative breast cancer. [PDF]

J Immunother Cancer
Sun S, Wang X, Chen Y, Liang Z, Nian Z, Xu W, Wang W, Yan L, Wu F, Wu H, Jia Y, Zhang L, Zhang S, Xu Y, Ma X.   +14 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Reachability logic: an efficient fragment of transitive closure logic

Logic Journal of IGPL, 2000
Reachability logic (\({\mathcal RL}\)) is defined. It is a fragment of \(\text{FO}^2(\text{TC})\) (with Boolean variables), i.e. a fragment of the restriction of first-order logic with transitive closure in which only two variables may appear in a formula. It is shown that PDL and \(\text{CTL}^\star\) can be embedded in reachability logic.
Alechina, Natasha, Immerman, Neil
openaire   +2 more sources