Search Results - Abstract and automatic compatibility and recursion theory*

Higher Airy structures and topological recursion for singular spectral curves.

Authors: Borot, Gaëtan Kramer, Reinier Schüler, Yannik

Source: Annales de l'Institut Henri Poincaré D; 2024, Vol. 11 Issue 1, p1-146, 146p

Subject Terms: INTERSECTION theory, MODULI theory, WEYL groups, PARTITION functions, LINEAR systems, VERTEX operator algebras

Compatibility of intracellular binding: Evolutionary design principles for metal sensors.

Authors: Lenner, Nicolas Chariker, Logan Leibler, Stanislas

Source: Proceedings of the National Academy of Sciences of the United States of America; 5/6/2025, Vol. 122 Issue 18, p1-12, 2040p

Subject Terms: TRANSITION metals, BINDING constant, BINDING sites, PROBLEM solving, HOMEOSTASIS

Geographic Terms: IRVING (Tex.)

Generalizing egocentric temporal neighborhoods to probe for spatial correlations in temporal networks and infer their topology.

Authors: Bail, Didier Le

Source: Journal of Physics A: Mathematical & Theoretical; 2025, Vol. 58 Issue 22, p1-51, 51p

Subject Terms: TIME-varying networks, GRAPH theory, SOCIAL systems, SOCIAL networks, SOCIAL dynamics

An Automatic Code Generation Tool Using Generative Artificial Intelligence for Element Fill-in-the-Blank Problems in a Java Programming Learning Assistant System.

Authors: Zhu, Zihao Funabiki, Nobuo Mentari, Mustika et al.

Source: Electronics (2079-9292); Jun2025, Vol. 14 Issue 11, p2261, 27p

Subject Terms: GENERATIVE artificial intelligence, INFORMATION technology, OBJECT-oriented programming languages, COMPUTER science, COMPUTER engineering

Structured Dynamics in the Algorithmic Agent.

Authors: Ruffini, Giulio Castaldo, Francesca Vohryzek, Jakub

Source: Entropy; Jan2025, Vol. 27 Issue 1, p90, 54p

Subject Terms: COMPUTATIONAL intelligence, NOETHER'S theorem, INFORMATION theory, GROUP theory, KOLMOGOROV complexity, MIRROR neurons

Enhancing multimedia document modeling through extended orbit-based rhetorical structure: an approach to media weighting for importance determination.

Authors: Maredj, Azze-Eddine Sadallah, Madjid Tonkin, Nourreddine

Source: Knowledge & Information Systems; Mar2024, Vol. 66 Issue 3, p1683-1707, 25p

Subject Terms: STRUCTURAL analysis (Engineering), RHETORICAL theory, ORBIT determination

Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting).

Source: Oberwolfach Reports; 2021, p1693-1757, 65p

Subject Terms: MATHEMATICAL logic, ABSTRACT algebra, PROOF theory, LOGIC, COMPUTATIONAL mechanics

Industrial Robotic Setups: Tools and Technologies for Tracking and Analysis in Industrial Processes.

Authors: Makulavičius, Mantas Petronienė, Juratė Jolanta Šutinys, Ernestas et al.

Source: Applied Sciences (2076-3417); Sep2025, Vol. 15 Issue 18, p10249, 35p

Subject Terms: INDUSTRIAL robots, MACHINE learning, OBJECT recognition (Computer vision), IMAGE recognition (Computer vision), DETECTION algorithms, AUTOMATION, INTERNET of things

Algorithmic sovereignty: Machine learning, ground truth, and the state of exception.

Authors: Martin, Matthew

Source: Philosophy & Social Criticism; Sep2025, Vol. 51 Issue 7, p1044-1074, 31p

Subject Terms: MACHINE learning, POLITICAL science, COMPUTER security, DIALECTIC, EMPIRICAL research, CRISES

People: ADORNO, Theodor W., 1903-1969

