Results 121 to 130 of about 109,181 (158)

Pythagorean fuzzy N-bipolar soft sets-based multi-criteria decision-making framework for sustainability evaluation and risk assessment in manufacturing industries. [PDF]

Sci Rep
Saeed MM, Musa SY, Asaad BA, Ameen ZA.
europepmc   +1 more source

A constructive framework for discovery, design, and classification of volumetric Bravais weaves. [PDF]

PNAS Nexus
Yildiz TT, Niemeyer AC, Krishnamurthy VR, Akleman E.   +3 more
europepmc   +1 more source

Fixed points of multivalued convex contractions with application. [PDF]

PLoS One
Khan AR, Al-Sulami HH, Rashid M, Shabbir F.   +3 more
europepmc   +1 more source

Enhancing symbolic image classification through Gaussian copulas and optimized distinguishing points. [PDF]

PLoS One
Winarni S, Indratno SW, Othman MS, Hashim SZM, Mohamad MM, Junaidi A, Bonyah E, Pravitasari AA, Hendrawati T, Ginanjar I.   +9 more
europepmc   +1 more source

Gaussian quadrature method with exponential fitting factor for two-parameter singularly perturbed parabolic problem. [PDF]

BMC Res Notes
Cheru SL, Duressa GF, Mekonnen TB.
europepmc   +1 more source

Controlling worm propagation in wireless sensor networks: Through fractal-fractional mathematical perspectives. [PDF]

PLoS One
Shah MI, Hassan EI, Ali A, Muhyi A, Ahmed WE, Aldwoah K.   +5 more
europepmc   +1 more source

Parameter uniform finite difference formulation with oscillation free for solving singularly perturbed delay parabolic differential equation via exponential spline. [PDF]

BMC Res Notes
Hassen ZI, Duressa GF.
europepmc   +1 more source

Extended Divergence-Measure Fields, the Gauss-Green Formula and Cauchy Fluxes. [PDF]

Arch Ration Mech Anal
Chen GG, Irving C, Torres M.
europepmc   +1 more source

Optimal experimental design for partially observable pure birth processes. [PDF]

PLoS One
Eshragh A, Skerritt MP, Salvy B, McCallum T.   +3 more
europepmc   +1 more source

Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

Oberwolfach Reports, 2005
The workshop Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics , was held March 20th–March 26th, 2005 and had several aims. To promote interaction between traditional proof theory and a more
Samuel R. Buss, Yiannis N. Moschovakis, Helmut Schwichtenberg   +2 more
  +5 more sources