960 resultados para Android Logica Java Deduzione Naturale Didattica


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The AEDROMO (Experimental and Didactic Environment with Mobile Robots) is a versatile, user friendly and scalable environment that supports a wide range of experiments. In it there is an area that is similar to a desk where objects can interact with each other, including robots and other objects, and thus can perform numerous activities. In it's current state, AEDROMO has client computers that interact with the system through an interface, and thus realize the communication between the user and AEDROMO. This project offer support to create a new form of interface for AEDROMO and can therefore be used for devices running Android, the app developed in this project will serve as a basis for future work on this new interface

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This project brings the development of an Android application which will allow users to access 3D models on web. The application developed allows Android devices to access web pages which have code that should use OPENGL to renderize. To demonstrate this functionality, an example web application was build, using technologies such as X3DOM and HTML5, which uses WebGL to get renderized. This web application gives to the user an environment of a virtual city, where he could surf by and interact with the objects. The Android application brings this immersion to the mobile world, also. The access and storage of data was developed a Webserver, which bring to the web application a simple API to give access to the database

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The traditional model of teaching little is modernized in recent decades. When in contact with this system, it is normal that the new-generation students feel unmo tivated in carrying out the proposed activities in the classroom. Considers Prensky (2001) these students, called Digital Natives, born with a modern way of thinking and learn and feel encouraged and motivated with activities that invite to interact. For this reason, it has been proposed the development of an object of learning in the form of application for Android tablets, exploring the internal sensors available in them, with the purpose of offering an interactive activity to students on the physical concepts involved in the process of photosynthesis in plants. For the construction, informational texts written in didactic language and easy to understand, illustrative images and animations were employed. In addition, we used the light sensor in the interactive activity on the process of photosynthesis so that the student could observe and understand how the environment is able to interfere with this process

Relevância:

20.00% 20.00%

Publicador:

Resumo:

With the technology advancement, mobile devices have become increasingly more powerful and have started to have functions beyond of making phone calls. New applications, which perform these new functions, have been launched. The digital entertainment market has become one of the most benefited with this, once the games have become one of the most used applications for various types of users. This monograph presents the development of a game for Android OS, considering concepts like: physics, scenarios/views and character animation

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the universities, before the start of each school year, is held the distribution of classes among available teachers. Therefore, it is necessary to consider the maximum workweek for each teacher and their preferences for each discipline, to prevent a teacher to give lessons in two separate locations at the same time and to avoid some teachers to become overloaded while others with large clearance. This process, manually performed, is time consuming and does not allow the visualization of other combinations of assignment of teachers to classes, besides being liable to error. This work aims to develop a decision support tool for the problem of assigning teachers to classes in college. The project encompasses the development of a computer program using the concepts of object orientation and a tree search algorithm of a combinatorial nature called Beam Search. The programming language used is Java and the program has a graphical interface for entering and manipulating data of the problem. Once obtained the schedule data of classes and teachers is possible, by means of the tool, perform various simulations and manual adjustments to achieve the final result. It is an efficient method of class scheduling, considering the speed of task execution and the fact that it generates only feasible results

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The main objective of the presented study is the development of a predictive interval type-2 fuzzy inference system in order to estimate the mortality risk for a newborn, to be used as an auxiliary tool for decision making in medical centers where there is a lack of professionals for this purpose and, afterwards, to compare its performance to a type-1 fuzzy system. The input variables were chosen due to their acquisition ‘simplicity, not involving any invasive tests, such as blood tests or other specific tests. The variables are easily obtained in the first few minutes of life: birth weight, gestational age at delivery, 5-minute Apgar score and previous report of stillbirth. Databases from the DATASUS were used to validate the model. 1351 records from the city of São José dos Campos, a mid-sized city in the São Paulo state’s countryside, were considered in this study. Finally, an analysis using the ROC curve was performed to estimate the model’s accuracy

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pós-graduação em Televisão Digital: Informação e Conhecimento - FAAC

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dynamic analysis is an increasingly important means of supporting software validation and maintenance. To date, developers of dynamic analyses have used low-level instrumentation and debug interfaces to realize their analyses. Many dynamic analyses, however, share multiple common high-level requirements, e.g., capture of program data state as well as events, and efficient and accurate event capture in the presence of threading. We present SOFYA – an infra-structure designed to provide high-level, efficient, concurrency-aware support for building analyses that reason about rich observations of program data and events. It provides a layered, modular architecture, which has been successfully used to rapidly develop and evaluate a variety of demanding dynamic program analyses. In this paper, we describe the SOFYA framework, the challenges it addresses, and survey several such analyses.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Observability measures the support of computer systems to accurately capture, analyze, and present (collectively observe) the internal information about the systems. Observability frameworks play important roles for program understanding, troubleshooting, performance diagnosis, and optimizations. However, traditional solutions are either expensive or coarse-grained, consequently compromising their utility in accommodating today’s increasingly complex software systems. New solutions are emerging for VM-based languages due to the full control language VMs have over program executions. Existing such solutions, nonetheless, still lack flexibility, have high overhead, or provide limited context information for developing powerful dynamic analyses. In this thesis, we present a VM-based infrastructure, called marker tracing framework (MTF), to address the deficiencies in the existing solutions for providing better observability for VM-based languages. MTF serves as a solid foundation for implementing fine-grained low-overhead program instrumentation. Specifically, MTF allows analysis clients to: 1) define custom events with rich semantics ; 2) specify precisely the program locations where the events should trigger; and 3) adaptively enable/disable the instrumentation at runtime. In addition, MTF-based analysis clients are more powerful by having access to all information available to the VM. To demonstrate the utility and effectiveness of MTF, we present two analysis clients: 1) dynamic typestate analysis with adaptive online program analysis (AOPA); and 2) selective probabilistic calling context analysis (SPCC). In addition, we evaluate the runtime performance of MTF and the typestate client with the DaCapo benchmarks. The results show that: 1) MTF has acceptable runtime overhead when tracing moderate numbers of marker events; and 2) AOPA is highly effective in reducing the event frequency for the dynamic typestate analysis; and 3) language VMs can be exploited to offer greater observability.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A JME-compliant cryptographic library for mobile application development is introduced in this paper. The library allows cryptographic protocols implementation over elliptic curves with different security levels and offers symmetric and asymmetric bilinear pairings operations, as Tate, Weil, and Ate pairings.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

ACR is supported by a research grant from CNPq.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador: