Search results
From MaRDI portal
- Date of Publication Type A linear logic framework for multimodal logics 2023-04-19 Paper A focused linear logical framework and its application to metatheory...10 bytes (16 words) - 02:06, 25 September 2023
- 2017-10-19 Paper A Coding-Cost Framework for Super-Resolution Motion Layer Decomposition 2017-10-19 Paper A linear framework for region-based image segmentation...10 bytes (16 words) - 22:51, 24 September 2023
- The computational framework for continuum-kinematics-inspired peridynamics 2021-02-02 Paper Correction to: ``The computational framework for continuum-kinematics-inspired...10 bytes (17 words) - 14:20, 11 December 2023
- Paper A certified framework for compiling and executing garbage-collected languages 2015-03-05 Paper A Meta Linear Logical Framework 2014-01-10 Paper Practical...10 bytes (16 words) - 16:01, 6 October 2023
- periodic feedback stabilization for linear periodic evolution equations 2014-07-25 Paper Periodic stabilization for linear time-periodic ordinary differential...10 bytes (16 words) - 08:07, 7 October 2023
- Paper Mechanizing focused linear logic in Coq 2019-11-12 Paper Hybrid linear logic, revisited 2019-10-09 Paper A uniform framework for substructural logics...10 bytes (17 words) - 12:11, 6 October 2023
- stochastic dynamical systems 2020-10-22 Paper Extending the Best Linear Approximation Framework to the Process Noise Case 2020-10-07 Paper Sampled-data adaptive...10 bytes (16 words) - 10:58, 24 September 2023
- 2023-06-23 Paper A linear logic framework for multimodal logics 2023-04-19 Paper Non-associative, non-commutative multi-modal linear logic 2022-12-07 Paper...10 bytes (17 words) - 12:11, 6 October 2023
- existence of solutions of half‐linear q‐difference equation 2021-12-09 Paper Asymptotic behavior of solutions of half-linear differential equations and generalized...10 bytes (18 words) - 11:44, 9 December 2023
- time integration scheme for non-linear thermo-mechanics 2021-04-26 Paper A convex multi-variable based computational framework for multilayered electro-active...10 bytes (18 words) - 22:24, 10 December 2023
- scheme based on a convex multi-variable framework for non-linear electro-elastodynamics 2020-04-08 Paper A framework for polyconvex large strain phase-field...10 bytes (16 words) - 22:24, 10 December 2023
- formulation of the Schapery non-linear viscoelastic material model 2004-05-27 Paper A micromechanical constitutive framework for the nonlinear viscoelastic...10 bytes (18 words) - 02:22, 10 December 2023
- truncation for linear switched systems 2018-12-28 Paper Data-Driven Model Order Reduction of Linear Switched Systems in the Loewner Framework 2018-04-25 Paper...10 bytes (18 words) - 17:15, 8 December 2023
- Partially Linear Single-Index Models 2019-06-14 Paper A general framework for frequentist model averaging 2019-03-07 Paper Additive partially linear models...10 bytes (16 words) - 11:25, 8 December 2023
- Paper A Contextual Logical Framework 2016-01-12 Paper Choreographies, Logically 2014-09-15 Paper A Meta Linear Logical Framework 2014-01-10 Paper https://portal...10 bytes (16 words) - 18:03, 9 December 2023
- element methods 2021-11-16 Paper NURBS-based non-periodic finite element framework for Kohn-Sham density functional theory calculations 2020-07-07 Paper Hierarchical...10 bytes (17 words) - 14:25, 11 December 2023
- validation errors for linear system identification 2022-07-22 Paper Simultaneous stabilization problem in a behavioral framework 2019-05-29 Paper Discussion...10 bytes (16 words) - 17:41, 9 December 2023
- fuzzy sets: general framework and practical models 2023-10-31 Paper Belief functions induced by random fuzzy sets: a general framework for representing uncertain...10 bytes (14 words) - 14:50, 6 December 2023
- based on vague linear transformation 2015-02-04 Paper On parallel simulation of a new linear Cosserat elasticity model with grid framework model assumptions...10 bytes (17 words) - 06:16, 12 December 2023
- switched linear dynamical systems: a framework for cryptographic applications 2010-04-06 Paper Invertibility and Flatness of Switched Linear Discrete-Time...10 bytes (16 words) - 23:31, 10 December 2023
