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

Authors: Plambeck, Swantje, Schmidt, Maximilian, Subias, Audine, Travé-Massuyès, Louise, Fey, Goerschwin

Contributors: Travé-Massuyès, Louise

Subject Terms: [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

File Description: application/pdf

Access URL: https://hal.science/hal-04794459v1
https://hal.science/hal-04794459v1/document

Ideal Interpolation, H-bases and symmetry

Authors: Rodriguez Bazan, Erick, Hubert, Evelyne

Contributors: Rodriguez Bazan, Erick Dvid

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Luca, F, Ouaknine, J, Worrell, J

Subject Terms: Computing methodologies, Symbolic and algebraic algorithms, Number theory algorithms

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

Availability: 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

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

Contributors: Nika, Jérôme

Source: Computers in Entertainment. 14:1-27

Subject Terms: [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

File Description: application/pdf

Access URL: 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

Authors: Heyninck, Jesse, Raddaoui, Badran, Straßer, Christian

Contributors: Institut Polytechnique de Paris (IP Paris), Département Informatique (TSP - INF), Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (ACMES-SAMOVAR), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP)

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Macau, China

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