Extending relAPS to first order logic

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Drivers of Local Firms’ Focus on Internal R&D in Emerging Economies and Their International Performance

Grounded on the resource-based view of the firm, the study of this thesis investigates the effect of four internal and external factors – engineer intensity, location, affiliation with the government, government funding – on Chinese firms’ decision to either invest in internal R&D activities or external R&D and the effect of this decision on the firms’ international market success. In addition, the moderating role of the presence of foreign firms in China is examined. To understand these relationships, the thesis’ theorization focuses on the issue of how firms can combine optimally the two options – “internal R&D” and “external R&D”. In this regard I juxtapose internal R&D and external R&D and compare their advantages and disadvantages. To test my model, I apply panel data from the Annual Industrial Survey Database provided by the Chinese National Bureau of Statistics. My results show that three of the four investigated factors affect Chinese firms’ resource allocation decisions; and effective resource allocation decisions lead effectively to international market success, strengthened by the presence of foreign firms in China. Moreover the findings bear several theoretical and managerial contributions. First I propose the last dimension of the “VRIO framework” – “organization” – as an endogenous component of the VRIO framework, as my study investigated how firms can effectively combine resources to generate a competitive advantage in terms of international market success. Previous academic literature so far focused on examining whether internal and external R&D are complements or substitutes. My study fills a gap in the literature by investigating the determinants of the efficient combination of the two strategies and the outcome of the combination. One of the managerial implications is that Chinese firms can learn from foreign companies that are present in China.

Transfert de connaissances dans les entreprises multinationales : efficacité et influence des facteurs contextuels

Dans la présente recherche, nous nous sommes penchés sur le processus du transfert intra-organisationnel de connaissances au sein d’entreprises multinationales (EM). Partant du triple constat suivant : les connaissances organisationnelles constituent un avantage stratégique (Barney, 1991 ; Bartlett et Ghoshal, 1998), les transferts intra-organisationnels constituent la raison d’être des EM (Gupta et Govindarajan, 2000), lesquelles ont accès à un vaste bassin de connaissances disséminées à travers le monde par le biais de leurs filiales et les mécanismes organisationnels internes sont plus efficaces que ceux du marché (Williamson, 1987 ; Casson, 1976) pour transférer des connaissances entre unités organisationnelles; nous nous sommes intéressés aux facteurs pouvant affecter l’efficacité de ce processus de transfert. Ayant identifié, lors de notre revue des écrits théoriques, une multitude d’approches permettant d’appréhender ce phénomène, nous proposons, dans notre recherche, un modèle théorique intégrant les trois étapes propres au processus de transfert, soit : la détermination des connaissances à transférer, la sélection des mécanismes de transfert appropriés et, finalement, l’évaluation, d’une part, de l’efficacité des transferts et, d’autre part, de l’ensemble des facteurs contextuels ayant un impact sur l’efficacité de ce processus. Sur le plan théorique, cette recherche oppose deux courants dominant ce champ disciplinaire. L’approche stratégique, exprimée par la théorie des ressources, met l’accent sur l’importance prépondérante des facteurs organisationnels internes sur l’efficacité de toute action organisationnelle (Bartlett et Ghoshal, 1998 ; Barney, 1991). Cette approche s’oppose au courant institutionnel, lequel considère plutôt que les choix et les actions organisationnels sont surtout conditionnés par les contraintes de l’environnement externe (Ferner, 1997; Kostova, 1999; Scott, 1991). Les résultats de notre recherche démontrent que, malgré l’existence de contraintes de nature institutionnelle et culturelle, l’efficacité du processus de transfert des connaissances associées à la gestion des ressources humaines relève davantage des conditions organisationnelles internes et, plus particulièrement, de l’implication de la haute direction, du rôle accordé à la fonction RH et de l’alignement entre la stratégie corporative, la stratégie RH et la culture organisationnelle. Sur le plan méthodologique, il s’agit d’une recherche exploratoire qualitative menée auprès de trois EM (2 canadiennes et 1 française) oeuvrant dans les secteurs de la métallurgie et des télécommunications. Les données empiriques proviennent de 17 entrevues approfondies que nous ont accordées, au Canada, en France, en Allemagne et en Suisse des cadres responsables de la gestion des ressources humaines, affectés au siège social des EM en question ou œuvrant au sein de leurs filiales, et de sources documentaires secondaires.

