Lógica condicional

The main goal of this work is to clarify the central concepts involved in the study of formalization of conditional sentences. More specifically, it has been done a comparative analysis of the two greater and more traditional proposals of conditional formalization (Lewis 1973c e Adams 1975). These proposals were responsible for the creation of a way of analysis that still present in the current debate about this subject. This work pursues to explain the principal assumptions held within these proposals. According to certain disambiguation techniques from Bennett (2003) and Lycan (2005), this work tries to explicit how these assumptions connect to the aims sought by the initial approaches. The following results show that there is a not declared presumption, the definition of the object of study of these theories, i.e., the definition of conditional sentence. This work argues that despite of not explicitly declared the definition of the study object has a central role in the intelligibility of the debate itself

Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

Uma abordagem para promover o alinhamento entre a estratégia de negócio e a tecnologia de informação

Currently with the increase in complexity in doing business, organizations are seeking information systems that help to quickly respond to new demands in the processes of production of products and services. An information system is no longer just a support tool and has become an integral part of doing business. However, in spite of significant technological evolution in recent years, information systems that support business do not respond efficiently to the constant alterations that occur in many organizations. One of the main problems faced by information systems currently is the lack of strategic alignment between business strategy and information technology. The concept of strategic alignment can be defined as a way between business strategies and objectives and the strategies, objectives and functions of information technology in such as way as to contribute to the increase in competitivity of the organization over time. Strategic alignment together with strategic planning are important management instruments. Approaches for operationalizing this alignment are being developed currently but are still in their initial stages due to the fact that it is a relatively new concept in the literature. Another point that needs to be taken into consideration during the strategic alignment is the question of trackability between the business elements and IT. Trackability (Tracking) is necessary for example when one wishes to know exactly which goal defined in the business strategy was left out or not accepted due to a modification made in the IT strategy. Very few proposals present concrete ways supported by software systems in order to obtain strategic alignement while taking into consideration this trackability. Therefore the objective of this work is to propose the creation of a strategic alignment process supported by a software system which is capable of permitting trackability between the organizational objectives and the business processes based on formalization standards defined through a model oriented approach

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Interação gestual em ambiente residencial: estudo, concepção e desenvolvimento

Control and automation of residential environments domotics is emerging area of computing application. The development of computational systems for domotics is complex, due to the diversity of potential users, and because it is immerse in a context of emotional relationships and familiar construction. Currently, the focus of the development of this kind of system is directed, mainly, to physical and technological aspects. Due to the fact, gestural interaction in the present research is investigated under the view of Human-Computer Interaction (HCI). First, we approach the subject through the construction of a conceptual framework for discussion of challenges from the area, integrated to the dimensions: people, interaction mode and domotics. A further analysis of the domain is accomplished using the theoretical-methodological referential of Organizational Semiotics. After, we define recommendations to the diversity that base/inspire the inclusive design, guided by physical, perceptual and cognitive abilities, which aim to better represent the concerned diversity. Although developers have the support of gestural recognition technologies that help a faster development, these professionals face another difficulty by not restricting the gestural commands of the application to the standard gestures provided by development frameworks. Therefore, an abstraction of the gestural interaction was idealized through a formalization, described syntactically by construction blocks that originates a grammar of the gestural interaction and, semantically, approached under the view of the residential system. So, we define a set of metrics grounded in the recommendations that are described with information from the preestablished grammar, and still, we conceive and implement in Java, under the foundation of this grammar, a residential system based on gestural interaction for usage with Microsoft Kinect. Lastly, we accomplish an experiment with potential end users of the system, aiming to better analyze the research results

Ciclos clássicos num ambiente de racionalidade limitada

O presente trabalho toma como ponto de partida o modelo macrodinâmico de Richard M. Goodwin, apresentado no clássico artigo A Growth Cycle (1967). Neste modelo a interação entre distribuição de renda e acumulação de capital gera um ciclo de crescimento que oscila em torno de uma trajetória de crescimento equilibrado. O objetivo do presente trabalho é investigar a possibilidade de existência de ciclos goodwinianos com heterogeneidade de salários e de taxas de lucro. Essa análise é realizada considerando o processo de concorrência entre trabalhadores num ambiente de racionalidade limitada. Para formalizar o processo de concorrência entre trabalhadores foram utilizados dois recursos: (i) a alegoria das ilhas , que tem sido amplamente adotada na macroeconomia moderna, a fim de apreender situações de informação imperfeita; e (ii) os instrumentos analíticos desenvolvidos pela teoria dos jogos evolucionários aplicada a ambientes sociais. O modelo construído combina o modelo de Goodwin com uma formalização estilizada do fluxo de trabalho como um processo de imitação num ambiente de racionalidade limitada (dinâmica de replicação num contexto social). Neste modelo demonstra-se a possibilidade de o sistema econômico não convergir para um estado de equilíbrio de longo prazo e a possibilidade do sistema econômico convergir para um ciclo goodwiniano caracterizado por heterogeneidade de salários e de taxas de lucro.

Emergence of the Pointer Basis through the Dynamics of Correlations

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Fiscal Panorama of Latin America and the Caribbean 2013: tax reform and renewal of the fiscal covenant

Includes bibliography

Ensino de biologia e o desenvolvimento de habilidades cognitivas por meio de atividades práticas e contextualizadas

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

Tableaux e indução na lógica do plausível

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

Aspectos lógicos e algébricos dos conjuntos fuzzy

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

Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos

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

Conflito, reconhecimento e justiça: uma nova forma à teoria crítica

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Violência na Vila de São Sebastião do Ribeirão Preto (1874-1888): livres e escravos nas barras da justiça

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

T-Commerce e televisão digital: estudo e implementação de modelos conceituais

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