Results 51 to 60 of about 6,665 (300)

Model Checking Processes Specified In Join-Calculus Algebra

Computer Science, 2014
This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic.
Sławomir Piotr Maludziński, Grzegorz Dobrowolski   +1 more
doaj   +1 more source

Dietary Protein Intake and Peritoneal Protein Losses in Peritoneal Dialysis Patients

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Peritoneal dialysis (PD) patients lose protein in their waste dialysate, potentially increasing their risk for malnutrition. We wished to determine whether there was any association between losses and dietary protein intake (DPI). Methods DPI was assessed from 24‐h dietary recall using Nutrics software.
Haalah Shaaker, Andrew Davenport
wiley   +1 more source

Approximate operational calculus in chemical engineering [PDF]

, 1957
Approximations are suggested to extend the usefulness of operational calculus in solving boundary-value problems of interest to the chemical engineer. General approximations are outlined and specific ones illustrated.
Churchill, Stuart Winston
core   +1 more source

Probabilistic operational semantics for the lambda calculus [PDF]

, 2012
International audienceProbabilistic operational semantics for a nondeterministic extension of pure lambda calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution of values.
Lago, Ugo Dal, Margherita Zorzi, Ugo Dal Lago, Dal Lago, Ugo, Zorzi, Margherita   +4 more
core   +3 more sources

Laplace Transform Methods for Bessel and Modified Bessel Equations: Theory and Applications

Axioms
This paper revisits the use of the Laplace transform in the study of Bessel and modified Bessel differential equations. Rather than presenting the method as a new alternative to the classical Frobenius approach, the paper is organized as a pedagogical ...
Osman Yürekli
doaj   +1 more source

Effects of the Fluid Replacement Method During Online Hemodiafiltration on the Solute Removal Performance and Biocompatibility Using the Asymmetric Cellulose Triacetate Membrane

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Pre‐dilution online hemodiafiltration (Pre‐HDF) is predominantly used in Japan, whereas post‐dilution online HDF (Post‐HDF) is more common in Europe. An asymmetric cellulose triacetate (ATA) membrane may improve biocompatibility.
Kenji Sakurai, Yoshitaka Kurihara, Fumi Yamauchi, Hiromi Hosoya, Takeshi Saito   +4 more
wiley   +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

SCC: A Service Centered Calculus

, 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   +35 more
core   +1 more source

Integração entre o ensino de cálculo e o de pesquisa operacional How to teach calculus and operational research in an integrated way

Production, 2003
Pretende-se mostrar neste trabalho como é possível ensinar, de forma integrada, as disciplinas de Cálculo Diferencial e de Pesquisa Operacional. Para tal são necessárias pequenas mudanças na forma como o Cálculo é tradicionalmente ensinado, mas grandes ...
João Carlos C. B. Soares de Mello, Maria Helena C. Soares de Mello   +1 more
doaj   +1 more source

Investigation of the calculus microbiome in canines and felines using next-generation sequencing [PDF]

Kafkas Universitesi Veteriner Fakültesi Dergisi, 2018
The oral cavity of dogs and cats is colonized by hundreds of bacterial species. Here, we describe the bacterial composition in the dental calculus of dogs and cats.
Tiwaporn RADEEROM, Kriangkrai THONGKORN, Kittisak BUDDHACHAT, Waranee PRADIT, Siriwadee CHOMDEJ, Puntita SIENGDEE, Korakot NGANVONGPANIT   +6 more
doaj   +1 more source