Distributed k-Coverage Verification Algorithm Based on Localized Distance Information in WSNs

2009 ◽  
Author(s):  
Xia Zhang ◽  
Cheng Wang
Keyword(s):  
Distance Information ◽  
Verification Algorithm

Spatial Terms Convey Distance Information

2000 ◽  
Author(s):  
Eric S. Covey ◽  
Laura A. Carlson-Radvansky
Keyword(s):  
Distance Information ◽  
Spatial Terms

scholarly journals Libraries, Language, and Change: Defining the Information Present

1998 ◽  
Vol 59 (3) ◽  
pp. 212-218
Author(s):  
Harold Billings
Keyword(s):  
Resource Sharing ◽  
Educational Process ◽  
Shared Understanding ◽  
Distance Information ◽  
Educational Processes ◽  
New Concepts ◽  
Library Resources

Changes in the information world are resulting in new concepts of resource sharing, new practices in the management of library resources, and an expanding role for libraries in the educational process. However, such concepts have not necessarily been identified, named, and defined in the language of contemporary librarianship. Although librarians and their associates in the information and educational processes need to be made aware of these subtle, but powerful, new issues, discussions cannot easily proceed until there is a shared understanding of them in the language of review and debate. This paper introduces three themes that encompass these issues: distance information, managed information, and transformational budgeting.

Degradation of Great Tit (Parus Major) Song Before And After Foliation: Implications for Vocal Communication in a Deciduous Forest

Behaviour ◽  
2004 ◽  
Vol 141 (8) ◽  
pp. 935-958 ◽  
Author(s):  
Sandra Blumenrath ◽  
Torben Dabelsteen
Keyword(s):  
Information Transfer ◽  
Structural Changes ◽  
Vocal Communication ◽  
Deciduous Forest ◽  
Parus Major ◽  
Great Tit ◽  
Transmission Experiment ◽  
Distance Information ◽  
Before And After ◽  
The Impact

AbstractSongbirds living in temperate forests experience great seasonal changes in habitat acoustics during the part of the breeding season when singing activity is high. These changes, which are brought about by accelerated vegetation growth and leaf burst in spring, affect sound propagation and potentially render vocal communication more difficult as the total number of scattering and absorbing obstacles increases. We investigated this in a sound transmission experiment in which representative great tit (Parus major) songs were broadcast in a typical forest habitat before and after foliation. Speaker and microphone were placed at natural separation distances and in typical sender and receiver positions. For each song note we quantified several aspects of sound degradation and found that they all increased considerably when leaves were present. Before foliation the same amount of degradation would only be obtained by doubling the transmission distance, i.e. foliage shortens the active space of great tit song. This inevitably alters distance information, provided that distance-dependent, structural changes of received songs are used as ranging cues. Moreover, sender and receiver positions within the canopy become unfavourable compared to heights just below the canopy when the aim is to maximise song propagation distances. Altogether, the presence of foliage greatly affects the potential for vocal information transfer in great tits and requires behavioural and/or perceptual adjustment of the communicating individuals to counteract or reduce the impact of foliage on signal degradation.

scholarly journals Quantitative Verification of Stochastic Regular Expressions

2021 ◽  
Vol 179 (2) ◽  
pp. 135-163
Author(s):  
Sinem Getir Yaman ◽  
Esteban Pavese ◽  
Lars Grunske
Keyword(s):  
Performance Evaluation ◽  
Model Checking ◽  
Regular Expressions ◽  
Verification Algorithm ◽  
Computation Tree ◽  
Quantitative Verification ◽  
Probabilistic Action ◽  
Local Results ◽  
Novel Model ◽  
Stochastic Regular Expressions

In this article, we introduce a probabilistic verification algorithm for stochastic regular expressions over a probabilistic extension of the Action based Computation Tree Logic (ACTL*). The main results include a novel model checking algorithm and a semantics on the probabilistic action logic for stochastic regular expressions (SREs). Specific to our model checking algorithm is that SREs are defined via local probabilistic functions. Such functions are beneficial since they enable to verify properties locally for sub-components. This ability provides a flexibility to reuse the local results for the global verification of the system; hence, the framework can be used for iterative verification. We demonstrate how to model a system with an SRE and how to verify it with the probabilistic action based logic and present a preliminary performance evaluation with respect to the execution time of the reachability algorithm.

Sign in / Sign up

Export Citation Format

Share Document