Results 1 to 10 of about 43,286 (100)
Bidirectional syntactic priming across cognitive domains: from arithmetic to language and back [PDF]
, 2014 Scheepers et al. (2011) showed that the structure of a correctly solved mathematical equation affects how people subsequently complete sentences containing high vs. low relative-clause attachment ambiguities.
Frazier L., Friederici A. D., Hardin J.
core +2 more sources
Metamodel Instance Generation: A systematic literature review [PDF]
, 2012 Modelling and thus metamodelling have become increasingly important in Software Engineering through the use of Model Driven Engineering. In this paper we present a systematic literature review of instance generation techniques for metamodels, i.e.
Monahan, Rosemary +2 more
core +3 more sources
Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches [PDF]
, 2014 Much initial research on automatic program repair has focused on experimental results to probe their potential to find patches and reduce development effort. Relatively less effort has been put into understanding the hows and whys of such approaches. For
Martinez, Matias +2 more
core +7 more sources
The Julius Caesar objection [PDF]
, 1997 This paper argues that that Caesar problem had a technical aspect, namely, that it threatened to make it impossible to prove, in the way Frege wanted, that there are infinitely many numbers.
Heck, Richard
core
A cookbook for temporal conceptual data modelling with description logic [PDF]
, 2014 We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on DL-Lite logics with three types of concept inclusions (ranging from atomic ...
Artale, A. +3 more
core +2 more sources
Extending a multi-set relational algebra to a parallel environment [PDF]
, 1996 Parallel database systems will very probably be the future for high-performance data-intensive applications. In the past decade, many parallel database systems have been developed, together with many languages and approaches to specify operations in ...
Flokstra, J., Grefen, P.W.P.J.
core +3 more sources
Semi-Quantitative Comparative Analysis And Its Application [PDF]
, 1999 SQCA is an implemented technique for the semi-quantitative comparative analysis of dynamical systems. It is both able to deal with incompletely specified models and make precise predictions by exploiting semi-quantitative information in the form of ...
Jong, Hidde de, Vatcheva, Ivayla
core +1 more source
, 2010 The functional properties of many technological surfaces in biotechnology, electronics, and mechanical engineering depend to a large degree on the individual features of their nanoscale surface texture, which in turn are a function of the surface ...
Averett +32 more
core +1 more source
Peptide mass fingerprinting using field-programmable gate arrays [PDF]
, 2009 The reconfigurable computing paradigm, which exploits the flexibility and versatility of field-programmable gate arrays (FPGAs), has emerged as a powerful solution for speeding up time-critical algorithms.
Beynon, R.J., Bogdan, I.A., Coca, D.
core +1 more source
Fragments of Frege's Grundgesetze and G\"odel's Constructible Universe [PDF]
, 2015 Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension schema are ...
Walsh, Sean
core