Search results
From MaRDI portal
- Diagnosis of Regular Expression Ambiguity 2016-11-09 Paper Forkable Regular Expressions 2016-04-13 Paper Derivatives for Regular Shuffle Expressions 2016-04-08...10 bytes (13 words) - 16:58, 24 September 2023
- Generic discrimination 2015-03-16 Paper Optimally Streaming Greedy Regular Expression Parsing 2015-01-13 Paper Sorting and Searching by Distribution: From...10 bytes (13 words) - 05:51, 7 October 2023
- Procedures for Regular Expression Equivalence 2014-09-08 Paper A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions 2013-10-04...10 bytes (15 words) - 09:17, 6 October 2023
- Forkable Regular Expressions 2016-04-13 Paper Derivatives for Regular Shuffle Expressions 2016-04-08 Paper From $$\omega $$-Regular Expressions to Büchi...10 bytes (15 words) - 01:59, 25 September 2023
- K-automaton of a Regular K-expression 2009-05-22 Paper Fast equation automaton computation 2009-05-13 Paper Relevant Representations for the Inference of Rational...10 bytes (13 words) - 13:41, 6 October 2023
- 2020-07-07 Paper Automatic program repair using formal verification and expression templates 2020-01-23 Paper Automated mutual explicit induction proof in...10 bytes (15 words) - 08:08, 25 September 2023
- Automated grading of regular expressions 2023-11-24 Paper Efficient enumeration of regular expressions for faster regular expression synthesis 2022-03-22...10 bytes (13 words) - 13:35, 6 October 2023
- stochastic differential equations 2023-05-26 Paper Nonparametric Bayesian inference for stochastic processes with piecewise constant priors 2023-05-12 Paper...10 bytes (15 words) - 19:18, 24 September 2023
- 2013-08-07 Paper Proof Pearl: regular expression equivalence and relation algebra 2013-08-01 Paper Monotonicity inference for higher-order formulas 2012-07-31...10 bytes (13 words) - 10:26, 6 October 2023
- 2012-11-08 Paper Translating regular expression matching into transducers 2012-05-23 Paper A Translation from the HTML DTD into a Regular Hedge Grammar 2009-02-12...10 bytes (13 words) - 11:42, 7 October 2023
- Signatures with Restricted Regular Expression Features 2017-05-16 Paper https://portal.mardi4nfdi.de/entity/Q3180725 2017-01-06 Paper Inference for intermediate...10 bytes (14 words) - 13:22, 6 October 2023
- Architectures 2017-07-12 Paper High-Performance and Compact Architecture for Regular Expression Matching on FPGA 2017-07-12 Paper Scalable Tree-Based Architectures...10 bytes (15 words) - 21:52, 11 December 2023
- Publication Date of Publication Type Parameter inference based on Gaussian processes informed by nonlinear partial differential...10 bytes (19 words) - 14:23, 9 December 2023
- Semiparametric predictive inference for failure data using first-hitting-time threshold regression 2023-07-27 Paper Order‐restricted inference for clustered ROC...10 bytes (17 words) - 19:10, 9 December 2023
- sparse principal component analysis 2022-08-02 Paper Ensemble smoothers for inference of hidden states and parameters in combinatorial regulatory model 2020-04-21...10 bytes (15 words) - 02:42, 7 October 2023
- operators on Leibniz algebras: a uniform approach 2024-12-18 Paper Bayesian inference for risk minimization via exponentially tilted empirical likelihood 2024-09-10...10 bytes (13 words) - 18:22, 24 September 2023
- information 2012-05-08 Paper Inductive Inference of Languages from Samplings 2010-10-01 Paper Learning Regular Expressions from Representative Examples and Membership...10 bytes (14 words) - 09:35, 11 December 2023
- \(L\)-functions of Eisenstein series 2024-10-28 Paper Characterization of weakly regular \(p\)-ary bent functions of \(\ell \)-form 2024-10-14 Paper Average value...10 bytes (13 words) - 18:16, 9 December 2023
- Derivatives of Regular Expressions and an Application 2012-06-15 Paper State complexity of union and intersection of star on \(k\) regular languages 2012-05-30...10 bytes (14 words) - 18:28, 9 December 2023
- Bounded Model Checking at Word Level 2012-09-05 Paper Translating regular expression matching into transducers 2012-05-23 Paper https://portal.mardi4nfdi...10 bytes (14 words) - 08:58, 25 September 2023
