Results 61 to 70 of about 7,063,405 (274)
In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS
FEBS Letters, EarlyView.We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka +11 more
wiley +1 more source
Verification of functional models of chemical manufacturing
Тонкие химические технологии, 2019 A generalized algorithm for the verification of functional models and the rules for the verification of diagrams related by levels of detail were developed in this paper.
E. V. Burlyaeva +3 more
doaj +1 more source
Formalizing Abstract Algebra in Constructive Set Theory [PDF]
, 2003 We present a machine-checked formalization of elementary abstract algebra in constructive set theory. Our formalization uses an approach where we start by specifying the group axioms as a collection of inference rules, defining a logic for groups.
Hickey, Jason, Yu, Xin
core
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
Thinking in Patterns and the Pattern of Human Thought as Contrasted with AI Data Processing
Information, 2018 We propose that the ability of humans to identify and create patterns led to the unique aspects of human cognition and culture as a complex emergent dynamic system consisting of the following human traits: patterning, social organization beyond that of ...
Robert K. Logan, Marlie Tandoc
doaj +1 more source
CAAI Transactions on Intelligence Technology, 2020 This study proposed the concepts of a multi-valued interval neutrosophic linguistic soft set (MVINLSS) by integrating the concepts of multi-valued interval neutrosophic soft set and linguistic set.
Nor Liyana Amalini Mohd Kamal +3 more
doaj +1 more source
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
On the Practical and Theoretical Possibility of Exploiting Science Fiction for Urban Planning
European Journal of Creative Practices in Cities and Landscapes, 2020 In recent years, cities and districts, such as Songdo City in South Korea, King Abdullah Economic City in Saudi Arabia, or Singapore, have been planned, built and rebuilt in adherence to the guiding principle of a “Smart City”.
Peter Klimczak
doaj +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
The Journal of Engineering, 2019 Hybrid AC/DC distribution network has developed rapidly owing to its convenience for renewable energy integration, thus the authors are interested in quantifying the impact of uncertainty from renewable power on system static performance.
Jianing Gao +5 more
doaj +1 more source