Formal verification of bioinformatics software using model checking and theorem proving. [PDF]
Weerasena H +3 more
europepmc +1 more source
Interaction of Dirac δ$$ \delta $$‐Waves in the Inviscid Levine and Sleeman Chemotaxis Model
ABSTRACT This article investigates interactions of δ$$ \delta $$‐shock waves in the inviscid Levine and Sleeman chemotaxis model ut−λ(uv)x=0$$ {u}_t-\lambda {(uv)}_x=0 $$, vt−ux=0$$ {v}_t-{u}_x=0 $$. The analysis employs a distributional product and a solution concept that extends the classical solution concept.
Adelino Paiva
wiley +1 more source
Testing the applicability of a governance checklist for high-risk AI-based learning outcome assessment in Italian universities under the EU AI act annex III. [PDF]
Manganello F +3 more
europepmc +1 more source
Assortment Planning in Omnichannel Retailing Under Product Returns and Showcase Capacity
ABSTRACT We investigate the assortment planning decisions of a retailer that operates an online sales channel and a brick‐and‐mortar store. We explicitly investigate the impact of product returns, which is a norm in modern retailing and a factor for lost profit.
Amin Aslani, Osman Alp
wiley +1 more source
Digital literacy in the use of digital platforms in public administration in the Lambayeque Region. [PDF]
Reyes Reyes CA +3 more
europepmc +1 more source
Conditional Generative Modeling for Enhanced Credit Risk Management in Supply Chain Finance
ABSTRACT The rapid expansion of cross‐border e‐commerce (CBEC) has created significant opportunities for small‐ and medium‐sized sellers, yet financing remains a critical challenge due to their limited credit histories. Third‐party logistics (3PL)‐led supply chain finance (SCF) has emerged as a promising solution, leveraging in‐transit inventory as ...
Qingkai Zhang, L. Jeff Hong, Houmin Yan
wiley +1 more source
Evaluation and validation of suitable reference genes for quantitative real-time PCR analysis in lotus (Nelumbo nucifera Gaertn.). [PDF]
Wang B +5 more
europepmc +1 more source
ABSTRACT This paper examines the impacts of Volume‐Based Procurement (VBP) policies on pharmaceutical supply chains, with a focus on the strategic behaviors of manufacturers. VBP aims to reduce costs and stabilize supplies by centralizing procurement through competition based on volumes and prices.
Nani Zhou, Tong Wang, Guohua Wan
wiley +1 more source
How supernatural and scientific beliefs influence individual cancer prevention behaviors: an empirical study of young Chinese adults. [PDF]
Liu Q, Jia H.
europepmc +1 more source
Capacitated Vehicle Routing Problem with a Zone Tariff
ABSTRACT High demand and volume fluctuations, constrained transportation capacity, and weak network effects compel retailers to rely on external logistic service providers (LSPs) instead of operating their own transportation fleet. This outsourcing process requires retailers to propose tours to LSPs that then carry out the store deliveries.
Niklas Tuma +2 more
wiley +1 more source

