EXPLORING THE IMPACT OF BURSTINESS ON THE SERVICE PROCESS AT THE CASH REGISTER

The service process is the key phase in any queue system applied to business and industry operations. The service process in shops is defined as the payment process at the cash register. The service process consists of two elements or sub-processes: the waiting in the queue to the cash register as well as the payment processing (scanning the goods, giving receipts to customers, etc). Analysis of burstiness as the indicator of the service process has been well-established. Against this background on burstiness as the indicator of the service process, burstiness is also defined as a factor that influences the service process. However, burstiness as a factor in the service process has not attracted a lot of research attention. The aim of this paper is to analyse burstiness as a factor in the service process underpinning the elaboration of scenarios of the service process for the queue management purposes. The present work mostly employs theoretical methods: scientific literature analysis, synthesis, modelling, comparison, and systematization. The theoretical research results in the outline of the conceptual framework for exploring the impact of burstiness on the service process. The key concepts have been identified, namely binary customer behaviour, buyers’ burstiness, bottlenecks’ emergence at the server, and queue management. The logical chain of the development has been emphasized: binary customer behaviour → buyers’ burstiness → bottlenecks’ emergence at the check-out station or cash register (server) → queue management. The presented logical chain allows finding out that buyers’ burstiness leads to the queue appearance in the service process. In turn, queue appearance requires queue management measures. Hence, buyers’ burstiness influences on the decisions in regard to queue management within the service process. Further on, two functions of buyers’ burstiness are defined: the indicators of the service process, and the factor that influences the service process. This bi-modal role of buyers’ burstiness in the service process highlights the complex nature of the queue management. Five scenarios of the service process will allow using a combination of queue management measures in each scenario or even between scenarios. The findings of the comparative study propose the structure of the service process as the unity of the waiting in the queue to the cash register and the payment processing at the cash register, i.e. scanning of the goods and the payment. The present research has some limitations. Further research tends to validate the model of five scenarios of the service process for the queue management purposes. Comparative studies on buyers’ burstiness in the service process will be continued, too.

FIN-DM: finantsteenuste andmekaeve protsessi mudel

Andmekaeve hõlmab reeglite kogumit, protsesse ja algoritme, mis võimaldavad ettevõtetel iga päev kogutud andmetest rakendatavaid teadmisi ammutades suurendada tulusid, vähendada kulusid, optimeerida tooteid ja kliendisuhteid ning saavutada teisi eesmärke. Andmekaeves ja -analüütikas on vaja hästi määratletud metoodikat ja protsesse. Saadaval on mitu andmekaeve ja -analüütika standardset protsessimudelit. Kõige märkimisväärsem ja laialdaselt kasutusele võetud standardmudel on CRISP-DM. Tegu on tegevusalast sõltumatu protsessimudeliga, mida kohandatakse sageli sektorite erinõuetega. CRISP-DMi tegevusalast lähtuvaid kohandusi on pakutud mitmes valdkonnas, kaasa arvatud meditsiini-, haridus-, tööstus-, tarkvaraarendus- ja logistikavaldkonnas. Seni pole aga mudelit kohandatud finantsteenuste sektoris, millel on omad valdkonnapõhised erinõuded. Doktoritöös käsitletakse seda lünka finantsteenuste sektoripõhise andmekaeveprotsessi (FIN-DM) kavandamise, arendamise ja hindamise kaudu. Samuti uuritakse, kuidas kasutatakse andmekaeve standardprotsesse eri tegevussektorites ja finantsteenustes. Uurimise käigus tuvastati mitu tavapärase raamistiku kohandamise stsenaariumit. Lisaks ilmnes, et need meetodid ei keskendu piisavalt sellele, kuidas muuta andmekaevemudelid tarkvaratoodeteks, mida saab integreerida organisatsioonide IT-arhitektuuri ja äriprotsessi. Peamised finantsteenuste valdkonnas tuvastatud kohandamisstsenaariumid olid seotud andmekaeve tehnoloogiakesksete (skaleeritavus), ärikesksete (tegutsemisvõime) ja inimkesksete (diskrimineeriva mõju leevendus) aspektidega. Seejärel korraldati tegelikus finantsteenuste organisatsioonis juhtumiuuring, mis paljastas 18 tajutavat puudujääki CRISP- DMi protsessis. Uuringu andmete ja tulemuste abil esitatakse doktoritöös finantsvaldkonnale kohandatud CRISP-DM nimega FIN-DM ehk finantssektori andmekaeve protsess (Financial Industry Process for Data Mining). FIN-DM laiendab CRISP-DMi nii, et see toetab privaatsust säilitavat andmekaevet, ohjab tehisintellekti eetilisi ohte, täidab riskijuhtimisnõudeid ja hõlmab kvaliteedi tagamist kui osa andmekaeve elutsüklisData mining is a set of rules, processes, and algorithms that allow companies to increase revenues, reduce costs, optimize products and customer relationships, and achieve other business goals, by extracting actionable insights from the data they collect on a day-to-day basis. Data mining and analytics projects require well-defined methodology and processes. Several standard process models for conducting data mining and analytics projects are available. Among them, the most notable and widely adopted standard model is CRISP-DM. It is industry-agnostic and often is adapted to meet sector-specific requirements. Industry- specific adaptations of CRISP-DM have been proposed across several domains, including healthcare, education, industrial and software engineering, logistics, etc. However, until now, there is no existing adaptation of CRISP-DM for the financial services industry, which has its own set of domain-specific requirements. This PhD Thesis addresses this gap by designing, developing, and evaluating a sector-specific data mining process for financial services (FIN-DM). The PhD thesis investigates how standard data mining processes are used across various industry sectors and in financial services. The examination identified number of adaptations scenarios of traditional frameworks. It also suggested that these approaches do not pay sufficient attention to turning data mining models into software products integrated into the organizations' IT architectures and business processes. In the financial services domain, the main discovered adaptation scenarios concerned technology-centric aspects (scalability), business-centric aspects (actionability), and human-centric aspects (mitigating discriminatory effects) of data mining. Next, an examination by means of a case study in the actual financial services organization revealed 18 perceived gaps in the CRISP-DM process. Using the data and results from these studies, the PhD thesis outlines an adaptation of CRISP-DM for the financial sector, named the Financial Industry Process for Data Mining (FIN-DM). FIN-DM extends CRISP-DM to support privacy-compliant data mining, to tackle AI ethics risks, to fulfill risk management requirements, and to embed quality assurance as part of the data mining life-cyclehttps://www.ester.ee/record=b547227

