Um modelo algébrico do quantificador da ubiquidade

Pós-graduação em Filosofia - FFC

Procedimentos de pesquisa em Geografia do Comércio e do Consumo: delimitação, intensidade e especialização de áreas centrais. Análises a partir de Marília/SP, São Carlos/SP e São José do Rio Preto/SP

This academic report presents results of the research developed between 2012 and 2015, and it had as main goal the development of new mapping possibilities of the central areas of the cities of Marília/SP, São Carlos/SP and São José do Rio Preto/SP. We developed this research using mostly the database from Cadastro Nacional de Endereços Para Fins Estatísticos (CNEFE), and after processing the information, it was added the typology established in the Cadastro Nacional de Atividades Econômicas (CNAE). This database, after the final treatment process, provided us information that made possible the production of thematic maps which are used to study central areas, allowing the analysis of spatial logics of companies, the identification of concentration and dispersion of economic activities, arrangement of specialized axis, expansion of the central area, reorganization of the city, among other process and phenomena

Projetos de lei sobre medicalização da educação: biopolítica, controle e resistência na contemporaneidade

At present, the processes of medicalization of childhood have reached the school spaces where diagnostic labeling accompanied of prescription of psychotropic drugs proliferate. The present work aims to study through the Foucauldian genealogical approach, the process of medicalization of education, with a special attention to analysis of Brazilian bills which serve to the medicalization logics and to the study of resistance movements which emerged with the purpose of denouncing psychopathology-causing strategies. It is considered that the school spaces, subject to the disciplining processes and standardization of bodies, have gained through bills, new devices of support to the psychiatric discourses. These, by appropriating of the childhood considered problem, have spawned diagnoses and psychopharmacological drugs, process that has been faced by resistance movements identified with proposals for enhancement of the plurality of life.

Apuntes para un estudio comparativo entre torcidas organizadas e hinchadas

The present study proposes an initial approach to a comparative study between supporter groups from Brazil (torcidas organizadas) and Argentina (hinchadas). The text presents a thick description that points to similarities and differences, in synchronic and diachronic terms, between both groups of football spectators. The paper focuses on each group's emergence, organizational framings, logics of belonging, and most significant practices and representations. Finally, it illustrates the contributions of this research to the construction of a public sociology of regional sport.

O ensino religioso na escola pública: regras que cooperam para sua organização

Pós-graduação em Educação - FCT

Acumulação por espoliação: o setor de mineração em Moçambique : o caso da mina de carvão da Vale S. A

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

As lógicas espacias do setor bancário nas cidades de Presidente Prudente e São José do Rio Preto: da estrutura espacial concentrada à multicentralidade seletiva

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

As lógicas espacias do setor bancário nas cidades de Presidente Prudente e São José do Rio Preto: da estrutura espacial concentrada à multicentralidade seletiva

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

Inconsistent-tolerant base revision through Argument Theory Change

Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees-arguments as nodes and attacks as edges-as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies.

Reference model for implementing an MRP system in a highly diverse component and seasonal lean production environment

Companies are currently choosing to integrate logics and systems to achieve better solutions. These combinations also include companies striving to join the logic of material requirement planning (MRP) system with the systems of lean production. The purpose of this article was to design an MRP as part of the implementation of an enterprise resource planning (ERP) in a company that produces agricultural implements, which has used the lean production system since 1998. This proposal is based on the innovation theory, theory networks, lean production systems, ERP systems and the hybrid production systems, which use both components and MRP systems, as concepts of lean production systems. The analytical approach of innovation networks enables verification of the links and relationships among the companies and departments of the same corporation. The analysis begins with the MRP implementation project carried out in a Brazilian metallurgical company and follows through the operationalisation of the MRP project, until its production stabilisation. The main point is that the MRP system should help the company's operations with regard to its effective agility to respond in time to demand fluctuations, facilitating the creation process and controlling the branch offices in other countries that use components produced in the matrix, hence ensuring more accurate estimates of stockpiles. Consequently, it presents the enterprise knowledge development organisational modelling methodology in order to represent further models (goals, actors and resources, business rules, business process and concepts) that should be included in this MRP implementation process for the new configuration of the production system.

