Fixed Point vs. First-Order Logic on Finite Ordered Structures with Unary Relations

We prove that first order logic is strictly weaker than fixed point logic over every infinite classes of finite ordered structures with unary relations: Over these classes there is always an inductive unary relation which cannot be defined by a first-order formula, even when every inductive sentence (i.e., closed formula) can be expressed in first-order over this particular class. Our proof first establishes a property valid for every unary relation definable by first-order logic over these classes which is peculiar to classes of ordered structures with unary relations. In a second step we show that this property itself can be expressed in fixed point logic and can be used to construct a non-elementary unary relation.

Efficient Support for Common Relations in Lightweight Formal Reasoning Systems

In work that involves mathematical rigor, there are numerous benefits to adopting a representation of models and arguments that can be supplied to a formal reasoning or verification system: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, accessibility has not been a priority in the design of formal verification tools that can provide these benefits. In earlier work [Lap09a], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. This work expands one aspect of the earlier work by considering more extensively an essential capability for any formal reasoning system whose design is oriented around simulating the natural context: native support for a collection of mathematical relations that deal with common constructs in arithmetic and set theory. We provide a formal definition for a context of relations that can be used to both validate and assist formal reasoning activities. We provide a proof that any algorithm that implements this formal structure faithfully will necessary converge. Finally, we consider the efficiency of an implementation of this formal structure that leverages modular implementations of well-known data structures: balanced search trees and transitive closures of hypergraphs.

Towards enhanced divine-human-earth relations: a Christian-Buddhist contribution

The central claim of the dissertation is that lesser known and somewhat neglected, yet influential thinkers, within classical religious traditions have something worthwhile to contribute to the kind of ethos we should adopt in the face of the world’s various environmental crises. Moreover an exploration of such perspectives is best done in dialogue, particularly between Eastern and Western thought. I examine this claim primarily through a dialogue between the Christian philosopher John Scottus Eriugena and the Japanese Buddhist philosopher Kūkai (Kōbō Daishi). This dialogue, framed by the triad of divine-human-earth relations, primarily emphasises the oneness of all reality, and it finds expression in Eriugena’s concept of natura or phusis and Kūkai’s central teaching that the phenomenal world is the cosmic Buddha Dainichi. By highlighting this focus, I contribute to the existing academic field of ecology and religion on the subject of holism. However, I go beyond the materialist focus that generally marks such ecological holism within that field, offering instead a more metaphysical approach. This is indicated through my use of the concept of ‘immanental transcendence’ to describe Eriugena’s and Kūkai’s dynamic, numinous and mysterious notion of reality, as well as my exploration of Eriugena’s concept of theophany and Kūkai’s notion of kaji. I further explore how both philosophers highlight the human role in the process of reaching enlightenment—understood as attaining union with the whole. In that regard, I note significant differences in their positions: in particular, I note that Kūkai’s emphasis on bodily practices contrasts with Eriugena’s more conceptual approach. Finally to bolster my claim, I examine some ecologically oriented understandings of contemporary phenomenological approaches found particularly in the work of Jean-Luc Marion and to a lesser extent Merleau-Ponty, arguing that these reflect notions of reality and of the human role similar to those of the medieval philosophers.

Literatur verstehen und inszenieren: Foreign language literature through drama, a research project

Based on the experience that today's students find it more difficult than students of previous decades to relate to literature and appreciate its high cultural value, this paper argues that too little is known about the actual teaching and learning processes which take place in literature courses and that, in order to ensure the survival of literary studies in German curricula, future research needs to elucidate for students, the wider public and, most importantly, educational policy makers, why the study of literature should continue to have an important place in modern language curricula. Contending that students' willingness to engage with literature will, in the future, depend to a great extent on the use of imaginative methodology on the part of the teacher, we give a detailed account of an action research project carried out at University College Cork from October to December 2002 which set out to explore the potential of a drama in education approach to the teaching and learning of foreign language literature. We give concrete examples of how this approach works in practice, situate our approach within the subject debate surrounding Drama and the Language Arts and evaluate in detail the learning processes which are typical of performance-based literature learning. Based on converging evidence from different data sources and overall very positive feedback from students, we conclude by recommending that modern language departments introduce courses which offer a hands-on experience of literature that is different from that encountered in lectures and teacher-directed seminars.

