Výsledky vyhledávání - Computing methodologies → Algebraic algorithms Algorithms

Gröbner bases over polytopal affinoid algebras

Autoři: Barkatou, Moulay A. Legrand, Lucas Vaccon, Tristan a další

Přispěvatelé: Barkatou, Moulay A. Legrand, Lucas Vaccon, Tristan a další

Zdroj: https://hal.science/hal-04510822 ; 2025.

Témata: Algebraic algorithms, Gröbner bases, Tate algebra, Laurent polynomials, Tropical analytic geometry, Algorithms, CCS CONCEPTS Computing methodologies → Algebraic algorithms Algorithms Gröbner bases Tate algebra Laurent polynomials Tropical analytic geometry, CCS CONCEPTS, Computing methodologies → Algebraic algorithms Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

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

Dostupnost: https://hal.science/hal-04510822
https://hal.science/hal-04510822v2/document
https://hal.science/hal-04510822v2/file/long.pdf

Proceedings of the 2023 International Conference on Data Science, Advanced Algorithm and Intelligent Computing (DAI 2023)

Autoři: Badrul Hisham Ahmad

Resource Type: eBook.

Témata: Computational intelligence--Congresses, Soft computing--Congresses, Electronic data processing--Congresses, Data mining--Statistical methods--Congresses, Computer algorithms--Congresses

Categories: COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Security / General

Scalable computational algorithms for geospatial COVID-19 spread using high performance computing

Autoři: Sudhi Sharma Victorita Dolean Pierre Jolivet a další

Zdroj: Mathematical Biosciences and Engineering, Vol 20, Iss 8, Pp 14634-14674 (2023)

Témata: covid-19, spatio-temporal model, overlapping schwarz method, high performance computing, Biotechnology, TP248.13-248.65, Mathematics, QA1-939

Popis souboru: electronic resource

Relation: https://doaj.org/toc/1551-0018

Přístupová URL adresa: https://doaj.org/article/bf9522edb14442c1bf58696628006c22

Algebraic algorithms for a class of Schrödinger equations in split quaternionic mechanics.

Autoři: Tongsong Jiang Gang Wang Zhenwei Guo a další

Zdroj: Mathematical Methods in the Applied Sciences; 5/15/2024, Vol. 47 Issue 7, p6205-6215, 11p

Témata: SCHRODINGER equation, MATRIX pencils, LEAST squares, MATHEMATICAL physics, ALGORITHMS, QUATERNION functions

Unified Robustness in AI: From Symbolic Reasoning to Hardware Resilience

Autoři: Errahmouni Barkam, Hamza

Témata: Computer science, Artificial intelligence, Computer engineering, Compute-in-Memory (CiM), Hardware–Algorithm Co-Design, Hyperdimensional Computing (HDC), Neuro-Symbolic AI, Robustness to Adversarial Attacks, Vector Symbolic Architectures

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/0cw4231f
https://escholarship.org/content/qt0cw4231f/qt0cw4231f.pdf

Solving toeplitz- and vandermonde-like linear systems with large displacement rank

Autoři: Bostan, Alin Jeannerod, Claude-Pierre Schost, Éric

Přispěvatelé: Bostan, Alin Jeannerod, Claude-Pierre Schost, Éric

Zdroj: Proceedings of the 2007 international symposium on Symbolic and algebraic computation. :33-40

Témata: Structured linear algebra, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Dense linear algebra, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, I.1.2 [Computing Methodologies]: Symbolic and Algebraic Manipulation -Algebraic Algorithms Algorithms

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-03420744/file/BoJeSc07.pdf
https://dl.acm.org/doi/10.1145/1277548.1277554
https://specfun.inria.fr/bostan/publications/BoJeSc07.pdf
http://perso.ens-lyon.fr/claude-pierre.jeannerod/papers/issac07.pdf
https://hal.inria.fr/hal-03420744/document
http://core.ac.uk/display/20747684
https://core.ac.uk/display/20747684

Polynomial time algorithms in invariant theory for torus actions

Autoři: Bürgisser, P. Doğan, M.L. Makam, V. a další

Přispěvatelé: Bürgisser, P. Doğan, M.L. Makam, V. a další

Zdroj: Proc. 36th Computational Complexity Conference, 2021

Témata: FOS: Computer and information sciences, FOS: Physical sciences, 0102 computer and information sciences, Mathematical Physics (math-ph), 01 natural sciences, orbit closure intersection problem, Mathematics - Algebraic Geometry, Computer Science - Data Structures and Algorithms, FOS: Mathematics, Computing methodologies → Algebraic algorithms, geometric complexity theory, Data Structures and Algorithms (cs.DS), ddc:004, 0101 mathematics, Representation Theory (math.RT), Theory of computation → Algebraic complexity theory, Algebraic Geometry (math.AG), computational invariant theory, Mathematical Physics, Mathematics - Representation Theory

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2102.07727
https://drops.dagstuhl.de/opus/volltexte/2021/14306/pdf/LIPIcs-CCC-2021-32.pdf/
https://doi.org/10.4230/LIPIcs.CCC.2021.32
https://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-07727
https://drops.dagstuhl.de/opus/volltexte/2021/14306/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2021.32

