نتائج البحث

Completeness of First-Order Bi-Intuitionistic Logic ...

• Authors : Kirst, Dominik; Shillito, Ian

Subjects: bi-intuitionistic logic; first-order logic; completeness

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

Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Linear Integer Arithmetic

• Authors : Gokaj, Geri; Künnemann, Marvin; Geri Gokaj and Marvin Künnemann

Subjects: fine-grained complexity theory; descriptive complexity; presburger arithmetic

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

Characterising galaxy clusters' completeness function in Planck.

• Authors : Gallo, S.¹ ; Douspis, M.¹; Soubrié, E.^1,2

• Source: EPJ Web of Conferences. 3/28/2024, Vol. 293, p1-6. 6p.

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

Quantum Circuit Completeness: Extensions and Simplifications

• Authors : Clément, Alexandre; Delorme, Noé; Perdrix, Simon ...

Subjects: Completeness; Graphical Language; Quantum CircuitsNaples; Italy

• Source: International Conference on Computer Science Logic CSL 2024 ; https://hal.science/hal-04016498 ; International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy.

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

Spatiotemporal and Environmental Completeness of eBird Data in Taiwan

• Authors : Tsai,Pei-Yu; Tuanmu,Mao-Ning

Subjects: citizen science; data gaps; iNEXT

• Source: Biodiversity Information Science and Standards 8: e134514

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

CompAi: A Tool for GDPR completeness checking of privacy policies using artificial intelligence ...

• Authors : Amaral Cejas, Orlando; Abualhaija, Sallam; Briand, Lionel C

Subjects: Software engineering

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

Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge

• Authors : Obendrauf, Kai; Baanen, Anne; Koopmann, Patrick ...

Subjects: Multi-agent systems; Coalition Logic; Epistemic Logic

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

Quality and completeness of RCTs assessing cognitive interventions in children and adolescents presenting memory deficits: a meta-research protocol

• Authors : Blause, Sacha

Subjects: meat-research; neuropsychology; protocol

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

PPP-Completeness and Extremal Combinatorics

• Authors : Bourneuf, Romain; Folwarczný, Lukáš; Hubáček, Pavel ...

Subjects: total search problems; extremal combinatorics; PPP-completeness

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

Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation

• Authors : Vilmart, Renaud;

Subjects: Quantum Computation; Verification; Sum-Over-PathsWarsaw; Poland

• Source: CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic ; https://hal.science/hal-03654438 ; CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland.

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