Výsledky vyhledávání - "Computing methodologies Symbolic and algebraic manipulation"

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Autoři: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a další

Přispěvatelé: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a další

Zdroj: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], CCS Concepts: Applied computing → Invariants Logic and verification • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Symbolic Computation (cs.SC), [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, Mathematics - Algebraic Geometry, FOS: Mathematics, Logic and verification, Polynomial invariants, • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Applied computing → Invariants, Algebraic Geometry (math.AG)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2505.00620
https://hal.science/hal-05127957v1/document
https://hal.science/hal-05127957v1
https://doi.org/10.1145/3735544.3735581

Big Prime Field FFT on Multi-core Processors

Autoři: Covanov, Svyatoslav Mohajerani, Davood Moreno Maza, Marc a další

Přispěvatelé: Covanov, Svyatoslav Mohajerani, Davood Moreno Maza, Marc a další

Zdroj: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation. :106-113

Témata: Intel CilkPlus, Parallel algorithms, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Finite fields, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Generalized Fermat numbers, Multi-core processors, 0101 mathematics, Specialized arithmetic, CCS CONCEPTS • Computing methodologies → Symbolic and algebraic manipulation Algebraic algorithms, 01 natural sciences, Fast Fourier transforms

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-02191652/file/cmmw-2019.ISSAC.sigconf.pdf
https://inria.hal.science/hal-02191652v1
https://hal.inria.fr/hal-02191652
https://hal.inria.fr/hal-02191652/document
https://doi.org/10.1145/3326229.3326273
https://dl.acm.org/doi/10.1145/3326229.3326273
https://dblp.uni-trier.de/db/conf/issac/issac2019.html#CovanovMMW19
https://dl.acm.org/doi/pdf/10.1145/3326229.3326273

Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy

Autoři: Falaschi, Moreno Palamidessi, Catuscia Romanelli, Marco a další

Přispěvatelé: Falaschi, Moreno Palamidessi, Catuscia Romanelli, Marco a další

Zdroj: Recent Developments in the Design and Implementation of Programming Languages ; https://hal.science/hal-03091740 ; Frank S. de Boer and Jacopo Mauro. Recent Developments in the Design and Implementation of Programming Languages, 86, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.11:1-11:20, 2020, OASICS, ⟨10.4230/OASIcs.Gabbrielli.2020.11⟩

Témata: security, privacy, machine learning, Security and privacy → Information flow control phrases Constraints, Security and privacy → Privacy-preserving protocols, Security and privacy → Formal security models, Computing methodologies → Symbolic and algebraic manipulation, 2012 ACM Subject Classification Computing methodologies → Learning paradigms, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO]Computer Science [cs], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

Relation: info:eu-repo/grantAgreement//835294/EU/Privacy and Utility Allied/HYPATIA

Dostupnost: https://hal.science/hal-03091740
https://hal.science/hal-03091740v1/document
https://hal.science/hal-03091740v1/file/main.pdf
https://doi.org/10.4230/OASIcs.Gabbrielli.2020.11

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

Essentially optimal interactive certificates in linear algebra

Autoři: Dumas, Jean-Guillaume Kaltofen, Erich Calculs Algébriques et Systèmes Dynamiques (CASYS) a další

Přispěvatelé: Dumas, Jean-Guillaume Kaltofen, Erich Calculs Algébriques et Systèmes Dynamiques (CASYS) a další

Zdroj: ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014) ; https://hal.science/hal-00932846 ; ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. pp.146-153, ⟨10.1145/2608628.2608644⟩

Témata: Fiat-Shamir heuristic, sigma-protocol, output validation, randomization, linear-time checkable proof, matrix rank, matrix characteristic polynomial, positive semidefiniteness, I.1.2 Computing Methodologies (Symbolic and Algebraic Manipulation), [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Geografické téma: Kobe, Japan

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

Dostupnost: https://hal.science/hal-00932846
https://hal.science/hal-00932846v4/document
https://hal.science/hal-00932846v4/file/interactive_report.pdf
https://doi.org/10.1145/2608628.2608644

Computing specified generators of structured matrix inverses

Autoři: Jeannerod, Claude-Pierre Mouilleron, Christophe Computer arithmetic (ARENAIRE) a další

Přispěvatelé: Jeannerod, Claude-Pierre Mouilleron, Christophe Computer arithmetic (ARENAIRE) a další

Zdroj: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation ; 35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010) ; https://ens-lyon.hal.science/ensl-00450272 ; 35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Jul 2010, Münich, Germany. ⟨10.1145/1837934.1837988⟩

Témata: Structured linear algebra, matrix inversion, ACM I.1.2 [Computing Methodologies]: Symbolic and Algebraic Manipulation - Algebraic Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Geografické téma: Münich, Germany

