Defining Contexts in Context-Free Grammars

This thesis introduces an extension of Chomsky’s context-free grammars equipped with operators for referring to left and right contexts of strings.The new model is called grammar with contexts. The semantics of these grammars are given in two equivalent ways — by language equations and by logical deduction, where a grammar is understood as a logic for the recursive definition of syntax. The motivation for grammars with contexts comes from an extensive example that completely defines the syntax and static semantics of a simple typed programming language. Grammars with contexts maintain most important practical properties of context-free grammars, including a variant of the Chomsky normal form. For grammars with one-sided contexts (that is, either left or right), there is a cubic-time tabular parsing algorithm, applicable to an arbitrary grammar. The time complexity of this algorithm can be improved to quadratic,provided that the grammar is unambiguous, that is, it only allows one parsefor every string it defines. A tabular parsing algorithm for grammars withtwo-sided contexts has fourth power time complexity. For these grammarsthere is a recognition algorithm that uses a linear amount of space. For certain subclasses of grammars with contexts there are low-degree polynomial parsing algorithms. One of them is an extension of the classical recursive descent for context-free grammars; the version for grammars with contexts still works in linear time like its prototype. Another algorithm, with time complexity varying from linear to cubic depending on the particular grammar, adapts deterministic LR parsing to the new model. If all context operators in a grammar define regular languages, then such a grammar can be transformed to an equivalent grammar without context operators at all. This allows one to represent the syntax of languages in a more succinct way by utilizing context specifications. Linear grammars with contexts turned out to be non-trivial already over a one-letter alphabet. This fact leads to some undecidability results for this family of grammars

A Business Incubator, Accelerator, or Coworking Space? Case Health Innovation Village at GE

Health Innovation Village at GE is one of the new communities targeted for startup and growth-oriented companies. It has been established at the premises of a multinational conglomerate that will promote networking and growth of startup companies. The concept combines features from traditional business incubators, accelerators, and coworking spaces. This research compares Health Innovation Village to these concepts regarding its goals, target clients, source of income, organization, facilities, management, and success factors. In addition, a new incubator classification model is introduced. On the other hand, Health Innovation Village is examined from its tenants’ perspective and improvements are suggested. The work was implemented as a qualitative case study by interviewing GE staff with connections to Health Innovation Village as well as startup entrepreneurs and employees’ working there. The most evident features of Health Innovation Village correspond to those of business incubators although it is atypical as a non-profit corporate business incubator. Strong network orientation and connections to venture capitalists are common characteristics of these new types of accelerators. The design of the premises conforms to the principles of coworking spaces, but the services provided to the startup companies are considerably more versatile than the services offered by coworking spaces. The advantages of Health Innovation Village are that there are first-class premises and exceptionally good networking possibilities that other types of incubators or accelerators are not able to offer. A conglomerate can also provide multifaceted special knowledge for young firms. In addition, both GE and the startups gained considerable publicity through their cooperation, indeed a characteristic that benefits both parties. Most of the expectations of the entrepreneurs were exceeded. However, communication and the scope of cooperation remain challenges. Micro companies spend their time developing and marketing their products and acquiring financing. Therefore, communication should be as clear as possible and accessible everywhere. The startups would prefer to cooperate significantly more, but few have the time available to assume the responsibility of leadership. The entrepreneurs also expected to have more possibilities for cooperation with GE. Wider collaboration might be accomplished by curation in the same way as it is used in the well-functioning coworking spaces where curators take care of practicalities and promote cooperation. Communication issues could be alleviated if the community had its own Intranet pages where all information could be concentrated. In particular, a common calendar and a room reservation system could be useful. In addition, it could be beneficial to have a section of the Intranet open for both the GE staff and the startups so that those willing to share their knowledge and those having project offers could use it for advertising.

Disrupting heterosexual space? : the implementation of a campus Positive Space Campaign

