48 resultados para Formal specification
em Consorci de Serveis Universitaris de Catalunya (CSUC), Spain
Resumo:
Aquest fitxer conté la ontologia que descriu un metamodel de l'especificació Open Service Interface Design v.2.0 proposada per OKI. Ha estat creada en OWL i estesa amb un conjunt de regles SWRL. S'adjunta també el conjunt de regles.
Resumo:
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.
Resumo:
Ever since the appearance of the ARCH model [Engle(1982a)], an impressive array of variance specifications belonging to the same class of models has emerged [i.e. Bollerslev's (1986) GARCH; Nelson's (1990) EGARCH]. This recent domain has achieved very successful developments. Nevertheless, several empirical studies seem to show that the performance of such models is not always appropriate [Boulier(1992)]. In this paper we propose a new specification: the Quadratic Moving Average Conditional heteroskedasticity model. Its statistical properties, such as the kurtosis and the symmetry, as well as two estimators (Method of Moments and Maximum Likelihood) are studied. Two statistical tests are presented, the first one tests for homoskedasticity and the second one, discriminates between ARCH and QMACH specification. A Monte Carlo study is presented in order to illustrate some of the theoretical results. An empirical study is undertaken for the DM-US exchange rate.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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. (...)
Resumo:
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.
Resumo:
Recently many OER activities have been getting popular, and users who access those content for informal learning are increasing. Most popular OER must be OCW, which has been proposed and promoted by MIT since 2001. In Japan OCW has been penetrating gradually since 2005. However in terms of formal learning utilization ICT technology has not been so popular yet in Japanese higher education field. In this paper two case studies, one is formal e-Learning using OCW, and the other is portal site of open contents from universities are described
Resumo:
El presente trabajo ha consistido en elaborar el material didáctico para la educación ambiental no formal de los ciudadanos de Nicaragua, con nivel escolar equivalente a sexto grado. Este material en un futuro cercano será la base del programa de alfabetización ambiental “Yo, Sí Puedo Cuidar el Ambiente”,coordinado por la “Red Universitaria Yo, Sí Puedo” en distintas partes de Nicaragua. El resultado del proyecto es una cartilla destinada al alumno y una Guía Metodológica para el educador. Para la realización de este proyecto ha sido necesaria una estancia de tres meses y medio para la recopilación de información y la elaboración de material didáctico. El principal objetivo del material elaborado es contribuir en la sensibilización y la formación de valotres ambientales de los participantes, mejorando asi su calidad de vida y su entorno
Resumo:
This file contains the ontology of patterns of educational settings, as part of the formal framework for specifying, reusing and implementing educational settings. Furthermore, it includes the set of rules that extend the ontology of educational scenarios as well as a brief description of the level of patters of such ontological framework.
Resumo:
This file includes the ontology of patterns of educational settings adapted to a given organization as part of a formal framework for specifying, reusing and implementing educational settings. It includes a description of such an ontology.
Resumo:
Background: During early steps of embryonic development the hindbrain undergoes a regionalization process along the anterior-posterior (AP) axis that leads to a metameric organization in a series of rhombomeres (r). Refinement of the AP identities within the hindbrain requires the establishment of local signaling centers, which emit signals that pattern territories in their vicinity. Previous results demonstrated that the transcription factor vHnf1 confers caudal identity to the hindbrain inducing Krox20 in r5 and MafB/Kreisler in r5 and r6, through FGF signaling [1].Results: We show that in the chick hindbrain, Fgf3 is transcriptionally activated as early as 30 min after mvHnf1 electroporation, suggesting that it is a direct target of this transcription factor. We also analyzed the expression profiles of FGF activity readouts, such as MKP3 and Pea3, and showed that both are expressed within the hindbrain at early stages of embryonic development. In addition, MKP3 is induced upon overexpression of mFgf3 or mvHnf1 in the hindbrain, confirming vHnf1 is upstream FGF signaling. Finally, we addressed the question of which of the FGF-responding intracellular pathways were active and involved in the regulation of Krox20 and MafB in the hindbrain. While Ras-ERK1/2 activity is necessary for MKP3, Krox20 and MafB induction, PI3K-Akt is not involved in that process.Conclusion: Based on these observations we propose that vHnf1 acts directly through FGF3, and promotes caudal hindbrain identity by activating MafB and Krox20 via the Ras-ERK1/2 intracellular pathway.