Abstract
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a specification methodology for reconfigurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

Abstract
The incredible numbers associated with social network sites makes technology a very attractive element in the eyes of organizations. Despite this, the existing scholarly literature does not demonstrate sufficient knowledge on how firms should adopt and use these technologies. With this lack in mind, a study was conducted aiming to understand what might be the determinants with the most influence on the SNS adoption process at firm level. the study was performed making use of a mixed methodology approach. In order to achieve an initial list of variables that might have a significant level of relative importance (RI) to the adoption of SNS, a Delphi study was designed and executed through the inclusion of 25 experts in the IT/IS area. From the Delphi results, a proposal for an adoption model that characterized the adoption of SNS at firm level was designed and validated through an empirical study. This empirical approach revealed that the proposed model explained 65% of variation in SNS adoption at firm level. The active involvement of top management, the alignment of the SNS plan with the firm's business plan, the existence of competitive pressures, and the use of SNS for gaining competitive advantages are the determinants with the most influence on technology adoption by firms.

Abstract
O uso das Tecnologias da Informação envolve uma crescente geração de resíduos eletrônicos, pois devido à rápida inovação tecnológica estes, em um curto espaço temporal, tornam-se obsoletos e têm seu ciclo de vida reduzido. Este artigo apresenta o desenvolvimento de modelos de simulação para avaliação dos impactos ambientais e financeiros ocasionados pela extensão do ciclo de vida de computadores pessoais por meio de seu reuso e remanufatura. Para a modelagem do sistema, foi utilizada a metodologia de Dinâmica de Sistemas mediante uso do simulador Vensim. Para a experimentação, verificação e validação do modelo, foram definidos dois cenários: otimista, com altas taxas de reutilização do resíduo; e moderado, com taxas menores de reutilização. Na concepção do modelo, optou-se pela construção deste em submodelos, de modo a facilitar a sua experimentação e análise. Assim, foram desenvolvidos três submodelos, os quais foram denominados: Aquisição/Descarte, PC Remanufaturado e Avaliação dos Benefícios. 

Abstract

Abstract

Abstract
This chapter presents the final version of the procedural modelling methodology which works with an ontology-based grammar. Its procedural modelling process supports the generation of virtual buildings delimited by non-convex shapes, with divisions constrained by a variable number of delimiting wall segments. Furthermore, an experimental graph-based stochastic process that bridges with this methodology to enable the production of virtual random buildings is covered. © The Author(s) 2016.