Automatically Evolving Rotation-invariant Texture Image Descriptors by Genetic Programming

In computer vision, training a model that performs classification effectively is highly dependent on the extracted features, and the number of training instances. Conventionally, feature detection and extraction are performed by a domain-expert who, in many cases, is expensive to employ and hard to find. Therefore, image descriptors have emerged to automate these tasks. However, designing an image descriptor still requires domain-expert intervention. Moreover, the majority of machine learning algorithms require a large number of training examples to perform well. However, labelled data is not always available or easy to acquire, and dealing with a large dataset can dramatically slow down the training process. In this paper, we propose a novel Genetic Programming based method that automatically synthesises a descriptor using only two training instances per class. The proposed method combines arithmetic operators to evolve a model that takes an image and generates a feature vector. The performance of the proposed method is assessed using six datasets for texture classification with different degrees of rotation, and is compared with seven domain-expert designed descriptors. The results show that the proposed method is robust to rotation, and has significantly outperformed, or achieved a comparable performance to, the baseline methods.

High-performance parallel systems for data-intensive computing

Thesis (Ph.D.)--University of Washington, 2016-08

Type-Aware Programming Models for Distributed Applications

Thesis (Ph.D.)--University of Washington, 2016-08

From Kandinsky to Java (The Use of 20th Century Abstract Art in Learning Programming)

At the University of Worcester we are continually striving to find new approaches to the learning and teaching of programming, to improve the quality of learning and the student experience. Over the past three years we have used the contexts of robotics, computer games, and most recently a study of Abstract Art to this end. This paper discusses our motivation for using Abstract Art as a context, details our principles and methodology, and reports on an evaluation of the student experience. Our basic tenet is that one can view the works of artists such as Kandinsky, Klee and Malevich as Object-Oriented (OO) constructions. Discussion of these works can therefore be used to introduce OO principles, to explore the meaning of classes, methods and attributes and finally to synthesize new works of art through Java code. This research has been conducted during delivery of an “Advanced OOP (Java)” programming module at final-year Undergraduate level, and during a Masters’ OO-Programming (Java) module. This allows a comparative evaluation of novice and experienced programmers’ learning. In this paper, we identify several instructional factors which emerge from our approach, and reflect upon the associated pedagogy. A Catalogue of ArtApplets is provided at the associated web-site.

The “social” aspect of social-ecological systems: a critique of analytical frameworks and findings from a multisite study of coastal sustainability

We evaluate whether society can adequately be conceptualized as a component of social-ecological systems, given social theory and the current outputs of systems-based research. A mounting critique from the social sciences posits that resilience theory has undertheorized social entities with the concept of social-ecological systems. We trace the way that use of the term has evolved, relating to social science theory. Scientometic and network analysis provide a wide range of empirical data about the origin, growth, and use of this term in academic literature. A content analysis of papers in Ecology and Society demonstrates a marked emphasis in research on institutions, economic incentives, land use, population, social networks, and social learning. These findings are supported by a review of systems science in 18 coastal assessments. This reveals that a systems-based conceptualization tends to limit the kinds of social science research favoring quantitative couplings of social and ecological components and downplaying interpretive traditions of social research. However, the concept of social-ecological systems remains relevant because of the central insights concerning the dynamic coupling between humans and the environment, and its salient critique about the need for multidisciplinary approaches to solve real world problems, drawing on heuristic devices. The findings of this study should lead to more circumspection about whether a systems approach warrants such claims to comprehensiveness. Further methodological advances are required for interdisciplinarity. Yet there is evidence that systems approaches remain highly productive and useful for considering certain social components such as land use and hybrid ecological networks. We clarify advantages and restrictions of utilizing such a concept, and propose a reformulation that supports engagement with wider traditions of research in the social sciences.

Common Environment for Undergraduate Computer Programming

We present an Integrated Environment suitable for learning and teaching computer programming which is designed for both students of specialised Computer Science courses, and also non-specialist students such as those following Liberal Arts. The environment is rich enough to allow exploration of concepts from robotics, artificial intelligence, social science, and philosophy as well as the specialist areas of operating systems and the various computer programming paradigms.

