Negotiation is a process by which a joint decision is made by two or more parties [1]. Typically one of the parties starts a negotiation by offering the most preferred solution from the individual area of interest. If an offer is not acceptable to the other parties they make counter-offers in order to move them closer to an agreement. Multi-issue negotiation (also called multi-attribute negotia...

Background: The hip joint is the largest joint after the knee, which gives stability to the whole human structure. The hip joint consists of a femoral head which articulates with the acetabulum. Due to age and wear between the joints, these joints need to be replaced with implants which can function just as a natural joint. Since the early 19th century, the hip joint arthroplasty has evolved, a...

In this paper, we introduce two variables norm functionals of τ-measurable operators and establish their joint log-convexity. Applications of this log-convexity will include interpolated Young, Heinz and Trace inequalities related to τ-measurable operators. Additionally, interpolated versions and their monotonicity will be presented as well.

We consider the semiclassical theory in a joint phase space of spin and orbital degrees of freedom. The method is developed from the path integral using the spincoherent-state representation, and yields the trace formula for the density of states. We discuss the limits of weak and strong spin-orbit coupling and relate the present theory to the earlier approaches.

The effects of trace metal contaminants (lead, cadmium, and mercury) on the immunologic responses of rats infected with Trypanosoma lewisi were investigated to determine whether chronic exposures to subclinical levels of these metals have adverse effects on the host's ability to respond to an infective agent.Earlier and higher levels of parasitemia were detected in animals exposed to cadmium, l...

Behavioural equivalences of labelled transition systems are characterized in terms of homomorphic transformations. This permits relying on algebraic techniques for proving systems properties and reduces equivalence checking of two systems to studying the relationships among the elements of their structures. Di6erent algebraic characterizations of bisimulation-based equivalences in terms of part...

Abstract. To an oriented link in a solid torus we associate a trace graph in a thickened torus in such a way that links are isotopic if and only if their trace graphs can be related by moves of finitely many standard types. The key ingredient is a study of codimension 2 singularities of link diagrams. For closed braids with a fixed number of strands, trace graphs can be recognized up to equival...

In the past, instruction fetch speeds have been improved by using cache schemes that capture the actual program flow. In this paper, we elaborate on the architecture and operation of an instruction cache named Variable-Sized Block Cache (VSBC) that also makes use of the dynamic behavior of a program. Current trace-based cache schemes usually have some instructions stored repeatedly; this redund...

We have developed an efficient stochastic AVA inversion technique that works directly in a fine-scale stratigraphic grid, and is conditioned by well data and multiple seismic angle stacks. We use a Bayesian framework and a linearized, weak contrast approximation of the Zoeppritz equation to construct a joint log-Gaussian posterior distribution for Pand S-wave impedances. We apply a Sequential G...