Results 11 to 20 of about 2,364,233 (300)
A bounded upwinding scheme for computing convection-dominated transport problems [PDF]
, 2012 A practical high resolution upwind differencing scheme for the numerical solution of convection-dominated transport problems is presented. The scheme is based on TVD and CBC stability criteria and is implemented in the context of the finite difference ...
McKee, Sean +14 more
core +4 more sources
Experimental Mathematics, 2021 We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.
Kevin Buzzard +5 more
openaire +3 more sources
On conjugate difference schemes: the midpoint scheme and the trapezoidal scheme
Discrete and Continuous Models and Applied Computational Science, 2021 The preservation of quadratic integrals on approximate solutions of autonomous systems of ordinary differential equations x=f(x), found by the trapezoidal scheme, is investigated. For this purpose, a relation has been established between the trapezoidal scheme and the midpoint scheme, which preserves all quadratic integrals of motion by virtue of ...
Ying Yu, Malykh M.D.
openaire +4 more sources
Insecurity of an IBEET Scheme and an ABEET Scheme [PDF]
IEEE Access, 2019 Cloud computing is a novel pattern, which can allow users to outsource their data to the cloud servers in order to save the resource of clients. For the sake of protecting the clients' privacy, the clients' data are stored or computed in the encrypted data. This leads to a new issue: how to quickly search these encrypted data.
Yongjian Liao +5 more
openaire +3 more sources
COMMUNITY-BASED HEALTH INSURANCE SCHEME IN A RURAL COMMUNITY OF NORTH WEST NIGERIA: A ROADMAP TO ACHIEVING UNIVERSAL HEALTH COVERAGE [PDF]
Kanem Journal of Medical Sciences, 2020 Background: Community Based Health Insurance (CBHI) scheme is aimed at reducing out of pocket spending on health care services, ensuring final risk protection to all, especially the poor and the most vulnerable, improvement of quality of health care ...
Lawal A +9 more
doaj +1 more source
COSMOS-7: Video-oriented MPEG-7 scheme for modelling and filtering of semantic content [PDF]
, 2005 MPEG-7 prescribes a format for semantic content models for multimedia to ensure interoperability across a multitude of platforms and application domains.
Agius, HW, Angelides, MC
core +1 more source
Scheme Pearl: Quantum Continuations
We advance the thesis that the simulation of quantum circuits is fundamentally about the efficient management of a large (potentially exponential) number of delimited continuations.
Choudhury, Vikraman +2 more
core +7 more sources
Immune evasion by cancer stem cells ensures tumor initiation and failure of immunotherapy
Exploration of Immunology, 2023 Cancer stem cells (CSCs) are a small subpopulation of cells that drive the formation and progression of tumors. However, during tumor initiation, how CSCs communicate with neighbouring immune cells to overcome the powerful immune surveillance barrier in ...
Sourio Chakraborty +10 more
doaj +1 more source
Logic and Analysis, 2007 In this article we use our constructions from "Enlargements of Categories" (Theory and Applications of Categories, 14:357-398) to lay down some foundations for the application of A. Robinson's nonstandard methods to modern Algebraic Geometry. The main motivation is the search for another tool to transfer results from characteristic zero to positive ...
Lars Brünjes, Christian Serpé
openaire +3 more sources
Study on the construction of modular and multidisciplinary nutrition innovation platform in Shanghai
Shanghai yufang yixue, 2022 ObjectiveTo determine the situation and challenges of innovation platforms in China， and to explore the construction strategy of Shanghai Nutrition Innovation Platform， which is suitable for Shanghai and may achieve the research and transformation of ...
WENG Huachun +10 more
doaj +1 more source