BACKGROUND The process of pregnancy and birth are profound events that can be particularly challenging for women with a history of childhood sexual abuse. The silence that surrounds childhood sexual abuse means that few women disclose it and those caring for them will often not be aware of their history. It is known from anecdotal accounts that distressing memories may be triggered by childbirt...

There are well-known techniques for message authentication using universal hash functions. This approach seems very promising, as it provides schemes that are both eecient and provably secure under reasonable assumptions. This paper contributes to this line of research in two ways. First, it analyzes the basic construction and some variants under more realistic and practical assumptions. Second...

This paper describes extensions to VHDL to support system-level behavioral modeling by providing more abstract forms of communication and concurrency than those currently in the language. The report summarizes design objectives and issues that must be considered in developing such extensions, and presents definitions of our extensions. The extensions for communication consist of channel types, ...

Graphical cognitive architectures implement their functionality through localized message passing among computationally limited nodes. First-order variables – particularly universally quantified ones – while critical for some potential architectural mechanisms, can be quite difficult to implement in such architectures. A new implementation strategy based on message decomposition in graphical mo...

Emotions entail distinctive ways of perceiving and assessing situations, processing information, and prioritizing and modulating actions [24]. The paper aims to study theoretical and pragmatic aspects of emotions and to propose a semantic representation of emotions for oral dialogues, based on an analysis of real-life conversations, telephone messages and recorded TV programmes, focusing on a r...

We describe a novel reformulation of Canetti’s Universal Composability (UC) framework for the analysis of cryptographic protocols. Our framework is different mainly in that it is (a) based on systems of interactive Turing machines with a fixed communication graph and (b) augmented with a global message queue that allows the sending of multiple messages per activation. The first feature signific...

We present an implementation of a method for finding counterexamples to universally quantified inductive conjectures in first-order logic. Our method uses the proof by consistency strategy to guide a search for a counterexample and a standard first-order theorem prover to perform a concurrent check for inconsistency. We explain briefly the theory behind the method, describe our implementation, ...

this study aims to examine the content of isps' websites in two countries, iran and malaysia. the sample contained 31 iranian and 19 malaysian websites. each website was content analyzed for use of various interactivity functions in three dimensions of consumer – message, consumer – marketer and consumer – consumer interactivity. our findings indicate that iranian websites tend to emphasiz...