Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Desenvolvimento de microcápsulas ativadas por radiação solar para aplicação em painéis cerâmicos exteriores

Dissertação de mestrado integrado em Engenharia de Materiais

Experimental validation of a proposed single-phase five-level active rectifier operating with model predictive current control

This paper presents a model predictive current control applied to a proposed single-phase five-level active rectifier (FLAR). This current control strategy uses the discrete-time nature of the active rectifier to define its state in each sampling interval. Although the switching frequency is not constant, this current control strategy allows to follow the reference with low total harmonic distortion (THDF). The implementation of the active rectifier that was used to obtain the experimental results is described in detail along the paper, presenting the circuit topology, the principle of operation, the power theory, and the current control strategy. The experimental results confirm the robustness and good performance (with low current THDF and controlled output voltage) of the proposed single-phase FLAR operating with model predictive current control.

Reduzierung von Eigenspannungen und Verzug von Stahlbauteilen durch örtliche Beeinflussung der Abkühlung

Controlled quenching, residual stress, distortion, phase change, hardness

Leadership in collective action

We extend the model of collective action in which groups compete for a budged by endogenizing the group platform, namely the specific mixture of public/private good and the distribution of the private good to group members which can be uniform or performance-based. While the group-optimal platform contains a degree of publicness that increases in group size and divides the private benefits uniformly, a success-maximizing leader uses incentives and distorts the platform towards more private benefits - a distortion that increases with group size. In both settings we obtain the anti-Olson type result that win probability increases with group size.

Garnet growth in the Nufenen Pass area (Swiss Alps)

Abstract : Textural division of a mineral in pyramids, with their apices located at the centre of the mineral and their bases corresponding to the mineral faces is called textural sector zoning. Textural sector zoning is observed in many metamorphic minerals like andalousite and garnet. Garnets found in the graphite rich black shales of the Mesozoic cover of the Gotthard Massif display textural sector zoning. The morphology of this sector zoning is not the same in different types of black shales observed in the Nufenen pass area. Garnets in foliated black shales display a well developed sector zoning while garnets found in cm-scale layered black shales display well developed sectors in the direction of the schistosity plane. This sector zoning is always associated with up to 30μm sized birefringent lamellae emanating radial from the sector boundaries. They alternate with isotrope lamellae. The garnet forming reaction was determined using singular value decomposition approach and results compared to thermodynamic calculations. It is of the form chl + mu + cc + cld = bt + fds + ank + gt + czo and is similar in both layered and foliated black shales. The calculated X(O) is close to 0.36 and does not significantly vary during the metamorphic history of the rock. This corresponds to X CO2, X CH4, and X H2O BSE imaging of garnets on oriented-cuts revealed that the orientation of the lamellae found within the sectors is controlled by crystallography. BSE imaging and electron microprobe analysis revealed that these lamellae are calcium rich compared to the isotropic lamellae. The addition of Ca to an almandine rich garnet causes a small distortion of the X site and potentially, ordering. Ordered and disordered garnet might have very similar free energies for this composition. Hence, two garnets with different composition can be precipitated with minor overstepping of the reaction. It is enough that continued nucleation of a new garnet layer slightly prefers the same structure to assure a fiber-like growth of both garnet compositions side by side. This hypothesis is in agreement with the thermodynamic properties of the garnet solid solution described in the literature and could explain the textures observed in garnets with these compositions. To understand the differences in sector zoning morphology, and crystal growth kinetics, crystal size distribution were determined in several samples using 2D spatial analysis of slab surfaces. The same nucleation rate law was chosen for all cases. Different growth rate law for non-layered black shales and layered black shales were used. Garnet in layered black shales grew according to a growth rate law of the form R=kt ½. The transport of nutrient is the limiting factor. Transport will occur preferentially on the schistosity planes. The shapes of the garnets in such rocks are therefore ovoid with the longest axis parallel to the schistosity planes. Sector zoning is less developed with sectors present only parallel to the schistosity planes. Garnet in non-layered blackshales grew according to a growth rate law of the form R=kt. The limiting factor is the attachment at the surface of the garnet. Garnets in these rocks will display a well developed sector zoning in all directions. The growth rate law is thus influenced by the texture of the rock. It favours or hinders the transport of nutrient to the mineral surface. Résumé : La zonation sectorielle texturale consiste en la division d'un cristal en pyramides dont les sommets sont localisés au centre du minéral. La base de ces pyramides correspond aux faces du minéral. Ce type de zonation est fréquemment observé dans les minéraux métamorphiques tels que l'andalousite ou le grenat. Les grenats présents dans les marnes riches en graphites de la couverture Mésozoïque du Massif du Gotthard présent une zonation sectorielle texturale. La morphologie de cette zonation n'est pas la même dans les marnes litées et dans les marnes foliées. Les grenats des marnes foliées montrent des secteurs bien développés dans 3 directions. Les grenats des marnes litées montrent des secteurs développés uniquement dans la direction des plans de schistosité. Cette zonation sectorielle est toujours associée à des lamelles biréfringentes de quelques microns de large qui partent de la limite des secteurs et qui sont perpendiculaires aux faces du grenat. Ces lamelles alternent avec des lamelles isotropes. La réaction de formation du grenat a été déterminée par calcul matriciel et thermodynamique. La réaction est de la forme chl + mu + cc + cld= bt + fds + ank + gt + czo. Elle est similaire dans les roches litées et dans les roches foliées. L'évaluation des conditions fluides montrent que le X(O) est proche de 0.36 et ne change pas de façon significative durant l'histoire métamorphique de la roche. Des images BSE sur des coupes orientées ont révélé que l'orientation de lamelles biréfringentes est contrôlée parla crystallographie. La comparaison des analyses à la microsonde électronique et des images BSE révèle également que les lamelles biréfringentes sont plus riches en calcium que les lamelles isotropes. L'addition de calcium va déformer légèrement le site X et ainsi créer un ordre sur ce site. L'énergie interne d'un grenat ordré et d'un grenat désordonné sont suffisamment proches pour qu'un léger dépassement de l'énergie de la réaction de formation permette la coexistence des 2 types de grenat dans le même minéral. La formation de lamelles est expliquée par le fait qu'un grenat préférera la même structure. Ces observations sont en accord avec la thermodynamique des solutions solides du grenat et permet d'expliquer les structures similaires observées dans des grenats provenant de lithologies différentes. Une étude de la distribution des tailles des grenats et une modélisation de la croissance a permis de mettre en évidence 2 mécanismes de croissance différents suivant la texture de la roche. Dans les 2 cas, la loi de nucléation est la même. Dans les roches litées, la loi de croissance est de forme R=kt½. Le transport des nutriments est le facteur limitant. Ce transport a lieu préférentiellement dans la direction des niveaux de schistosité. Les grenats ont une forme légèrement allongée car la croissance des secteurs est facilitée sur les niveaux de schistosité. La croissance des grenats dans les roches foliées suit une loi de croissance de la forme R=kt. Les seuls facteurs limitant la croissance sont les processus d'attachement à la surface du grenat. La loi de croissance de ces grenats est donc contrainte par la texture de la roche. Cela se marque par des différences dans la morphologie de la zonation sectorielle.