A Bisimulation for Type Abstraction and Recursion.

Authors: Sumii, Eijiro Pierce, Benjamin C.

Source: Journal of the ACM; Oct2007, Vol. 54 Issue 5, p1-43, 43p, 3 Charts

Subject Terms: RECURSION theory, LAMBDA calculus, MATHEMATICAL logic, RECURSIVE functions, ALGORITHMS, MATHEMATICAL analysis

A framework for embedded software portability and verification: from formal models to low-level code.

Authors: Martins Gomes, Renata Aichernig, Bernhard Baunach, Marcel

Source: Software & Systems Modeling; Apr2024, Vol. 23 Issue 2, p289-315, 27p

Subject Terms: SOFTWARE compatibility, SOFTWARE frameworks, SOFTWARE verification, COMPUTER software development, PROOF of concept

Neuro-symbolic artificial intelligence: a survey.

Authors: Bhuyan, Bikram Pratim Ramdane-Cherif, Amar Tomar, Ravi et al.

Source: Neural Computing & Applications; Jul2024, Vol. 36 Issue 21, p12809-12844, 36p

Subject Terms: ARTIFICIAL intelligence, KNOWLEDGE representation (Information theory), COMPUTER vision, MACHINE learning, ROBOTICS, QUESTION answering systems

An input–output relational domain for algebraic data types and functional arrays.

Authors: Bautista, Santiago Jensen, Thomas Montagu, Benoît

Source: Formal Methods in System Design; Apr2025, Vol. 65 Issue 1, p231-304, 74p

Subject Terms: TRANSLATORS

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

Functional directed acyclical graphs for scattering amplitudes in perturbation theory.

Authors: Ohl, Thorsten

Source: European Physical Journal C -- Particles & Fields; Jul2023, Vol. 83 Issue 7, p1-12, 12p

Subject Terms: SCATTERING amplitude (Physics), PERTURBATION theory, FEYNMAN diagrams, SCATTER diagrams, DIRECTED graphs

A Formalized General Theory of Syntax with Bindings: Extended Version.

Authors: Gheri, Lorenzo Popescu, Andrei

Source: Journal of Automated Reasoning; Apr2020, Vol. 64 Issue 4, p641-675, 35p

Subject Terms: FORMALIZATION (Linguistics), SYNTAX (Grammar), LAMMA language, SEMANTICS, STANDARD operating procedure

Cohomological boundedness for flat bundles on surfaces and applications.

Authors: Hu, Haoyu Teyssier, Jean-Baptiste

Source: Compositio Mathematica; Dec2024, Vol. 160 Issue 12, p2775-2827, 53p

Subject Terms: MODULI theory

MBST: a bad smells testbed for microservice systems.

Authors: Xing, Yongchao Yang, Weipan Yin, Jiaxuan et al.

Source: Cluster Computing; Dec2025, Vol. 28 Issue 16, p1-30, 30p

Subject Terms: DETECTION algorithms, SCALABILITY, RELIABILITY in engineering, COMPUTER performance, SOFTWARE frameworks, SERVICE-oriented architecture (Computer science)

A recursive reinforced blockchain performance evaluation and improvement architecture: Maximising diversity to improve scalability.

Authors: Liu, Lin Tsai, Wei‐Tek Liu, Mingsheng et al.

Source: International Journal of Communication Systems; 11/20/2025, Vol. 38 Issue 17, p1-14, 14p

Subject Terms: BLOCKCHAINS, SCALABILITY, SOFTWARE architecture, COMPUTER performance, REINFORCEMENT learning, BIT rate

Artificial neural network and the prospect of AGI: an argument from architecture.

Authors: Liu, Chang Ye, Bin

Source: Discover Artificial Intelligence; 10/29/2025, Vol. 5 Issue 1, p1-32, 32p

Subject Terms: ARTIFICIAL neural networks, ARTIFICIAL intelligence, MODULAR design, COGNITION, SOFTWARE architecture