909 resultados para mobile computing, tecnologie web, Tizen
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática
Resumo:
A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics
Resumo:
Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.
Resumo:
The mobile IT era is here, it is still growing and expanding at a steady rate and, most of all, it is entertaining. Mobile devices are used for entertainment, whether social through the so-called social networks, or private through web browsing, video watching or gaming. Youngsters make heavy use of these devices, and even small children show impressive adaptability and skill. However not much attention is directed towards education, especially in the case of young children. Too much time is usually spent in games which only purpose is to keep children entertained, time that could be put to better use such as developing elementary geometric notions. Taking advantage of this pocket computer scenario, it is proposed an application geared towards small children in the 6 – 9 age group that allows them to consolidate knowledge regarding geometric shapes, forming a stepping stone that leads to some fundamental mathematical knowledge to be exercised later on. To achieve this goal, the application will detect simple geometric shapes like squares, circles and triangles using the device’s camera. The novelty of this application will be a core real-time detection system designed and developed from the ground up for mobile devices, taking into account their characteristic limitations such as reduced processing power, memory and battery. User feedback was be gathered, aggregated and studied to assess the educational factor of the application.
Resumo:
O presente relatório de estágio enquadra-se no método de avaliação final do Mestrado em Novos Media e Práticas Web, da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa e pretende abordar o trabalho desenvolvido por mim durante o estágio curricular realizado na agência de comunicação e publicidade Ogilvy. O estágio decorreu entre novembro de 2014 e fevereiro de 2015, durante o qual desempenhei o cargo de online producer e fui supervisionada por Sara Cabral Fonseca, diretora de projeto. Todos os trabalhos tiveram como objetivo principal o acompanhamento e conhecimento do processo ligado ao desenvolvimento de projetos digitais, desde o briefing até à programação e conteúdo. Os trabalhos compreenderam a realização de testes de usabilidade em deskop e mobile dos sites e aplicações desenvolvidos pelo departamento digital da empresa, e também o apoio na realização de tarefas ligadas à gestão de conteúdos de vários websites. Este relatório resulta de todo o trabalho concretizado e pretende efetuar uma contextualização teórica ligada à importância dos testes de usabilidade e do Responsive Web Design (RWD) na implementação de projetos digitais.
Resumo:
An increasing number of m-Health applications are being developed benefiting health service delivery. In this paper, a new methodology based on the principle of calm computing applied to diagnostic and therapeutic procedure reporting is proposed. A mobile application was designed for the physicians of one of the Portuguese major hospitals, which takes advantage of a multi-agent interoperability platform, the Agency for the Integration, Diffusion and Archive (AIDA). This application allows the visualization of inpatients and outpatients medical reports in a quicker and safer manner, in addition to offer a remote access to information. This project shows the advantages in the use of mobile software in a medical environment but the first step is always to build or use an interoperability platform, flexible, adaptable and pervasive. The platform offers a comprehensive set of services that restricts the development of mobile software almost exclusively to the mobile user interface design. The technology was tested and assessed in a real context by intensivists.
Resumo:
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores
Resumo:
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores
Resumo:
Este trabajo desarrolla el proceso de diseño e implementación de una interfaz web que permite la exploración en detalle de las relaciones entre genomas completos. La interfaz permite la comparación simultánea de nueve genomas, representando en cada gráfica las relaciones entre cada par de genomas junto los genes identificados de cada uno de ellos. Es capaz de trabajar con genomas del dominio Eukaryota y se adapta a la capacidad de cómputo de la máquina cliente. La información representada son MUMs (Maximal Unique Matching, secuencia máxima y única encontrada en ambos genomas) y SuperMUMs (agrupación de MUMs mediante Approximate String Matching). Los datos son previamente calculados y accesibles desde un servidor web.
Resumo:
Projecte de fi de carrera del 2n cicle de la Eng. Informàtica, realitzat per Jose Roig Torres (01/2012). Aplicacions Web per Treball Col·laboratiu: Disseny i Prototipatge d'un sistema d'esdeveniments per mòbils en el treball en grup.
Resumo:
Aquest treball de fi de carrera es desenvolupa dins l'àrea de J2EE. Es basa en el desenvolupament d'una aplicació web destinada a gestionar els cursos que s'imparteixen en un ajuntament pels habitants del poble que ho desitjin.
Resumo:
L'objectiu principal ha estat obtenir un disseny aplicable a qualsevol sistema d'informació extret de l'entitat que vulgui publicar un site independent de la plataforma.
Resumo:
Els objectius fonamentals del TFC són els de desenvolupar una aplicació de caràcter professional, la qual pugui ser integrada a qualsevol empresa en la qual la seva activitat requereixi una gestió acadèmica com a funcionalitat principal. Per a això s'empraran les últimes tecnologies que envolten la plataforma .NET, com a ADO.NET, ASP.NET, Formularis Web, Formularis Windows, Dispositius mòbils (Compact Framework).
Resumo:
L'objectiu d'aquest treball no és altre que crear un espai de col·laboració en línia per als treballadors d'una petita empresa de domòtica, que treballen en seus diferents arreu de l'Estat espanyol.