An Integrated Programming Environment for Undergraduate Computing Courses

The Computing Division of the Business School at University College Worcester provides computing and information technology education to a range of undergraduate students. Topics include various approaches to programming, artificial intelligence, operating systems and digital technologies. Each of these has its own potentially conflicting requirements for a pedagogically sound programming environment. This paper describes an endeavor to develop a common programming paradigm across all topics. This involves the combined use of autonomous robots and Java simulations.

Database evolution on an orthogonal persistent programming system: A semi-transparent approach

In this paper the problem of the evolution of an object-oriented database in the context of orthogonal persistent programming systems is addressed. We have observed two characteristics in that type of systems that offer particular conditions to implement the evolution in a semi-transparent fashion. That transparency can further be enhanced with the obliviousness provided by the Aspect-Oriented Programming techniques. Was conceived a meta-model and developed a prototype to test the feasibility of our approach. The system allows programs, written to a schema, access semi-transparently to data in other versions of the schema.

The Visual Arts as a Canvas for Teaching Computer Programming

We explore the relationships between the construction of a work of art and the crafting of a computer program in Java and suggest that the structure of paintings and drawings may be used to teach the fundamental concepts of computer programming. This movement "from Art to Science", using art to drive computing, complements the common use of computing to inform art. We report on initial experiences using this approach with undergraduate and postgraduate students. An embryonic theory of the correspondence between art and computing is presented and a methodology proposed to develop this project further.

The International <IR> Framework’s impact on the social and relationship disclosures in the healthcare industry

Abstract Background and Problem: The altering business world and the growing requests from stakeholders have resulted in the establishment of new reports. These are among others Sustainability reports and Integrated Reporting. On the contrary, traditional financial reports do not consider the significance of intangible assets in modern entities. The social and relationship capital has further shown to be important for firms, especially healthcare companies and pharmaceuticals, but is not as developed as other capitals within the <IR> framework and therefore not always included in annual reports. However too few disclosures within this area could lead to high liabilities. The IIRC launched the <IR> framework year 2013 as a solution, as it gives a more comprehensive view of the reporting entity. Within this framework there are six capitals: manufactured, human, financial, natural, intellectual and social and relationship.   Purpose: The purpose of this thesis is to find out how the International <IR> Framework has influenced the reporting of the social and relationship disclosures within the healthcare industry, to compare the reporting of the six medical firms chosen and to examine how the social concerns have been developed over time. Delimitations: This study is conducted over a period of three years, from year 2012 to year 2014. It only examines healthcare companies which use the International <IR> framework and it has solely focus on the social and relationship capital. All other capitals within the <IR> framework are excluded from the study. Method: This study has a qualitative research strategy and is based on information collected from published documents in form of annual reports. The annual reports from year 2010, 2011 and 2012 are used to find social and relationship disclosures and a disclosure scoreboard is used to find similarities, differences and patterns. Empirical Results and Conclusion: It has been found that the aggregated social and relationship disclosures have been reduced over time. The year followed by the release of the <IR> framework was seen to have the least disclosures and therefore conclusion was drawn that the <IR> framework had a negative influence on the social and relationship disclosures. There were also differences among the companies studied both in extent and content. The former could be linked to factors such as size and nationality and the latter could be linked to reputation preservation and legitimacy interests.

Nonparametric tests of collectively rational consumption behavior: an integer programming procedure

We present an IP-based nonparametric (revealed preference) testing procedure for rational consumption behavior in terms of general collective models, which include consumption externalities and public consumption. An empirical application to data drawn from the Russia Longitudinal Monitoring Survey (RLMS) demonstrates the practical usefulness of the procedure. Finally, we present extensions of the testing procedure to evaluate the goodness-of-…t of the collective model subject to testing, and to quantify and improve the power of the corresponding collective rationality tests.

Diet and Probiotics during Pregnancy - Endorsing developmental Programming

