Semantic network analysis of ontologies

A key argument for modeling knowledge in ontologies is the easy re-use and re-engineering of the knowledge. However, beside consistency checking, current ontology engineering tools provide only basic functionalities for analyzing ontologies. Since ontologies can be considered as (labeled, directed) graphs, graph analysis techniques are a suitable answer for this need. Graph analysis has been performed by sociologists for over 60 years, and resulted in the vivid research area of Social Network Analysis (SNA). While social network structures in general currently receive high attention in the Semantic Web community, there are only very few SNA applications up to now, and virtually none for analyzing the structure of ontologies. We illustrate in this paper the benefits of applying SNA to ontologies and the Semantic Web, and discuss which research topics arise on the edge between the two areas. In particular, we discuss how different notions of centrality describe the core content and structure of an ontology. From the rather simple notion of degree centrality over betweenness centrality to the more complex eigenvector centrality based on Hermitian matrices, we illustrate the insights these measures provide on two ontologies, which are different in purpose, scope, and size.

Molecular Beam Epitaxial Growth of III-V Semiconductor Nanostructures on Silicon Substrates

The main focus and concerns of this PhD thesis is the growth of III-V semiconductor nanostructures (Quantum dots (QDs) and quantum dashes) on silicon substrates using molecular beam epitaxy (MBE) technique. The investigation of influence of the major growth parameters on their basic properties (density, geometry, composition, size etc.) and the systematic characterization of their structural and optical properties are the core of the research work. The monolithic integration of III-V optoelectronic devices with silicon electronic circuits could bring enormous prospect for the existing semiconductor technology. Our challenging approach is to combine the superior passive optical properties of silicon with the superior optical emission properties of III-V material by reducing the amount of III-V materials to the very limit of the active region. Different heteroepitaxial integration approaches have been investigated to overcome the materials issues between III-V and Si. However, this include the self-assembled growth of InAs and InGaAs QDs in silicon and GaAx matrices directly on flat silicon substrate, sitecontrolled growth of (GaAs/In0,15Ga0,85As/GaAs) QDs on pre-patterned Si substrate and the direct growth of GaP on Si using migration enhanced epitaxy (MEE) and MBE growth modes. An efficient ex-situ-buffered HF (BHF) and in-situ surface cleaning sequence based on atomic hydrogen (AH) cleaning at 500 °C combined with thermal oxide desorption within a temperature range of 700-900 °C has been established. The removal of oxide desorption was confirmed by semicircular streaky reflection high energy electron diffraction (RHEED) patterns indicating a 2D smooth surface construction prior to the MBE growth. The evolution of size, density and shape of the QDs are ex-situ characterized by atomic-force microscopy (AFM) and transmission electron microscopy (TEM). The InAs QDs density is strongly increased from 108 to 1011 cm-2 at V/III ratios in the range of 15-35 (beam equivalent pressure values). InAs QD formations are not observed at temperatures of 500 °C and above. Growth experiments on (111) substrates show orientation dependent QD formation behaviour. A significant shape and size transition with elongated InAs quantum dots and dashes has been observed on (111) orientation and at higher Indium-growth rate of 0.3 ML/s. The 2D strain mapping derived from high-resolution TEM of InAs QDs embedded in silicon matrix confirmed semi-coherent and fully relaxed QDs embedded in defectfree silicon matrix. The strain relaxation is released by dislocation loops exclusively localized along the InAs/Si interfaces and partial dislocations with stacking faults inside the InAs clusters. The site controlled growth of GaAs/In0,15Ga0,85As/GaAs nanostructures has been demonstrated for the first time with 1 μm spacing and very low nominal deposition thicknesses, directly on pre-patterned Si without the use of SiO2 mask. Thin planar GaP layer was successfully grown through migration enhanced epitaxy (MEE) to initiate a planar GaP wetting layer at the polar/non-polar interface, which work as a virtual GaP substrate, for the GaP-MBE subsequently growth on the GaP-MEE layer with total thickness of 50 nm. The best root mean square (RMS) roughness value was as good as 1.3 nm. However, these results are highly encouraging for the realization of III-V optical devices on silicon for potential applications.

Classification of textures seen from different distances and under varying illumination direction

Changes in the angle of illumination incident upon a 3D surface texture can significantly alter its appearance, implying variations in the image texture. These texture variations produce displacements of class members in the feature space, increasing the failure rates of texture classifiers. To avoid this problem, a model-based texture recognition system which classifies textures seen from different distances and under different illumination directions is presented in this paper. The system works on the basis of a surface model obtained by means of 4-source colour photometric stereo, used to generate 2D image textures under different illumination directions. The recognition system combines coocurrence matrices for feature extraction with a Nearest Neighbour classifier. Moreover, the recognition allows one to guess the approximate direction of the illumination used to capture the test image

