Supplier's selection model based on an empirical study

The problem of selecting suppliers/partners is a crucial and important part in the process of decision making for companies that intend to perform competitively in their area of activity. The selection of supplier/partner is a time and resource-consuming task that involves data collection and a careful analysis of the factors that can positively or negatively influence the choice. Nevertheless it is a critical process that affects significantly the operational performance of each company. In this work, there were identified five broad selection criteria: Quality, Financial, Synergies, Cost, and Production System. Within these criteria, it was also included five sub-criteria. After the identification criteria, a survey was elaborated and companies were contacted in order to understand which factors have more weight in their decisions to choose the partners. Interpreted the results and processed the data, it was adopted a model of linear weighting to reflect the importance of each factor. The model has a hierarchical structure and can be applied with the Analytic Hierarchy Process (AHP) method or Value Analysis. The goal of the paper it's to supply a selection reference model that can represent an orientation/pattern for a decision making on the suppliers/partners selection process

Time-delay and fractional derivatives

This paper proposes the calculation of fractional algorithms based on time-delay systems. The study starts by analyzing the memory properties of fractional operators and their relation with time delay. Based on the Fourier analysis an approximation of fractional derivatives through timedelayed samples is developed. Furthermore, the parameters of the proposed approximation are estimated by means of genetic algorithms. The results demonstrate the feasibility of the new perspective.

Crossing balanced and stair nested desings

Balanced nesting is the most usual form of nesting and originates, when used singly or with crossing of such sub-models, orthogonal models. In balanced nesting we are forced to divide repeatedly the plots and we have few degrees of freedom for the first levels. If we apply stair nesting we will have plots all of the same size rendering the designs easier to apply. The stair nested designs are a valid alternative for the balanced nested designs because we can work with fewer observations, the amount of information for the different factors is more evenly distributed and we obtain good results. The inference for models with balanced nesting is already well studied. For models with stair nesting it is easy to carry out inference because it is very similar to that for balanced nesting. Furthermore stair nested designs being unbalanced have an orthogonal structure. Other alternative to the balanced nesting is the staggered nesting that is the most popular unbalanced nested design which also has the advantage of requiring fewer observations. However staggered nested designs are not orthogonal, unlike the stair nested designs. In this work we start with the algebraic structure of the balanced, the stair and the staggered nested designs and we finish with the structure of the cross between balanced and stair nested designs.

Otimização de uma cadeia de logística interna

Atualmente qualquer organização que se queira manter no ativo, tem que obrigatoriamente inovar, reduzir o desperdício associado ao processo produtivo e simultaneamente simplificar as tarefas diárias dos seus colaboradores. E é sobre estes princípios que este trabalho é baseado, ou seja, pretende-se através da aplicação de ferramentas Lean, a melhoria contínua do processo de produção da Schmitt Elevadores. Numa fase inicial foi necessário um estudo dos diferentes fluxos de materiais, que permitiu a conceção do VSM (Value Stream Mapping). O VSM juntamente com o diagrama de Spaghetti permitiram a identificação de algumas das fontes de desperdício, relacionadas essencialmente com o excesso de movimentações. Considerando o âmbito do estágio, logística interna, e reunidas as causas de desperdício verificadas nesta área, procedeu-se à criação de um ciclo de entrega de materiais, por parte do operador logístico, baseado no conceito de milk run. Verificaram-se também problemas ao nível da gestão de stocks, pelo que também foi necessária intervenção nesta área. A aplicação das medidas mencionadas anteriormente irá traduzir-se em ganhos para o processo produtivo, nomeadamente, na criação de rotinas para os operadores logísticos; evitar deslocações por parte dos operadores de cada processo e manter em supermercado a quantidade suficiente de cada artigo, para fazer face à variabilidade da procura.

Anti-vibration gloves and the forearm efforts during tools operations

