Carvalho, T., V. Augusto, A. Rocha, N. M. T. Lourenco, N. T. Correia, S. Barreiros, P. Vidinha, E. J. Cabrita, and M. Dionisio. "
Ion Jelly Conductive Properties Using Dicyanamide-Based Ionic Liquids."
Journal of Physical Chemistry B. 118.31 (2014): 9445-59.
AbstractThe thermal behavior and transport properties of several ion jellys (IJs), a composite that results from the combination of gelatin with an ionic liquid (IL), were investigated by dielectric relaxation spectroscopy (DRS), differential scanning calorimetry (DSC), and pulsed field gradient nuclear magnetic resonance spectroscopy (PFG NMR). Four different ILs containing the dicyanamide anion were used: 1-butyl-3-methylimidazolium dicyanamide (BMIMDCA), 1-ethyl-3-methylimidazolium dicyanamide (EMIMDCA), 1-butyl-1-methylpyrrolidinium dicyanamide (BMPyrDCA), and 1-butylpyridinium dicyanamide (BPyDCA); the bulk ILs were also investigated for comparison. A glass transition was detected by DSC for all materials, ILs and IJs, allowing them to be classified as glass formers. Additionally, an increase in the glass transition temperature upon dehydration was observed with a greater extent for IJs, attributed to a greater hindrance imposed by the gelatin matrix after water removal, rendering the IL less mobile. While crystallization is observed for some ILs with negligible water content, it was never detected for any IJ upon thermal cycling, which persist always as fully amorphous materials. From DRS measurements, conductivity and diffusion coefficients for both cations (D+) and anions (D–) were extracted. D+ values obtained by DRS reveal excellent agreement with those obtained from PFG NMR direct measurements, obeying the same VFTH equation over a large temperature range (ΔT ≈ 150 K) within which D+ varies around 10 decades. At temperatures close to room temperature, the IJs exhibit D values comparable to the most hydrated (9%) ILs. The IJ derived from EMIMDCA possesses the highest conductivity and diffusion coefficient, respectively, 10–2 S·cm–1 and 10–10 m2·s–1. For BMPyrDCA the relaxational behavior was analyzed through the complex permittivity and modulus formalism allowing the assignment of the detected secondary relaxation to a Johari–Goldstein process. Besides the relevant information on the more fundamental nature providing physicochemical details on ILs behavior, new doorways are opened for practical applications by using IJ as a strategy to produce novel and stable electrolytes for different electrochemical devices.
Marinheiro, J., O. Mateus, A. Alaoui, F. Amani, M. Nami, and C. Ribeiro. "
New Quaternary fossil sites from the Middle Atlas of Morocco."
Comunicações Geológicas. 101, Especial I (2014): 485-488.
AbstractThe paleontological richness of Morocco has been scientifically known since at least the early 20th century. The region of the Middle Atlas, more specifically the Boulemane area, has been however only sparsely studied since the 1960s when it provided vertebrate fossils from the Middle Jurassic. In September 2013, a Moroccan-Portuguese expedition to the village of Taghrout, Boulemane, made excavations in a Pleistocene fossil site that once was a small high-altitude sedimentary basin, uncharted in previous geological maps. The excavations yielded bone material from large mammals, the most common findings are elephants ascribed to Elephas, but artiodactyls, turtles, and in-situ Acheulean tools were also collected. This represents a new and important paleontological and archeological site. In addition to the discoveries of Taghrout, the expedition also retrieved Quaternary vertebrate material from a nearby cave and found new Jurassic localities, with arcosaur bones and dinosaur footprints, in El Mers.
Alexandre, Fernando, Ricardo Marques, and Hervé Paulino On the Support of Task-Parallel Algorithmic Skeletons for Multi-GPU Computing. 28th Annual ACM Symposium on Applied Computing, SAC '14. Gyeongju, South Korea, March 24-28, 2014: ACM, 2014.
AbstractAn emerging trend in the field of Graphics Processing Unit (GPU) computing is the harnessing of multiple devices to cope with scalability and performance requirements. How- ever, multi-GPU execution adds new challenges to the al- ready complex world of General Purpose computing on GPUs (GPGPU), such as the efficient problem decomposition, and dealing with device heterogeneity. To this extent, we pro- pose the use of the Marrow algorithmic skeleton framework (ASkF) to abstract most of the details intrinsic to the pro- gramming of such platforms. To the best of our knowledge, Marrow is the first ASkF to support skeleton nesting on single and (now) multiple GPU systems. In this paper we present how it can transparently distribute the execution of skeleton compositions among a set of, possibly, hetero- geneous devices. An experimental evaluation assesses the proposal’s effectiveness, from a scalability and performance perspective, with good results.
Maiti, Biplab K., Luisa B. Maia, Kuntal Pal, Bholanath Pakhira, Teresa Aviles, Isabel Moura, Sofia R. Pauleta, Jose L. Nunez, Alberto C. Rizzi, Carlos D. Brondino, Sabyasachi Sarkar, and Jose J. G. Moura. "
One electron reduced square planar bis(benzene-1,2-dithiolato) copper dianionic complex and redox switch by O2/HO-."
Inorganic Chemistry. 53 (2014): 12799-12808.
Abstract
Abreu, Rui, Jácome Cunha, João Paulo Fernandes, Pedro Martins, Alexandre Perez, and João Saraiva. "
Smelling Faults in Spreadsheets."
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution. ICSME '14. Washington, DC, USA: IEEE Computer Society, 2014. 111-120.
AbstractDespite being staggeringly error prone, spreadsheets are a highly flexible programming environment that is widely used in industry. In fact, spreadsheets are widely adopted for decision making, and decisions taken upon wrong (spreadsheet-based) assumptions may have serious economical impacts on businesses, among other consequences. This paper proposes a technique to automatically pinpoint potential faults in spreadsheets. It combines a catalog of spreadsheet smells that provide a first indication of a potential fault, with a generic spectrum-based fault localization strategy in order to improve (in terms of accuracy and false positive rate) on these initial results. Our technique has been implemented in a tool which helps users detecting faults. To validate the proposed technique, we consider a well-known and well-documented catalog of faulty spreadsheets. Our experiments yield two main results: we were able to distinguish between smells that can point to faulty cells from smells and those that are not capable of doing so; and we provide a technique capable of detecting a significant number of errors: two thirds of the cells labeled as faulty are in fact (documented) errors.
Abreu, Rui, Tiago Alves, Orlando Belo, José C. Campos, Jácome Cunha, João Paulo Fernandes, Pedro Martins, Jorge Mendes, Hugo Pacheco, Christophe Peixoto, Rui Pereira, Alexandre Perez, Hugo Ribeiro, André Riboira, João Saraiva, André Silva, João Carlos Silva, and Joost Visser SSaaPP: SpreadSheets as a Programming Paradigm – Project's Final Report. HASLab - High-Assurance Software Laboratory & Universidade do Minho, 2014.
AbstractThis technical report describes the research goals and results of the SpreadSheet as a Programming Paradigm research project. This was a project funded by Funda{\c c}ão para a Ciencia e Tecnologia – FCT: the Portuguese research foundation, under reference FCOMP-01-0124-FEDER-010048, that ran from May 2010 till July 2013. This report includes the complete document reporting the results achieved during the project execution, which was submitted to FCT for evaluation on October 2013. It describes the goals of the project, and the different research tasks presenting the deliver- ables of each of them. It also presents the management and result dissemination work performed during the project's execution. The document includes also a self assess- ment of the achieved results, and a complete list of scientific publications describing the contributions of the project. Finally, this document includes the FCT evaluation report.
Huisman, G., Bruijnes, M., Kolkmeier, J., Jung, M., Frederiks, A.D., and Rybarczyk Y. "
Touching virtual agents: embodiment and mind."
Innovative and Creative Developments in Multimodal Interaction Systems . Eds. Y. Rybarczyk, T. Cardoso, J. Rosas, and L. Camarinha-Matos. Heidelberg: Springer, 2014. 114-138.
Gomes, Isabel, Jorge Santos, Luís Cavique, Nelson C. Martins, Manuel Vieira, Paula Amaral, Raquel Barreira, and Vitor H. Fernandes AMT (airline maintenance technicians) timetabling optimization- ESGI101 - Relatório Final- TAP-AMT. ESGI 101, FCT, UNL, 2014, 2014.
Abstractn/a