Extending Implicit Computational Complexity and Abstract Machines to Languages with Control

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the execution of these programs in terms of abstract machines. In 1990 Griffin proved that the correspondence can be extended to Classical Logic and control operators. That is, Classical Logic adds the possiblity to manipulate continuations. In this thesis we see how the things we described above work in this larger context.

Ergodicity and regularity of invariant measure for branching Markov processes with immigration

In this thesis we consider systems of finitely many particles moving on paths given by a strong Markov process and undergoing branching and reproduction at random times. The branching rate of a particle, its number of offspring and their spatial distribution are allowed to depend on the particle's position and possibly on the configuration of coexisting particles. In addition there is immigration of new particles, with the rate of immigration and the distribution of immigrants possibly depending on the configuration of pre-existing particles as well. In the first two chapters of this work, we concentrate on the case that the joint motion of particles is governed by a diffusion with interacting components. The resulting process of particle configurations was studied by E. Löcherbach (2002, 2004) and is known as a branching diffusion with immigration (BDI). Chapter 1 contains a detailed introduction of the basic model assumptions, in particular an assumption of ergodicity which guarantees that the BDI process is positive Harris recurrent with finite invariant measure on the configuration space. This object and a closely related quantity, namely the invariant occupation measure on the single-particle space, are investigated in Chapter 2 where we study the problem of the existence of Lebesgue-densities with nice regularity properties. For example, it turns out that the existence of a continuous density for the invariant measure depends on the mechanism by which newborn particles are distributed in space, namely whether branching particles reproduce at their death position or their offspring are distributed according to an absolutely continuous transition kernel. In Chapter 3, we assume that the quantities defining the model depend only on the spatial position but not on the configuration of coexisting particles. In this framework (which was considered by Höpfner and Löcherbach (2005) in the special case that branching particles reproduce at their death position), the particle motions are independent, and we can allow for more general Markov processes instead of diffusions. The resulting configuration process is a branching Markov process in the sense introduced by Ikeda, Nagasawa and Watanabe (1968), complemented by an immigration mechanism. Generalizing results obtained by Höpfner and Löcherbach (2005), we give sufficient conditions for ergodicity in the sense of positive recurrence of the configuration process and finiteness of the invariant occupation measure in the case of general particle motions and offspring distributions.

Using an adaptive autoregressive model for the early detection of action potential duration alternans

Cardiostim 2012, Nice, France

Decomposing Blaschke Products And Polynomials

The goal of this paper is to contribute to the understanding of complex polynomials and Blaschke products, two very important function classes in mathematics. For a polynomial, $f,$ of degree $n,$ we study when it is possible to write $f$ as a composition $f=g\circ h$, where $g$ and $h$ are polynomials, each of degree less than $n.$ A polynomial is defined to be \emph{decomposable }if such an $h$ and $g$ exist, and a polynomial is said to be \emph{indecomposable} if no such $h$ and $g$ exist. We apply the results of Rickards in \cite{key-2}. We show that $$C_{n}=\{(z_{1},z_{2},...,z_{n})\in\mathbb{C}^{n}\,|\,(z-z_{1})(z-z_{2})...(z-z_{n})\,\mbox{is decomposable}\},$$ has measure $0$ when considered a subset of $\mathbb{R}^{2n}.$ Using this we prove the stronger result that $$D_{n}=\{(z_{1},z_{2},...,z_{n})\in\mathbb{C}^{n}\,|\,\mbox{There exists\,}a\in\mathbb{C}\,\,\mbox{with}\,\,(z-z_{1})(z-z_{2})...(z-z_{n})(z-a)\,\mbox{decomposable}\},$$ also has measure zero when considered a subset of $\mathbb{R}^{2n}.$ We show that for any polynomial $p$, there exists an $a\in\mathbb{C}$ such that $p(z)(z-a)$ is indecomposable, and we also examine the case of $D_{5}$ in detail. The main work of this paper studies finite Blaschke products, analytic functions on $\overline{\mathbb{D}}$ that map $\partial\mathbb{D}$ to $\partial\mathbb{D}.$ In analogy with polynomials, we discuss when a degree $n$ Blaschke product, $B,$ can be written as a composition $C\circ D$, where $C$ and $D$ are finite Blaschke products, each of degree less than $n.$ Decomposable and indecomposable are defined analogously. Our main results are divided into two sections. First, we equate a condition on the zeros of the Blaschke product with the existence of a decomposition where the right-hand factor, $D,$ has degree $2.$ We also equate decomposability of a Blaschke product, $B,$ with the existence of a Poncelet curve, whose foci are a subset of the zeros of $B,$ such that the Poncelet curve satisfies certain tangency conditions. This result is hard to apply in general, but has a very nice geometric interpretation when we desire a composition where the right-hand factor is degree 2 or 3. Our second section of finite Blaschke product results builds off of the work of Cowen in \cite{key-3}. For a finite Blaschke product $B,$ Cowen defines the so-called monodromy group, $G_{B},$ of the finite Blaschke product. He then equates the decomposability of a finite Blaschke product, $B,$ with the existence of a nontrivial partition, $\mathcal{P},$ of the branches of $B^{-1}(z),$ such that $G_{B}$ respects $\mathcal{P}$. We present an in-depth analysis of how to calculate $G_{B}$, extending Cowen's description. These methods allow us to equate the existence of a decomposition where the left-hand factor has degree 2, with a simple condition on the critical points of the Blaschke product. In addition we are able to put a condition of the structure of $G_{B}$ for any decomposable Blaschke product satisfying certain normalization conditions. The final section of this paper discusses how one can put the results of the paper into practice to determine, if a particular Blaschke product is decomposable. We compare three major algorithms. The first is a brute force technique where one searches through the zero set of $B$ for subsets which could be the zero set of $D$, exhaustively searching for a successful decomposition $B(z)=C(D(z)).$ The second algorithm involves simply examining the cardinality of the image, under $B,$ of the set of critical points of $B.$ For a degree $n$ Blaschke product, $B,$ if this cardinality is greater than $\frac{n}{2}$, the Blaschke product is indecomposable. The final algorithm attempts to apply the geometric interpretation of decomposability given by our theorem concerning the existence of a particular Poncelet curve. The final two algorithms can be implemented easily with the use of an HTML

