Discipline
Résultats 21-40 de 86
-
Calcul des solutions polynomiales et des annulateurs d’opérateurs intégro-différentiels à coefficients polynomiaux
12-2016, Inria Lille - Nord Europe; Institute for Algebra, Johannes Kepler University LinzRapport de recherchetexte intégral -
Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters
MNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems, Minneapolis, 11-07-2016, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems, 07-2016Communication dans un congrès avec actestexte intégral -
Computer Algebra in Scientific Computing
Springer International Publishing, 2022Autre communication scientifique (congrès sans actes - poster - séminaire...) -
Computer Algebra in Scientific Computing. 22nd International Workshop, CASC 2020 Proceedings
14-09-2020Autre communication scientifique (congrès sans actes - poster - séminaire...) -
Computer Algebra in Scientific Computing23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings
09-2021Autre communication scientifique (congrès sans actes - poster - séminaire...)texte intégral -
Computer algebra methods for the stability analysis of differential systems with commensurate time-delays
13th IFAC Workshop on Time Delay Systems, Istanbul, 22-06-2016, 13th IFAC Workshop on Time Delay Systems, 06-2016Communication dans un congrès avec actestexte intégral -
Computing Difference Abstractions of Linear Equation Systems
Theoretical Computer Science, Elsevier, 2021Compte-rendu et recension critique d'ouvragetexte intégral -
Computing effectively stabilizing controllers for a class of $n$D systems
The 20th World Congress of the International Federation of Automatic Control, Toulouse, 09-07-2017, 07-2017Communication dans un congrès avec actestexte intégral -
Computing Puiseux series: a fast divide and conquer algorithm
Annales Henri Lebesgue, UFR de Mathématiques - IRMAR, 2021, 4, 1061--1102Compte-rendu et recension critique d'ouvragetexte intégral -
Computing the equisingularity type of a pseudo-irreducible polynomial
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 24-08-2020, 31, 435-460Compte-rendu et recension critique d'ouvragetexte intégral -
Conception d'applications cloud auto-adaptatives correct-by-construction à l'aide de méthodes formelles
Université de Lille, 27-01-2023Thèsetexte intégral -
Conception d'applications cloud auto-adaptatives correct-by-construction à l'aide de méthodes formelles
Université de Lille, 27-01-2023Thèsetexte intégral -
Contribution to Integral Elimination
Pré-publication ou Document de travailtexte intégral -
Contrôleurs H∞ explicites pour les systèmes d'ordre 1 à 3, à simple entrée et simple sortie, avec paramètres
IFAC 2017 Workshop Congress, Toulouse, 10-07-2017Communication dans un congrès avec actes -
Contrôleurs H∞ explicites pour les systèmes d'ordre 4, à une seule entrée et une seule sortie, avec des paramètres et leurs applications au système masse-ressort avec amortissement
IFAC 2017 Workshop Congress, Toulouse, 10-07-2017Communication dans un congrès avec actes -
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
20th International Conference on Developments in Language Theory (DLT 2016), Montreal, 25-07-2016, Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, Lecture Notes in Computer Science, Springer, 21-07-2016Communication dans un congrès avec actestexte intégral -
Decoupling multivariate fractions
Computer Algebra in Scientific Computing, Sochi, 13-09-2021Communication dans un congrès avec actestexte intégral -
Efficient and Validated Numerical Evaluation of Abelian Integrals
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2023Compte-rendu et recension critique d'ouvragetexte intégral -
Efficient and Validated Numerical Evaluation of Abelian Integrals
ACM Transactions on Mathematical Software, Association for Computing Machinery, 11-2023Compte-rendu et recension critique d'ouvragetexte intégral -
Efficiently and Effectively Recognizing Toricity of Steady State Varieties
Pré-publication ou Document de travailtexte intégral