Articles — Portuguese (Brazilian)

Exercícios

Exemplo de Ata

Este minicurso foi (e ainda está sendo) concebido para iniciantes em LaTeX com Overleaf. Os conteúdos deste minicurso estão em uma contante evolutiva..

Este trabajo presenta la aplicación de un conjunto de articulos con propias teorías de los robots manipuladores y el modelamiento de pinzas. Para ello el brazo humano se modela como un robot manipulador redundante. En particular se aplica el concepto de índices de desempeño para predecir posturas óptimas del brazo durante la realización de tareas. En el estudio se incluyen tanto estructuras estáticas, como tambien los analisis de estabilidad del brazo y los materiales para su respectiva realizacion. This work presents the application of a set of articles with the own theories of the manipulative robots and the modeling of tweezers. For this, the bearing is modeled as a redundant manipulator robot. In particular, the concept of performance indices is applied to predict the optimal postures of the task during the performance of tasks. The study includes both static structures, as well as safety management analyzes and materials for their respective realization.

Sermão apresentado na Igreja Presbiteriana Central de Coronel Fabriciano por ocasião do Culto Vespertino.

Dicas para a preparação de listas de exercícios da disciplina MAC0239 (Introdução à Lógica e Verificação de Programas) no IME-USP. Tips for preparing exercises for MAC0239 (Introduction to Logic and Program Verification) at IME-USP.

The use of technological resources in education has lead to positive changes in the elaboration of new methodologies, in this context technologies such as the Digital Interactive Whiteboard (DIW) can act by facilitating Learning. The mere presence of the DIW does not guarantee benefits for the student's learning process, that raises doubts about whether or not the resources available are used in a satisfactory manner. In this research it was possible to verify that there are few tools available for the DIW context, and many of them have problems of usability and content quality. Thus, a form of facilitate the content elaboration for the DIW is the use of Authoring Tools (ATs). In order to verify whether or not the use of ATs promotes better use of the DIW, an AT (entitled AtauDIW) was developed to assist the use of DIWs.

The usage of software has grown as computers become popular. There have emerged, both in academia and in the market, technological solutions for several areas, among them education. On the other hand, classroom teaching and learning continues to suffer from classical educational problems such as lack of student and teacher motivation and lack of clear educational goals. And although software supports learning across a range of disciplines and ages, children's audiences, especially in mathematics, have been little contemplated with the benefits that technological solutions can bring. Therefore, the use of pedagogical approaches, such as Bloom's Taxonomy and Formative Assessments, together with gamification techniques, such as Octalysis, can be used to develop a technological solution that contemplates this public. The present work aims to propose the development of a software to assist the teaching and learning of mathematics for children in the classroom.

The purpose of this study is to perform an analysis on a discussion of REST creator Roy Thomas Fielding, where he exposes a critique of implementations that claim to use the architectural model proposed in his thesis. Implementations of APIs that manifest themselves as RESTFUL are used as object of study. Architectural Constraints are used which refer to important features of the model to verify these implementations, where they must succeed in these comparisons with the constraints, so that they can prove to implement the model. The conclusion is that there are in fact several implementations that are improperly named, where they have several similarities to the model in their implementation, but do not agree with the constraints that must be implemented so that it can be considered an instance of the model.