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.

The languages of postcolonial ireland and their potential for cultural expression

Ireland is a country in which two languages are spoken: English and Irish. This thesis analyzes the historical relationship between the languages, the cultural codes and meanings attached to each of them, as well as how much of the culture of its speakers each is able to carry. Beyond that, the influence the two languages have exercised on one another and their mutual entwinement is taken into closer examination.

Acknowledging linguistic diversity in a multicultural society: the issue of indigenous languages in Colombia.

Nowadays, modern society is gradually becoming multicultural. However, only in the last few years awareness on its importance has been raised. In the case of Colombia, multiculturalism has existed since the pre-Columbian period and today there are more than 80 ethnic groups and 65 indigenous languages in the country. The aim of this work is to illustrate the status of indigenous languages in Colombia and to enlighten about the importance of recognizing, protecting and strengthening the use of these native languages. Subsequent to this, it will be point out that linguistic diversity should be considered a resource and not a barrier to achieve unity in diversity. Finally, ethno-education will be presented as an adequate educational program that may guarantee an equal linguistic representation in the country.

Prokaryotic community structure in ultra-slow spreading Southwest Indian Ridge.

The Southwest Indian Ridge segment that extends between 10° and 16° E has the slowest spreading rate of any other oceanic ridge (about 8.4 mm/year). In 2013 during the expedition ANTXXIX/8 seismology, geology, microbiology, heat flow analyses were carried out. Here, no hydrothermal plumes or black smoker systems were found but the results of the survey allowed to identify areas with peculiar characteristics: Area 1 with higher heat flux bsf; Area 2 where in 2002 the presence of hydrothermal emissions was hypothesized (Bach et al., 2002); Area 3 with anomalies of methane, ammonium, sulphide and dissolved inorganic carbon in pore water sediment profiles, and recovery of fauna vents. All these aspects suggest the presence of a hydrothermal circulation. Using Illumina 16S gene tag, statistical tools and phylogenetic trees, I provided a biological proof of the presence of hydrothermal circulation in this ridge segment. At Area 3, alpha and beta diversity indexes showed similarities with those described for venting microbial communities and about 40-70% of the dominant microbial community was found phylogenetically related to clones isolated hydrothermal-driven environments. Although the majority of chemosynthetic environment related taxa were not classified like autotrophic prokaryotes, some of them are key taxa in support of the presence of hydrothermal circulation, since they are partners of consortia or mediate specific reaction typically described for hydrothermal and seep environments, or are specialized organisms in exploiting labile organic substrates. Concluding, these results are remarkable because support the importance of ultra slow spreading ridge systems in contributing to global geochemical cycles and larval dispersion of vent fauna.

Embedding Languages Without Breaking Tools

Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts of an application related to specialized domains. Unfortunately, such language extensions typically do not integrate well with the development tools of the host language. Editors, compilers and debuggers are either unaware of the extensions, or must be adapted at a non-trivial cost. We present a novel approach to embed DSLs into an existing host language by leveraging the underlying representation of the host language used by these tools. Helvetia is an extensible system that intercepts the compilation pipeline of the Smalltalk host language to seamlessly integrate language extensions. We validate our approach by case studies that demonstrate three fundamentally different ways to extend or adapt the host language syntax and semantics.

Practical Dynamic Grammars for Dynamic Languages

Grammars for programming languages are traditionally specified statically. They are hard to compose and reuse due to ambiguities that inevitably arise. PetitParser combines ideas from scannerless parsing, parser combinators, parsing expression grammars and packrat parsers to model grammars and parsers as objects that can be reconfigured dynamically. Through examples and benchmarks we demonstrate that dynamic grammars are not only flexible but highly practical.

Beyond Belief: Japanese Approaches to the Meaning of Religion

For several centuries, Japanese scholars have argued that their nation’s culture—including its language, religion and ways of thinking—is somehow unique. The darker side of this rhetoric, sometimes known by the English term “Japanism” (nihon-jinron), played no small role in the nationalist fervor of the late-nineteenth and early twentieth centuries. While much of the so-called “ideology of Japanese uniqueness” can be dismissed, in terms of the Japanese approach to “religion,” there may be something to it. This paper highlights some distinctive—if not entirely unique—features of the way religion has been categorized and understood in Japanese tradition, contrasting these with Western (i.e., Abrahamic), and to a lesser extent Indian and Chinese understandings. Particular attention is given to the priority of praxis over belief in the Japanese religious context. Des siècles durant, des chercheurs japonais ont soutenu que leur culture – soit leur langue, leur religion et leurs façons de penser – était en quelque sorte unique. Or, sous son jour le plus sombre, cette rhétorique, parfois désignée du terme de « japonisme » (nihon-jinron), ne fut pas sans jouer un rôle déterminant dans la montée de la ferveur nationaliste à la fin du XIXe siècle, ainsi qu’au début du XXe siècle. Bien que l’on puisse discréditer pour l’essentiel cette soi-disant « idéologie de l’unicité japonaise », la conception nippone de la « religion » constitue, quant à elle, un objet d’analyse des plus utiles et pertinents. Cet article met en évidence quelques caractéristiques, sinon uniques du moins distinctives, de la manière dont la religion a été élaborée et comprise au sein de la tradition japonaise, pour ensuite les constrater avec les conceptions occidentale (abrahamique) et, dans une moindre mesure, indienne et chinoise. Une attention toute particulière est ici accordée à la praxis plutôt qu’à la croyance dans le contexte religieux japonais.

The Design of XML-Based Model and Experiment Description Languages for Network Simulation

The Simulation Automation Framework for Experiments (SAFE) is a project created to raise the level of abstraction in network simulation tools and thereby address issues that undermine credibility. SAFE incorporates best practices in network simulationto automate the experimental process and to guide users in the development of sound scientific studies using the popular ns-3 network simulator. My contributions to the SAFE project: the design of two XML-based languages called NEDL (ns-3 Experiment Description Language) and NSTL (ns-3 Script Templating Language), which facilitate the description of experiments and network simulationmodels, respectively. The languages provide a foundation for the construction of better interfaces between the user and the ns-3 simulator. They also provide input to a mechanism which automates the execution of network simulation experiments. Additionally,this thesis demonstrates that one can develop tools to generate ns-3 scripts in Python or C++ automatically from NSTL model descriptions.

PBDEs in the atmosphere over the Asian marginal seas, and the Indian and Atlantic oceans

Air samples were collected from Jan 16 to Mar 14, 2008 onboard the Oceanic II- The Scholar Ship which navigated an east–west transect from Shanghai to Cape Verde, and polybrominated diphenyl ethers (PBDEs) were analyzed in these samples. PBDE concentrations in the atmosphere over the open seas were influenced by proximity to source areas and land, and air mass origins. The concentrations of Σ21PBDEs over the East and South China Seas, the Bay of Bengal and the Andaman Sea, the Indian Ocean, and the Atlantic Ocean were 10.8 ± 6.13, 3.22 ± 1.57, 5.12 ± 3.56, and 2.87 ± 1.81 pg m−3, respectively. BDE-47 and -99 were the dominant congeners in all the samples, suggesting that the widely used commercial penta-BDE products were the original sources. Over some parts of Atlantic and Indian Ocean, daytime concentrations of BDE-47 and BDE-99 were higher than the concentrations at night. The strong atmospheric variability does not always coincide with a diurnal cycle, but the variability in air concentrations in such remote areas of the ocean remains strong. No significant trends were found for each of PBDE congener with latitude.