Delivery Chain Management in the Elevator Industry

Tämän työn tarkoituksena oli kehittää toimintamalli, joka yhdenmukaistaisi Kone Elevators:in modernisointiliikealueen logistiset käytännöt. Toimintamalli luotiin kartoittamalla euroopan maayksiköiden nykyisiä logistisia käytäntöjä sekä perehtymällä asiaankuuluvaan kirjallisuuteen, case study:ihin sekä sähköisiin artikkeleihin. Tärkeää osaa työssä esittivät maayksiköiden sekä Koneen toimittajayksiköiden edustajien haastattelut. Haastatteluiden tuloksia vertailtiin ja analysoitiin. Niiden pohjalta huomattiin, että logistiset toimintatavat vaihtelevat maittain. Ongelmat ovat kuitenkin hyvin samanlaisia; tiedonkulun katkot toimitusprosessin aikana. Muiden Koneen liikealueiden toimintatapoja tutkimalla, haastattelujen tuloksia käyttämällä sekä kirjallisuustutkimuksen pohjalta muodostettiin näkemys parhaasta toimintatapamallista. Modernisointiliikealueen toimitusprosessi tullee perustumaan keskitettyyn ohjaukseen, mutta paikalliseen koordinointiin. Se tullee hyväksikäyttämään ulkoistetun logistiikan tarjoamia mahdollisuuksia sekä sähköistä tiedonsiirtoa. Fyysiselle siirrolle tarjotaan kolmea vaihtoehtoa, joista maayksiköt voivat valita tilanteeseen parhaiten sopivan.

Yrityksen toiminnan tehostaminen tilaus-toimitusprosessia kehittämällä

Tämän tutkimuksen päätavoitteena on selvittää, miten tilaus-toimitusprosessia kehittämällä voi tehostaa yrityksen toimintaa. Tutkimuksen alatavoitteina ovat tilaus-toimitusprosessin merkitystä ja kehittämistä koskevat kysymykset. Lisäksi tutkimuksessa selvitetään, voivatko tilaus-toimitusprosessi ja logistinen osaaminen olla kilpailuedun perustana. Työn näkökulma on asiakasnäkökulma. Tutkimuksessa on piirteitä toiminta-analyyttisestä ja konstruktiivisesta tutkimuksesta. Tutkimuksen viitekehys rakentuu tilaus-toimitusprosessin kehittämisen ja kilpailuedun muodostumisen kautta. Tilaus-toimitusprosessin kehittämiseksi tutkimuksessa paneudutaan prosessin kehittämisen yleisen mallin ja ABC-analyysin teorioiden kautta. Lopuksi tutkimuksessa etsitään vastaukset, voiko tilaus-toimitusprosessi olla kilpailuedun perusta. Aiempien tutkimuksien avulla selvitetään, millaisia hyötyjä logistisen prosessin avulla muodostetusta kilpailuedusta on yrityksen muihin osa-alueisiin. Tutkimuksen case-yrityksen, valmistavan teollisuusyrityksen, tilaus-toimitusprosessi on kehityskohde. Case-yrityksen tilaus-toimitusprosessia tarkastellaan yleisen prosessin kehittämisen mallin ja ABC-analyysin teorioiden kautta. Työn tulokset osoittavat, että kehittämällä tilaus-toimitusprosessia voidaan tehostaa yrityksen toimintaa. Tilaus-toimitusprosessin asiakasrajapinnan vuoksi hyvin onnistunut tilaus-toimitusprosessi vaikuttaa asiakastyytyväisyyteen. Tutkitut kehitysmallit vaikuttavat positiivisesti tilaus-toimitusprosessin onnistumiseen. Tilaus-toimitusprosessin positiivinen vaikutus kilpailuedun muodostumiseen osoitetaan myös tutkimuksessa.

Hitsaustoiminnan käynnistäminen pk-alihankintakonepajassa