Pavimentando Roraima: a BR-174 como exemplo das lógicas neoliberais de transnacionalização do território na Amazônia Ocidental

Este artigo discute a pavimentação da BR-174 na metade da década de 1990 e as suas consequências socioespaciais no estado de Roraima. O caso é apresentado como um exemplo da transformação das intervenções territoriais na Amazônia no contexto da neoliberalização do Estado e da produção de um espaço econômico transnacional. Os investimentos federais para o desenvolvimento rodoviário e infraestruturas auxiliares trouxeram conectividade sem precedentes para o estado de Roraima, além de gerar crescimento econômico. Todavia, o artigo argumenta que, além dos novos discursos de desenvolvimento regional sustentável, as lógicas dominantes dos projetos, tais como o melhoramento da BR-174, são as de um neoliberalismo em expansão transnacional, no qual o Estado empreendedor torna-se um parceiro para o estabelecimento de mercados externos mais do que o principal agente da integração do território nacional. Assim, no desenho da BR-174, Roraima aparece, principalmente, como um espaço estratégico de conexão transfronteiriça que liga a Amazônia brasileira aos portos do Caribe. Entretanto, passada mais de uma década desde a conclusão do projeto, a concentração territorial tem se aprofundado ao passo que emergem novas desigualdades socioespaciais intimamente atreladas às funções e fluxos que a integração rodoviária criou.

Link prediction using a probabilistic description logic

Due to the growing interest in social networks, link prediction has received significant attention. Link prediction is mostly based on graph-based features, with some recent approaches focusing on domain semantics. We propose algorithms for link prediction that use a probabilistic ontology to enhance the analysis of the domain and the unavoidable uncertainty in the task (the ontology is specified in the probabilistic description logic crALC). The scalability of the approach is investigated, through a combination of semantic assumptions and graph-based features. We evaluate empirically our proposal, and compare it with standard solutions in the literature.

Elementi postmoderni nell'horror americano contemporaneo. Forme testuali e culturali della mutazione 1968-1998

This research argues for an analysis of textual and cultural forms in the American horror film (1968- 1998), by defining the so-called postmodern characters. The “postmodern” term will not mean a period of the history of cinema, but a series of forms and strategies recognizable in many American films. From a bipolar re-mediation and cognitive point of view, the postmodern phenomenon is been considered as a formal and epistemological re-configuration of the cultural “modern” system. The first section of the work examines theoretical problems about the “postmodern phenomenon” by defining its cultural and formal constants in different areas (epistemology, economy, mass-media): the character of convergence, fragmentation, manipulation and immersion represent the first ones, while the “excess” is the morphology of the change, by realizing the “fluctuation” of the previous consolidated system. The second section classifies the textual and cultural forms of American postmodern film, generally non-horror. The “classic narrative” structure – coherent and consequent chain of causal cues toward a conclusion – is scattered by the postmodern constant of “fragmentation”. New textual models arise, fragmenting the narrative ones into the aggregations of data without causal-temporal logics. Considering the process of “transcoding”1 and “remediation”2 between media, and the principle of “convergence” in the phenomenon, the essay aims to define these structures in postmodern film as “database forms” and “navigable space forms.” The third section applies this classification to American horror film (1968-1998). The formal constant of “excess” in the horror genre works on the paradigm of “vision”: if postmodern film shows a crisis of the “truth” in the vision, in horror movies the excess of vision becomes “hyper-vision” – that is “multiplication” of the death/blood/torture visions – and “intra-vision”, that shows the impossibility of recognizing the “real” vision from the virtual/imaginary. In this perspective, the textual and cultural forms and strategies of postmodern horror film are predominantly: the “database-accumulation” forms, where the events result from a very simple “remote cause” serving as a pretext (like in Night of the Living Dead); the “database-catalogue” forms, where the events follow one another displaying a “central” character or theme. In the first case, the catalogue syntagms are connected by “consecutive” elements, building stories linked by the actions of a single character (usually the killer), or connected by non-consecutive episodes about a general theme: examples of the first kind are built on the model of The Wizard of Gore; the second ones, on the films such as Mario Bava’s I tre volti della paura. The “navigable space” forms are defined: hyperlink a, where one universe is fluctuating between reality and dream, as in Rosemary’s Baby; hyperlink b (where two non-hierarchical universes are convergent, the first one real and the other one fictional, as in the Nightmare series); hyperlink c (where more worlds are separated but contiguous in the last sequence, as in Targets); the last form, navigable-loop, includes a textual line which suddenly stops and starts again, reflecting the pattern of a “loop” (as in Lost Highway). This essay analyses in detail the organization of “visual space” into the postmodern horror film by tracing representative patterns. It concludes by examining the “convergence”3 of technologies and cognitive structures of cinema and new media.

