Statistical bound of genetic solutions to quadratic assignment problems

Quadratic assignment problems (QAPs) are commonly solved by heuristic methods, where the optimum is sought iteratively. Heuristics are known to provide good solutions but the quality of the solutions, i.e., the confidence interval of the solution is unknown. This paper uses statistical optimum estimation techniques (SOETs) to assess the quality of Genetic algorithm solutions for QAPs. We examine the functioning of different SOETs regarding biasness, coverage rate and length of interval, and then we compare the SOET lower bound with deterministic ones. The commonly used deterministic bounds are confined to only a few algorithms. We show that, the Jackknife estimators have better performance than Weibull estimators, and when the number of heuristic solutions is as large as 100, higher order JK-estimators perform better than lower order ones. Compared with the deterministic bounds, the SOET lower bound performs significantly better than most deterministic lower bounds and is comparable with the best deterministic ones. 

Thick viewing : empirical examples of condensed moments of narrative impact in fiction film developing theoretical concepts for intensified engagements

Abstract  In a case study about viewing habits in a Swedish audience I sampled 309 questionnaires; interviews with five focus group were conducted together with ten in-depth individual interviews discussing altogether fifteen favorite films exploring specific scenes of idiosyncratic relevance.  The outcome supports claims about viewers as active and playful (cf. Höijer 1998, Frampton 2006, Hoover 2006, Plantinga 2009). In line with mediatization theory I also argue that spiritual meaning making takes place through mediated experiences and I support theories about fiction films as important sources for moral and spiritual reflection (Partridge 2004, Zillman 2005, Lynch 2007, Plantinga 2009). What Hjarvard calls the soft side of mediatization processes (2008) is illustrated showing adults experiencing enchantment through favorite films (Jerslev 2006, Partridge 2008, Klinger 2008, Oliver & Hartmann 2010).  Vernacular meaning making embedded in everyday life and spectators dealing with fiction narratives such as Gladiator, Amelie from Montmartre or Avatar highlights the need for a more nuanced understanding of elevated cinematic experiences. The reported impact of specific movies is analyzed through theories where cognition and affect are central aspects of spectators’ engagements with a film (Tan 1996, Caroll 1999, Grodal 2009). Crucially important are theories of meaning-making where viewers’ detailed interpretation of specific scenes are embedded in high-level meaning-making where world view issues and spectators’ moral frameworks are activated (Zillman 2005, Andersson & Andersson 2005, Frampton 2006, Lynch 2007, Avila 2007, Axelson 2008, Plantinga 2009).  Also results from a growing body of empirical oriented research in film studies are relevant with an interest in what happens with the flesh and blood spectator exposed to filmic narratives (Jerslev 2006, Klinger 2008, Barker 2009, Suckfüll 2010, Oliver & Hartmann 2010). Analyzing the qualitative results of my case study, I want to challenge the claim that the viewer has to suspend higher order reflective cognitive structures in order to experience suture (Butler & Palesh 2004). What I find in my empirical examples is responses related to spectators’ highest levels of mental activity, all anchored in the sensual-emotional apparatus (Grodal 2009). My outcome is in line with a growing number of empirical case studies which support conclusions that both thinking and behavior are affected by film watching (Marsh 2007, Sückfull 2010, Oliver & Hartmann 2010, Axelson forthcoming). The presentation contributes to a development of concepts which combines aesthetic, affective and cognitive components in an investigation of spectator’s moves from emotional evaluation of intra-text narration to extra-textual assessments, testing the narrative for larger significance in idiosyncratic ways (Bordwell & Thompson 1997, Marsh 2007, Johnston 2007, Bruun Vaage 2009, Axelson 2011). There are a several profitable concepts suggested to embrace the complex interplay between affects, cognition and emotions when individuals respond to fictional narratives. Robert K. Johnston label it “deepening gaze” (2007: 307) and “transformative viewing” (2007: 305). Philosopher Mitch Avila proposes “high cognition” (2007: 228) and Casper Thybjerg ”higher meaning” (2008: 60). Torben Grodal talks about “feelings of deep meaning” (Grodal 2009: 149). With a nod to Clifford Geertz, Craig Detweiler adopts “thick description” (2007: 47) as do Kutter Callaway altering it to ”thick interpretations” (Callaway 2013: 203).  Frampton states it in a paradox; ”affective intelligence” (Frampton 2006: 166). As a result of the empirical investigation, inspired by Geertz, Detweiler & Callaway, I advocate thick viewing for capturing the viewing process of these specific moments of film experience when profound and intensified emotional interpretations take place. The author As a sociologist of religion, Tomas Axelsons research deals with people’s use of mediated narratives to make sense of reality in a society characterized by individualization, mediatization and pluralized world views.  He explores uses of fiction film as a resource in every day life and he is currently finishing his three year project funded by the Swedish Research Council: Spectator engagement in film and utopian self-reflexivity. Moving Images and Moved Minds. http://www.du.se/sv/AVM/Personal/Tomas-Axelson Bibliography Axelson, T. (Forthcoming 2014). Den rörliga bildens förmåga att beröra.[1] Stockholm: Liber Axelson, T. (In peer review). Vernacular Meaning Making. Examples of narrative impact in fiction film questioning the ’banal’ notion in mediatization theory. Nordicom Review. Nordicom Göteborg. Axelson, T. (2011). Människans behov av fiktion. Den rörliga bildens förmåga att beröra människan på djupet.[2]Kulturella perspektiv. Volume 2. Article retrieved from www.kultmed.umu.se/digitalAssets/74/74304_axelson-22011.pdf Axelson, Tomas (2010) “Narration, Visualization and Mind. Movies in everyday life as a resource for utopian self-reflection.” Paper presentation at CMRC, 7th Conference of Media, Religion & Culture in Toronto, Canada 9 – 13th August 2010. Axelson, Tomas (2008) Movies and Meaning. Studying Audience, Favourite Films and Existential Matters. Particip@tions : Journal of Audience and Reception Studies. Volume 5, (1). Doctoral dissertation summary. ACTA UNIVERSITATIS UPSALIENSIS. Article retrieved from http://www.participations.org/Volume%205/Issue%201%20-%20special/5_01_axelson.htm  [1] English translation: Moving Images and Moved Minds. [2] English translation: Our need for fiction. Deeply Moved by Moving Images. Cultural Perspectives.

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Information Flow for ALGOL-like Languages

