In this paper we introduce a distributed public key management service for open networks o ers interfaces by which clients can register retrieve and revoke public keys and escrow use to decrypt messages and recover private keys all of which can be subjected to access con trol policy is built using multiple servers in a way that ensures its correct operation despite the malicious corrup tion of ...

Pincer-type femoroacetabular impingement is an acetabular/pelvic-sided disorder. Although acetabular overcoverage is a common theme for this disorder, there are distinct pincer subtypes with variable pathomorphologies that must be considered when contemplating the ideal approach and treatment for these disorders. In addition, emerging evidence suggests that extra-articular pelvic structures, su...

[1] David Eppstein, Giuseppe F. Italiano, Roberto Tamassia, Robert Endre Tarjan, Jeffery Westbrook, and Moti Yung. Corrigendum: Maintenance of a minimum spanning forest in a dynamic plane graph. J. Algorithms, 15(1), 1993. [2] Andrew V. Goldberg and Robert E. Tarjan. Finding minimum-cost circulations by successive approximation. Math. Oper. Res., 15(3):430–466, July 1990. [3] Jacob Holm, Kristi...

It is a basic scheduling problem to sequence a set of precedence-constrained tasks to minimize the number of setups, where the tasks are partitioned into classes that require the same setup. We prove a conjecture in (Ph.D. Thesis, School of ISyE, Georgia Institute of Technology, August 1986; Oper. Res. 39 (1991) 1012) that no polynomial-time algorithm for this problem has constant worst-case pe...

C6mplications of hysteroscopy occur more frequently in operative than in diagnostic cases. Problems related to‘uterine distension are common, usually preventable, and potentially extremely serious. Perforation of the LFXIS may occur during hysteroscopy but do not always cause significant problems. In procedures of high risk i,r perforation the use of mechanical energy is safer than either laser...

Islanded microgrids have low inertia due to a large penetration of non-inertial inverter based power sources. In such systems, the primary frequency controller (PFC) faces issue higher rate change (RoCoF) and peak deviation in case sudden load or generation loss. The control becomes more challenging as variation different sources is not synchronized. This paper proposes model for dynamics an is...

In this short note, we answer a question of Martin and Sanders [Integr. Equ. Oper. Theory, 85 (2) (2016), 191-220] by showing the existence disjoint frequently hypercyclic operators which fail to be weakly mixing and, therefore, satisfy Disjoint Hypercyclicity Criterion. We also show that given an operator $T$ such $T \oplus T$ is hypercyclic, set $S$ $T, S$ are but Criterion SOT dense in algeb...

Coelli (Oper. Res. Lett. 23 (1998) 143) introduced a multi-stage (MS-) DEA methodology that represents an interesting alternative for the treatment of slacks remaining after proportional correction in inputs or outputs. By solving a sequence of radial models, one thus arrives at the identi5cation of “more representative e7cient points” (in terms of similar input=output mixes). We show that “mos...

The B Method is a state based formal method that describes behaviour in terms of MACHINES whose states change under OPER ATIONS The process algebra CSP is an event based formalism that enables descriptions of patterns of system behaviour We present a com bination of the two views where a CSP process acts as a control executive and its events simply drive corresponding OPERATIONS We de ne con si...

Fifty years ago, the author published a paper in Operations Research with the title, “A proof for the queuing formula: L = ãW ” [Little, J. D. C. 1961. A proof for the queuing formula: L = ãW . Oper. Res. 9(3) 383–387]. Over the years, L = ãW has become widely known as “Little’s Law.” Basically, it is a theorem in queuing theory. It has become well known because of its theoretical and practical...