Výsledky vyhledávání - • Computing methodologies → Symbolic and algebraic manipulation Program synthesis

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

Review and Mapping of Search-Based Approaches for Program Synthesis.

Autoři: Saber, Takfarinas Tao, Ning

Zdroj: Information; May2025, Vol. 16 Issue 5, p401, 28p

Témata: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

Enhancing Program Synthesis with Large Language Models Using Many-Objective Grammar-Guided Genetic Programming.

Autoři: Tao, Ning Ventresque, Anthony Nallur, Vivek a další

Zdroj: Algorithms; Jul2024, Vol. 17 Issue 7, p287, 20p

Témata: LANGUAGE models, ARTIFICIAL intelligence, CHATGPT, PROGRAMMING languages, GRAMMAR

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

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

The Recursive Harmonic Architecture: A New Foundational Framework for the Millennium Problems

Autoři: Kulik, Dean

Program Synthesis.

Autoři: Gulwani, Sumit Polozov, Oleksandr Singh, Rishabh

Zdroj: Foundations & Trends in Programming Languages; 2017, Vol. 4 Issue 1/2, pi-119, 122p

Algorithmic program synthesis: introduction.

Autoři: Bodik, Rastislav Jobstmann, Barbara

Zdroj: International Journal on Software Tools for Technology Transfer; Oct2013, Vol. 15 Issue 5/6, p397-411, 15p

Témata: ALGOL (Computer program language), COMPUTER programming, SPECTRAL synthesis (Mathematics), SYSTEMS design, COMPUTER software correctness, COMPUTER networks

Molecular representations in bio-cheminformatics.

Autoři: Nguyen-Vo, Thanh-Hoang Teesdale-Spittle, Paul Harvey, Joanne E. a další

Zdroj: Memetic Computing; Sep2024, Vol. 16 Issue 3, p519-536, 18p

Forward slicing of functional logic programs by partial evaluationA preliminary short version of this paper appeared in the Proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation (LOPSTR 2002).This work has been partially supported by the EU (FEDER) and the Spanish MEC under grants TIN2004-00231 and TIN2005-09207-C03-02, and by the ICT for EU-India Cross-Cultural Dissemination Project ALA/95/23/2003/077-054.

Autoři: JOSEP SILVA GERMÁN VIDAL

Zdroj: Theory & Practice of Logic Programming; Jan2007, Vol. 7 Issue 1/2, p215-247, 33p

Témata: PROGRAMMING languages, COMPUTER programming, SOFTWARE engineering, MULTIPARADIGM programming (Computer science), COMPUTER science

Knowledge-based program synthesis for a geometric constraint satisfaction system.

Autoři: Bhansali, S. Hoar, T.

Zdroj: Proceedings 1995 10th Knowledge-Based Software Engineering Conference; 1995, p11-18, 8p

Cognification of Program Synthesis—A Systematic Feature-Oriented Analysis and Future Direction.

Autoři: Subahi, Ahmad F.

Zdroj: Computers (2073-431X); Jun2020, Vol. 9 Issue 2, p27-27, 1p

Témata: NATURAL language processing, CONCEPTUAL design, COMPUTER software development, DEEP learning, MACHINE learning, MOTIVATION (Psychology)

On Strongest Algebraic Program Invariants.

Autoři: HRUSHOVSKI, EHUD OUAKNINE, JOËL POULY, AMAURY a další

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

Témata: POLYNOMIALS, EQUATIONS, MATRICES (Mathematics)

Bridging Algebraic and Computational Thinking: Impacts on Student Development in K–12 Education.

Autoři: SARMASÁGI, Pál RUMBUS, Anikó BILBAO, Javier a další

Zdroj: Informatics in Education; Jun2025, Vol. 24 Issue 2, p343-376, 34p

Témata: STUDENT development, CURRICULUM, BASIC education, EDUCATIONAL programs, SYSTEMS theory, CURRICULUM frameworks, EDUCATION conferences, ABSTRACT thought

Geografický termín: HUNGARY

Large physics models: towards a collaborative approach with large language models and foundation models.

Autoři: Barman, Kristian G. Caron, Sascha Sullivan, Emily a další

Zdroj: European Physical Journal C -- Particles & Fields; Sep2025, Vol. 85 Issue 9, p1-16, 16p

Témata: LANGUAGE models, INTERDISCIPLINARY research, ARTIFICIAL intelligence, REFLECTION (Philosophy), LOGIC, SCIENTIFIC literature, RESEARCH methodology

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

Autoři: Gagniuc, Paul A.

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

Témata: CRYPTOGRAPHY, ALGORITHMS, COGNITIVE computing, ADAPTIVE control systems, INTERNET security, INTRUSION detection systems (Computer security), ADAPTIVE computing systems, MALWARE

A Survey of Program Analysis for Distributed Software Systems.

Autoři: Cai, Haipeng

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

Deriving analytical solutions using symbolic matrix structural analysis for continuous beams.

Autoři: Plevris, Vagelis Ahmad, Afaq

Zdroj: Scientific Reports; 5/7/2025, Vol. 15 Issue 1, p1-16, 16p

Témata: SYMBOLIC computation, STRUCTURAL mechanics, ANALYTICAL solutions, SENSITIVITY analysis, MATHEMATICS

Synthesis from Examples: Interaction Models and Algorithms

Autoři: Sumit Gulwani

Zdroj: 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. :8-14

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Přístupová URL adresa: https://www.microsoft.com/en-us/research/publication/synthesis-examples-interaction-models-algorithms/
https://research.microsoft.com/en-us/um/people/sumitg/pubs/synasc12.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/synasc12.pdf
https://ieeexplore.ieee.org/document/6481005/

OIKAN: A Hybrid AI Framework Combining Symbolic Inference and Deep Learning for Interpretable Information Retrieval Models.

Autoři: Yedilkhan, Didar Zhalgasbayev, Arman Saleshova, Sabina a další

Zdroj: Algorithms; Oct2025, Vol. 18 Issue 10, p639, 29p

Témata: DEEP learning, ARTIFICIAL intelligence, DATA augmentation, INFORMATION retrieval, MACHINE learning