Results 101 to 110 of about 446,349 (194)

Translational reading frame predicts the pathogenicity of C-terminal frameshift deletions in MeCP2. [PDF]

open access: yesElife
Guy J   +7 more
europepmc   +1 more source

Environmentally Benign Synthesis of Enamides via Waste-Free Catalytic Addition of Amides to Terminal Alkynes

open access: yes, 2010
A number of natural products are known that contain an enamide as a key structural feature. This functionality is a very important subunit in various biologically active products and pharmaceutical drug lead compounds. In addition, enamides serve as highly versatile synthetic intermediates, particularly in the pericyclic reaction, formation of ...
openaire   +1 more source

Proving Termination via Measure Transfer in Equivalence Checking

open access: yes
Program verification can benefit from proofs with varied induction schemas. A natural class of induction schemas, functional induction, consists of those derived from definitions of functions.
Kunčak, Viktor   +3 more
core  

Home - About - Disclaimer - Privacy