Tämä diplomityö on tehty HT Laser Oy:n Vieremän tehtaan hitsaustoiminnan käynnistämisen yhteydessä. Diplomityön tavoitteena oli hitsaustoiminnan käynnistämisen kustannusten minimointi ja hitsattavien tuotteiden myynti- ja valmistusprosessin luominen. Työn teoriaosassa on esitelty hitsauslaitteistolle asetettavia vaatimuksia, hitsauskustannuksiin vaikuttavia tekijöitä, tuotantojärjestelmiä, tuotannon ohjausmenetelmiä, laadunhallintaa, henkilöstöasioita, osavalmistusta, hitsauksen hinnoittelua ja tilauskäsittelyä. Ensisijaisesti työssä on tavoiteltu sujuvan ja tuloksellisen tilaus/tarjouskäsittelyprosessin luomista. Tämä on nähty edellytyksenä ongelmattomalle tuotannolle ja hyvälle toimitusvarmuudelle. Työssä on luotu malli tarjousvaiheessa läpikäytävälle esikatselmukselle, jota on esitelty kahden case -esimerkin avulla. Case -esimerkeissä on käsitelty myös tuotteiden valmistukseen ja hinnoitteluun liittyviä asioita ja ongelmia sekä näiden ratkaisuja.

Tilaus-toimitus-laskutusprosessin levittäminen kansainväliseen ympäristöön (Case: Itella Oyj)

Tilaus-toimitus-laskutusprosessi on liiketoimintaprosessi, joka ylittää organisaatiorajat ulottuen aina loppuasiakkaalta toimittajaan asti. Tilaus-toimitus-laskutusprosessia, kuten muitakin liiketoimintaprosesseja, voidaan tehostaa sähköisten työkalujen avulla. Automatisoinnin avulla prosessi nopeutuu ja aiemmin prosessiin käytettyjä resursseja voidaan vapauttaa muuhun yritystoimintaan. Kun tilaus-toimitus-laskutusprosessi viedään kotimaan rajojen ulkopuolelle uuteen liiketoimintaympäristöön, sen käyttöönotossa pitää huomioida kansainvälisen ympäristön prosessille asettamat vaatimukset. Ympäristötekijöiden lisäksi prosessin käyttöönotossa on otettava huomioon yrityksen sisäiset tekijät, ja viedä prosessi hallitusti yrityksen työntekijöiden käyttöön. Tässä tutkielmassa tutkittiin tilaus-toimitus-laskutusprosessin levittämistä kansainväliseen ympäristöön. Aihetta käsiteltiin liiketoimintaprosessien, kansainvälisen liiketoimintaympäristön ja muutosjohtamisen teorian sekä case -yritystä käsitelleen empiriaosan pohjalta. Tutkielma tehtiin kvalitatiivisena tutkimuksena. Tutkielmassa havaittiin, että tilaus-toimitus-laskutusprosessin vieminen kansainväliseen ympäristöön sisältää mahdollisuuksien lisäksi useita haasteita. Haasteista suurimpana on saada prosessista riittävän houkutteleva sekä saada niin yritysjohto kuin työntekijät sitoutumaan yrityksen yhteisiin toimintamalleihin.

Measuring Processes of a New Packaging Solutions with the Balanced Scorecard, case DigiCup

The aim of this study was to create a Balanced Scorecard to the DigiCup solution. The first goal was to create process descriptions to the few critical processes. The second goal was to define appropriate measurements, according to customer survey as well as following the Balanced Scorecard process description, to manage the critical success factors. The overall goal of this study was to create a performance measurement system for the solution which guides the operation towards continuous improvement. This study was conducted by using both qualitative and quantitative methods, and the analysis was done by using a case study method. The material was gathered from the current customers, the management and the employees using structured, semi-structured and open group and individual interviews. The current customers were divided into retailers and direct customers of the DigiCup solution. The questions which the customers were asked were related to the information about interviewee, company, business strategy, market, satisfaction survey and future requirements. The management defined the strategy and took part in specifying the perspectives, objectives and measurements to the Balanced Scorecard of the DigiCup solution. The employees participated into the choosing of the metrics. The material consisted from altogether sixteen interviews. At the beginning of the study the product development, the order-delivery as well as the printing processes was chosen to be the critical processes of the DigiCup solution. These processes were concentrated on already in the literature review while trying to find the characteristics of these processes as well as the critical success factors and the appropriate measurements, which could be utilized when creating the Balanced Scorecard to the DigiCup solution according to the customer survey. The appropriate perspectives, objectives and measurements were found to the DigiCup solution. The chosen measures works as a basis for the development of IT-reporting tool. As a conclusion it can be stated that when discussing a new business, where the objectives are changing according to which development’s phases the company is in, the measurement should be updated often enough.

