Search results for " Formal"

showing 10 items of 273 documents

El papel de la prensa en el tratamiento de los Objetivos de Desarrollo Sostenible (ODS) en Educación Secundaria

2020

En los últimos años, en los que el planeta está experimentando un grave deterioro, como consecuencia de una gran variedad de problemas interrelacionados, son muchas las instituciones y los organismos internacionales que están realizando llamamientos dirigidos a los educadores de cualquier materia y nivel, para que la educación preste una especial atención a la preparación de la ciudadanía para hacer frente a la actual situación de crisis planetaria. La aprobación de la Agenda 2030 para el Desarrollo Sostenible en 2015, por parte de Naciones Unidas, estable un nuevo marco mundial para redirigir la humanidad. En este trabajo final de máster nos planteamos abordar en qué medida la prensa diari…

educación no formalproblemática socioambientalobjetivos de desarrollo sosteniblesostenibilidadeducació para la sostenibilidad:PEDAGOGÍA [UNESCO]UNESCO::PEDAGOGÍA
researchProduct

On some aspects of Borel-Moore homology in motivic homotopy : weight and Quillen’s G-theory

2016

The theme of this thesis is different aspects of Borel-Moore theory in the world of motives. Classically, over the field of complex numbers, Borel-Moore homology, also called “homology with compact support”, has some properties quite different from singular homology. In this thesis we study some generalizations and applications of this theory in triangulated categories of motives.The thesis is composed of two parts. In the first part we define Borel-Moore motivic homology in the triangulated categories of mixed motives defined by Cisinski and Déglise and study its various functorial properties, especially a functoriality similar to the refined Gysin morphism defined by Fulton. These results…

Quillen’s K-theory and G-theoryStructure de poidsMixed motives[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG]Motivic homotopy theoryHomologie de Borel-MooreThéorie de l’homotopie motiviqueMotifs de ChowChow motives[MATH.MATH-KT] Mathematics [math]/K-Theory and Homology [math.KT]G-théorieFormalisme des six foncteursWeight structureSix functors formalismMotifs mixtesRefined Gysin morphismBorel-Moore homologyMorphisme de Gysin raffinéK-théorie de Quillen
researchProduct

Languages with mismatches

2007

AbstractIn this paper we study some combinatorial properties of a class of languages that represent sets of words occurring in a text S up to some errors. More precisely, we consider sets of words that occur in a text S with k mismatches in any window of size r. The study of this class of languages mainly focuses both on a parameter, called repetition index, and on the set of the minimal forbidden words of the language of factors of S with errors. The repetition index of a string S is defined as the smallest integer such that all strings of this length occur at most in a unique position of the text S up to errors. We prove that there is a strong relation between the repetition index of S an…

Combinatorics on wordsApproximate string matchingGeneral Computer ScienceRepetition (rhetorical device)String (computer science)Search engine indexingComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Approximate string matchingData structureTheoretical Computer ScienceCombinatoricsSet (abstract data type)Formal languagesCombinatorics on words Formal languages Approximate string matching IndexingIndexingWord (group theory)MathematicsInteger (computer science)Computer Science(all)Theoretical Computer Science
researchProduct

A Classification of Trapezoidal Words

2011

Trapezoidal words are finite words having at most n+1 distinct factors of length n, for every n>=0. They encompass finite Sturmian words. We distinguish trapezoidal words into two disjoint subsets: open and closed trapezoidal words. A trapezoidal word is closed if its longest repeated prefix has exactly two occurrences in the word, the second one being a suffix of the word. Otherwise it is open. We show that open trapezoidal words are all primitive and that closed trapezoidal words are all Sturmian. We then show that trapezoidal palindromes are closed (and therefore Sturmian). This allows us to characterize the special factors of Sturmian palindromes. We end with several open problems.

FOS: Computer and information sciencesFormal Languages and Automata Theory (cs.FL)lcsh:Mathematicstrapezoidal words Sturmian words special factors palindromesPalindromeComputer Science - Formal Languages and Automata TheoryDisjoint setslcsh:QA1-939lcsh:QA75.5-76.95PrefixCombinatoricsF.4.3FOS: MathematicsMathematics - CombinatoricsCombinatorics (math.CO)lcsh:Electronic computers. Computer scienceSuffixWord (group theory)Mathematics
researchProduct