The objective of this paper is to analyze the forearm muscular contraction levels associated to the use of anti-vibration gloves, by comparing the contraction levels with gloves and without gloves. Two different vibration tools were used in a simulated work environment: (1) A compact Duty Multi-Cutter Bosch and (2) and a Percussion Drill with a drill bit Ø20 mm. Standard operations were performed by each subject in the following materials: (1) Performing cross- sectional cuts in 80x40 mm pine section and (2) performing 20 mm diameter holes in a concrete slab 2 x 2 m, 70 mm thick. The forearm contraction level were measured by surface electromyography in four different muscles: Flexor Digitorum Superficialis (FDS), Flexor Carpi Ulnaris (FCU), Extensor Carpi Radialis Longus (ECRL) e Extensor Carpi Ulnaris (ECU). For the flexor muscles (FDS, FCU), an increase tendency in muscular contraction was observed when the operations are performed without gloves (2-5% MVE increase in the FDS and 3-9% MVE increase in the FCU). For the extensor muscles ECU a decrease tendency in muscular contraction was observed when the operations are performed without gloves (1-10% MVE decrease). Any tendency was found in the ECRL muscle. ECU was the muscle with the highest contraction level for 79% and 71% of the operators, during the operations respectively with the multi-cutter (P50= 27-30%MVE) and with the percussion drill (P50=46-55%MVE). As a final conclusion from this study, anti- vibration gloves may increase the forearm fatigue in the posterior region of the forearm (ECU muscle) during operations with the mentioned tools

Two distinct arabinofuranosidases contribute to arabino-oligosaccharide degradation in Bacillus subtilis.

Microbiology 154 (2008) 2719-2729

Neural correlations during brain activation in arithmetical tasks – an approach using electroencephalographic data

Dissertação apresentada na Faculdade de Ciências e Tecnologiea da Universidade Nova de Lisboa, para obtenção do Grau de Mestre em Engenharia Biomédica

MASCEM Restructuring: Ontologies For Scenarios Generation in Power Systems Simulators

The electricity market restructuring, along with the increasing necessity for an adequate integration of renewable energy sources, is resulting in an rising complexity in power systems operation. Various power system simulators have been introduced in recent years with the purpose of helping operators, regulators, and involved players to understand and deal with this complex environment. This paper focuses on the development of an upper ontology which integrates the essential concepts necessary to interpret all the available information. The restructuring of MASCEM (Multi-Agent System for Competitive Electricity Markets), and this system’s integration with MASGriP (Multi-Agent Smart Grid Platform), and ALBidS (Adaptive Learning Strategic Bidding System) provide the means for the exemplification of the usefulness of this ontology. A practical example is presented, showing how common simulation scenarios for different simulators, directed to very distinct environments, can be created departing from the proposed ontology.

Inserção de todos os consumidores no mercado liberalizado de energia elétrica: oportunidades e desafios

O processo de liberalização do setor elétrico em Portugal Continental seguiu uma metodologia idêntica à da maior parte dos países europeus, tendo a abertura de mercado sido efetuada de forma progressiva. Assim, no âmbito do acompanhamento do setor elétrico nacional, reveste-se de particular interesse caracterizar a evolução mais recente do mercado liberalizado, nomeadamente em relação ao preço da energia elétrica. A previsão do preço da energia elétrica é uma questão muito importante para todos os participantes do mercado de energia elétrica. Como se trata de um assunto de grande importância, a previsão do preço da energia elétrica tem sido alvo de diversos estudos e diversas metodologias têm sido propostas. Esta questão é abordada na presente dissertação recorrendo a técnicas de previsão, nomeadamente a métodos baseados no histórico da variável em estudo. As previsões são, segundo alguns especialistas, um dos inputs essenciais que os gestores desenvolvem para ajudar no processo de decisão. Virtualmente cada decisão relevante ao nível das operações depende de uma previsão. Para a realização do modelo de previsão de preço da energia elétrica foram utilizados os modelos Autorregressivos Integrados de Médias Móveis, Autoregressive / Integrated / Moving Average (ARIMA), que geram previsões através da informação contida na própria série temporal. Como se pretende avaliar a estrutura do preço da energia elétrica do mercado de energia, é importante identificar, deste conjunto de variáveis, quais as que estão mais relacionados com o preço. Neste sentido, é realizada em paralelo uma análise exploratória, através da correlação entre o preço da energia elétrica e outras variáveis de estudo, utilizando para esse efeito o coeficiente de correlação de Pearson. O coeficiente de correlação de Pearson é uma medida do grau e da direção de relação linear entre duas variáveis quantitativas. O modelo desenvolvido foi aplicado tendo por base o histórico de preço da eletricidade desde o inicio do mercado liberalizado e de modo a obter as previsões diária, mensal e anual do preço da eletricidade. A metodologia desenvolvida demonstrou ser eficiente na obtenção das soluções e ser suficientemente rápida para prever o valor do preço da energia elétrica em poucos segundos, servindo de apoio à decisão em ambiente de mercado.

