Search results
From MaRDI portal
- Wasserstein generative models for patch-based texture synthesis 2021-12-20 Paper Maximum Entropy Methods for Texture Synthesis: Theory and Practice 2021-07-06...10 bytes (16 words) - 12:50, 6 October 2023
- formal semantics 2018-10-17 Paper Model Checking Probabilistic Systems 2018-07-20 Paper Compositional strategy synthesis for stochastic games with multiple...10 bytes (18 words) - 14:12, 10 December 2023
- Publication Date of Publication Type Stabilizing model predictive control synthesis using integral quadratic constraints and full‐block multipliers 2024-03-20...10 bytes (18 words) - 12:58, 8 December 2023
- Parameter synthesis for Markov models: faster than ever 2018-10-25 Paper Bounded model checking for probabilistic programs 2018-10-25 Paper Model checking...10 bytes (19 words) - 01:51, 9 December 2023
- 2022-10-26 Paper A coupled model of composite synthesis in combustion regime 2022-07-22 Paper Nonstationary thermokinetic model of surface laser scanning...10 bytes (18 words) - 22:37, 9 December 2023
- Discrete-time integral MRAC with minimal controller synthesis and parameter projection 2018-08-16 Paper Hybrid Model Reference Adaptive Control of Piecewise Affine...10 bytes (16 words) - 14:24, 10 December 2023
- Abstraction-Based Interaction Model for Synthesis 2020-07-07 Paper Programming by predicates: a formal model for interactive synthesis 2020-03-06 Paper Property-Directed...10 bytes (16 words) - 23:25, 12 December 2023
- Multivariable anti-windup controller synthesis using bilinear matrix inequalities 2014-08-12 Paper Discussion on: ``Anti-windup and model predictive control: reflections...10 bytes (18 words) - 09:23, 9 December 2023
- Realization and synthesis of reversible functions 2011-03-29 Paper Equality detection for linear arithmetic constraints 2011-02-02 Paper Formal modeling and analysis...10 bytes (16 words) - 14:57, 11 December 2023
- with multiple uncertain delays 2018-08-27 Paper Synthesis of Mixed Objective Output Feedback Robust Model Predictive Control 2018-01-05 Paper Consensus-based...10 bytes (17 words) - 18:57, 13 December 2023
- Multivariable anti-windup controller synthesis using bilinear matrix inequalities 2014-08-12 Paper Discussion on: ``Anti-windup and model predictive control: reflections...10 bytes (18 words) - 09:23, 9 December 2023
- 2022-09-27 Paper Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis 2022-07-05 Paper Interpretable fault...10 bytes (16 words) - 23:34, 9 December 2023
- Geometry of reproducing kernels in model spaces near the boundary 2016-11-18 Paper Completeness and spectral synthesis of nonselfadjoint one-dimensional...10 bytes (18 words) - 01:55, 11 December 2023
- steady flow--structure interaction in a model collapsible tube 2006-05-16 Paper Application of a hybrid model of mushy zone to macrosegregation in alloy...10 bytes (18 words) - 17:53, 9 December 2023
- Publication Type Mechanised Wire-wise Verification of Handel-C Synthesis 2015-03-19 Paper Model checking RAISE applicative specifications 2014-11-11 Paper...10 bytes (18 words) - 22:27, 11 December 2023
- system synthesis 2013-06-14 Paper Mathematical analysis of stage-based programmable logic controller 2011-08-28 Paper Realization and synthesis of reversible...10 bytes (17 words) - 16:42, 10 December 2023
- Bayesian Evidence Synthesis 2020-01-15 Paper Evidence synthesis for stochastic epidemic models 2019-03-01 Paper Joining and splitting models with Markov melding...10 bytes (18 words) - 22:11, 9 December 2023
- network model of managing investment portfolio under random stepwise changes in volatilities of financial assets 2005-08-08 Paper Dynamic network model of investment...10 bytes (18 words) - 16:36, 12 December 2023
- 2019-10-24 Paper Model checking and synthesis for branching multi-weighted logics 2019-06-20 Paper The fork calculus 2019-03-29 Paper Automatic synthesis of real...10 bytes (19 words) - 09:59, 8 December 2023
- of Priority Synthesis 2011-07-29 Paper Model Construction and Priority Synthesis for Simple Interaction Systems 2011-07-22 Paper Synthesis of Fault-Tolerant...10 bytes (18 words) - 15:07, 9 December 2023