A framework for lexical representation

In this paper we present a unification-based lexical platform designed for highly inflected languages (like Roman ones). A formalism is proposed for encoding a lemma-based lexical source, well suited for linguistic generalizations. From this source, we automatically generate an allomorph indexed dictionary, adequate for efficient processing. A set of software tools have been implemented around this formalism: access libraries, morphological processors, etc.Comment: 9 page

The ecology of suffering: developmental disorders of structured stress, emotion, and chronic inflammation

'Punctuated equilibrium' models of cognitive process, adapted from the Large Deviations Program of probability theory, are applied to the interaction between immune function and emotion in the context of culturally structured psychosocial stress. The analysis suggests: (1) Chronic inflammatory diseases should be comorbid and synergistic with characteristic emotional dysfunction, and may form a collection of joint disorders most effectively treated at the individual level using multifactorial 'mind/body' strategies. (2) Culturally constructed psychosocial stress can literally write an image of itself onto the punctuated etiology and progression of such composite disorders, beginning a trajectory to disease in utero or early childhood, and continuing throughout the life course, suggesting that, when moderated by 'social exposures', these are developmental disorders. (3) At the community level of organization, strategies for prevention and control of the spectrum of emotional/inflammatory developmental disorders must include redress of cross-sectional and logitudinal (i.e. historical) patterns of inequality and injustice which generate structured psychosocial stress. Evidence further suggests that within 'Westernized' or 'market economy' societies, such stress will inevitably entrain high as well as lower stutus subopulations into a unified ecology of suffering

Structured Psychosocial Stress and Therapeutic Intervention: Toward a Realistic Biological Medicine

Using generalized 'language of thought' arguments appropriate to interacting cognitive modules, we explore how disease states can interact with medical treatment, including, but not limited to, drug therapy. The feedback between treatment and response creates a kind of idiotypic 'hall of mirrors' generating a pattern of 'efficacy', 'treatment failure', and 'adverse reactions' which will, from a Rate Distortion perspective, embody a distorted image of externally-imposed structured psychosocial stress. This analysis, unlike current pharmacogenetics, does not either reify 'race' or blame the victim by using genetic structure to place the locus-of-control within a group or individual. Rather, it suggests that a comparatively simple series of questions to identify longitudinal and cross-sectional stressors may provide more effective guidance for specification of individual therapy than complicated genotyping strategies of dubious meaning. These latter are likely to be both very expensive and utterly blind to the impact of structured psychosocial stress -- a euphemism for various forms of racism and ethnic cleansing -- which, we contend, is often a principal determinant of treatment outcome at both individual and community levels of organization. We propose, to effectively address 'health disparities' between populations, and in contrast to current biomedical ideology based on a simplistic genetic determinism, a richer program of biological medicine reflecting Lewontin's 'triple helix' of genes, environment, and development, a program more in concert with the realities of a basic human biology marked by hypersociality unusual in vertibrates. Aggressive social, economic, and other policies of affirmative action to redress the persisting burdens of history would be an integral component of any such project

Towards an aspect weaving BPEL engine

This position paper proposes the use of dynamic aspects and the visitor design pattern to obtain a highly configurable and extensible BPEL engine. Using these two techniques, the core of this infrastructural software can be customised to meet new requirements and add features such as debugging, execution monitoring, or changing to another Web Service selection policy. Additionally, it can easily be extended to cope with customer-specific BPEL extensions. We propose the use of dynamic aspects not only on the engine itself but also on the workflow in order to tackle the problems of Web Service hot deployment and hot fixes to long running processes. In this way, composing aWeb Service "on-the-fly" means weaving its choreography interface into the workflow

Monic Testing of Web Services Based on Algebraic Specifications

Web services are designed to be discovered and composed dynamically, which implies that testing must also be done dynamically. This involves both the generation of test cases and the checking of test results. This paper presents algorithms for both of these using the technique of algebraic specification. It focuses in particular on the problem that web services, when they are third-party, have poor controllability and observability, and introduces a solution known as monic floating checkable test cases. A prototype tool has implemented the proposed testing technique and it is applied to a case study with a real industry application GoGrid, demonstrating that the technique is both applicable and feasible

Adaptive Middleware for Resource-Constrained Mobile Ad Hoc and Wireless Sensor Networks

Mobile ad hoc networks: MANETs) and wireless sensor networks: WSNs) are two recently-developed technologies that uniquely function without fixed infrastructure support, and sense at scales, resolutions, and durations previously not possible. While both offer great potential in many applications, developing software for these types of networks is extremely difficult, preventing their wide-spread use. Three primary challenges are: 1) the high level of dynamics within the network in terms of changing wireless links and node hardware configurations,: 2) the wide variety of hardware present in these networks, and: 3) the extremely limited computational and energy resources available. Until now, the burden of handling these issues was put on the software application developer. This dissertation presents three novel programming models and middleware systems that address these challenges: Limone, Agilla, and Servilla. Limone reliably handles high levels of dynamics within MANETs. It does this through lightweight coordination primitives that make minimal assumptions about network connectivity. Agilla enables self-adaptive WSN applications via the integration of mobile agent and tuple space programming models, which is critical given the continuously changing network. It is the first system to successfully demonstrate the feasibility of using mobile agents and tuple spaces within WSNs. Servilla addresses the challenges that arise from WSN hardware heterogeneity using principles of Service-Oriented Computing: SOC). It is the first system to successfully implement the entire SOC model within WSNs and uniquely tailors it to the WSN domain by making it energy-aware and adaptive. The efficacies of the above three systems are demonstrated through implementation, micro-benchmarks, and the evaluation of several real-world applications including Universal Remote, Fire Detection and Tracking, Structural Health Monitoring, and Medical Patient Monitoring

Extending Nunchaku to Dependent Type Theory

Nunchaku is a new higher-order counterexample generator based on a sequence of transformations from polymorphic higher-order logic to first-order logic. Unlike its predecessor Nitpick for Isabelle, it is designed as a stand-alone tool, with frontends for various proof assistants. In this short paper, we present some ideas to extend Nunchaku with partial support for dependent types and type classes, to make frontends for Coq and other systems based on dependent type theory more useful.Comment: In Proceedings HaTT 2016, arXiv:1606.0542

ACTS: Extracting Android App Topological Signature through Graphlet Sampling

Android systems are widely used in mobile & wireless distributed systems. In the near future, Android is believed to dominate the mobile distributed environment. However, with the popularity of Android-based smartphones/tablets comes the rampancy of Android-based malware. In this paper, we propose a novel topological signature of Android apps based on the function call graphs (FCGs) extracted from their Android App Packages (APKs). Specifically, by leveraging recent advances in graphlet sampling, the proposed method fully captures the invocator-invocatee relationship at local neighborhoods in an FCG without exponentially inflating the state space. Using real benign app and malware samples, we demonstrate that our method, ACTS (App topologiCal signature through graphleT Sampling), can detect malware and identify malware families robustly and efficiently. More importantly, we demonstrate that, without augmenting the FCG with any semantic features such as bytecode-based vertex typing, local topological information captured by ACTS alone can achieve a high malware detection accuracy. Since ACTS only uses structural features, which are orthogonal to semantic features, it is expected that combining them would give a greater improvement in malware detection accuracy than combining non-orthogonal semantic features