Hollander, Yoav, Alan Hu, João M. Lourenço, and Ronny Morad. "
Special Session on Debugging."
Hardware and Software: Verification and Testing. Eds. Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz. Vol. 6504. Lecture Notes in Computer Science, 6504. Springer Berlin / Heidelberg, 2011. 24-28.
AbstractIn 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.
Barbosa, R., N. Lapa, H. Lopes, I. Gulyurtlu, and B. Mendes. "
Stabilization/solidification of fly ashes and concrete production from bottom and circulating ashes produced in a power plant working under mono and co-combustion conditions."
Waste Management. 31.9-10 (2011): 2009-2019.
AbstractTwo 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.
Santana, Nuno Miguel, Maria Isabel Gomes, and Ana Paula Barbosa-povoa Supply Chain Optimization: Application to a real case. Livro de actas do 15º congresso da APDIO, IO2011. Coimbra, Portugal, 2011.
AbstractThe increase focus of companies in clients’ satisfaction, independently of the market they operate in, results from a growing degree of consumers expectations. To fulfill such increase, companies have to arm themselves with the correct internal capabilities, achieving not only efficacy in the satisfaction of each customer, but also efficiency, by operating at the lower possible cost. One of those internal capabilities is the logistics network, which is representing, more and more, a great challenge for companies, given the complexity of the variables that compose it. In this paper, an optimization model is developed that contemplates simultaneously the design and planning of supply chains with reversed flows, through a multi-period and a multi-product network. The proposed model acts as a support tool for the decisions to be made in a real case of a Portuguese telecommunications company, in order to optimize its logistics network.
Carvalho, H., A. P. Barroso, V. H. Machado, S. G. Azevedo, and V. Cruz-Machado. "
Supply chain resilience: a simulation study."
Annals of DAAAM for 2011 & Proceedings of the 22nd International DAAAM Symposium. Ed. Katalinc} {Branko. Viena, Austria: DAAAM International, 2011. 1611-1612.
AbstractThis paper aims to analyze the supply chain behavior when subject to disturbances using a simulation-based approach. The disturbance explored in this study is the transportation interruption between two suppliers in the automotive supply chain. The performance of the different supply chain entities is used to analyze supply chain design scenarios. The analysis of the outputs simulation study shows that even when a redundancy strategy is used, the negative effects of a disturbance are spread along the supply chain, but the resilience of supply chain entities is enhanced
Martins, Rui M. S., F. Beckmann, R. Castanhinha, R. Araújo, O. Mateus, and P. K. Pranzas Tomographic techniques for the study of exceptionally preserved dinosaur and crocodile fossils from the mesozoic of Portugal. VII Encontro Nacional de Biologia Evolutiva, Coimbra, 21 Dezembro 2011., 2011.
AbstractPortugal is ranked within the ten countries with more dinosaur taxa and the Lourinhã Formation is known
by the Late Jurassic findings of dinosaurs and other fossils. Often, studies of the external morphological
characteristics of the fossils are not sufficient and, observations of internal structures, using non-
destructive techniques, are required. The fossils here presented belong to the Museum da Lourinhã
(Portugal) and comprise a lower jaw of a basal crocodilian (possibly a Tomistomidae), eggshells and
several vertebrae from the exceptionally well preserved in ovo remains of Late Jurassic theropod dinosaur
Lourinhanosaurus. Neutron Tomography (NT) experiments with this material has been carried out at the
Geesthacht Neutron Facility in Germany. Additionally, eggshell fragments and several vertebrae have
been studied by Synchrotron-Radiation based Micro-Computed Tomography (SRμCT) at the HARWI II and
BW2 beamlines, respectively. These beamlines are operated by the Helmholtz-Zentrum Geesthacht at the
storage ring DORIS III at the Deutsches Elektronen–Synchrotron DESY in Hamburg, Germany. In both cases
(NT and SRμCT) complete 3D recordings have been obtained using a non-destructive procedure. The high-
quality tomographic datasets can be effectively studied through interactive digital visualization. Hence,
these visualization methods provide precious information about the 3D internal micro morphology of
fossils, like the network of the eggshell pores, often invisible in more traditional techniques, and provide a
direct window into the evolutionary history of organisms.
Lourenço, João M. "
Understanding Transactional Memory (Extended Abstract)."
Hardware and Software: Verification and Testing. Eds. Sharon Barner, Ian Harris, Daniel Kroening, and Orna Raz. Vol. 6504. Lecture Notes in Computer Science, 6504. Springer Berlin / Heidelberg, 2011. 1-2.
AbstractTransactional Memory [3] (TM) is a new paradigm for concurrency control that brings the concept of transactions, widely known from the Databases community, into the management of data located in main memory. TM delivers a powerful semantics for constraining concurrency and provides the means for the extensive use of the available parallel hardware. TM uses abstractions that promise to ease the development of scalable parallel applications by achieving performances close to fine-grained locking while maintaining the simplicity of coarse-grained locking.
Borges, J. P., M. H. Godinho, J. L. Figueirinhas, M. N. de Pinho, and M. N. Belgacem. "
All-cellulosic based composites."
Cellulose Fibers: Bio-and Nano-Polymer Composites. Springer Berlin Heidelberg, 2011. 399-421.
Abstractn/a
Martins, R., B. Brás, I. Ferreira, L. Pereira, P. Barquinha, N. Correia, R. Costa, T. Busani, A. Gonçalves, and A. Pimentel Away from silicon era: the paper electronics. SPIE OPTO. International Society for Optics and Photonics, 2011.
Abstractn/a
Martins, R., B. Bras, I. Ferreira, L. Pereira, P. Barquinha, N. Correia, R. Costa, T. Busani, A. Goncalves, A. Pimentel, and E. Fortunato. "
Away from silicon era: the paper electronics."
Oxide-Based Materials and Devices Ii. Eds. F. H. Teherani, D. C. Look, and D. J. Rogers. Vol. 7940. Proceedings of SPIE, 7940. 2011.
Abstractn/a
Martins, Rodrigo, Arokia Nathan, Raquel Barros, LuÍs Pereira, Pedro Barquinha, Nuno Correia, Ricardo Costa, Arman Ahnood, Isabel Ferreira, and Elvira Fortunato. "
Complementary metal oxide semiconductor technology with and on paper."
Advanced Materials. 23.39 (2011): 4491-4496.
Abstractn/a