CD4+ CD25+ regulatory T cells control T helper cell type 1 responses to foreign antigens induced by mature dendritic cells in vivo.

Recent evidence suggests that in addition to their well known stimulatory properties, dendritic cells (DCs) may play a major role in peripheral tolerance. It is still unclear whether a distinct subtype or activation status of DC exists that promotes the differentiation of suppressor rather than effector T cells from naive precursors. In this work, we tested whether the naturally occurring CD4+ CD25+ regulatory T cells (Treg) may control immune responses induced by DCs in vivo. We characterized the immune response induced by adoptive transfer of antigen-pulsed mature DCs into mice depleted or not of CD25+ cells. We found that the development of major histocompatibility complex class I and II-restricted interferon gamma-producing cells was consistently enhanced in the absence of Treg. By contrast, T helper cell (Th)2 priming was down-regulated in the same conditions. This regulation was independent of interleukin 10 production by DCs. Of note, splenic DCs incubated in vitro with Toll-like receptor ligands (lipopolysaccharide or CpG) activated immune responses that remained sensitive to Treg function. Our data further show that mature DCs induced higher cytotoxic activity in CD25-depleted recipients as compared with untreated hosts. We conclude that Treg naturally exert a negative feedback mechanism on Th1-type responses induced by mature DCs in vivo.

Essays on Vietnam’s Financial Reforms: Foreign Exchange Statistics and Evidence of Long-Run Equilibrium

In this paper, we examine exchange rates in Vietnam’s transitional economy. Evidence of long-run equilibrium are established in most cases through a single co-integrating vector among endogenous variables that determine the real exchange rates. This supports relative PPP in which ECT of the system can be combined linearly into a stationary process, reducing deviation from PPP in the long run. Restricted coefficient vectors ß’ = (1, 1, -1) for real exchange rates of currencies in question are not rejected. This empirics of relative PPP adds to found evidences by many researchers, including Flre et al. (1999), Lee (1999), Johnson (1990), Culver and Papell (1999), Cuddington and Liang (2001). Instead of testing for different time series on a common base currency, we use different base currencies (USD, GBP, JPY and EUR). By doing so we want to know the whether theory may posit significant differences against one currency? We have found consensus, given inevitable technical differences, even with smallerdata sample for EUR. Speeds of convergence to PPP and adjustment are faster compared to results from other researches for developed economies, using both observed and bootstrapped HL measures. Perhaps, a better explanation is the adjustment from hyperinflation period, after which the theory indicates that adjusting process actually accelerates. We observe that deviation appears to have been large in early stages of the reform, mostly overvaluation. Over time, its correction took place leading significant deviations to gradually disappear.

Bid-ask spreads and volatility in the foreign exchange market. An empirical analysis

Consistent with the implications from a simple asymmetric information model for the bid-ask spread, we present empirical evidence that the size of the bid-ask spread in the foreign exchange market is positively related to the underlying exchange rate uncertainty. The estimation results are based on an ordered probit analysis that captures the discreteness in the spread distribution, with the uncertainty of the spot exchange rate being quantified through a GARCH type model. The data sets consists of more than 300,000 continuously recorded Deutschemark/dollar quotes over the period from April 1989 to June 1989. © 1994.

A multivariate generalized ARCH approach to modeling risk premia in forward foreign exchange rate markets

Assuming that daily spot exchange rates follow a martingale process, we derive the implied time series process for the vector of 30-day forward rate forecast errors from using weekly data. The conditional second moment matrix of this vector is modelled as a multivariate generalized ARCH process. The estimated model is used to test the hypothesis that the risk premium is a linear function of the conditional variances and covariances as suggested by the standard asset pricing theory literature. Little supportt is found for this theory; instead lagged changes in the forward rate appear to be correlated with the 'risk premium.'. © 1990.

Agglomeration effects in foreign direct investment and the pollution haven hypothesis

