Výsledky vyhledávání - acm: i.: computing methodologies/i.1: symbolic AND algebraic (manipulation OR manipulacia)

Zdroj: ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-00815174 ; ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States

Témata: complexity, effective real algebraic geometry, linear matrix inequality, rational sum of squares, semidefinite programming, convexity, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Geografické téma: Boston, United States

Time: Boston, United States

Dostupnost: https://inria.hal.science/hal-00815174
https://inria.hal.science/hal-00815174v1/document
https://inria.hal.science/hal-00815174v1/file/rational-lmi-6.pdf

View record from BASE

Nájsť tento článok vo Web of Science

5

On the general solutions of a rank factorization problem ; Sur les solutions générales d'un problème de factorisation relative au rang

Autoři: Dagher, Roudy Hubert, Elisa Quadrat, Alban a další

Přispěvatelé: Dagher, Roudy Hubert, Elisa Quadrat, Alban a další

Zdroj: https://inria.hal.science/hal-03479643 ; [Research Report] RR-9438, Sobonne Université, IMJ - PRG, Inria Paris; Inria Lille - Nord Europe; Laboratoire d'Analyse des Signaux et Processus Industriels. 2021, pp.57.

Témata: Vibration analysis, Polynomial systems, Rank factorization problem, Centrohermitian matrix, Module theory, Homological algebra, Demodulation problems, Gearbox fault detection/surveillance, Analyse vibratoire, Détection et surveillance des défauts d'engrenages, Problèmes de démodulation, Algèbre homologique, Théorie des modules, Matrice centrohermitiennes, Factorisation relative au rang, Systèmes polynomiaux, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Dostupnost: https://inria.hal.science/hal-03479643
https://inria.hal.science/hal-03479643v2/document
https://inria.hal.science/hal-03479643v2/file/RR-9438-v2.pdf

View record from BASE

Nájsť tento článok vo Web of Science

6

A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets

Autoři: Safey El Din, Mohab Schost, Éric Polynomial Systems (PolSys) a další

Přispěvatelé: Safey El Din, Mohab Schost, Éric Polynomial Systems (PolSys) a další

Zdroj: ISSN: 0004-5411.

Témata: Polynomial system solving, Real algebraic geometry, Connectivity queries, Symbolic computation and algebraic computation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: G.: Mathematics of Computing, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1307.7836v2; ARXIV: 1307.7836v2

Dostupnost: https://inria.hal.science/hal-00849057
https://inria.hal.science/hal-00849057v3/document
https://inria.hal.science/hal-00849057v3/file/roadmaps-JACM-new-hal.pdf
https://doi.org/10.1145/2996450

View record from BASE

Nájsť tento článok vo Web of Science

7

Critical Point Methods and Effective Real Algebraic Geometry: New Results and Trends

Autoři: Safey El Din, Mohab Polynomial Systems (PolSys) Laboratoire d'Informatique de Paris 6 (LIP6) a další

Přispěvatelé: Safey El Din, Mohab Polynomial Systems (PolSys) Laboratoire d'Informatique de Paris 6 (LIP6) a další

Zdroj: ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-00922718 ; ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.5-6, ⟨10.1145/2465506.2465928⟩

Témata: effective real algebraic geometry, real roots, polynomial system solving, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Geografické téma: Boston, United States

Time: Boston, United States

Dostupnost: https://inria.hal.science/hal-00922718
https://inria.hal.science/hal-00922718v1/document
https://inria.hal.science/hal-00922718v1/file/abstract-safeyeldin.pdf
https://doi.org/10.1145/2465506.2465928

View record from BASE

Nájsť tento článok vo Web of Science

8

Computing real solutions of polynomial fuzzy systems ; Résolution réelle de systèmes polynomiaux flous

Autoři: Aubry, Philippe Marrez, Jérémy Valibouze, Annick a další

Přispěvatelé: Aubry, Philippe Marrez, Jérémy Valibouze, Annick a další

Zdroj: https://hal.sorbonne-universite.fr/hal-01766553 ; 2018.

