Výsledky vyhledávání - Theory of computation Logic Type theory

A static verification framework for message passing in Go using behavioural types Autor Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko

“… in the form of a behavioural type, a powerful process calculi typing discipline. We make…”
Získat plný text

Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling Autor Soos, Mate, Meel, Kuldeep S.

“… and sampling techniques.In this paper, we design an efficient and scalable independent support computation technique that can handle…”
Získat plný text

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT Autor Kraus, Nicolai

“…Using dependent type theory to formalise the syntax of dependent type theory is a very active topic of study and goes under the name of "type theory eating itself" or "type theory in type theory…”
Získat plný text

On the logical structure of choice and bar induction principles Autor Brede, Nuria, Herbelin, Hugo

“…We develop an approach to choice principles and their contrapositive bar-induction principles as extensionality schemes connecting an "intensional" or…”
Získat plný text

Natural numbers from integers Autor Sattler, Christian, Wärn, David

“…In homotopy type theory, a natural number type is freely generated by an element and an endomorphism…”
Získat plný text

Higher Lenses Autor Capriotti, Paolo, Danielsson, Nils Anders, Vezzosi, Andrea

“…We show that total, very well-behaved lenses are not very well-behaved when treated proof-relevantly in the setting of homotopy type theory/univalent foundations…”
Získat plný text

Universal Skolem Sets Autor Luca, Florian, Ouaknine, Joel, Worrell, James

“…It is a longstanding open problem whether there is an algorithm to decide the Skolem Problem for linear recurrence sequences, namely whether a given such…”
Získat plný text

Assessing the Type Annotation Burden Autor Ore, John-Paul, Elbaum, Sebastian, Detweiler, Carrick, Karkazis, Lambros

“…Type annotations provide a link between program variables and domain-specific types…”
Získat plný text

Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory Autor Colcombet, Thomas

“…Cost monadic logic extends monadic second-order logic with the ability to measure the cardinality of sets and comes with decision procedures for boundedness related questions…”
Získat plný text

Iterative Abstraction using SAT-based BMC with Proof Analysis Autor Gupta, Aarti, Ganai, Malay, Yang, Zijiang, Ashar, Pranav

“…Resolution-based proof analysis techniques have been proposedrecently to identify a sufficient set of reasons for unsatisfiabilityderived by a CNF-based SAT…”
Získat plný text

Properties of the Second Type of Covering-Based Rough Sets Autor Zhu, William

“…To deal with the vagueness and granularity in information systems, researchers proposed several methods such as fuzzy theory and rough set theory…”
Získat plný text

FaSet: A Set Theory Model for Faceted Search Autor Bonino, Dario, Corno, Fulvio, Farinetti, Laura

“… FaSet relies on set theory, and strikes a good balance between expressive power and ease of implementation on web architectures…”
Získat plný text

Huge Data Mining Based on Rough Set Theory and Granular Computing Autor Hu, Feng, Wang, Guoyin

“…Data mining is a hot research field which has been studied by a lot of scientists and technicians for many years. Unfortunately, it is still a very difficult…”
Získat plný text

Uncertainty Measure of Covering Generated Rough Set Autor Hu, Jun, Wang, Guoyin, Zhang, Qinghua

“…Uncertainty measure is a key issue of knowledge discovery based on covering approximation space. Information entropy was applied into both classical rough set…”
Získat plný text

LPSAT: a unified approach to RTL satisfiability Autor Zeng, Z., Kalla, P., Ciesielski, M.

Získat plný text

Session details: Information retrieval and data mining

Získat plný text

Modalities in the Type Theory of Quantum Programming: Invited Presentation at the Modalities in substructural logics: Applications at the interfaces of logic, language and computation Autor Kishida, Kohei

Získat plný text

The extended predicative Mahlo universe in Martin-Löf type theory Autor Dybjer, Peter, Setzer, Anton

“… It makes use of the collection of untyped terms (denoting partial functions) which are directly available in explicit mathematics but not in Martin-Löf type theory…”
Získat plný text

Models for Computational Emotions from Psychological Theories Using Type-II Fuzzy Logic Autor Ayesh, Aladdin, Blewitt, William

“…–computer interaction. This paper presents the second part of our research in this area, which aimed at interpreting psychological theories of emotions computationally and translating them into machine-implementable models…”
Získat plný text

Models for Computational Emotions from Psychological Theories Using Type I Fuzzy Logic Autor Ayesh, Aladdin, Blewitt, William

“… In this paper, we attempt to contribute to the development of this area by interpreting psychological theories of emotions computationally and translating…”
Získat plný text