Výsledky vyhľadávania - Computing methodologies Symbolic and algebraic manipulation Symbolic and algebraic algorithms*

Big Prime Field FFT on Multi-core Processors

Autori: Covanov, Svyatoslav Mohajerani, Davood Moreno Maza, Marc a ďalší

Prispievatelia: Covanov, Svyatoslav Mohajerani, Davood Moreno Maza, Marc a ďalší

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

Predmety: 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 súboru: application/pdf

Prí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

Computing specified generators of structured matrix inverses

Autori: Jeannerod, Claude-Pierre Mouilleron, Christophe Computer arithmetic (ARENAIRE) a ďalší

Prispievatelia: Jeannerod, Claude-Pierre Mouilleron, Christophe Computer arithmetic (ARENAIRE) a ďalší

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⟩

Predmety: 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

Dostupnosť: 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

Autori: Bostan, Alin Jeannerod, Claude-Pierre Schost, Éric

Prispievatelia: Bostan, Alin Jeannerod, Claude-Pierre Schost, Éric

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

Predmety: 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 súboru: application/pdf

Prí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

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

Autori: Falaschi, Moreno Palamidessi, Catuscia Romanelli, Marco a ďalší

Prispievatelia: Falaschi, Moreno Palamidessi, Catuscia Romanelli, Marco a ďalší

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⟩

Predmety: 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

Dostupnosť: 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

Unified Robustness in AI: From Symbolic Reasoning to Hardware Resilience

Autori: Errahmouni Barkam, Hamza

Predmety: 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 súboru: application/pdf

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

Essentially optimal interactive certificates in linear algebra

Autori: Dumas, Jean-Guillaume Kaltofen, Erich Calculs Algébriques et Systèmes Dynamiques (CASYS) a ďalší

Prispievatelia: Dumas, Jean-Guillaume Kaltofen, Erich Calculs Algébriques et Systèmes Dynamiques (CASYS) a ďalší

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⟩

Predmety: 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

Dostupnosť: 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

Semantic embedding for quantum algorithms.

Autori: Rossi, Zane M. Chuang, Isaac L.

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

Predmety: MATHEMATICAL category theory, QUANTUM computing, ALGORITHMS, QUANTUM cryptography, PARALLEL algorithms, MATRIX functions

Exploring Students' Challenges in Understanding Mathematical Concepts.

Autori: Mutia, Irene C.

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

Predmety: MATHEMATICS, MATH anxiety, STUDENTS, ALGEBRA, SCIENTIFIC models, TEACHING methods, LEARNING strategies

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

Autori: Bailey, David H. Borwein, Jonathan M. USDOE Director, Office of Science. Office of AdvancedScientific Computing Research. Mathematical, Information, andComputational Sciences Division a ďalší

Prispievatelia: Bailey, David H. Borwein, Jonathan M. USDOE Director, Office of Science. Office of AdvancedScientific Computing Research. Mathematical, Information, andComputational Sciences Division a ďalší

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

Predmety: 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 súboru: application/xml; application/pdf; Text

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

Transformational program development in a particular problem domain

Autori: Helmuth Partsch

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

Predmety: 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 súboru: application/xml

Prí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

BeamOptics : a Symbolic Platform for Modeling and the Solution of Beam Optics System

Prispievatelia: Chao, Yu-Chiu

Zdroj: Conference: ICAP 2000, Darmstadt (DE), 09/11/2000--09/14/2000; Other Information: PBD: 1 Nov 2000

Popis súboru: Medium: ED; Size: 181.7 Kilobytes pages

Prístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/839253

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

Autori: Jones-Oliveira, Janet B. Oliveira, Hans-Joseph B. Oliveira, Joseph S. a ďalší

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.

Autori: Ferreira, Roberto A. Rodríguez, Cristina Guzmán, Bárbara a ďalší

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

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

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

Autori: Aransay, J. Domínguez, C.

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

Predmety: CASE studies, COMPUTATIONAL mathematics, TOPOLOGICAL algebras, IDEMPOTENTS, MATHEMATIC morphism, MATHEMATICAL analysis

A neuro-vector-symbolic architecture for solving Raven's progressive matrices.

Autori: Hersche, Michael Zeqiri, Mustafa Benini, Luca a ďalší

Zdroj: Nature Machine Intelligence; Apr2023, Vol. 5 Issue 4, p363-375, 13p

Mathematization Through Application and Common Sense: Motivating Intellectual Activities of Schoolchildren with Digital Tools.

Autori: Abramovich, Sergei Malyutin, Egor Pozdniakov, Sergei

Zdroj: Digital; Sep2025, Vol. 5 Issue 3, p41, 19p

NESTML: a generic modeling language and code generation tool for the simulation of spiking neural networks with advanced plasticity rules.

Autori: Linssen, Charl Babu, Pooja N. Eppler, Jochen M. a ďalší

Zdroj: Frontiers in Neuroinformatics; 2025, p1-21, 21p

Predmety: ARTIFICIAL neural networks, MODELING languages (Computer science), SYNAPSES, C++, SYNTAX (Grammar)

The demise of the world's largest piedmont glacier: a probabilistic forecast.

Autori: Brinkerhoff, Douglas J. Tober, Brandon S. Daniel, Michael a ďalší

Zdroj: Cryosphere; 2025, Vol. 19 Issue 6, p2321-2353, 33p

Prospective teachers’ views on the use of calculators with Computer Algebra System in algebra instruction.

Autori: Aslı Özgün-Koca, S.

Zdroj: Journal of Mathematics Teacher Education; Feb2010, Vol. 13 Issue 1, p49-71, 23p, 2 Diagrams, 4 Charts

Predmety: MATHEMATICS teachers, ALGEBRA education in secondary schools, MIDDLE school students, GRAPHIC calculators, EDUCATIONAL technology, QUESTIONNAIRES, INSTRUCTIONAL systems, MATHEMATICAL instruments, MATHEMATICAL notation

Prototype Theory Meets Word Embedding: A Novel Approach for Text Categorization via Granular Computing.

Autori: De Santis, Enrico Rizzi, Antonello

Zdroj: Cognitive Computation; May2023, Vol. 15 Issue 3, p976-997, 22p