Drawing on a growing literature on the interconnection of queer theory, sexuality and space, this thesis critically assesses the development, implementation and impact of a campus-based Positive Space Campaign aimed at raising the visibility and number of respectful, supportive, educational and welcoming spaces for lesbian, gay, bi, trans, two-spirited, queer and questioning (LGBTQ) students staff and faculty. The analysis, based on participatory action research (PAR), interrogates the extent to which the Positive Space Campaign challenges heteronormativity on campus. I contend that the Campaign, in its attempt to challenge dominant notions of sex, gender and sexuality, disrupts heterosexual space. Further, as I consider the meanings of 'queer', I consider the extent to which Positive Space Campaigns may be 'queering' space, by contributing to an 'imagined' campus space free of sexual and gender-based discrimination. The case study contributes to queer theory, the literature on sexuality and space, the literature on queer organizing in educational spaces and to broader queer organizing efforts in Canada.

Conceptualisation et communication des nuances de timbre à la guitare classique

La version intégrale de cette thèse est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU).

Le projet feedback : recherche d'un point de rencontre stylistique entre la musique électroacoustique glitch, le free jazz et le drone metal.

L’objectif principal de cette thèse de doctorat en composition consiste en la conceptualisation et création d’une oeuvre pour guitare électrique et dispositif électronique se situant à un point de rencontre stylistique entre le free jazz, la musique électro glitch et le drone métal. Le présent texte vise principalement à expliciter la démarche de création de cette oeuvre, intitulée feedback. À la suite du chapitre d'introduction qui décrit l'origine et les objectifs de ce projet de composition, le premier chapitre est consacré à une réflexion sur l'improvisation musicale. En partant d'une description générale de cette pratique et de ses origines, cinq manifestations de l'improvisation qui ont influencé l’oeuvre y sont décrites. Dans le deuxième chapitre est présentée l'hyperguitare qui a été développée pour la pièce ainsi que la description de ses composantes matérielles et logicielles. Dans le troisième chapitre sont décrits le contexte de création, le rôle de l’improvisation dans le processus de création et la description technique des quatre oeuvres composées en amont de feedback. Le quatrième chapitre est dédié à la pièce feedback inspirée de l'œuvre cinématographique et littéraire Fight Club et imprégnée, sur le plan stylistique, de la culture rock, du free jazz et de la musique électroacoustique glitch. En conclusion sont présentés les nouveaux objectifs que ces recherches ont engendrés.

Spa Rituales Ancestrales AüA S.A.S.