Heterotrophic bacteria from the continental slope sediments of arabian sea

The marine environment is indubitably the largest contiguous habitat on Earth. Because of its vast volume and area, the influence of the world ocean on global climate is profound and plays an important role in human welfare and destiny. The marine environment encompasses several habitats, from the sea surface layer down through the bulk water column, which extends >10,000 meters depth, and further down to the habitats on and under the sea floor. Compared to surface habitats, which have relatively high kinetic energy, deep-ocean circulation is very sluggish. By comparison, life in the deep sea is characterized by a relatively constant physical and chemical environment. Deep water occupying the world ocean basin is a potential natural resource based on its properties such as low temperature, high pressure and relatively unexplored properties. So, a judicious assessment of the marine resources and its management are essential to ensure sustainable development of the country’s ocean resources. Marine sediments are complex environments that are affected by both physiological and biological factors, water movements and burrowing animals. They encompass a large extent of aggregates falling from the surface waters. In aquatic ecosystems, the flux of organic matter to the bottom sediments depend on primary productivity at the ocean surface and water depth. Over 50% of the earth’s surface is covered by deep-sea sediments that are primarily formed through the continual deposition of particles from the productive pelagic waters (Vetriani et al., 1999). These aggregates are regarded as ‘hot spots’ of microbial activity in the ocean (Simon et al., 2002). This represents a good nutritional substrate for heterotrophic bacteria and favours bacterial growth

Experimentelle und numerische Untersuchungen zur Dispersion von Dichteströmungen in einem stochastischen Modellaquifer

Es ist bekannt, dass die Dichte eines gelösten Stoffes die Richtung und die Stärke seiner Bewegung im Untergrund entscheidend bestimmen kann. Eine Vielzahl von Untersuchungen hat gezeigt, dass die Verteilung der Durchlässigkeiten eines porösen Mediums diese Dichteffekte verstärken oder abmindern kann. Wie sich dieser gekoppelte Effekt auf die Vermischung zweier Fluide auswirkt, wurde in dieser Arbeit untersucht und dabei das experimentelle sowohl mit dem numerischen als auch mit dem analytischen Modell gekoppelt. Die auf der Störungstheorie basierende stochastische Theorie der macrodispersion wurde in dieser Arbeit für den Fall der transversalen Makodispersion. Für den Fall einer stabilen Schichtung wurde in einem Modelltank (10m x 1.2m x 0.1m) der Universität Kassel eine Serie sorgfältig kontrollierter zweidimensionaler Experimente an einem stochastisch heterogenen Modellaquifer durchgeführt. Es wurden Versuchsreihen mit variierenden Konzentrationsdifferenzen (250 ppm bis 100 000 ppm) und Strömungsgeschwindigkeiten (u = 1 m/ d bis 8 m/d) an drei verschieden anisotrop gepackten porösen Medien mit variierender Varianzen und Korrelationen der lognormal verteilten Permeabilitäten durchgeführt. Die stationäre räumliche Konzentrationsausbreitung der sich ausbreitenden Salzwasserfahne wurde anhand der Leitfähigkeit gemessen und aus der Höhendifferenz des 84- und 16-prozentigen relativen Konzentrationsdurchgang die Dispersion berechnet. Parallel dazu wurde ein numerisches Modell mit dem dichteabhängigen Finite-Elemente-Strömungs- und Transport-Programm SUTRA aufgestellt. Mit dem kalibrierten numerischen Modell wurden Prognosen für mögliche Transportszenarien, Sensitivitätsanalysen und stochastische Simulationen nach der Monte-Carlo-Methode durchgeführt. Die Einstellung der Strömungsgeschwindigkeit erfolgte - sowohl im experimentellen als auch im numerischen Modell - über konstante Druckränder an den Ein- und Auslauftanks. Dabei zeigte sich eine starke Sensitivität der räumlichen Konzentrationsausbreitung hinsichtlich lokaler Druckvariationen. Die Untersuchungen ergaben, dass sich die Konzentrationsfahne mit steigendem Abstand von der Einströmkante wellenförmig einem effektiven Wert annähert, aus dem die Makrodispersivität ermittelt werden kann. Dabei zeigten sich sichtbare nichtergodische Effekte, d.h. starke Abweichungen in den zweiten räumlichen Momenten der Konzentrationsverteilung der deterministischen Experimente von den Erwartungswerten aus der stochastischen Theorie. Die transversale Makrodispersivität stieg proportional zur Varianz und Korrelation der lognormalen Permeabilitätsverteilung und umgekehrt proportional zur Strömungsgeschwindigkeit und Dichtedifferenz zweier Fluide. Aus dem von Welty et al. [2003] mittels Störungstheorie entwickelten dichteabhängigen Makrodispersionstensor konnte in dieser Arbeit die stochastische Formel für die transversale Makrodispersion weiter entwickelt und - sowohl experimentell als auch numerisch - verifiziert werden.

