Visual programming of XSLT from examples

Vishnu is a tool for XSLT visual programming in Eclipse - a popular and extensible integrated development environment. Rather than writing the XSLT transformations, the programmer loads or edits two document instances, a source document and its corresponding target document, and pairs texts between then by drawing lines over the documents. This form of XSLT programming is intended for simple transformations between related document types, such as HTML formatting or conversion among similar formats. Complex XSLT programs involving, for instance, recursive templates or second order transformations are out of the scope of Vishnu. We present the architecture of Vishnu composed by a graphical editor and a programming engine. The editor is an Eclipse plug-in where the programmer loads and edits document examples and pairs their content using graphical primitives. The programming engine receives the data collected by the editor and produces an XSLT program. The design of the engine and the process of creation of an XSLT program from examples are also detailed. It starts with the generation of an initial transformation that maps source document to the target document. This transformation is fed to a rewrite process where each step produces a refined version of the transformation. Finally, the transformation is simplified before being presented to the programmer for further editing.

Template-based quadrilateral mesh generation from imaging data

This paper describes a novel template-based meshing approach for generating good quality quadrilateral meshes from 2D digital images. This approach builds upon an existing image-based mesh generation technique called Imeshp, which enables us to create a segmented triangle mesh from an image without the need for an image segmentation step. Our approach generates a quadrilateral mesh using an indirect scheme, which converts the segmented triangle mesh created by the initial steps of the Imesh technique into a quadrilateral one. The triangle-to-quadrilateral conversion makes use of template meshes of triangles. To ensure good element quality, the conversion step is followed by a smoothing step, which is based on a new optimization-based procedure. We show several examples of meshes generated by our approach, and present a thorough experimental evaluation of the quality of the meshes given as examples.

Direct evidence of singlet molecular oxygen generation from peroxynitrate, a decomposition product of peroxynitrite

The decomposition of peroxynitrite to nitrite and dioxygen at neutral pH follows complex kinetics, compared to its isomerization to nitrate at low pH. Decomposition may involve radicals or proceed by way of the classical peracid decomposition mechanism. Peroxynitrite (ONOOH/ONOO(-)) decomposition has been proposed to involve formation of peroxynitrate (O(2)NOOH/O(2)NOO(-)) at neutral pH (D. Gupta, B. Harish, R. Kissner and W. H. Koppenol, Dalton Trans., 2009, DOI: 10.1039/b905535e, see accompanying paper in this issue). Peroxynitrate is unstable and decomposes to nitrite and dioxygen. This study aimed to investigate whether O(2)NOO(-) formed upon ONOOH/ONOO(-) decomposition generates singlet molecular oxygen [O(2) ((1)Delta(g))]. As unequivocally revealed by the measurement of monomol light emission in the near infrared region at 1270 nm and by chemical trapping experiments, the decomposition of ONOO(-) or O(2)NOOH at neutral to alkaline pH generates O(2) ((1)Delta(g)) at a yield of ca. 1% and 2-10%, respectively. Characteristic light emission, corresponding to O(2) ((1)Delta(g)) monomolecular decay was observed for ONOO(-) and for O(2)NOOH prepared by reaction of H(2)O(2) with NO(2)BF(4) and of H(2)O(2) with NO(2)(-) in HClO(4). The generation of O(2) ((1)Delta(g)) from ONOO(-) increased in a concentration-dependent manner in the range of 0.1-2.5 mM and was dependent on pH, giving a sigmoid pro. le with an apparent pK(a) around pD 8.1 (pH 7.7). Taken together, our results clearly identify the generation of O(2) ((1)Delta(g)) from peroxynitrate [O(2)NOO(-) -> NO(2)(-) + O(2) ((1)Delta(g))] generated from peroxynitrite and also from the reactions of H(2)O(2) with either NO(2)BF(4) or NO(2)(-) in acidic media.

Corneal myofibroblast generation from bone marrow-derived cells

