Suchergebnisse - CCS CONCEPTS • Computing methodologies → Algebraic algorithms KEYWORDS Algorithms*

On affine tropical F5 algorithms

Autoren: Vaccon, Tristan Verron, Thibaut Yokoyama, Kazuhiro et al.

Weitere Verfasser: Vaccon, Tristan Verron, Thibaut Yokoyama, Kazuhiro et al.

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

Schlagwörter: [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

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

On FGLM Algorithms with Tropical Gröbner bases

Autoren: Ishihara, Yuki Vaccon, Tristan Yokoyama, Kazuhiro et al.

Weitere Verfasser: Ishihara, Yuki Vaccon, Tristan Yokoyama, Kazuhiro et al.

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

Schlagwörter: 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]

Geographisches Schlagwort: Kalamata, Greece

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

Verfügbarkeit: 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

On the Bit Complexity of Solving Bilinear Polynomial Systems

Autoren: Emiris, Ioannis Mantzaflaris, Angelos Tsigaridas, Elias

Weitere Verfasser: Emiris, Ioannis Mantzaflaris, Angelos Tsigaridas, Elias

Quelle: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation. :215-222

Schlagwörter: polynomial system solving, CCS Concepts •Computing methodologies → Symbolic calculus algorithms, [MATH] Mathematics [math], 0102 computer and information sciences, resultant matrix, [INFO] Computer Science [cs], 16. Peace & justice, 01 natural sciences, Keywords bilinear polynomial, Bilinear Systems, Solving Polynomials, separation bounds, 0101 mathematics, Bit Complexity, DMM

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.inria.fr/hal-01401134/file/bilinear.pdf
https://inria.hal.science/hal-01401134v1
https://inria.hal.science/hal-01401134v1/document
https://doi.org/10.1145/2930889.2930919
https://dl.acm.org/doi/10.1145/2930889.2930919
https://hal.archives-ouvertes.fr/hal-01401134
https://hal.inria.fr/hal-01401134/document
https://dblp.uni-trier.de/db/conf/issac/issac2016.html#EmirisMT16
https://hal.inria.fr/hal-01401134
https://pergamos.lib.uoa.gr/uoa/dl/object/3168352

Sparse Rational Univariate Representation

Autoren: Mantzaflaris, Angelos Schost, Éric Tsigaridas, Elias

Weitere Verfasser: Mantzaflaris, Angelos Schost, Éric Tsigaridas, Elias

Quelle: Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation. :301-308

Schlagwörter: CCS Concepts, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], •Computing methodologies → Symbolic calculus algorithms, separation bound, Keywords, polynomial system, rational univariate representation, 0101 mathematics, sparse resultant, 01 natural sciences, DMM

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.inria.fr/hal-01528377/file/srur.pdf
https://inria.hal.science/hal-01528377v1/document
https://inria.hal.science/hal-01528377v1
https://doi.org/10.1145/3087604.3087653
https://dblp.uni-trier.de/db/conf/issac/issac2017.html#MantzaflarisST17
https://hal.archives-ouvertes.fr/hal-01528377
https://dl.acm.org/doi/10.1145/3087604.3087653
https://hal.inria.fr/hal-01528377/document
https://hal.inria.fr/hal-01528377

High Performance Computing Experiments in Enumerative and Algebraic Combinatorics

Autoren: Hivert, Florent

Weitere Verfasser: Hivert, Florent

Quelle: Proceedings of the International Workshop on Parallel Symbolic Computation. :1-4

Schlagwörter: [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], • Theory of computation → Parallel algorithms, Combinatorics, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], com- binatorics, CCS CONCEPTS • Mathematics of computing → Mathematical software per- formance, 0102 computer and information sciences, 0101 mathematics, Permutations and combinations, computer algebra, work-stealing, 01 natural sciences, KEYWORDS Multithreaded programming

Zugangs-URL: https://dblp.uni-trier.de/db/conf/issac/pasco2017.html#Hivert17
https://dl.acm.org/citation.cfm?id=3115938
https://dl.acm.org/doi/10.1145/3115936.3115938

A New Image Encryption Method Using an Optimized Smart Codebook.

Autoren: Sihwail, Rami Ibrahim, Dyala Rostamzadeh, Reza

Quelle: Human Behavior & Emerging Technologies; 1/17/2025, Vol. 2025, p1-15, 15p

Recent mathematical advances in coupled cluster theory.

Autoren: Faulstich, Fabian M.

Quelle: International Journal of Quantum Chemistry; 7/5/2024, Vol. 124 Issue 13, p1-27, 27p

Schlagwörter: ALGEBRAIC geometry, NUMERICAL analysis, PHYSICAL & theoretical chemistry, COMPUTATIONAL chemistry

Centimeter-wave Free-space Neural Time-of-Flight Imaging.

