A internet e o sistema de justiça

The subject of study of this Thesis aims to highlight and recognize as an object of reflection the undoubted relationship between the Internet and the Justice System, based on the issue of digital evidence. The simultaneously crossing of the juridical-legal implications and the more technical computer issues is the actual trigger for the discussion of the issues established. The Convention on Cybercrime of the Council of Europe of 23rd November 2001 and the Council Framework Decision n.° 2005/222/JHA of 24th February 2005 were avant-garde in terms of the international work about the crimes in the digital environment. In addition they enabled the harmonization of national legislations on the matter and, consequently, a greater flexibility in international judicial cooperation. Portugal, in compliance with these international studies, ratified, implemented and approved Law n. º 109/2009 of 15th September concerning the Cybercrime Act, establishing a more specific investigation and collection of evidence in electronic support when it comes to combating this type of crime, as it reinforced the Substantive Criminal Law and Procedural Nature. Nevertheless, the constant debates about the New Technologies of Information and Communication have not neglected the positive role of these tools for the user. However, they express a particular concern for their counterproductive effects; a special caution prevails on the part of the judge in assessing the digital evidence, especially circumstantial evidence, due to the its fragility. Indisputably, the practice of crimes through the computer universe, given its inexorable technical complexity, entails many difficulties for the forensic investigation, since the proofs hold temporary, changeable, volatile, and dispersed features. In this pillar, after the consummation of iter criminis, the Fundamental Rights of the suspects may be debated in the course of the investigation and the construction of iter probatorium. The intent of this Thesis is to contribute in a reflective way on the issues presented in order to achieve a bigger technical and legal awareness regarding the collection of digital proof, looking for a much lighter approach to its suitability in terms of evidentiary value.

Configurador de sistemas distribuídos de controlo especificados através de redes de Petri IOPT

O objetivo principal deste trabalho é desenvolver um protótipo de ferramenta que permita a geração de ficheiros de configuração de sistemas distribuídos de controlo em plataformas específicas permitindo a integração de um conjunto de componentes previamente definidos. Cada componente é caracterizado como um módulo, identificando-se o conjunto de sinais e eventos de entrada e saída, bem como o seu comportamento, normalmente especificado através de um modelo em redes de Petri IOPT – RdP-IOPT (Input-Output Place-Transitions). O formato PNML (Petri Net Markup Language) será utilizado para a representação de cada componente. Os componentes referidos poderão ser obtidos através de vários métodos, nomeadamente através de ferramentas em desenvolvimento, que se encontram disponíveis em http://gres.uninova.pt/IOPT-Tools/ e também através da sua edição no editor de IOPT, como resultado da partição de um modelo expresso em IOPT, utilizando o editor Snoopy-IOPT em conjugação com a ferramenta SPLIT. Serão considerados várias formas para interligação dos componentes, incluindo-se ligações diretas e wrappers assíncronos num contexto de sistemas Globalmente Assíncronos Localmente Síncronos - GALS bem como diferentes tipos de barramentos e ligações série, incluindo Network-On-Chip específicos. A descrição da interligação entre componentes é gerada automaticamente pela ferramenta desenvolvida, tendo em conta resultados de dissertações de mestrado anteriores. As plataformas especificas de suporte à implementação incluem FPGA’s da serie Xilinx Spartan3,3E e Xilinx Virtex, e várias placas de desenvolvimento.

Unilever food solutions new digital CRM platform- what is the combination of tools, processes and content that will help Unilever food solutions grow his business?

Unilever Food Solutions new digital CRM1 Platform - What is the combination of tools, processes and content that will help Unilever Food Solutions grow his business? Unilever Food Solutions (UFS) intend to create a new online platform to enable it to communicate with segments of the markets, which have previously been too difficult to reach. Specifically targeted at Chefs and other food professionals, the aim is to create an interactive website, which delivers value to its intended users by providing a variety of relevant content and functions, while simultaneously opening up a potential transactional channel to those same users.

A new credit monitoring framework for agents' networks

