Purpose –This paper aims to propose a resilience index to assess the company ability to avoid and minimize the negative effects of supply chain disturbances.
Design/methodology/approach – An inductive research approach was used to develop a resilience assessment model. In a first stage, to collect empirical data, an exploratory case study was performed in seven companies’ belong to different positions in the Portuguese automotive supply chain. Next, a resilience index was derived from the case study main findings. In a final stage, the index was then tested using a case study approach in the automotive supply chain.
Findings – It was found that managers do not associate supply chain disturbances to a particular type of events, but with the negative effects that events provoke. The results also suggest that the resilience strategies they used are dependent on the type of supply chain disturbances negative effects. These empirical findings were used to develop a supply chain resilience assessment model and two resilience indexes: resilience index of “on time delivery” to “capacity shortage” and resilience index of “on time delivery” to “materials shortage”.
Research limitations/implications – This paper has the limitations common to all case studies, such as the subjectivity of the analysis and results generalization. Since only the automotive sector was studied, the findings are not universally applicable across different industry sectors in various countries.
Originality/value – The study contributes to the existing literature by empirically investigating the main effects of supply chain disturbances and how companies can increase supply chain resilience. It also suggests a way to evaluate companies’ resilience after a disturbance occurrence and identifies a set of supply chain state variables to improve supply chain resilience.

The present work aims to develop a decision supporting tool to help the decision making process related to the planning of waste collection systems. Such systems involve more than one depot and the objective is to define the delimitation of service areas and the vehicles routes. The problem is modelled as a multi-product, multi-depot vehicle routing problem. A hybrid method that combines exact formulations with heuristic procedures is developed and applied to a real recyclable collection system whose managers want to restructure the current service areas as well as the vehicle routes used to collect three types of recyclable materials.

In this paper an optimization-based approach for the design of RF integrated inductors is addressed. For the characterisation of the inductor behaviour the double pi-model is used. The use of this model is twofold. On one hand it enables the generation of the inductor characterisation in a few seconds. On the other hand its integration into the optimization procedure is straightforward. For the evaluation of the model element values analytical expressions based on technology parameters as well as on the device geometric characteristics are used. The use of a technology-based methodology for the evaluation of the model parameters grants the adaptability of the model to any technology. The inductor analytical characterization is integrated into an optimization-based tool for the automatic design of RF integrated inductors. This tool uses a modified genetic algorithm (MGA) optimization procedure, which has proved its validation in previous work. Due to the design parameter constraints nature as well as the topology constraints, discrete variables optimization techniques are used. The accuracy of the results is checked against a non-commercial software.

In this paper an optimization-based approach for the design of RF integrated inductors is addressed. For the characterisation of the inductor behaviour the double π-model is used. The use of this model is twofold. On one hand it enables the generation of the inductor characterisation in a few seconds. On the other hand its integration into the optimization procedure is straightforward. For the evaluation of the model element values analytical expressions based on technology parameters as well as on the device geometric characteristics are used. The use of a technology-based methodology for the evaluation of the model parameters grants the adaptability of the model to any technology. The inductor analytical characterization is integrated into an optimization-based tool for the automatic design of RF integrated inductors. This tool uses a modified genetic algorithm (MGA) optimization procedure, which has proved its validation in previous work. Due to the design parameter constraints nature as well as the topology constraints, discrete variables optimization techniques are used. The accuracy of the results is checked against a non-commercial software.

Radio Frequency Identification (RFID) is a new technology that has received considerable attention from academics and practitioners due to its large scope of application, advantages and potentialities. This chapter aims to highlight the potentialities associated with RFID in fast moving Fashion Supply Chain Management (FSCM). The research emphasizes the technological contribution to the Fashion Supply Chain (FSC) such as speed up logistics activities, increased quality, reduced prices, and more responsive improvements for customer satisfaction. The chapter reviews the RFID technology, presents the benefits, disadvantages, and barriers associated with it. To explore the deployment of the RFID technology in the Fashion Supply Chain (FSC), a case study investigation of companies in different FSCM nodes was carried out. A cross-case analysis it is also presented to achieve a deeper understanding about this technology in a fast moving FSCM context

{Summary: For heavy-tailed models, and working with the sample of the $k$ largest observations, we present probability weighted moments (PWM) estimators for the first order tail parameters. Under regular variation conditions on the right-tail of the underlying distribution function $F$ we prove the consistency and asymptotic normality of these estimators. Their performance, for finite sample sizes, is illustrated through a small-scale Monte Carlo simulation.}

In 1968, Gohberg and Krupnik found a Fredholm criterion for singular integral operators of the form \(aP+bQ\), where \(a,b\) are piecewise continuous functions and \(P,Q\) are complementary projections associated to the Cauchy singular integral operator, acting on Lebesgue spaces over Lyapunov curves. We extend this result to the case of Nakano spaces (also known as variable Lebesgue spaces) with certain weights having finite sets of discontinuities on arbitrary Carleson curves.

n/a

