Sign in
Facet browsing currently unavailable
Page 1 of 3237 results
Sort by: relevance publication year
|
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes BOOK CHAPTER published 2001 in Process Algebra and Probabilistic Methods. Performance Modelling and Verification |
|
Basic Min-plus and Max-plus Calculus BOOK CHAPTER published 2001 in Network Calculus |
|
Min-plus and Max-plus System Theory BOOK CHAPTER published 2001 in Network Calculus |
|
Nonlinear PDE Models: Soliton Solutions BOOK CHAPTER published 2001 in Computer Algebra Recipes |
|
From max-plus algebra to nonexpansive mappings: a nonlinear theory for discrete event systems JOURNAL ARTICLE published February 2003 in Theoretical Computer Science |
|
An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001 |
|
Parametric Systems of Linear Congruences BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001 |
|
Automatic Aircraft Recognition Using Maximum Likelihood Ratio Test BOOK CHAPTER published 2001 in Active Media Technology |
|
Solution of Systems of Linear Diophantine Equations BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001 |
|
Conservative Finite Difference Schemes for Cosymmetric Systems BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001 |
|
References BOOK CHAPTER published 2001 in The Laboratory Computer |
|
Non-additive Measures by Interval Probability Functions BOOK CHAPTER published 2001 in New Frontiers in Artificial Intelligence |
|
AN EFFECTIVE ALGORITHM FOR ISOLATING THE REAL SOLUTIONS OF SEMI-ALGEBRAIC SYSTEMS AND ITS APPLICATIONS PROCEEDINGS ARTICLE published September 2001 in Computer Mathematics |
|
Application of Max-Plus algebra to biological sequence comparisons JOURNAL ARTICLE published February 2003 in Theoretical Computer Science |
|
Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra BOOK CHAPTER published 2001 in STACS 2001 |
|
Algebraic Identification Algorithm and Application to Dynamical Systems BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001 |
|
Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001 |
|
Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001 |
|
Parallel computing problems and nature-inspired solutions JOURNAL ARTICLE published January 2001 in Future Generation Computer Systems |
|
The Methods of Computer Algebra and the Arnold-Moser Theorem BOOK CHAPTER published 2001 in Computer Algebra in Scientific Computing CASC 2001 |