Results 1 to 10 of about 350,906 (114)
Efficient CSL Model Checking Using Stratification [PDF]
Logical Methods in Computer Science, 2012 For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996.
Lijun Zhang +3 more
doaj +7 more sources
Mathematics, 2021 We investigate the efficiency of several types of continued fraction expansions of a number in the unit interval using a generalization of Lochs theorem from 1964.
Dan Lascu, Gabriela Ileana Sebe
doaj +1 more source
Measurable Sensitivity for Semi-Flows
Mathematics, 2023 Sensitive dependence on initial conditions is a crucial characteristic of chaos. The concept of measurable sensitivity (MS) was introduced as a measure-theoretic version of sensitive dependence on initial conditions.
Weizhen Quan +5 more
doaj +1 more source
Some Observations on Dirac Measure-Preserving Transformations and their Results [PDF]
Sahand Communications in Mathematical Analysis, 2019 Dirac measure is an important measure in many related branches to mathematics. The current paper characterizes measure-preserving transformations between two Dirac measure spaces or a Dirac measure space and a probability measure space.
Azadeh Alijani, Zohreh Nazari
doaj +1 more source
Measure of Similarity between GMMs by Embedding of the Parameter Space That Preserves KL Divergence
Mathematics, 2021 In this work, we deliver a novel measure of similarity between Gaussian mixture models (GMMs) by neighborhood preserving embedding (NPE) of the parameter space, that projects components of GMMs, which by our assumption lie close to lower dimensional ...
Branislav Popović +4 more
doaj +1 more source
Non-isometric quantum error correction in gravity
Journal of High Energy Physics, 2023 We construct and study an ensemble of non-isometric error correcting codes in a toy model of an evaporating black hole in two-dimensional dilaton gravity. In the preferred bases of Euclidean path integral states in the bulk and Hamiltonian eigenstates in
Arjun Kar
doaj +1 more source
A Strategic Look at thriving at work: Identifying antecedents in the Employees of the General Department of Taxation [PDF]
مطالعات مدیریت راهبردی, 2022 Aim and introduction: A strategic look at the thiriving of the employees is important and necessary, and on the other hand, the thriving of the organization in this era depends on the capabilities of the employees.
Abbas ali Rastgar +2 more
doaj +1 more source
Experimental analysis of wavelet decomposition on edge detection; pp. 284–298 [PDF]
Proceedings of the Estonian Academy of Sciences, 2019 The influence of different wavelet transformations and decomposition on edge detection was examined, using convenient operators to images of various complexities. Berkeley Segmentation Database images with the corresponding ground truth were used.
Vladimir Maksimovic +4 more
doaj +1 more source
IEEE Access, 2023 A human adult’s skeleton is made up of 206 bones that perform a variety of vital biological tasks like safeguarding the internal organs and preserving vital nutrients.
Farah Mohammad +2 more
doaj +1 more source
Zero Krengel Entropy does not kill Poisson Entropy [PDF]
, 2010 We prove that the notions of Krengel entropy and Poisson entropy for infinite-measure-preserving transformations do not always coincide: We construct a conservative infinite-measure-preserving transformation with zero Krengel entropy (the induced ...
De La Rue, Thierry, Janvresse, Élise
core +4 more sources