Results 31 to 40 of about 2,141 (287)
Polynomial closure and unambiguous product [PDF]
Theory of Computing Systems, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pin, Jean-Eric, Weil, Pascal
openaire +3 more sources
Markov chains and unambiguous automata
Journal of Computer and System Sciences, 2023 Unambiguous automata are nondeterministic automata in which every word has at most one accepting run. In this paper we give a polynomial-time algorithm for model checking discrete-time Markov chains against ω-regular specifications represented as unambiguous automata.
Christel Baier +4 more
openaire +5 more sources
On unambiguous reductions of monoids of unambiguous relations
Theoretical Computer Science, 1987 For the monoids of unambiguous relations the unambiguous reduction is introduced. Its relationship with the unambiguous monoid morphisms is considered.
openaire +3 more sources
IEEE AccessOnline cloud data storage is a rapidly growing pillar of the IT industry that offers data owners an array of attractive developments in highly sought-after online scalable storage services.
Paromita Goswami +5 more
doaj +1 more source
Technique of Semantic Unambiguity for a Concept Selection of Terms in Focused Contexts with Reinforcement Learning Integration [PDF]
, 2021 Nowadays, there have been many developments of learning processes for computers to understand the meaning of words and their semantic similarities in order for the computers to better communicate, interact and exchange information with humans.
Jaroenchai, Khananat, Teechawut, Churee
core +1 more source
Теория и практика судебной экспертизы, 2022 The article deals with the issue of the terminology used to define different phenomena of illegal sexual interaction through indirect communication – via electronic means, including the Internet.
T. N. Sekerazh
doaj +1 more source
Unambiguous Forest Factorization
CoRR, 2018 In this paper, we look at an unambiguous version of Simon's forest factorization theorem, a very deep result which has wide connections in algebra, logic and automata. Given a morphism $φ$ from $Σ^+$ to a finite semigroup $S$, we construct a universal, unambiguous automaton A which is "good" for $φ$.
Paul Gastin, Shankara Narayanan Krishna
openaire +3 more sources
FEBS Letters, EarlyView.Mycobacterial 3‐methylcrotonyl‐CoA carboxylase uses a mobile biotin‐carrying domain to shuttle a carboxyl group between two catalytic sites, enabling carboxylation of 3‐methylcrotonyl‐CoA during leucine breakdown. Cryo‐electron microscopy captures the carrier at both sites and reveals an inward loop movement that may prevent futile rebinding to the ...
Ajit Yadav +2 more
wiley +1 more source
Types of the Earth's Crust and Prospects of the Oil and Gas Area of the Antilles on Geonomic Data
Геофизический журнал, 2012 Results of geonomical studies of the author during his 8-year stay in Cuba have been stated. New schematic map of the Moho surface location depth within the limits of the island and adjacent water areas has been proposed.
S. P. Ipatenko
doaj +1 more source
Universality Problem for Unambiguous VASS
CoRR, 2020 We study languages of unambiguous VASS, that is, Vector Addition Systems with States, whose transitions read letters from a finite alphabet, and whose acceptance condition is defined by a set of final states (i.e., the coverability language). We show that the problem of universality for unambiguous VASS is ExpSpace-complete, in sheer contrast to ...
Czerwiński, Wojciech +2 more
openaire +4 more sources