Results 41 to 50 of about 3,527,338 (311)
A Survey of Attention Management Systems in Ubiquitous Computing Environments [PDF]
Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies, 2018 Today's information and communication devices provide always-on connectivity, instant access to an endless repository of information, and represent the most direct point of contact to almost any person in the world. Despite these advantages, devices such
Christoph Anderson +5 more
semanticscholar +1 more source
Craig Interpolation for Decidable First-Order Fragments [PDF]
arXiv, 2023 We show that the guarded-negation fragment is, in a precise sense, the smallest extension of the guarded fragment with Craig interpolation. In contrast, we show that full first-order logic is the smallest extension of both the two-variable fragment and the forward fragment with Craig interpolation. Similarly, we also show that all extensions of the two-
arxiv
A survey of parallel execution strategies for transitive closure and logic programs [PDF]
, 1993 An important feature of database technology of the nineties is the use of parallelism for speeding up the execution of complex queries. This technology is being tested in several experimental database architectures and a few commercial systems for ...
Cacace, F., Ceri, S., Houtsma, M.A.W.
core +4 more sources
IEEE Access, 2019 Energy consumption has overtaken equipment costs given the growth of computing power, thereby becoming the dominant cost to data centers. Constrained by ensuring that peak resource requirements of VMs are met, the effective use of resource fragments is ...
Tao Song +3 more
doaj +1 more source
Non-contiguous processor allocation strategy for 2D mesh connected multicomputers based on sub-meshes available for allocation [PDF]
, 2006 Contiguous allocation of parallel jobs usually suffers from the degrading effects of fragmentation as it requires that the allocated processors be contiguous and has the same topology as the network topology connecting these processors. In non-contiguous
Abaneh, I. +3 more
core +1 more source
BMC Bioinformatics, 2010 Background Protein identification using mass spectrometry is an important tool in many areas of the life sciences, and in proteomics research in particular. Increasing the number of proteins correctly identified is dependent on the ability to include new
McHugh Leo C, Arthur Jonathan W
doaj +1 more source
On Sub-Propositional Fragments of Modal Logic [PDF]
Logical Methods in Computer Science, Volume 14, Issue 2 (June 22,
2018) lmcs:2550, 2016 In this paper, we consider the well-known modal logics $\mathbf{K}$, $\mathbf{T}$, $\mathbf{K4}$, and $\mathbf{S4}$, and we study some of their sub-propositional fragments, namely the classical Horn fragment, the Krom fragment, the so-called core fragment, defined as the intersection of the Horn and the Krom fragments, plus their sub-fragments obtained
arxiv +1 more source
Crossing Heavy-Flavour Thresholds in Fragmentation Functions
, 2005 In analogy with parton distribution functions, also parton fragmentation functions obey matching conditions when crossing heavy-flavour thresholds. We compute these matching conditions at next-to-leading order in the strong coupling constant alpha_s in ...
Cacciari, Matteo +2 more
core +2 more sources
Assessing urban growth through morphological spatial pattern analysis in cloud computing platform [PDF]
Frontiers in Engineering and Built EnvironmentPurpose – This study aims to quantify and analyse the dynamics of land use and land cover (LULC) changes over three decades in the rapidly urbanizing city of Abha, Saudi Arabia, and to assess urban growth using Morphological Spatial Pattern Analysis ...
Ahmed Ali A. Shohan +3 more
doaj +1 more source
Asymptotics for the small fragments of the fragmentation at nodes [PDF]
Bernoulli 13 (01/2007) 211-228, 2006 We consider the fragmentation at nodes of the L\'{e}vy continuous random tree introduced in a previous paper. In this framework we compute the asymptotic for the number of small fragments at time $\theta$. This limit is increasing in $\theta$ and discontinuous.
arxiv +1 more source