Hierarchical Object Recognition Using Libraries of Parameterized Model Sub-Parts

This thesis describes the development of a model-based vision system that exploits hierarchies of both object structure and object scale. The focus of the research is to use these hierarchies to achieve robust recognition based on effective organization and indexing schemes for model libraries. The goal of the system is to recognize parameterized instances of non-rigid model objects contained in a large knowledge base despite the presence of noise and occlusion. Robustness is achieved by developing a system that can recognize viewed objects that are scaled or mirror-image instances of the known models or that contain components sub-parts with different relative scaling, rotation, or translation than in models. The approach taken in this thesis is to develop an object shape representation that incorporates a component sub-part hierarchy- to allow for efficient and correct indexing into an automatically generated model library as well as for relative parameterization among sub-parts, and a scale hierarchy- to allow for a general to specific recognition procedure. After analysis of the issues and inherent tradeoffs in the recognition process, a system is implemented using a representation based on significant contour curvature changes and a recognition engine based on geometric constraints of feature properties. Examples of the system's performance are given, followed by an analysis of the results. In conclusion, the system's benefits and limitations are presented.

Proceso de Internacionalización y aproximación a la logística de servicios: TELMEX COLOMBIA

Telmex es una organización que inicia su operación como empresa estatal mexicana con bajos niveles de eficiencia, posterior a su privatización tomó un nuevo rumbo en sus procesos internos, llevándola a generar modelos de negocio diferenciados y enfocados a la prestación de servicios de telecomunicación a la vanguardia. A partir de la búsqueda de nuevos horizontes la compañía logra tener presencia en la mayoría de los países del continente americano operando bajo la marca de “Telmex Internacional”, y a su vez, con sus respectivas subsidiarias en cada uno de los diferentes países, con el objetivo de satisfacer las necesidades locales con mayor efectividad. Con el apoyo de los diferentes acercamientos teóricos se busca identificar los patrones que le permitieron a Telmex llegar a posicionarse como una compañía líder en el sector de las telecomunicaciones en Latinoamérica y específicamente en Colombia, manteniéndose en un mercado competitivo mediante la oferta de servicios de empaquetamiento ajustados a las necesidades de los clientes.

Estrategias de internacionalización de la industria de panaderia en el mercado de la provincia de Shanxi China

