Cunha, Jácome, João P. Fernandes, Hugo Ribeiro, and João Saraiva. "
Towards a Catalog of Spreadsheet Smells."
Proceedings of the 12th International Conference on Computational Science and Its Applications - Volume Part IV. ICCSA'12. Berlin, Heidelberg: Springer-Verlag, 2012. 202-216.
AbstractSpreadsheets are considered to be the most widely used programming language in the world, and reports have shown that 90% of real-world spreadsheets contain errors. In this work, we try to identify spreadsheet smells, a concept adapted from software, which consists of a surface indication that usually corresponds to a deeper problem. Our smells have been integrated in a tool, and were computed for a large spreadsheet repository. Finally, the analysis of the results we obtained led to the refinement of our initial catalog.
Cunha, Jácome, João Paulo Fernandes, Jorge Mendes, and João Saraiva. "
Towards an Evaluation of Bidirectional Model-driven Spreadsheets."
User evaluation for Software Engineering Researchers. USER' 12. ACM Digital Library, 2012. 25-28.
AbstractSpreadsheets are widely recognized as popular programming systems with a huge number of spreadsheets being created every day. Also, spreadsheets are often used in the decision processes of profit-oriented companies. While this illustrates their practical importance, studies have shown that up to 90% of real-world spreadsheets contain errors. In order to improve the productivity of spreadsheet end-users, the software engineering community has proposed to employ model-driven approaches to spreadsheet development. In this paper we describe the evaluation of a bidirectional model-driven spreadsheet environment. In this environment, models and data instances are kept in conformity, even after an update on any of these artifacts. We describe the issues of an empirical study we plan to conduct, based on our previous experience with end-user studies. Our goal is to assess if this model-driven spreadsheet development framework does in fact contribute to improve the productivity of spreadsheet users.
Baptista, Susana, Maria Isabel Gomes, and Ana Paula Barbosa-povoa. "
A Two-Stage Stochastic Model for the Design and Planning of a Multi-Product Closed Loop Supply Chains."
22nd European Symposium on Computer Aided Process Engineering. Eds. Ian David Lockhart Bogle, and Michael Fairweather. Vol. 30. Computer Aided Chemical Engineering, 30. London: Elsevier, 2012. 412-416.
AbstractIn this paper we address the problem of uncertainty in the design and planning of a multi-period, multi-product closed loop supply chain, where the recovered products are end-of-life products that are disassembled and recycled. Uncertainty is explicitly modelled by considering customers’ demands and returns to be stochastic. A two–stage model is developed where first stage decisions concern the facility location while second stage decisions are the production planning of the supply chain. The integer L- shaped method was adopted as the solution tool and computational tests were performed on multi-period and multi-commodity networks randomly generated based on a reference case. A comparison between the proposed solution method and the straight use of the CPLEX is performed.
Farchi, Eitan, Itai Segall, João M. Lourenço, and Diogo Sousa. "
Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe."
PADTAD'12: Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD. Minneapolis, MN, USA: ACM, 2012.
AbstractA set of methods defining an API (Application Programming Interface) are to be made thread safe; thus running any subset of these methods in parallel should not create races or deadlocks. Originally, the set of methods were not designed to be thread safe, so races and deadlocks are expected when running them in parallel. The number of possible interleavings when running methods from this API in parallel is huge, and this work focuses on the identification of the high level data races introduced by such interleavings. We propose an analysis that avoids the exhaustive exploration of all possible interleavings. For a concurrent program P, the closure of P, clos(P), is defined. Roughly speaking, we can say that the clos(P) is obtained by adding threads to P in such a way that high level data races resulting from running P in parallel to other programs are exposed statically. A set of methods representing the API is then modeled as a set of concurrent programs and their closure is analysed to identify high level data races. These high level data races are then inspected and removed to make the API thread safe. We illustrate the application of this methodology with a simple use case.
Romain, Charles, Vitor Rosa, Christophe Fliedel, Frederic Bier, Frederic Hild, Richard Welter, Samuel Dagorne, and Teresa Aviles. "
{Highly active zinc alkyl cations for the controlled and immortal ring-opening polymerization of epsilon-caprolactone}."
{DALTON TRANSACTIONS}. {41} (2012): {3377-3379}.
Abstract{Zinc alkyl cations supported by N,N-BIAN-type bidentate ligands were found to be highly active in the immortal ROP of epsilon-caprolactone to yield narrowly disperse and chain length-controlled poly(epsilon-caprolactone), whether in solution or bulk polymerization conditions.}
Li, Lidong, Patricia S. Lopes, Vitor Rosa, Claudia A. Figueira, Amelia M. N. D. A. Lemos, Teresa M. Duarte, Teresa Aviles, and Pedro T. Gomes. "
{Synthesis and structural characterisation of (aryl-BIAN)copper(I) complexes and their application as catalysts for the cycloaddition of azides and alkynes}."
{DALTON TRANSACTIONS}. {41} (2012): {5144-5154}.
Abstract{{A series of Ar-BIAN-based copper(I) complexes (where Ar-BIAN = bis(aryl) acenaphthenequinonediimine) were synthesised and characterised by H-1 and C-13 NMR spectroscopies, FT-IR spectroscopy, MALDI-TOF-MS spectrometry, cyclic voltammetry and single crystal X-ray diffraction. The bis-chelated complexes of general formula {[}Cu(Ar-BIAN)(2)]BF4 (where Ar = C6H5 (1), 4-iPrC(6)H(4) (3), 2-iPrC(6)H(4) (4)) were prepared by reaction of {[}Cu(NCMe)(4)]BF4 with two equivalents of the corresponding Ar-BIAN ligands, in dichloromethane, while the mono-chelated complexes of the type {[}Cu(Ar-BIAN)L2]BF4 (where Ar = 2,6-iPr(2)C(6)H(3)
Graham, Lisa M., Vandana Gupta, Georgia Schafer, Delyth M. Reid, Matti Kimberg, Kevin M. Dennehy, William G. Hornsell, Reto Guler, Maria A. Campanero-Rhodes, Angelina S. Palma, Ten Feizi, Stella K. Kim, Peter Sobieszczuk, Janet A. Willment, and Gordon D. Brown. "
The C-type Lectin Receptor CLECSF8 (CLEC4D) Is Expressed by Myeloid Cells and Triggers Cellular Activation through Syk Kinase."
Journal of Biological Chemistry. 287 (2012): 25964-25974.
Abstractn/a