Search results
From MaRDI portal
- Jakob Cimprič (section List of research outcomes)2005-08-22 Paper Higher product levels of domains 2005-06-01 Paper Valuation theory of higher level *-signatures 2004-11-19 Paper Real spectra of quantum groups...10 bytes (17 words) - 15:17, 8 December 2023
- Niels Schwartz (section List of research outcomes)abgeschlossener răume 1990-01-01 Paper Open morphisms of real closed spaces 1989-01-01 Paper The basic theory of real closed spaces 1989-01-01 Paper https://portal...10 bytes (17 words) - 15:03, 11 December 2023
- Murray A. Marshall (section List of research outcomes)1997-06-10 Paper Spaces of orderings and abstract real spectra 1996-11-14 Paper Spaces of orderings and separation of connected components of real varieties by polynomials...10 bytes (18 words) - 13:29, 11 December 2023
- Phil Diamond (section List of research outcomes)performance analysis of finite horizon linear discrete time varying systems 2007-06-14 Paper Estimates of the real structured radius of stability of linear dynamic...10 bytes (16 words) - 12:49, 8 December 2023
- Yu Zhang (section List of research outcomes)presence of non-condensable gas using the interfacial effect of dropwise condensation 2008-05-14 Paper Generation and control of striped attractors of Rössler...10 bytes (17 words) - 21:55, 9 December 2023
- Kei-Ji Izuchi (section List of research outcomes)quotients of Douglas algebras 1986-01-01 Paper Extreme points of unit balls of quotients of \(L^{\infty}\) by Douglas algebras 1986-01-01 Paper QC-level sets...10 bytes (17 words) - 00:05, 9 December 2023
- Jing Xu (section List of research outcomes)numerical study of the effect of mechanical properties of erythrocytes on the near-wall motion of platelets 2016-10-04 Paper Algorithmic construction of \(R\)-optimal...10 bytes (16 words) - 02:37, 10 December 2023
- Felipe Cucker (section List of research outcomes)functions over real spectra 1989-01-01 Paper Nash functions and the structure sheaf 1989-01-01 Paper An Alternate Proof of the Continuity of the Roots of a Polynomial...10 bytes (17 words) - 02:36, 9 December 2023
- 2006-06-14 Paper Sum of Squares Approximation of Polynomials, Nonnegative on a Real Algebraic Set 2006-05-30 Paper A Sum of Squares Approximation of Nonnegative...10 bytes (19 words) - 11:47, 8 December 2023
- David A. Basin (section List of research outcomes)Publication Date of Publication Type Efficient Evaluation of Arbitrary Relational Calculus Queries 2024-01-16 Paper Real-time policy enforcement with metric...10 bytes (19 words) - 00:42, 9 December 2023
- Mariusz Lemanczyk (section List of research outcomes)ergodic theorems and real cocycles 2002-10-31 Paper Ergodicity of Rokhlin cocycles. 2002-07-10 Paper Topological ergodicity of real cocycles over minimal...10 bytes (17 words) - 10:02, 8 December 2023
- Bernard De Baets (section List of research outcomes)characterization of the classes Umin and Umax of uninorms on a bounded lattice 2023-10-26 Paper Maximal directions of monotonicity of an aggregation function...10 bytes (19 words) - 00:58, 9 December 2023
- Andrew Reynolds (section List of research outcomes)Publication Date of Publication Type High-level abstractions for simplifying extended string constraints in SMT 2024-02-16 Paper Invertibility conditions...10 bytes (16 words) - 19:58, 6 October 2023
- domain for verification of neural networks 2023-08-17 Paper A faster algorithm for determining the linear feasibility of systems of BTVPI constraints 2023-08-14...10 bytes (19 words) - 00:03, 10 December 2023
- Jakob Grue Simonsen (section List of research outcomes)Transformers of Unbounded Observables 2017-05-19 Paper The Power of Non-determinism in Higher-Order Implicit Complexity 2017-05-19 Paper Some remarks on real numbers...10 bytes (18 words) - 09:15, 7 October 2023
- Jie Chen (section List of research outcomes)The embedding property of the scaling limit of modulation spaces 2022-04-06 Paper Nonlinearizations of Darboux transformations of Kaup-Newell equation based...10 bytes (17 words) - 14:31, 10 December 2023
- Cheng Yang (section List of research outcomes)hydrodynamics 2022-01-24 Paper A Basis of Casimirs in 3D Magnetohydrodynamics 2022-01-13 Paper An ODE-driven level-set density method for topology optimization...10 bytes (16 words) - 09:26, 25 September 2023
- Jonathan M. Borwein (section List of research outcomes)convergence of von Neumann's alternating projection algorithm for two sets 1994-01-06 Paper Mosco and slice convergence of level sets and graphs of linear functionals...10 bytes (19 words) - 04:29, 9 December 2023
- Dov M. Gabbay (section List of research outcomes)theories of algebraically closed fields and real closed fields 1973-01-01 Paper Applications of Scott's notion of consequence to the study of general binary...10 bytes (19 words) - 02:43, 9 December 2023
- Bin Chen (section List of research outcomes)completely monotone of an arbitrary real parameter function involving the gamma function 2016-04-28 Paper Non-vanishing and sign changes of Hecke eigenvalues...10 bytes (17 words) - 21:36, 9 December 2023