Rank estimation of trajectory matrix in motion segmentation

A novel technique for estimating the rank of the trajectory matrix in the local subspace affinity (LSA) motion segmentation framework is presented. This new rank estimation is based on the relationship between the estimated rank of the trajectory matrix and the affinity matrix built with LSA. The result is an enhanced model selection technique for trajectory matrix rank estimation by which it is possible to automate LSA, without requiring any a priori knowledge, and to improve the final segmentation

An LMI approach to H∞ synchronization of second-order neutral master-slave systems

The H∞ synchronization problem of the master and slave structure of a second-order neutral master-slave systems with time-varying delays is presented in this paper. Delay-dependent sufficient conditions for the design of a delayed output-feedback control are given by Lyapunov-Krasovskii method in terms of a linear matrix inequality (LMI). A controller, which guarantees H∞ synchronization of the master and slave structure using some free weighting matrices, is then developed. A numerical example has been given to show the effectiveness of the method

Guía para la construcción de matrices insumo-producto y de contabilidad social en Colombia

Las matrices insumo-producto y de contabilidad social constituyen fuentes de información importante para el entendimiento de las relaciones productivas y económicas de un país en un determinado momento del tiempo. En Colombia, la construcción de estos instrumentos tiene una larga experiencia aunque poca ha sido su documentación. Este artículo pretende exponer de manera clara y concisa el procedimiento necesario para su construcción.

Evolution of analogical reasoning in children: follow-up from six to eleven years old

The aim of this study is to establish the time and period of development of Analogical Reasoning (AR) and evaluate its independence and performance with respect to the age. We performed a longitudinal cohort study of two age groups and six annual follow-up phases from each one (2000-2005, 2001-2006) in six to eleven years-old children in the city of Huanuco (Peru) with a sample of 167 children (first stage), and N=121 (sixth stage). The Raven’s progressive matrices test, coloured version, was applied individually without time limits. Results indicate that AR development occurs in a constant and late way from seven to eleven years-old children, and also that there is independence between the ability of AR and the children age. We discuss the importance of knowledge in the relationships between analogies topics, adjusted to the age, as a mediating factor in the development of AR.

Caracterización del conocimiento matemático para la enseñanza (MKT) de matrices en Bachillerato.

Resumen basado en el de la publicación

Development of chemical separation processes for the treatment and monitoring of metallic cations and oxoanions in polluted waters

The chemical contamination of natural waters is a global problem with a worldwide impact. Considering the relevance of this problem, this thesis is intended, on one hand, to develop different separation/preconcentration techniques based on membranes ability to permeate anions for the transport of toxic oxyanions of chromium(VI) and arsenic contained in aqueous matrices. In particular, we have investigated supported liquid membranes and polymer inclusion membranes, both of which contain the commercial quaternary ammonium salt Aliquat 336 as a carrier, as well as commercial anion exchange membranes. On the other hand, we have focused on the development of chemical sensors to facilitate the monitoring of several metals from different aqueous matrices. Thus, a selective optical sensor for Cr(VI) based on polymeric membranes containing Aliquat 336 as an ionophore has been designed. Additionally, mercury-based screen-printed electrodes have been evaluated for for cadmium, lead, copper and zinc detection.

Implementation and application of basis set superposition error-correction schemes to the theoretical modeling of weak intermolecular interactions

