Results 51 to 60 of about 268,099 (291)
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 +1 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 +13 more
core +1 more source
Efficient Synthesis of Network Updates [PDF]
, 2015 Software-defined networking (SDN) is revolutionizing the networking industry, but current SDN programming platforms do not provide automated mechanisms for updating global configurations on the fly.
Cerny, Pavol +3 more
core +2 more sources
Loop checks for logic programs with functions
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shen, Yi-Dong +2 more
openaire +2 more sources
Checking the transverse Ward-Takahashi relation at one loop order in 4-dimensions
, 2005 Some time ago Takahashi derived so called {\it transverse} relations relating Green's functions of different orders to complement the well-known Ward-Green-Takahashi identities of gauge theories by considering wedge rather than inner products.
Bell J S +7 more
core +1 more source
Clinical Insights Into Hypercalcemia of Malignancy in Childhood
Pediatric Blood &Cancer, EarlyView.ABSTRACT Hypercalcemia of malignancy (HCM) is a rare but life‐threatening metabolic emergency in children that occurs in less than 1% of pediatric cancer cases, with a reported incidence ranging from 0.4% to 1.0% across different studies. While it is observed in 10%–20% of adult malignancies, pediatric HCM remains relatively uncommon.
Hüseyin Anıl Korkmaz
wiley +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
Journal of Telecommunications and Information Technology, 2004 Implementation of new services in the network requires appropriate methods and tools for checking correctness of interworking between terminals and exchanges.
Wojciech Michalski
doaj +1 more source
Empirical sigma - d relations and main galactic radio loops [PDF]
Serbian Astronomical Journal, 2002 This paper represents a review of the empirical Galactic and extragalactic sigma - D relations (relations between the surface brightness sigma and the diameter D) for supernova remnants (SNRs), with checking the connection of the main Galactic radio ...
Urošević Dejan V.
doaj +1 more source
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 +6 more
wiley +1 more source