Results 31 to 40 of about 88,869 (296)
Determinants of Environmental Quality in Indonesia
Journal of Indonesian Applied Economics, 2023 Purpose This research analyzes the determinants of environmental quality in 32 Indonesian provinces in the period between 2013-2019. Design/methodology/approach This research method used an ordinal logistic regression analysis approach where the ...
Peris Frengki Butarbutar
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 +1 more source
The Effect of Demographic Variables on Teachers Decision to Quit or Stay on the Teaching Profession
Gagasan Pendidikan Indonesia, 2021 Demographic variables as predicate of public secondary school teachers' decision to quit or study in the teaching profession using Akwa Ibom, Nigeria as a case study was the central focus of this study.
Victor Mafone Alasa +1 more
doaj +1 more source
Research on National Pattern Reuse Design and Optimization Method Based on Improved Shape Grammar
International Journal of Computational Intelligence Systems, 2020 Considering the low degree of abstraction of traditional shape grammar in national pattern reuse design, this paper proposes a method based on the combination of improved shape grammar and an optimization algorithm to reuse national patterns design.
Ning Ding, Jian Lv, Lai Hu
doaj +1 more source
Two-variable Logic with Counting and a Linear Order [PDF]
Logical Methods in Computer Science, 2016 We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structures.
Witold Charatonik, Piotr Witkowski
doaj +1 more source
Decidability of predicate logics with team semantics [PDF]
, 2016 We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete.
Kontinen, Juha +2 more
core +3 more sources
FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems [PDF]
Logical Methods in Computer Science, 2016 A data tree is an unranked ordered tree where each node carries a label from a finite alphabet and a datum from some infinite domain. We consider the two variable first order logic FO2(
Florent Jacquemard +2 more
doaj +1 more source
THE PROCEDURE DIRECTED SEARCH FOR SPECIFIC OPERATIONS ON ALGORITHMS
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, 2016 In this paper we propose a method for representing various-valued logic function in a logical neural network. This logical neural network will keep the totality of cause-andeffect relationships identified using various-valued logic functions with-in a ...
Dimitrichenko D. P.
doaj +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