The purpose of this work is to develop a practicable approach for Telecom firms to manage the credit risk exposition to their commercial agents’ network. Particularly it will try to approach the problem of credit concession to clients’ from a corporation perspective and explore the particular scenario of agents that are part of the commercial chain of the corporation and therefore are not end-users. The agents’ network that served as a model for the presented study is composed by companies that, at the same time, are both clients and suppliers of the Telecommunication Company. In that sense the credit exposition analysis must took into consideration all financial fluxes, both inbound and outbound. The current strain on the Financial Sector in Portugal, and other peripheral European economies, combined with the high leverage situation of most companies, generates an environment prone to credit default risk. Due to these circumstances managing credit risk exposure is becoming increasingly a critical function for every company Financial Department. The approach designed in the current study combined two traditional risk monitoring tools: credit risk scoring and credit limitation policies. The objective was to design a new credit monitoring framework that is more flexible, uses both external and internal relationship history to assess risk and takes into consideration commercial objectives inside the agents’ network. Although not explored at length, the blueprint of a Credit Governance model was created for implementing the new credit monitoring framework inside the telecom firm. The Telecom Company that served as a model for the present work decided to implement the new Credit Monitoring framework after this was presented to its Executive Commission.

The role of crowdfunding in promoting entrepreneurship

Crowdfunding is a collaborative initiative, usually via internet, where people network to collectively raise funds in order to invest in and support projects delivered by other people or organizations. Tools such as crowdfunding are born and thrive in a grassroots environment, with a strong potential to positively disrupt the entrepreneurial generation setting and grow to a position of significant relevance in society, namely at a time when alternatives to traditional forms of finance are welcome and the technology to deliver them is abundant. Entrepreneurship is the act of transforming ideas and projects into economic products or services. Entrepreneurship related to starting new businesses is better known as start‐up ventures. Entrepreneurs face a series of challenges, from idea conception and business plan design, to obtaining finance, promoting new products and services, generating revenues and profits and generally growing and sustaining a business for the long‐run. These challenges can be overwhelming, namely in the start‐up phase of a new venture, leaving several ideas on paper without them having a chance to “grow legs and walk”. This paper and its analysis offer important insights about the contribution of crowdfunding to facilitate the attainment of critical factors for successful entrepreneurship. With extensive use of real practical examples, leveraging previous analytical studies of other crowdfunding implications and reviewing expert literature, by interviewing entrepreneurs, crowdfunding platform owners and by benefitting from hands on experience of working in such an organization, we intend to clarify the impact of crowdfunding in what we considered to be 7 key entrepreneurial requirements detailed further in the introduction section and later in the body of the paper. The findings have implications for entrepreneurs, naturally, and for business generation theory, extending current entrepreneurial guidelines with innovative tools and methodologies capable of sustaining successful ventures in a newly highlighted cooperative world. We live in innovative times where the channels for the transfer of funds and resources suffer disruptive changes with the potential to significantly improve the ability to generate new initiatives for the well‐being of entrepreneurs and all related communities.

New tools for old organelles

For hundreds of years biologists have studied the naturally occurring diversity in plant and animal species. The invention of the electron microscope in the rst half of the 1900's reveled that cells also can be incredible complex (and often stunningly beautiful). However, despite the fact that the eld of cell biology has existed for over 100 years we still lack a formal understanding of how cells evolve: It is unclear what the extents are in cell and organelle morphology, if and how diversity might be constrained, and how organelles change morphologically over time.(...)

Skin-derived cell-sheets as powerful tools to engineer skin analogues

