Karlovich, Alexei Yu. "
Singular integral operators on Nakano spaces with weights having finite sets of discontinuities."
Function spaces IX. Proceedings of the 9th international conference, Kraków, Poland, July 6–11, 2009. Banach Center Publications, 92. Eds. Henryk Hudzik, Grzegorz Lewicki, Julian Musielak, Marian Nowak, and Leszek Skrzypczak. Warszawa: Polish Academy of Sciences, Institute of Mathematics, 2011. 143-166.
AbstractIn 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.
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.
Carvalho, H., M. Maleki, V. Trajkovski, and V. Cruz-Machado. "
Supply chain disturbances and resilience strategies: a secondary data study."
Proceedings of The Fifth International Conference on Management Science and Engineering Management. Macau, China 2011. 3-9.
AbstractThis paper is a review over a variety of events which lead to disruption conditions in supply chains and identifies correspondent resilient strategies for each condition. The paper objective is to make a link between the problems created by events and strategies that managers can use to avoid or mitigate the negative aspects of those problems and improve post- event recovery. To attain the paper objectives it was use archived media news to collect empirical data about disturbances (events), their negative effects (problems), and resilience strategies. In the data collection phase, the aim was to keep diversities and be comprehensive. Using empirical evidences from the sample is developed a graph to show the links between supply chain disturbances, problems and resilience. This research provides supply chain managers with some alternative strategies to opt for the best available decision, improving the post-event management process.
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
Francisco, Ricardo, Pedro Pereira, and João Martins. "
Sustainable Housing Techno-Economic Feasibility Application."
Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011. Ed. Luis Camarinha-Matos. Vol. 349. IFIP Advances in Information and Communication Technology, 349. Costa de Caparica - Portugal: Springer Boston, 2011. 445-454.
AbstractThe high prices currently achieved in the acquisition of non-renewable energy for electricity production and the low levels of energy efficiency in the housing sector are the national situation, which leads the Portuguese government to encourage the acquisition, the installation and the use of technologies which exploit indigenous and renewable energy. This study presents an application that was developed in order to help the citizen in his decision to invest in renewable technologies in their homes. The application is able to elaborate an economic analysis based on the selected type of renewable technology, providing the user with the knowledge of benefits and the annual costs involved in the system that he selected. This tool aims at facilitating the interaction of any user with such technologies and it can be used as a helpful tool to support the decision of investment in such systems.
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.
S. Zschaler, P. Sanchez, J. Santos, Mauricio Alferez, A. Moreira, J. Araújo, U. Kulesza, and L. Fuentes. "
Variability Management." Cambridge University press, 2011.
Abstract
Afonso, Marcos, Pedro Pereira, and João Martins. "
Weather Monitoring System for Renewable Energy Power Production Correlation."
Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011. Ed. Luis Camarinha-Matos. Vol. 349. IFIP Advances in Information and Communication Technology, 349. Costa de Caparica - Portugal: Springer Boston, 2011. 481-490.
AbstractThis work describes the development of a system designed for renewable power generation integration. It continuously acquires wind, solar and temperature data, which is automatically correlated with energy parameters, obtained from renewable energy systems. The developed system was installed in an urban building equipped with photovoltaic cells and wind renewable generation. To validate the developed application, it was analyzed data of a wind generator and a set of photovoltaic panels, installed near to the weather station. The developed application allows, in addition to the acquisition of weather and energy data, their continuous monitoring and correlation through a graphical user interface, providing a friendly interactivity with the user.