Browsing 007 Πολυτεχνική Σχολή / Faculty of Engineering by Title
Now showing items 5133-5152 of 5269
-
Conference Object
-
Article
Ventilation characteristics of the built environment and their effects on the urban microclimate
(2009)
-
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 ...
-
Article
-
Article
Very high thermoelectric power factor in a Fe3O4/SiO2/p-type Si(100) heterostructure
(2012)The thermoelectric and transport properties of a Fe3O4/SiO2/p-Si(100) heterostructure have been investigated between 100 and 300 K. Both Hall and Seebeck coefficients change sign from negative to positive with increasing ...
-
Conference Object
Vibration Measurement of Occupational Exposed Workers, Experimental Quantification of the Individual Response Parameters for the Estimation of Uncertainty in the Vertical Direction
(American Society of Civil Engineers (ASCE), 2014)The exposure of seated people to whole body vibration has been extensively researched and modelled during the past two decades. The trend is to use the average biodynamic responses. This paper investigates the relation of ...
-
Article
Vibrational and electronic anomalies near Tc in tetragonal superconducting YBa2(Cu0.9557Fe0.05)3O7.1
(1988)Mössbauer effect studies have been made as a function of temperature for the orthorhombic (χ=0.01, 0.02) and tetragonal (χ=0.05) superconducting compounds YBa2(Cu1-χ57Feχ)3O7 + y. For Fe in or slightly displaced from the ...
-
Conference Object
-
Book Chapter
Virtual Forces in Design and Fabrication Process: Assembly and Construction of Physical Prototypes.
(Czech Technical University in Prague, 2012)
-
Conference Object
Virtual Reality for prototyping compression-only structures
(eCAADe, 2019)
-
Conference Object
-
Article
-
Article
Viscoplastic fluids: From theory to application (VPF2009), Limassol, Cyprus, 1-5 November, 2009
(2011)