Políticas de Copyright de Publicações Científicas em Repositórios Institucionais: O Caso do INESC TEC

A progressiva transformação das práticas científicas, impulsionada pelo desenvolvimento das novas Tecnologias de Informação e Comunicação (TIC), têm possibilitado aumentar o acesso à informação, caminhando gradualmente para uma abertura do ciclo de pesquisa. Isto permitirá resolver a longo prazo uma adversidade que se tem colocado aos investigadores, que passa pela existência de barreiras que limitam as condições de acesso, sejam estas geográficas ou financeiras. Apesar da produção científica ser dominada, maioritariamente, por grandes editoras comerciais, estando sujeita às regras por estas impostas, o Movimento do Acesso Aberto cuja primeira declaração pública, a Declaração de Budapeste (BOAI), é de 2002, vem propor alterações significativas que beneficiam os autores e os leitores. Este Movimento vem a ganhar importância em Portugal desde 2003, com a constituição do primeiro repositório institucional a nível nacional. Os repositórios institucionais surgiram como uma ferramenta de divulgação da produção científica de uma instituição, com o intuito de permitir abrir aos resultados da investigação, quer antes da publicação e do próprio processo de arbitragem (preprint), quer depois (postprint), e, consequentemente, aumentar a visibilidade do trabalho desenvolvido por um investigador e a respetiva instituição. O estudo apresentado, que passou por uma análise das políticas de copyright das publicações científicas mais relevantes do INESC TEC, permitiu não só perceber que as editoras adotam cada vez mais políticas que possibilitam o auto-arquivo das publicações em repositórios institucionais, como também que existe todo um trabalho de sensibilização a percorrer, não só para os investigadores, como para a instituição e toda a sociedade. A produção de um conjunto de recomendações, que passam pela implementação de uma política institucional que incentive o auto-arquivo das publicações desenvolvidas no âmbito institucional no repositório, serve como mote para uma maior valorização da produção científica do INESC TEC.The progressive transformation of scientific practices, driven by the development of new Information and Communication Technologies (ICT), which made it possible to increase access to information, gradually moving towards an opening of the research cycle. This opening makes it possible to resolve, in the long term, the adversity that has been placed on researchers, which involves the existence of barriers that limit access conditions, whether geographical or financial. Although large commercial publishers predominantly dominate scientific production and subject it to the rules imposed by them, the Open Access movement whose first public declaration, the Budapest Declaration (BOAI), was in 2002, proposes significant changes that benefit the authors and the readers. This Movement has gained importance in Portugal since 2003, with the constitution of the first institutional repository at the national level. Institutional repositories have emerged as a tool for disseminating the scientific production of an institution to open the results of the research, both before publication and the preprint process and postprint, increase the visibility of work done by an investigator and his or her institution. The present study, which underwent an analysis of the copyright policies of INESC TEC most relevant scientific publications, allowed not only to realize that publishers are increasingly adopting policies that make it possible to self-archive publications in institutional repositories, all the work of raising awareness, not only for researchers but also for the institution and the whole society. The production of a set of recommendations, which go through the implementation of an institutional policy that encourages the self-archiving of the publications developed in the institutional scope in the repository, serves as a motto for a greater appreciation of the scientific production of INESC TEC

