Results 161 to 170 of about 2,824 (289)
Quantum algorithms for equational reasoning. [PDF]
Rattacaso D +4 more
europepmc +1 more source
The Design of the PACLIB Kernel for Parallel Algebraic Computation
. This paper describes the runtime kernel of Paclib, a new system for parallel algebraic computation on shared memory computers. Paclib has been developed as a professional tool for the simple design and efficient implementation of parallel algorithms ...
Hoon Hong, Wolfgang Schreiner
core
Stability of Viscous Three‐Dimensional Stratified Couette Flow via Dispersion and Mixing
ABSTRACT This article explores the stability of stratified Couette flow in the viscous 3d$3d$ Boussinesq equations. In this system, mixing effects arise from the shearing background, and gravity acts as a restoring force leading to dispersive internal gravity waves.
Michele Coti Zelati +2 more
wiley +1 more source
Computer-assisted construction of Ramanujan-Sato series for 1 over π. [PDF]
Hemmecke R, Paule P, Radu CS.
europepmc +1 more source
Ev3: A Library for Symbolic Computation in C++ using n-ary Trees LIX,
Ev3 is a callable C++ library for performing symbolic computation (calculation of symbolic derivatives and various expression simplification). The purpose of this library is to furnish a fast means to use symbolic derivatives to third-party scientific ...
Leo Liberti
core
ABSTRACT Mutant p53 accumulation may complement conformation‐sensitive RHSVV recognition, but the required exposure discrimination depends on tumor coverage and normal‐cell stress. We analyzed 809 tumors and 523 adjacent‐normal specimens from eight CPTAC cohorts.
Takehiro Ishikawa
wiley +1 more source
Chromatic Polynomials of <i>F</i> <i>n</i>× <i>P</i>2 Graphs: Algebraic Analysis and Scheduling Applications. [PDF]
M Talab S, E Arif N.
europepmc +1 more source
Immersed Boundary Projection Method for Boundaries With Slip Velocities
A formulation of the immersed boundary method for incompressible flow over arbitrarily‐shaped bodies with surface slip described by the Navier boundary condition is presented. The wall slip velocity and the boundary force are determined implicitly through a projection to satisfy both the boundary condition and the divergence‐free condition of the ...
Takehiro Fujii, Takeshi Omori
wiley +1 more source
A Multi‐Objective Periodic Vehicle Routing Model for Sustainable Healthcare Waste Collection
ABSTRACT The collection of infectious waste from healthcare facilities (HCF) constitutes a recurring operational challenge. Indeed, despite the inherent health risks posed by the storage and the transportation of infectious materials, most of the existing waste collection systems tends to prioritise cost optimization and to underaddress the safety ...
Hajer Ben‐Romdhane
wiley +1 more source
On the structural identifiability of nonlinear models of ligand binding dynamics. [PDF]
White C, Rottschäfer V, Bridge L.
europepmc +1 more source

