Results 41 to 50 of about 3,210,715 (302)

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

Map Calculus in GIS: a proposal and demonstration [PDF]

, 2004
This paper provides a new representation for fields (continuous surfaces) in Geographical Information Systems (GIS), based on the notion of spatial functions and their combinations.
Haklay, M
core  

SCC: A Service Centered Calculus [PDF]

, 2006
We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of
Rocco DE NICOLA, Sangiorgi, Davide, A. Ravara, Ivan Lanese, Loreti, Michele, F. Martins, V. Vasconcelos, R. Bruni, Davide Sangiorgi, Francisco Martins, Luis Caires, De Nicola, Rocco, Martins, Francisco, Ravara, Antonio, Ugo Montanari, D. Sangiorgi, Bruni, Roberto, M. Boreale, Zavattaro, Gianluigi, Vasco Vasconcelos, Boreale, Michele, Montanari, Ugo, R. De Nicola, M. Loreti, Vasconcelos, Vasco Thudichum, Roberto Bruni, Caires, Luis, I. Lanese, MICHELE BOREALE, Lanese, Ivan, Antonio Ravara, L. Caires, U. Montanari, G. Zavattaro, Michele LORETI, Gianluigi Zavattaro, MONTANARI, UGO GIOVANNI ERASMO, LORETI M, MARTINS F, DE NICOLA R, VASCONCELOS V, ZAVATTARO G., BOREALE M, CAIRES L, SANGIORGI D, RAVARA A, LANESE I   +46 more
core   +1 more source

High-Level Petri Nets as Type Theories in the Join Calculus

, 2001
We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four classes of nets of increasing expressiveness, $PN_i$, introduce a hierarchy of type ...
Buscemi, Maria Grazia, Maria Grazia Buscemi, Buscemi, M., Vladimiro Sassone, Sassone, Vladimiro, Marzia Buscemi, Sassone, V.   +6 more
core   +2 more sources

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

FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface : approaching a theory of unsafePerformIO [PDF]

, 2003
This paper proposes a non-standard way to combine lazy functional languages with I/O. In order to demonstrate the usefulness of the approach, a tiny lazy functional core language FUNDIO , which is also a call-by-need lambda calculus, is investigated. The
Schmidt-Schauß, Manfred
core  

A new concept of q-calculus with respect to another function

Journal of Innovative Applied Mathematics and Computational Sciences
In this paper, we present an approach to quantum calculus and its applications through a functional method. This approach enables the exploration of the number-theoretic properties of q-calculus in a functional framework, facilitating the modification ...
Shrinath Manjarekar, Hossein Jafari
doaj   +1 more source

The harmonic functional calculus and hyperreflexivity [PDF]

Pacific Journal of Mathematics, 2002
Let \(\mathcal H\) be a complex, separable Hilbert space and let \({\mathcal B}({\mathcal H})\) be the algebra of all bounded linear operators from \({\mathcal H}\) into itself. Assume that \(T\) is a contraction in \({\mathcal B}({\mathcal H})\) which is absolutely continuous.
Conway, John B., Ptak, Marek
openaire   +1 more source

Structural insights into an engineered feruloyl esterase with improved MHET degrading properties

FEBS Letters, EarlyView.
A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa, Konstantinos Makryniotis, Theofani‐Iosifina Sousani, Evangelos Topakas, Vangelis Daskalakis, Maria Dimarogona   +5 more
wiley   +1 more source

Cut-Simulation and Impredicativity [PDF]

Logical Methods in Computer Science, 2009
We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus for an impredicative logic -- in our case a sequent calculus for classical type ...
Christoph Benzmueller, Chad E. Brown, Michael Kohlhase   +2 more
doaj   +1 more source