Results 61 to 70 of about 11,941,652 (143)
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025 [PDF]
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +1 more source
Discriminants of number fields and surjectivity of trace homomorphism on rings of integers
, 2020 In this note we give a brief survey of the most elementary criteria used to determine the surjectivity of the trace operator on the ring of integers of a number field K.
Battistoni F.
core
Free C+ actions on affine threefolds [PDF]
, 2005 We study algebraic actions of the additive group C+ on an affine threefold X and prove a smoothness property for the quotient morphism X -< X//C+. Then, following Shulim Kaliman, we give a proof of the conjecture that every free C+ action on affine 3 ...
Kraft, H.
core
Surjectivity of Galois representations associated with quadratic Q-curves [PDF]
, 2013 31 pages, minor correctionsWe prove in this paper an uniform surjectivity result for Galois representations associated with non-CM $\mathbb{Q}$-curves over imaginary quadratic fields, using various tools for the proof, such as Mazur's method, isogeny ...
Samuel Le Fourn, Le Fourn, Samuel
core
Efficient Algorithms for Injectivity and Bounded Surjectivity of One-dimensional Nonlinear Cellular Automata [PDF]
Nonlinear cellular automata are extensively used in simulations, image processing, cryptography, and so on. The determination of their fundamental properties, injectivity and surjectivity, related to information loss during the evolution, is necessary in
Chen, Weilin +4 more
core +1 more source
SURJECTIVITY OF CONVOLUTION OPERATORS
In this article, we will explain the surjectivity of convolution operators on Euclidean spaces and on noncompact symmetric spaces. We will also give an application of our main result to PDE theory.
筧, 知之, Kakehi, Tomoyuki
core
, 2011 We are concerned with surjectivity of perturbations of maximal monotone operators in non-reflexive Banach spaces. While in a reflexive setting, a classical surjectivity result due to Rockafellar gives a necessary and sufficient condition to maximal ...
core
Some surjectivity results for a class of multivalued maps and applications
, 1987 Let X be a Banach space over k (R or $ℂ$) and let $F:X→ X$ be a multivalued upper semicontinuous (u.s.c.) map with acyclic values. In [MV] Martelli and Vignoli extended to multivalued maps F the definition of a quasinorm of F (notation $|F|$) given by ...
Conti, G., Carbone, A.
core +1 more source
4D Atlas: Statistical Analysis of the Spatiotemporal Variability in Longitudinal 3D Shape Data. [PDF]
IEEE Trans Pattern Anal Mach Intell, 2023 Laga H +5 more
europepmc +1 more source
Variable Smoothing for Weakly Convex Composite Functions. [PDF]
J Optim Theory Appl, 2021 Böhm A, Wright SJ.
europepmc +1 more source