Results 71 to 80 of about 772,646 (193)
Injecting Abstract Interpretations into Linear Cost Models
, 2010 We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs.
Cachera, David, Jobin, Arnaud
core +2 more sources
Narration / abstraction : réflexions croisées entre médiévistes et contemporanéistes
Perspective, 2022 Yve-Alain Bois +4 more
doaj +1 more source
UAREI: A model for formal description and visual representation /software gamification
Dyna, 2017 The paper presents the UAREI (User-Action-Rule-Entities-Interface) model for formal specification of software gamification, and the UAREI visual modelling language for graphical representation of game mechanics.
Darius Aseriskis +2 more
doaj +1 more source
A Design Process Framework and Tools for Teaching and Practicing Biomimicry
BiomimeticsFew design methods exist that provide clearly structured, visually intuitive, and easily monitored scaffolding for navigating the considerable complexity of biomimetic processes. To this end, we present a holistic biomimicry process framework informed by
Benjamin Linder, Jean Huang
doaj +1 more source
Aristeus and Thanatos. Samuel Beckett’s Insect Poetics Creepy
Zoophilologica, 2019 In the broadest possible terms, this paper aims at exploring the relation between death and insects in Samuel Beckett with a special emphasis put on the fact that it is insects that form one of the most repetitive and complex animal figures in his oeuvre.
Michał Kisiel
doaj +1 more source
Predicate Abstraction with Indexed Predicates [PDF]
, 2004 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core
, 1975 General Instructions 1- To prepare an abstract, the text must be carefully studied to understand the author's purpose and conclusions, and the main concepts of the document must be identified and then extracted. 2- As far as possible, the information itself should be stated, not a commentary about it.
Movahed, Zia, Mirzadeh, Ahmad
openaire +2 more sources
Imperfect-Recall Abstractions with Bounds in Games
, 2016 Imperfect-recall abstraction has emerged as the leading paradigm for practical large-scale equilibrium computation in incomplete-information games. However, imperfect-recall abstractions are poorly understood, and only weak algorithm-specific guarantees ...
Kroer, Christian, Sandholm, Tuomas
core +1 more source
The Geometry of Thought: Circling Through Concepts
PhilosophiesThe goal of this paper is to shed light on the nature of mathematical practice, i.e., on “doing mathematics”. It explores Gödel’s perspective, which offers an approach to understanding mathematics centered on concepts, objects, and structures.
Miloš Adžić +2 more
doaj +1 more source
Full abstraction for probabilistic PCF [PDF]
, 2015 We present a probabilistic version of PCF, a well-known simply typed universal functional language. The type hierarchy is based on a single ground type of natural numbers. Even if the language is globally call-by-name, we allow a call-by-value evaluation
Ehrhard, Thomas +2 more
core +2 more sources