Results 91 to 100 of about 9,195,846 (282)

Type-checking Balloon Types

Electronic Notes in Theoretical Computer Science, 1999
AbstractCurrent data abstraction mechanisms are not adequate to control sharing of state in the general case involving objects in linked structures. The pervading possibility of sharing is a source of errors and an obstacle to language implementation techniques.Balloon types, which we have introduced in [2], are a general extension to programming ...
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

Fullola Pericot 1976, “De nouveaux types primaires”

, 2019
Fullola i Pericot, Josep Maria [1976], “De nouveaux types primaires,” trans. by Merche de Hériz, Dialektikê. Cahiers de typologie analytique, 4, pp.
Josep Fullola Pericot
core  

LIPIcs, Volume 39, TYPES'14, Complete Volume

, 2015
LIPIcs, Volume 39, TYPES'14, Complete ...
Herbelin, Hugo, Sozeau, Matthieu, Letouzey, Pierre   +2 more
core   +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

LIPIcs, Volume 130, TYPES'18, Complete Volume

, 2019
LIPIcs, Volume 130, TYPES'18, Complete ...
Pinto, Luís, Espírito Santo, José, Dybjer, Peter   +2 more
core   +1 more source

Epidemiological and clinical features of measles on the example of an outbreak in the Penza region

Сибирский научный медицинский журнал
Currently, many countries around the world, including Russia, are experiencing an increase in measles morbidity. One of the reasons for this rise is a decrease in the number of vaccinated persons and violation of vaccination schemes. Aim of the study was
J. Yu. Kurmaeva, A. V. Afonin, S. B. Rybalkin, V. L. Melnikov, M. V. Nikolskaya   +4 more
doaj   +1 more source

Typed norms for typed logic programs [PDF]

, 1997
As typed logic programming becomes more mainstream, system building tools like partial deduction systems will need to be mapped from untyped languages to typed ones. It is important, however, when mapping techniques across that the new techniques should exploit the type system as much as possible.
Jonathan C. Martin, Andy King, Paul Soper   +2 more
openaire   +2 more sources

Forecasting the Dialysis Burden in Japan: Validation‐Based Projections of Prevalence and Incidence Through 2050

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin, Berrak Itır Aylı, Nüket Paksoy   +2 more
wiley   +1 more source

LIPIcs, Volume 26, TYPES'13, Complete Volume

, 2014
LIPIcs, Volume 26, TYPES'13, Complete ...
Schubert, Aleksy, Matthes, Ralph
core   +1 more source