In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.

Rawls and Health Care

John Rawls’s A Theory of Justice (1971), his first major work articulating his theory of justice as fairness, was immediately recognized as a fundamental contribution to political philosophy in the twentieth century. Working within the tradition established by previous philosophers such as Kant and Locke, Rawls employed the contract theory approach. Taking it to a higher order of abstraction, he sought to determine not what the structure of social organization would be, but what the principles which governed social institutions would be under a hypothetical contracting situation. Rawls uses this contract theory approach to construct a society in which the morally irrelevant contingencies of nature and social arrangements are mitigated by principles of justice which govern the basic institutions of society. A common observation has been that Rawls left out any discussion of health care and how it might fit into his conception of a just society. Several philosophers have articulated expansions of the theory to account for health care. In the chapters that follow I will continue this tradition and consider how justice as fairness might be expanded to account for just health care allocation. In doing so, I hope to answer a particularly strong critique of the theory brought up by Amartya Sen and Martha Nussbaum, and to argue for a broadened conception of health care which takes into account the complex causal relationship between society and human health.

Derivações de ordem superior em anéis primos e semiprimos

Nesta tese estudamos as derivações de ordem superior (DOS) em anéis não-comutativos. Inicialmente, mostramos que toda derivação tripla de Jordan de ordem superior em um anel semiprimo livre de 2-torção é uma DOS. Em particular, toda derivação de Jordan de ordem superior (DJOS) num anel deste tipo é uma DOS. Estendemos também o resultado a ideais de Lie U, provando que se R é um anel primo livre de 2-torção e D é uma DJOS de U em R onde U ct Z(R) é tal que U2E U para todo u E U, então D é uma DOS de U em R. Nestas condições, se U C Z(R), então o resultado não é válido. Estudamos ainda as DOS cujas componentes satisfazem relações de dependência linear sobre R ou Q (o anel de quocientes à direita de M artindale de R). Caracterizamos tais DOS, e mostramos que as relações de dependência linear são preservadas ao estendermos uma DOS de R a Q.

