نتائج البحث

Asymptotic elimination of partially continuous aggregation functions in directed graphical models

• Authors : Koponen, Vera, 1968; Weitkämper, Felix

Subjects: Mathematical Logic; Matematisk logik

• Source: Information and Computation. 293

تفاصيل العنوان

Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination

• Authors : Koponen, Vera, 1968

Subjects: logic; finite model theory; almost sure elimination of quantifiers

• Source: Theoretical Computer Science. 848:1-27

تفاصيل العنوان

On equality of objects in categories in constructive type theory

• Authors : Palmgren, Erik

Subjects: type theory; formalization; category theory

• Source: 23rd International Conference on Types for Proofs and Programs (TYPES 2017) Leibniz International Proceedings in Informatics (LIPIcs). :1-7

تفاصيل العنوان

Gamma-star Reduction in the Type-theory of Acyclic Algorithms

• Authors : Loukanova, Roussanka

Subjects: Mathematics Of Algorithms; Recursion; Types

• Source: Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART 2018). :231-242

تفاصيل العنوان

>k-homogeneous infinite graphs

• Authors : Ahlman, Ove, 1988

Subjects: >k-homomogeneous; countably infinite graph; Mathematical Logic

• Source: Journal of combinatorial theory. Series B (Print). 128:160-174

تفاصيل العنوان

Comparing seven methods for state-of-health time series prediction for the lithium-ion battery packs of forklifts

• Authors : Huotari, Matti; Arora, Shashank; Malhi, Avleen

Subjects: Electrical vehicles; State-of-health for lithium-ion batteries; Machine learning

• Source: Applied Soft Computing. 111

تفاصيل العنوان

The HoTT Library: A formalization of homotopy type theory in Coq

• Authors : Bauer, Andrej; Gross, Jason; LeFanu Lumsdaine, Peter, 1982

Subjects: matematisk logik; Mathematical Logic

• Source: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. :164-172

تفاصيل العنوان

A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory

• Authors : de Boer, Menno, 1994;

Subjects: Dependent type theory; Category theory; Contextual categories

تفاصيل العنوان

Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion

• Authors : Loukanova, Roussanka

Subjects: recursion; type-theory; semantics

• Source: ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal. 5(4):19-42

تفاصيل العنوان

A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory

• Authors : Hou, Kuen-Bang (Favonia); Finster, Eric; Licata, Daniel R.

Subjects: matematisk logik; Mathematical Logic

• Source: LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. :565-574

تفاصيل العنوان