Implementation of a non ground meta interpreter for defeasible logic

Human reasoning is a fascinating and complex cognitive process that can be applied in different research areas such as philosophy, psychology, laws and financial. Unfortunately, developing supporting software (to those different areas) able to cope such as complex reasoning it’s difficult and requires a suitable logic abstract formalism. In this thesis we aim to develop a program, that has the job to evaluate a theory (a set of rules) w.r.t. a Goal, and provide some results such as “The Goal is derivable from the KB5 (of the theory)”. In order to achieve this goal we need to analyse different logics and choose the one that best meets our needs. In logic, usually, we try to determine if a given conclusion is logically implied by a set of assumptions T (theory). However, when we deal with programming logic we need an efficient algorithm in order to find such implications. In this work we use a logic rather similar to human logic. Indeed, human reasoning requires an extension of the first order logic able to reach a conclusion depending on not definitely true6 premises belonging to a incomplete set of knowledge. Thus, we implemented a defeasible logic7 framework able to manipulate defeasible rules. Defeasible logic is a non-monotonic logic designed for efficient defeasible reasoning by Nute (see Chapter 2). Those kind of applications are useful in laws area especially if they offer an implementation of an argumentation framework that provides a formal modelling of game. Roughly speaking, let the theory is the set of laws, a keyclaim is the conclusion that one of the party wants to prove (and the other one wants to defeat) and adding dynamic assertion of rules, namely, facts putted forward by the parties, then, we can play an argumentative challenge between two players and decide if the conclusion is provable or not depending on the different strategies performed by the players. Implementing a game model requires one more meta-interpreter able to evaluate the defeasible logic framework; indeed, according to Göedel theorem (see on page 127), we cannot evaluate the meaning of a language using the tools provided by the language itself, but we need a meta-language able to manipulate the object language8. Thus, rather than a simple meta-interpreter, we propose a Meta-level containing different Meta-evaluators. The former has been explained above, the second one is needed to perform the game model, and the last one will be used to change game execution and tree derivation strategies.

Institutional Complexity and Technology Transfer: A Theoretical and Empirical Analysis

This Doctoral Thesis unfolds into a collection of three distinct papers that share an interest in institutional theory and technology transfer. Taking into account that organizations are increasingly exposed to a multiplicity of demands and pressures, we aim to analyze what renders this situation of institutional complexity more or less difficult to manage for organizations, and what makes organizations more or less successful in responding to it. The three studies offer a novel contribution both theoretically and empirically. In particular, the first paper “The dimensions of organizational fields for understanding institutional complexity: A theoretical framework” is a theoretical contribution that tries to better understand the relationship between institutional complexity and fields by providing a framework. The second article “Beyond institutional complexity: The case of different organizational successes in confronting multiple institutional logics��� is an empirical study which aims to explore the strategies that allow organizations facing multiple logics to respond more successfully to them. The third work “ How external support may mitigate the barriers to university-industry collaboration” is oriented towards practitioners and presents a case study about technology transfer in Italy.