Las practicas ancestrales de las culturas precolombinas cada día son mas validas en su aplicación actual para la medicina alternativa, orientada al bienestar y la salud, es un hecho que en los últimos años se observa un gran crecimiento de endemias de estrés que se presentan bajo determinadas circunstancias propias del sistema actual de vida urbana y actividades cotidianas, ocasionando recargas de tensión como respuesta a la supervivencia en un mundo agitado. La somatizacion del estrés se traduce en enfermedades fisiológicas, emocionales y anímicas, consideradas peligrosas y causantes de altos índices de morbilidad y mortalidad. AúA S.A.S. se crea como solución a este gran conflicto que azota a la humanidad, así se han incrementado las instalaciones de diversos Spa (Salud por agua) como establecimientos de bienestar y esparcimiento que incluyen terapias no solo físicas sino mentales y emocionales como un sistema holístico der salud. En los últimos años y gracias a las facilidades de movilidad y comunicaciones se observa un crecimiento acelerado del turismo de salud como sector de talla mundial, el cual apunta a un mayor desarrollo tanto a nivel nacional como internacional. Las visitas de turistas al país en interés de realizarse procedimientos tanto estéticos como médicos, permite identificar una gran oportunidad de negocio con visión sostenible y perdurable ante un futuro prometedor. En este sentido, se presenta la instauración de un Spa con rituales ancestrales como un establecimiento de salud (turismo de salud) que preste servicios a personas tanto colombianas como extranjeras interesadas en vivir una experiencia con tratamientos de relajación (turismo de bienestar). Si bien el gobierno ha impulsado nuevas políticas encaminadas al fomento de la competitividad en Colombia, a través de sectores de talla mundial, donde el turismo de salud se presenta con un fuerte potencial de crecimiento. El Programa de Transformación Productiva, es un ejemplo de lo anteriormente expresado como estrategia para lograr el desarrollo empresarial, crecimiento económico y la generación de más y mejores empleos en Colombia. AüA S.A.S ofrece servicios únicos con tiempos óptimos para resultados efectivos de relajación y bienestar, así como espacios adecuados, inspirados en los paisajes de la sierra nevada de Santa Marta y ecosistemas de la costa Caribe, teniendo un contacto más cercano con la naturaleza y sus elementos. Además de una atención y acompañamiento personalizado y servicios gratuitos de asesorías post-venta, creando un servicio nuevo de reeducación dentro del Spa y con material de cortesía dado, donde a través de libros, artículos, publicaciones, DVD y talleres a realizar el cliente cambiara su conciencia, como componentes diferenciadores y de valor agregado, saliendo de su estado patológico y con alto cubrimiento en la satisfacción de sus necesidades, creando fidelidad al cliente para que regrese. Así, en lo posible con esta información destacada de las encuestas, dentro de la investigación de mercados realizada, se puede determinar que la participación en el mercado es del 75%. El equipo emprendedor está conformado por Rosa Marina Lozano Socarrás, estudiante de Administración de Negocios Internacionales de la Universidad del Rosario. El proyecto arroja una rentabilidad del 58,22% promedio anual. El indicador VAN, determina que el proyecto arroja 60 Millones adicionales al invertir los recursos en este proyecto que en uno que rente el 33% anual, por lo tanto se sugiere continuar con el proyecto. Teniendo el indicador del Valor Presente Neto, para su cálculo es necesario la Tasa de descuento o Tasa de Interés de Oportunidad siendo del 33%, teniendo un valor de $ 60.278.254. La metodología empleada en el trabajo de grado se denota en la guía y lineamientos establecidos por el Centro de Emprendimiento de la Universidad del Rosario. Las fuentes primarias se destaca en la información de investigación de mercados a partir de encuestas, así como análisis del sector y competidores. La información secundaria se denota en el Plan de Negocios del subsector turismo de bienestar dado a conocer por el Ministerio de Industria, Comercio y Turismo.

Cultura e innovación en empresas con relaciones de cooperación inter organizacional

Un gran número de empresas están inmersas actualmente en espacios de mercado conocidos y saturados de competidores. La innovación constituye una de las principales alternativas de las empresas para encontrar su posicionamiento estratégico y adaptarse a los cambios del entorno (Kim & Mauborgne, 2005). Igualmente, Demirci (2013) asegura que la cultura es un factor clave en la innovación, dado que está fuertemente asociada con los valores, actitudes, comportamientos y prácticas organizacionales. Esta investigación abarca el estudio de la cultura organizacional y la innovación en el marco de estrategias de cooperación inter-organizacional donde se plantea que el grado de cooperación que existe entre las empresas tiene un efecto sobre los valores culturales y la incorporación de innovaciones en cada organización. Para esto se llevó a cabo una investigación cuantitativa con un alcance de tipo descriptivo y de carácter no experimental y trans seccional, cuya unidad de análisis fueron 20 empresas de la red ParqueSoft Manizales. Para la medición de las variables de innovación se aplicó un instrumento basado en el Manual de Oslo de la OECD y Eurostat (2005) el cual contempla la innovación de producto, proceso, mercadotecnia y organización. A nivel de los valores culturales, la medición se realizó a través de un cuestionario inspirado en el modelo de Hofstede (1980). Los resultados obtenidos permiten demostrar que existe un grado de relación entre la cooperación y los valores culturales ‘distancia al poder’ y ‘tolerancia a la incertidumbre´, sin poder determinar la relación con la generación de innovación de producto, proceso, mercadotecnia y organización, así como con las otras dimensiones del modelo de valores de Hofstede.

