Results 51 to 60 of about 69,250 (228)
Minimal Proof Search for Modal Logic K Model Checking
, 2012 Most modal logics such as S5, LTL, or ATL are extensions of Modal Logic K. While the model checking problems for LTL and to a lesser extent ATL have been very active research areas for the past decades, the model checking problem for the more basic Multi-
Saffidine, Abdallah
core +1 more source
Circulating monocyte partitioning and its alteration in hematological chronic neoplasms
Cytometry Part B: Clinical Cytometry, EarlyView.Abstract Circulating monocyte partitioning refers to the relative quantification of the three main monocyte subsets in the peripheral blood, namely classical (cMo), intermediate (iMo), and non‐classical (ncMo) monocytes, as assessed by flow cytometry, a new nomenclature described 15 years ago.
Sihem Tarfi +4 more
wiley +1 more source
Energy Science &Engineering, EarlyView.This work provides a comprehensive annual review of 2025 progress in CCUS, integrating advances across scientific, technological, and policy dimensions. ABSTRACT This annual review summarizes the progress of carbon capture, utilization, and storage (CCUS) technologies in 2025.
Shangli Shi, Yun Hang Hu
wiley +1 more source
, 2018 Global covariance pooling in convolutional neural networks has achieved impressive improvement over the classical first-order pooling. Recent works have shown matrix square root normalization plays a central role in achieving state-of-the-art performance.
Gao, Zilin +3 more
core +1 more source
Implantable drug delivery system: Frontiers of medicine‐engineering interdisciplinary
Interdisciplinary Medicine, EarlyView.This review systematically summarizes the driving mechanisms of implantable on‐demand drug delivery systems (IDDS), including endogenous, exogenous, and closed‐loop strategies. It highlights the pivotal roles of flexible electronics and miniaturization in enhancing the tissue conformity and spatial adaptability.
Yu Zeng +9 more
wiley +1 more source
Artificial cell: An emerging bioactive material with advanced applications in cancer theranostics
Interdisciplinary Medicine, EarlyView.Artificial cells are emerging as attractive biomimetic bioactive materials that recapitulate key structures and functions of natural cells. This review systematically summarizes their major types, versatile fabrication strategies, tuneable properties and programmable biomimetic behaviours, highlights their cutting‐edge integrated applications in cancer
Daikun Wu, Shuo Yang, Hongjing Dou
wiley +1 more source
Calreticulin Type 26 Mutation in Myelofibrosis: A Rare Variant With Diagnostic Challenges
Journal of Clinical Laboratory Analysis, EarlyView.ABSTRACT Background Myeloproliferative neoplasms (MPNs) are clonal hematologic disorders commonly driven by mutations in JAK2, MPL, or CALR. Because routine CALR assays are largely optimized for the canonical Type 1 and Type 2 exon 9 variants, rare noncanonical mutations may be missed, creating diagnostic challenges.
Teresa Maltese +6 more
wiley +1 more source
Canadian Oncology Nursing Journal, 2018 Myeloproliferative neoplasms (MPNs) are rare, yet potentially life-threatening, disorders caused by overproliferation of bone marrow stem cells. The symptom burden experienced by patients with the BCR-ABL1-negative MPNs (also referred to as the classical MPNs, i.e., essential thrombocythemia [ET], polycythemia vera [PV] and myelofibrosis [MF]) can be ...
Sabrina, Fowlkes +4 more
openaire +3 more sources
Journal of the Science of Food and Agriculture, EarlyView.Abstract BACKGROUND Spring or rain‐fed ponds are frequent features on US mid‐Atlantic farms. The need to conduct preharvest agricultural water assessments to identify microbial hazards, as required by the US Produce Safety Rule, highlights knowledge gaps pertaining to pond water adequacy for vegetable production.
Shirley A Micallef +4 more
wiley +1 more source