Ubiquitous in the world’s oceans, dinoflagellates are capable of fantastic displays of bright-blue bioluminescence. This luminosity is a consequence of the oxidation of an open-chain tetrapyrrole, dinoflagellate luciferin (LH2), by the enzyme dinoflagellate luciferase (LCF). While many other bioluminescence systems are well understood, the reaction mechanism of LCF remains enigmatic. A comprehe...

Many automatic theorem-provers rely on rewriting. Using theorems as rewrite rules helps to simplify the subgoals that arise during a proof. LCF is an interactive theorem-prover intended for reasoning about computation. Its implementation of rewriting is presented in detail. LCF provides a family of rewriting functions, and operators to combine them. A succession of functions is described, from ...

هیدروفرمینگ لوله به‌طور گسترده، در تولید قطعات ساختاری اتومبیل استفاده می‌شود. یکی از خصوصیات تولید‌شده با این فرایند، نسبت استحکام به وزن بالا می‌باشد. لولۀ فشار پایین، روش‌های پیشنهاد‌شده برای حل مشکلات قبیل نیاز بالای سیال و آب‌بندی روش انجام پایین لوله، شبیه فشردن جسم جامد است آن برخلاف بالا، قالب بالایی طول فرایند ثابت نبوده هم‌زمان اعمال داخلی حرکت کرده را تحت قرار می‌دهد. مقاله، لوله‌های...

The present work demonstrates a micromechanical technique to investigate the low cycle fatigue (LCF) behavior of Ni microbeams under fully reversed bending loadings. extends range measured lives from previously reported for high and very (HCF/VHCF) characterization in same microbeams. results highlight significant differences slope stress strain-life crack propagation rates that differ an avera...

A packet-based least cushion first/most urgent first (PB-LCF/MUF) maximal matching algorithm is presented in this paper for combined input and output queued (CIOQ) switches with multiple traffic classes. The main benefit of using a CIOQ switch is to alleviate memory bandwidth requirement while providing quality of service (QoS) guarantee. It was proved that, with a speedup factor of 2, a CIOQ s...

One way to ensure correctness of the inference performed by computer theorem provers is to force all proofs to be done step by step in a simple, more or less traditional, deductive system. Using techniques pioneered in Edinburgh LCF, this can be made palatable. However, some believe such an approach will never be eecient enough for large, complex proofs. One alternative, commonly called reeecti...

In this paper, we prove the following two results: First, we study a class of conformally invariant operators P and their related conformally invariant curvatures Q on even-dimensional Riemannian manifolds. When the manifold is locally conformally flat(LCF) and compact without boundary, Q-curvature is naturally related to the integrand in the classical Gauss-Bonnet-Chern formula, i.e., the Pfaf...