Search results
From MaRDI portal
- Warren P. Adams (section List of research outcomes)representations of lexicographic orderings and base-2 expansions of integer variables 2013-06-24 Paper Base-2 Expansions for Linearizing Products of Functions of Discrete...10 bytes (18 words) - 06:21, 9 December 2023
- Marco Roveri (section List of research outcomes)arithmetic with incremental linearization 2018-08-10 Paper Satisfiability modulo transcendental functions via incremental linearization 2017-09-22 Paper Dynamic...10 bytes (17 words) - 10:34, 11 December 2023
- Publication Date of Publication Type Piecewise linearization of bivariate nonlinear functions: minimizing the number of pieces under a bounded approximation...10 bytes (18 words) - 14:57, 10 December 2023
- Alessandro Cimatti (section List of research outcomes)contract refinements of a system architecture 2018-08-08 Paper Satisfiability modulo transcendental functions via incremental linearization 2017-09-22 Paper...10 bytes (16 words) - 10:34, 11 December 2023
- Lee, E. Stanley (section List of research outcomes)Fréchet differentiability of convex functions on non-Asplund spaces 1999-02-03 Paper Generic Fréchet differentiability of convex functions dominated by a lower...10 bytes (18 words) - 16:52, 6 December 2023
- Mário Florido (section List of research outcomes)2005-12-27 Paper Linearization of the lambda-calculus and its relation with intersection type systems 2005-09-27 Paper Weak linearization of the lambda calculus...10 bytes (16 words) - 06:51, 7 October 2023
- Asymptotic analysis of almost periodic weakly non-linear systems 1991-01-01 Paper New linearization technique for a class of non-linear systems 1989-01-01...10 bytes (20 words) - 13:52, 13 December 2023
- Alban Ponse (section List of research outcomes)guards: Combining hoare logic with process algebra 1994-06-29 Paper Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion...10 bytes (16 words) - 20:53, 24 September 2023
- Alberto Griggio (section List of research outcomes)arithmetic with incremental linearization 2018-08-10 Paper Satisfiability modulo transcendental functions via incremental linearization 2017-09-22 Paper Infinite-state...10 bytes (16 words) - 20:11, 6 October 2023
- Ya-Li Li (section List of research outcomes)multivariate linear forms 2023-04-20 Paper A note on a problem of Erdős, Nathanson and Sárközy 2023-01-23 Paper HAR-Net: Joint Learning of Hybrid Attention...10 bytes (17 words) - 23:01, 11 December 2023
- Tong-Heng Lee (section List of research outcomes)for the stability of second-order switched linear systems under arbitrary switching 2012-12-27 Paper Synthesized design of a fuzzy logic controller for an...10 bytes (18 words) - 10:15, 9 December 2023
- Alexey Zhirabok (section List of research outcomes)2018-04-13 Paper Functions’ algebra in nonlinear control: computational aspects and software 2018-03-29 Paper Feedback linearization of possibly non-smooth...10 bytes (17 words) - 13:55, 12 December 2023
- Date of Publication Type Rough set models of some abstract algebras close to pre-rough algebra 2024-04-18 Paper Algebras and Logics Emerging Out of Rough...10 bytes (18 words) - 23:58, 10 December 2023
- Hong-Xing Li (section List of research outcomes)Application 2004-10-14 Paper Interpolation functions of feedforward neural networks 2004-08-20 Paper Control functions of fuzzy controllers 2004-08-06 Paper Fuzzy...10 bytes (17 words) - 16:29, 11 December 2023
- Calculus for fuzzy functions with strongly linearly independent fuzzy coefficients 2023-10-27 Paper Solutions of higher order linear fuzzy differential...10 bytes (20 words) - 23:05, 9 December 2023
- Jan Van den Bussche (section List of research outcomes)in the Logic of Information Flows 2023-11-03 Paper DNAQL: a query language for DNA sticker complexes 2023-09-08 Paper SHACL: a description logic in disguise...10 bytes (20 words) - 23:15, 9 December 2023
- Lluís Godo (section List of research outcomes)2019-01-31 Paper Logics of formal inconsistency arising from systems of fuzzy logic 2019-01-08 Paper On the set of intermediate logics between the truth-...10 bytes (17 words) - 15:59, 7 December 2023
- Jeffery B. Remmel (section List of research outcomes)Properties for Stable Semantics of Logic Programs 2008-01-04 Paper K-Trivial Closed Sets and Continuous Functions 2007-11-13 Paper Logic Programming and Nonmonotonic...10 bytes (19 words) - 16:57, 9 December 2023
- Andrej Scedrov (section List of research outcomes)2003-08-11 Paper Phase semantics for light linear logic 2003-07-29 Paper Optimization complexity of linear logic proof games 2000-08-23 Paper https://portal...10 bytes (17 words) - 00:48, 12 December 2023
- hyperequivalence of logic programs for modular programming 2009-11-25 Paper Simple Random Logic Programs 2009-11-10 Paper Trichotomy Results on the Complexity of Reasoning...10 bytes (17 words) - 14:24, 10 December 2023