Does environmental regulation impair international competitiveness of pollution-intensive industries to the extent that they relocate to countries with less stringent regulation, turning those countries into "pollution havens"? We test this hypothesis using panel data on outward foreign direct investment (FDI) flows of various industries in the German manufacturing sector and account for several econometric issues that have been ignored in previous studies. Most importantly, we demonstrate that externalities associated with FDI agglomeration can bias estimates away from finding a pollution haven effect if omitted from the analysis. We include the stock of inward FDI as a proxy for agglomeration and employ a GMM estimator to control for endogenous time-varying determinants of FDI flows. Furthermore, we propose a difference estimator based on the least polluting industry to break the possible correlation between environmental regulatory stringency and unobservable attributes of FDI recipients in the cross-section. When accounting for these issues we find robust evidence of a pollution haven effect for the chemical industry. © 2008 Springer Science+Business Media B.V.

Characterization of topographical effects on macrophage behavior in a foreign body response model.

Current strategies to limit macrophage adhesion, fusion and fibrous capsule formation in the foreign body response have focused on modulating material surface properties. We hypothesize that topography close to biological scale, in the micron and nanometric range, provides a passive approach without bioactive agents to modulate macrophage behavior. In our study, topography-induced changes in macrophage behavior was examined using parallel gratings (250 nm-2 mum line width) imprinted on poly(epsilon-caprolactone) (PCL), poly(lactic acid) (PLA) and poly(dimethyl siloxane) (PDMS). RAW 264.7 cell adhesion and elongation occurred maximally on 500 nm gratings compared to planar controls over 48 h. TNF-alpha and VEGF secretion levels by RAW 264.7 cells showed greatest sensitivity to topographical effects, with reduced levels observed on larger grating sizes at 48 h. In vivo studies at 21 days showed reduced macrophage adhesion density and degree of high cell fusion on 2 mum gratings compared to planar controls. It was concluded that topography affects macrophage behavior in the foreign body response on all polymer surfaces examined. Topography-induced changes, independent of surface chemistry, did not reveal distinctive patterns but do affect cell morphology and cytokine secretion in vitro, and cell adhesion in vivo particularly on larger size topography compared to planar controls.

Acculturation and Global Mindsponge

Much research on acculturation around global experiences has focused on the “type” of overseas experience—e.g. expatriate, repatriate, inpatriate, flexpatriate. The experiences of people in those categories and across various demographics (single/married/divorced; gender; sexual orientation) can differ dramatically. In addition, given the explosion of people working in global business, some global business citizens could well fit into several of those various types of experiences over the course of their careers. In this paper, we propose to push in a somewhat different direction and explore something that for us would be quite new. Rather than focusing on the various categories and their resulting experiences, we take a step back to consider what attributes and ways of thinking a global citizen may need to become better as a global business citizen, regardless of type of experience. The question is less one of “Who am I” than “How can I become better?”. Essentially, we would like to explore what might be required in moving the global citizen from thinking about “global mindset” to “global mindsponge.” When we hear the term mindset, we think of a certain way of thinking that stays rather fixed. So part of the challenge of the paper will be to define and examine what mindsponge might mean in the global context—what does it take to unlearn or squeeze out certain ways of thinking or behaving before absorbing and reshaping new ways of thinking and behaving? Moreover, how might that become part of a natural and regular way of operating, especially in a rapidly changing developing country like Vietnam, in particular? At this early stage, we think of mind sponge as a mechanism that encourages flexibility and receptiveness through a process of using multiple filters and more focus on creativity, or doing things differently to improve an organization or individual performance. Our goal is to develop a basic conceptual framework for “mindsponge,” drawing upon a broad literature review as well as several unstructured interviews, to assess whether the idea of mindsponge helps people perceive that they are more culturally versatile and culturally mobile, regardless of whether they work in or outside of their “home environment.” We hope this would enhance their ability to shape an emerging set of cultural values that erases the divide between “foreign” and “local” cultural differences that so often dominates in emerging economies.

Design and Emergence in the Making of American Grand Strategy