The purpose of this study was to determine whether bone marrow-derived cells can differentiate into myofibroblasts, as defined by alpha-smooth muscle actin (SMA) expression, that arise in the corneal stroma after irregular phototherapeutic keratectomy and whose presence within the cornea is associated with corneal stromal haze. C578L/6J-GFP chimeric mice were generated through bone marrow transplantation from donor mice that expressed enhanced green fluorescent protein (GFP) in a high proportion of their bone marrow-derived cells. Twenty-four GFP chimeric mice underwent haze-generating corneal epithelial scrape followed by irregular phototherapeutic keratectomy (PTK) with an excimer laser in one eye. Mice were euthanized at 2 weeks or 4 weeks after PTK and the treated and control contralateral eyes were removed and cryo-preserved for sectioning for immunocytochemistry. Double immunocytochemistry for GFP and myofibroblast marker alpha-smooth muscle actin (SMA) were performed and the number of SMA+GFP+, SMA+GFP, SMA-GFP+ and SMA GFP cells, as well as the number of DAPI+ cell nuclei, per 400x field of stroma was determined in the central, mid-peripheral and peri-limbal cornea. In this mouse model, there were no SMA+ cells and only a few GFP+ cells detected in unwounded control corneas. No SMA+ cells were detected in the stroma at two weeks after irregular PTK, even though there were numerous GFP+ cells present. At 4 weeks after irregular PTK, all corneas developed mild to moderately severe corneal haze. In each of the three regions of the corneas examined, there were on average more than 9x more SMA+GFP+ than SMA+GFP myofibroblasts. This difference was significant (p < 0.01). There were significantly more (p < 0.01) SMA GFP+ cells, which likely include inflammatory cells, than SMA+GFP+ or SMA+GFP cells, although SMA GFP cells represent the largest population of cells in the corneas. In this mouse model, the majority of myofibroblasts developed from bone marrow-derived cells. It is possible that all myofibroblasts in these animals developed from bone marrow-derived cells since mouse chimeras produced using this method had only 60-95% of bone marrow-derived cells that were GFP+ and it is not possible to achieve 100% chimerization. This model, therefore, cannot exclude the possibility of myofibroblasts also developed from keratocytes and/or corneal fibroblasts. (C) 2010 Elsevier Ltd. All rights reserved.

An engine for generating XSLT from examples

XSLT is a powerful and widely used language for transforming XML documents. However its power and complexity can be overwhelming for novice or infrequent users, many of which simply give up on using this language. On the other hand, many XSLT programs of practical use are simple enough to be automatically inferred from examples of source and target documents. An inferred XSLT program is seldom adequate for production usage but can be used as a skeleton of the final program, or at least as scaffolding in the process of coding it. It should be noted that the authors do not claim that XSLT programs, in general, can be inferred from examples. The aim of Vishnu - the XSLT generator engine described in this paper – is to produce XSLT programs for processing documents similar to the given examples and with enough readability to be easily understood by a programmer not familiar with the language. The architecture of Vishnu is composed by a graphical editor and a programming engine. In this paper we focus on the editor as a GWT web application where the programmer loads and edits document examples and pairs their content using graphical primitives. The programming engine receives the data collected by the editor and produces an XSLT program.

Geospatial database generation from digital newspapers: use case for risk and disaster domains.

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies.

The Informational Complexity of Learning from Examples

This thesis attempts to quantify the amount of information needed to learn certain tasks. The tasks chosen vary from learning functions in a Sobolev space using radial basis function networks to learning grammars in the principles and parameters framework of modern linguistic theory. These problems are analyzed from the perspective of computational learning theory and certain unifying perspectives emerge.

Dynamic Document Generation from Semantic Web Data

This talk will present an overview of the ongoing ERCIM project SMARTDOCS (SeMAntically-cReaTed DOCuments) which aims at automatically generating webpages from RDF data. It will particularly focus on the current issues and the investigated solutions in the different modules of the project, which are related to document planning, natural language generation and multimedia perspectives. The second part of the talk will be dedicated to the KODA annotation system, which is a knowledge-base-agnostic annotator designed to provide the RDF annotations required in the document generation process.