A family of autoregressive conditional duration models

This paper develops a family of autoregressive conditional duration (ACD) models that encompasses most specifications in the literature. The nesting relies on a Box-Cox transformation with shape parameter λ to the conditional duration process and a possibly asymmetric shocks impact curve. We establish conditions for the existence of higher-order moments, strict stationarity, geometric ergodicity and β-mixing property with exponential decay. We next derive moment recursion relations and the autocovariance function of the power λ of the duration process. Finally, we assess the practical usefulness of our family of ACD models using NYSE transactions data, with special attention to IBM price durations. The results warrant the extra flexibility provided either by the Box-Cox transformation or by the asymmetric response to shocks.

A family of autoregressive conditional duration models

This paper develops a family of autoregressive conditional duration (ACD) models that encompasses most specifications in the literature. The nesting relies on a Box-Cox transformation with shape parameter λ to the conditional duration process and a possibly asymmetric shocks impact curve. We establish conditions for the existence of higher-order moments, strict stationarity, geometric ergodicity and β-mixing property with exponential decay. We next derive moment recursion relations and the autocovariance function of the power λ of the duration process. Finally, we assess the practical usefulness of our family of ACD models using NYSE price duration data on the IBM stock. The results warrant the extra flexibility provided either by the Box-Cox transformation or by the asymmetric response to shocks.

Testing the optimality of aggregate consumption decisions: is there rule-of-thumb behavior?

Consumption is an important macroeconomic aggregate, being about 70% of GNP. Finding sub-optimal behavior in consumption decisions casts a serious doubt on whether optimizing behavior is applicable on an economy-wide scale, which, in turn, challenge whether it is applicable at all. This paper has several contributions to the literature on consumption optimality. First, we provide a new result on the basic rule-of-thumb regression, showing that it is observational equivalent to the one obtained in a well known optimizing real-business-cycle model. Second, for rule-of-thumb tests based on the Asset-Pricing Equation, we show that the omission of the higher-order term in the log-linear approximation yields inconsistent estimates when lagged observables are used as instruments. However, these are exactly the instruments that have been traditionally used in this literature. Third, we show that nonlinear estimation of a system of N Asset-Pricing Equations can be done efficiently even if the number of asset returns (N) is high vis-a-vis the number of time-series observations (T). We argue that efficiency can be restored by aggregating returns into a single measure that fully captures intertemporal substitution. Indeed, we show that there is no reason why return aggregation cannot be performed in the nonlinear setting of the Pricing Equation, since the latter is a linear function of individual returns. This forms the basis of a new test of rule-of-thumb behavior, which can be viewed as testing for the importance of rule-of-thumb consumers when the optimizing agent holds an equally-weighted portfolio or a weighted portfolio of traded assets. Using our setup, we find no signs of either rule-of-thumb behavior for U.S. consumers or of habit-formation in consumption decisions in econometric tests. Indeed, we show that the simple representative agent model with a CRRA utility is able to explain the time series data on consumption and aggregate returns. There, the intertemporal discount factor is significant and ranges from 0.956 to 0.969 while the relative risk-aversion coefficient is precisely estimated ranging from 0.829 to 1.126. There is no evidence of rejection in over-identifying-restriction tests.

Investment coordination failures and the confidence channel of fiscal policy

Este trabalho desenvolve um novo "canal de Confiança" da política fiscal e caracteriza a política ótima quando esse canal é levado em consideração. Para esse objetivo, utilizamos um modelo estático com (i) concorrência monopolística, (ii) custos de ajustamento fixos para investir, (iii) complementaridade estratégica devido a informação imperfeita com respeito a produtividade agregada, e (iv) bens privados como substitutos imperfeitos de bens privados. Este arcabouço acomoda a possibilidade de falhas de coordenação nos investimentos, mas apresenta um equilíbrio único. Mostramos que a política fiscal tem efeitos importantes na coordenação. Um aumento dos gastos do governo leva a uma maior demanda por bens privados. Mais importante, este também afeta as expectativas de ordem superior com relação a demanda das demais firmas, que amplifica os efeitos do aumento inicial da demanda devido a complementaridade estratégica nas decisões de investimento. Como as demais firmas estão se deparam com uma demanda maior, espera-se que estas invistam mais, que por sua vez, aumenta a demanda individual de cada firma, que aumenta os incentivos a investir. Denominamos isto como o "canal de confiança" da política fiscal. Sob a ameaça de falhas de coordenação, a política fiscal ótima prescreve produzir além do ponto em que o benefício marginal resultante do consumo de bens públicos é igual ao custo marginal desses bens. Este benefício adicional vem do fato de que a política fiscal pode ampliar a coordenação dos investimentos.

