Secure Tropos: A Security-Oriented Extension of the Tropos methodology

Although security plays an important role in the development of multiagent systems, a careful analysis of software development processes shows that the definition of security requirements is, usually, considered after the design of the system. One of the reasons is the fact that agent oriented software engineering methodologies have not integrated security concerns throughout their developing stages. The integration of security concerns during the whole range of the development stages can help towards the development of more secure multiagent systems. In this paper we introduce extensions to the Tropos methodology to enable it to model security concerns throughout the whole development process. A description of the new concepts and modelling activities is given along with a discussion on how these concepts and modelling activities are integrated to the current stages of Tropos. A real life case study from the health and social care sector is used to illustrate the approach.

ANNUAL REPORT OF THE State Board of Health OF SOUTH CAROLINA FOR THE PERIOD BEGINNING JULY I, 1943, AND ENDING JUNE 30, 1944

This annual report from the South Carolina State Board of Health includes reports from its various divisions, statistical data concerning health issues and a list of board members.

Monsenhor Airosa - pedagogo - empresário : história do colégio de regeneração de Braga : (1869-1931)

Tese de doutoramento, Educação (História da Educação), Universidade de Lisboa, Instituto de Educação, 2015

Estratégias organizacionais : lógicas de ação na gestão do fénomeno da indisciplina de um agrupamento de escolas TEIP

Relatório de estágio de mestrado, Ciências da Educação (Área de especialidade em Administração Educacional), Universidade de Lisboa, Instituto de Educação, 2015

Making way for change at the Bar: The practical implications of the new Bar Standards Board Handbook

The Legal Services Act 2007 caused a need to change professional conduct rules for lawyers in England and Wales. The Bar Standards Board Handbook brings substantial changes to the way barristers are regulated. Changes include litigation rights, reporting of professional misconduct, an increased focus on chambers, and expansion to include employees of chambers and barristers without practicing certificates (unregistered or non-practicing barristers). The approach to enforcement and supervision moves to include elements of outcome focused, principle based and risk based approaches. These changes have the potential to change the practice of different groups of barristers and the dynamics between them.

Board attributes that increase firm risk - evidence from the UK

Purpose – The aim of the paper is to identify the board attributes that significantly increase firm risk. The study aims to find if board size, percentage of non-executive directors, women on the board, a powerful CEO, equity ownership amongst executive board directors and institutional investor ownership, are associated with firm risk. This is the first study that examines which board attributes increase firm risk using a UK based sample. Design/methodology/approach – This empirical study collected secondary data from Bloomberg and Morningstar databases. The data sample is an unbalanced panel of 260 companies’ secondary data on FTSE 350 index in the UK, from 2005 to 2010. The data was statistically analysed using STATA. Findings – The study establishes the board attributes that were significantly related to firm risk. The results show that a board which can increase firm risk is one that is small in size,has high equity ownership amongst executive board directors and has high institutional investor ownership. Research limitations/implications – The governance culture and regulatory system in the UK is different from other countries. Since the data is a UK based sample, the results can lack generalisability. Practical implications – The results are useful for investors who invest in large firms, to have the knowledge about the board attributes that can increase firm risk. Regulators can also use the results to strengthen regulatory guidelines. Originality/value – This study fills the gap in knowledge in UK governance literature on the board attributes that can increase firm risk.

An accessibility planning tool for network transit oriented development : SNAP

In the academic debate regarding the influences between urban form, built environment and travel patterns, a specific idea that has taken hold is that more compact urban development around railway stations, often referred to as Transit Oriented Development (TOD), contributes to the control of vehicle travel and to more sustainable metropolitan systems. According to this general principle this work proposes a GIS accessibility tool for the design of polycentric transit oriented scenario: SNAP - Station Network Accessibility Planning tool. In the first part the state of the art on Transit Oriented Development policies in Europe is presented with a focus on three study cases. In the second part the SNAP tool is described, with remarks to the approach, the methodology and the used indicators. Furthermore the paper discusses an application to the metropolitan area of Naples.

Avaliação de desempenho docente: efeitos no desenvolvimento profissional.

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação - Especialização Supervisão em Educação

Board-level prototype validation: a built-in controller and extended BST architecture

Prototype validation is a major concern in modern electronic product design and development. Simulation, structural test, functional and timing debug are all forming parts of the validation process, although very often addressed as dissociated tasks. In this paper we describe an integrated approach to board-level prototype validation, based on a set of mandatory/optional BST instructions and a built-in controller for debug and test, that addresses the late mentioned tasks as inherent parts of a whole process

CrimsonHex: a service oriented repository of specialised learning objects

The corner stone of the interoperability of eLearning systems is the standard definition of learning objects. Nevertheless, for some domains this standard is insufficient to fully describe all the assets, especially when they are used as input for other eLearning services. On the other hand, a standard definition of learning objects in not enough to ensure interoperability among eLearning systems; they must also use a standard API to exchange learning objects. This paper presents the design and implementation of a service oriented repository of learning objects called crimsonHex. This repository is fully compliant with the existing interoperability standards and supports new definitions of learning objects for specialized domains. We illustrate this feature with the definition of programming problems as learning objects and its validation by the repository. This repository is also prepared to store usage data on learning objects to tailor the presentation order and adapt it to learner profiles.

Algorithm-oriented design of efficient many-core architectures applied to dense matrix multiplication

