Results 71 to 80 of about 3,527,338 (311)
IEEE Access, 2022 The rapid development and wide application of the Internet of Things (IoT) and sensor technologies have produced good opportunities for the development of IoT-based smart home systems (SHSs).
Jian Yang, Liu Sun
doaj +1 more source
Craig Interpolation for Guarded Fragments [PDF]
arXiv, 2023 We show that the guarded-negation fragment (GNFO) is, in a precise sense, the smallest extension of the guarded fragment (GFO) with Craig interpolation. In contrast, %we show that the smallest extension of the two-variable fragment (FO2) with Craig interpolation is full first-order logic.
arxiv
CONTROL OF FRAGMENTATION BY BLASTING
Rudarsko-geološko-naftni Zbornik, 1998 The degree of fragmentation influences the economy of the excavation operations. Characteristics of blasted rock such as fragment size, volume and mass are fundamental variables effecting the economics of a mining operation and are in effect the basis ...
Branko Božić
doaj
A PSPACE-complete first-order fragment of computability logic [PDF]
ACM Transactions on Computational Logic, 2014 In a recently launched research program for developing logic as a formal theory of (interactive) computability, several very interesting logics have been introduced and axiomatized. These fragments of the larger Computability Logic aim not only to describe what can be computed, but also provide a mechanism for extracting computational algorithms from ...
openaire +3 more sources
Bicolor loop models and their long range entanglement [PDF]
QuantumQuantum loop models are well studied objects in the context of lattice gauge theories and topological quantum computing. They usually carry long range entanglement that is captured by the topological entanglement entropy. I consider generalization of the
Zhao Zhang
doaj +1 more source
IETF standardization in the field of the Internet of Things (IoT): a survey [PDF]
, 2013 Smart embedded objects will become an important part of what is called the Internet of Things. However, the integration of embedded devices into the Internet introduces several challenges, since many of the existing Internet technologies and protocols ...
Carels, David +7 more
core +2 more sources
Journal of Cyber Security and Mobility, 2018 Cloud Computing is observed as the greatest paradigm change in Information technology. Data outsourcing is an inventive representation with the intention of trustworthy storage and proficient query execution to customers.
Dac-Nhuong Le +2 more
semanticscholar +1 more source
Single-spin asymmetries in the leptoproduction of transversely polarized Λ hyperons
Physics Letters B, 2015 We analyze single-spin asymmetries (SSAs) in the leptoproduction of transversely polarized Λ hyperons within the collinear twist-3 formalism. We calculate both the distribution and fragmentation terms in two different gauges (lightcone and Feynman) and ...
K. Kanazawa +3 more
doaj
Entropy, 2016 We consider the paradigmatic Brusselator model for the study of dissipative structures in far from equilibrium systems. In two dimensions, we show the occurrence of a self-replication phenomenon leading to the fragmentation of a single localized spot ...
Mustapha Tlidi +4 more
doaj +1 more source
Single Particle Fragmentation in Ultrasound Assisted Impact Comminution [PDF]
Granular Matter 12 (4/2010) pp 447-455, 2015 Impact fragmentation is the underlying principle of comminution milling of dry, bulk solids. Unfortunately the outcome of the fragmentation process is more or less determined by the dimensionality of the impactor and its impact velocity. Since fragmentation is dominated by interfering shock waves, manipulating traveling shock waves and adding energy to
arxiv