This paper is focused on the delimitation of service areas and on vehicle routes definition in recyclable waste collection systems with more than one depot. Three types of materials have to be collected in separated routes, so the problem is modelled as a multi-product, multi-depot vehicle routing problem. A hybrid method is developed where a MIP solver is embedded inside a heuristic framework. The effectiveness of this method is tested by comparing the results obtained for some test instances when solved only by an exact formulation. The hybrid method is then applied to a medium size problem based on a real recyclable waste collection system.

n/a

In software, hardware, and embedded system domains, debugging is the process of locating and correcting faults in a system. Depending on the context, the various characteristics of debugging induce different challenges and solutions. Post-silicon hardware debugging, for example, needs to address issues such as limited visibility and controllability, while debugging software entails other issues, such as the handling of distributed or non-deterministic computation. The challenges that accompany such issues are the focus of many current research efforts. Solutions for debugging range from interactive tools to highly analytic techniques. We have seen great advances in debugging technologies in recent years, but bugs continue to occur, and debugging still encompasses significant portions of the life-cycles of many systems. The session covered state-of-the-art approaches as well as promising new research directions in both the hardware and software domains.

Two combustion tests were performed in a fluidized bed combustor of a thermo-electric power plant: (1) combustion of coal; (2) co-combustion of coal (68.7% w/w), sewage sludge (9.2% w/w) and meat and bone meal (MBM) (22.1% w/w).

Three samples of ashes (bottom, circulating and fly ashes) were collected in each combustion test. The ashes were submitted to the following assays: (a) evaluation of the leaching behaviour; (b) stabilization/solidification of fly ashes and evaluation of the leaching behaviour of the stabilized/solidified (s/s) materials; (c) production of concrete from bottom and circulating ashes. The eluates of all materials were submitted to chemical and ecotoxicological characterizations. The crude ashes have shown similar chemical and ecotoxicological properties. The s/s materials have presented compressive strengths between 25 and 40 MPa, low emission levels of metals through leaching and were classified as non-hazardous materials. The formulations of concrete have presented compressive strengths between 12 and 24 MPa. According to the Dutch Building Materials Decree, some concrete formulations can be used in both scenarios of limited moistening and without insulation, and with permanent moistening and with insulation.

This paper presents StarTM , an automatic verification tool for transactional memory Java programs executing under relaxed isolation levels. We certify which transactions in a program are safe to execute under Snapshot Isolation without triggering the write-skew anomaly, opening the way to run-time optimizations that may lead to considerable performance enhancements.
Our tool builds on a novel shape analysis technique based on Separation Logic to statically approximate the read- and write-sets of a transactional memory Java program. This technique is particularly challenging due to the presence of dynamically allocated memory.
We implement our technique and apply our tool to a set of intricate examples. We corroborate known results, certifying some of the examples for safe execution under Snapshot Isolation by proving the absence of write-skew anomalies. In other cases we identify transactions that potentially trigger the write-skew anomaly.

This work aims to study a new flat slab strengthening technique based on post-tensioning with anchorages by bonding using an epoxy adhesive. The main advantages of this technique over the traditional prestress strengthening systems that use mechanical anchorages are that it does not need external permanent anchorages, meaning that the forces are introduced into the concrete gradually instead of being localized, thereby preserving aesthetics and useable space. The seven tested slab models show that this technique meets its objective as it is able to reduce reinforcement strains at service loads by up to 80{%} if the strengthening technique is applied in two directions and slab deformations by up to 70{%}, consequently making crack widths smaller. It can also increase punching load capacity by as much as 51{%} when compared to non-strengthened slabs. The results are compared with the EC2 (2004) [20], ACI 318-08 (2008) [23] and MC2010 (2010) [21] provisions. The main conclusions are that this strengthening technique is effective regarding ultimate and serviceability states and that it represents an advance in RC slab strengthening techniques. ?? 2011 Elsevier Ltd.

Em caso de falha abrupta de um sistema, é imperativo garantir a consistência do Sistema de Ficheiros (SF). Actualmente existem várias soluções que visam garantir que tanto os dados como os metadados do SF se encontram num estado consistente, mas que não contemplam a garantia de consistência dos dados do ponto de vista das aplicações. Por exemplo, aplicações que pretendam alterar vários ficheiros de configuração terão de encontrar mecanismos para garantir que, ou todos os ficheiros são devidamente alterados, ou nenhum o é, evitando assim que numa situação de falha o conteúdo dos ficheiros fique inconsistente. Do ponto de vista da aplicação, pode não ser simples implementar este comportamento sobre um SF típico; e pode também não ser razoável utilizar um Sistema de Gestão de Bases de Dados (SGBD), que oferece propriedades ACID. Neste artigo propomos, testamos e avaliamos uma integração das propriedades ACID num SF. Partindo do suporte para snapshots do sistema de ficheiros Btrfs, oferece-se uma semântica transaccional às aplicações que operam sobre volumes (sub-árvores) do SF, sem comprometer a semântica POSIX do SF.