Optimizing prolog for small devices: A case study

In this paper we present the design and implementation of a wearable application in Prolog. The application program is a "sound spatializer." Given an audio signal and real time data from a head-mounted compass, a signal is generated for stereo headphones that will appear to come from a position in space. We describe high-level and low-level optimizations and transformations that have been applied in order to fit this application on the wearable device. The end application operates comfortably in real-time on a wearable computer, and has a memory foot print that remains constant over time enabling it to run on continuous audio streams. Comparison with a version hand-written in C shows that the C version is no more than 20-40% faster; a small price to pay for a high level description

High-level languages for small devices: A case study

In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting wearable computers. The case study is a "sound spatializer" which, given real-time signáis for monaural audio and heading, generates stereo sound which appears to come from a position in space. The use of advanced compile-time transformations and optimizations made it possible to execute code written in a clear style without efñciency or architectural concerns on the target device, while meeting strict existing time and memory constraints. The final executable compares favorably with a similar implementation written in C. We believe that this case is representative of a wider class of common pervasive computing applications, and that the techniques we show here can be put to good use in a range of scenarios. This points to the possibility of applying high-level languages, with their associated flexibility, conciseness, ability to be automatically parallelized, sophisticated compile-time tools for analysis and verification, etc., to the embedded systems field without paying an unnecessary performance penalty

Basaloid squamous cell carcinoma : report of five cases

Objectives: To document the clinical and histopathological characteristics of basaloid squamous cell carcinoma (BSCC). To add five new cases to the literature and compare them with another published series. Cases: retrospective review of five cases with the diagnosis of BSCC of the larynx. Results: all the patients were male. They were heavy smokers and drinkers. Most of the tumours were supraglottic. Three patients presented with stage-IV disease and the other two with stage-I disease. Surgery supplemented with radiation was used in three patients, partial surgery was used in another case and radiation and associated chemotherapy in the other one. Eight neck dissections were performed, six of them were functional and the other two radical dissections. Two cases were found to have metastatic lymph nodes. There were not any distant metastases but two patients had tumoral relapse. Conclusions: BSCC has well defined histological features. Central comedonecrosis within the cells nests, cell with nuclear palisading and high-grade dysplasia in overlaying mucosa are the main characteristics

An overview of Ciao and its design philosophy

We provide an overall description of the Ciao multiparadigm programming sy stem emphasizing some of the novel aspects and motivations behind its design and implementation. An important aspect of Ciao is that, in addition to supporting logic programming (and, in particular, Prolog), it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features (including those of Prolog) can be turned on and off at will for each program module. Thus, a given module may be using, e.g., higher order functions and constraints, while another module may be using assignment, predicates, Prolog meta-programming, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically flnding non-trivial bugs, verifying that programs comply with speciflcations, and performing many types of optimizations (including automatic parallelization). Such optimizations produce code that is highly competitive with other dynamic languages or, with the (experimental) optimizing compiler, even that of static languages, all while retaining the flexibility and interactive development of a dynamic language. This compilation architecture supports modularity and sepárate compilation throughout. The environment also includes a powerful auto-documenter and a unit testing framework, both closely integrated with the assertion system. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in a single journal paper, pointing instead to previous Ciao literature

The ciao approach to the dynamic vs. static language dilemma. Proceedings for the international workshop on scripts to programs

Abstract is not availabl

An overview of ciao and its design philosophy

We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An important aspect of Ciao is that, in addition to supporting logic programming (and, in particular, Prolog), it provides the programmer with a large number of useful features from different programming paradigms and styles and that the use of each of these features (including those of Prolog) can be turned on and off at will for each program module. Thus, a given module may be using, e.g., higher order functions and constraints, while another module may be using assignment, predicates, Prolog meta-programming, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of optimizations (including automatic parallelization). Such optimizations produce code that is highly competitive with other dynamic languages or, with the (experimental) optimizing compiler, even that of static languages, all while retaining the flexibility and interactive development of a dynamic language. This compilation architecture supports modularity and separate compilation throughout. The environment also includes a powerful autodocumenter and a unit testing framework, both closely integrated with the assertion system. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in a single journal paper, pointing instead to previous Ciao literature

The ciao system

Abstract is not available

AMOS User's manual

Abstract is not available

The ciao system

Abstract is not available

Different subcellular localizations and functions of Arabidopsis myosin VIII

<p>Abstract</p> <p>Background</p> <p>Myosins are actin-activated ATPases that use energy to generate force and move along actin filaments, dragging with their tails different cargos. Plant myosins belong to the group of unconventional myosins and Arabidopsis myosin VIII gene family contains four members: ATM1, ATM2, myosin VIIIA and myosin VIIIB.</p> <p>Results</p> <p>In transgenic plants expressing GFP fusions with ATM1 (IQ-tail truncation, lacking the head domain), fluorescence was differentially distributed: while in epidermis cells at the root cap GFP-ATM1 equally distributed all over the cell, in epidermal cells right above this region it accumulated in dots. Further up, in cells of the elongation zone, GFP-ATM1 was preferentially positioned at the sides of transversal cell walls. Interestingly, the punctate pattern was insensitive to brefeldin A (BFA) while in some cells closer to the root cap, ATM1 was found in BFA bodies. With the use of different markers and transient expression in <it>Nicotiana benthamiana </it>leaves, it was found that myosin VIII co-localized to the plasmodesmata and ER, colocalized with internalized FM4-64, and partially overlapped with the endosomal markers ARA6, and rarely with ARA7 and FYVE. Motility of ARA6 labeled organelles was inhibited whenever associated with truncated ATM1 but motility of FYVE labeled organelles was inhibited only when associated with large excess of ATM1. Furthermore, GFP-ATM1 and RFP-ATM2 (IQ-tail domain) co-localized to the same spots on the plasma membrane, indicating a specific composition at these sites for myosin binding.</p> <p>Conclusion</p> <p>Taken together, our data suggest that myosin VIII functions differently in different root cells and can be involved in different steps of endocytosis, BFA-sensitive and insensitive pathways, ER tethering and plasmodesmatal activity.</p