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

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

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

An application of symbolic computation in the physical sciences

Autoři: Dyer, Charles

Zdroj: Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94. :181-186

Témata: Symbolic and algebraic manipulation, 16. Peace & justice, Computing Methodologies, 7. Clean energy

Popis souboru: 655098 bytes; application/pdf

Přístupová URL adresa: https://tspace.library.utoronto.ca/bitstream/1807/9403/1/p181-dyer.pdf
https://tspace.library.utoronto.ca/bitstream/1807/9403/1/p181-dyer.pdf
https://tspace.library.utoronto.ca/handle/1807/9403
https://dl.acm.org/doi/10.1145/190347.190414
https://dblp.uni-trier.de/db/conf/issac/issac94.html#Dyer94

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

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

A First Step Towards the Inference of Geological Topological Operations

Autoři: Pascual, Romain Belhaouari, Hakim Arnould, Agnès a další

Témata: Mesh models, Computer graphics, Interaction design process and methods, Software and its engineering, Automatic programming, Human centered computing, 15. Life on land, Symbolic and algebraic manipulation, CCS Concepts: Computing methodologies --> Computer graphics, Human-centered computing --> Interaction design process and methods, Software and its engineering --> Automatic programming, Computing methodologies

Computer generation of symbolic kinematics for robot manipulators

Autoři: L.G. Herrera-Bendezu Eduardo Mu James T. Cain

Zdroj: Journal of Robotic Systems. 9:385-410

Témata: Theory of software, 0209 industrial biotechnology, Computing methodologies and applications, Denavit-Hartenberg parameters, nonlinear equations, matrix and algebraic manipulations, 02 engineering and technology, Symbolic computation and algebraic computation, Kinematics of mechanisms and robots, Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence, robot kinematics

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/37467
https://doi.org/10.1002/rob.4620090306
https://onlinelibrary.wiley.com/doi/pdf/10.1002/rob.4620090306
https://dblp.uni-trier.de/db/journals/jfr/jfr9.html#MuCH92

Exploring Students' Challenges in Understanding Mathematical Concepts.

Autoři: Mutia, Irene C.

Zdroj: Psychology & Education: A Multidisciplinary Journal; 2025, Vol. 42 Issue 10, p1418-1439, 22p

Témata: MATHEMATICS, MATH anxiety, STUDENTS, ALGEBRA, SCIENTIFIC models, TEACHING methods, LEARNING strategies

Semantic embedding for quantum algorithms.

Autoři: Rossi, Zane M. Chuang, Isaac L.

Zdroj: Journal of Mathematical Physics; Dec2023, Vol. 64 Issue 12, p1-28, 28p

Témata: MATHEMATICAL category theory, QUANTUM computing, ALGORITHMS, QUANTUM cryptography, PARALLEL algorithms, MATRIX functions

Slope conception as rate of change starter kit: Malaysian pre-service secondary mathematics teachers' subject matter knowledge in rate of change.

Autoři: Talib, Nurul Atiqah Rahim, Suzieleez Syrene Abdul Zulnaidi, Hutkemri

Zdroj: Eurasia Journal of Mathematics, Science & Technology Education; Dec2023, Vol. 19 Issue 12, p1-18, 18p

Témata: MATHEMATICS teachers, MATHEMATICS education, ACQUISITIVENESS, METHODOLOGY

Geografický termín: MALAYSIA

Universal differential equations as a unifying modeling language for neuroscience.

Autoři: El-Gazzar, Ahmed van Gerven, Marcel

Zdroj: Frontiers in Computational Neuroscience; 2025, p1-17, 17p

Témata: NEUROSCIENCES, MATHEMATICAL models, NEURAL computers, ARTIFICIAL neural networks, SIMULATION methods & models

Experimental Mathematics: Examples, Methods and Implications: Experimental mathematics: examples, methods and implications

Autoři: Bailey, David H. Borwein, Jonathan M. USDOE Director, Office of Science. Office of AdvancedScientific Computing Research. Mathematical, Information, andComputational Sciences Division a další

Přispěvatelé: Bailey, David H. Borwein, Jonathan M. USDOE Director, Office of Science. Office of AdvancedScientific Computing Research. Mathematical, Information, andComputational Sciences Division a další

Zdroj: Notices of the American Mathematical Society, vol 52, iss 5

Témata: Geometry, General and miscellaneous//mathematics, mathematical tools, Symbolic computation and algebraic computation, Topology, methods, and information science, computing, Complexity and performance of numerical algorithms, Experimental Mathematics, General and miscellaneous//mathematics, computing, and information science, Methodology of mathematics, Mathematics Experimental Mathematics, Computers, experimental mathematics, Computing, 99 General And Miscellaneous//Mathematics, computer experiments, testing, Algebra, computer technology, PSLQ algorithm, research tools, And Information Science

Popis souboru: application/xml; application/pdf; Text

Přístupová URL adresa: https://zbmath.org/2170575
https://escholarship.org/uc/item/6b6986dn

Transformational program development in a particular problem domain

Autoři: Helmuth Partsch

Zdroj: Science of Computer Programming. 7:99-241

Témata: formal specification, Specification and verification (program logics, model checking, etc.), transformation rule, General topics in the theory of software, compact rules for finite sets, parsing, 02 engineering and technology, Symbolic computation and algebraic computation, programming methodology, development strategy, elimination of existential quantifiers, manipulation of grammars, Transformational programming, manipulations of applicative programs, embedding, transformational program development, 0202 electrical engineering, electronic engineering, information engineering, context-free grammars, recognition, Algorithms in computer science, Software

Popis souboru: application/xml

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/0167642386900080
https://dblp.uni-trier.de/db/journals/scp/scp7.html#Partsch86
https://core.ac.uk/display/82303794

Using Partition Information Entropy to Computationally Rank Order Critical Subreactions in a Petri Net Model of a Biochemical Signaling Network.

Autoři: Jones-Oliveira, Janet B. Oliveira, Hans-Joseph B. Oliveira, Joseph S. a další

Zdroj: Journal of Computational Biology; Nov2025, Vol. 32 Issue 11, p1003-1040, 38p

The Interplay of Vocabulary, Working Memory, and Math Anxiety in Predicting Early Math Performance.

Autoři: Ferreira, Roberto A. Rodríguez, Cristina Guzmán, Bárbara a další

Zdroj: Journal of Intelligence; Oct2025, Vol. 13 Issue 10, p125, 20p

Témata: VOCABULARY, MATH anxiety, SHORT-term memory, EARLY childhood education, STRUCTURAL equation modeling, PSYCHOLOGICAL factors, MATHEMATICAL ability testing

Global Optimization of Convex Multiplicative Programs by Duality Theory.

Autoři: Jermann, Christophe Neumaier, Arnold Sam, Djamila a další

Zdroj: Global Optimization & Constraint Satisfaction. 2005, p101-111. 11p.

A case-study in algebraic manipulation using mechanized reasoning tools.

Autoři: Aransay, J. Domínguez, C.

Zdroj: International Journal of Computer Mathematics; Jul2010, Vol. 87 Issue 9, p1936-1949, 14p, 1 Chart

Témata: CASE studies, COMPUTATIONAL mathematics, TOPOLOGICAL algebras, IDEMPOTENTS, MATHEMATIC morphism, MATHEMATICAL analysis