Results 41 to 50 of about 1,119,263 (314)

Constrained Dynamic Partial Order Reduction [PDF]

open access: yes, 2018
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]

open access: yesSurveys in Mathematics and its Applications, 2023
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  

Association Between Dinutuximab Beta Exposure and Post‐End‐of‐Treatment Survival in Neuroblastoma: A Weighted Patient‐Level Analysis of Three Clinical Studies

open access: yesPediatric Blood &Cancer, EarlyView.
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]

open access: yesJournal of Combinatorial Optimization, 2006
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

open access: yesPediatric Blood &Cancer, EarlyView.
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]

open access: yes, 2014
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]

open access: yes, 2002
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

open access: yesAxioms
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

Consensus Standards and Recommendations for Developmental and Cognitive Surveillance, Screening, and Evaluation in Sickle Cell Disease: Executive Summary From the National Alliance of Sickle Cell Centers Neurocognitive Workgroup

open access: yesPediatric Blood &Cancer, EarlyView.
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

open access: yesAxioms, 2017
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

Home - About - Disclaimer - Privacy