Search Results - CCS CONCEPTS • Computing methodologies → Symbolic and algebraic manipulation Algebraic algorithms

Big Prime Field FFT on Multi-core Processors

Authors: Covanov, Svyatoslav Mohajerani, Davood Moreno Maza, Marc et al.

Contributors: Covanov, Svyatoslav Mohajerani, Davood Moreno Maza, Marc et al.

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

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

File Description: application/pdf

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

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Authors: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet et al.

Contributors: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet et al.

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

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

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.00620
https://hal.science/hal-05127957v1/document
https://hal.science/hal-05127957v1
https://doi.org/10.1145/3735544.3735581

Faster Modular Composition.

Authors: Neiger, Vincent Salvy, Bruno Schost, Éric et al.

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

Subject Terms: MATRIX multiplications, POWER series, POLYNOMIALS, EXPONENTS, SYMBOLIC computation

Foundational Algorithms for Modern Cybersecurity: A Unified Review on Defensive Computation in Adversarial Environments.

Authors: Gagniuc, Paul A.

Source: Algorithms; Nov2025, Vol. 18 Issue 11, p709, 16p

Subject Terms: CRYPTOGRAPHY, ALGORITHMS, COGNITIVE computing, ADAPTIVE control systems, INTERNET security, INTRUSION detection systems (Computer security), ADAPTIVE computing systems, MALWARE

On Strongest Algebraic Program Invariants.

Authors: HRUSHOVSKI, EHUD OUAKNINE, JOËL POULY, AMAURY et al.

Source: Journal of the ACM; Oct2023, Vol. 70 Issue 5, p1-22, 22p

Subject Terms: POLYNOMIALS, EQUATIONS, MATRICES (Mathematics)

Exact Predicates, Exact Constructions and Combinatorics for Mesh CSG.

Authors: LEVY, BRUNO

Source: ACM Transactions on Graphics; Oct2025, Vol. 44 Issue 5, p1-27, 27p

Subject Terms: SOLID geometry, BOOLEAN expressions, PREDICATE calculus, GEOMETRIC modeling

A Mesh-based Simulation Framework using Automatic Code Generation.

Authors: Herholz, Philipp Stuyck, Tuur Kavan, Ladislav

Source: ACM Transactions on Graphics; Dec2024, Vol. 43 Issue 6, p1-17, 17p

Subject Terms: AUTOMATIC differentiation, SPARSE matrices, RESEARCH personnel, ALGORITHMS, SYNCHRONIZATION

Extending Irksome : Improvements in Automated Runge–Kutta Time Stepping for Finite Element Methods.

Authors: KIRBY, ROBERT C. MACLACHLAN, SCOTT P.

Source: ACM Transactions on Mathematical Software; Sep2025, Vol. 51 Issue 3, p1-27, 27p

Subject Terms: RUNGE-Kutta formulas, TIME integration scheme, FINITE element method, PARTIAL differential equations

A Survey on Hyperdimensional Computing aka Vector Symbolic Architectures, Part I: Models and Data Transformations.

Authors: KLEYKO, DENIS RACHKOVSKIJ, DMITRI A. OSIPOV, EVGENY

Source: ACM Computing Surveys; Jul2023, Vol. 55 Issue 6, p1-40, 40p

Subject Terms: ARTIFICIAL intelligence, BINARY codes, COGNITIVE science, TENSOR products, COMPUTER science, COGNITIVE computing

Software Engineering for Collective Cyber-Physical Ecosystems.

Authors: Casadei, Roberto Aguzzi, Gianluca Audrito, Giorgio et al.

Source: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-40, 40p

Subject Terms: SOFTWARE engineering, SWARM intelligence, ARTIFICIAL intelligence, UBIQUITOUS computing, AGGREGATION (Robotics)

Quad mesh mechanisms.

Authors: Jiang, Caigui Lyakhov, Dmitry Rist, Florian et al.

Source: ACM Transactions on Graphics; Dec2024, Vol. 43 Issue 6, p1-17, 17p

Subject Terms: DIFFERENTIAL geometry, DISCRETE geometry, ALGEBRAIC geometry, RANGE of motion of joints, SURFACE geometry

A Survey of Program Analysis for Distributed Software Systems.

Authors: Cai, Haipeng

Source: ACM Computing Surveys; Dec2025, Vol. 57 Issue 12, p1-45, 45p

MiSo: A DSL for Robust and Efficient Solve and MInimize Problems.

Authors: SICHETTI, FEDERICO PUPPO, ENRICO HUANG, ZIZHOU et al.

Source: ACM Transactions on Graphics; Aug2025, Vol. 44 Issue 4, p1-18, 18p

Subject Terms: COMPUTER graphics, MATHEMATICAL optimization, PROBLEM solving, MATHEMATICAL programming, CONSTRAINT programming, PROGRAMMING languages, C++

Automatic Repair of Quantum Programs via Unitary Operation.

Authors: Li, Yuechen Pei, Hanyu Huang, Linzhi et al.

Source: ACM Transactions on Software Engineering & Methodology; Jul2024, Vol. 33 Issue 6, p1-43, 43p

Subject Terms: QUANTUM computing, SOFTWARE engineering, QUALITY control

"Intelligent Heuristics Are the Future of Computing".

Authors: Teng, Shang-Hua

Source: ACM Transactions on Intelligent Systems & Technology; Dec2023, Vol. 14 Issue 6, p1-39, 39p

Subject Terms: HEURISTIC, SIMPLEX algorithm, COMPUTER software, EVOLUTIONARY algorithms, COMPUTER science, UBIQUITOUS computing

SYNERGY OF BUILDING CYBERSECURITY SYSTEMS: Monograph.

Source: Synergy of Building Cybersecurity Systems; 2021, pI-175, 187p

Subject Terms: INTERNET security, CYBERSPACE, QUANTUM computers, INFORMATION & communication technologies, SOCIAL networks

ParSEL: Parameterized Shape Editing with Language.

Authors: Ganeshan, Aditya Huang, Ryan Xu, Xianghao et al.

Source: ACM Transactions on Graphics; Dec2024, Vol. 43 Issue 6, p1-14, 14p

Subject Terms: LANGUAGE models, GEOMETRIC analysis, COMPUTER systems, NATURAL languages, SYSTEMS design

Static Code Analysis for IoT Security: A Systematic Literature Review.

Authors: Gomes, Diego Felix, Eduardo Aires, Fernando et al.

Source: ACM Computing Surveys; Mar2026, Vol. 58 Issue 3, p1-47, 47p

Subject Terms: INTERNET of things, PENETRATION testing (Computer security), BIBLIOGRAPHY

Applications of Gosper's nonlocal derangement identity.

Authors: CAMPBELL, JOHN

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

Subject Terms: SYMBOLIC computation, INFINITE series (Mathematics), COMPUTER systems, MOTIVATION (Psychology)

IMESH: A DSL for Mesh Processing.

Authors: Li, Yong Kamil, Shoaib Crane, Keenan et al.

Source: ACM Transactions on Graphics; Oct2024, Vol. 43 Issue 5, p1-17, 17p

Subject Terms: MATHEMATICAL notation, AUTOMATIC differentiation, SPARSE matrices, LINEAR algebra, POINT cloud