Search results
From MaRDI portal
- constraints and costs depending on a list of tasks 2014-08-29 Paper On a weighted Hardy-type inequality 2014-08-29 Paper To the theory of operator-differential...10 bytes (16 words) - 12:14, 7 October 2023
- estimation by bispectrum: A group delay approach 1993-01-16 Paper Optimal weighted phase equalization according to the \(L_{\infty{}}\)- norm 1993-01-16 Paper...10 bytes (15 words) - 10:20, 24 September 2023
- pushdown automata 2000-06-21 Paper Optimum testing time for software under an exploration model 2000-06-21 Paper Refined simulation of multihead automata 2000-06-21...10 bytes (15 words) - 13:11, 24 September 2023
- three dimensions 2017-05-03 Paper A robust prolongation operator for non-nested finite element methods 2017-05-03 Paper Fourier series of sums of products...10 bytes (16 words) - 11:13, 6 October 2023
- and near-periodic rods. I, II 1998-11-05 Paper Mimimization of agreeably weighted variance in single machine systems 1998-11-05 Paper Exact solutions for...10 bytes (16 words) - 10:02, 24 September 2023
- Enhancements of partitioning techniques for image compression using weighted finite automata. 2004-03-14 Paper Numerical solution of linear Fredholm integral...10 bytes (15 words) - 12:30, 24 September 2023
- Handbook of weighted automata Squaring transducers: An efficient procedure for deciding functionality and sequentiality. Weighted automata and weighted logics...15 bytes (200 words) - 14:46, 2 May 2024
- Weighted Automata Nested Weighted Automata Weighted Pushdown Systems with Indexed Weight Domains Program Analysis Using Weighted Pushdown Systems...15 bytes (112 words) - 15:18, 8 February 2024
- Automata of Bounded Width Nested Weighted Automata Nested Weighted Automata Quantitative Automata under Probabilistic Semantics Regular Functions and Cost...15 bytes (165 words) - 14:33, 8 February 2024
- product graphs 2008-06-24 Paper Reliability analysis and optimization of weighted voting systems with continuous states input 2008-06-24 Paper Recurrence...10 bytes (16 words) - 11:05, 24 September 2023
- complexity bounds for cost register automata, Bidirectional nested weighted automata, Weak Cost Register Automata are Still Powerful, Better complexity...15 bytes (82 words) - 14:42, 7 February 2024
- Items Quantitative vs. weighted automata, Bidirectional nested weighted automata, Average Stack Cost of Büchi Pushdown Automata...15 bytes (85 words) - 15:08, 7 February 2024
- Problem for Collecting Aggregate Stochastic Rewards, Bidirectional nested weighted automata...15 bytes (88 words) - 22:03, 3 February 2024
- Vacuity in Lattice Automata, ``Most of leads to undecidability: failure of adding frequencies to LTL, Bidirectional nested weighted automata...15 bytes (99 words) - 03:08, 9 February 2024
- Bidirectional nested weighted automata, Average Stack Cost of Büchi Pushdown Automata...15 bytes (104 words) - 16:17, 7 February 2024
- sted weighted automata Mathematics Subject Classification ID Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)...15 bytes (100 words) - 15:05, 7 February 2024
- Strategic Behaviors, Weighted Linear Dynamic Logic, Unnamed Item, Quantitative vs. weighted automata, Unnamed Item, Quantitative Automata under Probabilistic...15 bytes (114 words) - 22:56, 3 February 2024
- combinators, Bidirectional nested weighted automata, The complexity of multi-mean-payoff and multi-energy games...15 bytes (111 words) - 04:03, 5 February 2024
- Logics, Unnamed Item, Weighted restarting automata, Bidirectional nested weighted automata, Characterizing weighted MSO for trees by branching transitive closure...15 bytes (117 words) - 04:11, 5 February 2024
- the presence of noisy inputs, Stochastization of Weighted Automata, Inherent Vacuity in Lattice Automata, Specifiable robustness in reactive synthesis, On...15 bytes (116 words) - 23:56, 8 February 2024