Témata: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.8: Uncertainty, ``fuzzy,' and probabilistic reasoning, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.1: Numerical Algorithms and Problems/F.2.1.3: Computations on polynomials, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Relation: https://hal.sorbonne-universite.fr/hal-01666957v1

Dostupnost: https://hal.sorbonne-universite.fr/hal-01766553
https://hal.sorbonne-universite.fr/hal-01766553v1/document
https://hal.sorbonne-universite.fr/hal-01766553v1/file/systemesFlous_Francais_2018-02-20.pdf

View record from BASE

Nájsť tento článok vo Web of Science

9

Pythagore's Dilemma, Symbolic-Numeric Computation, and the Border Basis Method

Autoři: Mourrain, Bernard Geometry, algebra, algorithms (GALAAD) Inria Sophia Antipolis - Méditerranée (CRISAM) a další

Přispěvatelé: Mourrain, Bernard Geometry, algebra, algorithms (GALAAD) Inria Sophia Antipolis - Méditerranée (CRISAM) a další

Zdroj: Symbolic-Numeric Computation ; https://hal.inria.fr/inria-00137424 ; Dongming Wang and Lihong Zhi. Symbolic-Numeric Computation, Birkhauser, pp.223--243, 2007, Trends in Mathematics

Témata: ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Relation: inria-00137424; https://hal.inria.fr/inria-00137424; https://hal.inria.fr/inria-00137424/document; https://hal.inria.fr/inria-00137424/file/paper.pdf

Dostupnost: https://hal.inria.fr/inria-00137424
https://hal.inria.fr/inria-00137424/document
https://hal.inria.fr/inria-00137424/file/paper.pdf

View record from BASE

Nájsť tento článok vo Web of Science

10

Some remarks on wheeled autonomous vehicles and the evolution of their control design

Autoři: d'Andréa-Novel, Brigitte Menhour, Lghani Fliess, Michel a další

Přispěvatelé: d'Andréa-Novel, Brigitte Menhour, Lghani Fliess, Michel a další

Zdroj: 9th IFAC Symposium on Intelligent Autonomous Vehicles
https://polytechnique.hal.science/hal-01294825
9th IFAC Symposium on Intelligent Autonomous Vehicles, Jun 2016, Leipzig, Germany

Témata: model-free control, flatness-based control, lateral control, autonomous vehicles, wheeled vehicles, intelligent controllers, algebraic estimation, longitudinal control, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]

Geografické téma: Leipzig, Germany

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1604.02083; ARXIV: 1604.02083

Dostupnost: https://polytechnique.hal.science/hal-01294825
https://polytechnique.hal.science/hal-01294825v2/document
https://polytechnique.hal.science/hal-01294825v2/file/Leipzig_Mines_16.pdf

View record from BASE

Nájsť tento článok vo Web of Science

11

On the Boolean complexity of real root refinement

Autoři: Pan, Victor, Y. Tsigaridas, Elias Department of Mathematics and Computer Science Lehman a další

Přispěvatelé: Pan, Victor, Y. Tsigaridas, Elias Department of Mathematics and Computer Science Lehman a další

Zdroj: ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-00816214 ; ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. ⟨10.1145/2465506.2465938⟩

Témata: real root refinement, polynomial, real root problem, Boolean complexity, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Geografické téma: Boston, United States

Time: Boston, United States

Dostupnost: https://inria.hal.science/hal-00816214
https://inria.hal.science/hal-00816214v3/document
https://inria.hal.science/hal-00816214v3/file/pt-refine.pdf
https://doi.org/10.1145/2465506.2465938

View record from BASE

Nájsť tento článok vo Web of Science

12

A probabilistic algorithm to compute the real dimension of a semi-algebraic set

Autoři: Safey El Din, Mohab Tsigaridas, Elias Polynomial Systems (PolSys) a další

Přispěvatelé: Safey El Din, Mohab Tsigaridas, Elias Polynomial Systems (PolSys) a další

Zdroj: https://inria.hal.science/hal-00808708 ; 2013.

