Results 11 to 20 of about 291,430 (249)
Completability vs (In)completeness [PDF]
Acta 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
Lietuvos 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
Nauka 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
Weakly unconditionally Cauchy series and Fibonacci sequence spaces
Journal 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
Swiss 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
Studia 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
Sequential Completeness for ⊤-Quasi-Uniform Spaces and a Fixed Point Theorem
Mathematics, 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
Disentangling the Drivers of the Sampling Bias of Freshwater Fish across Europe
Fishes, 2022 The Wallacean shortfall refers to the knowledge gap in biodiversity distributions. There is still limited knowledge for freshwater fish species despite the importance of focusing conservation efforts towards this group due to their alarming extinction ...
Marta Rodríguez-Rey, Gaël Grenouillet
doaj +1 more source
IUCrJ, 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
Metric completion versus ideal completion
Theoretical Computer Science, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Majster-Cederbaum, Mila, Baier, Christel
openaire +3 more sources