Results 31 to 40 of about 191,947 (115)
Fire, 2023 In order to select the location of fire stations more scientifically and improve the efficiency of emergency management in chemical industry parks (CIPs), an improved risk calculation model for hazardous chemicals has been proposed by taking the domino ...
Junhao Jiang +4 more
doaj +1 more source
On Sharing, Memoization, and Polynomial Time (Long Version) [PDF]
, 2015 We study how the adoption of an evaluation mechanism with sharing and memoization impacts the class of functions which can be computed in polynomial time. We first show how a natural cost model in which lookup for an already computed value has no cost is
Avanzini, Martin, Lago, Ugo Dal
core +6 more sources
Mining Type-β Co-Location Patterns on Closeness Centrality in Spatial Data Sets
ISPRS International Journal of Geo-Information, 2022 A co-location pattern is a set of spatial features whose instances are frequently correlated to each other in space. Its mining models always consist of two essential steps.
Muquan Zou +3 more
doaj +1 more source
Approximated Symbolic Computations over Hybrid Automata [PDF]
, 2013 Hybrid automata are a natural framework for modeling and analyzing systems which exhibit a mixed discrete continuous behaviour. However, the standard operational semantics defined over such models implicitly assume perfect knowledge of the real systems ...
Casagrande, Alberto +2 more
core +3 more sources
High-Accuracy Gaze Estimation for Interpolation-Based Eye-Tracking Methods
Vision, 2021 This study investigates the influence of the eye-camera location associated with the accuracy and precision of interpolation-based eye-tracking methods.
Fabricio Batista Narcizo +2 more
doaj +1 more source
On the Distributability of Mobile Ambients [PDF]
, 2018 Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. To analyse the quality of mobile ambients as a good foundational model for distributed computation, we ...
Nestmann, Uwe, Peters, Kirstin
core +2 more sources
A Trajectory Privacy Protection Scheme Based on the Replacement of Stay Points
Applied SciencesLocation-based services generate a large amount of location and trajectory data, which contain rich spatiotemporal and semantic information. Publishing these data without proper protection can seriously threaten users’ trajectory privacy.
Wanqing Wu, Delong Li
doaj +1 more source
Mathematics, 2023 A fuzzy graph G is stated to have a set of trees as its tree cover if all the vertices of G are in their union. The maximum weight tree in the tree cover is assumed to be the cost of a tree cover for a fuzzy graph.
Anushree Bhattacharya, Madhumangal Pal
doaj +1 more source
First record of an Odontaspidid shark in Ascension Island waters [PDF]
, 2019 The occurrence of the poorly understood shark species Odontapsis ferox is reported at an oceanic seamount in the central south Atlantic, within the Exclusive Economic Zone of Ascension Island.
Burgess, George H. +3 more
core +2 more sources
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency [PDF]
, 2015 Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal verification ...
B. Bloom +21 more
core +3 more sources