Decision Support for Energy Contracts Negotiation with Game Theory and Adaptive Learning

This paper presents a decision support methodology for electricity market players’ bilateral contract negotiations. The proposed model is based on the application of game theory, using artificial intelligence to enhance decision support method’s adaptive features. This model is integrated in AiD-EM (Adaptive Decision Support for Electricity Markets Negotiations), a multi-agent system that provides electricity market players with strategic behavior capabilities to improve their outcomes from energy contracts’ negotiations. Although a diversity of tools that enable the study and simulation of electricity markets has emerged during the past few years, these are mostly directed to the analysis of market models and power systems’ technical constraints, making them suitable tools to support decisions of market operators and regulators. However, the equally important support of market negotiating players’ decisions is being highly neglected. The proposed model contributes to overcome the existing gap concerning effective and realistic decision support for electricity market negotiating entities. The proposed method is validated by realistic electricity market simulations using real data from the Iberian market operator—MIBEL. Results show that the proposed adaptive decision support features enable electricity market players to improve their outcomes from bilateral contracts’ negotiations.

Inteligência artificial aplicada na previsão de mercados financeiros

Neste documento, são investigados vários métodos usados na inteligência artificial, com o objetivo de obter previsões precisas da evolução dos mercados financeiros. O uso de ferramentas lineares como os modelos AR, MA, ARMA e GARCH têm muitas limitações, pois torna-se muito difícil adaptá-los às não linearidades dos fenómenos que ocorrem nos mercados. Pelas razões anteriormente referidas, os algoritmos como as redes neuronais dinâmicas (TDNN, NARX e ESN), mostram uma maior capacidade de adaptação a estas não linearidades, pois não fazem qualquer pressuposto sobre as distribuições de probabilidade que caracterizam estes mercados. O facto destas redes neuronais serem dinâmicas, faz com que estas exibam um desempenho superior em relação às redes neuronais estáticas, ou outros algoritmos que não possuem qualquer tipo de memória. Apesar das vantagens reveladas pelas redes neuronais, estas são um sistema do tipo black box, o que torna muito difícil extrair informação dos pesos da rede. Isto significa que estes algoritmos devem ser usados com precaução, pois podem tornar-se instáveis.

Multipath policy routing in packet switched networks

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Ultrassonografia torácica : impacto no diagnóstico e estadiamento do cancro do pulmão

