Results 41 to 50 of about 85,039 (190)

N+V complex predicates in Guinean Kpelle:

Mandenkan
The paper focuses on noun-based complex predicates (NVCPs) in Guinean Kpelle (iso 639-3 [gkp], Southwestern Mande). We explore the degree of nominal boundedness and the bracketing within complex predicates by looking at the phonological, morphological ...
Maria Konoshenko, Maria Uvarova
doaj   +1 more source

Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB

, 2014
We present the implementation of pyB, a predicate - and expression - checker for the B language. The tool is to be used for a secondary tool chain for data validation and data generation, with ProB being used in the primary tool chain.
Leuschel, Michael, Witulski, John
core   +4 more sources

The Case for Dynamic Models of Learners' Ontologies in Physics

, 2010
In a series of well-known papers, Chi and Slotta (Chi, 1992; Chi & Slotta, 1993; Chi, Slotta & de Leeuw, 1994; Slotta, Chi & Joram, 1995; Chi, 2005; Slotta & Chi, 2006) have contended that a reason for students' difficulties in learning physics is that ...
Ashcroft N. W., Atkins L. J., Ayush Gupta, Barsalou L. W., Barsalou L. W., Biskamp D., Brookes D. T., Brown D. E., Chen F. F., Chi M. T. H., Chi M. T. H., Chi M. T. H., Chu S., David Hammer, diSessa A. A., diSessa A. A., Eauconnier G., Edward F. Redish, Evans V., Gupta A., Jackson J. D., Johnston A. T., Kim K. Y., Layman J. W., Li C. W., Llinas R., McCloskey M., Russ R. S., Simon H., Smith C. S., Sternberg R., Sternberg R., Streveler R. A., Strike K. A., Tolkien J. R. R., Ward L., Wood A.   +36 more
core   +1 more source

Ideophones and verbal constructions with the verb ‘say’ in Amharic

Linguistic Typology at the Crossroads
Amharic (Ethiosemitic) has verbal predicates of two types: (i) verbs derived from a consonantal root and (ii) complex predicates consisting of an invariant coverb followed by an inflecting light verb, most commonly the verb alä ‘say’.
Ronny Meyer
doaj   +1 more source

Konstrukční auxiliária v hovorové arabštině — případ sloves s významem vstoupit [PDF]

Časopis pro Moderní Filologii
The present study offers an analysis of asyndetic multiverbal constructions consisting of the verb meaning enter and a following lexical verb in a range of colloquial Arabic varieties.
Adam Pospíšil
doaj   +1 more source

Tense Realization in V + -Sooda Complex Predicates [PDF]

, 2017
本稿は、日本語の複雑述語「V + -そうだ」のV と「-そうだ」の間に介在する時制の形態素の有無、あるいは、分布を観察し、その有無／分布と「-そうだ」補部の埋め込み節の統語的意味的特徴との相関性を考察する。最初に、連用形のV に「-そうだ」が接辞する形を観察する。Vの描く出来事の開始直前の状況が観察可能なとき、その「-そうだ」はアスペクト補助動詞と分析し、補部をVP とする。次に、「V-て（い）-そうだ」の文を観察し、この「-そうだ」は話者が同時に起きている他所の状況を「推測 ...
Michiko BANDO, 板東 美智子
core  

WebRelate: Integrating Web Data with Spreadsheets using Examples

, 2017
Data integration between web sources and relational data is a key challenge faced by data scientists and spreadsheet users. There are two main challenges in programmatically joining web data with relational data.
Inala, Jeevana Priya, Singh, Rishabh
core   +1 more source

On Automated Lemma Generation for Separation Logic with Inductive Definitions [PDF]

, 2015
Separation Logic with inductive definitions is a well-known approach for deductive verification of programs that manipulate dynamic data structures. Deciding verification conditions in this context is usually based on user-provided lemmas relating the ...
B Cook, C Enea, HH Nguyen, I Balaban, J Berdine, J Brotherston, PA Abdulla, PW O’Hearn, R Iosif, R Iosif, R Piskac, R Piskac, T Antonopoulos, W-N Chin, Z Rakamarić   +14 more
core   +4 more sources

Empty verbs in Chinese predicatives and complex predicates [PDF]

ZAS Papers in Linguistics, 1999
This paper investigates syntactic properties of verbless constructions in Chinese. Verbless constructions differ from constructions with overt verbs in three major respects. First, there is a VP-internal nominal raising in Chinese, which is optional if an overt verb shows up, and obligatory if there is no overt verb.
openaire   +2 more sources

Uso de predicados complejos en los escritos de Astronomía del siglo XIX en lengua inglesa. Explotación del Corpus of English Texts on Astronomy

Revista de Lenguas para Fines Específicos, 2015
The corpus-based study presented here examines the use of make-complex predicates in nineteenth-century Astronomy. The texts analysed have been taken from the first published section of the Coruña Corpus, the Corpus of English Texts on Astronomy (CETA ...
Inés Lareo
doaj