This thesis deals with the so-called Basis Set Superposition Error (BSSE) from both a methodological and a practical point of view. The purpose of the present thesis is twofold: (a) to contribute step ahead in the correct characterization of weakly bound complexes and, (b) to shed light the understanding of the actual implications of the basis set extension effects in the ab intio calculations and contribute to the BSSE debate. The existing BSSE-correction procedures are deeply analyzed, compared, validated and, if necessary, improved. A new interpretation of the counterpoise (CP) method is used in order to define counterpoise-corrected descriptions of the molecular complexes. This novel point of view allows for a study of the BSSE-effects not only in the interaction energy but also on the potential energy surface and, in general, in any property derived from the molecular energy and its derivatives A program has been developed for the calculation of CP-corrected geometry optimizations and vibrational frequencies, also using several counterpoise schemes for the case of molecular clusters. The method has also been implemented in Gaussian98 revA10 package. The Chemical Hamiltonian Approach (CHA) methodology has been also implemented at the RHF and UHF levels of theory for an arbitrary number interacting systems using an algorithm based on block-diagonal matrices. Along with the methodological development, the effects of the BSSE on the properties of molecular complexes have been discussed in detail. The CP and CHA methodologies are used for the determination of BSSE-corrected molecular complexes properties related to the Potential Energy Surfaces and molecular wavefunction, respectively. First, the behaviour of both BSSE-correction schemes are systematically compared at different levels of theory and basis sets for a number of hydrogen-bonded complexes. The Complete Basis Set (CBS) limit of both uncorrected and CP-corrected molecular properties like stabilization energies and intermolecular distances has also been determined, showing the capital importance of the BSSE correction. Several controversial topics of the BSSE correction are addressed as well. The application of the counterpoise method is applied to internal rotational barriers. The importance of the nuclear relaxation term is also pointed out. The viability of the CP method for dealing with charged complexes and the BSSE effects on the double-well PES blue-shifted hydrogen bonds is also studied in detail. In the case of the molecular clusters the effect of high-order BSSE effects introduced with the hierarchical counterpoise scheme is also determined. The effect of the BSSE on the electron density-related properties is also addressed. The first-order electron density obtained with the CHA/F and CHA/DFT methodologies was used to assess, both graphically and numerically, the redistribution of the charge density upon BSSE-correction. Several tools like the Atoms in Molecules topologycal analysis, density difference maps, Quantum Molecular Similarity, and Chemical Energy Component Analysis were used to deeply analyze, for the first time, the BSSE effects on the electron density of several hydrogen bonded complexes of increasing size. The indirect effect of the BSSE on intermolecular perturbation theory results is also pointed out It is shown that for a BSSE-free SAPT study of hydrogen fluoride clusters, the use of a counterpoise-corrected PES is essential in order to determine the proper molecular geometry to perform the SAPT analysis.

Modelling, control and supervision for a class of hybrid systems