Autoren: BAEK, SEUNG-HWAN WALSH, NOAH CHUGUNOV, ILYA et al.

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

Schlagwörter: SURFACE texture, OPTICAL modulators, OPTICAL communications, AUTONOMOUS vehicles, DEMODULATION

Faster Modular Composition.

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

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

Schlagwörter: MATRIX multiplications, POWER series, POLYNOMIALS, EXPONENTS, SYMBOLIC computation

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

Autoren: Gagniuc, Paul A.

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

Schlagwörter: CRYPTOGRAPHY, ALGORITHMS, COGNITIVE computing, ADAPTIVE control systems, INTERNET security, INTRUSION detection systems (Computer security), ADAPTIVE computing systems, MALWARE

Collaborative penetration testing suite for emerging generative AI algorithms.

Autoren: Radanliev, Petar

Quelle: Applied Intelligence; Nov2025, Vol. 55 Issue 16, p1-33, 33p

Schlagwörter: GENERATIVE artificial intelligence, PENETRATION testing (Computer security), INTERNET security, CRYPTOGRAPHY, BLOCKCHAINS, COMPUTER security vulnerabilities

Algorithm 1058: Computing the Group of Local Dyadic Square-Classes the Easy Way.

Autoren: KOPROWSKI, PRZEMYSLAW

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

Schlagwörter: ALGORITHMS, GROUP theory, MATHEMATICS, SYMBOLIC computation, BENCHMARK problems (Computer science), MATHEMATICS software, NUMBER systems

Acceleration by Stepsize Hedging: Multi-Step Descent and the Silver Stepsize Schedule.

Autoren: Altschuler, Jason M. Parrilo, Pablo A.

Quelle: Journal of the ACM; Apr2025, Vol. 72 Issue 2, p1-38, 38p

Schlagwörter: OPTIMIZATION algorithms, PHASE transitions, CONVEX functions, CONVEX sets, GLUE

High-performance CPU Cloth Simulation Using Domain-decomposed Projective Dynamics.

Autoren: Lu, Zixuan Liu, Ziheng Lan, Lei et al.

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

Schlagwörter: DOMAIN decomposition methods, HIGH performance computing, PARALLEL algorithms, DESIGN, MATHEMATICAL optimization, COMPUTER simulation, COMPUTATIONAL mechanics

Timetide: A Programming Model for Logically Synchronous Distributed Systems.

Autoren: Kenwright, Logan Roop, Partha Allen, Nathan et al.

Quelle: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-25, 25p

Schlagwörter: DISTRIBUTED computing, SYNCHRONIZATION, SOFTWARE architecture, FORMAL methods (Computer science), DETERMINISTIC algorithms

How Much Data Is Sufficient to Learn High-Performing Algorithms?

Autoren: Balcan, Maria-Florina Deblasio, Dan Dick, Travis et al.

Quelle: Journal of the ACM; Oct2024, Vol. 71 Issue 5, p1-58, 58p

Schlagwörter: CLUSTERING algorithms, MACHINE theory, GREEDY algorithms, MACHINE learning, COMPUTATIONAL biology

Fast and Convergent Method for Large-Scale Sensor Network Localization With Anchor Uncertainty.

Autoren: Gur, Eyal Sabach, Shoham

Quelle: ACM Transactions on Sensor Networks; Sep2025, Vol. 21 Issue 5, p1-30, 30p

Schlagwörter: SENSOR networks, LOCALIZATION theory, DISTRIBUTED computing, EUCLIDEAN distance, ALGORITHMS, MAXIMUM likelihood statistics

Evolution Function Based Reach-Avoid Verification for Time-varying Systems with Disturbances.

Autoren: Hu, Ruiqi Liu, Kairong She, Zhikun

Quelle: ACM Transactions on Embedded Computing Systems; May2025, Vol. 24 Issue 3, p1-30, 30p

Schlagwörter: TIME-varying systems, INTERVAL analysis, SET functions, ALGORITHMS

Merging the International Data Encryption Algorithm and Digital Chaotic Scrambler (DCS) to Enhance Audio Security.

Autoren: Al Zahawy, Bushra W. Hussein Hreshee, Saad S.

Quelle: Engineering, Technology & Applied Science Research; Oct2025, Vol. 15 Issue 5, p26171-26180, 10p

Schlagwörter: SECURITY systems, DATA encryption, SCRAMBLING systems (Telecommunication), EMPIRICAL research, REAL-time computing

Leapfrog Flow Maps for Real-Time Fluid Simulation.

Autoren: Sun, Yuchen Li, Junlin Wang, Ruicheng et al.

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

Schlagwörter: FLOW simulations, COMPUTATIONAL fluid dynamics, DYNAMIC simulation, ALGEBRAIC multigrid methods, OPTIMIZATION algorithms, SWIRLING flow, SIMULATION methods & models