China es el cuarto país más extenso del mundo así como el más densamente poblado. En la actualidad, se ha caracterizado por ser una economía con un papel importante en el comercio mundial. Es por este motivo, que en el año 2010 se convirtió en el país con más exportaciones en el mundo, ubicándose en las primeras economías después de los Estados Unidos. Por otro lado, China considera a Colombia como un país influyente en América Latina, lo que posibilita que en un futuro se puedan convertir en socios comerciales. Sin embargo, se debe resaltar que por su extensión, China es un país de diversas culturas por lo que el trabajo “Estrategias de internacionalización de la industria de panadería en Colombia hacia la provincia de Shanxi, China”, se centrara únicamente en la provincia de Shanxi. Dicha provincia es reconocida por su gran abundancia de recursos minerales, adicionalmente, juega un papel decisivo en la red eléctrica del Norte de China y planea convertirse en la base industrial del país por lo que promete un futuro próspero para su población convirtiéndose en un lugar potencial para centrar el trabajo. También, se debe resaltar el auge y crecimiento de la industria de panadería en Colombia ya que no solamente es perteneciente a la canasta familiar sino que es necesario y rentable para los empresarios. Además es una industria que genera productos de alta calidad y con valor agregado. Como toda industria colombiana esta también tienen ciertas falencias entre ellas se debe resaltar la falta de asociación; problemática en la cual se basara este trabajo ya que, como dice Anónimo 2011, “La importancia de su creación radica en que asociados, los panaderos podrían llegar fácilmente a encontrar soluciones a ese bajo consumo o incluso lograr alianzas para una mayor capacitación” y así facilitar la entrada a mercados internacionales. Para mostrar lo anterior, se analizaran 3 casos de empresas Colombianas, que muestran las diferentes etapas para entrar a un mercado internacional. La primera de ella Noel, con su trayectoria en el mercado Colombia, en este momento cuenta con presencia en varios países de Latinoamérica y Norteamérica. La segunda Pan Pa Ya que a través de su técnica de ultracongelación ha logrado conquistar países en Latinoamérica, Europa, Japón, Canadá entre otros. Finalmente se encuentra Ramo, empresa que aún no ha logrado entrar en mercados internacionales, pero se encuentra mejorando sus procesos para internacionalizarse y para llegar a aquellos colombianos que viven en el exterior. Como complemento se busca resaltar la importancia de la asociación y la creación de clústeres de las empresas colombianas para la generación de productos de alta calidad que satisfagan las condiciones requeridas para entrar en nuevos mercados, teniendo en cuenta las pautas necesarias para generar ventajas competitivas y estrategias de internacionalización

Hermanos Rausch: Innovación y Calidad

El caso Hermanos Rausch es una investigación de trabajo de grado de pregrado de la Facultad de Administración de la Universidad del Rosario que pretende identificar las teorías sobre estrategia que se vean reflejadas en cada una de las unidades de negocio dentro de la marca “Hermanos Rausch”, la cual ha tenido a lo largo de sus años a los dos hermanos como cocineros profesionales, administradores y dueños de restaurantes. El proyecto presta especial atención a las decisiones estratégicas en las etapas de innovación, crecimiento, posicionamiento, expansión y renovación. Haciendo especial énfasis en el restaurante Criterión, el cual es la clave del éxito y reconocimiento alcanzado.

Caracterización del talento humano profesional en los laboratorios de salud pública de Colombia, 2014

Las reformas del sector salud y la falta de lineamientos sobre el talento humano han generado una disminución de tan importante recurso. Los laboratorios de salud pública -LSP son la fuente primaria de información para la toma de decisiones en Vigilancia en Salud Pública. Este estudio presenta las características del talento humano de los LSP y su directa relación con el desarrollo de sus funciones misionales. Éste es un estudio descriptivo transversal con encuesta auto-diligenciada aplicado a los 33 LSP del país en el año 2014. En los 33 LSP hay 433 profesionales para la vigilancia en salud pública, en el año 2014, con 143 (33%) de planta y 293 (67%) de contrato y 24% (102) hombres y 76% (331) mujeres. El 94% de los LSP cuenta con coordinador de planta, 52% tiene funciones exclusivas. El 51% (17) de los LSP cumplen con el 92% los lineamientos dados. 7 LSP tiene 1 o menos funcionarios de planta. El talento humano es un factor clave para cumplir con la misión de los LSP y Colombia cuenta con 433 profesionales en los 33 LSP. Se cuenta con epidemiólogo (a) en el 82% y líder de calidad en el 76% de los LSP. El 49% (16) de los LSP no cumplen con la Guía para la organización físico – funcional de los LSP. 23 LSP cuentan con cuatro (4) o menos funcionarios de planta, siendo esto una vulnerabilidad para la capacidad de respuesta del país frente a riesgos en salud pública y emergencias sanitarias.

A Multi-agent Architecture with Distributed Coordination for an Autonomous Robot

Aquest treball proposa una nova arquitectura de control amb coordinació distribuïda per a un robot mòbil (ARMADiCo). La metodologia de coordinació distribuïda consisteix en dos passos: el primer determina quin és l'agent que guanya el recurs basat en el càlcul privat de la utilitat i el segon, com es fa el canvi del recurs per evitar comportaments abruptes del robot. Aquesta arquitectura ha estat concebuda per facilitar la introducció de nous components hardware i software, definint un patró de disseny d'agents que captura les característiques comunes dels agents. Aquest patró ha portat al desenvolupament d'una arquitectura modular dins l'agent que permet la separació dels diferents mètodes utilitzats per aconseguir els objectius, la col·laboració, la competició i la coordinació de recursos. ARMADiCo s'ha provat en un robot Pioneer 2DX de MobileRobots Inc.. S'han fet diversos experiments i els resultats han demostrat que s'han aconseguit les característiques proposades per l'arquitectura.

