Search results

From MaRDI portal
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • von Mises' Concept of Random Sequence 1966-01-01 Paper The Kleene Hierarchy Classification of Recursively Random Sequences 1966-01-01 Paper A machine program...
    10 bytes (19 words) - 16:04, 10 December 2023
  • operators 2002-01-21 Paper Knowledge-based validation: Synthesis of diagnoses through synthesis of relations 2001-10-18 Paper https://portal.mardi4nfdi...
    10 bytes (17 words) - 22:25, 8 December 2023
  • with sequence-dependent set-up costs 2008-04-28 Paper New policies for the dynamic traveling salesman problem 2007-11-16 Paper A combined procedure for...
    10 bytes (17 words) - 12:05, 6 October 2023
  • symbolic decision procedure for symbolic alternating finite automata 2022-04-25 Paper Programmable program synthesis 2022-03-25 Paper Synthesis with asymptotic...
    10 bytes (16 words) - 05:36, 7 October 2023
  • Contracts for Schedulability Analysis 2015-09-14 Paper Can we build it: formal synthesis of control strategies for cooperative driver assistance systems 2013-08-26...
    10 bytes (16 words) - 06:28, 9 December 2023
  • proof for the propositional calculus 2011-08-26 Paper Knowledge-Based Synthesis of Distributed Systems Using Event Structures 2011-05-26 Paper Building...
    10 bytes (19 words) - 18:41, 11 December 2023
  • three-index planar assignment problem 2021-02-23 Paper Synthesis-analysis of derivation sequences of tables' functional dependences 2021-02-23 Paper Algorithm...
    10 bytes (18 words) - 17:01, 8 December 2023
  • the recursive sequence \(x_n = \frac{ax_{n-1}+bx_{n-2}}{c+dx_{n-1}x_{n-2}}\) 2005-02-23 Paper Global attractivity in a recursive sequence 2005-01-17 Paper...
    10 bytes (18 words) - 08:04, 9 December 2023
  • https://portal.mardi4nfdi.de/entity/Q5166599 2014-06-27 Paper Channel Synthesis Revisited 2014-03-31 Paper Two-Way Transducers with a Two-Way Output Tape...
    10 bytes (16 words) - 05:50, 7 October 2023
  • modeling and optimization approach 2009-07-28 Paper Two-stage stochastic hierarchical multiple risk problems: Models and algorithms 2009-07-24 Paper Enhanced...
    10 bytes (19 words) - 15:06, 8 December 2023
  • application to optimum multicommodity network synthesis with security constraints 1981-01-01 Paper Optimum Synthesis of a Network with Non-Simultaneous Multicommodity...
    10 bytes (17 words) - 16:13, 9 December 2023
  • Publication Date of Publication Type Hierarchical Community Detection by Recursive Partitioning 2023-03-27 Paper David Blackwell, 1919–2010: An explorer...
    10 bytes (19 words) - 09:42, 8 December 2023
  • on projecting the cubic lattice 2011-11-07 Paper The Toothpick Sequence and Other Sequences from Cellular Automata 2011-04-20 Paper The optimal isodual lattice...
    10 bytes (21 words) - 00:07, 25 September 2023
  • fractional-order nonlinear systems for \(0<\alpha< 2\) 2017-11-24 Paper Hierarchical String Cuts: A Translation, Rotation, Scale, and Mirror Invariant Descriptor...
    10 bytes (17 words) - 23:24, 9 December 2023
  • Heuristics for multi-attribute vehicle routing problems: a survey and synthesis 2015-07-29 Paper Implicit depot assignments and rotations in vehicle routing...
    10 bytes (17 words) - 05:12, 9 December 2023
  • https://portal.mardi4nfdi.de/entity/Q4377009 1999-04-22 Paper Convergence of sequence of measurable functions on fuzzy measure spaces 1999-02-28 Paper https://portal...
    10 bytes (19 words) - 12:52, 28 January 2024
  • Improved Bell-polynomial procedure for the higher-order Korteweg-de Vries equations in fluid dynamics 2019-03-19 Paper Backstepping synthesis for feedback control...
    10 bytes (17 words) - 16:35, 6 October 2023
  • coherence of frames 2014-11-03 Paper On paranormed Zweier ideal convergent sequence spaces defined by Orlicz function 2014-11-03 Paper Common fixed point theorems...
    10 bytes (16 words) - 03:57, 7 October 2023
  • framework for simulation of thrombogenesis 2008-06-16 Paper A spectral sequence for Khovanov homology with an application to (3,q)-torus links 2008-06-13...
    10 bytes (16 words) - 11:05, 24 September 2023
  • graphs 2018-11-13 Paper An efficient shift rule for the prefer-max de Bruijn sequence 2018-11-13 Paper On the stabilization rate of solutions of the Cauchy problem...
    10 bytes (15 words) - 16:16, 24 September 2023
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)