<p>U radu se proučavaju osnovne karakteristike pristupa<br />menadžmentu ljudskih resursa i njihova povezanost sa<br />aktivnostima procesa menadžmenta ljudskih resursa i<br />elementima konkuretske prednosti sa ciljem kreiranja<br />modela kojim će organizacije biti u mogućnosti da<br />usklađuju pristupe, aktivnosti procesa i elemente<br />konkurentske prednosti.</p> / <p>Reserch paper explores the basic characteristics of the<br />human resources management approach and their<br />connection with the activities of the human resource<br />management process and elements of competitive<br />advantages in order to create a model that organizations<br />will be able to use in harmonizing approaches ,<br />activities, processes and elements of competitive<br />advantage.</p>

<p>Sposobnost za postizanje postavljenih ciljeva bilo koje<br />organizacije, u kontekstu strategijskog i performans<br />menadžmenta, zavisi od sposobnosti te organizacije da uči, da<br />razvija i upravlja razvojem svog intektualnog kapitala, odnosno<br />ljudskim resursima. Inovacija i razvoj proizvoda, usluga i<br />poslovnih procesa mogu se postići unapređenim znanjima i<br />umjećima osoblja, nadmoćnom informacionom tehnologijom i<br />uređenim procesima organizacije. Savremene organizacije sve<br />jasnije shvataju da im valjano upravljanje ljudskim resursima<br />može značajno doprinjeti sticanju održivih kompetitivnih<br />prednosti. Značaj koncepata i pristupa upravljanja ljudskim<br />resursima, a prema tome i vrednovanja i ocjenjivanja ljudskog<br />kapitala, sa podr&scaron;kom upravljačkih informacionih sistema, se<br />prema svemu sudeći, zasniva se na činjenici da, zahvaljujući<br />pomenutim sistemima, biva reorganizovano doskora&scaron;nje<br />shvatanje i razumijevanje doprinosa osoblja performansama<br />organizacije.<br />Upravljanje ljudskim resursima u svakom poslovnom sistemu<br />postaje potpuno različito od dosada&scaron;njeg. Ono se vi&scaron;e ne shvata<br />samo kao puka funkcionalna aktivnost već i kao nova poslovna<br />filozofija koju treba provoditi na svim menadžerskim nivoima.<br />Neki od neophodnih uslova za uspje&scaron;no upravljanje ljudskim<br />resursima i performansom se obezbjeđuju putem upravljanja<br />informacionim resursima organizacije (podacima,<br />informacijama i znanjima) kao i od strane poslovne<br />inteligencije kao osnove za sticanje potrebnih informacija.<br />Stoga se značajan dio ove teze fokusira na koncipiranje i razvoj<br />upravljačkih informacionih sistema za podr&scaron;ku upravljanju<br />ljudskim resursima.</p> / <p>The ability to achieve the set objectives of an organisation<br />in the context of strategic and performance management<br />depends on the organisation&rsquo;s ability to learn, develop and<br />manage the development of its own intellectual capital i.e.<br />human resources. Innovation and development of products,<br />services and business processes can be achieved by<br />improved staff&rsquo;s knowledge and skills, supreme<br />information technology and regulated organisational<br />processes. Modern organisations are becoming more and<br />more aware of the fact that proper human resources<br />management can considerably contribute to gaining<br />sustainable competitive advantages. The importance of<br />conceptions of and approaches to human resources<br />management, and therefore the evaluation and assessment<br />of the human capital supported by IT systems seems to be<br />based on the fact that the previous understanding of staff&rsquo;s<br />contribution to the organisation&rsquo;s performance is being<br />reorganised owing to IT support. In every business system<br />human resources management is becoming totally different<br />than before; it is no longer seen as a mere functional<br />activity but also as a new business philosophy to be<br />applied on all levels of management.<br />Some of the conditions necessary for successful human<br />resources management and performances are provided by<br />the informational resources of an organisation (data,<br />information and skills) and business intelligence as the<br />basis for acquiring the necessary information. Therefore, a<br />significant part of this thesis is focused on conceiving and<br />developing the management information systems for<br />human resources management support.</p>

<p>This thesis studies computational interpretations of the intuitionistic sequent<br />calculus with implicit and explicit structural rules, with focus on the systems<br />with intersection types. The contributions of the thesis are grouped into three<br />parts. In the first part intersection types are introduced into the lambda<br />Gentzen calculus. The second part presents an extension of the lambda<br />Gentzen calculus to a term calculus with resource control, i.e. with explicit<br />operators for contraction and weakening, and apropriate intersection type<br />assignment system which characterises strong normalisation in the proposed<br />calculus. In the third part both previously studied calculi are integrated into<br />one framework by introducing the notion of the resource control cube.</p> / <p>Ова дисертација се бави рачунским интерпретацијама<br />интуиционистичког секвентног рачуна са имплицитним и експлицитним<br />структурним правилима, са фокусом на типске системе са пресеком.<br />Оригинални резултати тезе су груписани у три целине. У првом делу су<br />типови са пресеком уведени у lambda Gentzen рачун. Други део<br />представља проширење lambda Gentzen рачуна на формални рачун са<br />контролом ресурса, тј. са експлицитним операторима контракције и<br />слабљења, као и одговарајући типски систем са пресеком који<br />карактерише јаку нормализацију у уведеном рачуну. У трећем делу оба<br />рачуна су интегрисана у заједнички оквир увођењем структуре resource<br />control cube.</p> / <p>Ova disertacija se bavi računskim interpretacijama<br />intuicionističkog sekventnog računa sa implicitnim i eksplicitnim<br />strukturnim pravilima, sa fokusom na tipske sisteme sa presekom.<br />Originalni rezultati teze su grupisani u tri celine. U prvom delu su<br />tipovi sa presekom uvedeni u lambda Gentzen račun. Drugi deo<br />predstavlja proširenje lambda Gentzen računa na formalni račun sa<br />kontrolom resursa, tj. sa eksplicitnim operatorima kontrakcije i<br />slabljenja, kao i odgovarajući tipski sistem sa presekom koji<br />karakteriše jaku normalizaciju u uvedenom računu. U trećem delu oba<br />računa su integrisana u zajednički okvir uvođenjem strukture resource<br />control cube.</p>