925 resultados para Logic of proofs


Relevância:

80.00% 80.00%

Publicador:

Resumo:

This paper is an investigation into the dynamics of asset markets with adverse selection a la Akerlof (1970). The particular question asked is: can market failure at some later date precipitate market failure at an earlier date? The answer is yes: there can be "contagious illiquidity" from the future back to the present. The mechanism works as follows. If the market is expected to break down in the future, then agents holding assets they know to be lemons (assets with low returns) will be forced to hold them for longer - they cannot quickly resell them. As a result, the effective difference in payoff between a lemon and a good asset is greater. But it is known from the static Akerlof model that the greater the payoff differential between lemons and non-lemons, the more likely is the market to break down. Hence market failure in the future is more likely to lead to market failure today. Conversely, if the market is not anticipated to break down in the future, assets can be readily sold and hence an agent discovering that his or her asset is a lemon can quickly jettison it. In effect, there is little difference in payoff between a lemon and a good asset. The logic of the static Akerlof model then runs the other way: the small payoff differential is unlikely to lead to market breakdown today. The conclusion of the paper is that the nature of today's market - liquid or illiquid - hinges critically on the nature of tomorrow's market, which in turn depends on the next day's, and so on. The tail wags the dog.

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

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”.

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

HAMAP (High-quality Automated and Manual Annotation of Proteins-available at http://hamap.expasy.org/) is a system for the automatic classification and annotation of protein sequences. HAMAP provides annotation of the same quality and detail as UniProtKB/Swiss-Prot, using manually curated profiles for protein sequence family classification and expert curated rules for functional annotation of family members. HAMAP data and tools are made available through our website and as part of the UniRule pipeline of UniProt, providing annotation for millions of unreviewed sequences of UniProtKB/TrEMBL. Here we report on the growth of HAMAP and updates to the HAMAP system since our last report in the NAR Database Issue of 2013. We continue to augment HAMAP with new family profiles and annotation rules as new protein families are characterized and annotated in UniProtKB/Swiss-Prot; the latest version of HAMAP (as of 3 September 2014) contains 1983 family classification profiles and 1998 annotation rules (up from 1780 and 1720). We demonstrate how the complex logic of HAMAP rules allows for precise annotation of individual functional variants within large homologous protein families. We also describe improvements to our web-based tool HAMAP-Scan which simplify the classification and annotation of sequences, and the incorporation of an improved sequence-profile search algorithm.

Relevância:

80.00% 80.00%

Publicador:

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.

Relevância:

80.00% 80.00%

Publicador:

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Decapentaplegic (Dpp), the fly homolog of the secreted mammalian BMP2/4 signaling molecules, is involved in almost all aspects of fly development. Dpp has critical functions at all developmental stages, from patterning of the eggshell to the determination of adult intestinal stem cell identity. Here, we focus on recent findings regarding the transcriptional regulatory logic of the pathway, on a new feedback regulator, Pentagone, and on Dpp's roles in scaling and growth of the Drosophila wing.

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Odor detection and discrimination by olfactory systems in vertebrates and invertebrates depend both on the selective expression of individual olfactory receptor genes in subpopulations of olfactory sensory neurons, and on the targeting of the encoded proteins to the exposed, ciliated endings of sensory dendrites. Techniques to visualize the expression and localization of olfactory receptor gene products in vivo have been essential to reveal the molecular logic of peripheral odor coding and to permit investigation of the developmental and cellular neurobiology of this sensory system. Here, we describe methods for detection of olfactory receptor transcripts and proteins in the antennal olfactory organ of the fruit fly, Drosophila melanogaster, an important genetic model organism. We include protocols both for antennal cryosections and whole-mount antennae. These methods can be adapted for detection of receptor expression in other olfactory and gustatory tissues in Drosophila, as well as in the chemosensory systems of other insects.

Relevância:

80.00% 80.00%

Publicador:

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

Relevância:

80.00% 80.00%

Publicador:

Resumo:

In a democratic society, the media are central to the communication of risks and uncertainties to the public. This article presents 10 proposals for improving media coverage in social risk situations. The article focuses on the production logic of the media and its consequences for society. The proposals and the conclusions of this research are supported by an analysis of three Spanish cases: the risk implied by the Tarragona chemical complex (one of the biggest in Europe); the terrorist attacks on 11 March 2004 in Madrid; and the Carmel tunnel disaster in Barcelona on January 2005. The authors are participating in a research project on public perception of risk funded by the Spanish Education Ministry on public perception of risk (2004–2007 and 2007–2010).

Relevância:

80.00% 80.00%

Publicador:

Resumo:

Tutkielman tavoitteena on tunnistaa Kaakkois-Suomen alueella olevat ohjelmistoyritysten tyypilliset yritysryhmät ja kuvata niiden toimintaa. Tunnistamalla alueen ohjelmistoyrityksille ominaiset piirteet työ antaa myös pohjaa tulevien kehityskohteiden löytämisessä ja kehitystoimenpiteiden kohdistamisessa useisiin samantyyppisiin yrityksiin. Työn taustaksi esitellään ohjelmistoalaa ja ohjelmistoliiketoiminnan malleja, joiden pohjalta muodostetaan viitekehys alueen ohjelmistoyritysten empiiriseen tarkasteluun. Empiriaosuudessa tarkastellaan työn teoreettisessa osiossa esitettyjen liiketoimintamallien toteutumista Kaakkois-Suomessa ja ryhmitellään alueen ohjelmistoyritykset erottelevimpien tekijöiden avulla. Tutkimus on luonteeltaan kvantitatiivinen kokonaistutkimus Kaakkois-Suomen ohjelmistoyrityksistä, ja tutkimusotteeltaan deskriptiivinen eli kuvaileva. Tutkimusaineisto perustui tutkimusryhmän suorittamaan strukturoituun haastatteluun, jossa haastateltiin kaikkiaan 58 ohjelmistoyrityksen vastuuhenkilöitä. Tutkimustulosten perusteella alueelta pystyttiin tunnistamaan neljä toimintatavoiltaan erilaista ohjelmistoliiketoiminnan perustyyppiä: asiakaslähtöiset toimijat (26 toimipaikkaa), räätälöijät (14 toimipaikkaa), integroijat (10 toimipaikkaa) ja tuotteistajat (8 toimipaikkaa). Tulokset osoittavat, että perinteisten ohjelmistoalan liiketoimintamallien kuvaukset ja niistä tehtävät yleistykset antavat hyvän lähtökohdan ohjelmistoyritysten tarkasteluun. Kuitenkin perinteisten ohjelmistoalan liiketoimintamallien antama näkökulma on liian rajoittunut,jos halutaan tarkastella syvällisemmin ohjelmistoyritysten liiketoimintalogiikkaa.