Nuevas funcionalidades de LocalGIS-DOS

LocalGIS-DOS es la nueva versión oficial de LocalGIS, el Sistema de Información Territorial Software Libre para Entidades Locales que surgió a iniciativa del Ministerio de Industria, Turismo y Comercio y que está englobado dentro del Plan Avanza. La nueva versión LocalGIS-DOS, que estará disponible en marzo de 2010 coincidiendo con las IV Jornadas de SIG Libre de Girona, va a contar con nuevos módulos que dotarán a LocalGIS de importantes mejoras tecnológicas y funcionales de Gestión Municipal. LocalGIS-DOS incluye un nuevo módulo de Enrutamiento y Cálculo de rutas, tanto en el Módulo de Editor GIS como en la Guía Urbana, que permitirá calcular caminos óptimos y zonas de influencia. El nuevo módulo de Movilidad facilitará la gestión de información municipal desde dispositivos móviles, con herramientas para la edición y visualización de la misma y para su correcta replicación con la base de datos central. LocalGIS-DOS permitirá gestionar varios municipios con intereses comunes de forma simultánea, creando el concepto de Entidad Supramunicipal, pudiendo así gestionar de forma conjunta capas, estilos y usuarios. Esta nueva versión incorpora también la Variable Temporal a las capas de información, permitiendo a los usuarios seleccionar por fechas la información que desean visualizar, facilitando así la elaboración de estudios temporales georreferenciados y el versionado histórico de mapas. También incluye un nuevo Módulo de Gestión de la Ciudad, desde donde se gestionarán avisos, mantenimientos y obras ubicadas en el suelo público. Finalmente indicar que a nivel tecnológico LocalGIS-DOS contará, entre otras, con mejoras relativas al acceso a bases de datos externas, al canal cifrado de comunicación, firma digital de documentos y mejoras en la generación de informes

Estimating surface CO2 fluxes from space-borne dry air mole fraction observations using an Ensemble Kalman filter

We have developed an ensemble Kalman Filter (EnKF) to estimate 8-day regional surface fluxes of CO2 from space-borne CO2 dry-air mole fraction observations (XCO2) and evaluate the approach using a series of synthetic experiments, in preparation for data from the NASA Orbiting Carbon Observatory (OCO). The 32-day duty cycle of OCO alternates every 16 days between nadir and glint measurements of backscattered solar radiation at short-wave infrared wavelengths. The EnKF uses an ensemble of states to represent the error covariances to estimate 8-day CO2 surface fluxes over 144 geographical regions. We use a 12×8-day lag window, recognising that XCO2 measurements include surface flux information from prior time windows. The observation operator that relates surface CO2 fluxes to atmospheric distributions of XCO2 includes: a) the GEOS-Chem transport model that relates surface fluxes to global 3-D distributions of CO2 concentrations, which are sampled at the time and location of OCO measurements that are cloud-free and have aerosol optical depths <0.3; and b) scene-dependent averaging kernels that relate the CO2 profiles to XCO2, accounting for differences between nadir and glint measurements, and the associated scene-dependent observation errors. We show that OCO XCO2 measurements significantly reduce the uncertainties of surface CO2 flux estimates. Glint measurements are generally better at constraining ocean CO2 flux estimates. Nadir XCO2 measurements over the terrestrial tropics are sparse throughout the year because of either clouds or smoke. Glint measurements provide the most effective constraint for estimating tropical terrestrial CO2 fluxes by accurately sampling fresh continental outflow over neighbouring oceans. We also present results from sensitivity experiments that investigate how flux estimates change with 1) bias and unbiased errors, 2) alternative duty cycles, 3) measurement density and correlations, 4) the spatial resolution of estimated flux estimates, and 5) reducing the length of the lag window and the size of the ensemble. At the revision stage of this manuscript, the OCO instrument failed to reach its orbit after it was launched on 24 February 2009. The EnKF formulation presented here is also applicable to GOSAT measurements of CO2 and CH4.

