Výsledky vyhľadávania - "Symbolic and algebraic algorithms"

Usability of Symbolic Regression for Hybrid System Identification -System Classes and Parameters

Autori: Plambeck, Swantje Schmidt, Maximilian Subias, Audine a ďalší

Prispievatelia: Plambeck, Swantje Schmidt, Maximilian Subias, Audine a ďalší

Predmety: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Computing methodologies → Modeling methodologies Keywords and phrases Hybrid Systems, Symbolic Regression, System Identification, Computing methodologies → Symbolic and algebraic algorithms, Computer systems organization → Embedded and cyber-physical systems, Computing methodologies → Learning paradigms, Hybrid Systems

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04794459v1
https://hal.science/hal-04794459v1/document

Ideal Interpolation, H-bases and symmetry

Autori: Rodriguez Bazan, Erick Hubert, Evelyne Rodriguez Bazan, Erick Dvid

Prispievatelia: Rodriguez Bazan, Erick Hubert, Evelyne Rodriguez Bazan, Erick Dvid

Zdroj: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation. :402-409

Predmety: Macaulay matrix, Symmetry, Vandermonde matrix, Representation Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Computing methodologies → Symbolic and algebraic algorithms, 0101 mathematics, 16. Peace & justice, Group Action, 01 natural sciences, H-basis

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.inria.fr/hal-02482098v2/file/ideal_interpolation.pdf
https://inria.hal.science/hal-02482098v2/document
https://doi.org/10.1145/3373207.3404057
https://inria.hal.science/hal-02482098v2
https://hal.inria.fr/hal-02482098/document
https://dblp.uni-trier.de/db/conf/issac/issac2020.html#BazanH20
https://dl.acm.org/doi/pdf/10.1145/3373207.3404057
https://doi.org/10.1145/3373207.3404057
https://hal.inria.fr/hal-02482098

A universal Skolem set of positive lower density

Autori: Luca, F Ouaknine, J Worrell, J

Predmety: Computing methodologies, Symbolic and algebraic algorithms, Number theory algorithms

Relation: https://doi.org/10.4230/LIPIcs.MFCS.2022.73

Dostupnosť: https://doi.org/10.4230/LIPIcs.MFCS.2022.73
https://ora.ox.ac.uk/objects/uuid:3a282bbb-a01a-4a54-b580-f4ac06a45b7c

ImproteK: Introducing Scenarios into Human-Computer Music Improvisation

Autori: Nika, Jérôme Chemillier, Marc Assayag, Gérard

Prispievatelia: Nika, Jérôme Chemillier, Marc Assayag, Gérard

Zdroj: Computers in Entertainment. 14:1-27

