Typed Generic Traversal With Term Rewriting Strategies

A typed model of strategic term rewriting is developed. The key innovation is that generic traversal is covered. To this end, we define a typed rewriting calculus S'_{gamma}. The calculus employs a many-sorted type system extended by designated generic strategy types gamma. We consider two generic strategy types, namely the types of type-preserving and type-unifying strategies. S'_{gamma} offers traversal combinators to construct traversals or schemes thereof from many-sorted and generic strategies. The traversal combinators model different forms of one-step traversal, that is, they process the immediate subterms of a given term without anticipating any scheme of recursion into terms. To inhabit generic types, we need to add a fundamental combinator to lift a many-sorted strategy $s$ to a generic type gamma. This step is called strategy extension. The semantics of the corresponding combinator states that s is only applied if the type of the term at hand fits, otherwise the extended strategy fails. This approach dictates that the semantics of strategy application must be type-dependent to a certain extent. Typed strategic term rewriting with coverage of generic term traversal is a simple but expressive model of generic programming. It has applications in program transformation and program analysis.Comment: 85 pages, submitted for publication to the Journal of Logic and Algebraic Programmin

Reconsideration and extension of Cartesian genetic programming

This dissertation aims on analyzing fundamental concepts and dogmas of a graph-based genetic programming approach called Cartesian Genetic Programming (CGP) and introduces advanced genetic operators for CGP. The results of the experiments presented in this thesis lead to more knowledge about the algorithmic use of CGP and its underlying working mechanisms. CGP has been mostly used with a parametrization pattern, which has been prematurely generalized as the most efficient pattern for standard CGP and its variants. Several parametrization patterns are evaluated with more detailed and comprehensive experiments by using meta-optimization. This thesis also presents a first runtime analysis of CGP. The time complexity of a simple (1+1)-CGP algorithm is analyzed with a simple mathematical problem and a simple Boolean function problem. In the subfield of genetic operators for CGP, new recombination and mutation techniques that work on a phenotypic level are presented. The effectiveness of these operators is demonstrated on a widespread set of popular benchmark problems. Especially the role of recombination can be seen as a big open question in the field of CGP, since the lack of an effective recombination operator limits CGP to mutation-only use. Phenotypic exploration analysis is used to analyze the effects caused by the presented operators. This type of analysis also leads to new insights into the search behavior of CGP in continuous and discrete fitness spaces. Overall, the outcome of this thesis leads to a reconsideration of how CGP is effectively used and extends its adaption from Darwin's and Lamarck's theories of biological evolution

Researching Women in Silent Cinema: New Findings and Perspectives

This anthology exposes the richness and variety of interests that motivate feminist film research today. Exploring women’s contribution to silent cinema, scholars from across the globe address questions of performance, nationality, industry, technology, labor, and theory of feminist historiography. The volume builds on the thematic, methodological, and material diversity that characterized earlier efforts in women’s film history, and the originating context of the sixth Women and the Silent Screen conference (Bologna, 2010). Much emphasis is given to the transitional period of silent cinema (1910s to the early 1920s), which emerges as the field where feminist film scholars are beginning to claim their own theoretical and historical ‘place’. While giving a new impetus to the idea of transitional cinema, the collected essays also illuminate the importance of film’s transnational circulation. Questions of nation and nationhood, and women’s inclusion or exclusion within these terms, are examined in connection to issues of cultural globalization. How did American serial queens impact early Chinese film? How did the variety stage accommodate American films in Rio de Janeiro? Along what lines might we discuss women filmmakers who literally toured the world? These are just some of the issues that are discussed in the volume. Each investigation prompts us into distinct acts of cultural contextualization. A particular focus on acting and the agency of the actress is shared across the volume. The fundamental figure of the actress links multiple threads of scholarship, traversing different films and national cinemas. Alice Guy, Asta Nielsen, Florence Turner, Lois Weber, Mary Pickford, Esfir’ Shub, Pearl White, Vera Karalli, Aleksandra Khokhlova, Elsa Lanchester, Louise Fazenda, Sarah Bernhardt, Gemma Bellincioni, Angelina Buracci, Yin Mingzhu, Leni Riefensthal: these are but some of the names that are encountered across the essays in the collection. New findings are exposed and new research perspectives are opened through these and other figures, allowing us to uncover original ways of thinking about women’s visibility and agency on film

Researching Women in Silent Cinema: New Findings and Perspectives

This anthology exposes the richness and variety of interests that motivate feminist film research today. Exploring women’s contribution to silent cinema, scholars from across the globe address questions of performance, nationality, industry, technology, labor, and theory of feminist historiography. The volume builds on the thematic, methodological, and material diversity that characterized earlier efforts in women’s film history, and the originating context of the sixth Women and the Silent Screen conference (Bologna, 2010). Much emphasis is given to the transitional period of silent cinema (1910s to the early 1920s), which emerges as the field where feminist film scholars are beginning to claim their own theoretical and historical ‘place’. While giving a new impetus to the idea of transitional cinema, the collected essays also illuminate the importance of film’s transnational circulation. Questions of nation and nationhood, and women’s inclusion or exclusion within these terms, are examined in connection to issues of cultural globalization. How did American serial queens impact early Chinese film? How did the variety stage accommodate American films in Rio de Janeiro? Along what lines might we discuss women filmmakers who literally toured the world? These are just some of the issues that are discussed in the volume. Each investigation prompts us into distinct acts of cultural contextualization. A particular focus on acting and the agency of the actress is shared across the volume. The fundamental figure of the actress links multiple threads of scholarship, traversing different films and national cinemas. Alice Guy, Asta Nielsen, Florence Turner, Lois Weber, Mary Pickford, Esfir’ Shub, Pearl White, Vera Karalli, Aleksandra Khokhlova, Elsa Lanchester, Louise Fazenda, Sarah Bernhardt, Gemma Bellincioni, Angelina Buracci, Yin Mingzhu, Leni Riefensthal: these are but some of the names that are encountered across the essays in the collection. New findings are exposed and new research perspectives are opened through these and other figures, allowing us to uncover original ways of thinking about women’s visibility and agency on film