312 research outputs found

    Statistical Model Checking of Rich Models and Properties

    Get PDF

    Battista Pittoni, Lodovico Dolce: Imprese di diversi principi, duchi, signori, e d’altri personaggi et huomini illustri di Battista Pittoni pittore vicentino. Con alcune stanze, sonetti di Lodovico Dolce (Venedig 1602) (FONTES 33)

    Get PDF
    The introduction treats the impresa Albums of Pittoni with regard to the question, „What is an impresa?“. There follows bibliographical information about impresa studies. Once established what an impresa is, there remain other perspectives from which to examine the impresa books of Battista Pittoni. As an introduction, the text considers a variety of topics, including the history of the impresa book; invention and illustration: the parts of Pittoni and of Dolce; Battista Pittoni and his disegno morbido; the importance of Battista Pittoni’s Imprese: beyond emblematics; Pittoni’s Imprese and the arts; artists’s imprese: Titian and Pittoni; architecture in the Imprese; Battista Pittoni and Hieronymus Cock; the decorative imagery of Battista Pittoni; and, in conclusion: the impresa book as a social medium and as a mirror of social, political, and cultural history. Following the introduction is found biographical and bibliographical information about the authors, Lodovico Dolce and Battista Pittoni, and then links to online sources for emblems and imprese. The electronic indexing (Erschliessung) of the book is accomplished by the following elements: a transcription of all of the written parts of the work in full text form; an index of impresa bearers in the 1602 edition; an index of the decorative and ornamental motives of the impresa frames; an index of the mottos of the imprese; a picture index of the imprese

    Conceção e desenvolvimento de uma plataforma de componentes web em HTML5

    Get PDF
    Mestrado em Sistemas de InformaçãoCom a evolução da web e com uma maior dependência das aplicações web, surge a necessidade de se desenvolver aplicações web de uma forma mais rápida e modular, deixando então de se repetir pedaços de código e permitindo identificar de uma forma mais e ciente o que está a ser introduzido na aplicação. Com a introdução do conceito de Componentes Web surgem os conceitos de componentes modulares, reutilizáveis e isolados com os quais e possível desenvolver aplicações de uma forma mais rápida e eficaz. Este trabalho surge numa colaboração entre a empresa Nokia Solutions and Networks e a Universidade de Aveiro, onde foi iniciada a construção de uma plataforma de componentes e implementação dos mesmos num produto existente, o Nokia Performance Manager.With evolution of web and with a more dependency on web applications, emerge the need to develop web applications in a easy and modular way. With a modular approach it is possible to stop replicate code and allow the identi cation of components in a application. With the introduction of Web Components emerge the concept of modular, reusable and isolated components with which it is possible to develop applications in a easy and faster way. This work was a collaboration between the company Nokia Solutions and Networks and University of Aveiro, where was started the construction of a framework of components and implementation of the components at the Nokia Performance Manager, an existing product

    Nonlinear optimal control methods for eco-driving and complete vehicle energy management

    Get PDF

    Nonlinear optimal control methods for eco-driving and complete vehicle energy management

    Get PDF

    Support tools for 3D game creation

    Get PDF
    Nowadays, tools for developing videogames are a very important part of the development process in the game industry. Such tools are used to assist game developers in their tasks, allowing them to create functional games while writing a few lines of code. For example, these tools allow the users to import the content for the game, set the game logic, or produce the source code and compile it. There are several tasks and components regarding the development of videogames that may become unproductive, therefore, it’s necessary to automate and/or optimize such tasks. For example, the programming of events or dialogs can be a task that consumes too much time in the development cycle, and a tedious and repetitive task for the programmer. For this reason, the use of tools to support these tasks can be very important to increase productivity and help on the maintenance of the various processes that involve the development of videogames. This dissertation aims to demonstrate the advantages of the use of these kind of tools during the development of videogames, presenting a case study involving the development of a Serious Game entitled Clean World.Atualmente, as ferramentas para o desenvolvimento de jogos são uma parte bastante importante de todo o processo de desenvolvimento. Estas ferramentas servem para assistir os criadores de jogos nas tarefas que realizam, permitindo-lhes a criação de jogos funcionais escrevendo poucas linhas de código. Desenvolver um videojogo sem a utilização de ferramentas especializadas é um processo complexo e que consome bastante tempo, daí a existência de ferramentas que permitem ao utilizador importar os conteúdos para o jogo, definir a lógica de jogo, produzir o código fonte e compilá-lo. Este tipo de software é normalmente utilizado por quem se dedica à criação de jogos como hobby, ou por profissionais que procuram otimizar o processo de desenvolvimento de jogos. Existem várias componentes ao nível do desenvolvimento de videojogos que se tornam pouco produtivas, se não forem automatizados e/ou otimizadas. Por exemplo, a programação de eventos ou de diálogos pode ser uma tarefa que consome demasiado tempo no ciclo de desenvolvimento, para além de ser uma tarefa entediante e repetitiva no ponto de vista do programador. Por este motivo, a utilização de ferramentas pode ser muito importante no que diz respeito ao aumento da produtividade e manutenção dos vários processos que envolvem o desenvolvimento de videojogos. Nesta dissertação pretendemos demonstrar as vantagens da utilização dessas mesmas ferramentas durante o desenvolvimento de videojogos, através da apresentação de um caso de estudo que envolve o desenvolvimento de um Serious Game intitulado Clean World. Em Clean World, foram identificadas determinadas tarefas que se mostraram demasiado repetitivas e entediantes quando programadas por inteiro, como é o caso da adição, modificação ou remoção de componentes como diálogos, quest ou items. Tendo em conta este problema concreto, foram criadas algumas ferramentas de forma a aumentar a produtividade no desenvolvimento do jogo, tornando tarefas repetitivas e entediantes em processos simples e intuitivos. O conjunto de ferramentas é constituído por: Item Manager, Quest Manager, Dialog Manager e Terrain Creator
    corecore