Results 11 to 20 of about 338,726 (289)
Formal and semantic derivation of the Proto-Slavic verbal root *dvig- in the Macedonian language [PDF]
Južnoslovenski Filolog, 2020 The subject of analysis in this paper is the verbal root *dvig-, whose formal and semantic development can be followed ever since the Proto-Slavic period.
Markoviḱ Marjan D.
doaj +1 more source
Partial Derivative Automata Formalized in Coq [PDF]
, 2011 In this paper we present a computer assisted proof of the correctness of a partial derivative automata construction from a regular expression within the Coq proof assistant. This proof is part of a formalization of Kleene algebra and regular languages in Coq towards their usage in program certification.
Almeida, José Bacelar +3 more
openaire +3 more sources
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 This paper presents the derivation of an executable Krivine abstract machine from a small step interpreter for the simply typed lambda calculus in the dependently typed programming language Agda.
Wouter Swierstra
doaj +1 more source
Compressible primitive equation: formal derivation and stability of weak solutions [PDF]
, 2010 We present a formal derivation of a simplified version of Compressible Primitive Equations (CPEs) for atmosphere modeling. They are obtained from $3$-D compressible Navier-Stokes equations with an \emph{anisotropic viscous stress tensor} where viscosity ...
Bresch D +10 more
core +5 more sources
Cadernos de Estudos Lingüísticos, 2011 The possibility of a minimalist derivation being equated with on-line computation is caused into question. Formal solutions are explored, in the context of an Integrated Model of Linguistic Competence, for solving the problems that such an equation ...
Letícia Maria Sicuro Corrêa +1 more
doaj +1 more source
‘Transforma zdaniowa’ – próba interpretacji
LingVaria, 2018 ‘Sentential Transform’ / ‘Transformed (Reduced) Sentence’ – an Attempt at Interpretation The author analyses a series of Polish sentences, including those utterances which grammatically do not belong to the basic structures of their respective sentences.
Zuzanna Topolińska
doaj +1 more source
Derivation of the Schrödinger equation I: the characteristic function [PDF]
Revista Brasileira de Ensino de FísicaIn this paper, we present a mathematical derivation of the Schrödinger equation departing from only two axioms. We also show that, using this formal derivation process, it is possible to directly derive the Schrödinger equation in generalized curvilinear
Olavo Leopoldino Silva Filho +1 more
doaj +1 more source
Semantic maps and temperature: Capturing the lexicon-grammar interface across languages
Zeitschrift für Sprachwissenschaft, 2022 Traditionally, lexical typology has to a large extent been interested in lexical categorization of various cognitive domains (e. g., colour, perception, body), i.
Koptjevskaja-Tamm Maria
doaj +1 more source
Formalna analiza albańskich derywatów przymiotnikowych
Slavia Meridionalis, 2015 Formal Analysis of Albanian Adjectival Derivatives The paper presents a formal analysis of Albanian adjectival derivatives, carried out in accordance with the proposal of a formal description of word formation (part of methodology presented in ...
Artur Karasiński
doaj +1 more source
Some consequence relations on propositional formulas [PDF]
Serbian Journal of Electrical Engineering, 2011 Consequence relations on propositional formulas are binary relations on propositional formulas that represent certain types of entailment - formal or semi-formal derivation of conclusion from a certain set of premises.
Borovčanin Momčilo
doaj +1 more source