Suboptimal system recovery from communication loss in a multi-robot localization scenario using EKF algorithms

This paper describes a multi-robot localization scenario where, for a period of time, the robot team loses communication with one of the robots due to system error. In this novel approach, extended Kalman filter (EKF) algorithms utilize relative measurements to localize the robots in space. These measurements are used to reliably compensate "dead-com" periods were no information can be exchanged between the members of the robot group.

Communicating eye gaze across a distance without rooting participants to the spot

Eye gaze is an important conversational resource that until now could only be supported across a distance if people were rooted to the spot. We introduce EyeCVE, the worldpsilas first tele-presence system that allows people in different physical locations to not only see what each other are doing but follow each otherpsilas eyes, even when walking about. Projected into each space are avatar representations of remote participants, that reproduce not only body, head and hand movements, but also those of the eyes. Spatial and temporal alignment of remote spaces allows the focus of gaze as well as activity and gesture to be used as a resource for non-verbal communication. The temporal challenge met was to reproduce eye movements quick enough and often enough to interpret their focus during a multi-way interaction, along with communicating other verbal and non-verbal language. The spatial challenge met was to maintain communicational eye gaze while allowing free movement of participants within a virtually shared common frame of reference. This paper reports on the technical and especially temporal characteristics of the system.

Distributed space-time block coding for 3 and 4 relay nodes: Imperfect synchronisation and a solution

Most research on distributed space time block coding (STBC) has so far focused on the case of 2 relay nodes and assumed that the relay nodes are perfectly synchronised at the symbol level. By applying STBC to 3-or 4-relay node systems, this paper shows that imperfect synchronisation causes significant performance degradation to the conventional detector. To this end, we propose a new STBC detection solution based on the principle of parallel interference cancellation (PIC). The PIC detector is moderate in computational complexity but is very effective in suppressing the impact of imperfect synchronisation.

A shock capturing scheme for steady, supercritical, free-surface flow

Abstract A finite difference scheme is presented for the solution of the two-dimensional shallow water equations in steady, supercritical flow. The scheme incorporates numerical characteristic decomposition, is shock capturing by design and incorporates space-marching as a result of the assumption that the flow is wholly supercritical in at least one space dimension. Results are shown for problems involving oblique hydraulic jumps and reflection from a wall.

Robot free will

We introduce the perspex machine which unifies projective geometry and Turing computation and results in a supra-Turing machine. We show two ways in which the perspex machine unifies symbolic and non-symbolic AI. Firstly, we describe concrete geometrical models that map perspexes onto neural networks, some of which perform only symbolic operations. Secondly, we describe an abstract continuum of perspex logics that includes both symbolic logics and a new class of continuous logics. We argue that an axiom in symbolic logic can be the conclusion of a perspex theorem. That is, the atoms of symbolic logic can be the conclusions of sub-atomic theorems. We argue that perspex space can be mapped onto the spacetime of the universe we inhabit. This allows us to discuss how a robot might be conscious, feel, and have free will in a deterministic, or semi-deterministic, universe. We ground the reality of our universe in existence. On a theistic point, we argue that preordination and free will are compatible. On a theological point, we argue that it is not heretical for us to give robots free will. Finally, we give a pragmatic warning as to the double-edged risks of creating robots that do, or alternatively do not, have free will.

On the long time behavior of free stochastic Schrödinger evolutions

We discuss the time evolution of the wave function which is the solution of a stochastic Schrödinger equation describing the dynamics of a free quantum particle subject to spontaneous localizations in space. We prove global existence and uniqueness of solutions. We observe that there exist three time regimes: the collapse regime, the classical regime and the diffusive regime. Concerning the latter, we assert that the general solution converges almost surely to a diffusing Gaussian wave function having a finite spread both in position as well as in momentum. This paper corrects and completes earlier works on this issue.