The main research question of this thesis is how do grand strategies form. Grand strategy is defined as a state's coherent and consistent pattern of behavior over a long period of time in search of an overarching goal. The political science literature usually explains the formation of grand strategies by using a planning (or design) model. In this dissertation, I use primary sources, interviews with former government officials, and historical scholarship to show that the formation of grand strategy is better understood using a model of emergent learning imported from the business world. My two case studies examine the formation of American grand strategy during the Cold War and the post-Cold War eras. The dissertation concludes that in both these strategic eras the dominating grand strategies were formed primarily by emergent learning rather than flowing from advanced designs.

The effect of nitric oxide surface flux on the foreign body response to subcutaneous implants.

Although the release of nitric oxide (NO) from biomaterials has been shown to reduce the foreign body response (FBR), the optimal NO release kinetics and doses remain unknown. Herein, polyurethane-coated wire substrates with varying NO release properties were implanted into porcine subcutaneous tissue for 3, 7, 21 and 42 d. Histological analysis revealed that materials with short NO release durations (i.e., 24 h) were insufficient to reduce the collagen capsule thickness at 3 and 6 weeks, whereas implants with longer release durations (i.e., 3 and 14 d) and greater NO payloads significantly reduced the collagen encapsulation at both 3 and 6 weeks. The acute inflammatory response was mitigated most notably by systems with the longest duration and greatest dose of NO release, supporting the notion that these properties are most critical in circumventing the FBR for subcutaneous biomedical applications (e.g., glucose sensors).

Improving Indwelling Glucose Sensor Performance: Porous, Dexamethasone-Releasing Coatings that Modulate the Foreign Body Response

Inflammation and the formation of an avascular fibrous capsule have been identified as the key factors controlling the wound healing associated failure of implantable glucose sensors. Our aim is to guide advantageous tissue remodeling around implanted sensor leads by the temporal release of dexamethasone (Dex), a potent anti-inflammatory agent, in combination with the presentation of a stable textured surface.

First, Dex-releasing polyurethane porous coatings of controlled pore size and thickness were fabricated using salt-leaching/gas-foaming technique. Porosity, pore size, thickness, drug release kinetics, drug loading amount, and drug bioactivity were evaluated. In vitro sensor functionality test were performed to determine if Dex-releasing porous coatings interfered with sensor performance (increased signal attenuation and/or response times) compared to bare sensors. Drug release from coatings monitored over two weeks presented an initial fast release followed by a slower release. Total release from coatings was highly dependent on initial drug loading amount. Functional in vitro testing of glucose sensors deployed with porous coatings against glucose standards demonstrated that highly porous coatings minimally affected signal strength and response rate. Bioactivity of the released drug was determined by monitoring Dex-mediated, dose-dependent apoptosis of human peripheral blood derived monocytes in culture.

The tissue modifying effects of Dex-releasing porous coatings were accessed by fully implanting Tygon® tubing in the subcutaneous space of healthy and diabetic rats. Based on encouraging results from these studies, we deployed Dex-releasing porous coatings from the tips of functional sensors in both diabetic and healthy rats. We evaluated if the tissue modifying effects translated into accurate, maintainable and reliable sensor signals in the long-term. Sensor functionality was accessed by continuously monitoring glucose levels and performing acute glucose challenges at specified time points.

Sensors treated with porous Dex-releasing coatings showed diminished inflammation and enhanced vascularization of the tissue surrounding the implants in healthy rats. Functional sensors with Dex-releasing porous coatings showed enhanced sensor sensitivity over a 21-day period when compared to controls. Enhanced sensor sensitivity was accompanied with an increase in sensor signal lag and MARD score. These results indicated that Dex-loaded porous coatings were able to elicit a favorable tissue response, and that such tissue microenvironment could be conducive towards extending the performance window of glucose sensors in vivo.

The diabetic pilot animal study showed differences in wound healing patters between healthy and diabetic subjects. Diabetic rats showed lower levels of inflammation and vascularization of the tissue surrounding implants when compared to their healthy counterparts. Also, functional sensors treated with Dex-releasing porous coatings did not show enhanced sensor sensitivity over a 21-day period. Moreover, increased in sensor signal lag and MARD scores were present in porous coated sensors regardless of Dex-loading when compared to bare implants. These results suggest that the altered wound healing patterns presented in diabetic tissues may lead to premature sensor failure when compared to sensors implanted in healthy rats.