Results 91 to 100 of about 1,353,441 (297)

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, Mathew Stanley, Olawale Raimi, Andrew T. Ferenbach, Helge C Dorfmueller, Daan M. F. van Aalten   +5 more
wiley   +1 more source

A new MR-SAD algorithm for the automatic building of protein models from low-resolution X-ray data and a poor starting model

IUCrJ, 2018
Determining macromolecular structures from X-ray data with resolution worse than 3 Å remains a challenge. Even if a related starting model is available, its incompleteness or its bias together with a low observation-to-parameter ratio can render the ...
Pavol Skubák, Demet Araç, Matthew W. Bowler, Ana R. Correia, Andre Hoelz, Sine Larsen, Gordon A. Leonard, Andrew A. McCarthy, Sean McSweeney, Christoph Mueller-Dieckmann, Harm Otten, Gabriel Salzman, Navraj S. Pannu   +12 more
doaj   +1 more source

The (Glg)ABCs of cyanobacteria: modelling of glycogen synthesis and functional divergence of glycogen synthases in Synechocystis sp. PCC 6803

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, Dimitrios Bekiari, Sofia Doello, Karl Forchhammer   +3 more
wiley   +1 more source

Refinement Calculus of Reactive Systems

, 2014
Refinement calculus is a powerful and expressive tool for reasoning about sequential programs in a compositional manner. In this paper we present an extension of refinement calculus for reactive systems.
Preoteasa, Viorel, Tripakis, Stavros
core   +1 more source

Organ‐specific redox imbalances in spinal muscular atrophy mice are partially rescued by SMN antisense oligonucleotides

FEBS Letters, EarlyView.
We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley   +1 more source

Humane Endpoints in Swiss Webster Mice Infected with Toxoplasma gondii RH Strain

Animals
The highly virulent Toxoplasma gondii RH strain is maintained through successive passages in mice, but there is still a lack of studies that refine these procedures from a 3Rs perspective, where humanitarian ideals aim to minimize the stress, pain, or ...
Igor Falco Arruda, Maria Regina Reis Amendoeira, Thamires Francisco Bonifácio, Clarissa Nascimento da Silveira Raso, Hyago da Silva Medeiros Elidio, Jhônata Willy Rocha Coelho, Luiz Cesar Cavalcanti Pereira da Silva, Isabele Barbieri dos Santos   +7 more
doaj   +1 more source

Shared Event Composition/Decomposition in Event-B

, 2010
The construction of specifications is often a combination of smaller sub-components. Composition and decomposition are techniques that support reuse and allow us to formally combine sub-components through refinement steps while reusing their properties ...
Butler, Michael, Silva, Renato
core  

Transferrin receptor 1‐mediated iron uptake supports thermogenic activation in human cervical‐derived adipocytes

FEBS Letters, EarlyView.
In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai, Mizuki Seo, Gyath Karadsheh, Fachrur Rizal Mahendra, Máté Á Demény, Ferenc Győry, János András Mótyán, László Fésüs, Endre Kristóf, Rini Arianti   +9 more
wiley   +1 more source

Refinement

, 2020
As a technical term in Computer Science, “refinement” is understood as a relation between systems (programs, channels.. ) that, in its most austere form, is simply preservation of properties. © Springer Nature Switzerland AG 2020.
Alvim, M.S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C., Smith, G.   +5 more
openaire   +3 more sources

Meeting Report of the 34th Annual Meeting of the Academy of Surgical Research: Summary of Presentations, Labs, and Workshops, Focusing on Experimental Surgery, Charleston, SC, September 26–28, 2018

Journal of Investigative Surgery, 2019
The 34th Annual Meeting of the Academy of Surgical Research was held from September 26–28, 2018 in Charleston, South Carolina. The Academy’s community joins together at the annual meeting to promote and advance professional and academic standards ...
Melanie L. Graham, Leslie J. Stoll, Jon Ehrmann   +2 more
doaj   +1 more source