Témata: symbolic computation, complexity, Effective real algebraic geometry, real dimension, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.1: Numerical Algorithms and Problems/F.2.1.3: Computations on polynomials, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.2: Geometrical problems and computations, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1304.1928; ARXIV: 1304.1928

Dostupnost: https://inria.hal.science/hal-00808708
https://inria.hal.science/hal-00808708v2/document
https://inria.hal.science/hal-00808708v2/file/rd-07.pdf

View record from BASE

Nájsť tento článok vo Web of Science

13

Random polynomials and expected complexity of bisection methods for real solving

Autoři: Emiris, Ioannis Z. Galligo, André Tsigaridas, Elias a další

Přispěvatelé: Emiris, Ioannis Z. Galligo, André Tsigaridas, Elias a další

Zdroj: Preceedings of International Symposium on Symbolic and Algebraic Computation ; ISSAC ; https://hal.inria.fr/inria-00482722 ; ISSAC, Jul 2010, Munich, Germany. pp.235-242, ⟨10.1145/1837934.1837980⟩

Témata: Random polynomial, real-root isolation, Bernstein polynomial, expected complexity, separation bound, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Geografické téma: Munich, Germany

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1005.2001; inria-00482722; https://hal.inria.fr/inria-00482722; https://hal.inria.fr/inria-00482722v2/document; https://hal.inria.fr/inria-00482722v2/file/egt-issac-10.pdf; ARXIV: 1005.2001

Dostupnost: https://hal.inria.fr/inria-00482722
https://hal.inria.fr/inria-00482722v2/document
https://hal.inria.fr/inria-00482722v2/file/egt-issac-10.pdf
https://doi.org/10.1145/1837934.1837980

View record from BASE

Nájsť tento článok vo Web of Science

14

Distributed Synthesis of State-Dependent Switching Control

Autoři: Le Coënt, Adrien Fribourg, Laurent Markey, Nicolas a další

Přispěvatelé: Le Coënt, Adrien Fribourg, Laurent Markey, Nicolas a další

Zdroj: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://hal.science/hal-01295738 ; Lecture Notes in Computer Science, 2016, Reachability Problems (RP 2016), 9899, pp.119-133. ⟨10.1007/978-3-319-45994-3_9⟩.

Témata: reachability, state-dependent control, compositional synthesis, distributed control, control synthesis, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1604.01745; info:eu-repo/grantAgreement//601148/EU/Collective Adaptive System SynThesIs with Non-zero-sum Games/CASSTING; ARXIV: 1604.01745

Dostupnost: https://hal.science/hal-01295738
https://hal.science/hal-01295738v1/document
https://hal.science/hal-01295738v1/file/cassting.pdf
https://doi.org/10.1007/978-3-319-45994-3_9

View record from BASE

Nájsť tento článok vo Web of Science

15

Infinite families of finite string rewriting systems and their confluence

Autoři: Jouannaud, Jean-Pierre Monate, Benjamin Formal Methods for Embedded Systems (FORMES) a další

Přispěvatelé: Jouannaud, Jean-Pierre Monate, Benjamin Formal Methods for Embedded Systems (FORMES) a další

Zdroj: Proceedings 17th International Conference on Logic for Programs and Automated Reasonning ; Proc. LPAR 2010 ; https://inria.hal.science/inria-00515395 ; Proc. LPAR 2010, Steffen Hölldobler, Oct 2010, Yogyakarta, Indonesia

Témata: Recriture Parametrisation Confluence terminaison, ACM: I.: Computing Methodologies, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Yogyakarta, Indonesia

Dostupnost: https://inria.hal.science/inria-00515395
https://inria.hal.science/inria-00515395/document
https://inria.hal.science/inria-00515395/file/main-easychair.pdf

View record from BASE

Nájsť tento článok vo Web of Science

16

Automatic differentiation of hybrid models Illustrated by Diffedge Graphic Methodology. (Survey) ; Différenciation automatique de modèles hybrides illustrés par la méthodologie graphique de Diffedge. (Survey)

Autoři: Masse, John Masse, Clara Ollivier, François a další

Přispěvatelé: Masse, John Masse, Clara Ollivier, François a další

