Search results for "Cursive"
showing 10 items of 126 documents
Verification of Well-Formed Communicating Recursive State Machines
2008
AbstractIn this paper we introduce a new (non-Turing equivalent) formal model of recursive concurrent programs called well-formed communicating recursive state machines (CRSM). CRSM extend recursive state machines (RSM) by allowing a restricted form of concurrency: a state of a module can be refined into a finite collection of modules (working in parallel) in a potentially recursive manner. Communication is only possible between the activations of modules invoked on the same fork. We study the model-checking problem of CRSM with respect to specifications expressed in a temporal logic that extends CaRet with a parallel operator (ConCaRet). We propose a decision algorithm that runs in time ex…
Inductive inference of recursive functions: Complexity bounds
2005
This survey includes principal results on complexity of inductive inference for recursively enumerable classes of total recursive functions. Inductive inference is a process to find an algorithm from sample computations. In the case when the given class of functions is recursively enumerable it is easy to define a natural complexity measure for the inductive inference, namely, the worst-case mindchange number for the first n functions in the given class. Surely, the complexity depends not only on the class, but also on the numbering, i.e. which function is the first, which one is the second, etc. It turns out that, if the result of inference is Goedel number, then complexity of inference ma…
Análisis de las estrategias de encuadre discursivo en la cobertura electoral sobre Vox en los titulares de la prensa española
2020
La presente investigación se basa en el análisis de un corpus de 413 titulares que encabezaron los textos informativos de ocho diarios españoles, durante la cobertura electoral sobre Vox, en el trans curso de los comicios generales celebrados en España en abril de 2019. Siguiendo el modelo desarrollado por Gallardo Paúls (2014; 2021 en prensa), que estudia las categorías pragmáticas de acuer do con el nivel textual, el interactivo y el enunciativo, hemos po dido identificar determinadas estrategias de encuadre discursivo que contribuyen a orientar cognitivamente los titulares de todos los periódicos que conforman nuestro corpus. Si bien la ilocutivi dad representativa fue la mayoritaria en …
Enhanced Current Loop PI Controllers with Adaptive Feed-Forward Neural Network via Estimation of Grid Impedance: Application to Three-Phase Grid-Tied…
2022
This paper describes a single-stage grid-connected three-phase photovoltaic inverter feeding power to the grid. Using the Recursive Least Squares (RLS) Estimator, an online grid impedance technique is proposed in the stationary reference frame. The method iteratively estimates the grid resistance and inductance values and is effective in detecting inverter islanding according to IEEE standard 929-2000. An Adaptive Feedforward Neural (AFN) Controller has also been developed using the inverse of the system to improve the performance of the inner-loop Proportional-Integral controllers under dynamical conditions and provide better DC link voltage stability. The neural network weights are comput…
Theory of Computation, Fuzziness and a physics of the immaterial
2013
In this paper we advance three clear-cut proposals as a contribution to the discussion on the role of notions of Computation and Fuzziness as a bridge between Hard and Soft Sciences. We suggest that an important difference between the two great fami- lies of science lies in their subject or research having a grounding in nature or not, and that Theory of Computation is a glaring exception to this classifi- cation, being a textbook hard science but dealing with the immaterial. We further advance that such unicity is strongly connected with Church-Turing thesis, and discuss about the role of Computation and Fuzziness as pillars of immaterial sciences
Los géneros discursivos y las secuencias didácticas: el lugar de los ejemplos prototípicos en la enseñanza y aprendizaje de la escritura
2018
[EN] From a social perspective, the aim of writing teaching is for students to be able to understand and write a great diversity of discursive genres, allowing them to behave as reflexive and critical citizens in different social spheres. In the process of mastery of each genre, the mental representation of the text is key, which acts as a regulating element of writing in different phases. This article shows the difficulties of the students to appropriate a specific genre (a book review), based on the data of a classroom research with students of 3rd ESO that addresses the writing of reviews through a didactic sequence including, as a regulatory element, prototypical examples of the genre. …
Discursive genres and didactic sequences: The place of the prototypical examples in the teaching and learning of writing
2018
[EN] From a social perspective, the aim of writing teaching is for students to be able to understand and write a great diversity of discursive genres, allowing them to behave as reflexive and critical citizens in different social spheres. In the process of mastery of each genre, the mental representation of the text is key, which acts as a regulating element of writing in different phases. This article shows the difficulties of the students to appropriate a specific genre (a book review), based on the data of a classroom research with students of 3rd ESO that addresses the writing of reviews through a didactic sequence including, as a regulatory element, prototypical examples of the genre. …
Measure, category and learning theory
1995
Measure and category (or rather, their recursion theoretical counterparts) have been used in Theoretical Computer Science to make precise the intuitive notion “for most of the recursive sets.” We use the notions of effective measure and category to discuss the relative sizes of inferrible sets, and their complements. We find that inferrible sets become large rather quickly in the standard hierarchies of learnability. On the other hand, the complements of the learnable sets are all large.
Inviting Participation in Organizational Change Through Ownership Talk
2010
This article takes the practitioner’s view toward and focuses on participation through talk within multiparty settings of one process consulting case. From the perspective of discursive psychology, the authors ask what happens in interaction when the consultant is working to put into practice the ideal of active client participation in organizational change. They argue that participation is established when psychological ownership of the process is displayed through talk in interaction. This happens when what the authors call “ownership talk” is used: A person is sharing his or her views, interests, and experiences related to the change process.The authors provide detailed observations and …
Constructions of Nonagency in the Clients’ Initial Problem Formulations at the Outset of Psychotherapy
2019
This multiple case study investigated how clients construct nonagentic positions when formulating their problems in the beginning of their first psychotherapy session. The initial problem formulations of nine clients entering psychotherapy were analyzed with a detailed model drawing on discursive methodology, the 10 Discursive Tools model (10DT). We found ten problem formulation categories, each one distinguished by the tool from the 10DT model primarily used to construct nonagency. All clients gave several problem formulations from different categories and constructed nonagentic positions with a variety of discursive tools. When the resulting problem formulation categories were read in com…