Results 11 to 20 of about 441 (217)
Implicitization of hypersurfaces
Journal of Symbolic Computation, 2017 We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for polynomial parametrizations: one algorithm, "ElimTH", has as main step the computation of an elimination ideal via ...
ABBOTT, JOHN ANTHONY +2 more
openaire +4 more sources
Implicit Reward Structures for Implicit Reliability Models
IEEE Transactions on Reliability, 2023 A new methodology for effective definition and efficient evaluation of dependability-related properties is proposed. The analysis targets the systems composed of a large number of components, each one modeled implicitly through high-level formalisms, such as stochastic Petri nets.
Masetti G +3 more
openaire +4 more sources
Implicit and semi-implicit schemes: Algorithms [PDF]
International Journal for Numerical Methods in Fluids, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Keppens, R. +3 more
openaire +4 more sources
Implicit Consequentiality [PDF]
, 2022 This paper examines the way in which high level semantic information influences the production and comprehension of pronouns. It reports a new type of verb semantic processing bias. We examine the effects of this bias on language comprehension.
Stewart, Andrew J. +2 more
openaire +3 more sources
Implicit-implicit and parametric-implicit surface intersections in Euclidean n-space
Acta et Commentationes Universitatis Tartuensis de Mathematica, 2023 In this paper, we study the intersection problem of two surfaces in which at least one surface is given by its implicit equation in Euclidean n-space. We first obtain the curvatures of the transversal intersection curve of two implicit surfaces. Later, the intersection problem is studied for a parametric surface and an implicit surface in n-dimensional
Bedia Merih Özçetin, Mustafa Düldül
openaire +3 more sources
Numerical implicitization [PDF]
Journal of Software for Algebra and Geometry, 2019 We present the $\textit{NumericalImplicitization}$ package for $\textit{Macaulay2}$, which allows for user-friendly computation of the invariants of the image of a polynomial map, such as dimension, degree, and Hilbert function values. This package relies on methods of numerical algebraic geometry, including homotopy continuation and monodromy.
Chen, Justin, Kileel, Joe
openaire +2 more sources
Electronic Proceedings in Theoretical Computer Science, 2015 We present modular implicits, an extension to the OCaml language for ad-hoc polymorphism inspired by Scala implicits and modular type classes. Modular implicits are based on type-directed implicit module parameters, and elaborate straightforwardly into OCaml's first-class functors.
White, Leo +2 more
openaire +3 more sources
Implicit extremes and implicit max–stable laws [PDF]
Extremes, 2016 Let $X_1,...,X_n$ be iid random vectors and $f\ge 0$ be a non-negative function. Let also $k(n) = {\rm Argmax}_{i=1,...,n} f(X_i)$. We are interested in the distribution of $X_{k(n)}$ and their limit theorems. In other words, what is the distribution the random vector where a function of its components is extreme?
Scheffler, Hans-Peter, Stoev, Stilian
openaire +2 more sources
Tropical Implicitization Revisited
, 2023 Tropical implicitization means computing the tropicalization of a unirational variety from its parametrization. In the case of a hypersurface, this amounts to finding the Newton polytope of the implicit equation, without computing its coefficients.
Rose, Kemal +2 more
core
Approximate Implicitization of Space Curves
, 2011 The process of implicitization generates an implicit representation of a curve or surface from a given parametric one. This process is potentially interesting for applications in Com- puter Aided Design, where the robustness and efficiency of ...
Jüttler, B. +5 more
core +1 more source