β-Lactams were diastereoselectively formed by the reaction of SF5-containing aldimines, or an SF5-containing ketimine, with benzyloxyketene in a conrotatory ring closure process. Imine formation and cyclization were possible in spite of the acidification of protons on the carbon bound to SF5. The reactions of the aldimines demonstrated very good 1,2-lk diastereoselectivity, however lack of ster...

This paper describes the design, implementation and deployment of LineKing (LK), a crowdsourced line wait-time monitoring service. LK consists of a smartphone component (that provides automatic, energy-efficient, and accurate wait-time detection), and a cloud backend (that uses the collected data to provide accurate wait-time estimation). LK is used on a daily basis by hundreds of users to moni...

In this paper we ask the question What must be added to rst order logic plus least xed point to obtain exactly the polynomial time properties of unordered graphs We consider the languages Lk consisting of rst order logic restricted to k variables and Ck consisting of Lk plus counting quanti ers We give e cient canonization algorithms for graphs characterized by Ck or Lk It follows from known re...

Let Lk be the k-variable fragment of first-order logic, for some k 3. We prove that equivalence of finite structures in Lk has no P-computable canonization function unless NP P=poly. The latter assumption is considered as highly unlikely; in particular it implies a collapse of the polynomial hierarchy. The question for such a canonization function came up in the context of the problem of whethe...

In this paper, we investigate translations from a classical cut-free sequent calculus LK into an intuitionistic cut-free sequent calculus LJ. Translations known from the literature rest on permutations of inferences in classical proofs. We show that, for some classes of rst-order formulae, all minimal LJ-proofs are non-elementary but there exist short LK-proofs of the same formula. Similar resu...

CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is performed in the following way: An unsatisfiable set of clauses C is assigned to a given LK-proof Π. Any resolution refutation ψ of C then serves as a skeleton for an LK-proof Σ of the original end-sequent, containing...

We measure the evolution of the rest-frame K-band Fundamental Plane from z = 1 to the present by using IRAC imaging of a sample of early-type galaxies in the Chandra Deep Field-South at z ∼ 1 with accurately measured dynamical masses. We find that M/LK evolves as ∆ ln (M/LK) = (−1.18± 0.10)z, which is slower than in the B-band (∆ ln (M/LB) = (−1.46 ± 0.09)z). In the B-band the evolution has bee...

Novel potential inhibitors of the postsqualene portion of cholesterol synthesis were screened in HepG2 cells. 2-(4-Phenethylpiperazin-1-yl)-1-(pyridine-3-yl)ethanol (LK-980) was identified as a prospective compound and was characterized further in cultures of human primary hepatocytes from seven donors. In vitro kinetic measurements show that the half-life of LK-980 is at least 4.3 h. LK-980 do...

The kinetic characteristics of the ouabain-sensitive (Na + K) transport system (pump) of high potassium (HK) and low potassium (LK) sheep red cells have been investigated. In sodium medium, the curve relating pump rate to external K is sigmoid with half maximal stimulation (K(1/2)) occurring at 3 mM for both cell types, the maximum pump rate in HK cells being about four times that in LK cells. ...

High and low molecular weight kininogens (HK and LK) modulate inflammatory responses, serve as precursors of kinins, inhibit cysteine proteinases, and modulate thrombin activation of platelets. Differential splicing yields two different mRNAs for HK and LK. We report the first molecular characterization of a kininogen gene mutation in a patient lacking LK and HK. No gross DNA deletion or insert...