Results 71 to 80 of about 41,764,182 (312)
Automated Analysis of Fault-Tolerance in Distributed Systems [PDF]
Formal Methods in System Design, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Scott D. Stoller, Fred B. Schneider
openaire +3 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction This final analysis of a multicenter, prospective postmarketing surveillance study evaluated the safety of daprodustat in patients with chronic kidney disease anemia in routine clinical practice in Japan. Methods Patients who initiated daprodustat between September 2020 and July 2022 were registered.
Tadao Akizawa +7 more
wiley +1 more source
A LOTOS extension for the performance analysis of distributed systems [PDF]
IEEE/ACM Transactions on Networking, 1994 Performance analysis and formal correctness verification of computer communication protocols and distributed systems have traditionally been considered as two separate fields. However, their integration can be achieved by using formal description techniques as paradigms for the development of performance models. This paper presents a novel extension of
AJMONE MARSAN, Marco Giuseppe +4 more
openaire +3 more sources
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
Analysis of DC voltage oscillation mechanism in AC/DC hybrid distribution system
The Journal of Engineering, 2019 DC voltage oscillation occurs more and more frequently in voltage source converter (VSC)-based AC/DC hybrid distribution system (AC/DC HDS). However, currently, the explanation of the oscillation mechanism is not clear enough.
Luyang Li +4 more
doaj +1 more source
The human gut microbiome across the life course
FEBS Letters, EarlyView.Despite significant individual variation and continuous change throughout life, the human gut microbiome follows some life stage‐specific trends. This article provides a brief overview of how gut microbiome composition shifts across different phases of life. Created in BioRender. Özkurt, E. (2026) https://BioRender.com/8q4nrnc.
Alise J. Ponsero +4 more
wiley +1 more source
Techno-economic analysis of household and community energy storage for residential prosumers with smart appliances [PDF]
, 2018 The emergence of Decentralized Energy Resources (DERs) and rising electricity demand are known to cause grid instability. Additionally, recent policy developments indicate a decreased tariff in the future for electricity sold to the grid by households ...
van der Stelt, Sander +9 more
core +1 more source
FEBS Letters, EarlyView.Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai +4 more
wiley +1 more source
, 1985 n.p.No abstract availablehttp://gbic.tamug.edu/request ...
Statistical Analysis System
core +1 more source
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source