Výsledky vyhľadávania - Lambda calculus complexity enumeration expected complexity

On counting untyped lambda terms

Autori: Lescanne, Pierre

Prispievatelia: Lescanne, Pierre

Zdroj: Theoretical Computer Science. 474:80-97

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Discrete Mathematics (cs.DM), Enumeration, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Complexity, 0102 computer and information sciences, Expected complexity, 16. Peace & justice, 01 natural sciences, Theoretical Computer Science, Logic in Computer Science (cs.LO), [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Lambda calculus complexity enumeration expected complexity, 0101 mathematics, Computer Science(all), Computer Science - Discrete Mathematics

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/1107.1327
https://dblp.uni-trier.de/db/journals/corr/corr1107.html#abs-1107-1327
http://www.sciencedirect.com/science/article/pii/S0304397512010493
https://www.sciencedirect.com/science/article/pii/S0304397512010493#!
https://arxiv.org/abs/1107.1327
https://www.sciencedirect.com/science/article/pii/S0304397512010493
https://dblp.uni-trier.de/db/journals/tcs/tcs474.html#Lescanne13

On quantum lambda calculi: a foundational perspective.

Autori: ZORZI, MARGHERITA

Zdroj: Mathematical Structures in Computer Science; Oct2016, Vol. 26 Issue 7, p1107-1195, 89p

Predmety: LAMBDA calculus, QUANTUM computing, COMPUTATIONAL complexity, QUANTUM operators, DATA analysis

Expression templates for primal value taping in the reverse mode of algorithmic differentiation.

Autori: Sagebaum, M. Albring, T. Gauger, N. R.

Zdroj: Optimization Methods & Software; Aug-Dec2018, Vol. 33 Issue 4-6, p1207-1231, 25p

Predmety: AUTOMATIC differentiation, COMPUTATIONAL fluid dynamics, INTERVAL analysis, LAMBDA calculus, PROGRAMMING languages

The White Puzzle: A Framework for Computation as a Recursive‑Harmonic Phenomenon

Autori: KULIK, DEAN

An open logical framework.

Autori: HONSELL, FURIO LENISA, MARINA SCAGNETTO, IVAN a ďalší

Zdroj: Journal of Logic & Computation; Feb2016, Vol. 26 Issue 1, p293-335, 43p

Predmety: CONFIRMATION (Logic), TYPE theory, LAMBDA calculus, MODAL logic, PERMUTATIONS

Optimal Transport on the Lie Group of Roto-translations.

Autori: Bon, Daan Pai, Gautam Bellaard, Gijs a ďalší

Zdroj: SIAM Journal on Imaging Sciences; 2025, Vol. 18 Issue 2, p789-821, 38p

The Lattice of Lambda Theories.

Autori: Lusin, Stefania Salibra, Antonino

Zdroj: Journal of Logic & Computation; Jun2004, Vol. 14 Issue 3, p373-394, 22p

Predmety: COMPUTER logic, COMPUTER science, MATHEMATICAL logic, LAMBDA calculus, LATTICE theory, ALGEBRAIC logic

On the computational properties of basic mathematical notions.

Autori: Normann, Dag Sanders, Sam

Zdroj: Journal of Logic & Computation; Dec2022, Vol. 32 Issue 8, p1747-1795, 49p

Predmety: COMPUTABLE functions, MATHEMATICS

Detection of fish sedimentary DNA in aquatic systems: A review of methodological challenges and future opportunities.

Autori: Huston, Grayson P. Lopez, Mark Louie D. Cheng, Yuanyu a ďalší

Zdroj: Environmental DNA; Nov2023, Vol. 5 Issue 6, p1449-1472, 24p

Challenges in Information, Communication and Computing Technology : Proceedings of the 2nd International Conference on Challenges in Information, Communication, and Computing Technology (ICCICCT 2024), April 26th & 27th, 2024, Namakkal, Tamil Nadu, India

Autori: V. Sharmila S. Kannadhasan A. Rajiv Kannan a ďalší

Typ zdroja: eBook.

Predmet: Telecommunication systems--Congresses, Artificial intelligence--Congresses

Kategórie: COMPUTERS / General, COMPUTERS / Computer Engineering, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Mechanical

The view from the left.

Autori: CONOR MCBRIDE JAMES MCKINNA

Zdroj: Journal of Functional Programming; Jan2004, Vol. 14 Issue 1, p69-111, 43p

Predmety: FUNCTIONAL programming (Computer science), COMPUTER software, ARTIFICIAL languages, ONLINE data processing, SEMANTICS

Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis.

Autori: Bach, Bao Gia Kundu, Akash Acharya, Tamal a ďalší

Zdroj: Entropy; May2023, Vol. 25 Issue 5, p763, 20p

Predmety: QUANTUM states, ARTIFICIAL intelligence, MACHINE learning, QUANTUM logic, CIRCUIT complexity, QUANTUM gates, COMBINATIONAL circuits, LOGIC circuits

A Diffusion Scale Approximation for Stochastic Fission Chains with State Feedback.

Autori: Dubi, Chen Prinja, Anil K.

Zdroj: Nuclear Science & Engineering; 2025 Suppl 1, Vol. 199, pS649-S663, 15p

Predmety: BRANCHING processes, STOCHASTIC differential equations, REACTIVITY (Chemistry), STOCHASTIC processes, STOCHASTIC approximation, MONTE Carlo method, MATHEMATICAL models

Augmentations, Fillings, and Clusters for 2-Bridge Links.

Autori: Capovilla-Searle, Orsola Hughes, James Weng, Daping

Zdroj: Selecta Mathematica, New Series; Nov2025, Vol. 31 Issue 5, p1-58, 58p

Predmety: CLUSTER set theory, CATALAN numbers, TOPOLOGICAL property

LOW-DENSITY PARITY-CHECK CODES ACHIEVE LIST-DECODING CAPACITY.

Autori: MOSHEIFF, JONATHAN RESCH, NICOLAS RON-ZEWI, NOGA a ďalší

Zdroj: SIAM Journal on Computing; 2024, Vol. 53 Issue 6, p38-73, 36p

Predmety: LINEAR codes, PROBABILITY theory

Safety and Trust in Artificial Intelligence with Abstract Interpretation.

Autori: Singh, Gagandeep Laurel, Jacob Misailovic, Sasa a ďalší

Zdroj: Foundations & Trends in Programming Languages; 2025, Vol. 8 Issue 3/4, p250-408, 159p

Problem-solving skills among students on the topic of derivatives: Differences in the changes of achievement emotions.

Autori: Hiltrimartin, Cecil Pratiwi, Weni Dwi

Zdroj: Eurasia Journal of Mathematics, Science & Technology Education; Jun2025, Vol. 21 Issue 6, p1-22, 22p

Predmety: PEARSON correlation (Statistics), DERIVATIVES (Mathematics), MIDDLE school students, EMOTIONAL state, WORD problems (Mathematics), EMOTIONS

Non-determinism in Gödel's System T.

Autori: Kristiansen, Lars Mender, Bedeho

Zdroj: Theory of Computing Systems; Jul2012, Vol. 51 Issue 1, p85-105, 21p

Predmety: DETERMINANTS (Mathematics), SYSTEMS theory, CALCULUS, COMPUTATIONAL complexity, PROBLEM solving, DENOTATIONAL semantics, MATHEMATICAL models

A Domain-theoretic Approach to Statistical Programming Languages.

Autori: GOUBAULT-LARRECQ, JEAN XIAODONG JIA THÉRON, CLÉMENT

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

Predmety: PROGRAMMING languages, PROGRAMMING language semantics, PROGRAM transformation, REAL numbers

INTERNAL PATTERN MATCHING QUERIES IN A TEXT AND APPLICATIONS.

Autori: KOCIUMAKA, TOMASZ RADOSZEWSKI, JAKUB RYTTER, WOJCIECH a ďalší

Zdroj: SIAM Journal on Computing; 2024, Vol. 53 Issue 5, p1524-1577, 54p

Predmety: DATA structures, PATTERN matching, DETERMINISTIC algorithms, CONFERENCE papers, INTEGERS, ALGORITHMS