Tilaus-toimitusprosessin kehittäminen materiaaliteollisuus yrityksessä.

Toimintaympäristön muutokset ja monipuolistuneet asiakasvaatimukset asettavat organisaatioille vaatimuksia oman toimintansa tarkasteluun. Asiakastyytyväisyys on saavutettava kiristyvässä kilpailussa tuottamalla asiakkaalle arvoa. Organisaation tuottama lisäarvo muodostuu tehtävien ja toimintojen sarjassa – prosesseissa. Menestyäkseen organisaation on hallittava ja kehitettävä prosessejaan. Tilaus-toimitusprosessi kuuluu organisaation ydinprosesseihin, jossa aikaansaadaan asiakkaan tarpeet tyydyttävä tuote tai palvelu. Prosessijohtaminen auttaa ymmärtämään kuinka organisaation suorituskyky syntyy. Prosessijohtamisen avulla prosessien kehitystoimet voidaan kohdistaa oikein. Prosessien kehittämisessä on olennaista ymmärtää toiminnan nykytila ennen kuin kehitystoimiin voidaan ryhtyä. Nykytilamallinnuksen jälkeen toimintaa tulee analysoida, jotta löydetään suorituskykyä edistävät tai estävät tekijät. Analyysin perusteella tehdään mahdolliset kehitystoimet eli muutokset prosessiin. Suoritettujen toimenpiteiden vaikutuksia toimintaan tulee myös seurata. Tämän tutkimuksen tavoitteena oli case-organisaation tilaus-toimitusprosessin mallintaminen, analysointi ja kehityskohteiden tunnistaminen sekä kehitysehdotusten luonti. Lisäksi tutkimus pyrki selvittämään mitä case-organisaation tilaus-toimitusprosessissa tulisi kehittää. Analyysiä varten liiketoimintaprosessi mallinnettiin. Prosessin suorituskykyyn vaikuttavia tekijöitä pyrittiin löytämään haastatteluiden ja havainnoinnin perusteella. Tutkimuksen tulokset osoittivat, että kohdeyrityksen tulee kiinnittää huomiota palvelutarjonta ja asiakaskohderyhmä valintoihin, jotta yrityksen resurssit sitoutuisivat vain arvoa tuottavien asiakkaiden palvelemiseen. Resurssien jakautumien aiheuttaa myös palvelunlaadun vaihtelua, mikä vaikeuttaa asiakastyytyväisyyden saavuttamista. Tuloksia analysoimalla tunnistettiin myös muita pienempiä kehityskohteita. Kehityskohteille annettiin lopuksi toimenpidesuositukset.

Toimituskyvyn kehittäminen prosessin materiaalipuutteita hallitsemalla

