Results 51 to 60 of about 307,150 (181)

Security of discrete-modulated continuous-variable quantum key distribution [PDF]

Quantum
Continuous variable quantum key distribution with discrete modulation has the potential to provide information-theoretic security using widely available optical elements and existing telecom infrastructure.
Stefan Bäuml, Carlos Pascual-García, Victoria Wright, Omar Fawzi, Antonio Acín   +4 more
doaj   +1 more source

The Cauchy problem for a fourth order parabolic equation by difference methods [PDF]

, 1953
Thesis (Ph.D.)--Boston UniversityThis paper deals with the solution of parabolic partial differential equations by difference methods. It is first concerned with obtaining certain basic results for the nth order equation... This enables one to exhibit a
Ross, Shepley Littlefield
core   +1 more source

Sylvester-Gallai type theorems for quadratic polynomials

Discrete Analysis, 2020
Sylvester-Gallai type theorems for quadratic polynomials, Discrete Analysis 2020:13, 34 pp. The [Sylvester-Gallai theorem](https://en.wikipedia.org/wiki/Sylvester%E2%80%93Gallai_theorem) asserts that given $n$ points in a plane that are not contained in
Amir Shpilka
doaj   +1 more source

Multi-clause deduction algorithm based on dynamic combination optimization of strategies and its application(策略动态组合优化多元演绎算法及应用)

Zhejiang Daxue xuebao. Lixue ban
First-order logic automated theorem proving is an important research branch in the field of artificial intelligence, and the clause selection strategy plays an important role in improving the capability of theorem proving.
郭海林(GUO Hailin), 曹锋(CAO Feng), 易见兵(YI Jianbing), 李俊(LI Jun), 吴贯锋(WU Guanfeng)   +4 more
doaj   +1 more source

Analysis and Solutions for First-Order Multi- Integro- Differential Impulsive Equations

Wasit Journal for Pure Sciences
In this paper the existence and uniqueness of first order multi-integro –multi impulsive equation has been presented in details and explained their approach depended on some inequalities and estimations and some special functions as estimators also, all
Anfal Shwish Hameed, Sameer Qasim Hassan   +1 more
doaj   +1 more source

Chainability and Hemmingsen\u27s Theorem [PDF]

, 2006
On the surface, the definitions of chainability and Lebesgue covering dimension ⩽1 are quite similar as covering properties. Using the ultracoproduct construction for compact Hausdorff spaces, we explore the assertion that the similarity is only skin ...
Bankston, Paul
core   +1 more source

Reducibility for a class of weakly dispersive linear operators arising from the Degasperis Procesi equation

, 2018
We prove reducibility of a class of quasi-periodically forced linear equations of the form \[ \partial_tu-\partial_x\circ (1+a(\omega t, x))u+\mathcal{Q}(\omega t)u=0,\quad x\in\mathbb{T}:=\mathbb{R}/2\pi\mathbb{Z}, \] where $u=u(t,x)$, $a$ is a small ...
Feola, Roberto, Giuliani, Filippo, Procesi, Michela   +2 more
core   +1 more source

Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV

MATEC Web of Conferences, 2017
Model checking and theorem proving are two key vertification techniques in the formal method, but each has its advantages and disadvantages. In this paper, we first try to present the general model transformation rules from Event-B to SMV in order to ...
Sen Liang, Xiangyu Luo, Zuxi Chen
doaj   +1 more source

An efficient container lemma

Discrete Analysis, 2020
An efficient container lemma, Discrete Analysis 2020:17, 56 pp. The hypergraph container lemma, discovered independently in 2012 by David Saxton and Andrew Thomason, and by József Balogh, Robert Morris and Wojciech Samotij, is an extremely powerful tool
Jozsef Balogh, Wojciech Samotij
doaj   +1 more source

Defining the meaning of TPTP formatted proofs [PDF]

, 2015
International audienceThe TPTP library is one of the leading problem libraries in the automated theorem proving community. Over time, support was added for problems beyond those in first-order clausal form.
Blanco, Roberto, Libal, Tomer, Miller, Dale   +2 more
core   +2 more sources