Results 1 to 10 of about 2,597,114 (162)
The parameterized space complexity of model-checking bounded variable first-order logic [PDF]
Logical Methods in Computer Science, 2019 The parameterized model-checking problem for a class of first-order sentences (queries) asks to decide whether a given sentence from the class holds true in a given relational structure (database); the parameter is the length of the sentence.
Yijia Chen +2 more
doaj +6 more sources
Performance Testing Technique for Applied Programs [PDF]
مجلة جامعة الانبار للعلوم الصرفة, 2012 In this paper, software was preparedto use for measuring the programs performance because of the importance of measuring the programs performance. The performance of any program basically depends on spent time and storing area needed to implement any ...
Falath M. Mohammad, Mortadha M. Hamad
doaj +1 more source
International Journal of Mathematics, 2015 In this paper, the concept of balanced manifolds is generalized to reduced complex spaces: the class [Formula: see text] and balanced spaces. Compared with the case of Kählerian, the class [Formula: see text] is similar to the Fujiki class [Formula: see text] and the balanced space is similar to the Kähler space.
Fu, Jixiang, Meng, Lingxu, Xia, Wei
openaire +2 more sources
Complex space forms immersed in complex space forms [PDF]
Transactions of the American Mathematical Society, 1976 We determine all the isometric immersions of complex space forms into complex space forms. Our result can be considered as the local version of a well-known result of Calabi.
Nakagawa, H., Ogiue, K.
openaire +1 more source
Space Complexity vs. Query Complexity [PDF]
computational complexity, 2006 Combinatorial property testing deals with the following relaxation of decision problems: Given a fixed property and an input x, one wants to decide whether x satisfies the property or is “far” from satisfying it. The main focus of property testing is in identifying large families of properties that can be tested with a certain number of queries to the ...
Oded Lachish, Ilan Newman, Asaf Shapira
openaire +1 more source
IEEE Access, 2020 Software Defined Networking (SDN) presents a tremendous opportunity for developing abstract management of network updates. However, network updates introduce challenges in terms of consistency. Many consistent update algorithms are proposed for Ethernet,
Jun Lu +4 more
doaj +1 more source
Holographic complexity and de Sitter space
Journal of High Energy Physics, 2022 We compute the length of spacelike geodesics anchored at opposite sides of certain double-sided flow geometries in two dimensions. These geometries are asymptotically anti-de Sitter but they admit either a de Sitter or a black hole event horizon in the ...
Shira Chapman +2 more
doaj +1 more source
Applied Sciences, 2019 Artificial neural network (ANN) is widely applied as a predictive tool to solve complex problems. The performance of an ANN model is significantly affected by the applied architectural parameters such as the node number in a hidden layer, which is ...
Aidong Hou +3 more
doaj +1 more source
Analysis, Synchronization, and Robotic Application of a Modified Hyperjerk Chaotic System
Complexity, 2020 In this work, a novel hyperjerk system, with hyperbolic sine function as the only nonlinear term, is proposed, as a modification of a hyperjerk system proposed by Leutcho et al.
Lazaros Moysis +5 more
doaj +1 more source
Space proof complexity for random 3-CNFs [PDF]
, 2017 We investigate the space complexity of refuting 3-CNFs in Resolution and algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random 3-CNF φ in n variables requires, with high probability, distinct monomials to be ...
Bennett, Patrick +5 more
core +1 more source