Toimituskyky on yrityksen suorituskykyä kuvaava tekijä, jolla on merkittävä vaikutus asiakastyytyväisyyteen, erityisesti valmistusteollisuudessa. Toimituskyky muodostuu materiaalin saatavuudesta ja logistisen järjestelmän toimitusvarmuudesta, joten hyvä toimituskyky edellyttää materiaalipuutteiden hallintaa. Tämän diplomityön tavoitteena on esittää, miten toimituskykyä voidaan kehittää tilaus-toimitusprosessin materiaalipuutteita hallitsemalla. Tutkimus toteutettiin konstruktiivisella tutkimusotteella case-tutkimuksena havainnoimalla toimintaa case-yrityksessä sekä analysoimalla case-yrityksen kirjallista materiaalia ja arkistoja. Yrityksessä havaittuja materiaalipuutteisiin liittyviä ongelmia tarkasteltiin tilaus-toimitusprosessin näkökulmasta prosessijohtamisen ja systemaattisen ongelmanratkaisun teorioiden avulla. Tutkimuksen tuloksena laadittiin kolme käytännönläheistä ratkaisuehdotusta havaittuihin ongelmiin; (1) materiaalipuutteiden syy-seuraussuhteita kuvaavat ongelma-syy-seurausketjut, (2) materiaalipuutteiden ongelmanratkaisumalli systemaattisen ongelmanratkaisun tueksi sekä (3) visuaalinen tilaus-toimitusprosessimalli, joka painottaa osaprosessien yhteyttä koko prosessin toimituskykyyn ja toimitusvarmuuteen. Tulosten mukaan materiaalipuutteet tulisi käsittää prosessin laatuvirheinä, jotka antavat arvokasta tietoa siitä, että prosessissa on laatuongelmia. Tulosten perusteella yrityksen toimituskykyä voidaan kehittää havainnoimalla tilaus-toimitusprosessin laatuvirheitä, selvittämällä laatuvirheiden syy-seuraussuhteet systemaattisesti ongelmanratkaisumallia hyödyntäen sekä toimimalla prosessiajattelun mukaisesti tilaus-toimitusprosessin toimituskyvyn jatkuvaa parantamista tavoitellen. Tutkimusongelman tarkastelutapaa ja työn tuloksia voidaan soveltaa samankaltaisiin tapauksiin, joissa tilaus-toimitusprosessin laatuvirheet, esimerkiksi materiaalipuutteet, paljastavat kehittämistä vaativia epäkohtia prosessin toimintatavoissa. Tilaus-toimitusprosessin toimituskykyä voidaan kehittää vain, jos panostetaan ajan hallintaan ja kykyyn toimia asiakaslupausten ja sopimusten mukaisesti.

Customer orientation of sales personnel: Implications for service quality

Prior customer orientation research has concentrated mainly on studying the economical potential of customer orientation to companies. Service quality research instead has concentrated on emphasizing the evaluation of service quality from the customer’s perspective. This means that the service providers lack important information regarding customer orientation and service quality they would need for managerial purposes such as selecting and training employees. Therefore, there is an emerging need to study how customer orientation and service quality relate to company processes, policies and employees, and this study answers to those calls. The objective of this study was to examine what is the role of sales personnel’s’ customer orientation in quality of service delivery and what features support the development of customer orientation among sales personnel. Also the components customer orientation were studied extensively in order to understand how they relate to service quality. The empiric part of the study was conducted as a qualitative research by interviewing seven sales people from operative, tactical and strategic levels of the case corporation in order to get a broader view for customer orientation. The findings propose that both organizational factors and individual factors are affecting customer orientation construct inseparably. Organizational factors are bundled in this study under standards, support and systems, whereas individual factors are formed of employees’ personal attributes, motivation and self-perceived decision making authority. The findings suggest that in the service delivery process at an operative level, customer orientation appears largely in the employees’ individualistic characteristics. Their social and technical skills and motivation to serve customers are the most identifiable factors for customer orientation and consequently, quality service. However, organizational standards, support and systems are strongly dictating the frames the operative sales people operate in, having an influence on how the employees are experiencing their decision making authority and in the end, customer orientation. When looking at the service delivery process at tactical and strategic levels, customer orientation is affecting mainly in the organizational constructs through setting standards, support and systems. However, tactical and strategic level employees influence the operative level through individual customer orientation components as well. The findings indicate that their emotion and personal interaction skills are affecting the overall service delivery process mainly through supervisor support and motivation of the operative level employees. Based on this study it can be argued that an organization can operate as a facilitator and create certain frames for customer oriented sales behavior through standards, support and systems. However, as the impact of individual customer orientation factors on sales people’s service quality seems decisive, from an organizational perspective it puts pressures on the recruitment.

