Results 41 to 50 of about 79,255 (279)

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints

, 2017
Markov decision processes (MDPs) are the standard formalism for modelling sequential decision making in stochastic environments. Policy synthesis addresses the problem of how to control or limit the decisions an agent makes so that a given specification ...
A Kučera, C Baier, C Courcoubetis, E Altman, J Kemeny, M Kwiatkowska, M Kwiatkowska, T Brázdil, T Brázdil, T Brázdil, V Forejt, XC Ding   +11 more
core   +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

Conformal invariance of the one-loop all-plus helicity scattering amplitudes

Journal of High Energy Physics, 2020
The massless QCD Lagrangian is conformally invariant and, as a consequence, so are the tree-level scattering amplitudes. However, the implications of this powerful symmetry at loop level are only beginning to be explored systematically.
Johannes Henn, Bláithín Power, Simone Zoia   +2 more
doaj   +1 more source

A Clinical Communication Tool (Loop) for Team-Based Care in Pediatric and Adult Care Settings: Hybrid Mixed Methods Implementation Study

Journal of Medical Internet Research, 2021
BackgroundCommunication within the circle of care is central to coordinated, safe, and effective care; yet patients, caregivers, and health care providers often experience poor communication and fragmented care.
Husain, Amna, Cohen, Eyal, Dubrowski, Raluca, Jamieson, Trevor, Kurahashi, Allison Miyoshi, Lokuge, Bhadra, Rapoport, Adam, Saunders, Stephanie, Stasiulis, Elaine, Stinson, Jennifer, Subramaniam, Saranjah, Wegier, Pete, Barwick, Melanie   +12 more
doaj   +1 more source

Maximally Supersymmetric Planar Yang-Mills Amplitudes at Five Loops

, 2007
We present an ansatz for the planar five-loop four-point amplitude in maximally supersymmetric Yang-Mills theory in terms of loop integrals. This ansatz exploits the recently observed correspondence between integrals with simple conformal properties and ...
B. Eden, D. A. Kosower, E. Witten, H. Johansson, J. J. M. Carrasco, J. M. Maldacena, L. J. Dixon, N. Beisert, N. Nakanishi, R. J. Eden, V. A. Smirnov, Z. Bern, Z. Bern, Z. Kunszt   +13 more
core   +1 more source

Higher-Order Corrections in Threshold Resummation [PDF]

, 2005
We extend the threshold resummation exponents G^N in Mellin-N space to the fourth logarithmic (N^3LL) order collecting the terms alpha_s^2 (alpha_s ln N)^n to all orders in the strong coupling constant as. Comparing the results to our previous three-loop
A. Vogt, Anastasiou, Anastasiou, Anastasiou, Bonciani, Catani, Catani, Catani, Catani, Czakon, de Florian, Forte, Gardi, Hamberg, Hamberg, Harlander, J.A.M. Vermaseren, Kidonakis, Kodaira, Korchemsky, Laenen, Laenen, Larin, Moch, Moch, Moch, Moch, Moch, Moch, Ravindran, Remiddi, S. Moch, Sterman, van Neerven, van Ritbergen, Vermaseren, Vermaseren, Vermaseren, Vogt, Vogt, Vogt, Zijlstra, Zijlstra   +42 more
core   +2 more sources

Infection Control Practices for Vascular Access Management in Hemodialysis: Results From a Nationwide Survey of Japanese National University Hospitals

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Bloodstream infections due to repeated vascular access (VA) puncture and circuit connections remain major concerns in hemodialysis. Therefore, we examined current practices for glove, disinfectant, and personal protective equipment (PPE) use according to VA type in national university hospitals in Japan.
Aiko Yamada, Makoto Harada, Tadahiko Kikugawa, Takeshi Nakata, Koji Hashimoto, Tsuneo Konta, Yuji Kamijo   +6 more
wiley   +1 more source

A method of marks and indices for linear modal logic

Lietuvos Matematikos Rinkinys, 2009
In the paper a method to check termination of history-free proof for linear modal logic S4.3 is proposed. This method improves the method proposed by the authors for modal logic S4.
Regimantas Pliuškevičius , Aida Pliuškevičienė   +1 more
doaj   +1 more source

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

, 2010
This paper investigates session programming and typing of benchmark examples to compare productivity, safety and performance with other communications programming languages. Parallel algorithms are used to examine the above aspects due to their extensive
Alastair R. Beresford, Andi Bejleri, Kaku Takeuchi, Kohei Honda, Kohei Honda, Nobuko Yoshida, Raymond Hu, Raymond Hu, Simon Gay, Timothy G. Mattson, William Gropp   +10 more
core   +3 more sources

The newfound relationship between extrachromosomal DNAs and excised signal circles

FEBS Letters, EarlyView.
Extrachromosomal DNAs (ecDNAs) contribute to the progression of many human cancers. In addition, circular DNA by‐products of V(D)J recombination, excised signal circles (ESCs), have roles in cancer progression but have largely been overlooked. In this Review, we explore the roles of ecDNAs and ESCs in cancer development, and highlight why these ...
Dylan Casey, Zeqian Gao, Joan Boyes
wiley   +1 more source