Results 31 to 40 of about 243,504 (265)
, 1993 In this paper we improve a model checking algorithm based on the tableau method of Stifling and Walker. The algorithm proves whether a property expressed in the modal mu-calculus holds for a state in a finite transition system. It makes subsequent use of subtableaux which were calculated earlier in the proof run.
openaire +2 more sources
Obtaining Usable Products by Processing Converter Flue Dust from Copper Production
Engineering ProceedingsCopper converter flue dust (CFD) is one of the solid wastes generated during the pyrometallurgical production of secondary copper. Due to its fine-grained character and its content of toxic heavy metals, CFD is classified as hazardous waste. CFD contains
Alexandra Kollova +4 more
doaj +1 more source
FEBS Letters, EarlyView.This review focuses on the role of autophagy and mitophagy in maintaining pancreatic β‐cell function and homeostasis. We discuss how genetic defects affecting these pathways contribute to the development of type 1, type 2, monogenic, and gestational diabetes. We further explore their potential as therapeutic targets. Created in BioRender.
Yunkyeong Lee +2 more
wiley +1 more source
Golgi enzymes are retrieved from the plasma membrane to the trans‐Golgi network
FEBS Letters, EarlyView.Golgi enzymes are traditionally considered resident proteins retained within the Golgi apparatus. Here, we demonstrate that a subset transiently reaches the cell surface and is subsequently retrieved to the trans‐Golgi network via retrograde transport. Using a nanobody‐based toolkit, we uncover a dynamic trafficking cycle of several Golgi enzymes.
Dominik P. Buser, Tina Junne
wiley +1 more source
Effect of the Recycled Rubber on the Properties of Recycled Rubber/Recycled Polypropylene Blends
Ingeniería y Ciencia, 2015 This study evaluates the influence of recycled rubber (RR) with a specific particle size in the properties of blends, blended recycled polypropylene/polyethylene (RPP) and RR (RPP/RR). The proportions of RPP/RR employed to obtain the blends were as follows: 90/10 (PP90), 75/25 (PP75), 60/40 (PP60) and 45/55 (PP45).
Ciro Zuleta, Erwin +3 more
openaire +6 more sources
Translophagy—A potential link between autophagy impairment and translational errors
FEBS Letters, EarlyView.Neurodegenerative diseases are characterised by the accumulation of abnormal proteins and protein aggregates, but their origin often remains unknown. We propose that selective autophagy removes damaged protein‐making machinery, preventing errors during protein synthesis.
Mykola V. Korolchuk +11 more
wiley +1 more source
The Shewanella oneidensis Fic enzyme SoFic targets the switch‐I region of EF‐Tu for AMPylation
FEBS Letters, EarlyView.Fic enzymes mediate diverse post‐translational modifications across all domains of life, including AMPylation. Prokaryotic EF‐Tu can be AMPylated and deAMPylated by the conserved Fic enzyme SoFic. Structural and biochemical approaches were used to characterize the effect of AMPylation on EF‐Tu, SoFic's enzymatic activities, and the enzyme‐target ...
Svenja Runge +6 more
wiley +1 more source
Solid Oxide Fuel Cell with Anodes using Proton Conductor (Barium-Cerium/Yttrium Oxide)
Journal of Thermal Science and Technology, 2009 A new anode with a proton conductor (Barium-Cerium/Yttrium oxide (BCY): BaCe0.8Y0.2O3-δ) was proposed for a high-power, solid-oxide fuel cell. In the new anode, the proton-conducting material was included in a conventional anode made of nickel (Ni)
Shinichi YANO +4 more
doaj +1 more source
FEBS Letters, EarlyView.Synechocystis strains deficient in succinate dehydrogenase (SDH) secrete more succinate than the WT under dark anaerobic conditions, supporting that SDH then primarily acts as SDH, not as a fumarate reductase. L‐aspartate oxidase (Laspo) from Synechocystis is functional under anaerobic conditions, reducing fumarate to succinate.
Kateryna Kukil +3 more
wiley +1 more source
Extraction of Lead from Hydrometallurgical Processing of Copper Shaft Flue Dust
Engineering ProceedingsPyrometallurgical copper production is carried out in thermal aggregates. Input waste materials with a copper content between 5% and 99% Cu are treated in the individual aggregates.
Michaela Ruzickova +5 more
doaj +1 more source