Recent integrated circuit technologies have opened the possibility to design parallel architectures with hundreds of cores on a single chip. The design space of these parallel architectures is huge with many architectural options. Exploring the design space gets even more difficult if, beyond performance and area, we also consider extra metrics like performance and area efficiency, where the designer tries to design the architecture with the best performance per chip area and the best sustainable performance. In this paper we present an algorithm-oriented approach to design a many-core architecture. Instead of doing the design space exploration of the many core architecture based on the experimental execution results of a particular benchmark of algorithms, our approach is to make a formal analysis of the algorithms considering the main architectural aspects and to determine how each particular architectural aspect is related to the performance of the architecture when running an algorithm or set of algorithms. The architectural aspects considered include the number of cores, the local memory available in each core, the communication bandwidth between the many-core architecture and the external memory and the memory hierarchy. To exemplify the approach we did a theoretical analysis of a dense matrix multiplication algorithm and determined an equation that relates the number of execution cycles with the architectural parameters. Based on this equation a many-core architecture has been designed. The results obtained indicate that a 100 mm(2) integrated circuit design of the proposed architecture, using a 65 nm technology, is able to achieve 464 GFLOPs (double precision floating-point) for a memory bandwidth of 16 GB/s. This corresponds to a performance efficiency of 71 %. Considering a 45 nm technology, a 100 mm(2) chip attains 833 GFLOPs which corresponds to 84 % of peak performance These figures are better than those obtained by previous many-core architectures, except for the area efficiency which is limited by the lower memory bandwidth considered. The results achieved are also better than those of previous state-of-the-art many-cores architectures designed specifically to achieve high performance for matrix multiplication.

Disposable immunosensor using a simple method for oriented antibody immobilization for label-free real-time detection of an oxidative stress biomarker implicated in cancer diseases

This work proposes a novel approach for a suitable orientation of antibodies (Ab) on an immunosensing platform, applied here to the determination of 8-hydroxy-2′-deoxyguanosine (8OHdG), a biomarker of oxidative stress that has been associated to chronic diseases, such as cancer. The anti-8OHdG was bound to an amine modified gold support through its Fc region after activation of its carboxylic functions. Non-oriented approaches of Ab binding to the platform were tested in parallel, in order to show that the presented methodology favored Ab/Ag affinity and immunodetection of the antigen. The immunosensor design was evaluated by quartz-crystal microbalance with dissipation, atomic force microscopy, electrochemical impedance spectroscopy (EIS) and square-wave voltammetry. EIS was also a suitable technique to follow the analytical behavior of the device against 8OHdG. The affinity binding between 8OHdG and the antibody immobilized in the gold modified platform increased the charge transfer resistance across the electrochemical set-up. The observed behavior was linear from 0.02 to 7.0 ng/mL of 8OHdG concentrations. The interference from glucose, urea and creatinine was found negligible. An attempt of application to synthetic samples was also successfully conducted. Overall, the presented approach enabled the production of suitably oriented Abs over a gold platform by means of a much simpler process than other oriented-Ab binding approaches described in the literature, as far as we know, and was successful in terms of analytical features and sample application.

Oriented Tailoring of Plastic Antibodies for Prostate Specific Antigen and Application of the Imprinted Material as Ionophore in Potentiometric Detection

Prostate Specific Antigen (PSA) is the biomarker of choice for screening prostate cancer throughout the population, with PSA values above 10 ng/mL pointing out a high probability of associated cancer1. According to the most recent World Health Organization (WHO) data, prostate cancer is the commonest form of cancer in men in Europe2. Early detection of prostate cancer is thus very important and is currently made by screening PSA in men over 45 years old, combined with other alterations in serum and urine parameters. PSA is a glycoprotein with a molecular mass of approximately 32 kDa consisting of one polypeptide chain, which is produced by the secretory epithelium of human prostate. Currently, the standard methods available for PSA screening are immunoassays like Enzyme-Linked Immunoabsorbent Assay (ELISA). These methods are highly sensitive and specific for the detection of PSA, but they require expensive laboratory facilities and high qualify personal resources. Other highly sensitive and specific methods for the detection of PSA have also become available and are in its majority immunobiosensors1,3-5, relying on antibodies. Less expensive methods producing quicker responses are thus needed, which may be achieved by synthesizing artificial antibodies by means of molecular imprinting techniques. These should also be coupled to simple and low cost devices, such as those of the potentiometric kind, one approach that has been proven successful6. Potentiometric sensors offer the advantage of selectivity and portability for use in point-of-care and have been widely recognized as potential analytical tools in this field. The inherent method is simple, precise, accurate and inexpensive regarding reagent consumption and equipment involved. Thus, this work proposes a new plastic antibody for PSA, designed over the surface of graphene layers extracted from graphite. Charged monomers were used to enable an oriented tailoring of the PSA rebinding sites. Uncharged monomers were used as control. These materials were used as ionophores in conventional solid-contact graphite electrodes. The obtained results showed that the imprinted materials displayed a selective response to PSA. The electrodes with charged monomers showed a more stable and sensitive response, with an average slope of -44.2 mV/decade and a detection limit of 5.8X10-11 mol/L (2 ng/mL). The corresponding non-imprinted sensors showed smaller sensitivity, with average slopes of -24.8 mV/decade. The best sensors were successfully applied to the analysis of serum samples, with percentage recoveries of 106.5% and relatives errors of 6.5%.