The aim of this thesis is to narrow the gap between two different control techniques: the continuous control and the discrete event control techniques DES. This gap can be reduced by the study of Hybrid systems, and by interpreting as Hybrid systems the majority of large-scale systems. In particular, when looking deeply into a process, it is often possible to identify interaction between discrete and continuous signals. Hybrid systems are systems that have both continuous, and discrete signals. Continuous signals are generally supposed continuous and differentiable in time, since discrete signals are neither continuous nor differentiable in time due to their abrupt changes in time. Continuous signals often represent the measure of natural physical magnitudes such as temperature, pressure etc. The discrete signals are normally artificial signals, operated by human artefacts as current, voltage, light etc. Typical processes modelled as Hybrid systems are production systems, chemical process, or continuos production when time and continuous measures interacts with the transport, and stock inventory system. Complex systems as manufacturing lines are hybrid in a global sense. They can be decomposed into several subsystems, and their links. Another motivation for the study of Hybrid systems is the tools developed by other research domains. These tools benefit from the use of temporal logic for the analysis of several properties of Hybrid systems model, and use it to design systems and controllers, which satisfies physical or imposed restrictions. This thesis is focused in particular types of systems with discrete and continuous signals in interaction. That can be modelled hard non-linealities, such as hysteresis, jumps in the state, limit cycles, etc. and their possible non-deterministic future behaviour expressed by an interpretable model description. The Hybrid systems treated in this work are systems with several discrete states, always less than thirty states (it can arrive to NP hard problem), and continuous dynamics evolving with expression: with Ki ¡ Rn constant vectors or matrices for X components vector. In several states the continuous evolution can be several of them Ki = 0. In this formulation, the mathematics can express Time invariant linear system. By the use of this expression for a local part, the combination of several local linear models is possible to represent non-linear systems. And with the interaction with discrete events of the system the model can compose non-linear Hybrid systems. Especially multistage processes with high continuous dynamics are well represented by the proposed methodology. Sate vectors with more than two components, as third order models or higher is well approximated by the proposed approximation. Flexible belt transmission, chemical reactions with initial start-up and mobile robots with important friction are several physical systems, which profits from the benefits of proposed methodology (accuracy). The motivation of this thesis is to obtain a solution that can control and drive the Hybrid systems from the origin or starting point to the goal. How to obtain this solution, and which is the best solution in terms of one cost function subject to the physical restrictions and control actions is analysed. Hybrid systems that have several possible states, different ways to drive the system to the goal and different continuous control signals are problems that motivate this research. The requirements of the system on which we work is: a model that can represent the behaviour of the non-linear systems, and that possibilities the prediction of possible future behaviour for the model, in order to apply an supervisor which decides the optimal and secure action to drive the system toward the goal. Specific problems can be determined by the use of this kind of hybrid models are: - The unity of order. - Control the system along a reachable path. - Control the system in a safe path. - Optimise the cost function. - Modularity of control The proposed model solves the specified problems in the switching models problem, the initial condition calculus and the unity of the order models. Continuous and discrete phenomena are represented in Linear hybrid models, defined with defined eighth-tuple parameters to model different types of hybrid phenomena. Applying a transformation over the state vector : for LTI system we obtain from a two-dimensional SS a single parameter, alpha, which still maintains the dynamical information. Combining this parameter with the system output, a complete description of the system is obtained in a form of a graph in polar representation. Using Tagaki-Sugeno type III is a fuzzy model which include linear time invariant LTI models for each local model, the fuzzyfication of different LTI local model gives as a result a non-linear time invariant model. In our case the output and the alpha measure govern the membership function. Hybrid systems control is a huge task, the processes need to be guided from the Starting point to the desired End point, passing a through of different specific states and points in the trajectory. The system can be structured in different levels of abstraction and the control in three layers for the Hybrid systems from planning the process to produce the actions, these are the planning, the process and control layer. In this case the algorithms will be applied to robotics ¡V a domain where improvements are well accepted ¡V it is expected to find a simple repetitive processes for which the extra effort in complexity can be compensated by some cost reductions. It may be also interesting to implement some control optimisation to processes such as fuel injection, DC-DC converters etc. In order to apply the RW theory of discrete event systems on a Hybrid system, we must abstract the continuous signals and to project the events generated for these signals, to obtain new sets of observable and controllable events. Ramadge & Wonham¡¦s theory along with the TCT software give a Controllable Sublanguage of the legal language generated for a Discrete Event System (DES). Continuous abstraction transforms predicates over continuous variables into controllable or uncontrollable events, and modifies the set of uncontrollable, controllable observable and unobservable events. Continuous signals produce into the system virtual events, when this crosses the bound limits. If this event is deterministic, they can be projected. It is necessary to determine the controllability of this event, in order to assign this to the corresponding set, , controllable, uncontrollable, observable and unobservable set of events. Find optimal trajectories in order to minimise some cost function is the goal of the modelling procedure. Mathematical model for the system allows the user to apply mathematical techniques over this expression. These possibilities are, to minimise a specific cost function, to obtain optimal controllers and to approximate a specific trajectory. The combination of the Dynamic Programming with Bellman Principle of optimality, give us the procedure to solve the minimum time trajectory for Hybrid systems. The problem is greater when there exists interaction between adjacent states. In Hybrid systems the problem is to determine the partial set points to be applied at the local models. Optimal controller can be implemented in each local model in order to assure the minimisation of the local costs. The solution of this problem needs to give us the trajectory to follow the system. Trajectory marked by a set of set points to force the system to passing over them. Several ways are possible to drive the system from the Starting point Xi to the End point Xf. Different ways are interesting in: dynamic sense, minimum states, approximation at set points, etc. These ways need to be safe and viable and RchW. And only one of them must to be applied, normally the best, which minimises the proposed cost function. A Reachable Way, this means the controllable way and safe, will be evaluated in order to obtain which one minimises the cost function. Contribution of this work is a complete framework to work with the majority Hybrid systems, the procedures to model, control and supervise are defined and explained and its use is demonstrated. Also explained is the procedure to model the systems to be analysed for automatic verification. Great improvements were obtained by using this methodology in comparison to using other piecewise linear approximations. It is demonstrated in particular cases this methodology can provide best approximation. The most important contribution of this work, is the Alpha approximation for non-linear systems with high dynamics While this kind of process is not typical, but in this case the Alpha approximation is the best linear approximation to use, and give a compact representation.

Mineral and geochemical characterization of a leptic aluandic soil and a thapto aluandic-ferralsol developed on trachytes in Mount Bambouto (Cameroon volcanic line)

