Results 101 to 110 of about 2,267,017 (307)
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
A Process-Oriented Architecture for Complex System Modelling [PDF]
A fine-grained massively-parallel process-oriented model of platelets (potentially artificial) within a blood vessel is presented. This is a CSP inspired design, expressed and implemented using the occam-pi language. It is part of the TUNA pilot study on
Ritson, Carl G., Welch, Peter H.
core
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to
Abrial, Jean-Raymond +5 more
core +1 more source
Sequence determinants of RNA G‐quadruplex unfolding by Arg‐rich regions
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
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
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
Modelling of a Gas Cap Gas Lift System [PDF]
Imperial Users ...
Okenwa, Junior Chukwudi +1 more
core
Modelling the Semantic Web using a Type System
We present an approach for modeling the Semantic Web as a type system. By using a type system, we can use symbolic representation for representing linked data.
Ciobanu G., Moten R.
core +1 more source
Cell wall target fragment discovery using a low‐cost, minimal fragment library
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
An Approach to Improving the 4DEnVar‐Initialized Deterministic Prediction Skill for Global Weather
Global deterministic numerical weather predictions (DNWPs) initialized from the ensemble mean analysis of four‐dimensional ensemble‐variational (4DEnVar) data assimilation are usually worse than those initialized by four‐dimensional variational (4DVar ...
Shujun Zhu +14 more
doaj +1 more source