Cell/cell-extracellular matrix (ECM) dynamic interactions appear to have a major role in regulating communication through soluble signaling, directing cell binding and activating substrates that participate in the highly organized wound healing process. Moreover, these interactions are also crucial for in vitro mimicking cutaneous physiology. Herein we explore cell sheet (CS) engineering to create cellular constructs formed by keratinocytes (hKC), fibroblasts (hDFB) and dermal microvascular endothelial cells (hDMEC), to target skin wound healing but also the in vitro recreation of relevant models. Taking advantage of temperature-responsive culture surfaces, which allow harvesting cultured cells as intact sheets along with the deposited native ECM, varied combinations of homotypic and heterotypic three-dimensional (3-D) CS-based constructs were developed. Constructs combining one CS of keratinocytes as an epidermis-like layer plus a vascularized dermis composed by hDFB and hDMECs were assembled as skin analogues for advancing in vitro testing. Simultaneously both hKC and hDMEC were shown to significantly contribute to the re-epithelialization of full-thickness mice skin wounds by promoting an early epithelial coverage, while hDMEC significantly lead to increased vessels density, incorporating the neovasculature. Thus, although determined by the cellular nature of the constructs, these outcomes demonstrated that CS engineering appear as an unique technology that open the possibility to create numerous combinations of 3D constructs to target defective wound healing as well as the construction of in vitro models to further mimic cutaneous functions crucial for drug screening and cosmetic testing assays.

"Virar a Sala de Aula”: centrar a aprendizagem no aluno recorrendo a ferramentas cognitivas

Relatório de projeto de mestrado em Ensino de Informática

Comparing standard and low-cost tools for gradient evaluation along potential cycling paths

Promoting the use of non-motorized modes of transport, such as cycling, is an important contribution to the improvement of mobility, accessibility and equity in cities. Cycling offers a fast and cheap transportation option for short distances, helping to lower pollutant emissions and contributing to a healthier way of life. In order to make the cycling mode more competitive in relation to motorized traffic, it is necessary to evaluate the potential of alternatives from the perspective of the physical effort. One way to do so consists of assessing the suitability of locations for implementing cycling infrastructures. In this work, four tools to determine the gradient along potential cycling paths are compared. Furthermore, an evaluation of the reliability of some low-cost tools to measure this parameter was conducted, by comparison with standard measurements using cartographic plans, on a field case study applied to the city of Braga, Portugal. These tools revealed a good level of accuracy for the planning stage, but proved to be less reliable for use in design.

Affordable prefabricated modular houses using cement and polymer based materials and advanced design tools

By taking advantage of the appropriate use of cement and polymer based materials and advanced computational tools, a pre-fabricated affordable house was built in a modular system. Modular system refers to the complete structure that is built-up by assembling pre-fabricated sandwich panels composed of steel fibre reinforced self-compacting concrete (SFRSCC) outer layers that are connected by innovative glass fibre reinforced polymer (GFRP) connectors, resulting in a panel with adequate structural, acoustic, and thermal insulation properties. The modular house was prepared for a typical family of six members, but its living area can be easily increased by assembling other pre-fabricated elements. The speed of construction and the cost of the constructive elements make these houses competitive when compared to traditional solutions. In this paper the relevant research subjacent to this project (LEGOUSE) is briefly described, as well as the construction process of the built real scale prototype.

A novel approach for honey pollen profile assessment using an electronic tongue and chemometric tools

Nowadays the main honey producing countries require accurate labeling of honey before commercialization, including floral classification. Traditionally, this classification is made by melissopalynology analysis, an accurate but time-consuming task requiring laborious sample pre-treatment and high-skilled technicians. In this work the potential use of a potentiometric electronic tongue for pollinic assessment is evaluated, using monofloral and polyfloral honeys. The results showed that after splitting honeys according to color (white, amber and dark), the novel methodology enabled quantifying the relative percentage of the main pollens (Castanea sp., Echium sp., Erica sp., Eucaliptus sp., Lavandula sp., Prunus sp., Rubus sp. and Trifolium sp.). Multiple linear regression models were established for each type of pollen, based on the best sensors sub-sets selected using the simulated annealing algorithm. To minimize the overfitting risk, a repeated K-fold cross-validation procedure was implemented, ensuring that at least 10-20% of the honeys were used for internal validation. With this approach, a minimum average determination coefficient of 0.91 ± 0.15 was obtained. Also, the proposed technique enabled the correct classification of 92% and 100% of monofloral and polyfloral honeys, respectively. The quite satisfactory performance of the novel procedure for quantifying the relative pollen frequency may envisage its applicability for honey labeling and geographical origin identification. Nevertheless, this approach is not a full alternative to the traditional melissopalynologic analysis; it may be seen as a practical complementary tool for preliminary honey floral classification, leaving only problematic cases for pollinic evaluation.

