Results 41 to 50 of about 1,119,263 (314)
Constrained Dynamic Partial Order Reduction [PDF]
The cornerstone of dynamic partial order reduction (DPOR) is the notion of independence that is used to decide whether each pair of concurrent events p and t are in a race and thus both p · t and t · p must be explored.
Isabel Márquez, Miguel +3 more
core +1 more source
Fixed points in bicomplex valued S-metric spaces with applications [PDF]
This article introduces the idea of bicomplex valued S-metric space and deduces some of its features. Additionally, for bicomplex valued S-metric spaces, some fixed point results of contraction maps are shown to meet various categories of rational ...
G. Siva
doaj
ABSTRACT Objectives The association between exposure to dinutuximab beta (DB) and event‐free survival (EFS) or overall survival (OS) of neuroblastoma patients was assessed using data collected during three clinical trials (five cohorts). Methods A systematic review (March 2026) was conducted to identify relevant studies (prospective; registered DB ...
Przemysław Holko +19 more
wiley +1 more source
Partitioning a weighted partial order [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Linda S. Moonen, Frits C. R. Spieksma
openaire +1 more source
Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations
ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan +18 more
wiley +1 more source
Partial Order Reduction with Compositional Verification [PDF]
This thesis expands the usage of partial order reduction methods in reducing the state space of large models in model checking. The work done can be divided into two parts.
Shaw, Adrian Mark
core
Logic program specialisation through partial deduction: Control Issues [PDF]
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to ...
Bruynooghe, Maurice, Leuschel, Michael
core +2 more sources
Using the Embedding Theorem to Solve Interval-Valued Optimization Problems
The space of all bounded closed intervals cannot form a vector space because the concept of an additive inverse cannot be considered. Therefore, this paper presents an embedding theorem to show that the space of all bounded closed intervals can be ...
Hsien-Chung Wu
doaj +1 more source
ABSTRACT Neurodevelopmental and neurocognitive difficulties are prevalent among individuals with sickle cell disease and warrant prompt identification and support. This Special Report provides an executive summary of standards and recommendations for surveillance, screening, and evaluation for development and cognition across the lifespan developed by ...
Alyssa M. Schlenz +12 more
wiley +1 more source
New Order on Type 2 Fuzzy Numbers
Since Lotfi A. Zadeh introduced the concept of fuzzy sets in 1965, many authors have devoted their efforts to the study of these new sets, both from a theoretical and applied point of view. Fuzzy sets were later extended in order to get more adequate and
Pablo Hernández +3 more
doaj +1 more source