Credit borrowing constraints in a DSGE framework: income vs. housing

Credit market in Brazil distinguishes from advanced economies in many aspects. One of them is related to collaterals for households borrowing. This work proposes a DSGE framework, based on Gerali et al.(2010), to analyse one pecularity of Brazillian credit market: payroll-deducted personal loans. To original model, we added the possibility to households contract long term debt and compare to differents types of credit constrains: one based on housing and other based on future income. We callibrate and estimate the model to Brazil, using Bayesian technique. Results show that, in a economy where credit constraints are based on income, responses to shocks appear to be stronger, at first, but dissipate faster. This occurs because income responds quickly to shock than housing prices, so does amount available to loans. In order to smooth consumption, agents compensate lower income and borrowing by increasing working hours, restoring loans and debt in a shorter time.

Ketamine alters oscillatory coupling in the hoppocampus

Recent studies show that higher order oscillatory interactions such as cross-frequency coupling are important for brain functions that are impaired in schizophrenia, including perception, attention and memory. Here we investigated the dynamics of oscillatory coupling in the hippocampus of awake rats upon NMDA receptor blockade by ketamine, a pharmacological model of schizophrenia. Ketamine (25, 50 and 75 mg/kg i.p.) increased gamma and high-frequency oscillations (HFO) in all depths of the CA1-dentate axis, while theta power changes depended on anatomical location and were independent of a transient increase of delta oscillations. Phase coherence of gamma and HFO increased across hippocampal layers. Phase-amplitude coupling between theta and fast oscillations was markedly altered in a dose-dependent manner: ketamine increased hippocampal theta-HFO coupling at all doses, while theta-gamma coupling increased at the lowest dose and was disrupted at the highest dose. Our results demonstrate that ketamine alters network interactions that underlie cognitively relevant theta-gamma coupling.

Utilização de modelos de regressão aleatória para produção de leite no dia do controle, com diferentes estruturas de variâncias residuais

Foram utilizados quatorze modelos de regressão aleatória, para ajustar 86.598 dados de produção de leite no dia do controle de 2.155 primeiras lactações de vacas Caracu, truncadas aos 305 dias. Os modelos incluíram os efeitos fixos de grupo contemporâneo e a covariável idade da vaca ao parto. Uma regressão ortogonal de ordem cúbica foi usada para modelar a trajetória média da população. Os efeitos genéticos aditivos e de ambiente permanente foram modelados por meio de regressões aleatórias, usando polinômios ortogonais de Legendre, de ordens cúbicas. Diferentes estruturas de variâncias residuais foram testadas e consideradas por meio de classes contendo 1, 10, 15 e 43 variâncias residuais e de funções de variâncias (FV) usando polinômios ordinários e ortogonais, cujas ordens variaram de quadrática até sêxtupla. Os modelos foram comparados usando o teste da razão de verossimilhança, o Critério de Informação de Akaike e o Critério de Informação Bayesiano de Schwar. Os testes indicaram que, quanto maior a ordem da função de variâncias, melhor o ajuste. Dos polinômios ordinários, a função de sexta ordem foi superior. Os modelos com classes de variâncias residuais foram aparentemente superiores àqueles com funções de variância. O modelo com homogeneidade de variâncias foi inadequado. O modelo com 15 classes heterogêneas foi o que melhor ajustou às variâncias residuais, entretanto, os parâmetros genéticos estimados foram muito próximos para os modelos com 10, 15 ou 43 classes de variâncias ou com FV de sexta ordem.