Browsing by Title
Now showing items 21907-21926 of 24436
-
Article
Velocities for moving random surfaces
(2003)For a stationary two-dimensional random field evolving in time, we derive statistical distributions of appropriately defined velocities. The results are based on a generalization of the Rice formula. We discuss importance ...
-
Article
Ventilation characteristics of the built environment and their effects on the urban microclimate
(2009)
-
Article
-
Article
-
Master Thesis Open Access
Verbal abuse against women in the workplace
(Πανεπιστήμιο Κύπρου, Σχολή Οικονομικών Επιστημών και Διοίκησης / University of Cyprus, Faculty of Economics and Management, 2022-01-10)Ο χώρος εργασίας είναι ζωτικής σημασίας στην καθημερινή ζωή των ανθρώπων και είναι αναμφίβολα σημαντικό να είναι όσο το δυνατόν πιο προστατευμένος και ασφαλής. Οι εργαζόμενοι, περνούν τον περισσότερο χρόνο τους σε ένα ...
-
Conference Object
Verbal metaphors and nonverbal metaphorics: What can they teach us?
(Hornbeam Press, 1998)
-
Article
-
Conference Object
Verification of AA-Diagnosability in Probabilistic Finite Automata is PSPACE-Hard
(2019)In this paper we consider the complexity of verifying the property of AA-diagnosability in probabilistic finite automata and establish that AA-diagnosability is, in general, a PSPACE-hard problem. In deterministic and ...
-
Article
Verification of detectability in Probabilistic Finite Automata
(2017)In this paper we analyze state estimation in stochastic discrete event systems (SDES) that can be modeled as probabilistic finite automata (PFAs). For a given PFA, we obtain the necessary and sufficient conditions that ...
-
Conference Object
Verification of infinite-step opacity and analysis of its complexity
(2009)In this paper, we formulate, analyze, and devise methodologies to verify the notion of infinite-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation ...
-
Article
Verification of infinite-step opacity and complexity considerations
(2012)We describe and analyze the complexity of verifying the notion of infinite-step opacity in systems that are modeled as non-deterministic finite automata with partial observation on their transitions. Specifically, a system ...
-
Conference Object
Verification of initial-state opacity in security applications of DES
(2008)Motivated by security applications where the initial state of a system needs to be kept secret (opaque) to outside observers (intruders), we formulate, analyze and verify the notion of initial-state opacity in discrete ...
-
Article
Verification of initial-state opacity in security applications of discrete event systems
(2013)In this paper, we formulate and analyze methodologies for verifying the notion of initial-state opacity in discrete event systems that are modeled as non-deterministic finite automata with partial observation on their ...
-
Conference Object
Verification of K-step opacity and analysis of its complexity
(2009)In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on their transitions. A system is K-step ...
-
Article
Verification of K-step opacity and analysis of its complexity
(2011)Motivated by security and privacy considerations in a variety of applications of discrete event systems, we describe and analyze the computational complexity required for verifying the notion of K-step opacity for systems ...
-
Conference Object Open Access
Verification of practical skills in an e-course
(2010)eLearning has become quite popular among students, educational institutions and official authorities. Many institutions have decided to employ this study tool in their programs. The eLearning environment enables knowledge ...
-
Article
Verification techniques for distributed algorithms
(2006)A value-passing, asynchronous process calculus and its associated theory of confluence are considered as a basis for establishing the correctness of distributed algorithms. In particular, we present an asynchronous version ...
-
Conference Object
Verilog-based simulation of hardware support for Data-flow concurrency on Multicore systems
(IEEE Computer Society, 2013)Data-Driven Multithreading (DDM) is a threaded data-flow model that schedules threads for execution based on data availability. DDM is utilizing a Thread Scheduling Unit (TSU) for the management of the threads on sequential ...
-
Book
Vernacular worlds, cosmopolitan imagination
(Brill, Rodopi, 2015)
-
Article