We present a bounded modified realisability and a bounded functional interpretation of intuitionistic nonstandard arithmetic with nonstandard principles. The functional interpretation is the intuitionistic counterpart of Ferreira and Gaspar's funct...
We examine the performance of a recently developed nonlocal density functional in predicting a model noncovalent interaction, the weak bond between an aromatic $π$ system and an aliphatic C-H group. The new functional is a significant improvement...
PicklingError: Can't pickle <type 'function'>: attribute lookup __builtin__.function failed The problem is that the pool methods all use a mp.SimpleQueue to pass tasks to the worker processes. Everything …
Controlled Functions of the Financial Conduct Authority (FCA) are simplifying code names given to various functions within the financial services and relating
Functional error estimates are well-established tools for a posteriori error estimation and related adaptive mesh-refinement for the finite element method (FEM). The present work proposes a first functional error estimate for the boundary element met...
PicklingError: Can't pickle <type 'function'>: attribute lookup __builtin__.function failed The problem is that the pool methods all use a mp.SimpleQueue to pass tasks to the worker processes. Everything …
This article serves as an introduction to several recent developments in the study of quasisymmetric functions. The focus of this survey is on connections between quasisymmetric functions and the combinatorial Hopf algebra of noncommutative symmetric...
We prove that the Bridson-Dison group has quartic Dehn function, thereby providing the first precise computation of the Dehn function of a subgroup of a direct product of free groups with super-quadratic Dehn function. We also prove that coabelian su...
1125-fall-2024-gpt-toolcalls-FunctionAgents created by GitHub Classroom (⭐ 0)
1 day ago · Mapping Operators to Functions ¶ This table shows how abstract operations correspond to operator symbols in the Python syntax and the functions in the operator module.
My personal exercises from Kyle Simpson functional light book. (⭐ 163)
a comprehensive list of functional appliances that are used in the field of orthodontics. The functional appliances can be divided into fixed and removable
Tags: functional-programming | Score: 4
The conventional functional form of the Constant-Elasticity-of-Substitution (CES) production function is a general production function nesting a number of other forms of production functions. Examples of such functions include Leontief, Cobb-Douglas,...
Tags: c++, polymorphism, virtual-functions | Score: 1691
Tags: string, function, ms-access, vba | Score: 1
Bayesian optimization (BO) and its batch extensions are successful for optimizing expensive black-box functions. However, these traditional BO approaches are not yet ideal for optimizing less expensive functions when the computational cost of BO can...
Tags: oop, functional-programming, paradigms | Score: 858
Tags: php, function, pear | Score: 0
The strategy of using the definition of work function from photoelectric effect to determine precise and reliable work function by the contribution of frequency to photoelectric yield is investigated theoretically in this paper. Based on the Fermi-Di...
Two unitary integral transforms with a very-well poised $_7F_6$-function as a kernel are given. For both integral transforms the inverse is the same as the original transform after an involution on the parameters. The $_7F_6$-function involved can...
We propose an in-silico experiment to introduce classical density functional theory (cDFT). Den- sity functional theories, whether quantum or classical, rely on abstract concepts that are non- intuitive. However, they are at the heart of powerful too...
Functional finance or Functional Finance Theory (FFT) is an economic theory proposed by Abba P. Lerner, based on effective demand principles and chartalism
We prove the stability under integration and under Fourier transform of a concrete class of functions containing all globally subanalytic functions and their complex exponentials. This paper extends the investigation started in [J.-M. Lion, J.-P. Rol...
The gamma function is an important special function in mathematics. Its particular values can be expressed in closed form for integer, half-integer, and
We determine the frequency dependence of the four independent Cartesian tensor elements of the dielectric function for monoclinic symmetry Y$_2$SiO$_5$ using generalized spectroscopic ellipsometry from 40-1200 cm$^{-1}$. Three different crystal cuts,...
In this article, a new class of the entire function of order one, expressed by the series and product representations with the real positive coefficients and complex zeros, is investigated for the first time. The entire function on the critical line...
This article constructs a fractal interpolation function, also referred to as $α$-fractal function, using Suzuki-type generalized $\varphi$-contraction mappings (STGPC). The STGPC is a generalization of $\varphi$-contraction mappings. The process of...
? Kotlin Spring 5 Webflux functional application with api request validation and interactive api doc (⭐ 188)
Spring Framework Kotlin APIs, the functional way (⭐ 274)
A set of common ideas for learning functional programming (⭐ 156)
This paper investigates the problem of efficient constrained global optimization of hybrid models that are a composition of a known white-box function and an expensive multi-output black-box function subject to noisy observations, which often arises...
a mediation function is a function that routes or acts on information passing between network elements and network operations. Examples of mediation functions
We show that classical molecular density functional theory (MDFT), here in the homogeneous reference fluid approximation in which the functional is inferred from the properties of the bulk solvent, is a powerful new tool to study, at a fully molecula...
Elementary smooth functions (beyond contact) are employed to construct pair correlation functions that mimic jammed disordered sphere packings. Using the g2-invariant optimization method of Torquato and Stillinger [J. Phys. Chem. B 106, 8354, 2002]...
Algebraically constructible functions connect real algebra with the topology of algebraic sets. In this survey we present some history, definitions, properties, and algebraic characterizations of algebraically constructible functions, and a descrip...
We offer two new Mellin transform evaluations for the Riemann zeta function in the region $0<\Re(s)<1.$ Some discussion is offered in the way of evaluating some further Fourier integrals involving the Riemann xi function....
We present the composite luminosity function of galaxies for 24 Abell clusters studied in our survey of the Northern Hemisphere, using DPOSS data in the framework of the CRoNaRio collaboration. Our determination of the luminosity function has been...
The main theorem of this paper establishes conditions under which the "chaos game" algorithm almost surely yields the attractor of an iterated function system. The theorem holds in a very general setting, even for non contractive iterated function sy...
The paper concerns fractal homeomorphism between the attractors of two bi-affine iterated function systems. After a general discussion of bi-affine functions, conditions are provided under which a bi-affine iterated function system is contractive, th...