Tarjous-, tilaus- ja toimitusprosessin kehittäminen teollisessa yrityksessä – case Isku

Tämä diplomityö käsittelee Isku Interior Oy:n tarjous-, tilaus- ja toimitusprosessin parantamista. Yrityksessä on käynnissä tehdasinvestointihanke, jonka yhteydessä myös tietojärjestelmiä uusitaan. Investoinnin yhteydessä myös nykyisten käytäntöjen parantamista tulee pohtia. Diplomityön tavoitteena on tutkia, miten tarjous-, tilaus- ja toimitusprosessia yrityksessä voidaan parantaa, jotta siihen käytettävä kokonaisaika vähenisi. Kokonaisprosessin nykytilaan perehdytään työssä kolmen analysoidun myyntiprojektin avulla. Työn keskeisimmät tulokset liittyvät tietojärjestelmien välisen tiedonkulun parantamiseen sekä tarjous-, tilaus- ja toimitusprosessin käytäntöjen parantamiseen. Tulevaisuudessa tarjous-, tilaus- ja toimitusprosessia tulisi johtaa projektina, jonka vaiheet ja vastuut on eritelty projektin vaihejakomallin mukaisesti.

Study of the advancement of innovations in communications industry. Case study: Russian Post Company

This study attempted to provide a project based on the already tested and successful results of foreign business which can help to contain the final price of innovation on desired levels. The research will attempt to dig out most of available information related to aforementioned definitions and thus completing theoretical background. Next author will explain used methodology and the process of evidence collection. After that the study will show the analysis of collected data in order to obtain results which are going to be compared with stated objectives in the final part. The conclusion of the research and proposed possibilities for additional work will be given in the last part. For this study author has chosen the qualitative model because it performs very well for analysis of small scale of data. The case study method was used because it gave author an opportunity to make an in-depth analysis of the collected information about particular organization so it became possible to analyze system's details in comparison. The results have been early considered valid and applicable to other studies. As the result thesis has proposed undertakings which reflect researches aimed on solving problems with provision of services and development of communications. In addition thesis has proposed formulation of database of postal service for Russian Post when (by request) customer possess an account where he or she can access postal services via PC or info table in postal office and order delivery of postal products which will be given private identification code. Project's payoff period has been calculated as well.

PRODUCT DATA MANAGEMENT FOR FINNISH SMALL AND MEDIUM-SIZED MANUFACTURING ENTERPRISES - Towards a viable information system concept

Product Data Management (PDM) systems have been utilized within companies since the 1980s. Mainly the PDM systems have been used by large companies. This thesis presents the premise that small and medium-sized companies can also benefit from utilizing the Product Data Management systems. Furthermore, the starting point for the thesis is that the existing PDM systems are either too expensive or do not properly respond to the requirements SMEs have. The aim of this study is to investigate what kinds of requirements and special features SMEs, operating in Finnish manufacturing industry, have towards Product Data Management. Additionally, the target is to create a conceptual model that could fulfill the specified requirements. The research has been carried out as a qualitative case study, in which the research data was collected from ten Finnish companies operating in manufacturing industry. The research data is formed by interviewing key personnel from the case companies. After this, the data formed from the interviews has been processed to comprise a generic set of information system requirements and the information system concept supporting it. The commercialization of the concept is studied in the thesis from the perspective of system development. The aim was to create a conceptual model, which would be economically feasible for both, a company utilizing the system and for a company developing it. For this reason, the thesis has sought ways to scale the system development effort for multiple simultaneous cases. The main methods found were to utilize platform-based thinking and a way to generalize the system requirements, or in other words abstracting the requirements of an information system. The results of the research highlight the special features Finnish manufacturing SMEs have towards PDM. The most significant of the special features is the usage of project model to manage the order-to-delivery –process. This differs significantly from the traditional concepts of Product Data Management presented in the literature. Furthermore, as a research result, this thesis presents a conceptual model of a PDM system, which would be viable for the case companies interviewed during the research. As a by-product, this research presents a synthesized model, found from the literature, to abstract information system requirements. In addition to this, the strategic importance and categorization of information systems within companies has been discussed from the perspective of information system customizations.

