La elección entre tipos de inversión directa en el exterior: evidencia empírica de las empresas españolas en China

Una de las cuestiones que más interés despierta entre los investigadores del campo de la internacionalización empresarial es la selección de la estrategia de entrada en un país extranjero. Actualmente, China es uno de los destinos que está cobrando una mayor relevancia en la expansión internacional de muchas empresas. En ese contexto, este trabajo examina la influencia de diversos factores empresariales sobre el nivel de compromiso asumido por las compañías españolas que han entrado en China a través de inversiones directas.

Colonización y formación de un paisaje agrario. El caso de San Antonio (Requena). 1750-1920

San Antonio, actual pedanía de 2.100 hb situada a 5 km de la ciudad de Requena, es un ejemplo de transformación del paisaje por efecto de la colonización humana. En 1752 poblaban esta partida dos docenas de familias de labradores, jornaleros y pastores repartidos en una veintena de casas dispersas por la campiña. La propiedad de la tierra estaba en manos de una docena de terratenientes forasteros y del concejo municipal de Requena. La superficie cultivada ascendía a uno 600 almudes de regadío y 1.000 de secano. Cien años más tarde había 730 en riego y 3.700 en secano. Este incremento estuvo acompañado de una expansión del viñedo y los cereales, a costa de pastizales y baldíos, y de una distribución y traspaso parcial de la propiedad de la tierra a manos de los colonos que se multiplicaron por diez en poco más de un siglo. Las causas que propiciaron aquella transformación fueron básicamente dos: la desamortización y venta de bienes concejiles y eclesiásticos, y la proliferación de contratos de plantación de viña a medias, mediante los cuales decenas de jornaleros lograron hacerse con una pequeña propiedad vitícola.

Verificación de Sistemas Basada en Teoría de Tipos

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad.

Efeito de cinco colutórios na morfologia de superfície e características óticas de restaurações diretas com dois tipos de resinas compostas

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Psicologia aplicada à Gestão: Tipos predominantes de estrutura de Personalidade do Lider em organizações líder no mercado - estudo no Sector dos Transportes.

A proposta de estudo em redor do tema “Psicologia aplicada à Gestão: Tipos predominantes de estrutura de personalidade do líder em organizações líder no mercado – Estudo no sector dos transportes” visa propor uma integração de perspectivas das ciências humanas, económicas e de gestão, no sentido de identificar a possível correlação de determinados tipos de personalidade dos líderes e os resultados financeiros e económicos das empresas que representam, conducentes à liderança de mercado no sector em que as mesmas actuam. As hipóteses subjacentes à investigação procuram identificar a correlação dos traços de carácter do líder com o desempenho económico da organização, bem como determinar a predominância de traços de personalidade do líder em organizações consideradas líder no sector de mercado em que actuam, sendo o estudo focado no sector dos transportes. É utilizada uma abordagem psicanalítica na procura da compreensão de mecanismos inconscientes subjacentes à construção de traços de personalidade bem como na construção e desenvolvimento das organizações como psicoestruturas, que se assumirão como “organizações espelho” da personalidade do líder.

Tipos y paisajes; colección de bosquejos de costumbres tomados del natural.

Mode of access: Internet.

Cuentos y Tipos callejeros,

Author's autographed presentation copy to F.J. Santamaría.

Régimen agrario : estudios sobre la legislación de tierras en la Argentina y principales naciones del mundo, colonización e inmigración, capital, crédito y cooperación rural /

Bibliography: p. [155]-157.

Tipos cómicos; colección de cuentos.

Mode of access: Internet.

Los tipos de horario escolar /

Mode of access: Internet.

El aspecto agrario de la revolución mexicana,

Mode of access: Internet.

Proyecto de creación de un "Banco Agrario Nacional" para la defensa permanente de la producción argentina /

Mode of access: Internet.

[¿Existen en la actualidad representaciones genuinas de las razas y tipos primitivos?] : discurso leído en la Universidad Central por el Licenciado D. Enrique de Frau y de Mesa en el acto de recibir la investidura de Doctor en Medicina.

Tesis doctoral Univ. Central, 1861.