Results 11 to 20 of about 25,490 (187)
On the Herbrand content of LK [PDF]
, 2016 We present a structural representation of the Herbrand content of LK-proofs with cuts of complexity prenex Sigma-2/Pi-2. The representation takes the form of a typed non-deterministic tree grammar of order 2 which generates a finite language of first ...
Afshari, Bahareh +2 more
core +8 more sources
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars [PDF]
, 2005 Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectural dependency analysis. Parametric contracts for software components specify such dependencies and were successfully used for automated protocol adaptation and quality of ...
Ralf Reussner +2 more
openaire +2 more sources
VNU Journal of Foreign Studies, 2021 The economic contract is a typical type of discourse that depends on the agreement between parties. This paper adopted the theoretical framework of Systemic Functional Grammar (SFG) to carry out a transitivity analysis of the ideational function in the Vietnamese economic contract in order to explore the features of this genre, a type of legal ...
openaire +1 more source
Sampling Assumptions Affect Use of Indirect Negative Evidence in Language Learning. [PDF]
, 2016 A classic debate in cognitive science revolves around understanding how children learn complex linguistic patterns, such as restrictions on verb alternations and contractions, without negative evidence. Recently, probabilistic models of language learning
Griffiths, Tom, Hsu, Anne
core +5 more sources
Seeing What You're Told: Sentence-Guided Activity Recognition In Video [PDF]
, 2014 We present a system that demonstrates how the compositional structure of events, in concert with the compositional structure of language, can interplay with the underlying focusing mechanisms in video action recognition, thereby providing a medium, not ...
Barbu, Andrei +2 more
core +2 more sources
Antipode, EarlyView., 2023 Abstract The perceptions and representations of whiteness around motherhood, family, and black sexuality reproduce the logic of what Hortense Spillers calls “captive flesh”, controlling understandings about femininity, motherhood, and gender. This debate is guided by the politics of the racial neoliberal agenda that works to control the urban ...
Danielle Pereira de Araújo
wiley +1 more source
The Grail theorem prover: Type theory for syntax and semantics
, 2016 As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the
A Ranta +14 more
core +3 more sources
, 2011 We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents.
Alwen Tiu +13 more
core +1 more source
Advanced Healthcare Materials, EarlyView.Negative‐ and positive‐staining TEM is essential for rapid nanometer‐resolution characterization of organic specimens ranging from nanoparticles to cells. Uranyl salts are widely used negative‐/positive‐stains but are radioactive and highly toxic to users and the environment.
Vera M. Kissling +4 more
wiley +1 more source
Dialectica Categories for the Lambek Calculus
, 2018 We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified.
A Bove +12 more
core +1 more source