Higher Order Logic
Mostrando 1-12 de 26 artigos, teses e dissertações.
-
1. A RELAÇÃO INTRÍNSECA ENTRE A PSICOLOGIA HISTÓRICO-CULTURAL E A EPISTEMOLOGIA MARXIANA
RESUMO. Considerando as investidas ideológicas que tencionam mascarar as bases epistemológicas marxistas da psicologia histórico-cultural, o artigo em tela visa contribuir para evidenciar o modo como o materialismo histórico e dialético edificou os pressupostos essenciais desta teoria psicológica. Para tanto, estabeleceu-se a proposição de que os tr�
Psicol. Estud.. Publicado em: 14/10/2019
-
2. La especialización del saber en la escuela: intervenciones estatales en campos específicos de conocimiento
Abstract The purpose of this paper is to analyze how specific educational programs related to the knowledge of Natural Sciences are implemented in Buenos Aires elementary schools. Programs, together with new speeches and practices, are introduced by people with new teaching functions and higher degrees of specialization than current classroom teachers. This
Educ. Pesqui.. Publicado em: 28/05/2018
-
3. DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach
Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understan
Mat. Res.. Publicado em: 04/07/2014
-
4. Análise de custo-efetividade dos inibidores da rapamicina para o tratamento de imunossupressão no transplante renal
Terminal chronic kidney disease can be treated with hemodialysis (HD), peritoneal dialysis (PD) or by means of renal transplantation. Among these three treatment modalities, the transplant is, according to the literature, the modality that offers better quality of life. Adding to this the progress of the immunosuppressants used in post-transplant, the number
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/06/2012
-
5. Detecção de defeitos do tipo Resistive-Open em SRAM com o uso de lógica comparadora de vizinhança
The world we live today is very dependent of the technology advance and the Systemson- Chip (SoC) are one of the most important actors of this advance. As a consequence, the Moore s law has been outperformed due to this strong demand on the SoCs for growth, so that new silicon technologies has emerged along with new fault models that decreased the reliabilit
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/03/2012
-
6. Métodos de categorização de atributos como instrumentos para melhoria de serviços: uma aplicação à iniciativa contribuinte da cultura
This study consists in the application of three market research methodology: The Importance- Performance Matrix and the traditional Kano methods of Attractive Quality and Mandatory and the modified Kano by fuzzy logic. These methods generally are applied to characterize and categorize attributes in order to provide an improvement in such services. As a real
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/09/2011
-
7. TEACH-ME: implementation of mobile environments to the teach - learning process
The research project TEACH-ME (Technology, Engineering Calculus and Hewlett-Packard Mobile Environment) presents an educational proposal that seeks to innovate the teaching and learning processes of mathematics, Logic Basic Programming and Management of Information, through the introduction of collaborative working environments, in order to provide the integ
JISTEM - Journal of Information Systems and Technology Management. Publicado em: 2011
-
8. Agreement index and fuzzy risk for the evaluation of waste stabilization pond systems / INDICE DE CONCORDÃNCIA E RISCO FUZZY NA AVALIAÃÃO DO DESEMPENHO DE SISTEMAS DE LAGOAS DE ESTABILIZAÃÃO
In the present study fuzzy arithmetic via triangular fuzzy numbers (TFNs) was applied to compute Fuzzy Agreement Index (FAI) and Fuzzy Risk (FR) for the evaluation of operational aspects, performance and effluent quality in 14 full-scale waste stabilization pond plants (6 primary facultative ponds â PFPs and 8 pond series- PSs) treating domestic sewage. Fin
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/10/2010
-
9. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
10. Os perpétuos e os incompletos: permanência e movimento nos gibis de super-heróis e na série Sandman
This thesis analyzes the fictional narratives of the comics books series Sandman, written by the British author Neil Gaiman, originally published by DC Comics and, in Brazil, by Globo, from 1989 to 1996, noting the translation and appropriation of elements from different cultural contexts for the construction of the narrative, in order to demonstrate that Sa
Publicado em: 2010
-
11. Sistemas baseados em regras fuzzy e aplicações / Fuzzy rule-based systems and applications
A Fuzzy rule-based system is a mathematical tool that uses the fuzzy logic to find answers or control a specific type of problem. We will use this tool to classify people as the ability to entrepreneurship, in order to qualify them as suitable or not to open their own company. Furthermore, we show two more applications of this tool: one related to medical di
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/12/2009
-
12. The public, the private and the State under the logic of the capital: the expansion of higher education in Southwestern Paraná / O PÚBLICO, O PRIVADO E O ESTADO SOB A LÓGICA DO CAPITAL: A EXPANSÃO DO ENSINO SUPERIOR NO SUDOESTE DO PARANÁ
of Paraná in the period of 1967 to 2009. The political and economical determinants of the process of expansion of higher education in this region are analyzed, considering the social organization of work (capitalist relationships of production) and the function of the State in the formation of educational politics. The cutting of the object indicates the or
Publicado em: 2009