Výsledky vyhledávání - "ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION*"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: MTNS 2022 - 25th International Symposium on Mathematical Theory of Networks and Systems ; https://inria.hal.science/hal-03908541 ; MTNS 2022 - 25th International Symposium on Mathematical Theory of Networks and Systems, Sep 2022, Bayreuth, Germany. ⟨10.1016/j.ifacol.2022.11.054⟩
Témata: Rings of integro-differential operators, Parametrization, Behaviour theory, Reachability, Algebraic analysis, Polynomial methods, Linear systems, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.2: Integro-differential equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA]
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: SSSC 2022 - 8th IFAC Symposium on System Structure and Control ; https://inria.hal.science/hal-03908688 ; SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montréal, Canada
Témata: Formal integrability, Koszul homology, Spencer cohomology, Cartan's involutivity, Behaviours, Multidimensional systems, Systems of partial differential equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [SPI.AUTO]Engineering Sciences [physics]/Automatic
Geografické téma: Montréal
Time: Montréal, Canada
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: SSSC 2022 - 8th IFAC Symposium on System Structure and Control ; https://inria.hal.science/hal-03908561 ; SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montréal, Canada. ⟨10.1016/j.ifacol.2022.11.301⟩
Témata: Linear systems, Systems with time-delays, Polynomial methods, Delay compensation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.0: Delay equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.2: Integro-differential equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Geografické téma: Montréal
Time: Montréal, Canada
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: Accounting for Constraints in Delay Systems, Advances in Delays and Dynamics (ADD), volume 12, Springer, pp. 87-107 ; https://inria.hal.science/hal-03908643 ; Accounting for Constraints in Delay Systems, Advances in Delays and Dynamics (ADD), volume 12, Springer, pp. 87-107, ADD-2, Springer, pp. 87-107, 2022, Advances in Delays and Dynamics, 978-3-030-89014-8. ⟨10.1007/978-3-030-89014-8_5⟩
Témata: ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.0: Delay equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: SSSC 2022 - 8th IFAC Symposium on System Structure and Control ; https://inria.hal.science/hal-03908550 ; SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montreal, Canada. ⟨10.1016/j.ifacol.2022.11.299⟩
Témata: Linear systems, Continuous-time linear state-space models, Polynomial methods, Algebraic analysis, Rings of integro-differential operators, System equivalence, Behaviours, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.2: Integro-differential equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Geografické téma: Montreal
Time: Montreal, Canada
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-01787423 ; ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209018⟩
Témata: Solving Polynomial System, Toric variety, Mixed Sparse Gröbner Basis, Sparse Polynomial System, Multihomogeneous Polynomial System, Gröbner Basis, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation/I.1.1.0: Representations (general and polynomial), 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: New York, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1805.03577; ARXIV: 1805.03577
-
7
Autoři: a další
Přispěvatelé: 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]
-
8
Autoři: a další
Přispěvatelé: 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]
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-01787549 ; ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209011⟩
Témata: Polynomial solving, Determinantal formula, Bilinear system, Resultant, Mixed Multihomogeneous system, Sparse Resultant, 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: New York, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1805.05060; ARXIV: 1805.05060
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-01788619 ; ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩ ; http://www.issac-symposium.org/2018/
Témata: ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: New York, United States
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y TécnicasTémata: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, Polynomial optimization, DEGREE OF VARIETIES, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, POLYNOMIAL OPTIMIZATION, INTRINSIC COMPLEXITY, Symbolic Computation (cs.SC), 01 natural sciences, Intrinsic complexity, 0101 mathematics, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION
Popis souboru: application/pdf
Přístupová URL adresa: http://arxiv.org/abs/1304.5214
https://notablesdelaciencia.conicet.gov.ar/handle/11336/84333
https://ri.conicet.gov.ar/handle/11336/84333
http://www2.mathematik.hu-berlin.de/publ/pre/2013/P-13-07.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1304.html#abs-1304-5214
https://www.sciencedirect.com/science/article/pii/S0885064X1400020X
https://hal.archives-ouvertes.fr/hal-00815123
http://hdl.handle.net/11336/84333 -
12
Autoři: a další
Přispěvatelé: a další
Zdroj: Journal of Complexity. 29:53-75
Témata: Statistics and Probability, Computer Science - Symbolic Computation, FOS: Computer and information sciences, I.1.2, D.4.6, Control and Optimization, Computer Science - Cryptography and Security, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, 0102 computer and information sciences, Symbolic Computation (cs.SC), 68W40, 13P10, 13P15, 94A60, 01 natural sciences, 13P15, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 0101 mathematics, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.2: Cryptographic controls, 13P10, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Numerical Analysis, Algebra and Number Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Applied Mathematics, MSC10: 68W40, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.1: Analysis of algorithms, 94A60, Cryptography and Security (cs.CR)
Přístupová URL adresa: http://arxiv.org/abs/1112.6263
https://inria.hal.science/hal-00655745v1
https://doi.org/10.1016/j.jco.2012.07.001
https://dblp.uni-trier.de/db/journals/corr/corr1112.html#abs-1112-6263
https://www.sciencedirect.com/science/article/abs/pii/S0885064X12000611
https://www.pjspaenlehauer.net/data/papers/BarFauSalSpa11.pdf
https://hal.inria.fr/hal-00655745
http://dblp.uni-trier.de/db/journals/corr/corr1112.html#abs-1112-6263
https://www.sciencedirect.com/science/article/pii/S0885064X12000611#!
http://ui.adsabs.harvard.edu/abs/2011arXiv1112.6263B/abstract
https://arxiv.org/abs/1112.6263
https://arxiv.org/pdf/1112.6263.pdf -
13
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0747-7171.
Témata: Section in invariant theory, Symmetry, Polynomial systems, Rational invariants, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-04223439 ; ACM; ACM, 2023, 979-8-4007-0039-2. ⟨10.1145/3597066⟩.
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2015 ; https://hal.science/hal-01164471 ; ISSAC 2015, Jul 2015, Bath, United Kingdom. pp.69-76, ⟨10.1145/2755996.2756674⟩ ; http://www.issac-conference.org/2015/
Témata: p-curvature, differential equations, complexity, Algorithms, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.1: Analysis of algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: Bath, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1506.05645; ARXIV: 1506.05645
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-01525560 ; ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Mohab Safey El Din, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087646⟩
Témata: mixed discriminant, separation bounds, solving, polynomial system, tensor-product, Koszul resultant matrix, 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], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Geografické téma: Kaiserslautern, Germany
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0022-2526.
Témata: Hankel Matrices, Cubatures, Gaussian Quadrature, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.4: Quadrature and Numerical Differentiation, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation ; ISSAC '16 ; https://hal.science/hal-01366386 ; ISSAC '16, Sergei A. Abramov; Eugene V. Zima, Jul 2016, Waterloo, Canada. pp.341-348, ⟨10.1145/2930889.2930931⟩ ; http://www.issac-symposium.org/2016
Témata: resultant, power series, half-GCD, 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: Waterloo
Time: Waterloo, Canada
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1609.04259; ARXIV: 1609.04259
-
19
Autoři: a další
Přispěvatelé: 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, GermanyTé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]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1604.02083; ARXIV: 1604.02083
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC) ; https://inria.hal.science/hal-01242700 ; Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops / EuroSys, Apr 2016, London, United Kingdom. pp.7, ⟨10.1145/2911151.2911157⟩ ; http://www2.ucsc.edu/papoc-2016/
Témata: CRDTs, eventual consistency, replicated data types, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.3: Parallelism and concurrency, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Geografické téma: London, United Kingdom
Relation: info:eu-repo/grantAgreement/EC/FP7/609551/EU/Large-scale computation without synchronisation/SYNCFREE
Dostupnost: https://inria.hal.science/hal-01242700
https://inria.hal.science/hal-01242700v1/document
https://inria.hal.science/hal-01242700v1/file/mvreg_arXiv.pdf
https://inria.hal.science/hal-01242700v1/file/bug-run%20%281%29.pdf
https://inria.hal.science/hal-01242700v1/file/bug-run.pdf
https://inria.hal.science/hal-01242700v1/file/lww-run.pdf
https://inria.hal.science/hal-01242700v1/file/lww-run2%20%281%29.pdf
https://inria.hal.science/hal-01242700v1/file/lww-run2.pdf
https://doi.org/10.1145/2911151.2911157
Nájsť tento článok vo Web of Science 
Full Text Finder