Results 101 to 110 of about 2,701,393 (358)
Obtaining Formal Models through Non-Monotonic Refinement [PDF]
, 2007 When designing a model for formal verification, we want to\ud be certain that what we proved about the model also holds for the system we modelled. This raises the question of whether our model represents the system, and what makes us confident about ...
Mader, A.H. +3 more
core +1 more source
Sequence determinants of RNA G‐quadruplex unfolding by Arg‐rich regions
FEBS Letters, EarlyView.We show that Arg‐rich peptides selectively unfold RNA G‐quadruplexes, but not RNA stem‐loops or DNA/RNA duplexes. This length‐dependent activity is inhibited by acidic residues and is conserved among SR and SR‐related proteins (SRSF1, SRSF3, SRSF9, U1‐70K, and U2AF1).
Naiduwadura Ivon Upekala De Silva +10 more
wiley +1 more source
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
International Journal of Disaster Risk ScienceThis research relied on an extended theory of planed behavior, introducing risk perception as a predictor of the willingness to implement earthquake preparedness behavior, and examining its relationships with the traditional components of the theory. The
Daniela Dobre +2 more
doaj +1 more source
Journal of Glaciology, 2017 Ice-shelf basal melting is the largest contributor to the negative mass balance of the Antarctic ice sheet. However, current implementations of ice/ocean interactions in ice-sheet models disagree with the distribution of sub-shelf melt and freezing rates
JORGE BERNALES +2 more
doaj +1 more source
Sets and indices in linear programming modelling and their integration with relational data models [PDF]
, 1993 LP models are usually constructed using index sets and data tables which are closely related to the attributes and relations of relational database (RDB) systems. We extend the syntax of MPL, an existing LP modelling language, in order to connect it to a
Kristjansson, B +3 more
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
Hittite Journal of Science and Engineering, 2018 M achines like air conditioners and refrigerators, which cause significant energy consumption in countries around the world, are widely used in industry and residences.
Mert Sinan Turgut, Mustafa Turhan Çoban
doaj +1 more source
Development and validation of detailed building, plant and controller modelling to demonstrate interactive behaviour of system components [PDF]
, 2009 As plant modelling becomes capable of more complexity and detailed resolution, new opportunities arise for the virtual evaluation of discrete plant components such as flow control and energy conversion devices, and controllers.
Cockroft, Jeremy +5 more
core
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