Results 1 to 10 of about 145,972 (266)
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We continue the investigation of parameterized extensions of Linear Temporal Logic (LTL) that retain the attractive algorithmic properties of LTL: a polynomial space model checking algorithm and a doubly-exponential time algorithm for solving games. Alur
Martin Zimmermann
doaj +4 more sources
L-systems in Geometric Modeling [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We show that parametric context-sensitive L-systems with affine geometry interpretation provide a succinct description of some of the most fundamental algorithms of geometric modeling of curves.
Przemyslaw Prusinkiewicz +2 more
doaj +5 more sources
Products of parametric extensions: refined estimates
Journal of Numerical Analysis and Approximation TheoryWe present point wise estimates on approximation by bounded linear operators of real-valued continuous functions defined on the cartesian product of d compact intervals. The main purpose is to provide a unified theory to deal with pointwise estimates on
Heiner Gonska
doaj +2 more sources
Novel extensions of k-harmonically convex functions and their applications in information science. [PDF]
PLoS ONEConvex analysis theory has found extensive applications in optimization, information science, and economics, leading to numerous generalizations of convex functions.
Asfand Fahad +3 more
doaj +2 more sources
Supersymmetric Representations and Integrable Fermionic Extensions of the Burgers and Boussinesq Equations [PDF]
Symmetry, Integrability and Geometry: Methods and Applications, 2006 We construct new integrable coupled systems of N = 1 supersymmetric equations and present integrable fermionic extensions of the Burgers and Boussinesq equations. Existence of infinitely many higher symmetries is demonstrated by the presence of recursion
Arthemy V. Kiselev, Thomas Wolf
doaj +9 more sources
Journal of Numerical Analysis and Approximation Theory, 2021 We summarize several general results concerning quantitative inheritance properties for simultaneous approximation by tensor product operators and apply these to various situations.
Laura Beutel, Heiner Gonska
doaj +7 more sources
Entropy, 2023 A thermodynamically unstable spin glass growth model described by means of the parametrically-dependent Kardar–Parisi–Zhang equation is analyzed within the symplectic geometry-based gradient–holonomic and optimal control motivated algorithms.
Anatolij K. Prykarpatski +2 more
doaj +1 more source
Choice modelling with Gaussian processes in the social sciences: A case study of neighbourhood choice in Stockholm. [PDF]
PLoS ONE, 2018 We present a non-parametric extension of the conditional logit model, using Gaussian process priors. The conditional logit model is used in quantitative social science for inferring interaction effects between personal features and choice characteristics
Richard P Mann +3 more
doaj +1 more source
M[pi]log, Macromodeling via parametric identification of logic gates [PDF]
, 2003 This paper addresses the development of computational models of digital integrated circuit input and output buffers via the identification of nonlinear parametric models. The obtained models run in standard circuit simulation environments, offer improved
Canavero, Flavio +2 more
core +1 more source
Parametric and nonparametric inference in equilibrium job search models [PDF]
, 2008 Equilibrium job search models allow for labor markets with homogeneous workers and firms to yield nondegenerate wage densities. However, the resulting wage densities do not accord well with empirical regularities.
Koop, Gary
core +1 more source