Results 101 to 110 of about 1,624,256 (334)
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
A specialization of definitions in common knowledge logic
Lietuvos Matematikos Rinkinys, 2011 It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys +1 more
doaj +1 more source
Non-termination of Dalvik bytecode via compilation to CLP
, 2014 We present a set of rules for compiling a Dalvik bytecode program into a logic program with array constraints. Non-termination of the resulting program entails that of the original one, hence the techniques we have presented before for proving non ...
Mesnard, Fred, Payet, Etienne
core
PICALM::MLLT10 translocated leukemia
FEBS Letters, EarlyView.This comprehensive review of PICALM::MLLT10 translocated acute leukemia provides an in‐depth review of the structure and function of CALM, AF10, and the fusion oncoprotein (1). The multifaceted molecular mechanisms of oncogenesis, including nucleocytoplasmic shuttling (2), epigenetic modifications (3), and disruption of endocytosis (4), are then ...
John M. Cullen +7 more
wiley +1 more source
Faithful (meta-)encodings of programmable strategies into term rewriting systems [PDF]
, 2017 Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transformations one wants to operate and rewriting strategies are used to con ...
Cirstea, Horatiu +2 more
core +3 more sources
Cell wall target fragment discovery using a low‐cost, minimal fragment library
FEBS Letters, EarlyView.LoCoFrag100 is a fragment library made up of 100 different compounds. Similarity between the fragments is minimized and 10 different fragments are mixed into a single cocktail, which is soaked to protein crystals. These crystals are analysed by X‐ray crystallography, revealing the binding modes of the bound fragment ligands.
Kaizhou Yan +5 more
wiley +1 more source
De la interpretación y la revocación de los Actos Unilaterales en estricto sentido
ACDI: Anuario Colombiano de Derecho Internacional, 2008 It is with increasing frequency that States undertake unilateralacts. For that reason this article undertakes to demonstrate thedevelopment of unilateral acts of States in the heart of theInternational Law Commission of the United Nations - ILC.
Víctor Rodríguez Cedeño
doaj
TERMINATION (LIQVIDATION) OF SPORT ASSOCIATION [PDF]
Sport Mont, 2008 In this article the author is addressing to the issue of termination of Sport Association. This issue is not regulated in adequate way and that’s why it is of particular importance.
Miroslav Milosavljević
doaj
Septic Shock after Intracervical Laminaria Insertion
Taiwanese Journal of Obstetrics & Gynecology, 2006 Objective: Laminaria placement is seldom thought to be associated with postabortal sepsis Case Report: A nulliparous woman presented with high fever, low blood pressure, and signs of infection during artificial legal abortion with laminaria placement for
Shin-Yu Lin +4 more
doaj +1 more source
Polygraphs for termination of left-linear term rewriting systems [PDF]
, 2007 We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni's polygraphs, a kind of rewriting systems on algebraic circuits.
Guiraud, Yves
core +3 more sources