Search results
From MaRDI portal
- Elliptic Curves 2021-06-04 Paper A new notation for arrows 2015-03-09 Paper Parametricity and dependent types 2015-03-05 Paper Proofs for free 2013-08-19 Paper...10 bytes (17 words) - 13:49, 24 September 2023
- Parameters for Parametric Timed Reachability Games 2014-07-08 Paper Parametric Interrupt Timed Automata 2014-07-07 Paper Symbolic unfolding of parametric stopwatch...10 bytes (16 words) - 16:25, 11 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4364388 1998-03-15 Paper Parametricity and local variables 1998-01-28 Paper Semantical analysis of specification...10 bytes (18 words) - 21:23, 11 December 2023
- Paper Fast machine words in Isabelle/HOL 2018-10-04 Paper Relational parametricity and quotient preservation for modular (co)datatypes 2018-10-04 Paper...10 bytes (16 words) - 05:59, 13 December 2023
- estimates of solutions to parametric primal and dual vector quasi-equilibria 2014-05-16 Paper Semicontinuity results on parametric vector variational inequalities...10 bytes (17 words) - 22:02, 9 December 2023
- vibration suppression by parametric stiffness excitation 2009-09-11 Paper Enhanced damping of a cantilever beam by axial parametric excitation 2009-05-29...10 bytes (17 words) - 01:24, 13 December 2023
- object be? 2023-07-13 Paper Logical Relations as Types: Proof-Relevant Parametricity for Program Modules 2022-12-08 Paper https://portal.mardi4nfdi.de/entity/Q5094128...10 bytes (16 words) - 23:13, 27 December 2023
- Paper Adjustable robust optimization through multi-parametric programming 2020-05-26 Paper Multi-parametric global optimization approach for tri-level mixed-integer...10 bytes (18 words) - 17:35, 8 December 2023
- the value function in a parametric optimal control problem 2017-03-09 Paper Subgradients of the value function in a parametric convex optimal control problem...10 bytes (19 words) - 15:07, 10 December 2023
- algorithmic advances in multi-parametric programming and control 2013-10-21 Paper An algorithm for robust explicit/multi-parametric model predictive control...10 bytes (18 words) - 16:17, 11 December 2023
- relations 2020-07-01 Paper Continuity of solution maps to parametric set optimization problems via parametric equilibrium problems 2020-07-01 Paper Convergence...10 bytes (18 words) - 01:03, 10 December 2023
- Publication Date of Publication Type Parametricity of extensionally collapsed term models of polymorphism and their categorical properties 2022-08-16 Paper...10 bytes (16 words) - 11:03, 6 October 2023
- problem 2019-09-04 Paper Parametric Equilibrium Problems Governed by Topologically Pseudomonotone Bifunctions 2016-01-21 Paper Parametric vector optimization...10 bytes (16 words) - 02:46, 13 December 2023
- problems 2020-11-09 Paper Continuity of solution maps to parametric set optimization problems via parametric equilibrium problems 2020-07-01 Paper On Hölder continuity...10 bytes (18 words) - 14:36, 10 December 2023
- feedback 2022-06-03 Paper Robust parametric control of Lorenz system via state feedback 2021-02-05 Paper Robust parametric control of spacecraft rendezvous...10 bytes (17 words) - 19:43, 13 December 2023
- an axially transporting beam with a two-frequency parametric excitation 2023-03-14 Paper Parametric and internal resonance of a transporting plate with...10 bytes (17 words) - 02:08, 11 December 2023
- Parsing: A formalisation of Valiant's Algorithm in Agda 2016-07-06 Paper Parametricity and dependent types 2015-03-05 Paper Proofs for free 2013-08-19 Paper...10 bytes (16 words) - 14:45, 24 September 2023
- Publication Date of Publication Type The Marriage of Univalence and Parametricity 2022-12-08 Paper https://portal.mardi4nfdi.de/entity/Q4993361 2021-06-15...10 bytes (16 words) - 19:42, 24 September 2023
- in a parametrically and self-excited system with two degrees of freedom 2000-11-30 Paper VIBRATION ANALYSIS OF A SELF-EXCITED SYSTEM WITH PARAMETRIC FORCING...10 bytes (16 words) - 12:17, 12 December 2023
- checking for parametric ODE models 2023-06-02 Paper Quantitative analysis of interval Markov chains 2023-05-26 Paper Consistency in parametric interval probabilistic...10 bytes (16 words) - 17:50, 11 December 2023