This study aims to describe efforts improve work performance through the application of
 strategic HRM elements and employee achievements covering compl
 ete tasks, understanding task perceptions, output quality, quantity, time effectiveness,
 career development at Koperasi Kencana Makmur. Using descriptive inferential
 statistical analysis methods. Descriptive was us...

Repr esentations de donn ees eecaces dans les langages polymorphes Xavier Leroy 1 R esum e Les langages avec typage polymorphe (p.ex. ML) utilisent g en eralement des repr esentations de donn ees a la Lisp pour leur impl ementation|tout doit tenir dans un mot, si n ecessaire en etant allou e dans le tas et manipul e via un pointeur. Ceci s'explique par le fait que, contrairement aux langages cl...

Normal observers color-adapted simultaneously to two spatially distinct sequencesof light stimulation, equivalent in their bleaching effects but complementary to one anotherin hue. Following the adapting period, observers reported on the color appearance of the twoadjacent after-images seen against a neutral background. The nonequivalence of the two after-images argues against t...

The paper descr ibes a compo nent-based compu tationa l envir onment for imple menting aircr aft desig n probl ems. The envir onment is condu cive to takin g advanta ge of the paral lelisms inher ent in the probl em and distr ibute the indiv idual disci plines on machi nes most appro priate to their needs while insul ating the developer and the user from the compl exity of the underly ing commu...

This paper presents some practical and guaranteed ways of studying the discrete-time/ continuous-time stability quality of large sparse matrices. The methods use projection techniques for computing an invariant subspace associated with a few outermost eigenvalues (those with largest real parts for the continuous-time case and with largest magnitudes in the discrete-time case). Standard Lyapunov...

Aim: To evaluate the histological changes and immune response of conjuctiva in patients (pts) with lo S.S. Materials and Methods: We studied conjunctiial biopsies from 15 pts with I0 S.S. and 2 normal controls using 1) paraflfn section screening for the quality of conjunctival epithelium (CE), the number of goblet cells (GC) and the degree of inflammation, 2) Mo-abs and Pabs to: Tlymphocytes, T...

Prevention of radiographic-contrast-agent-induced reductions in renal function by acetyl-cysteine. N-acetylcysteine and contrast-induced nephropathy: a metaana-lysis of 13 randomized trials. A et al. Standard vs double dose of N-acetylcysteine to prevent contrast agent associated nephrotoxicity. Ascorbic acid prevents contrast-mediated nephropathy in patient with renal dysfunction undergoing co...

This paper is a follow-up on previous work by the author on sub-typing with (set-theoretic) union, intersection and recursive types. Previously, it was shown how types may be encoded as regular tree expressions/set constraints. This gave rise to a sound and complete decision procedure for type inclusion. The result was, however, limited to a rather speciic type language. In the work reported on...

The Gaussian algorithm for lattice reduction in dimension 2 is analysed under its standard version. It is found that, when applied to random inputs in a continuous model, the complexity is constant on average, the probability distribution decays geometrically, and the dynamics is characterized by a conditional invariant measure. The proofs make use of connections between lattice reduction, cont...

When analysing computer programs (especially numerical programs in which arrays are used extensively), one is often confronted with integer programming problems. These problems have three peculiarities: feasible points are ranked according to lexicographic order rather than the usual linear economic function; the feasible set depends on integer parameters; one is interested only in exact soluti...