Results 1 to 10 of about 94,737 (261)
2010 Seventh International Conference on the Quantitative Evaluation of Systems, 2010 Opacity is a general language-theoretic framework in which several security properties of a system can be expressed. Its parameters are a predicate, given as a subset of runs of the system, and an observation function, from the set of runs into a set of observables.
Bérard, Béatrice +2 more
openaire +5 more sources
Updated opacities from the Opacity Project [PDF]
Monthly Notices of the Royal Astronomical Society, 2005 12 pages, 8 figures, MNRAS At Press. Revised accepted MS. Results unchanged. Revisions: New info on Data Archives, esp. OPserver.
Badnell, N.R. +7 more
openaire +7 more sources
Case Report of Myopia Correction by ReLEx SMILE in a Patient with Superficial Corneal Opacity
Oftalʹmologiâ, 2020 Introduction. Reduced corneal transparency leads to dissipation of energy of the femtosecond laser (FSL), which may complicate the formation of the intrastromal incision and limits the use of FSL in eyes with corneal opacities and scars.
N. V. Maychuk +3 more
doaj +1 more source
Acute lens opacity induced by different kinds of anesthetic drugs in mice [PDF]
International Journal of Ophthalmology, 2019 AIM: To study whether specific anesthetic drugs or tear layer evaporation was primarily responsible for the acute cataract and what the change of lens structure is in anesthetized mice.
Xiao-Tong Li +3 more
doaj +1 more source
PERFORMANCE OF DIESEL ENGINE FUELLED WITH FOUR VEGETABLE OILS, PREHEATED AND AT ENGINE WORKING TEMPERATURE [PDF]
Engenharia Agrícola, 2017 With the rise of restrictions imposed by law for gases emission, several technologies both for petrodiesel (PD) or diesel engines are been applied, such as the sulfur reduction and the injection electronic command, followed of gases recirculation and/or ...
Hevandro C. Delalibera +5 more
doaj +1 more source
Automated Decision Making and right to explanation. The right of access as ex post information.
European Journal of Privacy Law & Technologies, 2022 The data sets, the processes that determine an algorithmic decision, the rationale of a certain automated decision affecting the legal sphere of a natural person should be traceable, transparent, explained; this is also in order to enable the individual
Emiliano Troisi
doaj +1 more source
Remote Sensing, 2020 At L-band (1–2 GHz), and particularly in microwave radiometry (1.413 GHz), vegetation has been traditionally modeled with the τ-ω model. This model has also been used to compensate for vegetation effects in Global Navigation Satellite Systems ...
Adriano Camps +5 more
doaj +1 more source
Security Quantification for Discrete Event Systems Based on the Worth of States
Mathematics, 2023 This work addresses the problem of quantifying opacity for discrete event systems. We consider a passive intruder who knows the overall structure of a system but has limited observational capabilities and tries to infer the secret of this system based on
Sian Zhou, Jiaxin Yu, Li Yin, Zhiwu Li
doaj +1 more source
Complexity and Innovation. Why Beneficial Effects of Innovation Highly Depend [PDF]
Журнал институциональных исследований, 2019 Mainstream economics and everyday consciousness tend to declare any change an “innovation”. Innovation thus appears as a black box. It seems to lack a criterion to distinguish a counterproductive change – e.g., a dynamic perceived by agents as over ...
Wolfram Elsner
doaj +1 more source
Philosophers' Imprint, 2023 This paper examines the logical and metaphysical consequences of denying Leibniz's Law, the principle that if t1= t2, then φ(t1) if and only if φ(t2). Recently, Caie, Goodman, and Lederman (2020) and Bacon and Russell (2019) have proposed sophisticated logical systems permitting violations of Leibniz's Law.
Diehl, C.E., Mount, B.M.
openaire +2 more sources