DTM generation from LIDAR data using skewness balancing

LIght Detection And Ranging (LIDAR) data for terrain and land surveying has contributed to many environmental, engineering and civil applications. However, the analysis of Digital Surface Models (DSMs) from complex LIDAR data is still challenging. Commonly, the first task to investigate LIDAR data point clouds is to separate ground and object points as a preparatory step for further object classification. In this paper, the authors present a novel unsupervised segmentation algorithm-skewness balancing to separate object and ground points efficiently from high resolution LIDAR point clouds by exploiting statistical moments. The results presented in this paper have shown its robustness and its potential for commercial applications.

Prototype Generation from Ontology Charts

Semantic Analysis is a business analysis method designed to capture system requirements. While these requirements may be represented as text, the method also advocates the use of Ontology Charts to formally denote the system's required roles, relationships and forms of communication. Following model driven engineering techniques, Ontology Charts can be transformed to temporal Database schemas, class diagrams and component diagrams, which can then be used to produce software systems. A nice property of these transformations is that resulting system design models lend themselves to complicated extensions that do not require changes to the design models. For example, resulting databases can be extended with new types of data without the need to modify the database schema of the legacy system. Semantic Analysis is not widely used in software engineering, so there is a lack of experts in the field and no design patterns are available. This make it difficult for the analysts to pass organizational knowledge to the engineers. This study describes an implementation that is readily usable by engineers, which includes an automated technique that can produce a prototype from an Ontology Chart. The use of such tools should enable developers to make use of Semantic Analysis with minimal expertise of ontologies and MDA.

Performance of advanced generation from a hybrid Japanese cucumber

A endogamia reduz o vigor em plantas pela diminuição da proporção de loci heterozigotos. Entretanto, a influência da endogamia é diferente entre as espécies. O objetivo deste trabalho foi avaliar a depressão causada por endogamia em uma população de pepino do tipo japonês. A partir do intercruzamento entre plantas do híbrido Natsu suzumi foi obtida a geração F2, considerada como população S0. Obtiveram-se progênies S1, S2, S3, S4 e S5, através de autofecundações sucessivas pelo método do SSD ('Single Seed Descent'). Foram sete tratamentos (híbrido Natsu suzumi, populações S0 a S5) e o delineamento experimental foi em blocos ao acaso, com seis repetições e cinco plantas por parcela cultivadas em ambiente protegido de 21/08/2002 à 29/11/2002. Foram avaliados o número de folhas, semanalmente, o número e a massa de frutos, total e comercial, número de nós e porcentagem de nós com brotações laterais. Na comparação entre as populações S0 a S5 não foram observadas diferenças para todas as características avaliadas demonstrando não haver perda de vigor por endogamia nesta população.

Mass generation from Lie algebra extensions

Applied to the electroweak interactions, the theory of Lie algebra extensions suggests a mechanism by which the boson masses are generated without resource to spontaneous symmetry breaking. It starts from a gauge theory without any additional scalar field. All the couplings predicted by the Weinberg-Salam theory are present, and a few others which are nevertheless consistent within the model.

UV-Ozone Generation from Modified High Intensity Discharge Mercury Vapor Lamps for Treatment of Indium Tin Oxide Films

In a homemade UV-Ozone generator, different ignition tubes extracted from HID mercury vapor lamps were investigated, namely: 80, 125, 250 and 400 watts. The performance of the generator in function of the type of the ignition lamp was monitored by the measurements of the ozone concentration and the temperature increment. The results have shown that the 400 W set up presented the highest ozone production, which was used in the treatment of indium tin oxide (ITO) films. Polymer light emitting diodes were assembled using ITO films, treated for 10, 20 and 30 min, as an anode. The overall results indicate improvement of the threshold voltage (reduction) and electroluminescence of these devices.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.