Results 71 to 80 of about 546,186 (309)

Experience With Performing Rheocarna Therapy via the Single‐Needle Method for Treatment of Chronic Limb‐Threatening Ischemia

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction This study investigated the safety and efficacy of single‐needle Rheocarna therapy for chronic limb‐threatening ischemia (CLTI) with wounds. Methods Six patients with CLTI involving ulcers unresponsive to revascularization underwent single‐needle Rheocarna treatment.
Yasutaka Yamauchi, Rie Tanaka, Reona Kawahira, Shingo Nabeta, Kouhei Naoi, Kazuhito Kitajima, Akira Wada, Tomonari Takagi, Norihiko Ohura, Akira Miyamoto   +9 more
wiley   +1 more source

Timed Runtime Monitoring for Multiparty Conversations [PDF]

, 2014
We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial ...
Yoshida, N, Yoshida, Nobuko, Neykova, R, Bocchi, L, Bocchi, Laura, Neykova, Rumyana, Laura Bocchi, Nobuko Yoshida, Rumyana Neykova   +8 more
core   +1 more source

Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions (Artifact)

, 2023
The artifact for the "Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions" paper. OOPSLA 2023. Paper Abstract: The ubiquity of distributed agreement protocols, such as consensus, has galvanized ...
Jaber, Nouraldin, Wagner, Christopher, Samanta, Roopsha   +2 more
core   +1 more source

Analysis of Formal Concepts for Verification of Pests and Diseases of Crops Using Machine Learning Methods

IEEE Access
This article is devoted to a set of important areas of research: the analysis of formal representations and verification of pests and pathogens affecting crops using spectral brightness coefficients (SBR) for the period from 2021 to 2023.
Jamalbek Tussupov, Moldir Yessenova, Gulzira Abdikerimova, Aidyn Aimbetov, Kazbek Baktybekov, Gulden Murzabekova, Ulzada Aitimova   +6 more
doaj   +1 more source

Prognosis of Long‐Term Continuous Renal Replacement Therapy and the Impact of Combined Continuous Intravenous Sodium Infusion Therapy

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Patients requiring long‐term continuous renal replacement therapy (CRRT) generally have poor prognoses. This study evaluated whether adding continuous intravenous sodium infusion (cIVNa) is associated with improved hemodynamics and outcomes in patients undergoing long‐term CRRT for ≥ 7 days.
Akinori Yamaguchi, Atsuyoshi Mita, Kosuke Sonoda, Makoto Harada, Koji Hashimoto, Hiroshi Imamura, Yuji Kamijo   +6 more
wiley   +1 more source

Can artificial intelligence solve the blockchain oracle problem? Unpacking the challenges and possibilities

Frontiers in Blockchain
The blockchain oracle problem, which refers to the challenge of injecting reliable external data into decentralized systems, remains a fundamental limitation to the development of trustless applications.
Giulio Caldarelli
doaj   +1 more source

Enteropathogenic E. coli shows delayed attachment and host response in human jejunum organoid‐derived monolayers compared to HeLa cells

FEBS Letters, EarlyView.
Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi, Pilar Samperio Ventayol, Natalie Burkard, Nicolas Schlegel, Carmen Aguilar, Sina Bartfeld   +5 more
wiley   +1 more source

Integration of Zero Trust and Blockchain in SDN networks: An overview of threats and methods of their elimination

Ìнформаційні технології та компʼютерна інженерія
The purpose of the study was to identify theoretically sound methods for integrating Zero Trust and blockchain concepts to improve the overall security of software-defined networks (SDN). The research was based on the development of a theoretical network
O. Pidpalyi, O. Romanov
doaj   +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

A Method for Conveying Confidence in iNaturalist Observations: A Case Study Using Non‐Native Marine Species

Ecology and Evolution
Concerns and limitations relating to data quality, reliability and accuracy hamper the use of citizen science initiatives in research and conservation. Valued for their cost‐effective and large data acquisition potential, citizen science platforms such ...
Sarah J. Ackland, David M. Richardson, Tamara B. Robinson   +2 more
doaj   +1 more source