(a) Alice and Bob wish to resolve a dispute over telephone. We can encode the possibilities of the dispute by a binary value. For this they engage a protocol: i. Alice → Bob: Alice picks up randomly an x, which is a 200 bit number and computes the function f(x). Alice sends f(x) to Bob. ii. Bob → Alice: Bob tells Alice whether x was even or odd. iii. Alice → Bob: Alice then sends x to Bob, so t...

We show that, despite the fact that Alice&Bob;–notation does not include explicit control flowconstructs, it is possible to make some of these aspects explicit and thus produce formal protocolmodels without having to resort to more expressive protocol description languages. We introducea notion of incremental symbolic runs to formally handle message forwarding and conditionalabor...

S ince the early 1960s, the notion of context has been modeled and exploited in many areas of informatics. The scientific community has debated definitions and uses for many years without reaching clear consensus [4]. Nonetheless, it is commonly agreed that context is about evolving, structured, and shared information spaces, and that such spaces are designed to serve a particular purpose. In u...

Adaptive management is a management approach to address uncertainty in natural resources. The origin of the adaptive approach as a tool, the need for an adaptive process and its relationship to environmental management will be described. Variations of adaptive management will be reviewed as well as the definition and institutional role of adaptive management within the BLM. This will include th...

BOB.1/OBF.1 is a transcriptional coactivator essential at several stages of B-cell development. In T cells, BOB.1/OBF.1 expression is inducible by co-stimulation. However, a defined role of BOB.1/OBF.1 for T-cell function had not been discovered so far. Here, we show that BOB.1/OBF.1 is critical for T helper cell function. BOB.1/OBF.1(-/-) mice showed imbalanced immune responses, resulting in i...

Maternal, Paternal, & Child Predictors of Externalizing Behaviors: Parental Externalizing, Parenting Behaviors and Child Self-Regulation Amber Fitzpatrick Predictors for externalizing behavior were investigated in a high-risk sample of males. Parental antisocial histories, parental behaviors and child self-regulation were considered in relation to boys’ externalizing problems during the transit...

In this expository paper we survey results proved during the last fifty years that relate Hilbert coefficients e0(I) and e1(I) of an m-primary ideal I in a Cohen-Macaulay local ring (R, m) with depth of the associated graded ring G(I). Several results in this area follow from two theorems of S. Huckaba and T. Marley. These were proved using homological techniques. We provide simple proofs using...

This paper introduces and demonstrates Kaldi integration into Bob signal-processing and machine learning toolbox. The motivation for this integration is two-fold. Firstly, Bob benefits from using advanced speech processing tools developed in Kaldi. Secondly, Kaldi benefits from using complementary Bob modules, such as modulation-based VAD with an adaptive thresholding. In addition, Bob is desig...