Predmety: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-MM] Computer Science [cs]/Multimedia [cs.MM], Combinatorics on words, Markov processes, Intelligent agents, Heuristic function construction, Performing arts, Sound and music computing, 05 social sciences, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Symbolic and algebraic algorithms, Real-time system architecture, [INFO.INFO-SD] Computer Science [cs]/Sound [cs.SD], [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [SHS.MUSIQ] Humanities and Social Sciences/Musicology and performing arts, Music retrieval, modeling and modularity, Modeling methodologies, 0501 psychology and cognitive sciences, Abstraction, Planning under uncertainty, Motif discovery

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.archives-ouvertes.fr/hal-01380163/file/ACM-CiE_ImproteK_Nika-et-al_2017.pdf
https://hal.science/hal-01380163v1
https://doi.org/10.1145/3022635
https://hal.science/hal-01380163v1/document
https://dl.acm.org/doi/10.1145/3022635
https://hal.archives-ouvertes.fr/hal-01380163
https://dblp.uni-trier.de/db/journals/cie/cie14.html#NikaCA16
https://hal.archives-ouvertes.fr/hal-01380163/document

Ranking-based argumentation semantics applied to logical argumentation

Autori: Heyninck, Jesse Raddaoui, Badran Straßer, Christian a ďalší

Prispievatelia: Heyninck, Jesse Raddaoui, Badran Straßer, Christian a ďalší

Zdroj: IJCAI '23: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence ; Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23} ; https://hal.science/hal-04206676 ; Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.3268-3276, ⟨10.24963/ijcai.2023/364⟩

Predmety: Applied computing, Mathematics of computing, Discrete mathematics, Symbolic and algebraic manipulation, Symbolic and algebraic algorithms, Theorem proving algorithms, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Geografické téma: Macau, China

Dostupnosť: https://hal.science/hal-04206676
https://doi.org/10.24963/ijcai.2023/364

An Efficient Solution to Structured Optimization Problems using Recursive Matrices.

Autori: Rückert, D. Stamminger, M.

Zdroj: Computer Graphics Forum. Nov2019, Vol. 38 Issue 8, p33-39. 7p. 3 Charts, 5 Graphs.

Predmety: *LINEAR algebra, *SPARSE matrices, *MATRICES (Mathematics), *ORDER picking systems, *EIGENANALYSIS, *COMPUTER vision, *MATHEMATICS

A Solver‐Aided Hierarchical Language for LLM‐Driven CAD Design.

Autori: Jones, B. T. Zhang, Z. Hähnlein, F. a ďalší

Zdroj: Computer Graphics Forum. Oct2025, Vol. 44 Issue 7, p1-14. 14p.

Predmety: *COMPUTER-aided design, *DOMAIN-specific programming languages, *PROGRAMMING languages, *LANGUAGE models, *COMPUTER-aided design software, *GEOMETRIC approach

Qualitative Investigation of the Lorenz-84 System Using Computer Algebra Methods.

Autori: Song, Jichao Niu, Wei Huang, Bo a ďalší

Zdroj: Mathematics in Computer Science; 6/7/2025, Vol. 19 Issue 1, p1-18, 18p

On the Zeros of Exponential Polynomials.

Autori: CHONEV, VENTSISLAV OUAKNINE, JOEL WORRELL, JAMES

Zdroj: Journal of the ACM; Aug2023, Vol. 70 Issue 4, p1-26, 26p

Polynomial Multiplication over Finite Fields in Time O(n logn).

Autori: HARVEY, DAVID VAN DER HOEVEN, JORIS

Zdroj: Journal of the ACM; Mar2022, Vol. 69 Issue 2, p1-40, 40p

Predmety: TURING machines, ARITHMETIC series, MULTIPLICATION, POLYNOMIALS, INTEGERS, FINITE fields

Elements of Timed Pattern Matching.

Autori: Ulus, Dogan Ferrère, Thomas Asarin, Eugene a ďalší

Zdroj: ACM Transactions on Embedded Computing Systems; Jul2024, Vol. 23 Issue 4, p1-45, 45p

Predmety: PATTERN matching, RELATION algebras, CYBER physical systems, CLOUD computing, MACHINE learning

A Survey of Accelerating Parallel Sparse Linear Algebra.

Autori: GUOQING XIAO CHUANGHUI YIN TAO ZHOU a ďalší

Zdroj: ACM Computing Surveys; Jan2024, Vol. 56 Issue 1, p1-38, 38p, 1 Illustration

Predmety: LINEAR algebra, PARALLEL algorithms, SUPERCOMPUTERS, CONVOLUTIONAL neural networks, DENSITY matrices, SPARSE matrices

Computational Real Algebraic Geometry in Practice (Invited Talk)

Autori: Anai, Hirokazu

Témy: real algebraic geometry, quantifier elimination, cylindrical algebraic decomposition, symbolic optimization, Data processing Computer science, InProceedings, publishedVersion

ETAP: Energy-aware Timing Analysis of Intermittent Programs.

Autori: ERATA, FERHAT YILDIZ, EREN GOKNIL, ARDA a ďalší

Zdroj: ACM Transactions on Embedded Computing Systems; Mar2023, Vol. 22 Issue 2, p1-31, 31p

Predmety: ENERGY harvesting, ENERGY consumption, ERROR rates

Singularity Computation for Rational Parametric Surfaces Using Moving Planes.

Autori: JIA, XIAOHONG AMSS, KLMM CHEN, FALAI a ďalší

Zdroj: ACM Transactions on Graphics; Feb2023, Vol. 42 Issue 1, p1-14, 14p

Predmety: LOCUS (Mathematics), COMPUTER graphics, PARAMETRIC equations, COMPUTER-aided design

Batched Point Location in SINR Diagrams via Algebraic Tools.

Autori: ARONOV, BORIS KATZ, MATTHEW J.

Zdroj: ACM Transactions on Algorithms; Oct2018, Vol. 14, p1-29, 29p

Predmety: CHARTS, diagrams, etc., COMPUTATIONAL geometry, MAGNITUDE (Mathematics), DATA structures, TRANSMITTERS (Communication)

EXACT UNIFICATION AND ADMISSIBILITY.

Autori: CABRER, LEONARDO M. METCALFE, GEORGE

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-15, 15p

Predmety: MATHEMATICAL analysis, MATHEMATICAL functions, MATHEMATICAL models, DISTRIBUTIVE law (Mathematics), DISTRIBUTIVE lattices

ON ABSORPTION IN SEMIGROUPS AND n-ARY SEMIGROUPS.

Autori: BAŠIĆ, BOJAN

Zdroj: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 2, p1-13, 13p

Generalized sorting problems: a symbolic view on reversible algorithms

Autori: Akhavi, Ali Equipe AMACC - Laboratoire GREYC - UMR6072 Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC) a ďalší

Prispievatelia: Akhavi, Ali Equipe AMACC - Laboratoire GREYC - UMR6072 Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC) a ďalší

Zdroj: https://hal.science/hal-01196063 ; 2015.

Predmety: [INFO]Computer Science [cs], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]

Dostupnosť: https://hal.science/hal-01196063
https://hal.science/hal-01196063v1/document
https://hal.science/hal-01196063v1/file/akhaviGSP.pdf

ADMISSIBILITY IN FINITELY GENERATED QUASIVARIETIES.

Autori: METCALFE, GEORGE RÖTHLISBERGER, CHRISTOPH

Zdroj: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-19, 19p