220 research outputs found

    Animace ve Flashi pomocĂ­ ConTeXt-mkiv

    Get PDF
    summary:Starting from release 9 AdobeReader, the reference PDF viewer from Adobe, has a Flash player embedded. The recent addition to CTAN of flashmovie package by Timo Hartmann prompted me to investigate the feasibility of an integration between ConTeXt-mkiv and swf figures. All tests were performed under Linux Ubuntu 8.04 with AdobeReader 9.3.3 installed, but I suppose they also work under Windows or Mac operating systems.summary:Článek představuje jednu z možností, jak vložit animace vytvořené ve Flashi do PDF. Používá na to ConTeXt-mkiv, který využívá programovacího jazyka Lua

    Modeling Virtual Reality Web Application

    Get PDF
    This chapter introduce Quest 3D, that is a perfect software package for creating interactive 3D scene including product presentation, architectural visualizations, virtual trainings and computer games. Quest 3D is a software for creating interactive 3D scene, in a unique style of programming. Instead of having to write thousands of lines of complex code, developers make use of a large set of a powerful building blocks. Both flexible and easy to use, Quest 3D appeals to designers, programmers and artist alike. Working with Quest 3D means developing in a real-time: you are working directly on the end result. No time will be lost on compiling code or rendering image. While the logic tree scanning goes on, system shows the visualization of scene in the window application. Quest 3D has a stunning set of graphics features. Large numbers of animated people, vegetation, shadows, fire and smoke effects and realistic water can all be easily added to a scene. Advanced features include physics simulation, path finding routines, database connectivity and networking support. By this way is possible design very simple scene like extremely complex projects: software product always will appear readable and smart

    “Calculs chronologiques en crise : autour des modalités linéaires et circulaires de datations sous le règne de Justinien”

    Get PDF
    Undermined by the crossing of the period around the year 500 without any ending of time , dating system based on the creation of the world with its 6000 years of duration (with a birth of Christ placed c.5500)enters into crisis shortly after the beginning of the sixth century . Under the reign of Justinian , some seek to disqualify the term assumed by shifting the count . Better yet, the emperor himself is promoting the alternative of an optimistic vision for the future through legislation (Novelle 47, 537) . He holds a triple reference ( year reign consulate and indiction ) . But quickly, while the consular datation seems to be suspended , the year of the indiction cycle takes the ascendant, as if the intelligibility of the succession of time and the age of the world had become uncertain in front of the evils experienced in Empire from 540 onwards. So alternative designs, no disentangled , are still in a situation to compete at the end of the reign of the old soverei

    ProverX: rewriting and extending prover9

    Get PDF
    O propósito principal deste projecto é tornar o demonstrador automático de teoremas Prover9 programável e, por conseguinte, extensível. Este propósito foi conseguido acrescentando um interpretador de Python, uma linha de comandos e uma biblioteca de módulos, objectos e funções escritos em Python para interagir com ficheiros de Prover9 e Mace4. Foi também criada uma “interface” gráfica de utilizador (GUI) sob a forma de uma aplicação web para trazer aos utilizadores um meio mais eficiente e rápido de trabalhar com demonstrações automáticas de teoremas. A nova biblioteca de “scripting” oferece aos utilizadores novas funcionalidades tais como correr várias sessões simultâneas de Prover9 parando automaticamente quando uma demonstração (ou um contraexemplo) é encontrada, elaborar estratégias para aumentar a velocidade com que as demonstrações são encontradas ou diminuir o tamanho das mesmas. Outro módulo permite interagir com o sistema de álgebra GAP. Sobre esta biblioteca, muitas outras funcionalidades podem ser facilmente acrescentadas pois o objectivo principal é dar aos utilizadores a capacidade de acrescentar novas funcionalidades ao Prover9. Resumindo, o objectivo deste projecto é oferecer à comunidade matemática um ambiente integrado para trabalhar com demonstração automática de teoremas.The primary purpose of this project is to extend Prover9 with a scripting language. This was achieved by adding a Python interpreter, an interactive command line and a special scripting library to interact with Prover9 and Mace4 files. A user interface in the form of a web application was also created to help users achieve a more rapid and efficient way of working with automated theorem proving. The new scripting library offers utilities that allows a user to run several Prover9 sessions concurrently and to create strategies for increasing the effectiveness of the proof search or to search for shorter proofs. Another module allows to interact with the algebra system GAP. Based on the library, many more functionalities can be easily added, as the main goal is to give users the ability to extend the functionality of Prover9 the way they see fit. In conclusion, the aim of this project is to offer to the mathematical community an integrated environment for working with automated reasonin

    Smart Frame - A Location Sensing Picture Frame using IOT

    Get PDF
    To make communication easier, We have created a IOT Location Sensing Picture Frame. A decorative item which acts smart to tell the user the location of their family member. Each family member has a photo of themselves in the picture frame. Each photo has a corresponding strip of lights that is controlled by an app which runs in the background of the designated family member’s smart phone. The lights are programmed to display colors in a spectrum ranging from red to green. Even the app is designed in such a way that a panic alert can be sent to the emergency contact and alert will be depicted in the photo frame with red lights and a buzzer

    IOT based on Smart Waste Mangement In Smart Cities

    Get PDF
    India which having 4,041 cities and towns, to clean the streets, roads and infrastructure of the country. The main motto of the mission is to clean garbage disposal of all the rural and urban areas of the country. This paper describe if wastage dust is filled (or) decompose waste in garbage disposal side garbage status is upload on web-page. Municipality member login that web-page and went particular area clean the wastage. If person did not clean the wastage before two days notification sent higher officers. IOT, controller & sensor are used. Here IOT module is used to control and monitor the waste and the information will be sent to the particular organization and the common man

    Smart Home Automation System Using IOT

    Get PDF
    While the cost of living is going up, there is a growing focus to involve technology to lower those prices. With this in mind the Smart Home research allows the user to build and maintain a house that is smart enough to keep energy levels down while providing more automated applications. This concept can be suitably included to make our house smarter, saver, energy efficient and automated. This research focuses on building a save, automated system by using the internet connection that will smartly control the appliances like Lights, Fan, and other electrical appliances in our home. A smart home will take advantage of its environment and allow seamless control whether the user is present or away. This paper helps in saving the cost of electricity at home as well as saving the environment using wireless connections. With a home that has this advantage, you can know that your home is performing at its best in energy performance. By implementing this system, it is possible to explore a variety of different engineering challenges, including software programming arduino IDE, Wi-Fi, nodemcu, relay module, jumper wires and DC supply power. It can be control through smartphone. With prototype model, standard updates are basically a requirements. However, based on the result, this automation system provides great insights to the challenges of software and hardware design
    • …
    corecore