Endoscopic Image Overlay for the Targeting of Hidden Anatomy in Laparoscopic Visceral Surgery

Limitations associated with the visual information provided to surgeons during laparoscopic surgery increases the difficulty of procedures and thus, reduces clinical indications and increases training time. This work presents a novel augmented reality visualization approach that aims to improve visual data supplied for the targeting of non visible anatomical structures in laparoscopic visceral surgery. The approach aims to facilitate the localisation of hidden structures with minimal damage to surrounding structures and with minimal training requirements. The proposed augmented reality visualization approach incorporates endoscopic images overlaid with virtual 3D models of underlying critical structures in addition to targeting and depth information pertaining to targeted structures. Image overlay was achieved through the implementation of camera calibration techniques and integration of the optically tracked endoscope into an existing image guidance system for liver surgery. The approach was validated in accuracy, clinical integration and targeting experiments. Accuracy of the overlay was found to have a mean value of 3.5 mm ± 1.9 mm and 92.7% of targets within a liver phantom were successfully located laparoscopically by non trained subjects using the approach.

Intensive insulin treatment

Hyperglycaemia is common in acute illness and more severe hyperglycaemia is associated with worse outcomes in critically ill patients in general and after acute myocardial infarction, stroke, and trauma. Normalization of blood glucose by intensive insulin therapy has been shown to reduce morbidity and mortality in one study in surgical intensive care patients; a subsequent study in medical intensive care patients resulted in reduced morbidity but not a reduction in mortality. Multicentre studies and current meta-analyses in the critically ill have not demonstrated improved outcomes when normalization of blood glucose was targeted; furthermore all studies to date have detected an increased risk of hypoglycaemia in patients subjected to intensive insulin therapy. At present, universal treatment guidelines or recommendations to target strict normoglycaemia must be considered premature. Further data will be available after the completion of the NICE-SUGAR study which has recruited 6103 patients; the NICE SUGAR study will add significant power to future meta-analyses and may help define the role of intensive insulin therapy in critically ill patients.

Outline of a theory of efficient teams in Sport.

Introduction So far, social psychology in sport has preliminary focused on team cohesion, and many studies and meta-analyses tried to demonstrate a relation between cohesiveness of a team and its performance. How a team really co-operates and how the individual actions are integrated towards a team action is a question that has received relatively little attention in research. This may, at least in part, be due to a lack of a theoretical framework for collective actions, a dearth that has only recently begun to challenge sport psychologists. Objectives In this presentation a framework for a comprehensive theory of teams in sport is outlined and its potential to integrate research in the domain of team performance and, more specifically, the following presentations, is put up for discussion. Method Based on a model developed by von Cranach, Ochsenbein and Valach (1986), teams are considered to be information processing organisms, and team actions need to be investigated on two levels: the individual team member and the group as an entity. Elements to be considered are the task, the social structure, the information processing structure and the execution structure. Obviously, different task require different social structures, communication processes and co-ordination of individual movements. Especially in rapid interactive sports planning and execution of movements based on feedback loops are not possible. Deliberate planning may be a solution mainly for offensive actions, whereas defensive actions have to adjust to the opponent team's actions. Consequently, mental representations must be developed to allow a feed-forward regulation of team member's actions. Results and Conclusions Some preliminary findings based on this conceptual framework as well as further consequences for empirical investigations will be presented. References Cranach, M.v., Ochsenbein, G. & Valach, L. (1986). The group as a self-active system: Outline of a theory of group action. European Journal of Social Psychology, 16, 193-229.

Market Access in Switzerland and in the European Union for Agricultural Products from Least Developed Countries