Dostupnost: https://ens-lyon.hal.science/ensl-00450272
https://ens-lyon.hal.science/ensl-00450272v1/document
https://ens-lyon.hal.science/ensl-00450272v1/file/JeannerodMouilleron2010.pdf
https://doi.org/10.1145/1837934.1837988

Applications of Gosper's nonlocal derangement identity.

Autoři: CAMPBELL, JOHN

Zdroj: Maple Transactions; Spring2025, Vol. 5 Issue 1, p1-8, 8p

Témata: SYMBOLIC computation, INFINITE series (Mathematics), COMPUTER systems, MOTIVATION (Psychology)

Products, Polynomials and Differential Equations in the Stream Calculus.

Autoři: Boreale, Michele Collodi, Luisa Gorla, Daniele

Zdroj: ACM Transactions on Computational Logic; Jan2024, Vol. 25 Issue 1, p1-26, 26p

Témata: DIFFERENTIAL equations, HOMOMORPHISMS, CALCULUS, POLYNOMIALS, DERIVATIVES (Mathematics), STREAM function

Nested radicals obtained via the Wilf-Zeilberger method and related results.

Autoři: CAMPBELL, JOHN M.

Zdroj: Maple Transactions; 2023, Vol. 3 Issue 3, p1-16, 16p

Témata: HYPERGEOMETRIC series, BASE pairs, RADICALS, SYMBOLIC computation

EXACT UNIFICATION AND ADMISSIBILITY.

Autoři: CABRER, LEONARDO M. METCALFE, GEORGE

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

Témata: MATHEMATICAL analysis, MATHEMATICAL functions, MATHEMATICAL models, DISTRIBUTIVE law (Mathematics), DISTRIBUTIVE lattices

ON ABSORPTION IN SEMIGROUPS AND n-ARY SEMIGROUPS.

Autoři: BAŠIĆ, BOJAN

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

Parallel Gaussian Elimination for Gröbner bases computations in finite fields

Autoři: Jean-charles Faugère Sylvain Lachartre The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jean-charles Faugère Sylvain Lachartre The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www-salsa.lip6.fr/%7Ejcf/Papers/PASCO2010.pdf.

Témata: and Protection, Cryptographic controls General Terms Algorithms. Keywords Polynomial systems solving, Gröbner bases, Gaussian Elimination, High Performance Linear Algebra, Cryptography, Multi-core Programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.1028

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.1028
http://www-salsa.lip6.fr/%7Ejcf/Papers/PASCO2010.pdf

ADMISSIBILITY IN FINITELY GENERATED QUASIVARIETIES.

Autoři: METCALFE, GEORGE RÖTHLISBERGER, CHRISTOPH

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

Computer proofs for polynomial identities in arbitrary many variables

Autoři: Manuel Kauers The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Manuel Kauers The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.risc.uni-linz.ac.at/publications/download/risc_212/kauers04.ps.gz.

Témata: computer proofs

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.155

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.155
http://www.risc.uni-linz.ac.at/publications/download/risc_212/kauers04.ps.gz

Boolean Satisfiability using Noise Based Logic.

Autoři: Pey-Chang Kent Lin Mandal, Ayan Khatri, Sunil P.

Zdroj: DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p1260-1261, 2p

Témata: SATISFIABILITY (Computer science), BOOLEAN searching, BOOLEAN functions, COMPUTER simulation of signal-to-noise ratio, SOFTWARE validation, NETWORK performance, SYSTEMS design

Boolean satisfiability using noise based logic.

Autoři: Lin, Pey-Chang Kent Mandal, Ayan Khatri, Sunil P.

Zdroj: DAC Design Automation Conference 2012; 1/ 1/2012, p1256-1257, 2p

General Terms Algorithms

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.risc.uni-linz.ac.at/publications/download/risc_2466/f59-gerhold.ps.

Témata: Special functions, Computer Proofs, Cylindrical Algebraic Decomposition

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.6281

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.6281
http://www.risc.uni-linz.ac.at/publications/download/risc_2466/f59-gerhold.ps

General Terms Algorithms

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.risc.uni-linz.ac.at/publications/download/risc_3090/Radical.ps.

Témata: Difference Fields, Square Roots, Algebraic Functions

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.272

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.272
http://www.risc.uni-linz.ac.at/publications/download/risc_3090/Radical.ps

General Terms Algorithms

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.risc.uni-linz.ac.at/publications/download/risc_2895/main.ps.

Témata: Difference Fields

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.391

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.391
http://www.risc.uni-linz.ac.at/publications/download/risc_2895/main.ps

Closed Form Solutions of Linear Odes havingElliptic Function Coefficients

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.math.fsu.edu/~hoeij/papers/issac04/BLH/final_version.ps.

Témata: General Terms Algorithms

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.3450; http://www.math.fsu.edu/~hoeij/papers/issac04/BLH/final_version.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.3450
http://www.math.fsu.edu/~hoeij/papers/issac04/BLH/final_version.ps