Integrated systems are those where components must behave together in order to fulfill overall requirements. In such systems, modularization of integration relationships is important for enabling separate component compilation, testing, and debugging, and for enhanced reuse. Existing languages and approaches for modularizing integration relationships work, but do not solve all problems. In part...

An algorithm for deadlock-free routing in bidirectional ring structures in multicomputer networks is presented. This algorithm provides greater throughput and lower message latencies than those of previously presented ring routing algorithms. Insight into these results is given by a message traÆc analysis, and increased performance for wormhole-routed networks is quanti ed through simulation ex...

The title Schiff base compound, C(15)H(16)N(2)O(2), was prepared by the condensation reaction of equimolar quanti-ties of 3-eth-oxy-salicyl-aldehyde with 2-amino-3-methyl-pyridine in methanol. The dihedral angle between the benzene ring and the pyridine ring is 2.6 (2)° and an intra-molecular O-H⋯N hydrogen bond generates an S(6) ring.

Occam's Razor states that, all other things being equal, the simpler of two possible hypotheses is to be preferred. A quanti ed version of Occam's Razor has been proven for the PAC model of learning, giving sample-complexity bounds for learning using what Blumer et al. call an Occam algorithm [1]. We prove an analog of this result for Haussler's more general learning model, which encompasses le...

We de ne a generic correlation function that quanti es the spatial correlation of single-particle displacements in liquids and amorphous systems. We evaluate this function using computer simulations of an equilibrium glass-forming liquid, and show that the displacements of particles are spatially correlated over a range that grows with decreasing temperature as the glass transition is approache...

The generalization properties of algebraically closed elds ACFp of characteristic p and ACF of characteristic are investigated in the sequent calculus with blocks of quanti ers It is shown that ACFp admits nite term bases and ACF admits term bases with primality constraints From these results the analogs of Kreisel s Conjecture for these theories follow If for some k A n s is provable in k step...

A pesquisa descrita, de natureza quanti-qualitativa, visou investigar as percepções de docentes em relação às tecnologias de informação (TI), em especial o computador e a Internet. Trata-se de continuação de estudo anterior, que buscou identificar o significado das TI para os educandos. Os dados obtidos junto a 556 alunos revelaram que estes, além de desejarem lidar com as TI em sua aprendizage...

We present a model of cooperative problem solving that describes the process from its beginning, with some agent recognising the potential for cooperation with respect to one of its goals, through to team action. Our approach is to characterise the mental states of the agents that leads them to solicit, and take part in, cooperative action. The model is formalised by expressing it as a theory i...