61 resultados para Formal languages.

em Consorci de Serveis Universitaris de Catalunya (CSUC), Spain


Relevância:

30.00% 30.00%

Publicador:

Resumo:

El conocimiento del lenguaje de interrogación es una herramienta imprescindible para la recuperación de información. En este artículo se ofrece una gramática formal (sintaxis y semántica) para ese tipo de lenguaje. Esta gramática nos permite, por un lado, conocer el lenguaje de interrogación desde un plano sistemático y conceptual y, por otro lado, nos permite obtener ciertos beneficios prácticos de tipo sintáctico y de tipo semántico relacionados con los procesos de recuperación de información.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Counter automata are more powerful versions of finite state automata where addition and subtraction operations are permitted on a set of n integer registers, called counters. We show that the word problem of Zn is accepted by a nondeterministic m-counter automaton if and only if m &= n.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

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. (...)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El nostre estudi ha analitzat els mecanismes de transferència de la L1 en dos grups de parlants, un que té el romanès i l’altre el tagal com a llengües mare, en el procés d’aprenentatge del català com a L2. En concret ens hem centrat en l’estudi de l’ús dels clítics pronominals, una de les parts de la gramàtica catalana més apassionant per les seves idiosincràsies i la seva diversitat formal. L’ús d’aquest tipus de pronoms és un aspecte que resulta complicat d’adquirir per parlants de llengües en què no existeixen o on l’ús que en fan és diferent. En el nostre estudi, ens hem basat inicialment en la descripció de les característiques fonamentals dels clítics pronominals del català, del romanès i del tagal, a partir de bibliografia especialitzada i més general, i, en el cas del català, fent servir també la pròpia competència. Després d’aquest apartat més descriptiu, hem utilitzat un corpus d’entrevistes fetes en català a dos grups de parlants, el primer amb aprenents de català que tenen el romanès com a L1 i el segon amb aprenents de català que tenen el tagal com a L1, per analitzar quantitativament i qualitativament l’ús dels clítics pronominals. Un altre grup d’entrevistes, aquesta vegada a persones autòctones (català L1), ens ha servit com a grup de control. El nostre estudi dóna suport a la hipòtesi que atorga una importància especial a la transferència de la L1 en l’adquisició d'una segona llengua en general, i en la dels clítics pronominals d’una llengua romànica, en particular. Els resultats mostren que hi ha diferències entre els dos grups d'aprenents que són estadísticament significatives (ús del programa SPSS) i poden ser atribuïdes a les característiques de la L1.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Aquest treball de recerca tracta de la relació existent entre pedagogia, traducció, llengües estrangeres i intel•ligències múltiples. El debat sobre si la traducció és una eina útil a la classe de llengües estrangeres és un tema actual sobre el qual molts investigadors encara indaguen. Estudis recents, però, han demostrat que qualsevol tasca de traducció -en la qual s’hi poden incloure treballs amb les diferents habilitats- és profitosa si la considerem un mitjà, no una finalitat en ella mateixa. Evidentment, l’ús de la traducció dins l’aula és avantatjosa, però també hem de tenir presents certs desavantatges d’aquesta aplicació. Un possible desavantatge podria ser la creença que, al principi, molta gent té referent a l’equivalència, paraula per paraula, d’una llengua vers una altra. Però després de presentar vàries tasques de traducció als estudiants, aquests poden arribar a controlar, fins i tot, les traduccions inconscients i poden assolir un cert nivell de precisió i flexibilitat que val la pena mencionar. Però l’avantatge principal és que s’enfronten a una activitat molt estesa dins la societat actual que combina dues llengües, la llengua materna i la llengua objecte d’estudi, per exemple. De tot això en podem deduir que utilitzar la llengua materna a la classe no s’ha de considerar un crim, com fins ara, sinó una virtut, evidentment si és emprada correctament. En aquest treball de recerca s’hi pot trobar una síntesi tant de les principals teories d’adquisició i aprenentatge de llengües com de les teories de traducció. A la pregunta de si les teories, tant de traducció com de llengües estrangeres, s’haurien d’ensenyar implícita o explícitament, es pot inferir que segons el nivell d’estudis on estiguin els aprenents els convindrà aprendre les teories explícitament o les aprendran, de totes maneres, implícitament. Com que qualsevol grup d’estudiants és heterogeni -és a dir que cada individu té un ritme i un nivell d’aprenentatge concret i sobretot cadascú té diferents estils de percepció (visual, auditiu, gustatiu, olfactiu, de moviment) i per tant diferents intel•ligències-, els professors ho han de tenir en compte a l’hora de planificar qualsevol programa d’actuació vers els alumnes. Per tant, podem concloure que les tasques o projectes de traducció poden ajudar als alumnes a aprendre millor, més eficaçment i a aconseguir un aprenentatge més significatiu.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Aquesta memòria vol introduir el lector dins del camp de l'XML, fent referència al mateix llenguatge XML i a l'anomenada família XML, formada per totes les tecnologies i els estàndards que estan relacionats amb l'XML i que en fan un llenguatge realment potent i versàtil.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Aquest treball fa un recull d'informació de l'estàndard XML i dels llenguatges de consultes XQuery, que són llenguatges de consultes dissenyats per a fer accessos a aquest tipus de dades.

Relevância:

20.00% 20.00%

Publicador:

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