Results 71 to 80 of about 76,910 (285)
From moral welfarism to technical non-welfarism : A step back to Bentham’s felicific calculus of its members [PDF]
A focus on the information used in Bentham’s felicific calculus sheds new light on the contemporary debate in normative economics opposing non-welfarism to welfarism. As a utilitarian, Bentham is de facto welfarist on a moral sense.
A. Baujard
core
Stochastic integral/calculus for non-Gaussian delta-correlated processes
, 1996 In recent years there have been many publications studying dynamic systems subjected to non-Gaussian delta-correlated processes, but only a few address the fundamental stochastic integral and calculus associated with this kind of processes.
Hu, Sau-Lon James
core +1 more source
Fractional order calculus: historical apologia, basic concepts and some applications
Revista Brasileira de Ensino de FísicaFractional order calculus (FOC) deals with integrals and derivatives of arbitrary (i.e., non-integer) order, and shares its origins with classical integral and differential calculus.
S.A. David +2 more
doaj +1 more source
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 +5 more
wiley +1 more source
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications [PDF]
Logical Methods in Computer ScienceWe introduce a call-by-name lambda-calculus $\lambda Jn$ with generalized applications which is equipped with distant reduction. This allows to unblock $\beta$-redexes without resorting to the standard permutative conversions of generalized applications ...
José Espírito Santo +2 more
doaj +1 more source
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 +7 more
wiley +1 more source
Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus
, 2013 In this paper we present strong normalisation proofs using a technique of non-deterministic translations into Klop's extended lambda-calculus. We first illustrate the technique by showing strong normalisation of a typed calculus that corresponds to ...
Kikuchi, Kentaro
core +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Peritoneal dialysis (PD) is an established home‐based kidney replacement therapy (KRT), but its uptake remains low in Japan. We evaluated whether individualized education in a dedicated outpatient clinic was associated with the initiation of PD.
Yasuko Ito +7 more
wiley +1 more source
Simulation in the call-by-need lambda-calculus with letrec [PDF]
, 2010 This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec.
Sabel, David +2 more
core +1 more source
Frontiers in ChemistryIn recent years, the phenomenon of adulterated Calculus bovis being sold as cheap Calculus bovis has been continuously observed in the market. To effectively differentiate among the three products, original Calculus bovis, Bovis calculus sativus, and ...
Tian-Tian Zuo +8 more
doaj +1 more source