Results 261 to 270 of about 1,803,872 (361)

Modal Logic and the two-variable fragment (Revised Version)

, 2001
Carsten Lutz, Ulrike Sattler, Frank Wolter   +2 more
openalex   +2 more sources

MS2DECIDE: Aggregating Multiannotated Tandem Mass Spectrometry Data with Decision Theory Enhances Natural Products Prioritization

Chemistry–Methods, EarlyView.
Tandem mass spectrum to decision (MS2DECIDE) leverages decision theory and expert knowledge to aggregate the outputs of three widely used annotation tools (GNPS, Sirius, and ISDB‐LOTUS) and compute a recommendation for targeting natural products with regard to their potential novelty.
Yassine Mejri, Olivier Cailloux, Elvis Otogo N’Nang, Blandine Séon‐Méniel, Jean‐François Gallard, Pierre Le Pogam, Meltem Öztürk‐Escoffier, Mehdi A. Beniddir   +7 more
wiley   +1 more source

Advancements in DNA-Driven Precision Modulation of Cell Surface Receptor for Programmable Cellular Functions. [PDF]

Adv Sci (Weinh)
Nan H, Cai M, Wang Y, Wang HH, Nie Z.
europepmc   +1 more source

Sequential Ester Homologation–Nucleophile‐Guided Functionalization: A Chemoselective Access to Thioesters, Amides, and Acids

Chemistry–Methods, EarlyView.
The homologation of esters—in the presence of a lithium carbenoid—to thioesters, amides, and carboxylic acid is reported. By controlling the tetrahedral intermediate collapsing and promoting a series of rearrangements ultimately leading to a high electrophilic ketene, the subsequent incorporation of S‐, N‐, and O‐nucleophilic elements furnishes the ...
Davide Castiglione, Alberto Nardi, Margherita Miele, Laura Castoldi, Vittorio Pace   +4 more
wiley   +1 more source

RNAi-based Boolean gates in the yeast Saccharomyces cerevisiae. [PDF]

Front Bioeng Biotechnol
Tian X, Volkovinskiy A, Marchisio MA.
europepmc   +1 more source

A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic

, 2003
Misao Nagayama, Mitsuhiro Okada
openalex   +1 more source

Automating Synthetic Organic Electrochemistry: Concepts and Advancements

Chemistry–Methods, EarlyView.
A tutorial review on how to build an automated electrochemical flow platform, including the most relevant progresses and the future directions of the field, is studied. Automated electrochemical platforms are attracting attention for their potential in streamlining reaction preparation, electrolysis, and analysis to generate large datasets in a fast ...
Eduardo Rial‐Rodríguez, C. Oliver Kappe, Gabriele Laudadio   +2 more
wiley   +1 more source

AND Logic Based on Suppressor tRNAs Enables Stringent Control of Sliding Base Editors in <i>Pseudomonas putida</i>. [PDF]

ACS Synth Biol
Velázquez E, de Lorenzo V.
europepmc   +1 more source

A MODULAR BISIMULATION CHARACTERISATION FOR FRAGMENTS OF HYBRID LOGIC

Guillermo Badía, Daniel Gâinâ, A. Knapp, Tomasz Kowalski, Martin Wirsing   +4 more
openalex   +1 more source

Decision procedures for quantified fragments of reflexive common knowledge logic

, 2004
Regimantas Pliuškevičius
openalex   +2 more sources