On affine tropical F5 algorithms

Autoři: Vaccon, Tristan Verron, Thibaut Yokoyama, Kazuhiro a další

Přispěvatelé: Vaccon, Tristan Verron, Thibaut Yokoyama, Kazuhiro a další

Zdroj: Journal of Symbolic Computation. 102:132-152

Témata: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], p-adic precision, Symbolic Computation (cs.SC), Mathematics - Commutative Algebra, Commutative Algebra (math.AC), 01 natural sciences, CCS CONCEPTS, Tropical geometry, KEYWORDS, • Computing methodologies → Algebraic algorithms, FOS: Mathematics, precision, Gröbner bases, F5 algorithm, 0101 mathematics, p-adic, Algorithms

Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-01792165/file/F5Trop_Affinev2.pdf
http://arxiv.org/abs/1805.06183
http://ui.adsabs.harvard.edu/abs/2018arXiv180506183V/abstract
https://hal.archives-ouvertes.fr/hal-01792165/document
https://dblp.uni-trier.de/db/journals/corr/corr1805.html#abs-1805-06183
https://dl.acm.org/doi/10.1145/3208976.3209012
https://hal.archives-ouvertes.fr/hal-01792165
https://arxiv.org/pdf/1805.06183.pdf
https://arxiv.org/abs/1805.06183
https://www.sciencedirect.com/science/article/pii/S0747717119301208
https://hal.archives-ouvertes.fr/hal-02929634v2
https://hal.archives-ouvertes.fr/hal-02929634/document
https://dblp.uni-trier.de/db/journals/jsc/jsc102.html#VacconVY21
https://www.archives-ouvertes.fr/hal-02929634v1

Black Box Absolute Reconstruction for Sums of Powers of Linear Forms

Autoři: Koiran, Pascal Saha, Subhayan Pascal Koiran and Subhayan Saha

Přispěvatelé: Koiran, Pascal Saha, Subhayan Pascal Koiran and Subhayan Saha

Témata: FOS: Computer and information sciences, reconstruction algorithms, black box, simultaneous diagonalisation, sums of powers of linear forms, 0102 computer and information sciences, [INFO] Computer Science [cs], Computational Complexity (cs.CC), Computing methodologies → Linear algebra algorithms, 01 natural sciences, Computer Science - Computational Complexity, tensor decomposition, Computer Science - Data Structures and Algorithms, Computing methodologies → Algebraic algorithms, Data Structures and Algorithms (cs.DS), ddc:004, algebraic algorithm, 0101 mathematics, Theory of computation → Algebraic complexity theory

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2110.05305
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2022.24
https://hal.science/hal-04636862v1
https://doi.org/10.4230/lipics.fsttcs.2022.24

Faster Modular Composition.

Autoři: Neiger, Vincent Salvy, Bruno Schost, Éric a další

Zdroj: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-79, 79p

Témata: MATRIX multiplications, POWER series, POLYNOMIALS, EXPONENTS, SYMBOLIC computation

On the Skolem Problem for Reversible Sequences

Autoři: Kenison, George George Kenison Szeider, Stefan a další

Přispěvatelé: Kenison, George George Kenison Szeider, Stefan a další

Zdroj: Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS)

Témata: FOS: Computer and information sciences, Mathematics - Number Theory, Discrete Mathematics (cs.DM), Mathematics of computing → Discrete mathematics, Verification, Linear Recurrences, 0102 computer and information sciences, 01 natural sciences, FOS: Mathematics, Computing methodologies → Algebraic algorithms, Number Theory (math.NT), ddc:004, 0101 mathematics, The Skolem Problem, Computer Science - Discrete Mathematics

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2203.07061
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2022.61

Invariants for Continuous Linear Dynamical Systems

Autoři: Almagor, Shaull Kelmendi, Edon Ouaknine, Joël a další

Přispěvatelé: Almagor, Shaull Kelmendi, Edon Ouaknine, Joël a další

Zdroj: 47th International Colloquium on Automata, Languages, and Programming
Leibniz International Proceedings in Informatics
47th International Colloquium on Automata, Languages, and Programming (ICALP)

Témata: safety, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Invariants, o-minimality, Mathematics of computing → Continuous mathematics, 0102 computer and information sciences, 02 engineering and technology, Dynamical Systems (math.DS), Theory of computation → Finite Model Theory, 16. Peace & justice, Theory of computation → Logic and verification, 01 natural sciences, Logic in Computer Science (cs.LO), Software and its engineering → Formal software verification, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Computing methodologies → Algebraic algorithms, ddc:004, continuous Skolem problem, Mathematics - Dynamical Systems, Mathematics of computing → Continuous functions, continuous linear dynamical systems

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2004.11661
https://drops.dagstuhl.de/opus/volltexte/2020/12514/
https://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-11661
https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_3316446
https://doi.org/10.4230/LIPIcs.ICALP.2020.107
https://pure.mpg.de/pubman/item/item_3316446_2/component/file_3342000/LIPIcs-ICALP-2020-107.pdf
https://ui.adsabs.harvard.edu/abs/2020arXiv200411661A/abstract
https://ora.ox.ac.uk/objects/uuid:19c48c1e-bb07-4819-a266-9b111f7e6815
https://doi.org/10.4230/lipics.icalp.2020.107
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.107
http://hdl.handle.net/21.11116/0000-0008-6A95-9
http://hdl.handle.net/21.11116/0000-0009-2F2A-5

