Results 21 to 30 of about 6,430,501 (374)

Completability vs (In)completeness [PDF]

open access: yesActa Linguistica Hafniensia, 2020
In everyday conversation, no notion of “complete sentence” is required for syntactic licensing. However, so-called “fragmentary”, “incomplete”, and abandoned utterances are problematic for standard formalisms. When contextualised, such data show that (a) non-sentential utterances are adequate to underpin agent coordination, while (b) all linguistic ...
Gregoromichelaki, Eleni   +8 more
openaire   +2 more sources

Partial cut elimination for propositional discrete linear time temporal logic

open access: yesLietuvos Matematikos Rinkinys, 2010
We consider propositional discrete linear time temporal logic with future and past operators of time. For each formula ϕ of this logic, we present Gentzen-type sequent calculus Gr(ϕ) with a restricted cut rule.
Jūratė Sakalauskaitė
doaj   +1 more source

RESEARCH OF TWO APPROACHES TO DETECT NETWORK ATTACKS USING NEURAL NETWORK TECHNOLOGIES

open access: yesNauka ta progres transportu, 2020
Purpose. At the present stage, network attack detection systems based on the following neural networks are most often offered: multilayer perceptron, Kohonen network or self-organizing map and their combinations.
V. M. Pakhomova, M. S. Konnov
doaj   +1 more source

Completeness theorems for non-cryptographic fault-tolerant distributed computation

open access: yesSymposium on the Theory of Computing, 1988
Every function of n inputs can be efficiently computed by a complete network of n processors in such a way that: If no faults occur, no set of size t < n/2 of players gets any additional information (other than the function value), Even if Byzantine ...
M. Ben-Or, S. Goldwasser, A. Wigderson
semanticscholar   +1 more source

Weakly unconditionally Cauchy series and Fibonacci sequence spaces

open access: yesJournal of Inequalities and Applications, 2017
We study new sequence spaces associated to sequences in normed spaces and the band matrix F̂ defined by the Fibonacci sequence. We give some characterizations of continuous linear operators and weakly unconditionally Cauchy series by means of ...
Ramazan Kama, Bilal Altay
doaj   +1 more source

Completeness of non-normalizable modes [PDF]

open access: yes, 2006
We establish the completeness of some characteristic sets of non-normalizable modes by constructing fully localized square steps out of them, with each such construction expressly displaying the Gibbs phenomenon associated with trying to use a complete ...
Giddings S B   +5 more
core   +2 more sources

Death certificate notifications in the Swiss Childhood Cancer Registry: assessing completeness and registration procedures

open access: yesSwiss Medical Weekly, 2015
QUESTIONS UNDER STUDY: Completeness is important in cancer registration. Identifying areas to improve registry procedures might help to maximise completeness.
Matthias Schindler   +6 more
doaj   +1 more source

A Note on Intended and Standard Models

open access: yesStudia Humana, 2020
This note discusses some problems concerning intended, standard, and nonstandard models of mathematical theories. We pay attention to the role of extremal axioms in attempts at a unique characterization of the intended models. We recall also Jan Woleński’
Pogonowski Jerzy
doaj   +1 more source

Mapping completeness [PDF]

open access: yesIUCrJ, 2021
Tchoń & Makal [IUCrJ (2021), 8, 1006-1017] use numerical simulations to explore the dependence of data completeness on crystal orientation, X-ray energy and diamond anvil cell geometry for high-pressure diffraction experiments. Their completeness heat maps for different Laue classes can be used to guide optimization of high-pressure single-crystal ...
openaire   +3 more sources

Sequential Completeness for ⊤-Quasi-Uniform Spaces and a Fixed Point Theorem

open access: yesMathematics, 2022
We define sequential completeness for ⊤-quasi-uniform spaces using Cauchy pair ⊤-sequences. We show that completeness implies sequential completeness and that for ⊤-uniform spaces with countable ⊤-uniform bases, completeness and sequential completeness ...
Gunther Jäger
doaj   +1 more source

Home - About - Disclaimer - Privacy