Results 71 to 80 of about 991,015 (269)

Conformance of Distributed Systems [PDF]

, 2003
This paper introduces a new conformance relation between a specification and an implementation of a distributed system. It is based on a local view which allows to avoid or reduce the state explosion problem. The conformance relation is defined via Petri nets and shows not only equivalence between transitions but also equivalence between local states ...
Maximilian Frey, Bernd-Holger Schlingloff   +1 more
openaire   +1 more source

Comparative Evaluation of Hemodiafiltration, Hemoperfusion, and Standard Hemodialysis on Efficacy, Inflammatory Control, Dialysis Adequacy, and Safety in End‐Stage Renal Disease: A Prospective Observational Study

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo, Weisi Dai, Jie Mao, Mei Ye, Xingshan Lu, Xiaocui Zhang   +5 more
wiley   +1 more source

A New Technology for Utilization of Biomass Hydrolysis Residual Humins for Acetic Acid Production

BioResources, 2016
Humins are a major byproduct formed from acid-catalyzed biomass hydrolysis and are usually considered as a low-value material. In this work, humins were completely degraded by a two-step technology, involving alkaline-catalytic hydrothermal treatment ...
Shimin Kang, Gang Zhang, Qifei Yang, Junling Tu, Xiaojuan Guo, Frank G. F. Qin, Yongjun Xu   +6 more
doaj   +1 more source

Timers for Distributed Systems

Electronic Notes in Theoretical Computer Science, 2006
AbstractWe deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed π-calculus. This model extends distributed π-calculus with timers, transforming the communication channels into temporary resources. Distributed π-calculus describes located interactions between processes with restricted access to
Gabriel Ciobanu, Cristian Prisacariu
openaire   +1 more source

Safety of Daprodustat for the Treatment of Chronic Kidney Disease Anemia: Final Analysis of a Multicenter Postmarketing Surveillance Study in Japan

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, Kyomi Kanaya, Kiyomi Aizawa, Masanori Onoki, Hirofumi Ozeki, Kazuko Suzuki, Ai Hayashi, Tomohiko Asamura   +7 more
wiley   +1 more source

Reciprocal control of viral infection and phosphoinositide dynamics

FEBS Letters, EarlyView.
Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley   +1 more source

Power system effects and mitigation recommendations for DER cyberattacks

IET Cyber-Physical Systems, 2019
Extensive deployment of interoperable distributed energy resources (DER) is increasing the power system cyber security attack surface. National and jurisdictional interconnection standards require DER to include a range of autonomous and commanded grid ...
Jay Johnson, Jimmy Quiroz, Jimmy Quiroz, Ricky Concepcion, Felipe Wilches-Bernal, Matthew J. Reno, Matthew J. Reno   +6 more
doaj   +1 more source

Spatiotemporal and quantitative analyses of phosphoinositides – fluorescent probe—and mass spectrometry‐based approaches

FEBS Letters, EarlyView.
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho, Shin Morioka, Junko Sasaki, Takehiko Sasaki   +3 more
wiley   +1 more source

Explainable Artificial Intelligence for Agile Mediation Propensity Assessment

IEEE Access
Italian Justice has recently added mechanisms to exploit mediation process. One of the most critical aspects is a reliable identification of litigations which can be successfully mediated outside court procedures.
Enrico Collini, Paolo Nesi, Claudia Raffaelli, Francesco Scandiffio   +3 more
doaj   +1 more source

Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?

FEBS Letters, EarlyView.
This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes, Guilherme M. Azevedo, Amanda P. Barcellos, Diana Bahia   +3 more
wiley   +1 more source