Iconicity is a powerful cue to symbolic meaning. However, it is unclear from previous research whether language learners benefit from iconicity. Prior research indicates that the motor system supports language acquisition, suggesting that iconicity expressed via this modality may be particularly salient. The present study investigates the effects of iconicity and enactment on the acquisition of...

Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral speciications by allowing a user to interact with an executing code at the source level. In response to a user query, the debugger must be able to retrieve and display the value of a source variable in a manner consistent with what the user expects with respect to the source statement where ex...

A commonly used follow-up experiment strategy involves the use of a foldover design by reversing the signs of one or more columns of the initial design. DeŽ ning a foldover plan as the collection of columns whose signs are to be reversed in the foldover design, this article answers the following question: Given a 2kp design with k factors and p generators, what is its optimal foldover plan? We ...

The article examines numerous representations and judgments about the object of semiotics research existing in recent years both domestic foreign linguistic literature. history analyzed sign system is considered, along with detailed information signs' nature, types, functions. Examples from works prominent representatives this field, such as C. S. Peirce, W. von Humboldt, F. de Saussure, Y. Lot...

Using a discourse analytic qualitative approach, we investigated the naturally-occurring discourse that arose as part of two kinds of regular course activities, synchronous and asynchronous computer-mediated discussions. The messages contributed by members of a graduate course were analyzed for the kind of discourse functions and the kind of politeness strategies they displayed. Results indicat...

The verification of analog designs is a challenging and exhaustive task that requires deep understanding of the physical behaviors. In this paper, we propose a qualitative based predicate abstraction method for the verification of a class of non-linear analog circuits. The method is based on combining techniques from constraint solving and computer algebra along with symbolic model checking. We...

Traditionally, circuits with combinational loops are found only in asynchronous designs. However, combinational loops can also be useful for synchronous circuit design. Combinational loops can arise from high-level language behavioral compiling, and can be used to reduce circuit size. We provide a symbolic algorithm that detects if a sequential circuit with combinational loops exhibits standard...

Abstract Contemporary urban space and contemporary life is rife with signs markers either collective or individual meaning, as the main symbolic regulator/leader in socio-cultural presence management of space. Urban city centres present a high degree sign density that on one hand express established conventional (in strict sense term), which are accepted fairly, general way, other define semant...

In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induction and constraints solving to generate correctness for the system with respect to given properties. The methodology has the advantage of avoiding exhaustive simulation usually utilized in the verification. We illustr...