Process simulation support in BPM tools: The case of BPMN

Due to the increasing acceptance of BPM, nowadays BPM tools are extensively used in organizations. Core to BPM are the process modeling languages, of which BPMN is the one that has been receiving most attention these days. Once a business process is described using BPMN, one can use a process simulation approach in order to find its optimized form. In this context, the simulation of business processes, such as those defined in BPMN, appears as an obvious way of improving processes. This paper analyzes the business process modeling and simulation areas, identifying the elements that must be present in the BPMN language in order to allow processes described in BPMN to be simulated. During this analysis a set of existing BPM tools, which support BPMN, are compared regarding their limitations in terms of simulation support.

Towards automated test and validation of SIP solutions

IP networks are currently the major communication infrastructure used by an increasing number of applications and heterogeneous services, including voice services. In this context, the Session Initiation Protocol (SIP) is a signaling protocol widely used for controlling multimedia communication sessions such as voice or video calls over IP networks, thus performing vital functions in an extensive set of public and enter- prise solutions. However, the SIP protocol dissemination also entails some challenges, such as the complexity associated with the testing/validation processes of IMS/SIP networks. As a consequence, manual IMS/SIP testing solutions are inherently costly and time consuming tasks, being crucial to develop automated approaches in this specific area. In this perspective, this article presents an experimental approach for automated testing/validation of SIP scenarios in IMS networks. For that purpose, an automation framework is proposed allowing to replicate the configuration of SIP equipment from the pro- duction network and submit such equipment to a battery of tests in the testing network. The proposed solution allows to drastically reduce the test and validation times when compared with traditional manual approaches, also allowing to enhance testing reliability and coverage. The automation framework comprises of some freely available tools which are conveniently integrated with other specific modules implemented within the context of this work. In order to illustrate the advantages of the proposed automated framework, a real case study taken from a PT Inovação customer is presented comparing the time required to perform a manual SIP testing approach with the one time required when using the proposed auto- mated framework. The presented results clearly corroborate the advantages of using the presented framework.

Towards effective control of P2P traffic aggregates in network infrastructures

Nowadays, many P2P applications proliferate in the Internet. The attractiveness of many of these systems relies on the collaborative approach used to exchange large resources without the dependence and associated constraints of centralized approaches where a single server is responsible to handle all the requests from the clients. As consequence, some P2P systems are also interesting and cost-effective approaches to be adopted by content-providers and other Internet players. However, there are several coexistence problems between P2P applications and In- ternet Service Providers (ISPs) due to the unforeseeable behavior of P2P traffic aggregates in ISP infrastructures. In this context, this work proposes a collaborative P2P/ISP system able to underpin the development of novel Traffic Engi- neering (TE) mechanisms contributing for a better coexistence between P2P applications and ISPs. Using the devised system, two TE methods are described being able to estimate and control the impact of P2P traffic aggregates on the ISP network links. One of the TE methods allows that ISP administrators are able to foresee the expected impact that a given P2P swarm will have in the underlying network infrastructure. The other TE method enables the definition of ISP friendly P2P topologies, where specific network links are protected from P2P traffic. As result, the proposed system and associated mechanisms will contribute for improved ISP resource management tasks and to foster the deployment of innovative ISP-friendly systems.

Automated network resilience optimization using computational intelligence methods

This paper presents an automated optimization framework able to provide network administrators with resilient routing configurations for link-state protocols, such as OSPF or IS-IS. In order to deal with the formulated NP-hard optimization problems, the devised framework is underpinned by the use of computational in- telligence optimization engines, such as Multi-objective Evolutionary Algorithms (MOEAs). With the objective of demonstrating the framework capabilities, two il- lustrative Traffic Engineering methods are described, allowing to attain routing con- figurations robust to changes in the traffic demands and maintaining the network stable even in the presence of link failure events. The presented illustrative results clearly corroborate the usefulness of the proposed automated framework along with the devised optimization methods.