LIPIcs, Volume 144, ESA'19, Complete Volume

Autoři: Bender, Michael A. Svensson, Ola Herman, Grzegorz a další

Přispěvatelé: Bender, Michael A. Svensson, Ola Herman, Grzegorz a další

Témata: Hardware, External storage, Human-centered computing, Algebraic algorithms, Applied computing, Transportation, ddc:004, Applied computing, Transportation, Computing methodologies, Algebraic algorithms, Hardware, External storage, Human-centered computing, Graph drawings, Computing methodologies, Graph drawings

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2019

Intelligent Computing Methodologies : 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part III

Autoři: De-Shuang Huang M. Michael Gromiha Kyungsook Han a další

Resource Type: eBook.

Témata: Artificial intelligence, Computer vision, Algorithms, Computer networks, Data mining, Data protection

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Networking / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Security / General, MATHEMATICS / Probability & Statistics / General

Parallel Algorithms for Solving Linear Systems on Hybrid Computers

Autoři: Alexander Khimich Victor Polyanko Tamara Chistyakova

Zdroj: Кібернетика та комп'ютерні технології, Iss 2, Pp 53-66 (2020)

Témata: systems of linear algebraic equations, hybrid algorithm, approximate data, reliability of the results, gpu computers, Cybernetics, Q300-390

Popis souboru: electronic resource

Relation: http://cctech.org.ua/13-vertikalnoe-menyu-en/137-abstract-20-2-6-arte; https://doaj.org/toc/2707-4501; https://doaj.org/toc/2707-451X

Přístupová URL adresa: https://doaj.org/article/a3c4bbf5d5ca412cae57537d9520edd9

Intelligent Computing Methodologies : 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part III

Autoři: De-Shuang Huang Abir Hussain Kyungsook Han a další

Resource Type: eBook.

Témata: Artificial intelligence, Application software, Information storage and retrieval systems, Computer vision, Data mining, Algorithms

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Data Science / Data Analytics, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Programming / Algorithms, MATHEMATICS / Probability & Statistics / General

Intelligent Computing Methodologies : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III

Autoři: De-Shuang Huang Kyungsook Han Abir Hussain

Resource Type: eBook.

Témata: Artificial intelligence, Application software, Information storage and retrieval systems, Computer vision, Data mining, Algorithms

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Data Science / Data Analytics, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Programming / Algorithms, MATHEMATICS / Probability & Statistics / General

Local preconditioning for parallel iterative solvers

Autoři: Córdoba Pañella, Paula

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística

Thesis Advisors: Houzeaux, Guillaume

Zdroj: TDX (Tesis Doctorals en Xarxa)

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/674737
https://dx.doi.org/10.5821/dissertation-2117-370230

On FGLM Algorithms with Tropical Gröbner bases

Autoři: Ishihara, Yuki Vaccon, Tristan Yokoyama, Kazuhiro a další

Přispěvatelé: Ishihara, Yuki Vaccon, Tristan Yokoyama, Kazuhiro a další

Zdroj: ISSAC '20: International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-02928709 ; ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.257-264, ⟨10.1145/3373207.3404037⟩

Témata: p-adic precision, FGLM algorithm, Tropical Geometry, Gröbner bases, CCS CONCEPTS • Computing methodologies → Algebraic algorithms KEYWORDS Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]

Geografické téma: Kalamata, Greece

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

Dostupnost: https://hal.science/hal-02928709
https://hal.science/hal-02928709v1/document
https://hal.science/hal-02928709v1/file/tropical_FGLM.pdf
https://doi.org/10.1145/3373207.3404037

Black Box Absolute Reconstruction for Sums of Powers of Linear Forms

Autoři: Koiran, Pascal Saha, Subhayan Modèles de calcul, Complexité, Combinatoire (MC2) a další

Přispěvatelé: Koiran, Pascal Saha, Subhayan Modèles de calcul, Complexité, Combinatoire (MC2) a další

Zdroj: FSTTCS 2022 ; https://hal.science/hal-04636862 ; FSTTCS 2022, Dec 2022, Madras, India. ⟨10.4230/LIPIcs.FSTTCS.2022.24⟩

Témata: reconstruction algorithms, tensor decomposition, sums of powers of linear forms, simultaneous diagonalisation, algebraic algorithm, black box, Theory of computation → Algebraic complexity theory, Computing methodologies → Algebraic algorithms, Computing methodologies → Linear algebra algorithms, [INFO]Computer Science [cs]

Geografické téma: India

Time: Madras, India

Dostupnost: https://hal.science/hal-04636862
https://doi.org/10.4230/LIPIcs.FSTTCS.2022.24