scholarly journals Descriptor-Free Representation of Arrays with Dependent Types

2011 ◽  
pp. 100-117
Author(s):  
Kai Trojahner ◽  
Clemens Grelck
Keyword(s):  
Dependent Types ◽  
Free Representation

scholarly journals Why do we accept a narrative discourse ascribed to a “third-person narrator” as true? The classical, and a cognitive approach

Semiotica ◽  
2015 ◽  
Vol 2015 (203) ◽  
Author(s):  
Erzsébet Szabó
Keyword(s):  
Cognitive Architecture ◽  
Narrative Discourse ◽  
Narrative Comprehension ◽  
Cognitive Approach ◽  
States Of Affairs ◽  
Linguistic Representation ◽  
Free Representation ◽  
Third Person ◽  
Literary Narrative

AbstractThe aim of the present paper is to discuss the question of why readers accept a literary narrative discourse attributed traditionally to an “omniscient third-person narrator” unconditionally as true. I will advocate two theses. First, that this characteristic of narrative comprehension is a consequence of a grammatical feature of the narrative discourse, namely, the absence of the “narrating-I.” This format mimics what Cosmides and Tooby label as scope-free representation, i.e., a representation that is not bound by scope-operators and thus treated by a cognitive architecture as architecturally true. Second, narrative discourse ascribed traditionally to a third person narrator should be understood as the linguistic representation of the true states of affairs of a narrative world.

scholarly journals Secure distributed programming with value-dependent types

2011 ◽  
Author(s):  
Nikhil Swamy ◽  
Juan Chen ◽  
Cédric Fournet ◽  
Pierre-Yves Strub ◽  
Karthikeyan Bhargavan ◽  
...  
Keyword(s):  
Distributed Programming ◽  
Dependent Types

Foundations of path-dependent types

2014 ◽  
Vol 49 (10) ◽  
pp. 233-249 ◽  
Author(s):  
Nada Amin ◽  
Tiark Rompf ◽  
Martin Odersky
Keyword(s):  
Dependent Types ◽  
Path Dependent

Generating high performance code for irregular data structures using dependent types

2021 ◽  
Author(s):  
Federico Pizzuti ◽  
Michel Steuwer ◽  
Christophe Dubach
Keyword(s):  
Data Structures ◽  
High Performance ◽  
Dependent Types ◽  
Irregular Data

scholarly journals Handling delimited continuations with dependent types

2018 ◽  
Vol 2 (ICFP) ◽  
pp. 1-31 ◽  
Author(s):  
Youyou Cong ◽  
Kenichi Asai
Keyword(s):  
Dependent Types ◽  
Delimited Continuations

scholarly journals Atomic Structure-free Representation of Active Motifs for Expedited Catalyst Discovery

2021 ◽  
Author(s):  
Dong Hyeon Mok ◽  
Seoin Back
Keyword(s):  
Atomic Structure ◽  
Density Functional ◽  
Nearest Neighbor ◽  
Catalyst Surface ◽  
Binding Energies ◽  
Reasonable Accuracy ◽  
Density Functional Calculation ◽  
Energy Prediction ◽  
Binding Energy Prediction ◽  
Free Representation

For CO* and H* binding energy prediction, we develop new representation of catalyst surface which split surface into three types of site, first nearest neighbor of adsorbates and second nearest neighbor in same layer and sublayer. From this representation and machine learning regression model, we achieve reasonable accuracy (0.120 eV for CO* and 0.105 eV for H*) with quick training (~200 sec using CPU). Because our representation does not require density functional calculation and atomic structure modelling, it can predict binding energies of possible active motifs without time-consuming steps.

Sign in / Sign up

Export Citation Format

Share Document