Mineral and geochemical investigations were carried out on soil samples and fresh rock (trachytes) from two selected soil profiles (TM profile on leptic aluandic soils and TL profile on thapto aluandic-ferralsols) from Mount Bambouto to better understand geochemical processes and mineral paragenesis involved in the development of soils in this environment. In TM profile, the hydrated halloysites and goethite occur in the weathered saprolite boulders of BC horizon while dehydrated halloysite, gibbsite and goethite dominate the soils matrices of BC and A horizons. In TL profile, the dehydrated halloysites and goethite are the most abundant secondary minerals in the weathered saprolites of C and BC horizons while gibbsite, hematite and kaolinite occur in the soil matrices of BC, B and A horizons. The highest gibbsite content is in the platy nodules of B horizon. In both soil profiles, organo-metal complexes (most likely of AI and Fe) are present in the surface A horizon. Geochemically, between the fresh rock and the weathered saprolites in both soils, SiO2, K2O, CaO, Na2O and MgO contents decrease strongly while Fe2O3 and Al2O3 tend to accumulate. The molar ratio of SiO2/Al2O3 (Ki) and the sum of Ca, Mg, K and Na ions (TRB) also decreases abruptly between fresh rocks and the weathered saprolites, but increases significantly at the soil surface. The TM profile shows intense Al enrichment whereas the TL profile highlights enrichment in both AI and Fe as the weathering progresses upwards. Both soil profiles are enriched in Ni, Cu, Ba and Co and depleted in U, Th, Ta, Hf, Y, Sr, Pb, Zr and Zn relative to fresh rock. They also show a relatively low fractionation of the rare earth elements (REE: La, Nd, Sm, Eu, Tb, Yb and Lu), except for Ce which tends to be enriched in soils compared to CI chondrite. All these results give evidence of intense hydrolysis at soil deep in Mount Bambouto resulting in the formation of halloysite which progressively transforms into gibbsite and/or dehydrated halloysite. At the soil surface, the prominent pedogenetic process refers to andosolization with formation of organo-metal complexes. In TL profile, the presence of kaolinite in soil matrices BC and B horizons is consistent with ferralitization at soil deep. In conclusion, soil forming processes in Mount Bambouto are strongly influenced by local climate: (i) in the upper mountain (>2000 m), the fresh, misty and humid climate favors andosolization; whereas (ii) in the middle lands (1700-2000 m) with a relatively dry climate, both andosolization at the soil surface and ferralitization at soil deep act together. (C) 2009 Elsevier B.V. All rights reserved.

Implicit-factorization preconditioning and iterative solvers for regularized saddle-point systems

We consider conjugate-gradient like methods for solving block symmetric indefinite linear systems that arise from saddle-point problems or, in particular, regularizations thereof. Such methods require preconditioners that preserve certain sub-blocks from the original systems but allow considerable flexibility for the remaining blocks. We construct a number of families of implicit factorizations that are capable of reproducing the required sub-blocks and (some) of the remainder. These generalize known implicit factorizations for the unregularized case. Improved eigenvalue clustering is possible if additionally some of the noncrucial blocks are reproduced. Numerical experiments confirm that these implicit-factorization preconditioners can be very effective in practice.

Resilience or resistance? The value of subject knowledge for drama teachers

This paper reports on research undertaken by the author into what secondary school drama teachers think they need to possess in terms of subject knowledge in order to operate effectively as subject specialists. ‘Subject knowledge’ is regarded as being multi faceted and the paper reports on how drama teachers prioritise its different aspects. A discussion of what ‘subject knowledge’ may be seen to encompass reveals interesting tensions between aspects of professional knowledge that are prescribed by statutory dictate and local context, and those that are valued by individual teachers and are manifest in their construction of a professional identity. The paper proposes that making judgements that associate propositional and substantive knowledge with traditionally held academic values as ‘bad’ or ‘irrelevant’ to drama education, and what Foucault has coined as ‘subjugated knowledge’ (i.e. local, vernacular, enactive knowledge that eludes inscription) as ‘good’ and more apposite to the work of all those involved in drama education, fails to reflect the complex matrices of values that specialists appear to hold. While the reported research focused on secondary school drama teachers in England, Bourdieu’s conception of field and habitus is invoked to suggest a model which recognises how drama educators more generally may construct a professional identity that necessarily balances personal interests and beliefs with externally imposed demands.

Small towns as 'sub-poles' in English rural development: Investigating rural-urban linkages using sub-regional social accounting matrices

This paper uses spatial economic data from four small English towns to measure the strength of economic integration between town and hinterland and to estimate the magnitude of town-hinterland spill-over effects. Following estimation of local integration indicators and inter-locale flows, sub-regional social accounting matrices (SAMs) are developed to estimate the strength of local employment and output multipliers for various economic sectors. The potential value of a town as a 'sub-pole' in local economic development is shown to be dependent on structural differences in the local economy, such as the particular mix of firms within towns. Although the multipliers are generally small, indicating a low level of local linkages, some sectors, particularly financial services and banking, show consistently higher multipliers for both output and employment. (c) 2007 Elsevier Ltd. All rights reserved.