The SEALS Yardsticks for Ontology Management

This paper describes the rst SEALS evaluation campaign over ontology engineering tools (i.e., the SEALS Yardsticks for Ontology Management). It presents the dierent evaluation scenarios dened to evaluate the conformance, interoperability and scalability of these tools, and the test data used in these scenarios

Thermal diagnostic of the Optical Window on board LISA Pathfinder

Vacuum conditions inside the LTP Gravitational Reference Sensor must comply with rather demanding requirements. The Optical Window (OW) is an interface which seals the vacuum enclosure and, at the same time, lets the laser beam go through for interferometric Metrology with the test masses. The OW is a plane-parallel plate clamped in a Titanium flange, and is considerably sensitive to thermal and stress fluctuations. It is critical for the required precision measurements, hence its temperature will be carefully monitored in flight. This paper reports on the results of a series of OW characterisation laboratory runs, intended to study its response to selected thermal signals, as well as their fit to numerical models, and the meaning of the latter. We find that a single pole ARMA transfer function provides a consistent approximation to the OW response to thermal excitations, and derive a relationship with the physical processes taking place in the OW. We also show how system noise reduction can be accomplished by means of that transfer function.Comment: 20 pages, 14 figures; accepted for publication in Class. Quantum Gra

Defining a Benchmark Suite for Evaluating the Import of OWL Lite Ontologies

SemanticWeb tools should be able to correctly interchange ontologies and, therefore, to interoperate. This interchange is not always a straightforward task if tools have different underlying knowledge representation paradigms. This paper describes the process followed to define a benchmark suite for evaluating the OWL import capabilities of ontology development tools in a benchmarking activity in progress in the Knowledge Web European Network of Excellence

Coupling of morphology to surface transport in ion-beam irradiated surfaces. I. Oblique incidence

We propose and study a continuum model for the dynamics of amorphizable surfaces undergoing ion-beam sputtering (IBS) at intermediate energies and oblique incidence. After considering the current limitations of more standard descriptions in which a single evolution equation is posed for the surface height, we overcome (some of) them by explicitly formulating the dynamics of the species that transport along the surface, and by coupling it to that of the surface height proper. In this we follow recent proposals inspired by ``hydrodynamic'' descriptions of pattern formation in aeolian sand dunes and ion-sputtered systems. From this enlarged model, and by exploiting the time-scale separation among various dynamical processes in the system, we derive a single height equation in which coefficients can be related to experimental parameters. This equation generalizes those obtained by previous continuum models and is able to account for many experimental features of pattern formation by IBS at oblique incidence, such as the evolution of the irradiation-induced amorphous layer, transverse ripple motion with non-uniform velocity, ripple coarsening, onset of kinetic roughening and other. Additionally, the dynamics of the full two-field model is compared with that of the effective interface equation.Comment: 23 pages, 14 figures. Movies of figures 6, 7, and 8 available at http://gisc.uc3m.es/~javier/Movies

Coulomb explosion sputtering of selectively oxidized Si

We have studied multiply charged Arq+ ion induced potential sputtering of a unique system comprising of coexisting Silicon and Silicon oxide surfaces. Such surfaces are produced by oblique angle oxygen ion bombardment on Si(100), where ripple structures are formed and one side of each ripple gets more oxidized. It is observed that higher the potential energy of Arq+ ion, higher the sputtering yield of the non conducting (oxide) side of the ripple as compared to the semiconducting side. The results are explained in terms of Coulomb explosion model where potential sputtering depends on the conductivity of the ion impact sites.Comment: 9 pages and 3 figure

An Ontology Model to Support the Automated Evaluation of Software

Even though previous research has tried to model Software Engineering knowledge, focusing either on the entire discipline or on parts of it, we lack an integrated conceptual model for representing software evaluations, and we also lack the information related to them that supports their definition and enables their automation and reproducibility. This paper presents an extensible ontology model for representing software evaluations and evaluation campaigns, i.e., worldwide activities where a group of tools is evaluated according to a certain evaluation specification using common test data. During the development of the ontologies, we have reused current standards and models and have linked these ontologies with some renowned ones

LiCo1−yMyO2 positive electrodes for rechargeable lithium batteries: II. Nickel substituted materials grown by the citrate method

[Abstract] The layered LiCo1−yNiyO2 microcrystalline powders were synthesized by a sol–gel method using citric acid as a chelating agent in the range 0.2 ≤ y ≤ 0.8. Submicron-sized particles of the precursor were obtained at temperature below 400 °C and microcrystalline powders were grown by thermal treatment at 700 °C for 5 h in air. The carboxylic-based acid functioned such as a fuel, decomposed the homogeneous precipitate of metal complexes at low temperature, and yielded the free impurity LiCo1−yNiyO2 single-phases suitable for electrochemical applications. The synthesized products were characterized by structural, spectroscopic and thermal analyses. FT-IR measurements provide information on the growth process and the final local environment in the cationic sublattice of LiCo1−yNiyO2 solid solution. The electrochemical performance of the synthesized products in rechargeable Li cells was evaluated using non-aqueous solution 1 M LiPF6 in EC-DMC as electrolyte. The electrochemical features of a series of LiCo1−yNiyO2 compounds (0.2 ≤ y ≤ 1.0) are discussed in relation with their synthesis procedure and substitutive amount. The substitution of Ni3+ for Co3+ in LiCo1−yNiyO2 for y = 0.75 shows improvement of the specific capacity at ca. 187 mAh/g upon 32 cycles

