Results 61 to 70 of about 2,222 (156)
A Common External Framework for Kleene and McCarthy Algebras
Mathematical Logic Quarterly, Volume 72, Issue 4, November 2026.ABSTRACT Algebras of disjoint alternatives (ADAs), introduced by Manes, are extensions of McCarthy algebras by a unary operator acting as an oracle for the halting problem, and provide a semantics for the equational theory of the if–then–else construct.
Gandolfo Vergottini +2 more
wiley +1 more source
Preimage Attack on ARIRANG [PDF]
, 2009 The hash function ARIRANG is one of the 1st round SHA-3 candidates. In this paper, we present preimage attacks on ARIRANG with step-reduced compression functions. We consider two step-reduced variants of the compression function.
Bonwook Koo, Deukjo Hong, Woo-Hwan Kim
core +1 more source
Preimages for Reduced-Round Tiger [PDF]
, 2009 The cryptanalysis of the cryptographic hash function Tiger has, until now, focussed on finding collisions. In this paper we describe a preimage attack on the compression function of Tiger-12, i.e., Tiger reduced to 12 rounds out of 24, with a complexity of 263.5 compression function evaluations.
Indesteege, Sebastiaan, Preneel, Bart
openaire +2 more sources
On the preimage of a sphere by a polynomial mapping [PDF]
manuscripta mathematica, 2020 AbstractLet X be an irreducible complex affine variety of dimension greater than one and let $$f:X \rightarrow \mathbb {C}^m$$ f : X → C m
openaire +2 more sources
Mathematical Logic Quarterly, Volume 72, Issue 4, November 2026.ABSTRACT We develop an analytical calculus for projective functions on Polish spaces. In ZFC, we relate inverse‐image projective measurability to the classical graph‐based notion and establish closure under composition, finite algebraic operations, and optimization over arbitrary projective sections.
Laurence Carassus, Massinissa Ferhoune
wiley +1 more source
CoRR, 2014 We propose a preimage attack against cryptographic hash functions based on the speedup enabled by quantum computing. Preimage resistance is a fundamental property cryptographic hash functions must possess. The motivation behind this work relies in the lack of conventional attacks against newly introduced hash schemes such as the recently elected SHA-3 ...
openaire +3 more sources
Peskine Sixfolds and Debarre–Voisin Fourfolds With Associated Cubic Fourfolds
Mathematische Nachrichten, Volume 299, Issue 11, Page 3367-3391, November 2026.ABSTRACT We develop the notion of Peskine sixfolds with associated K3 surfaces and cubic fourfolds and work out numerical conditions for when these associations occur. In discriminant 24, the first family for which there is an associated cubic fourfold, we identify the cubic explicitly.
Corey Brooke +3 more
wiley +1 more source
Stochastic Model Predictive Control Using Indirect Feedback With a Modified Terminal Constraint
Optimal Control Applications and Methods, Volume 47, Issue 6, Page 1411-1422, November/December 2026.This paper proposes a novel dynamic terminal set approach for the model predictive control (MPC) design. It concerns the class of linear systems subject to stochastic disturbances and builds upon an indirect feedback (IF) strategy. The main contribution is to explore the time‐varying definition of the constraints in the indirect feedback SMPC (IF‐SMPC)
Tito L. M. Santos, Sorin Olaru
wiley +1 more source
Feature‐Level Analysis and Adversarial Transfer in Rotationally Equivariant Quantum Machine Learning
Advanced Quantum Technologies, Volume 9, Issue 11, November 2026.A detailed feature‐level analysis reveals how symmetry‐dependent features relate to adversarial transfer robustness in equivariant quantum machine learning models, paving the way for the design of future models with improved robustness. ABSTRACT Group‐equivariant quantum models are designed to exploit symmetry and can improve trainability, but it ...
Maureen Krumtünger
wiley +1 more source
TOPOLOGICAL ENTROPY AND THE PREIMAGE STRUCTURE OF MAPS [PDF]
مجلة جامعة الانبار للعلوم الصرفة, 2012 Aim this article to provide an accessible introduction to the notion of topological entropy and (for context) its measure theoretic analogue, and then to present some work applying related ideas to the structure of iterated preimages for a continuous (in
Alaa A.Awad
doaj +1 more source