Primal infon logic was proposed by Gurevich and Neeman as an efficient yet expressive logic for policy and trust management. It is a propositional multimodal subintuitionistic logic decidable in linear time. However in that logic the principle of the replacement of equivalents fails. For example, (x ∧ y) → z does not entail (y ∧ x) → z, and similarly w → ((x ∧ y) ∧ z) does not entail w → (x ∧ (...

Linguistics and stylistics have been investigated for author identification for quite a while, but recently, we have testified a impressive growth in the volume with which lawyers and courts have called upon the expertise of linguists in cases of disputed authorship. This motivates computer science researchers to look to the problem of author identification from a different perspective. In this...

Rolling element bearings are required to operate in a variety of use cases that determine voltage potentials will form between the rolling elements and races. When electrical field strength causes dielectric breakdown intermediary lubricant film discharge can damage bearing surfaces. To reduce prevalence severity machining an improved understanding coupled mechanical behavior is necessary. This...

This work addressed five issues: a) Does caffeine modulate electroencephalogram (EEG) background activity in a manner consistent with the idea of cortical "arousal"? b) Is performance in a simple speeded task improved under caffeine? c) Is visual processing more selective under caffeine? d) Does caffeine affect sensory discrimination? and e) Does it affect motor processes? We presented 16 subje...

This study sought to obtain additional evidence that transient auditory memory stores information about conjunctions of features on an automatic basis. The mismatch negativity of event-related potentials was employed because its operations are based on information that is stored in transient auditory memory. The mismatch negativity was found to be elicited by a tone that differed from standard ...

Reasoning, solving mathematical equations, or planning written and spoken sentences all must factor in stimuli perceptual properties. Indeed, thinking processes are inspired by and subsequently fitted to concrete objects and situations. It is therefore reasonable to expect that the mental representations evoked when people solve these seemingly abstract tasks should interact with the properties...

The object of the study is techniques entering implicit information into advertising text, most common in German commercial advertising. transfer considered as one effective means influencing consumer and managing his purchasing behavior. Following foreign domestic researchers, understood line linguistic pragmatics an additional content statement, resulting from creative interpretation data exp...

Most conjunctions between Earth-orbiting satellites involve unknown objects, typically debris created by explosions or collisions. This study formulates methods to estimate probabilities of collision and fragmentation for such conjunctions, which depend on the estimated sizes masses objects. Analysis radar cross-section (RCS) measurements provides sizes, found be accurate at 90% confidence leve...