Formalizaaao
Mostrando 1-12 de 23 artigos, teses e dissertações.
-
1. O estatuto do caso clÃnico para a edificaÃÃo da teoria psicanalÃtica / THE STATUS OF CLINICAL CASE FOR BUILDING THE THEORY PSYCHOANALYTIC
A presente pesquisa teve por objetivo investigar o lugar ocupado pelo relato do caso clÃnico para a edificaÃÃo da teoria freudiana. Parte-se do pressuposto de que os tratamentos publicados por Freud demarcam importantes problemas que, uma vez examinados, resultaram na elaboraÃÃo e/ou formalizaÃÃo de achados clÃnicos essenciais para a construÃÃo da
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/06/2012
-
2. Entre indivÃduo-sociedade e natureza-cultura: a constituiÃÃo do ser - uma modelagem para a psicologia / Between individual-society and nature-culture: the constitution of being - a modeling for the psychology
A partir de uma perspectiva metodolÃgica que traz os diagramas como ferramentas centrais e tomando como referÃncia alguns autores que se utilizam dessa metodologia como recurso explicativo, pretende-se demonstrar a adequaÃÃo dessa abordagem no campo da psicologia. Na filosofia, por exemplo, o âmore geometricoâ (de acordo com a ordem de demonstraÃÃo n
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/12/2011
-
3. Uma LÃgica de DescriÃÃo Default / A Description Logic for Default
A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/08/2011
-
4. Controle supervisÃrio de sistemas a eventos discretos, usando redes de Petri coloridas / Supervisory control of discrete event systems using coloured Petri nets
Esse trabalho propÃe um novo mÃtodo para sÃntese de supervisores em sistemas a eventos discretos, utilizando redes de Petri coloridas, baseado no contexto da teoria de controle supervisÃrio. Como aspecto principal, tem-se a formalizaÃÃo teÃrica e a prova matemÃtica do mÃtodo para sÃntese desses supervisores, denominado RestriÃÃes de Controle sobr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2011
-
5. Determinantes da contribuiÃÃo previdenciÃria e da constiruiÃÃo jurÃdica dos autÃnomos no nordeste. / Determinants of pension contributions and the legal status of autonomous constiruiÃÃo in the northeast.
Essa dissertaÃÃo procurou investigar os fatores determinantes tanto da formalizaÃÃo jurÃdica quanto da contribuiÃÃo previdenciÃria dos autÃnomos no nordeste. Utilizouse para este fim um Modelo Logit Multivariado de Probabilidade de legalizaÃÃo da empresa e contribuiÃÃo à previdÃncia, tendo como base de dados a ECINF 2003 do IBGE. Uma questÃo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/04/2010
-
6. A teoria do fato jurÃdico de Pontes de Miranda como formalizaÃÃo da decisÃo judicial: a viabilidade da noÃÃo de verdade no direito diante da pragmÃtica wittgensteiniana / The Pontes de Mirandaâs theory of legal fact as a formalization of court decision: the viability of the concept of truth in wittgensteinian pragmatics
O trabalho defende a tese de que a noÃÃo de incidÃncia normativa infalÃvel, caracterÃstica da Teoria do Fato JurÃdico de Pontes de Miranda, Ã viÃvel diante da filosofia pragmÃtica de Wittgenstein. Ao contrÃrio de uma postura que fala em construir a incidÃncia por meio da aplicaÃÃo, quer evitar o relativismo quanto aos fatos no direito para a def
Publicado em: 2009
-
7. CaracterÃsticas e anÃlise da Rede de CapacitaÃÃo TecnolÃgica do Setor Eletro-Metal-MecÃnico Pernambucano para atendimento à construÃÃo naval: um estudo exploratÃrio acerca do seu processo de formaÃÃo
A indÃstria naval brasileira retoma suas atividades com a movimentaÃÃo da PetrobrÃs promovendo lotes de licitaÃÃo para fabricaÃÃo de embarcaÃÃes, privilegiando a indÃstria nacional, jà que considera Ãndice de nacionalizaÃÃo de 65% de peÃas e serviÃos. Neste cenÃrio, surge o Estaleiro AtlÃntico Sul, o qual se encontra instalado em Pernambuc
Publicado em: 2009
-
8. ComitÃs de bacias hidrogrÃficas de rios do MÃdio SÃo Francisco: possibilidades e desafios de GestÃo do Uso da Ãgua. / Water Basin Committees of rivers of MÃdio SÃo Francisco: opportunities and challenges of managing the use of water
O presente estudo tem como tema a gestÃo das Ãguas, que se tornam cada vez mais escassas em funÃÃo da incompatibilidade entre a quantidade e a qualidade da Ãgua disponÃvel com a crescente demanda da populaÃÃo. Tal escassez desse vital recurso hÃdrico, tanto em termos quantitativos quanto qualitativos, acaba por desencadear conflitos entre os diferen
Publicado em: 2008
-
9. Um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade à formalizaÃÃo da MatemÃtica / A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu resp
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2007
-
10. Limites e possibilidades da formalizaÃÃo das CiÃncias Sociais: formas e alcance da Teoria dos Jogos na CiÃncia PolÃtica.
The Political Scienceâs formalization process, mainly in the second half of the 20th century, still finds some resistance from large groups of the fieldâs scientific community. This work aims to expose the use of game theory (GT), main Political Scienceâs methodological tool of formalization, in the recent production of a set of fields of study in Politic
Publicado em: 2007
-
11. Antenas para comunicaÃÃes mÃveis
Nesse trabalho sÃo avaliadas antenas impressas e de microfita, linearmente e circularmente polarizadas, objetivando empregÃ-las em sistemas de comunicaÃÃes mÃveis. Contrapondo a tendÃncia usual de se utilizar laminados de microondas importados de baixas perdas, porÃm excessivamente caros para os padrÃes nacionais, optou-se pela sua substituiÃÃo, se
Publicado em: 2007
-
12. Plataforma de conhecimentos e aprendizagem transgeracional em empresas familiares. / The platform of knowledge and transgenerational learning in familiar companies
O tema central desta tese à o processo de aprendizagem organizacional transgeracional nas empresas familiares no qual se inserem as noÃÃes de tempo e de espaÃo que constituem a plataforma de conhecimentos considerando-se a influÃncia do sistema geracional familiar e os elementos do contexto histÃrico-social que as envolvem. Aprendizagem transgeracional
Publicado em: 2007