Search results
From MaRDI portal
- ATLAS: automated amortised complexity analysis of self-adjusting data structures 2022-03-25 Paper Runtime complexity analysis of logically constrained rewriting...10 bytes (16 words) - 10:43, 6 October 2023
- asymptotic complexity analysis in computer science 2012-12-06 Paper The complexity space of partial functions: a connection between complexity analysis and denotational...10 bytes (17 words) - 18:16, 11 December 2023
- the average-case complexity of postoptimality analysis of discrete optimization problems 2014-10-30 Paper On estimates of the complexity of numerical characteristics...10 bytes (18 words) - 13:37, 28 January 2024
- randomized semi-algebraic test complexity 1993-08-24 Paper Verification complexity of linear prime ideals 1993-04-01 Paper Test complexity of generic polynomials...10 bytes (17 words) - 03:39, 7 October 2023
- technology for efficiency analysis of recursive algorithms using standard complexity recurrences 1997-01-20 Paper Complexity analysis of algorithms by recognition...10 bytes (18 words) - 12:14, 24 September 2023
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution 2018-06-27 Paper Complexity analysis for term rewriting...10 bytes (16 words) - 17:54, 24 September 2023
- driven by consumer's channel preference based on complexity theory 2018-12-18 Paper Complexity analysis of dynamic noncooperative game models for closed-loop...10 bytes (16 words) - 19:22, 24 September 2023
- Kolmogorov Complexity 2014-10-14 Paper Small Complexity Classes for Computable Analysis 2014-10-14 Paper Complexity theory for operators in analysis 2014-08-13...10 bytes (16 words) - 11:03, 6 October 2023
- Norm 2015-09-11 Paper A refined complexity analysis of degree anonymization in graphs 2015-06-09 Paper The Complexity of Degree Anonymization by Vertex...10 bytes (16 words) - 12:43, 7 October 2023
- Lower bounds on the bounded coefficient complexity of bilinear maps 2010-08-17 Paper Adversarial smoothed analysis 2010-08-03 Paper The probability that...10 bytes (16 words) - 19:41, 6 October 2023
- parameterized complexity of grid contraction 2022-06-13 Paper On knot-free vertex deletion: fine-grained parameterized complexity analysis of a deadlock...10 bytes (20 words) - 06:03, 7 October 2023
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution 2018-06-27 Paper Lower bounds for runtime complexity of term rewriting...10 bytes (16 words) - 17:54, 24 September 2023
- 2022-12-07 Paper Automatic complexity analysis of integer programs via triangular weakly non-linear loops 2022-12-07 Paper Complexity Analysis for Java with AProVE...10 bytes (16 words) - 22:05, 24 September 2023
- Series 2022-10-14 Paper Analysis of time series using a new entropy plane based on past entropy 2022-08-29 Paper Complexity analysis of time series based...10 bytes (16 words) - 23:58, 24 September 2023
- Paper Automated Implicit Computational Complexity Analysis (System Description) 2008-11-27 Paper Complexity Analysis by Rewriting 2008-04-11 Paper...10 bytes (16 words) - 10:43, 6 October 2023
- 2022-03-07 Paper Complexity analysis and control in time-delay vaccine supply chain considering cold chain transportation 2020-11-04 Paper The complexity analysis...10 bytes (16 words) - 02:59, 25 September 2023
- parallel complexity of term rewriting 2023-06-02 Paper https://portal.mardi4nfdi.de/entity/Q5111904 2020-05-27 Paper Transforming derivational complexity of...10 bytes (16 words) - 11:26, 6 October 2023
- automatic amortized resource analysis 2023-02-06 Paper Automated resource analysis with Coq proof objects 2022-08-12 Paper Work Analysis with Resource-Aware Session...10 bytes (17 words) - 12:41, 7 October 2023
- program termination and complexity automatically with \textsf{AProVE} 2017-07-10 Paper Analyzing innermost runtime complexity of term rewriting by dependency...10 bytes (16 words) - 18:49, 6 October 2023
- computational complexity analysis; parameterized complexity analysis; team formation on social networks Mathematics Subject Classification ID 68Q25: Analysis of algorithms...15 bytes (76 words) - 07:18, 1 February 2024