RESUMO:RESUMO: Nos últimos anos a ultrassonografia emergiu como um instrumento importante no diagnóstico da patologia torácica. O progresso tecnológico possibilitou a conceção de novos equipamentos como a ecoendoscopia brônquica radial e linear. Verificou-se, igualmente, o aparecimento de indicações para a realização de ecografia transtorácica. Uma das principais doenças impulsionadoras da técnica ultrassonográfica no tórax foi o cancro do pulmão, primeira causa de morte oncológica a nível mundial. A aplicabilidade e conhecimento do papel dos ultrassons no âmbito do diagnóstico e estadiamento do cancro do pulmão não se encontram esgotados, persistindo focos de controvérsia e dúvida científica que se pretendem esclarecer. A presente tese foi organizada em cinco capítulos: o primeiro abordou de forma geral e introdutória o estado da arte referente à ultrassonografia torácica, cancro do pulmão e a sua conjugação; o segundo destacou os principais objetivos; o terceiro sumarizou a metodologia utilizada; o quarto englobou os cinco estudos publicados, descritos subsequentemente, e o quinto incluiu uma discussão concisa, as principais conclusões e perspetivas futuras. O primeiro estudo avaliou a rentabilidade diagnóstica, segurança e curva de aprendizagem num coorte de 179 doentes submetidos a ecoendoscopia brônquica linear. De acordo com as indicações para este procedimento os doentes foram subdivididos em três grupos: (1) diagnóstico, (2) diagnóstico e estadiamento e (3) estadiamento. Para o primeiro, segundo e terceiro grupos a sensibilidade da ecoendoscopia foi 86.1%, 86.7% e 95% respetivamente e a precisão técnica foi 87.5%, 93.1% e 97.7% respetivamente. O treino originou um aumento progressivo do número de locais puncionados por doente, com menor duração e sem complicações, comprovando a eficácia e segurança do método quando realizado na população Portuguesa por broncologistas com experiência. O segundo estudo foi conduzido para averiguar a eficácia e custo da ecoendoscopia brônquica linear realizada através da via aérea e/ou esófago no diagnóstico de lesões sugestivas de neoplasia do pulmão, após ineficácia das técnicas convencionais. Nos doentes incluídos prospetivamente alcançou-se um diagnóstico definitivo em 106 casos (87.6%). A sensibilidade global para o diagnóstico de cancro do pulmão foi 89.8%, a especificidade foi 100%, o valor preditivo positivo foi 100%, o valor preditivo negativo foi 20% e a precisão foi 90.1%. Esta estratégia ultrassonográfica abrangente evitou intervenções cirúrgicas diagnósticas em doentes anteriormente submetidos a broncoscopia flexível ou punção aspirativa transtorácica guiada por tomografia computorizada, proporcionando uma redução significativa dos custos. No terceiro estudo investigou-se a viabilidade e papel da conjugação da ecoendoscopia brônquica linear com técnicas moleculares na avaliação de antigénios tumorais e padrões de metastização ganglionar em doentes com cancro do pulmão de não-pequenas células (CPNPC). Os marcadores citoqueratina 19 (CK-19), antigénio carcinoembrionário (CEA), molécula de adesão celular epitelial (EPCAM), sialyl-Lewis X e CD44 foram determinados nos aspirados ganglionares de 33 doentes com neoplasia e 17 controlos 10 Ultrassonografia através de citometria de fluxo (CF) e reação em cadeia da polimerase em tempo real (RTPCR). Os doentes com CPNPC possuíam um compartimento celular epitelial significativamente aumentado e com marcação superior de CK-19 comparativamente ao grupo de controlo. O compartimento imune foi também analisado nestas amostras e revelou-se alterado no CPNPC com aumento da população de monócitos e diminuição das subpopulações linfocitárias. Os transcriptos de CK-19, CEA e EPCAM estavam elevados nos doentes com cancro do pulmão, identificando-se uma correlação positiva entre estes marcadores e o tamanho da lesão primária. Concluiu-se que a identificação de CK-19, CEA e EPCAM nas amostras obtidas por ecoendoscopia e avaliadas por CF e RTPCR foi viável, podendo auxiliar na deteção de metástases ganglionares no CPNPC. O quarto estudo envolveu a combinação da ecoendoscopia brônquica radial com uma criosonda para o diagnóstico de lesões pulmonares sólidas periféricas. Foi determinada a viabilidade, rentabilidade diagnóstica, tamanho das amostras e segurança do método. Lesões inferiores a 40mm foram localizadas por ultrassonografia sendo os doentes randomizados para a realização de biópsias transbrônquicas com pinça seguidas por criosonda ou vice-versa. Nos 39 casos incluídos a lesão foi visualizada pela minisonda em 31 doentes (79.5%), com 80.6% de prevalência de cancro do pulmão na amostra. A rentabilidade diagnóstica da pinça de biópsia foi 61.3% e da criosonda foi 74.2%. O tamanho do tecido adquirido pelas criobiópsias foi significativamente maior do que o alcançado por pinça (11.17mm2 vs. 4.69mm2, p<0.001). Ocorreu um único caso de hemorragia moderada, controlada através de medidas conservadoras. As biópsias transbrônquicas com criosonda sob orientação de ecoendoscopia radial foram seguras e eficazes na obtenção de amostras histológicas. O quinto estudo determinou o valor diagnóstico da ecografia transtorácica na identificação de malignidade em doentes com derrame pleural de natureza indeterminada. Foram examinados de forma prospetiva 154 doentes. Os resultados clínicos e radiológicos de cada caso foram ocultados ao executante do exame que gerou imagens estáticas e vídeos ultrassonográficos relevantes. Estes foram posteriormente visualizados, sendo as suas características classificadas por revisores independentes e comparadas com o diagnóstico definitivo. Em 66 casos o diagnóstico foi de derrame pleural maligno (68.2% com cancro do pulmão) e em 67 de derrame benigno. A ecografia torácica obteve 80.3% de sensibilidade, 83.6% de especificidade, 81.2% de valor preditivo negativo e 82.8% de valor preditivo positivo na deteção de malignidade. A nodularidade pleural ou diafragmática, espessamento pleural superior a 10mm e sinal de swirling foram significativamente diferentes (p<0.001) sendo sugestivos de derrame maligno. A existência de nodularidade pleural e ausência de broncograma aéreo ecográfico aumentaram a probabilidade de malignidade (OR 29.0 e OR 10.4, respetivamente). A ecografia transtorácica permitiu diferenciar derrame pleural maligno do benigno. A existência de nódulos pleurais constituiu o fator discriminador mais relevante. Em conclusão, os resultados desta tese possibilitam uma melhor compreensão do papel da ecoendoscopia brônquica (linear e radial) e ecografia transtorácica no diagnóstico e estadiamento do cancro do pulmão, com implicações e aplicabilidade na prática clínica.------------- ABSTRACT: In recent years ultrasonography has emerged as an important instrument in the diagnosis of thoracic diseases. Technological progress has enabled the design of new equipment such as radial and linear endobronchial ultrasound. In addition, indications for transthoracic echography were established. One of the main diseases responsible for the progression of chest sonography was lung cancer, the leading cause of cancer mortality worldwide. The applicability and knowledge of the role of ultrasonography in diagnosing and staging lung cancer is not depleted, persisting foci of controversy and scientific doubt that we intend to elucidate. The present thesis was organized into five chapters: the first included a general introduction regarding chest ultrasound, lung cancer and their combination; the second emphasized the main objectives; the third summarized the methodology used; the fourth encompassed the five published studies, subsequently described, and the fifth included a concise discussion, the main findings and future perspectives. The first study evaluated the diagnostic yield, safety and learning curve in a cohort of 179 patients submitted to linear endobronchial ultrasound. According to procedure indications, the patients were divided into three groups: (1) diagnosis, (2) diagnosis and staging, and (3) staging. For the first, second and third groups, endobronchial ultrasound sensitivity was 86.1%, 86.7% and 95% respectively and accuracy was 87.5%, 93.1% and 97.7% respectively. Practise led to an increase number of punctured sites per patient, in a shorter period of time and without complications, proving the safety and efficacy of the method when performed in the Portuguese population by expert echoscopists. The second study was conducted to determine the efficacy and cost of linear endobronchial ultrasound performed through the airway and/or oesophagus for diagnosis of lesions suggestive of lung cancer, after failure of conventional techniques. Of the patients prospectively enrolled a definitive diagnosis was reached in 106 cases (87.6%). The overall sensitivity for the diagnosis of lung cancer was 89.8%, specificity was 100%, positive predictive value was 100%, negative predictive value was 20% and accuracy was 90.1%. In conclusion, this global ultrasonographic strategy avoided diagnostic surgical procedures in patients that had undergone flexible bronchoscopy or computed tomography-guided transthoracic needle aspiration, providing a significant cost reduction. In the third study, the feasibility and role of linear endobronchial ultrasound combined with molecular techniques in the evaluation of tumour antigens and patterns of lymph node metastasis in patients with non-small cell lung cancer (NSCLC) was investigated. Cytokeratin 19 (CK-19), carcinoembryonic antigen (CEA), epithelial cell adhesion molecule (EPCAM), sialyl Lewis-X and CD44 were determined in lymph node aspirates of 33 lung cancer patients and 17 controls, using flow cytometry (FC) and reverse transcription polymerase chain reaction (RT-PCR). In patients with NSCLC the epithelial cell compartment was significantly increased nd showed brighter CK-19 staining, compared to the control group. In NSCLC patients the immune compartment revealed an increased monocyte population and decreased lymphocyte subsets. The transcripts of CK- 19, CEA and EPCAM were higher in lung cancer patients and a positive correlation between these markers and the size of the primary lesion was also found. We concluded that the identification of CK-19, CEA and EPCAM in endobronchial ultrasound samples, using RT-PCR and FC was feasible and might aid in the detection of NSCLC lymph node metastases. The fourth study involved the combination of the radial endobronchial ultrasound with the cryoprobe for diagnosing solid peripheral lung lesions. We determined the feasibility, diagnostic yield, sample size and safety of the method. Lesions less than 40mm were located by ultrasound and forceps or cryobiopsies were performed in a randomized order. Of the 39 cases included, the lesion could be visualized by the miniprobe in 31 patients (79.5%), and lung cancer prevalence was 80.6%. The diagnostic yield of the biopsy forceps was 61.3% and for the cryobiopsy was 74.2 %. Cryobiopsies were significantly larger than forceps biopsies (11.17mm2 vs. 4.69mm2, p<0.001). There was only one case of moderate bleeding that was controlled by conservative measures. Transbronchial cryobiopsies under radial endobronchial ultrasound guidance were safe and effective in obtaining histological samples. The fifth study determined the diagnostic value of transthoracic sonography in predicting malignancy in patients with an undiagnosed pleural effusion. One hundred and fifty four patients were prospectively scanned. Relevant ultrasound images and videos were generated by an operator blinded to clinical and radiological results. These were subsequently visualized, its characteristics classified by independent reviewers and compared to the final diagnosis. A malignant pleural effusion was diagnosed in 66 cases (68.2 % with lung cancer) and a benign effusion in 67 cases. Thoracic ultrasound had a sensitivity of 80.3 %, specificity of 83.6%, negative predictive value of 81.2 % and positive predictive value of 82.8% to detect malignancy. The presence of pleural or diaphragmatic nodularity, pleural thickening greater than 10mm and swirling signal were significantly different (p<0.001 ), being suggestive of malignant effusion. The existence of pleural nodularity and absence of lung air bronchogram were more likely to indicate malignancy (OR 29.0 and OR 10.4, respectively). Transthoracic ultrasonography permits the distinction between malignant and benign pleural effusions. Pleural nodules were the most relevant feature. In conclusion, the results of this thesis provide a better understanding of the role of endobronchial ultrasound (linear and radial) and transthoracic sonography in lung cancer diagnosis and staging, with direct implications and applicability in clinical practice.

A regulação da atividade espacial

The technological evolution of the past fifty years has provided Humanity the contact with the last frontier of knowledge: space. An unknown world, explored by a small group of nations, which has become crucial to understanding who we are and where we come from. Space assets in recent years have opened the way to a digital society, shaped by the rapid exchange of information, whose means are mostly in space. A place of fascination and curiosity, restricted to a few people in these decades, which may soon be changing. This essay addresses some legal issues concerning the private exploration of space. Liability on space tourism is the core of this investigation, focusing on the comprehension of the international legal framework and its connection with the states national law. In particular, the study of the main international treaties, the U.S. legal system of space law and the developments in Europe are the fundamental tools of the current analysis, not forgetting the point of view of a possible international harmonization. Besides the needed theoretical context on the evolution of space law and a brief approach of the technical matters of the current aerospace engineering, the goal is to examine the characteristics of international space law and its relation with the new private actors, responsible for providing suborbital flights, operating in a near future. Within these circumstances, given the economic potential of the growing private space industry, it is essential to discuss the legal aspects of a spatial regulation. Being liability, undoubtedly, the emerging issue in the legal debate on this topic, it is important to safeguard the interests of the operators, States and, above all, future space tourists.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.