925 resultados para Logic of proofs
Resumo:
Este trabalho estuda os vídeos documentários Grito dos Excluídos produzidos de 1995 a 2009 pela Associação Rede Rua. O objetivo é localizar na comunicação popular as dimensões políticas e estéticas como constantes de relevância primordial na composição de uma práxis comunicativa que se desenvolve no meio popular ou que se direciona a ele. A partir do contexto de produção dos documentários reflete-se sobre a prática comunicativa singular desenvolvida pela Rede Rua, buscando ainda compreender de que modo essa práxis produz reflexos políticos e estéticos na obra materializada do vídeo e em sua maneira específica de refigurar a realidade. O estudo se baseia em pesquisa bibliográfica e documental, além de pesquisa participante e estudo do conteúdo de parte dos documentários. Conclui-se que eles ressaltam o caráter denunciativo, reivindicatório e anunciativo que emerge de um coletivo de organizações, entidades e movimentos sociais populares, que buscam influir positivamente na sociedade brasileira, visando a superar a lógica excludente da realidade, que limita e condiciona os direitos das pessoas ao poder do capital. Embora os vídeos revelem um posicionamento político, não se pode compreendê-los, em sua forma material, como atores políticos. Contudo, o presente trabalho ressalta que a estética dos documentários se revela como indissociável de seu caráter político, já que evidencia o compromisso de seus realizadores com a transformação de uma realidade cotidiana excludente.
Resumo:
Estudo comparativo que analisa a divulgação científica (DC) praticada pelas revistas Ciência Hoje (CH), Scientific American Brasil (SAB) e Superinteressante (SI), apontando convergências e divergências entre as três publicações. Objetiva-se analisar como as formas de construção textual e o uso de ilustrações nas matérias e nos artigos de capa das revistas CH, SAB e SI podem contribuir ou interferir de maneira efetiva na DC que praticam. Para tanto, são delineados cinco pressupostos básicos: (1) as publicações de análise priorizam nas capas temas pertencentes às Ciências Básicas (CB) em detrimento das Ciências Humanas e Sociais (CHS); (2) no campo amplo das CB há preferência, nas capas das revistas, por temas relacionados à saúde; (3) as temáticas abordadas nas capas das revistas CH, SAB e SI não são, em geral, coincidentes entre si, pois não seguem uma lógica de matérias quentes ; (4) o uso freqüente de elementos explicativos, termos figurados, fontes de informação diversificadas e citações diretas nas construções textuais das matérias e dos artigos de capa das publicações, bem como o uso de ilustrações devidamente contextualizadas, contribuem para tornar os textos mais inteligíveis; (5) as revistas CH, SAB e SI, embora consideradas revistas de DC, apresentam níveis diferenciados de divulgação, em função do perfil de seus leitores. Em consonância com esses pressupostos, são objetivos específicos: a) identificar, dentro das duas amplas categorias (CB e CHS), os temas mais explorados, reunindo-os em subcategorias para identificar mais afinidade / proximidade entre eles; b) examinar, através das formas de construção textual e do uso das ilustrações nas matérias e nos artigos de capa, os critérios utilizados pelas publicações para divulgar ciência e tecnologia (C&T). Para responder os parâmetros estabelecidos nos objetivos apresentados, a metodologia inclui questionário aplicado aos editores das publicações investigadas e análise de conteúdo (AC) da amostra selecionada, que engloba 19 matérias / artigos de capa das revistas CH, SAB e SI, escolhidos entre julho de 2009 e junho de 2010. Os dados coletados e devidamente discutidos permitem confirmar os pressupostos enunciados, vez que, em termos gerais, é evidente que a DC praticada pelas três revistas apresenta mais divergências do que convergências. Isto possibilita estabelecer níveis distintos de divulgação, manifestos na forma como constroem os textos e como utilizam as ilustrações, com maior dificuldade em SAB e CH e com teor mais simplificado em SI.
Resumo:
O presente estudo busca identificar em que medida o pertencimento de classe social interfere nos sentidos e perspectivas do jovem brasileiro frente ao futebol espetáculo, bem como compreender os mecanismos sociais que determinam a decisão de os sujeitos investirem na carreira profissional esportiva em detrimento da trajetória escolar longa. Começamos com uma abordagem sociológica, a análise crítica dos processos de difusão, massificação e profissionalização do futebol ocorridas no contexto da sociedade pós-industrial. Enfocamos a conflituosa mutação da modalidade, inicialmente elitizada com fins social-distintivos para esporte de massa ideal de ascensão social da classe popular , além da dependência com a mídia, das razões que levaram a caracterizar-se como produto da indústria cultural, culminando com a transformação do futebol em mercadoria submetida às leis e lógica da sociedade de consumo. Em seguida, entrelaçamos as relações de poder, aliança e concorrência dos agentes sociais que participam do complexo campo das práticas esportivas com os canais com que o público jovem estabelece contato com o esporte espetáculo. Neste aspecto, especial atenção foi dada à mídia, difusora da ideologia de uma sociedade capitalista aberta, que reforça a idéia do esporte como via de ascensão social para indivíduos de baixa renda, na mesma medida em que oculta em seu discurso as reais probabilidades de concretização do sucesso esportivo. A pesquisa de campo foi realizada em duas escolas do município de São Bernardo do Campo (SP), uma da rede pública estadual e outra da rede particular de ensino. Assim, constituímos dois grupos com alunos de distintas classes sociais, compostos por estudantes do 1º ano do Ensino Médio, sexo masculino, com 15 anos de idade e praticantes de futebol nas aulas de Educação Física. Metodologicamente, fizemos uso da observação participante e de entrevistas como instrumentos para a coleta de dados. Conjugadas aos objetivos do estudo, estruturamos a análise do material colhido em seis categorias, articulando questões sobre o prosseguimento nos estudos e o trabalho, as tendências para a pratica esportiva profissional, as representações sociais em torno do futebol, os usos e costumes no tempo livre e as expectativas da pratica esportiva implicadas pela herança cultural familiar. Como referencial teórico de análise, utilizamos de Pierre Bourdieu os conceitos de campo, habitus, estratégia, capital econômico, social e, principalmente, capital cultural, partindo da hipótese de que o nível cultural dos alunos e seus familiares interferem nos sentidos e formas de apropriação do esporte. Entre outras conclusões, obtivemos como resultado a configuração de uma trajetória esportiva profissional voltada para os alunos de baixa classe social, em oposição à trajetória escolar longa, estrategicamente adotada pelos alunos de classe social alta.(AU)
Resumo:
Purpose – The purpose of the paper is to use a case study setting involving the implementation of an enterprise resource planning (ERP) system to expose and analyze the conflicts in the characterizations of the post bureaucratic organisation (PBO) in the literature. ERP implementations are often accompanied by increasing levels of stress in organizations that place pressures on organizational relationships and structures. Additionally, ERPs are regarded as introducing their own techno-logic of centralization, standardization and formalization that provides an apparent contrast to the exhortations about employee empowerment. Design/methodology/approach – A case study of ERP implementation in a medium-sized entity is presented. The paper explores aspects of ERP and PBO from the context of postmodern organization theory. Findings – Some concerns about PBO identified in the literature are reflected in the case situation. For example, there is a commitment to give up private time and work flexibly by some employees. The paper also provides evidence of the way the management team substitute their reliance on a key individual knowledge worker for that of an ERP system and external vendor support. Paradoxically, trust in that same knowledge worker and between core users of the system is essential to enable the implementation of the system. Originality/value – This paper adds empirical insight to a predominantly theoretical literature. The case evidence indicates some conflicting implications in the concurrent adoption of PBO and ERP.
Resumo:
This book is aimed primarily at microbiologists who are undertaking research and who require a basic knowledge of statistics to analyse their experimental data. Computer software employing a wide range of data analysis methods is widely available to experimental scientists. The availability of this software, however, makes it essential that investigators understand the basic principles of statistics. Statistical analysis of data can be complex with many different methods of approach, each of which applies in a particular experimental circumstance. Hence, it is possible to apply an incorrect statistical method to data and to draw the wrong conclusions from an experiment. The purpose of this book, which has its origin in a series of articles published in the Society for Applied Microbiology journal ‘The Microbiologist’, is an attempt to present the basic logic of statistics as clearly as possible and therefore, to dispel some of the myths that often surround the subject. The 28 ‘Statnotes’ deal with various topics that are likely to be encountered, including the nature of variables, the comparison of means of two or more groups, non-parametric statistics, analysis of variance, correlating variables, and more complex methods such as multiple linear regression and principal components analysis. In each case, the relevant statistical method is illustrated with examples drawn from experiments in microbiological research. The text incorporates a glossary of the most commonly used statistical terms and there are two appendices designed to aid the investigator in the selection of the most appropriate test.
Resumo:
Using postings from an internet forum, this paper explores the ways in which some women try to influence the sex of a future child. The extensive reproductive work involved give an indication of the women’s commitment to being able to choose a particular sex; in this case a preference for girls rather than boys. The findings revealed stereotypical views of masculinity and femininity at the heart of the preference. The presumption of fixed gendered identities helped to frame this desire as ‘natural,’ lessen the threat to maternal identities, and reinforce the logic of ‘choice,’ and support their reproductive work practices.
Resumo:
This essay is an attempt to generalize experiences of Central and Eastern European universities in the field of European Studies over the past 20 years. The paper follows the logic of business analysis in order to come up with proposals for future action.
Resumo:
A tanulmány nem az aktuális hitelpiaci válság enyhítésének kérdésével foglalkozik, hanem az amerikai gazdaság elmúlt négy évtizedének általános és az utolsó tíz évének konkrét beruházási-megtakarítási és növekedési tendenciáit igyekszik feltárni. Azt vizsgálja, hogy milyen mélyebb, belföldi eredetű szerkezeti okai vannak a nemzetközivé dagadt jelzáloghitel-válságnak. A cikk a nyitott gazdaság külső finanszírozással összefüggő mérlegazonosságainak alapján arra a következtetésre jut, hogy az ingatlanpiaci visszaesés és a kibocsátás zsugorodása az Egyesült Államok gazdaságában már több mint másfél évtizede kialakult kedvezőtlen, de még tovább romló belföldi megtakarítási folyamatok következménye. A jelzálogpiac krízise és a lakásépítés drámai visszaesése a túlfogyasztásra és túlhitelezésre ösztönző pénzügyi környezet eredménye. A lakáspiaci és a hitelezési ciklusok pénzügyi innovációkkal történő megnyújtása inkább növelte, mint csökkentette a kibocsátásingadozás érzékenységét. A legfőbb hitelezők Kína, Japán, Németország inkább dolláralapú amerikai vállalati felvásárlásokkal ellensúlyozták a dollárgyengülésből elszenvedett veszteségeiket. 1997-2007 között az Amerikából külföldön befektetett dolláraktívák - javarészt a valuta leértékelődése nyomán - jelentős hozamemelkedést élveztek, és számottevően tompították a belföldön képződött jövedelmek csökkenését. A dollárleértékelődés az eszköz- (és nemcsak az áruexport) oldalon is előnyöket hozott számos nagyvállalatnak. / === / Rather than dealing with the immediate policy steps to dampen the crisis, this paper attempts to reveal the worsening savings/consumption pattern of the US economy over the last ten years. Based on the closed logic of open-economy GDP-accounting, it argues that the current crisis is deeply rooted in shrinking public and private savings trends discernible as early as 1997. The current mortgage-market crisis and deep fall in new residential housing are products of a distorted financial environment that encourages over-borrowing and over-consumption. Expansion of the credit cycle through successive financial innovations has increased, not decreased output volatility. But the main foreign lenders to the US—Japan, China and Germany—have managed to offset their losses on US securities by buying into US companies. Large US firms have also benefited from rapid dollar depreciation as USD-denominated yields on their foreign assets experienced strong run-ups. The weak dollar has also helped American firms with large assets on foreign markets. So there were strong benefits for the US, not just on the goods-export side, but on the asset side, an aspect rarely emphasized.
Resumo:
A kutatási projektünk tanulmánysorozata a magyar gazdaság fejlődésének különböző gazdaságfejlesztési útjait vizsgálja 2020-ig, amelyben a foglalkoztathatóság kérdése kulcs szerepet kapott. Jelen tanulmányunkban arra a kutatási kérdésre keressük a választ, hogy milyen oktatási rendszerre lenne szüksége a magyar gazdaságnak ahhoz, hogy az említett 2020-ig megvalósítható különböző gazdaságfejlesztési utak számára, biztosítani tudja a megfelelő mennyiségű és minőségű emberi erőforrást. A kutatási kérdés megválaszolásának érdekében bemutattuk az oktatási rendszer értékteremtési logikáját, a kompetencia alapú, outputorientált oktatás koncepcióját, a jelenlegi oktatási rendszert és annak kialakulását a rendszerváltás óta, valamint a gazdaságfejlesztési utak megvalósulásához készített számításainkat. A magyar oktatási rendszer, annak stacioner fejlődése esetén nem lesz képes még a stacioner gazdaságfejlesztési út (átlagosan évi 1%-os GDP növekedés 2020-ig) emberi erőforrás szükségletének a biztosítására sem, nemhogy az ennél magasabb GDP növekedéssel járó ipari termelésen, vagy gazdasági szolgáltatásokon nyugvó különböző szcenáriók szükségletének biztosítására. A diplomások túlképzésének a hiedelme megalapozatlan, nem a diplomások mennyiségével van a probléma, mivel belőlük lesz a legnagyobb hiány a különböző gazdaságfejlesztési pályák alapján, hanem maximum azok minősége vethet fel kérdéseket. Ahhoz, hogy a gazdasági növekedésünk mögé az emberi erőforrás hazánkban megfelelő minőségű és mennyiségű legyen egy teljesen új koncepció szükséges az oktatással kapcsolatban. Be kell vezetni a kompetencia alapú, output orientált oktatási modellt, amelynek irányításában a munkaerőpiac szerepét jelentősen meg kell erősíteni, és az át-, és továbbképzések területének hangsúlyát jelentősen növelni kell. Mindezek hiányában, vagy az óhajtott gazdasági növekedés nem lesz megvalósítható, vagy fél milliós nagyságrendű képzett munkaerő importjára fog Magyarország rászorulni. ________ The working papers of our research project analyze the development paths of the Hungarian economy until 2020, where employability is one of the cornerstones of the research. The research question addressed in this paper is what kind of educational system does Hungary need if we want to provide the needed human resources for the mentioned development paths until 2020. To answer the research question we introduced the value creation logic of the educational system, the concept of competency based output oriented education, today’s educational system and its 20 years history and our calculations for the development paths. The Hungarian educational system with its stationer development will not be able to provide the needed human resources to the stationer economic development path (average 1% GDP growth until 2020), not to mention the more productive manufacturing based or service based scenarios. The belief of overeducation in higher education is unfounded, the graduates will have the highest shortage according to the development paths, however their quality could raise some questions. To provide the needed quality and quantity in human resources for the economic development we need to implement a radically new educational concept, the competency based output oriented educational system, where the control of labor market and the emphasis of retraining, development as well as life-long learning has to be significantly strengthened. Without these either the desired growth will not be achievable or we should import around half million trained worker to Hungary.
Resumo:
Az Európai Bizottság nemrég véglegesítette a javaslatait a Közös Agrárpolitika 2014-2020 közötti időszakára vonatkozóan. A javaslatok, amelyek egy korábbi, 2010. novemberi Bizottsági kommunikáción alapulnak, elindították az új szabályozásról való egyeztetések jogi folyamatát. A javaslatok egyik legfontosabb témaköre, amely különösen érdekes a távoli vidéki területek számára, a Közös Agrárpolitika szerepe a közjavak előállításában. A cikk célja kettős: egyrészt áttekinti a főbb megoldási javaslatokat és véleményeket a szakirodalomban és a Bizottsági kommunikációban a közjavak 2013 utáni szabályozását illetően, másrészt kritikus szemmel reagál az ötletekre és igyekszik konkrét megoldásokat javasolni. Az eredmények szerint a mezőgazdasághoz kötődő közjavak előállítása érdekében történő állami beavatkozás egyik legnagyobb problémája a mérési módszerek tökéletlensége. A cikk megkérdőjelezi, hogy vajon a kompenzáció logikája mennyiben illeszkedik a közjavak problematikájához és hogy vajon a kézenfekvő megoldás – a közjavak előállítása államilag finanszírozott kompenzációs kifizetésekkel – ténylegesen megoldást nyújt-e a háttérben meghúzódó problémákra. _____ The European Commission has finalised legislative proposals that set out the overall direction of CAP reform for 2013-2020. These proposals, building on an earlier Communication of the Commission in November 2010, initiate the legislative procedure to agree the new regulations. One of the key issues in the Communications, particularly important for remote areas, was the role of future CAP to ensure the delivery of public goods. The aim of this paper is twofold. First, it reviews the major options and opinions being advanced in the literature and the Communication on the role of public goods in the CAP after 2013. Second, through a reflective critique, it reacts to the ideas and tries to identify appropriate solutions. Results suggest that one of the biggest problems with the public intervention for the provision of public goods in agriculture lies in the insufficiency of measurement methods. The paper questions whether the logic of compensation properly appreciates the nature of the public good problems and whether the apparently obvious solution – provision of compensatory payments from the public purse – actually solves any of the underlying problems.
Resumo:
The purpose of this study was to investigate the relationship between organizational learning and expatriation in overseas subsidiaries as well as in organizations as a whole. In doing so, two issues were addressed--(i) the use of expatriation as firms internationalize, and (ii) the significance of various factors to expatriate success as firms gain international experience. The sample of companies for this study was drawn from U.S. Fortune 500 multinational corporations (MNCs) in two sets of related industries--computers/electronics and petroleum/chemicals. Based on the learning that takes place within organizations as they increase their involvement overseas, a positive relationship was expected between international experience and expatriation when internationalization was low, and a negative relationship was expected when internationalization was high. Results indicate a significant positive relationship between country experience and the proportion of expatriates in that subsidiary when subsidiaries were relatively young, and a negative relationship, however not significant, for more mature subsidiaries. The relationship between overall firm degree of internationalization (DOI) and the proportion of expatriates in the firm as a whole was negative regardless of stage of internationalization, but this relationship was significant only for highly internationalized firms. It was further suspected that individual, environmental, and family-related characteristics would have a significant effect on the success of expatriates whose firms were low on internationalization, and that organizational characteristics would play a significant role in highly internationalized firms. Support for these hypotheses was received with respect to certain outcomes and some determinants of success. The preponderance of support was found for those addressing the effects of both environmental and family-related characteristics on the cross-cultural adjustment of expatriates in firms with little international experience. Considerable support was also found for those hypotheses addressing the impact of organizational characteristics on the job satisfaction levels of expatriates assigned to mature subsidiaries. The relevant literatures on organizational learning and expatriation are reviewed, and a model is developed underlying the logic of the hypotheses. Research methods are then described in full detail, results are reported, and implications for theory and for management are discussed. ^
Resumo:
The purpose of this study is to explore the process of building democratic institutions in Mexico, to examine how political parties shape the process of democratization, and how this process determines the degree of party system institutionalization.^ The appearance of competitive politics brought new challenges and opportunities to parties in Mexico. The aim was to identify how the broader political and economic environment has challenged Mexico's political party system, and specifically the transformation of Mexico's political party system.^ This research illustrates the logic of the deductive model, beginning with general, theoretical expectations about democratization and the economic reform. The empirical data were analyzed to determine whether the deductive expectations were supported by empirical reality. This study offers a comprehensive analysis that conciliates the 'political opening' that has produced favorable conditions for democratization and social integration, and the 'economic opening' that has counteracted since it generated social exclusionary processes. ^
Resumo:
Distributed applications are exposed as reusable components that are dynamically discovered and integrated to create new applications. These new applications, in the form of aggregate services, are vulnerable to failure due to the autonomous and distributed nature of their integrated components. This vulnerability creates the need for adaptability in aggregate services. The need for adaptation is accentuated for complex long-running applications as is found in scientific Grid computing, where distributed computing nodes may participate to solve computation and data-intensive problems. Such applications integrate services for coordinated problem solving in areas such as Bioinformatics. For such applications, when a constituent service fails, the application fails, even though there are other nodes that can substitute for the failed service. This concern is not addressed in the specification of high-level composition languages such as that of the Business Process Execution Language (BPEL). We propose an approach to transparently autonomizing existing BPEL processes in order to make them modifiable at runtime and more resilient to the failures in their execution environment. By transparent introduction of adaptive behavior, adaptation preserves the original business logic of the aggregate service and does not tangle the code for adaptive behavior with that of the aggregate service. The major contributions of this dissertation are: first, we assessed the effectiveness of BPEL language support in developing adaptive mechanisms. As a result, we identified the strengths and limitations of BPEL and came up with strategies to address those limitations. Second, we developed a technique to enhance existing BPEL processes transparently in order to support dynamic adaptation. We proposed a framework which uses transparent shaping and generative programming to make BPEL processes adaptive. Third, we developed a technique to dynamically discover and bind to substitute services. Our technique was evaluated and the result showed that dynamic utilization of components improves the flexibility of adaptive BPEL processes. Fourth, we developed an extensible policy-based technique to specify how to handle exceptional behavior. We developed a generic component that introduces adaptive behavior for multiple BPEL processes. Fifth, we identify ways to apply our work to facilitate adaptability in composite Grid services.
Resumo:
Proofs by induction are central to many computer science areas such as data structures, theory of computation, programming languages, program efficiency-time complexity, and program correctness. Proofs by induction can also improve students’ understanding and performance of computer science concepts such as programming languages, algorithm design, and recursion, as well as serve as a medium for teaching them. Even though students are exposed to proofs by induction in many courses of their curricula, they still have difficulties understanding and performing them. This impacts the whole course of their studies, since proofs by induction are omnipresent in computer science. Specifically, students do not gain conceptual understanding of induction early in the curriculum and as a result, they have difficulties applying it to more advanced areas later on in their studies. The goal of my dissertation is twofold: (1) identifying sources of computer science students’ difficulties with proofs by induction, and (2) developing a new approach to teaching proofs by induction by way of an interactive and multimodal electronic book (e-book). For the first goal, I undertook a study to identify possible sources of computer science students’ difficulties with proofs by induction. Its results suggest that there is a close correlation between students’ understanding of inductive definitions and their understanding and performance of proofs by induction. For designing and developing my e-book, I took into consideration the results of my study, as well as the drawbacks of the current methodologies of teaching proofs by induction for computer science. I designed my e-book to be used as a standalone and complete educational environment. I also conducted a study on the effectiveness of my e-book in the classroom. The results of my study suggest that, unlike the current methodologies of teaching proofs by induction for computer science, my e-book helped students overcome many of their difficulties and gain conceptual understanding of proofs induction.
Resumo:
Since Plato's Republic and Aristotle's Politics established the basis for Western political thought almost 2500 years ago, the discipline of international relations has evolved substantially. However, most of the literature revolves around state interaction within the system, and there is little discussion of countries that opt out of the international states system and become isolationist. Given the interdependent nature of the modern international system, this study elaborates on domestic and foreign isolationism by expounding upon the reasons and consequences of states opting out of the international system. The empirical case studies utilized to explore isolationism are Albania, North Korea, and Burma. By empirically verifying the components, motivations, and consequences of isolationism in an interdependent world, this study provides insight into why and how states resist engagement with the global socioeconomic and political state system. ^ Using historical, comparative, and inductive analysis, this study explains why states choose to isolate themselves both domestically and internationally. Specifically, comparative historical analysis highlights isolationism as a concept and practice. This study maintains that extreme forms of self-imposed isolation in an interdependent international system, while perhaps serving the immediate interests of a ruling regime, harms the long-term national interests of the state and the populace. Although the leadership in an isolationist state gains a significant amount of power and control over the people within its borders, the state as a whole experiences profound negative effects. In the long term, a state loses power, stability, prestige, and suffers a decline in overall economic prosperity. ^ States that withdraw from the international system, therefore, provide insight into an unexplored area of international relations when considering notions of rationality, self-interest, power politics, cooperation, and alliances. In short, isolationism in an interdependent state system goes against the logic of the modern society/system of states, resulting in deleterious consequences to the wellbeing of the state. ^