Communication for Public Goods

This paper studies information transmission between multiple agents with di¤erent preferences and a welfare maximizing decision maker who chooses the quality or quantity of a public good (e.g. provision of public health service; carbon emissions policy; pace of lectures in a classroom) that is consumed by all of them. Communication in such circumstances suffers from the agents' incentive to "exaggerate" their preferences relative to the average of the other agents, since the decision maker's reaction to each agent's message is weaker than in one-to-one communication. As the number of agents becomes larger the quality of information transmission diminishes. The use of binary messages (e.g. "yes" or "no") is shown to be a robust mode of communication when the main source of informational distortion is exaggeration.

Optimal Monetary Policy in a New Keynesian Model with Habits in Consumption

While consumption habits have been utilised as a means of generating a humpshaped output response to monetary policy shocks in sticky-price New Keynesian economies, there is relatively little analysis of the impact of habits (particularly,external habits) on optimal policy. In this paper we consider the implications of external habits for optimal monetary policy, when those habits either exist at the level of the aggregate basket of consumption goods (‘superficial’ habits) or at the level of individual goods (‘deep’ habits: see Ravn, Schmitt-Grohe, and Uribe (2006)). External habits generate an additional distortion in the economy, which implies that the flex-price equilibrium will no longer be efficient and that policy faces interesting new trade-offs and potential stabilisation biases. Furthermore, the endogenous mark-up behaviour, which emerges when habits are deep, can also significantly affect the optimal policy response to shocks, as well as dramatically affecting the stabilising properties of standard simple rules.

Second-Order Approximation to the Rotemberg Model around a Distorted Steady State

Less is known about social welfare objectives when it is costly to change prices, as in Rotemberg (1982), compared with Calvo-type models. We derive a quadratic approximate welfare function around a distorted steady state for the costly price adjustment model. We highlight the similarities and differences to the Calvo setup. Both models imply inflation and output stabilization goals. It is explained why the degree of distortion in the economy influences inflation aversion in the Rotemberg framework in a way that differs from the Calvo setup.

Representació no-lineal de les imatges per a codificació perceptiva

JPEG2000 és un estàndard de compressió d’imatges que utilitza la transformada wavelet i, posteriorment, una quantificació uniforme dels coeficients amb dead-zone. Els coeficients wavelet presenten certes dependències tant estadístiques com visuals. Les dependències estadístiques es tenen en compte a l'esquema JPEG2000, no obstant, no passa el mateix amb les dependències visuals. En aquest treball, es pretén trobar una representació més adaptada al sistema visual que la que proporciona JPEG2000 directament. Per trobar-la utilitzarem la normalització divisiva dels coeficients, tècnica que ja ha demostrat resultats tant en decorrelació estadística de coeficients com perceptiva. Idealment, el que es voldria fer és reconvertir els coeficients a un espai de valors en els quals un valor més elevat dels coeficients impliqui un valor més elevat d'aportació visual, i utilitzar aquest espai de valors per a codificar. A la pràctica, però, volem que el nostre sistema de codificació estigui integrat a un estàndard. És per això que utilitzarem JPEG2000, estàndard de la ITU que permet una elecció de les distorsions en la codificació, i utilitzarem la distorsió en el domini de coeficients normalitzats com a mesura de distorsió per a escollir quines dades s'envien abans.