Optimisation du processus de développement du médicament grâce à la modélisation PK et les simulations d’études cliniques

Le développement d’un médicament est non seulement complexe mais les retours sur investissment ne sont pas toujours ceux voulus ou anticipés. Plusieurs médicaments échouent encore en Phase III même avec les progrès technologiques réalisés au niveau de plusieurs aspects du développement du médicament. Ceci se traduit en un nombre décroissant de médicaments qui sont commercialisés. Il faut donc améliorer le processus traditionnel de développement des médicaments afin de faciliter la disponibilité de nouveaux produits aux patients qui en ont besoin. Le but de cette recherche était d’explorer et de proposer des changements au processus de développement du médicament en utilisant les principes de la modélisation avancée et des simulations d’essais cliniques. Dans le premier volet de cette recherche, de nouveaux algorithmes disponibles dans le logiciel ADAPT 5® ont été comparés avec d’autres algorithmes déjà disponibles afin de déterminer leurs avantages et leurs faiblesses. Les deux nouveaux algorithmes vérifiés sont l’itératif à deux étapes (ITS) et le maximum de vraisemblance avec maximisation de l’espérance (MLEM). Les résultats de nos recherche ont démontré que MLEM était supérieur à ITS. La méthode MLEM était comparable à l’algorithme d’estimation conditionnelle de premier ordre (FOCE) disponible dans le logiciel NONMEM® avec moins de problèmes de rétrécissement pour les estimés de variances. Donc, ces nouveaux algorithmes ont été utilisés pour la recherche présentée dans cette thèse. Durant le processus de développement d’un médicament, afin que les paramètres pharmacocinétiques calculés de façon noncompartimentale soient adéquats, il faut que la demi-vie terminale soit bien établie. Des études pharmacocinétiques bien conçues et bien analysées sont essentielles durant le développement des médicaments surtout pour les soumissions de produits génériques et supergénériques (une formulation dont l'ingrédient actif est le même que celui du médicament de marque, mais dont le profil de libération du médicament est différent de celui-ci) car elles sont souvent les seules études essentielles nécessaires afin de décider si un produit peut être commercialisé ou non. Donc, le deuxième volet de la recherche visait à évaluer si les paramètres calculer d’une demi-vie obtenue à partir d'une durée d'échantillonnage réputée trop courte pour un individu pouvaient avoir une incidence sur les conclusions d’une étude de bioéquivalence et s’ils devaient être soustraits d’analyses statistiques. Les résultats ont démontré que les paramètres calculer d’une demi-vie obtenue à partir d'une durée d'échantillonnage réputée trop courte influençaient de façon négative les résultats si ceux-ci étaient maintenus dans l’analyse de variance. Donc, le paramètre de surface sous la courbe à l’infini pour ces sujets devrait être enlevé de l’analyse statistique et des directives à cet effet sont nécessaires a priori. Les études finales de pharmacocinétique nécessaires dans le cadre du développement d’un médicament devraient donc suivre cette recommandation afin que les bonnes décisions soient prises sur un produit. Ces informations ont été utilisées dans le cadre des simulations d’essais cliniques qui ont été réalisées durant la recherche présentée dans cette thèse afin de s’assurer d’obtenir les conclusions les plus probables. Dans le dernier volet de cette thèse, des simulations d’essais cliniques ont amélioré le processus du développement clinique d’un médicament. Les résultats d’une étude clinique pilote pour un supergénérique en voie de développement semblaient très encourageants. Cependant, certaines questions ont été soulevées par rapport aux résultats et il fallait déterminer si le produit test et référence seraient équivalents lors des études finales entreprises à jeun et en mangeant, et ce, après une dose unique et des doses répétées. Des simulations d’essais cliniques ont été entreprises pour résoudre certaines questions soulevées par l’étude pilote et ces simulations suggéraient que la nouvelle formulation ne rencontrerait pas les critères d’équivalence lors des études finales. Ces simulations ont aussi aidé à déterminer quelles modifications à la nouvelle formulation étaient nécessaires afin d’améliorer les chances de rencontrer les critères d’équivalence. Cette recherche a apporté des solutions afin d’améliorer différents aspects du processus du développement d’un médicament. Particulièrement, les simulations d’essais cliniques ont réduit le nombre d’études nécessaires pour le développement du supergénérique, le nombre de sujets exposés inutilement au médicament, et les coûts de développement. Enfin, elles nous ont permis d’établir de nouveaux critères d’exclusion pour des analyses statistiques de bioéquivalence. La recherche présentée dans cette thèse est de suggérer des améliorations au processus du développement d’un médicament en évaluant de nouveaux algorithmes pour des analyses compartimentales, en établissant des critères d’exclusion de paramètres pharmacocinétiques (PK) pour certaines analyses et en démontrant comment les simulations d’essais cliniques sont utiles.

O efeito do pH na interação da albumina sérica humana e os flavonoides quercetina e quercitrina

Pós-graduação em Biofísica Molecular - IBILCE

Higher-Order Concurrency: Expressiveness and Decidability Results

Higher-order process calculi are formalisms for concurrency in which processes can be passed around in communications. Higher-order (or process-passing) concurrency is often presented as an alternative paradigm to the first order (or name-passing) concurrency of the pi-calculus for the description of mobile systems. These calculi are inspired by, and formally close to, the lambda-calculus, whose basic computational step ---beta-reduction--- involves term instantiation. The theory of higher-order process calculi is more complex than that of first-order process calculi. This shows up in, for instance, the definition of behavioral equivalences. A long-standing approach to overcome this burden is to define encodings of higher-order processes into a first-order setting, so as to transfer the theory of the first-order paradigm to the higher-order one. While satisfactory in the case of calculi with basic (higher-order) primitives, this indirect approach falls short in the case of higher-order process calculi featuring constructs for phenomena such as, e.g., localities and dynamic system reconfiguration, which are frequent in modern distributed systems. Indeed, for higher-order process calculi involving little more than traditional process communication, encodings into some first-order language are difficult to handle or do not exist. We then observe that foundational studies for higher-order process calculi must be carried out directly on them and exploit their peculiarities. This dissertation contributes to such foundational studies for higher-order process calculi. We concentrate on two closely interwoven issues in process calculi: expressiveness and decidability. Surprisingly, these issues have been little explored in the higher-order setting. Our research is centered around a core calculus for higher-order concurrency in which only the operators strictly necessary to obtain higher-order communication are retained. We develop the basic theory of this core calculus and rely on it to study the expressive power of issues universally accepted as basic in process calculi, namely synchrony, forwarding, and polyadic communication.

The environmental and economic effects of innovative measures in urban parcels delivery

The main scope of this research is to identify and evaluate solutions to redesign the parcels delivery logistic process to achieve higher level of quality, lower operational costs, energy consumptions and air pollution. The study is starting from the analysis of the delivery process managed by a leader company operating in Rome. Main delivery flows, personnel and fleet management costs, quality performances and environmental impacts are investigated. The results of this analysis are benchmarked with other European situations. On the basis of the feedback of this analysis, a set of operational measures, potentially able tackle the objectives, are identified and assessed by means of a simulative approach. The assessment is based on environmental and economic indicators allowing the comparison between new and reference scenarios from the viewpoints of the key players: operator, customer and Society. Moreover, the operational measures are combined into alternative packages by looking for the sets capable to maximize the benefits for the key players. The methodology, tested on Rome case study, is general and flexible enough to be extended to parcels delivery problem in different urban contexts, as well as to similar urban distribution problems (e.g. press, food, security, school)