中文
相关论文

相关论文: Some A Priori Torah Decryption Principles

200 篇论文

Quantum computing had a profound impact on cryptography. Shor's discovery of an efficient quantum algorithm for factoring large integers implies that many existing classical systems based on computational assumptions can be broken, once a…

量子物理 · 物理学 2008-06-24 Stephanie Wehner

Transformer-based models have advanced NLP, yet Hebrew still lacks a large-scale RoBERTa encoder which is extensively trained. Existing models such as HeBERT, AlephBERT, and HeRo are limited by corpus size, vocabulary, or training depth. We…

计算与语言 · 计算机科学 2025-10-27 Raphael Scheible-Schmitt

We begin with the extraordinary observation that the length distribution of 80 million proteins in UniProt, the Universal Protein Resource, measured in amino acids, is qualitatively identical to the length distribution of large collections…

其他定量生物学 · 定量生物学 2017-09-13 Les Hatton , Gregory Warr

In this paper, a lemma in algebraic coding theory is established, which is frequently appeared in the encoding and decoding for algebraic codes such as Reed-Solomon codes and algebraic geometry codes. This lemma states that two vector…

信息论 · 计算机科学 2012-08-28 Hajime Matsui

An iterative decoding algorithm for convolutional codes is presented. It successively processes $N$ consecutive blocks of the received word in order to decode the first block. A bound is presented showing which error configurations can be…

信息论 · 计算机科学 2009-08-07 H. Gluesing-Luerssen , U. Helmke , J. I. Iglesias Curto

A major part of computability theory focuses on the analysis of a few structures of central importance. As a tool, the method of coding with first-order formulas has been applied with great success. For instance, in the c.e. Turing degrees,…

逻辑 · 数学 2013-08-30 Andre Nies

Security protocols are used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to analyse these protocols, but they become so complex that…

密码学与安全 · 计算机科学 2014-10-21 Myrto Arapinis , Vincent Cheval , Stéphanie Delaune

Arabic text recognition is a challenging task because of the cursive nature of Arabic writing system, its joint writing scheme, the large number of ligatures and many other challenges. Deep Learning DL models achieved significant progress…

计算机视觉与模式识别 · 计算机科学 2020-09-07 Mohammad Fasha , Bassam Hammo , Nadim Obeid , Jabir Widian

Encryption and Decryption is the process of sending a message in a ciphered way that appears meaningless and could be deciphered using a key for security purposes to avoid data breaches. This paper expands on the previous work on…

密码学与安全 · 计算机科学 2026-01-16 Mithil Bavishi , Anuj Bohra , Kushal Vadodaria , Abhinav Bohra , Neha Katre , Ramchandra Mangrulkar , Vinaya Sawant

We present a construction of subspace codes along with an efficient algorithm for list decoding from both insertions and deletions, handling an information-theoretically maximum fraction of these with polynomially small rate. Our…

信息论 · 计算机科学 2012-02-03 Venkatesan Guruswami , Srivatsan Narayanan , Carol Wang

We present a new decoding algorithm based on error locating pairs and correcting an amount of errors exceeding half the minimum distance. When applied to Reed--Solomon or algebraic geometry codes, the algorithm is a reformulation of the…

信息论 · 计算机科学 2020-07-13 Alain Couvreur , Isabella Panaccione

We propose a new concept of secure list decoding, which is related to bit-string commitment. While the conventional list decoding requires that the list contains the transmitted message, secure list decoding requires the following…

信息论 · 计算机科学 2024-09-10 Masahito Hayashi

We present for the first time, a bidirectional Quantum Key Distribution protocol with minimal encoding operations derived from the use of two `nonorthogonal' unitary transformations selected from two mutually unbiased unitary bases; which…

量子物理 · 物理学 2017-05-10 J. S. Shaari , Suryadi

Recursive Length Prefix (RLP) is used to encode a wide variety of data in Ethereum, including transactions. The work described in this paper provides a formal specification of RLP encoding and a verified implementation of RLP decoding,…

计算机科学中的逻辑 · 计算机科学 2020-09-30 Alessandro Coglio

Encodings or the proof of their absence are the main way to compare process calculi. To analyse the quality of encodings and to rule out trivial or meaningless encodings, they are augmented with encodability criteria. There exists a bunch…

计算机科学中的逻辑 · 计算机科学 2019-08-26 Kirstin Peters

Secure transmission between two agents, Alice and Bob, over block fading channels can be achieved similarly to conventional hybrid automatic repeat request (HARQ) by letting Alice transmit multiple blocks, each containing an encoded version…

密码学与安全 · 计算机科学 2014-01-15 Stefano Tomasin , Nicola Laurenti

In a classical online decision problem, a decision-maker who is trying to maximize her value inspects a sequence of arriving items to learn their values (drawn from known distributions), and decides when to stop the process by taking the…

数据结构与算法 · 计算机科学 2020-05-26 Nicole Immorlica , Sahil Singla , Bo Waggoner

Identifying parallel passages in biblical Hebrew (BH) is central to biblical scholarship for understanding intertextual relationships. Traditional methods rely on manual comparison, a labor-intensive process prone to human error. This study…

计算与语言 · 计算机科学 2025-07-02 David M. Smiley

A key component of generating text from modern language models (LM) is the selection and tuning of decoding algorithms. These algorithms determine how to generate text from the internal probability distribution generated by the LM. The…

机器学习 · 计算机科学 2023-12-05 Ali Naseh , Kalpesh Krishna , Mohit Iyyer , Amir Houmansadr

In this work, we study properties of texts from the perspective of complex network theory. Words in given texts are linked by co-occurrence and transformed into networks, and we observe that these display topological properties common to…

物理与社会 · 物理学 2015-10-19 Juan Pablo Cárdenas , Iván González , Gerardo Vidal , Miguel Fuentes