Results 41 to 50 of about 2,767,476 (321)
Class Diagram Restructuring with GROOVE [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper describes the GROOVE solution to the "Class Diagram Restructuring" case study of the Tool Transformation Contest 2013. We show that the visual rule formalism enables the required restructuring to be formulated in a very concise manner ...
Wietse Smid, Arend Rensink
doaj +1 more source
Orthopaedic Journal of Sports Medicine, 2019 EFFECT OF PENALTY MINUTE RULE CHANGE ON INJURIES AND GAME DISQUALIFICATION PENALTIES IN HIGH SCHOOL ICE HOCKEY Background: Ice hockey has experienced a 44% increase in participation among 6 to 17-year-old players from 2009-2014 in the United States. Body
Peter Kriz MD +7 more
doaj +1 more source
THE EFFECT OF A BODY CHECKING RULE CHANGE ON HEAD IMPACT BIOMECHANICS IN BANTAM ICE HOCKEY ATHLETES
Orthopaedic Journal of Sports Medicine, 2020 Background: Body checking is the most common injury mechanism in ice hockey. Rule changes have sought to mitigate body checking exposure among youth players. In 2011, USA Hockey changed the legal body checking age from Pee Wee (11/12-year-olds) to Bantam
Patricia R. Combs MEd, ATC +5 more
doaj +1 more source
IEEE Access, 2020 Along with the barbarous growth of spams, anti-spam technologies including rule-based approaches and machine-learning thrive rapidly as well. In antispam industry, the rule-based systems (RBS) becomes the most prominent methods for fighting spam due to ...
Tian Xia
doaj +1 more source
Automatic Refinement Checking for B
, 2005 Refinement is a key concept in the B-Method. While refinement is at the heart of the B Method, so far no automatic refinement checker has been developed for it. In this paper we present a refinement checking algorithm and implementation for B.
Michael Leuschel +3 more
core +1 more source
Checking Overlaps of Nominal Rewriting Rules
Electronic Notes in Theoretical Computer Science, 2016 AbstractNominal rewriting generalises first-order rewriting by providing support for the specification of binding operators. In this paper, we give sufficient conditions for (local) confluence of closed nominal rewriting theories, based on the analysis of rule overlaps.
Mauricio Ayala-Rincón +3 more
openaire +2 more sources
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
BuildingsThis study developed a building information modeling (BIM)-based rule checking and safety design guide system that can automatically provide construction and safety rules to designers so they can prevent construction accidents.
Chijoo Lee, Sungil Ham
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
A Bibliometric Analysis of Publications in Uremic Toxins From 1991 to 2024
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Uremic toxins are a growing area of research in nephrology, with significant implications in the progression and treatment of chronic kidney disease (CKD) and the management of end‐stage kidney disease (ESKD). This bibliometric analysis aims to evaluate the global research trends, key contributors, and the impact of publications in ...
Yuh‐Shan Ho +7 more
wiley +1 more source