Results 31 to 40 of about 4,636,755 (203)
The inductive approach to verifying cryptographic protocols [PDF]
Journal of computing and security, 1998 Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions. The approach is based on ordinary predicate calculus and copes with infinite-state systems. Proofs are generated using Isabelle/HOL.
Lawrence Charles Paulson
semanticscholar +1 more source
The syntax and compositional semantics of English ONE
Lexique, 2020 In this paper, I analyse the syntax and compositional semantics of the unity cardinal one in English. I argue that the three different uses of one, namely as a determiner, as a DP pronoun and as a prosortal can be accounted for with a single ...
Gerhard Schaden
doaj +1 more source
Ad hoc properties and locations in Maltese
LingBaW, 2015 This paper aims to show that the four-way BE-system of Maltese can best be accommodated in a theory of non-verbal predication that builds on alternative states, without making any reference to the Davidsonian spatio-temporal event variable. The existing
Gréte Dalmi
doaj +1 more source
A Type-Directed Negation Elimination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform any well-formed formula into an equivalent formula without negations ...
Etienne Lozes
doaj +1 more source
A Sociological Investigation of the Social Deprivation of Zabol's Rural Girls and Its Related Factors [PDF]
Taḥqīqāt-i Farhangī-i Īrān, 2018 Social deprivation is a fact that some people are so much more exposed than others. But among them, demographic groups of single girls in rural areas are those who are severely affected by social Deprivation.
M. Farahmand, F. Foruzandeh
doaj +1 more source
Support Vector Machine: Analisis Sentimen Aplikasi Saham di Google Play Store
Jurnal Sistem Informasi, 2021 The best application predicate has been awarded to the application that has the highest downloads and high star rating on Google Play Store. In rating an application, user comments need to be considered because many stock investment apps have almost the ...
Sri Lestari, Sudin Saepudin
doaj +1 more source
The Church Synthesis Problem with Parameters [PDF]
Logical Methods in Computer Science, 2007 For a two-variable formula ψ(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y=F(X) such that ψ(X,F(X)) is universally valid over Nat.
Alexander Rabinovich
doaj +1 more source
Functional Projections and Event Structure
Kansas Working Papers in Linguistics, 1997 The variable behavior verbs in unaccusative/unergative alternation in Dutch, Italian, and Hebrew led Borer(1993) to deny the "lexical-entrydriven approach.
Khym, Hangyoo, Kookiattikoon, Supath
doaj +1 more source
3D scene graph prediction from point clouds
Virtual Reality & Intelligent Hardware, 2022 Background: In this study, we propose a novel 3D scene graph prediction approach for scene understanding from point clouds. Methods: It can automatically organize the entities of a scene in a graph, where objects are nodes and their relationships are ...
Fanfan Wu +3 more
doaj
On n-dependent groups and fields II
Forum of Mathematics, Sigma, 2021 We continue the study of n-dependent groups, fields and related structures, largely motivated by the conjecture that every n-dependent field is dependent.
Artem Chernikov, Nadja Hempel
doaj +1 more source