Results 281 to 290 of about 471,067 (339)
Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification.
, 2004 Ranko Lazić
openalex +1 more source
Criteria for deciding on the exercise of parental rights after divorce in theory and practice
, 2018 Gordana Stanić, Samardžić Sandra O.
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Periodicity and decidability of tilings of ℤ2
American Journal of Mathematics, 2020:We prove that any finite set $F\subset{\Bbb Z}^2$ that tiles ${\Bbb Z}^2$ by translations also admits a periodic tiling. As a consequence, the problem whether a given finite set $F$ tiles ${\Bbb Z}^2$ is decidable.
S. Bhattacharya
semanticscholar +1 more source
On Decidability of Time-bounded Reachability in CTMDPs
International Colloquium on Automata, Languages and Programming, 2020We consider the time-bounded reachability problem for continuous-time Markov decision processes. We show that the problem is decidable subject to Schanuel's conjecture.
R. Majumdar +2 more
semanticscholar +1 more source
Legitimation: Decide Without Deciding!
2021This chapter looks at how business families can achieve a sense of fairness in their decision-making. Given the contradictory systems of logic at work, ensuring legitimation is no easy task. Precisely because so much is decided in a paradox-friendly manner, it is vital for decisions to be legitimated, i.e.
Arist von Schlippe +2 more
openaire +1 more source
Decidability Results for ATL* with Imperfect Information and Perfect Recall
Adaptive Agents and Multi-Agent Systems, 2017Alternating-time Temporal Logic (ATL*) is a central logic for multiagent systems. Its extension to the imperfect information setting (ATL*_i) is well known to have an undecidable model-checking problem when agents have perfect recall.
Raphaël Berthon +2 more
semanticscholar +1 more source
2023
Abstract This introductory chapter establishes the key premises of the book. A differentiation is drawn between music’s capacity to serve democracy in various ways, and its potential to model democracy itself. In modelling democracy, musicians are faced with choices about which aspects of their music-making they wish to democratise, and ...
openaire +1 more source
Abstract This introductory chapter establishes the key premises of the book. A differentiation is drawn between music’s capacity to serve democracy in various ways, and its potential to model democracy itself. In modelling democracy, musicians are faced with choices about which aspects of their music-making they wish to democratise, and ...
openaire +1 more source
Constructing decidable graphs from decidable structures
Algebra i logika, 2019zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bazhenov, N. A., Harrison-Trainor, M.
openaire +2 more sources
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014
One of the greatest challenges an organization faces is determining when an employee is permitted to utilize a certain resource in a system. This "insider threat" can be addressed through two strategies: i) prospective methods, such as access control, that make a decision at the time of a request, and ii) retrospective methods, such as post hoc ...
Wen Zhang +7 more
openaire +1 more source
One of the greatest challenges an organization faces is determining when an employee is permitted to utilize a certain resource in a system. This "insider threat" can be addressed through two strategies: i) prospective methods, such as access control, that make a decision at the time of a request, and ii) retrospective methods, such as post hoc ...
Wen Zhang +7 more
openaire +1 more source