Process Algebra
Mostrando 1-12 de 50 artigos, teses e dissertações.
-
1. A unidade teórico-prática da intervenção didático-formativa no contexto da docência
Resumo: A temática abarca a unidade teórico-prática da ação didático-formativa na docência de uma professora de Matemática e de estudantes do ensino fundamental em uma escola pública. Pesquisa longitudinal à luz da teoria histórico-cultural, método materialista histórico-dialético, cuja orientação teórico-metodológica favorece que sujeitos
Ciênc. educ. (Bauru). Publicado em: 07/10/2019
-
2. Producción documental de acceso abierto de la comunidad de habla hispana en Educación Matemática para la educación media
Abstract We present results of a study which objective was the open access documental production characterization of the Spanish-speaking community in Mathematics Education for middle school. From a taxonomy of key terms specific to Mathematics Education, we made a semantic approach to the documentation content, which was produced by this community of teache
Bolema. Publicado em: 01/08/2019
-
3. STATE ESTIMATION AND TRAJECTORY TRACKING CONTROL FOR A NONLINEAR AND MULTIVARIABLE BIOETHANOL PRODUCTION SYSTEM
ABSTRACT In this paper a controller is proposed based on linear algebra for a fed-batch bioethanol production process. It involves finding feed rate profiles (control actions obtained as a solution of a linear equations system) in order to make the system follow predefined concentration profiles. A neural network states estimation is designed in order to kno
Braz. J. Chem. Eng.. Publicado em: 15/07/2019
-
4. Intradisciplinaridade Matemática com GeoGebra na Matemática Escolar
Resumo Neste artigo discutimos o trabalho intradisciplinar na Matemática escolar e trazemos evidências de que o uso do GeoGebra o favorece. Para tanto, questionamos o processo de disciplinarização da ciência, que contribuiu com o aprofundamento das diversas áreas, ao mesmo tempo em que impulsionou uma crescente dissociação entre elas. De igual modo,
Bolema. Publicado em: 2019-04
-
5. Desarrollo Profesional del Docente de Matemáticas a través de sus Tareas para el Aula propuestas en un Curso de Formación
Part of a doctoral work, framed within the teacher training online, is to analyze the tasks proposed by teachers teaching in a training course held in Chile in 2012, where participants have to identify a professional problem referred to teaching algebra and deepen on it designing, implementing and analyzing mathematical tasks for a class. After presenting so
Bolema. Publicado em: 2015-04
-
6. Optimizing similarity queries in metric spaces meeting user\ s expectation / Otimização de operações de busca por similaridade em espaços métricos
The complexity of data stored in large databases has increased at very fast paces. Hence, operations more elaborated than traditional queries are essential in order to extract all required information from the database. Therefore, the interest of the database community in similarity search has increased significantly. Two of the well-known types of similarit
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/10/2012
-
7. Descrição de medidas em sistemas de 2 níveis pela equação de Lindblad com inclusão de ambiente / Analysis of the environmental influence on the measurement process of a 2-level system using the Lindblad equation
O objetivo deste trabalho é explorar um modelo para medidas quânticas de duração finita baseado na equação de Lindblad, com a análise de um sistema de 2 níveis acoplado a um reservatório térmico que ocasiona decoerência. A interação entre o sistema e o dispositivo de medida é markoviana, justificando o uso da equação de Lindblad para obter a
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/02/2012
-
8. IntegraÃÃo de bibliotecas cientÃficas de propÃsito especial em uma plataforma de componentes paralelos / Integration of special purpose scientific libraries on a platform of parallel components.
The contribution of traditional scientic libraries shows to be consolidated in the construction of high-performance applications. However, such an artifact of development possesses some limitations in integration, productivity in large-scale applications, and exibility for changes in the context of the problem. On the other hand, the development technology b
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/11/2010
-
9. Modelo de sistema de comunicações digital para o mecanismo de importação de proteinas mitocondriais atraves de codigos corretores de erros / Digital communication system model for mitochondrial protein import by use of error-correcting codes
One of the puzzling problems in mathematical biology is to show the existence of any form of error-correcting code in the DNA structure. Using information theory considerations we propose a model for the biological coding system similar to that of a digital communication system. This model consists of a mapper (transformations from the set of nucleotides eit
Publicado em: 2010
-
10. Abordagem algébrica para seleção de clones ótimos em projetos genomas e metagenomas / Algebraic approach to optimal clone selection in genomics and metagenomics projects.
Devido à grande diversidade de microrganismos desconhecidos no meio ambiente, 99% deles não podem ser cultivados nos meios de cultura tradicionais dos laboratórios. Para isso, projetos metagenômicos são propostos para estudar comunidades microbianas presentes no meio ambiente, a partir de técnicas moleculares, em especial o seqüenciamento. Dessa forma
Publicado em: 2009
-
11. Guides for CCS to UML-RT and UML-RT to CCS conversions.
CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a softwa
Publicado em: 2009
-
12. EXPLORAÇÃO DIDÁTICA DE ERRO NO ENSINO DE EQUAÇÃO DO 1 GRAU
In Mathematics Education, the errors of students in the learning process, are focus of study by researchers. Error in many years, but was prevented, eliminated, because it is something bad. However, educational concepts were emerging and bringing different view of error: the natural process of learning that can be used as a tool of the student. The error may
Publicado em: 2009