Search results
From MaRDI portal
- generation for time-delay plants based on zero-inclusion test 2002-03-03 Paper The use of Routh array for testing the Hurwitz property of a segment of polynomials...10 bytes (18 words) - 16:38, 6 December 2023
- Publication Date of Publication Type A novel point inclusion test for convex polygons based on Voronoi tessellations 2021-11-10 Paper...10 bytes (18 words) - 14:29, 24 September 2023
- Publication Date of Publication Type A novel point inclusion test for convex polygons based on Voronoi tessellations 2021-11-10 Paper...10 bytes (16 words) - 14:29, 24 September 2023
- Publication Date of Publication Type Boolean operations and inclusion test for attribute-element constraints 2006-09-14 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 06:59, 7 October 2023
- Regular Tree Grammars with Disjoint Production Rules 2010-08-31 Paper Inclusion Test Algorithms for One-Unambiguous Regular Expressions 2009-01-27 Paper...10 bytes (16 words) - 23:26, 24 September 2023
- Publication Date of Publication Type Efficient inclusion testing for simple classes of unambiguous \(\omega \)-automata 2012-07-25 Paper...10 bytes (16 words) - 02:04, 7 October 2023
- Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata 2011-10-07 Paper Advanced Ramsey-Based Büchi Automata Inclusion Testing 2011-09-02...10 bytes (16 words) - 07:27, 7 October 2023
- interpolation 2018-03-01 Paper Advanced Ramsey-Based Büchi Automata Inclusion Testing 2011-09-02 Paper Constrained Monotonic Abstraction: A CEGAR for Parameterized...10 bytes (18 words) - 19:02, 24 September 2023
- Programming Languages and Systems 2006-10-20 Paper Boolean operations and inclusion test for attribute-element constraints 2006-09-14 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 02:38, 7 October 2023
- 2002-10-16 Paper A test for robust Hurwitz stability of convex combinations of complex polynomials 2002-09-17 Paper A new stability test for discrete systems...10 bytes (16 words) - 16:18, 6 December 2023
- Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata 2011-10-07 Paper Advanced Ramsey-Based Büchi Automata Inclusion Testing 2011-09-02...10 bytes (16 words) - 07:09, 7 October 2023
- Component-Based Systems 2011-10-07 Paper Advanced Ramsey-Based Büchi Automata Inclusion Testing 2011-09-02 Paper Constrained Monotonic Abstraction: A CEGAR for Parameterized...10 bytes (18 words) - 20:22, 6 October 2023
- Timed Processes 2013-03-18 Paper Advanced Ramsey-Based Büchi Automata Inclusion Testing 2011-09-02 Paper Büchi Automata Can Have Smaller Quotients 2011-07-07...10 bytes (17 words) - 02:00, 25 September 2023
- https://portal.mardi4nfdi.de/entity/Q2915687 2012-09-18 Paper Efficient inclusion testing for simple classes of unambiguous \(\omega \)-automata 2012-07-25 Paper...10 bytes (17 words) - 22:51, 11 December 2023
- 2018-07-26 Paper A test statistic based on ranked set sampling for two normal means 2018-02-12 Paper A new computational approach test for one-way ANOVA...10 bytes (16 words) - 13:38, 28 January 2024
- simultaneous inclusion of multiple zeros of polynomials 2006-09-04 Paper https://portal.mardi4nfdi.de/entity/Q3378755 2006-04-04 Paper Inclusion Weierstrass-like...10 bytes (19 words) - 11:31, 9 December 2023
- Data Structures 2009-03-12 Paper Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata 2009-02-12 Paper A Logic...10 bytes (16 words) - 03:52, 25 September 2023
- Eshelby inclusion problem. 2003-11-17 Paper Comparison of the tangent model predictions to finite element results for the solution of the inclusion problem...10 bytes (18 words) - 15:23, 13 December 2023
- two–sample tests after Levene's transformation 2007-11-14 Paper A robust modification of the ordered-heterogeneity test 2007-09-13 Paper An exact test for trend...10 bytes (18 words) - 05:05, 13 December 2023
- 2012-06-19 Paper On possible and necessary inclusion of intuitionistic fuzzy sets 2011-01-28 Paper The inclusion-exclusion principle for IF-events 2011-01-28...10 bytes (16 words) - 14:38, 8 December 2023