Context aware ontology‐based hybrid intelligent framework for vehicle driver categorization

In public vehicles, one of the major concerns is driver's level of expertise for its direct proportionality to safety of passengers. Hence, before a driver is subjected to certain type of vehicle, he should be thoroughly evaluated and categorized with respect to certain parameters instead of only one‐time metric of having driving license. These aspects may be driver's expertise, vigilance, aptitude, experience years, cognition, driving style, formal education, terrain, region, minor violations, major accidents, and age group. The purpose of this categorization is to ascertain suitability of a driver for certain vehicle type(s) to ensure passengers' safety. Currently, no driver categorization technique fully comprehends the implicit as well as explicit characteristics of drivers dynamically. In this paper, machine learning–based dynamic and adaptive technique named D‐CHAITs (driver categorization through hybrid of artificial intelligence techniques) is proposed for driver categorization with an objective focus on driver's attributes modeled in DriverOntology. A supervised mode of learning has been employed on a labeled dataset, having diverse profiles of drivers with attributes pertinent to drivers' perspectives of demographics, behaviors, expertise, and inclinations. A comparative analysis of D‐CHAIT with three other machine learning techniques (fuzzy logic, case‐based reasoning, and artificial neural networks) is also presented. The efficacy of all techniques was empirically measured while categorizing the drivers based on their profiles through metrics of accuracy, precision, recall, F‐measure performance, and associated costs. These empirical quantifications assert D‐CHAIT as a better technique than contemporary ones. The novelty of proposed technique is signified through preprocessing of feature attributes, quality of data, training of machine learning model on more relevant data, and adaptivity This is the peer reviewed version of the following article: Context aware ontology‐based hybrid intelligent framework for vehicle driver categorization, which has been published in final form at https://doi.org/10.1002/ett.3729. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Use of Self-Archived Versions

Herramienta autor Indesahc para la creación de cursos hipermedia adaptativos

Un elemento fundamental dentro de una plataforma de gestión del aprendizaje (Learning Management Systems, LMS) es la herramienta autor para la producción del material didáctico. En este artículo presentamos un sistema de desarrollo integrado para la creación y evaluación de cursos hipermedia adaptativos accesibles, basados en páginas Web. INDESAHC (Integrated Development System for Adaptive Hypermedia Courses), facilita la introducción del mapa de contenidos del curso, según un modelo del dominio basado en temas, lecciones, conceptos y escenarios tipos, en los cuales se realiza la integración de los archivos de media mediante un entorno visual intuitivo basado en plantillas. Una vez definidas las relaciones entre los temas y los niveles de dificultad de cada lección, se genera el curso hipermedia adaptativo, cuyo diseño final puede ser evaluado a través de una herramienta accesorio llamada EPRules (Educational Prediction Rules). Esta herramienta utiliza algoritmos de minería de datos, para el descubrimiento de información útil para facilitar un proceso de retroalimentación. Se describe además, el modelo didáctico en que se basa INDESAHC y se presenta una metodología eficaz, para evitar los problemas de desorientación y sobrecarga de contenidos en la navegación.In this paper we present an integrated development system for Web Based Adaptive Hypermedia Courses. We have developed an authoring tool called INDESAHC (Integrated Development System for Adaptive Hypermedia Courses) for this purpose. This tool facilitates to the course designer introducing the conceptual map, according to a domain model based on topics, lessons, concepts and learning components. Furthermore, the program allows the integration of media files in the course by means of an intuitive visual environment based on templates. Once defined the relationship among the topics and the difficulty level of each lesson, the user can generate the hypermedia adaptive course. The final design could be evaluated with an accessory tool called EPRules (Educational Prediction Rules). This tool is based on data mining algorithms in order to discover useful information for feedback. We also discuss on how our methodology can avoid the problems of disorientation and cognitive overload

Optimal Control of Molecular Spin Qudits

We demonstrate, numerically, the possibility of manipulating the spin states of molecular nanomagnets with shaped microwave pulses designed with quantum optimal control theory techniques. The state-to-state or full gate transformations can be performed in this way in shorter times than using simple monochromatic resonant pulses. This enhancement in the operation rates can therefore mitigate the effect of decoherence. The optimization protocols and their potential for practical implementations are illustrated by simulations performed for a simple molecular cluster hosting a single Gd3+ ion. Its eight accessible levels (corresponding to a total spin S=7/2) allow encoding an eight-level qudit or a system of three coupled qubits. All necessary gates required for universal operation can be obtained with optimal pulses using the intrinsic couplings present in this system. The application of optimal control techniques can facilitate the implementation of quantum technologies based on molecular spin qudits