Results 61 to 70 of about 917,527 (268)
Static Analysis Using the Cloud [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In this paper we describe our experience of using Microsoft Azure cloud computing platform for static analysis. We start by extending Static Driver Verifier to operate in the Microsoft Azure cloud with significant improvements in performance and ...
Rahul Kumar +2 more
doaj +1 more source
Design and Optimization of PV Power Supply System for Marine Buoys
Journal of Marine Science and Engineering, 2023 Marine buoys need to operate in high sea areas far from land for a long time. Therefore, how to provide a long-term power supply for the buoy system is critical to be addressed.
Chunjie Wang +4 more
doaj +1 more source
Extending IOPT Nets with a Module Construct [PDF]
, 2016 Input-output place-transition nets (IOPT nets) is a Petri net based formalism targeted for the development of embedded systems controllers. It is an extension to common place-transition Petri nets, introducing constructs to model the communication between the controller and the environment and using an execution semantics assuring a deterministic ...
José Ribeiro 0006 +2 more
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Numerous international studies have reported declines in new cancer diagnoses, delayed diagnoses and disruptions in cancer treatment following the implementation of COVID‐19 pandemic public health measures, raising concerns that these effects may ultimately contribute to increased cancer mortality.
Friederike Erdmann +8 more
wiley +1 more source
Referral Patterns and Diagnostic Timeliness in Pediatric Cancer: A Hospital‐Based Study in Indonesia
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Timely diagnosis and treatment are critical for improving survival among children with cancer. In low‐ and middle‐income countries (LMICs), delays are common and may be influenced by fragmented referral pathways and diagnostic limitations.
Nur Melani Sari +5 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Cytomegalovirus (CMV) is a recognized trigger of immune thrombocytopenia (ITP); however, its incidence and impact on disease course in children remain controversial. Therefore, we aimed to characterize the clinical course of pediatric patients with CMV‐associated ITP.
Oded Gilad +9 more
wiley +1 more source
Identifying Patterns of Hospitalizations Among Childhood Cancer Survivors: A Population‐Based Study
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Childhood cancer survivors (CCSs) experience more hospitalizations than the general population. We aimed to identify distinct hospitalization patterns among Queensland CCSs and the associated characteristics. Methods Cases (aged ≤14 years) diagnosed between 1995 and 2019 while residents of Queensland were identified through the ...
Hai Pham +7 more
wiley +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
Modules Whose St-Closed Submodules are Fully Invariant
مجلة بغداد للعلومThe duo module plays an important role in the module theory. Many researchers generalized this concept such as Ozcan AC, Hadi IMA and Ahmed MA. It is known that in a duo module, every submodule is fully invariant.
Maysaa Riadh Abbas, Muna Abbas Ahmed
doaj +1 more source
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source