Inclusão de aspectos semânticos no padrão IndoorGML a partir da definição de pontos de referência

Orientador(a): Prof(a). Dr(a). Luciene Stamato DelazariTese (doutorado) - Universidade Federal do Paraná, Setor de Ciências da Terra, Programa de Pós-Graduação em Ciências Geodésicas. Defesa : Curitiba, 30/09/2021Inclui referências: p. 143-160Resumo: A navegação em ambientes indoor é uma tarefa complexa que pode ser facilitada através do uso de sistemas de navegação indoor. O emprego de pontos de referência nesses sistemas traz vantagens, pois reduzem a carga cognitiva sobre o usuário, o que pode ser benéfico para a compreensão do ambiente, posicionamento e navegação. Esta pesquisa tem por objetivo avaliar como os pontos de referência impactam na percepção espacial dos usuários, ao empregar esses elementos nos sistemas de navegação indoor, seja na representação do ambiente ou na descrição de rotas. Esta pesquisa também apresenta a proposição de melhorias para o IndoorGML ao fornecer um enriquecimento semântico para auxiliar a navegação através da inclusão de especificações a respeito de pontos de referência. Apesar do IndoorGML fornecer ampla definição sobre a estrutura dos espaços indoor, os pontos de referência, sejam eles ambientes ou elementos, estão fora do escopo. A ausência de informações desses elementos no espaço indoor acarreta na limitação de implementação e usabilidade do padrão. A pesquisa contou com dois testes, sendo o primeiro voltado para a avaliação a hierarquia visual da simbologia ao combinar no mesmo mapa símbolos pictóricos e geométricos. O segundo teste consistiu na análise da simbologia que empregava apenas símbolos pictóricos com a hierarquia visual sendo gerada por símbolos de tamanhos distintos. No segundo teste quatro cenários foram testados, sendo que em cada um deles as instruções de rota empregavam diferentes elementos, como informações métricas, relações espaciais, marcos de referência ou pontos de interesse. Baseado nos resultados encontrados nos testes, a proposição de extensão do IndoorGML foi realizada. Os resultados obtidos nos testes realizados apontam que os SRP, sejam eles MR ou POI, são utilizados pelos usuários com frequência e auxiliam nas tarefas de navegação quando empregados na descrição de rota. Além disso, a simbologia quando empregada de forma a destacar os elementos principais do ambiente também dão suporte a orientação e navegação, pois facilita a relação do ambiente apresentado no mapa com o ambiente real. O modelo de extensão proposto solucionou problemas existentes no módulo principal, entretanto diferentes casos de usos devem ser testados para confirmar sua eficácia.Abstract: Indoor navigation is a complex task that can be facilitated through the use of indoor navigation systems. The use of reference points in these systems brings advantages, as they reduce the cognitive load on the user, which can be beneficial for understanding the environment, positioning and navigation. This research aims to evaluate how reference points impact the spatial perception of users, when using these elements in indoor navigation systems, either in the representation of the environment or in the description of routes. This research also presents the proposition of improvements to IndoorGML by providing a semantic enrichment to aid navigation through the inclusion of specifications regarding reference points. Although IndoorGML provides a broad definition of the structure of indoor spaces, the reference points, be they environments or elements, are out of scope. The lack of information on these elements in the indoor space limits the implementation and usability of the standard. The research included two tests, the first being aimed at evaluating the visual hierarchy of symbology by combining pictorial and geometric symbols on the same map. The second test consisted of analyzing the symbology that used only pictorial symbols with the visual hierarchy being generated by symbols of different sizes. In the second test, four scenarios were tested, in each of them the route instructions used different elements, such as metric information, spatial relationships, landmarks or points of interest. Based on the results found in the tests, the IndoorGML extension proposition was carried out. The results obtained in the tests carried out indicate that the SRP, whether MR or POI, are frequently used by users and help in navigation tasks when used in the route description. In addition, the symbology, when used in order to highlight the main elements of the environment, also support orientation and navigation, as it facilitates the relationship between the environment shown on the map and the real environment. The proposed extension model solved problems existing in the main module, however different use cases must be tested to confirm its effectiveness

Computer Aided Verification

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

Computer Aided Verification

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

XXIII Edición del Workshop de Investigadores en Ciencias de la Computación : Libro de actas

Compilación de las ponencias presentadas en el XXIII Workshop de Investigadores en Ciencias de la Computación (WICC), llevado a cabo en Chilecito (La Rioja) en abril de 2021.Red de Universidades con Carreras en Informátic