Government information transparency

This paper studies a model of announcements by a privately informed government about the future state of the economic activity in an economy subject to recurrent shocks and with distortions due to income taxation. Although transparent communication would ex ante be desirable, we find that even a benevolent government may ex-post be non-informative, in an attempt to countervail the tax distortion with a "second best" compensating distortion in information. This result provides a rationale for independent national statistical offices, committed to truthful communication. We also find that whether inequality in income distribution favors or harms government transparency depends on labor supply elasticity.

Dynamic calibration of our sense of time.

An accurate sense of time contributes to functions ranging from the perception and anticipation of sensory events to the production of coordinated movements. However, accumulating evidence demonstrates that time perception is subject to strong illusory distortion. In two experiments, we investigated whether the subjective speed of temporal perception is dependent on our visual environment. By presenting human observers with speed-altered movies of a crowded street scene, we modulated performance on subsequent production of "20s" elapsed intervals. Our results indicate that one's visual environment significantly contributes to calibrating our sense of time, independently of any modulation of arousal. This plasticity generates an assay for the integrity of our sense of time and its rehabilitation in clinical pathologies.

Repair of schistosomal intestinal vascular lesions after curative treatment

The process of repairing intestinal vascular lesions induced by schistosomiasis in mice was studied before and after curative chemotherapy, by means of histopathology coupled with injections of the mesenteric veins with India ink or plastic, in this case followed by corrosion in strong acid. The granulomas were avascular, mainly formed while within blood vessels, and were associated with distortion of the intestinal vasculature in their proximity, represented by tortuosities, focal dilatation, narrowing, and anastomosis of the mucosal and submucosal veins. Two to four months after cure of schistosomiasis involuting granulomas were seen to be slowly vascularized, a process going from the periphery toward the center of the granulomas. No intravascular granulomas were seen four months after treatment. The previously distorted mucosal and submucosal veins gradually regained their normal appearance, only a slight tortuosity remaining.

Former eating disorder impairs 3rd person but not 1st person perspective taking. Does dance training help?

The mental ability to take the perspective of another person may depend on one's own bodily awareness and experience. In the present study, the former was defined as having a history of an eating disorder, and the latter variable was defined as formal experience with dance. The study used a 2 × 2 × 2 factorial design in which reaction times in two mental perspective taking tasks were compared between female dancers and non-dancers with and without a former eating disorder. Participants were asked to imagine two perspectives: i) the position of front-facing and back-facing figures (3rd person perspective taking task) and ii) that these same figures are a self reflection in a mirror (1st person perspective taking task). In both tasks, a particular hand was indicated in the presented figures, and the participants had to decide whether the hand represented their own left or right hand. Overall, responses were slower for front-facing than back-facing figures in the 3rd person perspective taking task, and for back-facing than front-facing figures in the 1st person perspective taking task. Importantly, having a former history of an eating disorder related to a decreased performance in the 3rd person perspective taking task, but only in participants without dance experience. Results from an additional control group (a history of exercise but no dance experience) indicated that dance is particularly beneficial for mental bodily perspective taking. Dance experience, more so than exercise in general, can benefit 3rd person or extrapersonal perspective taking, supporting the favourable impact this exercise has on own body processing

Advantages of digital holographic microscopy for real-time full field absolute phase imaging

Different interferometric techniques were developed last decade to obtain full field, quantitative, and absolute phase imaging, such as phase-shifting, Fourier phase microscopy, Hilbert phase microscopy or digital holographic microscopy (DHM). Although, these techniques are very similar, DHM combines several advantages. In contrast, to phase shifting, DHM is indeed capable of single-shot hologram recording allowing a real-time absolute phase imaging. On the other hand, unlike to Fourier phase or Hilbert phase microscopy, DHM does not require to record in focus images of the specimen on the digital detector (CCD or CMOS camera), because a numerical focalization adjustment can be performed by a numerical wavefront propagation. Consequently, the depth of view of high NA microscope objectives is numerically extended. For example, two different biological cells, floating at different depths in a liquid, can be focalized numerically from the same digital hologram. Moreover, the numerical propagation associated to digital optics and automatic fitting procedures, permits vibrations insensitive full- field phase imaging and the complete compensation for a priori any image distortion or/and phase aberrations introduced for example by imperfections of holders or perfusion chamber. Examples of real-time full-field phase images of biological cells have been demonstrated. ©2008 COPYRIGHT SPIE