Results 51 to 60 of about 9,216 (163)
Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi [PDF]
Logical Methods in Computer ScienceThe coalgebraic $\mu$-calculus provides a generic semantic framework for fixpoint logics over systems whose branching type goes beyond the standard relational setup, e.g. probabilistic, weighted, or game-based.
Daniel Hausmann, Lutz Schröder
doaj +1 more source
Stochastic pulse coded arithmetic
2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), 2002 Among the different pulse codification techniques, stochastic pulse codification has its own arithmetic based on the similarity between Boolean algebra and statistical algebra. Summation and multiplication are the two basic arithmetic operations treated in depth in the literature.
Toral, S. L. +2 more
openaire +3 more sources
Goppa Codes Arising From Quasihermitian Curves
IEEE AccessCode-based cryptography is particularly relevant in contemporary research, as it offers the potential to resist attacks from future quantum computers, which could easily compromise many current cryptographic algorithms.
M. C. Rodriguez-Palanquex
doaj +1 more source
Architectural Histories, 2014 The paradox of the title is that while most historians of medieval architecture agree that a combination of geometric and arithmetic methods was generally used to lay out a medieval church, there has been little consensus on the specifics of the process ...
Stephen Murray
doaj +1 more source
Is a transactions tax an effective means to stabilize the foreign exchange market?
PSL Quarterly Review, 2012 The desirability of a transactions tax in the foreign exchange market, or Tobin tax, depends on whether the tax deters short-term, destabilizing trade.
Andrea Terzi
doaj +1 more source
Image Coding Using Laplace Transform
ITM Web of Conferences, 2018 In this paper a different cryptographic method is introduced by using Power series transform. A new algorithm for cryptography is produced. The extended Laplace transform of the exponential function is used to encode an explicit text.
Gençoǧlu Muharrem Tuncay, Vural Mehmet
doaj +1 more source
Brute Force Computations and Reference Solutions
FoundationsIn this paper, we consider the application of brute force computational techniques (BFCTs) for solving computational problems in mathematical analysis and matrix algebra in a floating-point computing environment.
Mihail Mihaylov Konstantinov +2 more
doaj +1 more source
An Integer Erasure Correction Coding and Its Application for Security Enhancement of Encryption
IEEE AccessThis paper presents a new class of erasure-correcting codes (ECCs) aimed at enhancing cryptographic security of certain encryption schemes. The proposed ECCs employ integer arithmetic to encode and decode data bits and can correct all data bytes, each ...
Miodrag J. Mihaljevic +4 more
doaj +1 more source
Arithmetic coding algorithmwith embedded channel coding
Electronics Letters, 1997 A joint lossless-source and channel coding approach that incorporates error detection and correction capabilities in arithmetic coding is exploited. The encoded binary data representation allows the source decoder to recover the source symbols, even with channel errors. The self-synchronisation property of arithmetic coding, the knowledge of the source
openaire +1 more source