Maternal obesity has been shown to increase the risk for adverse reproductive health outcomes such as gestational diabetes, hypertension, and preeclampsia. Moreover, several studies have indicated that overnutrition and maternal obesity adversely program the development of offspring by predisposing them to obesity and other chronic diseases later in life. The exact molecular mechanisms leading to developmental programming are not known, but it has recently been suggested that obesity-related low-grade inflammation, gut microbiota and epigenetic gene regulation (in particularly DNA methylation) participate in the developmental programming phenomenon. The aim of this thesis was to evaluate the effect of diet, dietary counseling and probiotic intervention during pregnancy in endorsing favorable developmental programming. The study population consisted of 256 mother-child pairs participating in a prospective, double-blinded dietary counselling and probiotic intervention (Lactobacillus rhamnosus GG and Bifidobacterium lactis Bb12) NAMI (Nutrition, Allergy, Mucosal immunology and Intestinal microbiota) study. Further overweight women were recruited from maternal welfare clinics in the area of Southwest Finland and from the prenatal outpatient clinic at Turku University Hospital. Dietary counseling was aimed to modify women’s dietary intake to comply with the recommended intake for pregnant women. Specifically, counseling aimed to affect the type of fat consumed and to increase the amount of fiber in the women’s diets. Leptin concentration was used as a marker for obesity-related low-grade inflammation, antioxidant vitamin status as an efficiency marker for dietary counselling and epigenetic DNA methylation of obesity related genes as a marker for probiotics influence. Results revealed that dietary intake may modify obesity-associated low-grade inflammation as measured by serum leptin concentration. Specifically, dietary fiber intake may lower leptin concentration in women, whereas the intakes of saturated fatty acids and sucrose have an opposite effect. Neither dietary counselling nor probiotic intervention modified leptin concentration in women, but probiotics tended to increase children’s leptin concentration. Dietary counseling was an efficient tool for improving antioxidant vitamin intake in women, which was reflected in the breast milk vitamin concentration. Probiotic intervention affected DNA methylation of dozens of obesity and weight gain related genes both in women and their children. Altogether these results indicate that dietary components, dietary counseling and probiotic supplementation during pregnancy may modify the intrauterine environment towards favorable developmental programming.

Functional Programming With Relations

While programming in a relational framework has much to offer over the functional style in terms of expressiveness, computing with relations is less efficient, and more semantically troublesome. In this paper we propose a novel blend of the functional and relational styles. We identify a class of "causal relations", which inherit some of the bi-directionality properties of relations, but retain the efficiency and semantic foundations of the functional style.

FRAMEWORK SYNTHESIS FOR SYMBOLIC EXECUTION OF EVENT-DRIVEN FRAMEWORKS

Symbolic execution is a powerful program analysis technique, but it is very challenging to apply to programs built using event-driven frameworks, such as Android. The main reason is that the framework code itself is too complex to symbolically execute. The standard solution is to manually create a framework model that is simpler and more amenable to symbolic execution. However, developing and maintaining such a model by hand is difficult and error-prone. We claim that we can leverage program synthesis to introduce a high-degree of automation to the process of framework modeling. To support this thesis, we present three pieces of work. First, we introduced SymDroid, a symbolic executor for Android. While Android apps are written in Java, they are compiled to Dalvik bytecode format. Instead of analyzing an app’s Java source, which may not be available, or decompiling from Dalvik back to Java, which requires significant engineering effort and introduces yet another source of potential bugs in an analysis, SymDroid works directly on Dalvik bytecode. Second, we introduced Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket takes as input the framework API and tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes an executable framework model by instantiating design patterns, such that the behavior of a synthesized model on the tutorial programs matches that of the original framework. Lastly, in order to scale program synthesis to framework models, we devised adaptive concretization, a novel program synthesis algorithm that combines the best of the two major synthesis strategies: symbolic search, i.e., using SAT or SMT solvers, and explicit search, e.g., stochastic enumeration of possible solutions. Adaptive concretization parallelizes multiple sub-synthesis problems by partially concretizing highly influential unknowns in the original synthesis problem. Thanks to adaptive concretization, Pasket can generate a large-scale model, e.g., thousands lines of code. In addition, we have used an Android model synthesized by Pasket and found that the model is sufficient to allow SymDroid to execute a range of apps.