The Intersection of $3$-Maximal Submonids

2020

Very little is known about the structure of the intersection of two $k$-generated monoids of words, even for $k=3$. Here we investigate the case of $k$-maximal monoids, that is, monoids whose basis of cardinality $k$ cannot be non-trivially decomposed into at most $k$ words. We characterize the intersection in the case of two $3$-maximal monoids.

Free graphSettore INF/01 - InformaticaGeneral Computer ScienceMathematics::Category Theory3-maximal monoidsMathematics - CombinatoricsComputer Science - Formal Languages and Automata Theory68R15IntersectionTheoretical Computer Science
researchProduct

DIGITALE MODERATION IN DER DAF-LEHRENDENBILDUNG

2022

The aim of this paper is to show patterns in the moderation of video conferences. The corpus used comes from the Erasmus+ project LEELU (development of teaching skills for extensive reading lessons). The subject of the investigation was how changes in the agenda are negotiated at the beginning of the meetings. A multimodal method based on conversation analysis was chosen for the analysis.

Keywords: Teacher Training in German as Foreign Language multimodal interaction analysis video conferences formality and informality
researchProduct

Les estructures amb ésser + participi passat: problemes d' ambigüitat formal

2004

This article analyzes the structures of «ésser» + participle in old Catalan. It highlights the diversity of constructions that may constitute this hind of construction (compound tenses, copulatives and passives). It analyzes the methodological problems derived from structural ambiguity, and points explains the evolutionary ways that language has established to solve the problems generated by formal syncretism.

lcsh:Language and Literaturelcsh:Philology. LinguisticsUNESCO::CIENCIAS DE LAS ARTES Y LAS LETRASlcsh:P1-1091LingüísticaFilologíasverb «ésser» i participi de passat:CIENCIAS DE LAS ARTES Y LAS LETRAS [UNESCO]ambigüitat formallcsh:Pverb «ésser» i participi de passat; ambigüitat formal;
researchProduct

Spatiality for formal topologies

2007

We define what it means for a formal topology to be spatial, and investigate properties related to spatiality both in general and in examples.

Pointfree topology formal topology spatialityMathematics (miscellaneous)Theoretical computer scienceComputer scienceFormal topologyNetwork topologyComputer Science ApplicationsMathematical Structures in Computer Science
researchProduct

Los Estereotipos de género en las producciones audiovisuales: diseño y validación de la tabla de análisis EG_5x4

2022

Los productos culturales de la educación no formal, y en concreto los difundidos por televisión y plataformas streaming, incluidas no ficción y animación infantil, proponen entre sus figuraciones personajes estereotipados en su construcción de género. Según investigaciones previas, identificarlos y combatirlos favorece la erradicación de ideas sexistas relacionadas con violencias machistas. Por ello, el objetivo que se planteó fue diseñar y validar una tabla de análisis de estereotipos sexuales presentes en cualquier producto audiovisual. El proceso siguió un protocolo de 3 fases (Garrido et al., 2015): 1) Se revisó la literatura publicada, se extrajeron rasgos relacionados con estereotipos…

Computer Networks and CommunicationsInstrumentos de MediciónCoeducationCoeducaciónMeasuring InstrumentsComputer Science ApplicationsEducationEstereotipos de GéneroEducación No FormalCiència EnsenyamentEducació socialNonformal EducationGender StereotypesAdolescents Conducta sexualInformation Systems
researchProduct

"Lo (in)traducible al lenguaje de Ser y tiempo"

2015

Este trabajo versa sobre el papel que juega el lenguaje en la obra Ser y tiempo (1927) de Martin Heidegger. En un primer momento se analiza el doble nivel discursivo que opera en la economía del texto: el lenguaje como “Rede” (discurso o habla) y el lenguaje como “Sprache” (o exteriorización del discurso). Para identificar, en un segundo momento, el reducto intraducible a cualquier lengua. Se trata de la dimensión ejecutiva a la que apuntan todos los conceptos o existenciales de la obra al ser concebidos como ”indicaciones formales”; y más en concreto: se trata de la dimensión ejecutiva que comporta la decisión de existencia o el paso de la impropiedad a la propiedad.

indicación formalUNESCO::FILOSOFÍA:FILOSOFÍA [UNESCO]HeideggerSer y tiempopropiedadlenguaje
researchProduct