Results 71 to 80 of about 1,848,485 (266)
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Nephrogenic rests (NRs) and nephroblastomatosis (NBM) are precursor lesions for development of Wilms tumor (WT). Their association with the risk of relapse has not been properly assessed, partly due to misunderstanding of their diagnostic criteria and terminology.
Gordan M. Vujanić +5 more
wiley +1 more source
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions
IEEE Access, 2020 Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates.
Fujun Wang +3 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Japan's 2024 physician work‐style reform introduced legally binding limits on physicians’ working hours, but its impact on education and workforce sustainability in pediatric hematology–oncology (PHO) remains unclear. Procedure We conducted a repeated cross‐sectional study with structured quantitative items and free‐text responses ...
Kiyohiko Kaizu +7 more
wiley +1 more source
Towards Realising FollowMe User Profiles for Macro-Intelligent Environments
Computers, 2013 In this paper, we introduce the concept of a Large-Scale Intelligent Environment (LSIE) and provide an introduction to the use of bigraphs as a formal method for description and modelling.
Luke Whittington +3 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Establishing a comprehensive apheresis medicine program in a resource‐constrained setting presents significant structural, financial, and logistical challenges. Despite the growing clinical importance of apheresis services globally, published experience from sub‐Saharan Africa remains sparse.
Folasade Adelekan‐Popoola +4 more
wiley +1 more source
Formal methods in knowledge engineering
The Knowledge Engineering Review, 1995 Abstract This paper presents a general discussion of the role of formal methods in knowledge engineering. We give an historical account of the development of the field of knowledge engineering towards the use of formal methods. Subsequently, we discuss the pros and cons of formal methods.
Frank van Harmelen, Dieter Fensel
openaire +6 more sources
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
The Role of Formalism in Method [PDF]
, 1999 Wider use of formal methods in the development of computing systems promises better quality in general, and in particular safer and more reliable systems. But we must recognise that formalisation and formal reasoning are not goals in themselves: they are partial means to our goals.
openaire +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin +2 more
wiley +1 more source
Formal methods: practical applications and foundations: Editorial. [PDF]
Form Methods Syst Des, 2022 Ter Beek MH, McIver A.
europepmc +1 more source