Zdroj: https://hal.science/hal-01536730 ; 2017.

Témata: Automatic differentiation, Matlab, Maple, Gradient, Real Time, Optimization, Diffedge, Parametric sensitivity, Block diagram, Simulink, Hybrid systems, Différenciation automatique, Systèmes hybrides, Schémas block, Sensibilité paramétrique, Optimisation, Temps réel, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: G.: Mathematics of Computing, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Dostupnost: https://hal.science/hal-01536730
https://hal.science/hal-01536730v1/document
https://hal.science/hal-01536730v1/file/derivationV2.pdf

View record from BASE

Nájsť tento článok vo Web of Science

17

An introduction to constructive algebraic analysis and its applications

Autoři: Quadrat, Alban Analysis and Problems of Inverse type in Control and Signal processing (APICS) Inria Sophia Antipolis - Méditerranée (CRISAM) a další

Přispěvatelé: Quadrat, Alban Analysis and Problems of Inverse type in Control and Signal processing (APICS) Inria Sophia Antipolis - Méditerranée (CRISAM) a další

Zdroj: https://inria.hal.science/inria-00506104 ; [Research Report] RR-7354, INRIA. 2010, pp.237.

Témata: Algebraic analysis, linear systems of partial differential equations, constructive algebra, control theory, linear functional systems, module theory, homological algebra, symbolic computation, systems theory, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: Report N°: RR-7354; inria-00506104; https://inria.hal.science/inria-00506104; https://inria.hal.science/inria-00506104/document; https://inria.hal.science/inria-00506104/file/Cours.pdf

Dostupnost: https://inria.hal.science/inria-00506104
https://inria.hal.science/inria-00506104/document
https://inria.hal.science/inria-00506104/file/Cours.pdf

View record from BASE

Nájsť tento článok vo Web of Science

18

Intrinsic complexity estimates in polynomial optimization

Autoři: Bank, Bernd Giusti, Marc Heintz, Joos a další

Přispěvatelé: Bank, Bernd Giusti, Marc Heintz, Joos a další

Zdroj: ISSN: 0885-064X.

Témata: Polynomial optimization, Intrinsic complexity, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1304.5214; ARXIV: 1304.5214

Dostupnost: https://inria.hal.science/hal-00815123
https://inria.hal.science/hal-00815123v2/document
https://inria.hal.science/hal-00815123v2/file/opt_27_01_14.pdf
https://doi.org/10.1016/j.jco.2014.02.005

View record from BASE

Nájsť tento článok vo Web of Science

19

Symbolic Analyses of Dataflow Graphs

Autoři: Bouakaz, Adnan Fradet, Pascal Girault, Alain a další

Přispěvatelé: Bouakaz, Adnan Fradet, Pascal Girault, Alain a další

Zdroj: ACM Transactions on Design Automation of Electronic Systems. 22:1-25

Témata: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Scheduling, Latency, Dataflow graphs, 0202 electrical engineering, electronic engineering, information engineering, Symbolic analysis, 02 engineering and technology, Throughput, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Přístupová URL adresa: https://inria.hal.science/hal-01417146v1
https://doi.org/10.1145/3007898
https://hal.inria.fr/hal-01417146
https://dblp.uni-trier.de/db/journals/todaes/todaes22.html#BouakazFG17a
https://dl.acm.org/doi/10.1145/3007898
https://doi.org/10.1145/3007898

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

20

Some programming languages for LOGSPACE and PTIME

Autoři: Bonfante, Guillaume Linear logic, proof networks and categorial grammars (CALLIGRAMME) INRIA Lorraine a další

Přispěvatelé: Bonfante, Guillaume Linear logic, proof networks and categorial grammars (CALLIGRAMME) INRIA Lorraine a další

Zdroj: 11th International Conference on Algebraic Methodology and Software Technology - AMAST'06
https://hal.inria.fr/inria-00105744
11th International Conference on Algebraic Methodology and Software Technology - AMAST'06, Jul 2006, Kuresaare/Estonie

Témata: complexity, logspace, ptime, cons-free, characterization of classes, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]