Visual Object Recognition Using Deformable Models of Vehicles

This workshop paper reports recent developments to a vision system for traffic interpretation which relies extensively on the use of geometrical and scene context. Firstly, a new approach to pose refinement is reported, based on forces derived from prominent image derivatives found close to an initial hypothesis. Secondly, a parameterised vehicle model is reported, able to represent different vehicle classes. This general vehicle model has been fitted to sample data, and subjected to a Principal Component Analysis to create a deformable model of common car types having 6 parameters. We show that the new pose recovery technique is also able to operate on the PCA model, to allow the structure of an initial vehicle hypothesis to be adapted to fit the prevailing context. We report initial experiments with the model, which demonstrate significant improvements to pose recovery.

Heritage property, tourism and the UK Disability Discrimination Act

Heritage tourism depends on a physical resource based primarily on listed buildings and scheduled monuments. Visiting or staying in a historic building provides a rich tourism experience, but historic environments date from eras when access for disabled people was not a consideration. Current UK Government policy now promotes social inclusion via an array of equal opportunities, widening participation and anti-discrimination policies. Historic environments enjoy considerable legislative protection from adverse change, but now need to balance conservation with public access for all. This paper discusses the basis of research being undertaken by The College of Estate Management funded by the Mercers Company of London and the Harold Samuel Trust. It assesses how the 1995 Disability Discrimination Act has changed the legal obligations of owners/operators in managing access to listed buildings in tourism use. It also examines the key stakeholders and power structures in the management of historic buildings and distinguishes other important players in the management process.

Managing invasive alien species with professional and hobby farmers: insights from ecological-economic modelling

Biosecurity is a great challenge to policy-makers globally. Biosecurity policies aim to either prevent invasions before they occur or to eradicate and/or effectively manage the invasive species and diseases once an invasion has occurred. Such policies have traditionally been directed towards professional producers in natural resource based sectors, including agriculture. Given the wide scope of issues threatened by invasive species and diseases, it is important to account for several types of stakeholders that are involved. We investigate the problem of an invasive insect pest feeding on an agricultural crop with heterogeneous producers: profit-oriented professional farmers and utility-oriented hobby farmers. We start from an ecological-economic model conceptually similar to the one developed by Eiswerth and Johnson [Eiswerth, M.E. and Johnson, W.S., 2002. Managing nonindigenous invasive species: insights from dynamic analysis. Environmental and Resource Economics 23, 319-342.] and extend it in three ways. First, we make explicit the relationship between the invaded state carrying capacity and farmers' planting decisions. Second, we add another producer type into the framework and hence account for the existence of both professional and hobby fanners. Third, we provide a theoretical contribution by discussing two alternative types of equilibria. We also apply the model to an empirical case to extract a number of stylised facts and in particular to assess: a) under which circumstances the invasion is likely to be not controllable; and b) how extending control policies to hobby farmers could affect both types of producers. (C) 2008 Elsevier B.V. All rights reserved.

Competitive strategy revisited: contested concepts and dynamic capabilities

Strategy is a contested concept. The generic literature is characterized by a diverse range of competing theories and alternative perspectives. Traditional models of the competitive strategy of construction firms have tended to focus on exogenous factors. In contrast, the resource-based view of strategic management emphasizes the importance of endogenous factors. The more recently espoused concept of dynamic capabilities extends consideration beyond static resources to focus on the ability of firms to reconfigure their operating routines to enable responses to changing environments. The relevance of the dynamics capabilities framework to the construction sector is investigated through an exploratory case study of a regional contractor. The focus on how firms continuously adapt to changing environments provides new insights into competitive strategy in the construction sector. Strong support is found for the importance of path dependency in shaping strategic choice. The case study further suggests that strategy is a collective endeavour enacted by a loosely defined group of individual actors. Dynamic capabilities are characterized by an empirical elusiveness and as such are best construed as situated practices embedded within a social and physical context.