Výsledky vyhledávání - "Logic of programs"

Elektronická kniha

Multiple-Valued Computing in Quantum Molecular Biology : Sequential Circuits, Memory Devices, Programmable Logic Devices, and Nanoprocessors

Autor: Hafiz Md. Hasan Babu

This book mainly focuses on the design methodologies of various quantum circuits, DNA circuits, DNA-quantum circuits, and quantum-DNA circuits. In this text, the author has compiled various design aspects of multiple-valued logic DNA-quantum and quan

Zobrazit plný text záznamu

Elektronická kniha

Multiple-Valued Computing in Quantum Molecular Biology : Arithmetic and Combinational Circuits

Autor: Hafiz Md. Hasan Babu

This book focuses on the design methodologies of various quantum circuits, DNA circuits, DNA-quantum circuits and quantum-DNA circuits. It considers the merits and challenges of multivalued logic circuits in quantum, DNA, quantum-DNA and DNA-quantum

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

The ∆-framework

Autor: Honsell, F., Liquori, L., Stolze, C., Scagnetto, I.

Publikováno v: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2018
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2018, Dec 2018, Ahmedabad, India. pp.37:1--37:21, ⟨10.4230/LIPIcs.FSTTCS.2018.37⟩

International audience; We introduce a dependent-type theory ∆-framework, LF-∆ , based on the Edinburgh Logical Framework LF, extended with the strong proof-functional connectives intersection, union, and relevant implication. Proof-functional co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6a645222b3bbe93f095b382c3f064ccd
https://hal.archives-ouvertes.fr/hal-01701934v2/document

Zobrazit plný text záznamu

Elektronická kniha

Veracity of Big Data : Machine Learning and Other Approaches to Verifying Truthfulness

Autor: Vishnu Pendyala

Examine the problem of maintaining the quality of big data and discover novel solutions. You will learn the four V's of big data, including veracity, and study the problem from various angles. The solutions discussed are drawn from diverse areas of e

Zobrazit plný text záznamu

Elektronická kniha

Veracity of Data

Autor: Laure Berti-Équille, Javier Borge-Holthoefer

On the Web, a massive amount of user-generated content is available through various channels (e.g., texts, tweets, Web tables, databases, multimedia-sharing platforms, etc.). Conflicting information, rumors, erroneous and fake content can be easily s

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Implicit definability of algebraic structures by means of program properties

Autor: Bergstra, J.A., Tiuryn, J.

Publikováno v: Annales Societatis Mathematicae Polonae series IV: Fundamenta Informaticae, IV(3), 661. EATCS

The following problem is investigated in the paper: what structures can be uniquely defined, by algorithmic properties? The algorithmic propertifa are represented in this paper as open formulae of the logic of effective definitions. This approach can

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::70dafe42fe02b6877a18e2c5425dddf6
https://dspace.library.uu.nl/handle/1874/23396

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání