24 resultados para Logic of proofs
em Consorci de Serveis Universitaris de Catalunya (CSUC), Spain
Resumo:
Studies of the EU accession of the East and Central European Countries have stressed the importance of neo-liberal institutionalism as an explanation for Member State preferences. In this paper it is argued that Member States’ preferences over Turkish EU accession are better explained by power politics and neo-realism. It seems therefore that Turkey’s way to the EU follows another path than the East and Central Countries. Turkish accession raises the question of the EU’s role in a uni-polar world order – whether the EU should develop into an independent actor on the world stage or not. However, when it comes to the interaction among the Member States in order to decide on when to open accession negotiations with Turkey the constitutive values of the EU seriously modify the outcome that pure power politics would have let to.
Resumo:
In Part I, we formulate and examine some systems that have arisen in the study of the constructible hierarchy; we find numerous transitive models for them, among which are supertransitive models containing all ordinals that show that Devlin's system BS lies strictly between Gandy's systems PZ and BST'; and we use our models to show that BS fails to handle even the simplest rudimentary functions, and is thus inadequate for the use intended for it in Devlin's treatise. In Part II we propose and study an enhancement of the underlying logic of these systems, build further models to show where the previous hierarchy of systems is preserved by our enhancement; and consider three systems that might serve for Devlin's purposes: one the enhancement of a version of BS, one a formulation of Gandy-Jensen set theory, and the third a subsystem common to those two. In Part III we give new proofs of results of Boffa by constructing three models in which, respectively, TCo, AxPair and AxSing fail; we give some sufficient conditions for a set not to belong to the rudimentary closure of another set, and thus answer a question of McAloon; and we comment on Gandy's numerals and correct and sharpen other of his observations.
Resumo:
Multipliers are routinely used for impact evaluation of private projects and public policies at the national and subnational levels. Oosterhaven and Stelder (2002) correctly pointed out the misuse of standard 'gross' multipliers and proposed the concept of 'net' multiplier as a solution to this bad practice. We prove their proposal is not well founded. We do so by showing that supporting theorems are faulty in enunciation and demonstration. The proofs are flawed due to an analytical error but the theorems themselves cannot be salvaged as generic, non-curiosum counterexamples demonstrate. We also provide a general analytical framework for multipliers and, using it, we show that standard 'gross' multipliers are all that is needed within the interindustry model since they follow the causal logic of the economic model, are well defined and independent of exogenous shocks, and are interpretable as predictors for change.
Resumo:
Demand for law professionals in the conveyancing of property is decreasing because of market and institutional changes. On the market side, many transactions feature large, well-known parties and standardized transactions, which make professionals less effective or necessary for protecting the parties to private contracts. On the institutional side, public titling makes it possible to dispense with a broadening set of their former functions. Recording of deeds made professionals redundant as depositories of deeds and reduced demand for them to design title guarantees. Effective registration of rights increasingly substitutes professionals for detecting title conflicts with third parties and gathering their consent. Market changes undermine the information asymmetry rationale for regulating conveyancing, while institutional changes facilitate liberalizing not only conduct but also license regulations. These arguments are supported here by disentangling the logic of titling systems and presenting empirical evidence from the European and USA markets.
Resumo:
The government of Catalonia has developed a planning framework that seeks to establish the provision of cultural facilities throughout the country. The Cultural Facilities Plan of Catalonia (PECCAT) is based on an analysis of historical gaps and establishes a minimum spatial scheme. The plan responds to problems associated with the absence of a former similar instrument, which has led to an inconsistent and inappropriate cultural infrastructure that fails to fulfill its fundamental mission of securing the cultural rights of the population. The paper sets forth the aims of this policy and describes the objectives and basic characteristics of the plan and the expected outcomes. With the plan, the government of Catalonia seeks to rebalance the infrastructure within the territory and to ensure universal access to basic cultural services, while avoiding a logic of standardization and taking local communities into account. With the development of local plans in the municipalities, local governments encourage community participation processes to adapt and decide on priorities for action based on needs assessments and cultural opportunities for local sustainable development. The local plans focus on local cultural strengths, take advantage of opportunities, and aim to realize the cultural dynamics of a place through establishing an infrastructure that can best respond to the needs and cultural demands of the local communities, taking into account economic, social, and environmental sustainability.
Resumo:
How did the leading capital market start to attract international bullion? Why did London become the main money market? Monetary regulations, including the charges for minting money and the restrictions on bullion exchange, have played the key role in defining the direction of the flow of international bullion. Countries that abolished minting charges and permitted the free movement of bullion were able to attract international bullion, and countries that applied minting taxes suffered an outflow of bullion. In these cases monetary authorities tried to limit bullion movement through prohibitions on domestic bullion exchange at a free price, and tariffs and quantitative restrictions on bullion exports. The paper illustrates the logic of international monetary flow in the 18th century, using empirical evidence for England, France and Spain. The first section defines and measures monetary policy, and the second section introduces minting charges into the arbitrage equation in order to explain the logic of bullion flow between the pairs of nations England-France, England-Spain and France-Spain. The conclusion emphasises the importance of monetary policy in the creation of leading money markets.
Resumo:
The paper analyses how the EU foreign policy towards Georgia changed after the Rose Revolution, reaching greater levels of involvement and assistance. It is argued that the pro-western and reformist new government in Georgia triggered a new orientation in the EU foreign policy towards the country based on a logic of appropriateness, that is EU´s values, in addition to energy interests. Comparative analysis in the Southern-Caucasus and other Eastern-European countries shows how reformist and pro-EU governments receive more EU support and assistance. This does not mean that material interest do not play an important role. However, the EU seems to be coherent with its values when regarding the European neighbourhood.
Resumo:
This paper has three objectives. First, it aims at revealing the logic of interest rate setting pursued by monetary authorities of 12 new EU members. Using estimation of an augmented Taylor rule, we find that this setting was not always consistent with the official monetary policy. Second, we seek to shed light on the inflation process of these countries. To this end, we carry out an estimation of an open economy Philips curve (PC). Our main finding is that inflation rates were not only driven by backward persistency but also held a forward-looking component. Finally, we assess the viability of existing monetary arrangements for price stability. The analysis of the conditional inflation variance obtained from GARCH estimation of PC is used for this purpose. We conclude that inflation targeting is preferable to an exchange rate peg because it allowed decreasing the inflation rate and anchored its volatility.
Resumo:
Estudi i implementació d’una plataforma de prototipatge de videojocs mitjançant la qual es pot crear un videojoc elemental, descartant aspectes decoratius o accessoris. Aquesta eina pretén millorar l’etapa de disseny d’un videojoc avançant el moment en que aquest es podrà jugar. Això permetrà prendre decisions importants en base a proves i experiències mesurables. S’ha implementat un sistema programable en llenguatge de script que estalvia a l’usuari treballar en els aspectes tecnològics i li permet centrar-se en crear la mecànica del joc que vol ser provat.
Resumo:
La industria de los videojuegos crece exponencialmente y está ya superando a otras industrias punteras del ocio. En este proyecto, nos hemos planteado la realización de un videojuego con visualización en el espacio real 3D. Para la realización del videojuego se ha usado el siguiente software: Blender para diseñar los modelos 3D, C++ como lenguaje de programación para desarrollar el código y un conjunto de librerías básicas para desarrollar un videojuego llamadas Ogre3d (Motor Gráfico). La lógica del movimiento 3D y los choques entre las partículas del juego ha sido diseñada enteramente en este proyecto acorde con las necesidades del videojuego, y de forma compatible a los ficheros de Blender y a las librerías OGRE3D.
Resumo:
In 1975 the Kribi region (Southern Cameroon) became host of the rubber plantation HEVECAM, the third largest employer in Cameroon. The establishment of the plantation has been preceded by the expropriation of customary land and by the destruction of the rainforest used by local populations. As a result, conflicts – mostly latent – pitting neighbouring Bulu communities against the plantation have occurred, especially during the last few years. Drawing on fieldwork data as well as on anthropological, economic and historical materials, I try to explore a new way of looking at such environmental conflicts by arguing that they reflect the struggle between two distinct institutional logics with different impacts on the environment, i.e. the logic of property versus the one of possession. In short, the logic of possession corresponds to a multi-functional community-based forest management, while the logic of property gave birth to the commercial monoculture model, the highest stage of the transformation of an ecosystem in order to match the requirements of property. It is argued that the conflict between the logic of possession and the logic of property is at the heart of many cases of “environmentalisms of the poor” that arise in reaction to “development”.
Resumo:
Treball de fi de carrera d'enginyeria tècnica en informàtica de sistemes. El treball s'estructura en introducció, anàlisi, implementació, manual d'instal·lació, joc de proves... del treball. Aquest Treball Final de Carrera s'inclou dins de l'àrea de Xarxes deComputadors. Consisteix en la realització d'una aplicació gràfica en entornGNU que faci un anàlisi del tràfic d'una xarxa informàtica; això es coneix ambel nom de Sniffer.
Resumo:
Aquest treball consisteix en el desenvolupament d'una aplicació mòbil per facilitar l'aprenentatge de l'idioma japonès per a estudiants catalanoparlants. Aquest aprenentatge es fa bastant-se en el mètode de les llistes d'estudi i les flashcards, de manera que els coneixements de l'idioma es van consolidant progressivament. Es tracta d'una aplicació mòbil feta en HTML5 i que es connecta per internet a un servidor J2EE que conté el diccionari complet i la lògica de les operacions de l'aprenentatge.
Resumo:
En el projecte s’analitzarà, des d’una perspectiva biogràfica, la construcció d’aquests itineraris, amb les seves potencialitats i limitacions, oportunitats i problemàtiques; el moment especialment rellevant d’estudi serà en la transició després de l’ensenyament obligatori, bé sigui a les diferents vies formatives postobligatòries o bé al mercat de treball. El final de l’ESO és un moment de bifurcació i d’elecció, d’oportunitats més tancades o més obertes. En el nostre treball empíric, analitzarem els itineraris escolars d’un territori concret, en el qual hi trobem una alta concentració de persones immigrants. A partir d’aquest entorn determinat i específic, s’intentarà analitzar elements tant “sistèmics” com “comunitaris”. Els elements sistèmics seran: institució escolar, mercat laboral i polítiques públiques. Específicament, també es tindrà en compte: l’estructura d’oportunitats (segmentació laboral i geogràfica), la configuració de l’oferta formativa i les polítiques locals d’acollida. Els elements comunitaris seran: ètnia, classe, i gènere; família i grup d’iguals i pràctiques de lleure i de consum. Específicament, també es tindrà en compte: la genealogia de la “història de contacte”, la percepció de l’estructura d’oportunitats, la distància cultural, així com problemàtiques educatives específiques (llengua i escolarització en origen), A partir de l’anàlisi d’aquests elements estructurals, el treball pretén fer una aproximació multiestratègica (quantitativa i qualitativa) als itineraris formatius i laborals dels i les joves d’origen immigrant; i fer-ho des de la pròpia perspectiva i veu dels joves, per captar les seves experiències i analitzar les lògiques de pressa de decisions que configuren els seus itineraris.
Resumo:
La dècada de 1980 va significar un punt i a part per als governs metropolitans. Després de viure una època daurada durant els 60 i 70, la reestructuració del sistema politicoeconòmic va comportar que les estructures de govern metropolità fossin qüestionades i fins i tot suprimides. Quan tot semblava indicar que restarien només com a record, la lògica de competència entre grans ciutats i la necessitat de reinventar-se en base a un desenvolupament sostenible va suposar un inesperat renaixement de la política metropolitana. Si fins aleshores la seva necessitat s'havia justificat bàsicament des d'un punt de vista funcional, seguint pautes tecnòcrates i burocratitzades, la nova metropolítica se centra en la competitivitat i en la sostenibilitat, alhora que posa èmfasi en assajar mètodes de governança. Londres, ciutat que presenta certs paral·lelismes històrics amb Barcelona, ha estat una ciutat pionera i de la seva experiència es pot aprendre per la capital catalana