The introduction of the so-called “duty free quota free” treatment (DFQF) for all products from least developed countries (LDCs), in particular by the European Communities (EC) and by Switzerland, raised expectations of increased agricultural exports for these 49 countries. Despite the high tariff differential LDCs now enjoy over their competitors, especially for agricultural products and particularly in Switzerland, the results until 2007 are dismal: with the exception of sugar exports to the EC, LDCs have not been able to substantially increase their agricultural exports to Europe. This study analyses the result-ing tariff situation and the remaining non-tariff barriers. In many instances it is not cus-toms duties but the sanitary and phytosanitary barriers which turn out to be the single most important hurdle preventing trade. For instance, almost no LDC-based company can supply animal-based products. Similarly, certain private standards set by proces-sors and retailers prevent imports, particularly from LDCs, far more effectively than tar-iffs. Several gateways into this “European cordon sanitaire” are proposed. Only if offered in the context of a package of various carefully coordinated measures, DFQF could yet have a real impact on trade from LDCs. As it stands, this treatment constitutes only a nice-to-have but still largely ineffective instrument of trade development.

Efficient Team actions

Team is a widely represented phenomenon in sport. Despite this fact, sport psychology has yet to answers the question why some teams deliver more successful Performance and produce higher interpersonal satisfaction among athletes than others. While group cohesion, defined as "a dynamic process which is reflected in the tendency for a group to stick together and remain united in the pursuit of its instrumental objectives and/or for the satisfaction of member affective needs" (Carron, Brawley, & Widmeyer, 1997, p.°213) is considered to be one important factor contributing to performance, cognitive aspects of team performance depict a complementary view. More specifically, attitudes, efficacy beliefs, role understanding, common goals, and communication are present in any group of two or more people playing Sport together. The interactions between these cognitions and motivation, cohesion, performance, and satisfaction in teams sport is yet an under researched area in sport psychology. Reference Carron, A.V., Brawley, L.R., & Widmeyer, W.N. (1997). The measurement of cohesiveness in sport groups. In J.L. Duda (Ed.), Advances in sport and exercise psychology measurement (pp. 213-­226). Morgantown, WV: Fitness Information Technology.

Effects of overt self-­talk on team partners’ other-efficacy and performance in a golf putting task

Introduction According to Lent and Lopez’ (2002) tripartite view of efficacy beliefs, members of a team form beliefs about the efficacy of their team partners. This other-efficacy belief can influence individual performance as shown by Dunlop, Beatty, and Beauchamp (2011) in their experimental study using manipulated performance feedback to alter other-efficacy beliefs. Participants holding favorable other-efficacy beliefs outperformed those with lower other--‐efficacy beliefs. Antecedents of such other-efficacy beliefs are amongst others perceptions regarding motivation and psychological factors of the partner (Jackson, Knapp, & Beauchamp, 2008). Overt self-talk could be interpreted as the manifestation of such motivational or psychological factors. In line with this assumption, in an experimental study using dubbed videos of the same segment of a tennis match, Van Raalte, Brewer, Cornelius, and Petitpas (2006) found that players were perceived more favorably (e.g., more concentrated, and of higher ability levels) when shown with dubbed positive self-talk as compared to dubbed negative or no dubbed self--‐talk. Objectives The aim of the study was to examine the possible effects of a confederate’s overt self-talk on participants’ other-efficacy beliefs and performance in a team setting. Method In a laboratory experiment (between-subjects, pre-post-test design, matched by pretest performance) 89 undergraduate students (female = 35, M = 20.81 years, SD = 2.34) participated in a golf putting task together with a confederate (same gender groups). Depending on the experimental condition (positive, negative, or no self-talk), the confederate commented his or her putts according to a self-talk script. Bogus performance feedback assured that the performance of the confederate was held constant. Performance was measured as the distance to the center of the target, other-efficacy by a questionnaire. Results The data collection has just finished and the results of repeated measures analyses of variance will be presented and discussed at the congress. We expect to find higher other-efficacy beliefs and better individual performance in the positive self-talk condition. References Dunlop, W.L., Beatty, D.J., & Beauchamp, M.R. (2011). Examining the influence of other-efficacy and self-efficacy on personal performance. Journal of Sport & Exercise Psychology, 33, 586-593. Jackson, B., Knapp, P., & Beauchamp, M.R. (2008). Origins and consequences of tripartite efficacy beliefs within elite athlete dyads. Journal of Sport and Exercise Psychology, 30, 512-540. Lent, R.W., & Lopez, F.G. (2002). Cognitive ties that bind: A tripartite view of efficacy beliefs in growth--‐promoting relationships. Journal of Social and Clinical Psychology, 21, 256-286. Van Raalte, J.L., Brewer, B.W, Cornelius, A.E., & Petitpas, A.J. (2006). Self-presentational effects of self-talk on perceptions of tennis players. Hellenic Journal of Psychology, 3, 134-149.

Making regression tables simplified

estout, introduced by Jann (Stata Journal 5: 288–308), is a useful tool for producing regression tables from stored estimates. However, its syntax is relatively complex and commands may turn out long even for simple tables. Furthermore, having to store the estimates beforehand can be cumbersome. To facilitate the production of regression tables, I therefore present here two new commands called eststo and esttab. eststo is a wrapper for offcial Stata’s estimates store and simplifies the storing of estimation results for tabulation. esttab, on the other hand, is a wrapper for estout and simplifies compiling nice-looking tables from the stored estimates without much typing. I also provide updates to estout and estadd.