Results 61 to 70 of about 1,327,655 (368)
Short-Term Prediction of City Traffic Flow via Convolutional Deep Learning
Nowadays, traffic management and sustainable mobility are central topics for intelligent transportation systems (ITS). Thanks to new technologies, it is possible to collect real-time data to monitor the traffic situation and contextual information by ...
Stefano Bilotta +3 more
doaj +1 more source
ABSTRACT Background Central nervous system (CNS) involvement in childhood acute lymphoblastic leukemia (ALL) is assessed by cell counting and cytomorphology from cerebrospinal fluid (CSF) and is used for treatment stratification worldwide. The ratio of “CNS2” patients in clinical trials ranges from 3% to 40%, with unclear prognostic significance ...
Laura Almási +14 more
wiley +1 more source
Verification of Liveness Properties in Distributed Systems
This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of distributed systems related via refinement.
Yadav, Divakar +3 more
core +1 more source
Using schedulers to test probabilistic distributed systems [PDF]
This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the
Núñez, M, Hierons, RM
core +1 more source
Monitoring Distributed Systems with Distributed PolyLarva
polyLarva is a language-agnostic runtime verification tool, which converts a polyLarvaScript into a monitor for a given system. While an implementation for polyLarva exists, the language and its compilation have not been formalised. We therefore present a formal implementation-independent model which describes the behaviour of polyLarvaScript ...
Cassar, Ian +2 more
openaire +2 more sources
ABSTRACT Background Pediatric sarcomas are a heterogeneous group of tumors that contribute disproportionately to cancer mortality in children. Although congenital anomalies are among the strongest known risk factors for childhood cancer, the risk of specific sarcoma subtypes among affected individuals has not yet been thoroughly evaluated. Procedure We
Russ Wolters +17 more
wiley +1 more source
Supporting Survivor‐Centered Care Through Digital Health Integration
ABSTRACT Survivors of childhood cancer face barriers to receiving guideline‐based, long‐term follow‐up care. Two digital tools, Passport for Care (PFC) and Cancer SurvivorLink (SurvivorLink), address complementary gaps by enabling tailored survivorship care plan (SCP) generation, updating, storage, and sharing.
Jordan G. Marchak +15 more
wiley +1 more source
ABSTRACT Background Neuromyelitis optica spectrum disorder (NMOSD) is a relapsing autoimmune disease of the central nervous system. High‐dose intravenous methylprednisolone (IVMP) is the standard first‐line therapy for acute attacks, although some patients remain refractory.
Wataru Horiguchi +5 more
wiley +1 more source
A Bibliometric Analysis of Publications in Uremic Toxins From 1991 to 2024
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
ABSTRACT Background Therapeutic apheresis (TA) is an established treatment modality for hematologic, neurologic, and immunologic disorders, yet access remains severely limited in sub‐Saharan Africa. Donor apheresis, including platelet apheresis collection from healthy donors, represents an important complementary modality supporting blood product ...
Nosa Bazuaye +33 more
wiley +1 more source

