Search results

typing à la ML for the join-calculus 2023-05-17 Paper State separation for code-based game-playing proofs 2019-01-23 Paper The Applied Pi Calculus 2018-08-02...

Processes 2017-07-27 Paper Time series prediction based on data compression methods 2017-04-19 Paper Compression-based methods of statistical analysis and prediction...

sensitivity curves, and optimization of stack filters 1996-04-28 Paper Implementation of cascaded and recursive stack filters 1996-03-07 Paper An efficient...

Divide-and-Conquer Maximin Recurrence 1989-01-01 Paper Recurrence relations based on minimization and maximization 1985-01-01 Paper https://portal.mardi4nfdi...

the Cascade Product — The Unary Case 2023-11-24 Paper Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods 2023-09-08...

Integer Space (Code and Dataset) 2024-11-26 Dataset Towards Adaptation in Multiobjective Evolutionary Algorithms for Integer Problems (Code and Dataset)...

2006-11-14 Paper Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms 2006-10-27 Paper Logic Based Program Synthesis...

Interval-based resource usage verification: formalization and prototype 2012-11-02 Paper Certificate size reduction in abstraction-carrying code 2012-08-30...

Boolean registers in program algebra 2019-02-08 Paper Instruction sequence based non-uniform complexity classes 2019-02-08 Paper Axioms for behavioural congruence...

Stabilizing control of humanoids' walking based on AHRS feedback 2017-05-17 Paper Development of UAV autopilot based on robust \(H_\infty\) theory 2017-05-17...

column generation based hyper-heuristic to the bus driver scheduling problem 2019-02-19 Paper A modified artificial bee colony algorithm based on search space...

functions: Gray codes and exhaustive generation 2017-07-20 Paper A permutation code preserving a double Eulerian bistatistic 2017-05-15 Paper A Gray code for cross-bifix-free...

applications 2023-09-27 Paper Space Complexity of Stack Automata Models 2023-08-15 Paper Generalizations of Checking Stack Automata: Characterizations and Hierarchies...

Paper Converting One Type-Based Abstract Domain to Another 2009-01-15 Paper Abstraction-carrying code: a model for mobile code safety 2008-10-20 Paper Automatic...

Idempotent and co-idempotent stack filters and min--max operators. 2003-05-25 Paper The asymptotic number of inequivalent binary codes and nonisomorphic binary...

Robustness of subsystem-based reliability for complete-transposition network 2024-07-25 Paper Influential node identification of network based on agglomeration...

Autocorrelation-based algorithm for single-frequency estimation 2010-05-19 Paper 2-D DOA estimation via matrix partition and stacking technique 2010-04-24...

2022-07-06 Paper Testing homogeneity of several normal population means based on an interval hypothesis 2022-07-05 Paper Revisit to functional data analysis...

method based on a moving mesh solver 2022-11-29 Paper Investor attention and the carbon emission markets in China: a nonparametric wavelet-based causality...

eccentricity based topological indices of octagonal grid \(O_n^m\) 2018-12-18 Paper A potential flow model with viscous dissipation based on a modified...