Qualitative and quantitative formal model-based safety analysis : push the safety button

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Marco institucional formal de la creación de empresas en Catalunya: oferta y demanda de servicios de apoyo

El apoyo y el fomento a la creación de nuevas empresas se ha convertido en las últimas décadas en objetivo principal de las administraciones públicas, justificado principalmente por la incidencia positiva que tienen las mismas tanto en la generación de puestos de trabajo como en el crecimiento económico y en el potencial innovador. En esta investigación se analiza el marco institucional formal de la creación de empresas en Catalunya, tanto desde el punto de vista de la oferta (instituciones y programas de apoyo) como desde el punto de vista de la demanda (nuevos empresarios), tomando la teoría institucional como marco teórico. Para el estudio de la oferta se entrevistaron 20 responsables del área de creación de empresas de las instituciones catalanas más relevantes, completando dicha información con fuentes de datos secundarios (folletos de las instituciones, memorias, estadísticas, etc.). Para el análisis de la demanda se realizaron 307 encuestas telefónicas a empresarios potenciales y 60 entrevistas personales a empresarios actuales. Los resultados del presente trabajo ponen de manifiesto que en Catalunya existen muchas instituciones y programas de apoyo a la creación de empresas. Esta diversificación, junto a la falta de coordinación entre las instituciones implicadas, conduce a duplicaciones y solapamientos en la oferta de programas destinados a las nuevas empresas. En cuanto a la demanda, los resultados reflejan que la muestra de empresarios potenciales conoce y ha utilizado en mayor medida los programas de apoyo que la muestra de empresarios actuales. Por otra parte, ambas muestras valoran mejor los programas no económicos que los económicos, habiendo tenido también éstos mayor importancia en el proceso de creación de la empresa.

Venture capital meets contract theory: risky claims or formal control?

This paper develops a theory of the joint allocation of formal control and cash-flow rights in venture capital deals. We argue that when the need for investor support calls for very high-powered outside claims, entrepreneurs should optimally retain formal control in order to avoid excessive interference. Hence, we predict that risky claims should be be negatively correlated to control rights, both along the life of a start-up and across deals. This challenges the idea that risky claims should a ways be associated to more formal control, and is in line with contractual terms increasingly used in venture capital, in corporate venturing and in partnership deals between biotech start-ups and large drug companies. The paper provides a theoretical explanation to some puzzling evidence documented in Gompers (1997) and Kaplan and Stromberg (2000), namely the inclusion in venture capital contracts of contingencies that trigger both a reduction in VC control and the conversion! of her preferred stocks into common stocks.

Encryption methods using formal power series rings

Recently there has been a great deal of work on noncommutative algebraic cryptography. This involves the use of noncommutative algebraic objects as the platforms for encryption systems. Most of this work, such as the Anshel-Anshel-Goldfeld scheme, the Ko-Lee scheme and the Baumslag-Fine-Xu Modular group scheme use nonabelian groups as the basic algebraic object. Some of these encryption methods have been successful and some have been broken. It has been suggested that at this point further pure group theoretic research, with an eye towards cryptographic applications, is necessary.In the present study we attempt to extend the class of noncommutative algebraic objects to be used in cryptography. In particular we explore several different methods to use a formal power series ring R && x1; :::; xn && in noncommuting variables x1; :::; xn as a base to develop cryptosystems. Although R can be any ring we have in mind formal power series rings over the rationals Q. We use in particular a result of Magnus that a finitely generated free group F has a faithful representation in a quotient of the formal power series ring in noncommuting variables.

Formal deformations of Poisson structures in low dimensions

In this paper, we study formal deformations of Poisson structures, especially for three families of Poisson varieties in dimensions two and three. For these families of Poisson structures, using an explicit basis of the second Poisson cohomology space, we solve the deformation equations at each step and obtain a large family of formal deformations for each Poisson structure which we consider. With the help of an explicit formula, we show that this family contains, modulo equivalence, all possible formal eformations. We show moreover that, when the Poisson structure is generic, all members of the family are non-equivalent.

Improving Students’ Learning Aspirations Beyond Post-Primary Education: A First Account of Two Non-Formal Education Programmes in Middle-Income

Non-formal education programmes are active in a number of developing countries. These programmes offer vulnerable students an opportunity to pursue their education although they were excluded for various reasons from the formal education systems. This paper examines the impact of two programmes (one in Mauritius, and one in Thailand) on their participants’ aspirations towards learning. We develop a methodology to measure the perception of students regarding their learning experience. More than a third of them, for example, believe that there is no barrier to their education. Most acknowledge the role of their teachers in raising their aspirations towards their educational achievement. When compared to male students, female students seem to value more the role of their education.

How to improve the formal analytic reasoning and scientific motivation in the intellectual training of medical students

A review article of the The New England Journal of Medicine refers that almost a century ago, Abraham Flexner, a research scholar at the Carnegie Foundation for the Advancement of Teaching, undertook an assessment of medical education in 155 medical schools in operation in the United States and Canada. Flexner’s report emphasized the nonscientific approach of American medical schools to preparation for the profession, which contrasted with the university-based system of medical education in Germany. At the core of Flexner’s view was the notion that formal analytic reasoning, the kind of thinking integral to the natural sciences, should hold pride of place in the intellectual training of physicians. This idea was pioneered at Harvard University, the University of Michigan, and the University of Pennsylvania in the 1880s, but was most fully expressed in the educational program at Johns Hopkins University, which Flexner regarded as the ideal for medical education. (...)

Mean-payoff games and propositional proofs

"Vegeu el resum a l'inici del document del fitxer adjunt."

Diagnosi de la relació entre les aplicacions didàctiques de la museografia virtual i l'educació formal anàlisi de casos

L'educació formal necessita de noves eines d'aprenentatge que s'ajustin a la revolució que ha sofert la nostra societat, i una d'elles pot ser l'aplicació de les TIC a la difusió del patrimoni museològic. Com construir aquest discurs museogràfic i l'anàlisi de diferents exemples ja existents en la xarxa, conformen aquest treball.

Non-formal education for schistosomiasis prevention: the experience of the Museu Arqueológico de Central, Bahia, Brazil

The activities described here form part of an extensive programme in place in the Região Arqueológica de Central, state of Bahia, Brazil. After malacological and socio-environmental surveys in the area, a strategy comprising formal and non-formal education with an emphasis on schistosomiasis prevention was developed, introduced, and evaluated. Interviews were conducted of 142 students and 11 teachers, totalling 11 classes at six primary schools. On the basis of those interviews, four display cases and seven panels were prepared. In addition a table was set up where students could participate directly on the subject, drawing and recognising the factors involved in the schistosomiasis cycle. The exhibition was held at the Museu Arqueológico de Central. The endeavours of this paper underline the importance of health education as well as exhibitions to disease prevention activities.