Søgeresultater - One Fast Move OR I'm Gone~
Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
- Technology: general issues 21
- Research & information: general 16
- History of engineering & technology 13
- Medicine 12
- Biology, life sciences 9
- Computer science 8
- Theory of Computation 5
- Neurosciences 4
- Software Engineering 4
- Software engineering 4
- Botany & plant sciences 3
- Computer Modelling 3
- Computer simulation 3
- Food & society 3
- Genetics (non-medical) 3
- Agriculture 2
- Artificial Intelligence 2
- Artificial intelligence 2
- Chemistry 2
- Coding theory & cryptology 2
- Cognition & cognitive psychology 2
- Computer Science Logic and Foundations of Programming 2
- Control Structures and Microprogramming 2
- Ethics & moral philosophy 2
- Formal Languages and Automata Theory 2
- Humanities 2
- Information technology industries 2
- Literature & literary studies 2
- Literature: history & criticism 2
- Machine theory 2
-
1161
-
1162
-
1163
-
1164
-
1165
-
1166
-
1167
-
1168
-
1169
-
1170
-
1171
-
1172
-
1173
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Udgivet 2023Indholdsfortegnelse: “...Forward Bisimilarity -- Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains -- Weighted and Branching Bisimilarities from Generalized Open Maps -- Preservation and Reflection of Bisimilarity via Invertible Steps -- QuantitativeSafety and Liveness -- On the Comparison of Discounted-Sum Automata with Multiple Discount Factors -- Fast Matching of Regular Patterns with Synchronizing Counting -- Compositional Learning for Interleaving Parallel Automata -- Pebble minimization: the last theorems -- Noetherian topologies defined via fixed-points -- An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic -- Just Testing -- Model and Program Repair via Group Actions -- Subgame optimal strategies in finite concurrent games with prefix-independent objectives. ....”
Link to Metadata
Electronisk eBog -
1174
-
1175
-
1176
-
1177
-
1178
-
1179
-
1180