Results 31 to 40 of about 88,794 (289)

Multilevel Contracts for Trusted Components [PDF]

Electronic Proceedings in Theoretical Computer Science, 2010
This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness.
Mohamed Messabihi, Pascal André, Christian Attiogbé   +2 more
doaj   +1 more source

Establishing an Apheresis Medicine Program in a Resource‐Constrained Setting: A 5‐Year Experience From Lagos, Nigeria

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Establishing a comprehensive apheresis medicine program in a resource‐constrained setting presents significant structural, financial, and logistical challenges. Despite the growing clinical importance of apheresis services globally, published experience from sub‐Saharan Africa remains sparse.
Folasade Adelekan‐Popoola, Shakirat Gold‐Olufadi, Olufunto Olufela Kalejaiye, Abdullateef Ogala, Rasheed A. Balogun   +4 more
wiley   +1 more source

Aceleradores e multiprocessadores em chip: o impacto da execução fora de ordem na verificação de funcionalidade e de consistência [PDF]

, 2012
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2012Este trabalho aborda duas classes de problemas enfrentados na verificação de projetos que exibem ...
Freitas, Leandro da Silva
core  

Design and application of two consistency verification methods for weather radar networks in the South China region [PDF]

Atmospheric Measurement Techniques
The observational consistency between ground-based weather radars significantly impacts the quality of mosaic products and severe convection identification products.
H. Hu, S. Pei, L. Wu, N. Shao, C. Zhang, H. Wen, Y. Liu   +6 more
doaj   +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

Verificação de consistência de memória para sistemas integrados multiprocessados [PDF]

, 2011
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação.O multiprocessamento em chip (CMP) mudou o panorama arquitetural dos servidores e computadores pessoais e agora está ...
Rambo, Eberle Andrey
core  

Poster: Automatic Consistency Checking of Requirements with ReqV

, 2019
In the context of Requirements Engineering, checking the consistency of functional requirements is an important and still mostly open problem. In case of requirements written in natural language, the corresponding manual review is time consuming and ...
Pulina, Luca, Luca Pulina, Vuotto, Simone, Armando Tacchella, Narizzano, Massimo, Tacchella, Armando, Massimo Narizzano, Simone Vuotto   +7 more
core   +2 more sources

Feasibility exploration analysis of AR virtual verification method of civil aircraft maintenance program

Hangkong gongcheng jinzhan
The difficulty of verifying civil aircraft manuals lies in the guarantee of verification resources，and there is an urgent need to develop new verification methods to achieve efficient and low-cost manual verification.
SUN Hongli, WANG Hongchao, ZHANG Yajie, QIAO Wanxin, ZHAO Xincan   +4 more
doaj   +1 more source

Research on Blockchain Consistency Algorithm with State Legality Verification [PDF]

Jisuanji gongcheng, 2018
Traditional leader based and decentralized algorithm for solving Byzantine consensus exists the problem of low fault tolerance and high message complexity during the process of solving legitimacy verification.In order to solve these problems,this paper ...
WU Teng,HUANG Kai,ZHOU Linlin,KONG Ning
doaj  

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