Search results
From MaRDI portal
- Publication Date of Publication Type Super Edge-Connected Linear Hypergraphs 2022-07-08 Paper Learning-Based Compositional Parameter Synthesis for Event-Recording...10 bytes (17 words) - 18:12, 11 December 2023
- Publication Date of Publication Type Linear Algebra 2014-10-10 Paper Basic Language of Mathematics 2014-04-24 Paper More on uniqueness without continuous...10 bytes (19 words) - 20:43, 12 December 2023
- attainable classes of linear \(\Omega\)-algebras 1975-01-01 Paper SCHREIER VARIETIES OF LINEAR Ω-ALGEBRAS 1975-01-01 Paper LINEAR Ω-ALGEBRAS 1975-01-01...10 bytes (17 words) - 19:54, 11 December 2023
- 2024-02-29 Paper Good filtrations for generalized Schur algebras 2023-12-02 Paper Super invariant theory in positive characteristic 2023-10-25 Paper Schurifying...10 bytes (18 words) - 19:33, 8 December 2023
- Systems With Linear-Time Temporal Logic Specifications 2017-07-12 Paper Characterization of co-observable languages and formulas for their super/sublanguages...10 bytes (17 words) - 17:17, 6 December 2023
- for control of multidimensional linear systems under data rate constraints 2013-06-26 Paper A motion description language for robotic reconnaissance of unknown...10 bytes (17 words) - 17:30, 12 December 2023
- supergravity in four dimensions 1994-08-08 Paper SU(∞) (super)gauge theories and self-dual (super)gravity 1993-09-05 Paper Nonlinear corrections to the Schrödinger...10 bytes (17 words) - 19:02, 8 December 2023
- parafermions 2020-01-17 Paper Mathematical picture language program 2019-07-03 Paper Quon 3D language for quantum information 2019-01-11 Paper Holographic...10 bytes (18 words) - 02:51, 9 December 2023
- semi-monotone operators 2006-08-14 Paper A method to build a super small but practically accurate language model for handheld devices 2004-10-28 Paper Spontaneous...10 bytes (16 words) - 10:12, 25 September 2023
- theorem for slow-fast McKean-Vlasov equations 2023-07-03 Paper Natural language watermarking via paraphraser-based lexical substitution 2023-06-19 Paper...10 bytes (17 words) - 15:44, 9 December 2023
- constraints, count queries, and consistency checking 2018-09-21 Paper Using linear constraints for logic program termination analysis 2017-11-09 Paper Count...10 bytes (17 words) - 04:08, 7 October 2023
- 2021-03-29 Paper Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness 2021-03-18 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 19:53, 9 December 2023
- Publication Date of Publication Type Weighted Linear Dynamic Logic 2024-02-16 Paper Decidability Boundaries for the Finite-Image Property of Weighted Finite...10 bytes (16 words) - 10:20, 9 December 2023
- ordinary differential equations: some first steps towards a programming language 2022-12-07 Paper A Survey on Analog Models of Computation 2022-01-26 Paper...10 bytes (17 words) - 03:08, 9 December 2023
- de/entity/Q4535167 2003-01-20 Paper Parallel evolutionary algorithms can achieve super-linear performance 2002-07-14 Paper Analyzing synchronous and asynchronous parallel...10 bytes (17 words) - 21:06, 9 December 2023
- Systems 2017-07-27 Paper Characterization of co-observable languages and formulas for their super/sublanguages 2017-07-12 Paper Synthesis of maximally permissive...10 bytes (16 words) - 18:12, 6 October 2023
- analysis of graph tests for linearity and PCP 2003-04-03 Paper A New Way of Using Semidefinite Programming with Applications to Linear Equations mod p 2002-12-10...10 bytes (19 words) - 23:46, 8 December 2023
- de/entity/Q3796752 1988-01-01 Paper A linear algorithm for eliminating hidden-lines from a polygonal cylinder 1986-01-01 Paper A simple linear hidden-line algorithm for...10 bytes (16 words) - 13:48, 8 December 2023
- Behavior of various complexity functions 2012-03-13 Paper Uniform sets and super-stationary sets over general alphabets 2011-10-18 Paper On maximal pattern...10 bytes (16 words) - 21:15, 24 September 2023
- times from a multistate model using a novel linear hazards model approach 2015-03-19 Paper A multi-loss super regression learner (MSRL) with application...10 bytes (14 words) - 16:34, 27 February 2024
