32 results on '"Alternance"'
Search Results
2. Effects of prior acclimation on the survival, feed intake and salinity preference of a freshwater-adapted euryhaline crab.
- Author
-
Yu, Fan, Huang, Cheng, Wang, Xu, Ge, Jiachun, and Li, Zhongqiu
- Subjects
- *
ACCLIMATIZATION , *CHINESE mitten crab , *SALINITY , *CRABS , *COASTAL wetlands , *SALINE waters , *ANIMAL feeds , *SHELLFISH fisheries - Abstract
In estuarine systems, salinity changes by freshwater inflows and tides affect the survival and behaviour of euryhaline species. Juvenile Chinese mitten crabs, Eriocheir sinensis , are considered to live in fresh water during their complex life history, whilst some are found in coastal wetlands. To understand how juveniles disperse in estuarine residence, we investigated their survival, feed intake and salinity preference after acclimating in three different water situations (i.e., fresh water, salt water and alternation between fresh water and salt water). We supposed that behavioural alternation and salinity preference would play an essential role in their acclimation. Results showed no significant difference in survival and feed intake amongst the three groups of juveniles (P > 0.05) in acclimation trials. However, the feed intake of crabs in each group was declining after changing water every three days. In the salinity preference experiment, crabs from fresh water preferred 0 ‰ and 12 ‰ , whereas those from salinity and alternation treatments showed no preference. The salinity preference seemed to be modified by prior acclimation as well, and juvenile crabs could therefore survive and disperse in the different salinities. Our study helps to explain the complex distribution of juveniles in estuaries and provides arguments for the feasibility of Chinese mitten crabs being reared in low salinity waters. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
3. NEW TERRITORIALITIES IN ALTERNATION OF EDUCATORS OF THE ESCOLA FAMÍLIA AGROEXTRATIVISTA DO CARVÃO IN AMAPÁ.
- Author
-
Silva Gomes, Raimunda Kelly and de Moraes Novais, Valéria Silva
- Subjects
EDUCATORS ,PRAXIS (Process) ,COMMUNITY schools ,CARTOGRAPHY - Abstract
Copyright of Cadernos de Pesquisa is the property of Fundacao Carlos Chagas and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2023
- Full Text
- View/download PDF
4. Leonid Kantorovich and Approximation Theory.
- Author
-
Tikhomirov, V. M.
- Subjects
- *
APPROXIMATION theory , *KANTOROVICH method - Abstract
We give a survey of applications of the ideas and methods of Leonid Kantorovich (1912–1986) to the classical problems of approximation theory. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
5. La Traduction et l'alternance de code linguistique dans la musique de Yemi Alade.
- Author
-
Lipenga, Timwa
- Subjects
- *
SONGS , *TRANSLATING & interpreting , *LITERATURE translations , *MUSICIANS , *CONTINENTS , *ARGUMENT - Abstract
This article focuses on the links between translation and code-switching in selected songs by Yemi Alade. The songs under study were originally composed and interpreted in English before being translated into French. The original lyrics do not translate the instances where Yoruba and Igbo code-switching occurs, whereas the French versions frequently translate such instances. The article argues that these translations of code-switching serve to re-examine preconceived notions about a song and its translation. The argument demonstrates that it is possible for a song to 'gain' in translation, and this is illustrated by Alade's translated songs. The article also focuses on the extent to which the Derridean perspective of the supplement and that of différance can be applied to music translation. The four songs 'Johnny', 'K-I-S-S-I-N-G', 'Africa' and 'Ferrari' have been chosen because they feature instances of code-switching. The article looks at the degree to which one can talk about loss during translation and the supplementary meanings of language in the four songs. finally, it reflects on the implications of linguistic choices for a musician in postcolonial Africa; ordinarily, African writers are the ones who are interrogated regarding language choice, but the question of language is one which confronts every form of art on the continent. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
6. Histoires de vie avec l’alternance: la voie de recherche-formation en deux temps trois mouvements et le master Formation et Développement durable au Brésil
- Author
-
Gaston Pineau and Pedro Puig-Calvó
- Subjects
alternance ,formation expérientielle ,formation formelle ,autoformation ,socioformation ,écoformation ,développement durable ,devenir personnel ,devenir social ,devenir écologique ,synchroniseur ,Education - Abstract
La communication voit l’anniversaire de ces 50 ans de l’alternance au Brésil, comme un moyen d’opérer une double boucle réflexive sur deux histoires de vie socio-professionnelle avec l’alternance. Elle commence par un survol historique principalement francophone, d’une voie de recherche-formation de l’alternance comme synchroniseur éco-social de temporalités multiples en deux temps (expérientiel/formel) et trois mouvements (auto, socio, écoformation). La deuxième partie expose la philosophie éducative d’un master international Formation et développement durable (2002-2004), construit avec et pour les professionnels de l’alternance au Brésil. Elle présente les 17 mémoires produits selon une structure quadripolaire de l’alternance, croisant deux finalités - développement de la personne et du milieu – avec deux moyens principaux – une pédagogie spécifique et une organisation partenariale. La conclusion évoque l’horizon d’une compétence rythmique existentielle à apprendre par une attention plus grande aux rythmes écologiques qu’aux cours de la bourse, des maîtres et contremaîtres.
- Published
- 2019
- Full Text
- View/download PDF
7. Les Centres Éducatifs Familiaux de Formation par Alternance en Afrique: le cas du Cameroun
- Author
-
Benoit Birwe and Pedro Puig-Calvó
- Subjects
cameroun ,formation professionnelle ,formation intégrale ,alternance ,associations de familles ,organisation promotrice ,durabilité ,Education - Abstract
Cet article questionne la durabilité des dispositifs de formation professionnelle par alternance que sont les Centres Éducatifs Familiaux de Formation par Alternance (CEFFA) en Afrique en général et, de manière particulière au Cameroun, où ils sont confrontés aux difficultés réelles pour assurer leur autonomisation. Les CEFFA, dont la formule d’éducation va se répandre à travers le monde tel un essaim d’abeilles grâce à la coopération entre la France et des pays partenaires, peinent encore à s’enraciner ou à s’ancrer dans le territoire. L’analyse est davantage focalisée sur la viabilité financière, en tant qu’aptitude des associations promotrices de CEFFA à assurer leur autonomie de fonctionnement en disposant des ressources nécessaires pour couvrir toutes les charges. L’article est à la fois un travail de recherche historique et d’analyse des principales difficultés d’ancrage territorial des CEFFA dans le contexte africain et des défis liés à une implantation durable des CEFFA au Cameroun.
- Published
- 2019
- Full Text
- View/download PDF
8. LA FORMATION PROFESSIONNELLE EN FRANCE: ASPECTS HISTORIQUES, CHOIX POLITIQUES, TRADUCTIONS JURIDIQUES ET METHODOLOGIQUES
- Author
-
Catherine Guillaumin
- Subjects
Enseignement professionnel ,formation continue ,programme de travail et d'études ,alternance ,Special aspects of education ,LC8-6691 ,Labor market. Labor supply. Labor demand ,HD5701-6000.9 ,Labor policy. Labor and the state ,HD7795-8027 - Abstract
Cet article porte sur la formation professionnelle en France et donne les informations nécessaires à la compréhension actuelle du système dans ses dimensions historiques et institutionnelles. Un ensemble de textes organise les parcours professionnels initiaux et continus dans un cadre national valorisant l’alternance et ayant pour finalité l’insertion professionnelle, le maintien en emploi, la réorientation professionnelle, l’autonomie des personnes. Cet outil majeur à la disposition de tous révèle des zones d’ombre et des insuffisances que tentent de pallier des réformes successives.
- Published
- 2020
- Full Text
- View/download PDF
9. On Extrapolation of Polynomials with Real Coefficients to the Complex Plane.
- Author
-
Kochurov, A. S. and Tikhomirov, V. M.
- Subjects
- *
POLYNOMIALS , *CHEBYSHEV polynomials , *ABSOLUTE value , *EXTRAPOLATION - Abstract
The problem of the greatest possible absolute value of the kth derivative of an algebraic polynomial of order n > k with real coefficients at a given point of the complex plane is considered. It is assumed that the polynomial is bounded by 1 on the interval [-1,1]. It is shown that the solution is attained for the polynomial κ · Tσ, where Tσ is one of the Zolotarev or Chebyshev polynomials and κ is a number. [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF
10. Apprendre dans le plurilinguisme : contact, intégration et alternance de langues en intercompréhension intégrée
- Author
-
Mariana Dominguez Fonseca Favre and Laurent Gajo
- Subjects
Didactique du plurilinguisme ,Intercompréhension intégrée ,Contact ,Alternance ,Integration ,Language and Literature ,Philology. Linguistics ,P1-1091 - Abstract
Cet article a un double objectif. D’une part, il s’agira de mieux comprendre les interactions plurilingues en classe. D’autre part, il vise contribuer à la discussion actuelle sur le paradigme émergent de ce qu’il est convenu d’appeler la « didactique du plurilinguisme ». A la croisée des dynamiques d’interaction et des approches didactiques, des notions centrales comme contact, alternance et intégration seront abordées. Les questions théoriques seront illustrées par l’analyse des pratiques effectives d’une classe Calandreta (programme d’immersion en occitan, considéré comme une langue régionale en France). Une attention particulière sera accordée à l’utilisation du manuel Euromania, qui propose une démarche plurilingue originale, stimulant des stratégies d’intercompréhension pour travailler différentes matières scolaires (sciences, histoire, mathématiques, technologie). Cette approche s’appelle intercompréhension intégrée.
- Published
- 2016
- Full Text
- View/download PDF
11. Aspecte privind procesul de coabitare (Some aspects concerning the cohabitation process)
- Author
-
Marian POPA
- Subjects
Constitution ,President ,Prime Minister ,Executive ,elections ,cohabitation ,majority ,alternance ,balance ,mandate. ,International relations ,JZ2-6530 - Abstract
The article assesses some aspects regarding the post Presidential elections momentum in Romania with a view to the collaboration between the two Executive actors: President and Prime Minister. Focusing on the perspectives of an impossible cohabitation within the institutional Romanian framework the article points out at several challenges revealed by recent institutional practice. It proposes to be considered the specific French constitutional arrangements existing for more than a half century because they were accordingly adapted to institutional developments which could not be imagined when the fundamental text was elaborated.
- Published
- 2015
12. Extremal and Approximative Properties of Simple Partial Fractions.
- Author
-
Danchenko, V. I., Komarov, M. A., and Chunaev, P. V.
- Abstract
In approximation theory, logarithmic derivatives of complex polynomials are called simple partial fractions (SPFs) as suggested by Dolzhenko. Many solved and unsolved extremal problems, related to SPFs, are traced back to works of Boole, Macintyre, Fuchs, Marstrand, Gorin, Gonchar, and Dolzhenko. Now many authors systematically develop methods for approximation and interpolation by SPFs and their modifications. Simultaneously, related problems, being of independent interest, arise for SPFs: obtaining inequalities of different metrics, estimation of derivatives, separation of singularities, etc.In introduction to this survey, we systematize some of these problems. In themain part, we formulate principal results and outline methods to prove them whenever possible. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
13. Extremal Polynomials Connected with Zolotarev Polynomials.
- Author
-
Agafonova, I. V. and Malozemov, V. N.
- Abstract
Let two points a and b located to the right and left of the interval [–1, 1], respectively, be given on the real axis. The extremal problem is stated as follows: find an algebraic polynomial of the n-th degree, whose value is A at point a, it does not exceed M in absolute value in the interval [–1, 1], and takes the largest possible value at point b. This problem is connected with the second Zolotarev problem. A set of values of the parameter A, for which this problem has a unique solution, is indicated in this paper and an alternance characteristic of this solution is given. The behavior of the solution with respect to the parameter A is studied. It is found that the solution can be obtained for certain A using the Chebyshev polynomial, and can be obtained for all other admissible A with the help of the Zolotarev polynomial. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
14. Chebyshev Approximation by Linear Combinations of Fixed Knot Polynomial Splines with Weighting Functions.
- Author
-
Sukhorukova, Nadezda and Ugon, Julien
- Subjects
- *
CHEBYSHEV approximation , *KNOT theory , *MATHEMATICAL functions , *SPLINES , *STATISTICAL weighting - Abstract
In this paper, we derive conditions for best uniform approximation by fixed knots polynomial splines with weighting functions. The theory of Chebyshev approximation for fixed knots polynomial functions is very elegant and complete. Necessary and sufficient optimality conditions have been developed leading to efficient algorithms for constructing optimal spline approximations. The optimality conditions are based on the notion of alternance (maximal deviation points with alternating deviation signs). In this paper, we extend these results to the case when the model function is a product of fixed knots polynomial splines (whose parameters are subject to optimization) and other functions (whose parameters are predefined). This problem is nonsmooth, and therefore, we make use of convex and nonsmooth analysis to solve it. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
15. La formación por alternancia y el desarrollo rural en América Latina. El caso de Colombia
- Author
-
Roberto García-Marirrodriga and Ignacio de los Ríos Carmenado
- Subjects
formación ,alternancia ,nueva ruralidad ,capital social ,desarrollo local y territorial ,américa latina ,colombia ,formation ,alternance ,nouvelle ruralité ,développement local et territorial ,amérique latine ,colombie ,Geography (General) ,G1-922 - Abstract
[es] El desarrollo rural no se entiende de la misma manera en ámbitos tan diversos como el europeo y el latinoamericano. Algunas instituciones hablan de una Nueva Ruralidad en América Latina, basada en conceptos como desarrollo humano, capital social y crecimiento económico con equidad. La agricultura latinoamericana es cada vez más multifuncional y el desarrollo rural comienza a tener un claro enfoque territorial que refuerza los efectos sociales. Pero, en cualquier contexto rural, los procesos de desarrollo sostenible se favorecen, en primer lugar, con la permanencia de personas en el medio; y, en segundo lugar, cuando los protagonistas del cambio tienen una formación adecuada. Este artículo describe un sistema educativo peculiar -la alternancia- que se basa en alternar períodos de formación en el entorno socioprofesional y en el aula. Propone también un modelo para la evaluación del impacto de dicha formación que se aplica a una zona rural latinoamericana y que permite comprobar resultados muy satisfactorios para la calidad de vida, el empleo, la sostenibilidad de la agricultura y el equilibrio territorial. Concretamente, se estudia el caso de Colombia y se analiza cómo los jóvenes formados son capaces de influir en la generación de procesos de desarrollo porque se convierten en líderes locales y contribuyen a crear tejido social. [fr] Le développement rural n'est pas compris de la même manière dans des contextes aussi différents que l'Europe et l'Amérique latine. Quelques Institutions parlent d'ime Nouvelle Ruralité en Amérique latine, basée sur les concepts de développement humain, capital social et développement économique avec équité. L'agriculture en Amérique latine est, de plus en plus, multifonctionnelle, et son développement rural a une approche territoriale qui renforce des aspects sociaux. Mais, dans n'importe quel milieu, les procès durables du développement sont favorisés, tout d'abord, par la permanence des personnes dans les espaces ruraux. Et, en deuxième lieu, si les protagonistes du changement reçoivent l'éducation et la formation appropriées. Cet article explique un système éducatif basé sur l´alternance des stages de formation entre le milieu socioprofessionnel et l'école. Il propose aussi un modèle d'évaluation d'impact qui s'applique dans une zone rurale d'Amérique latine. Ceci nous permet de vérifier des résultats satisfaisants pour la qualité de vie, l'emploi, la durabilité de l'agriculture et l'équilibre territorial. Pour le cas concret de la Colombie, il analyse la manière dont les jeunes qui ont été formés avec ce système, peuvent influencer d'une façon décisive sur la génération des processus de développement local, justement parce qu'ils deviennent des leaders de leurs communautés et participent activement à la construction du tissu social.
- Published
- 2005
- Full Text
- View/download PDF
16. De l’estime de soi et du sentiment d’auto-efficacité à la motivation au travail : le rôle médiateur du sens du travail chez les alternants en France
- Author
-
Arnaud Degand, Eric Dose, Pascale Desrumaux, Psychologie : Interactions, Temps, Emotions, Cognition (PSITEC) - ULR 4072 (PSITEC), Université de Lille, Sujets, sociétés, territoires, temporalités (2S2T), and Université Catholique de l'Ouest (UCO)
- Subjects
Social Psychology ,Perceived self-efficacy ,media_common.quotation_subject ,Estime de soi ,Sens du travail ,050109 social psychology ,Human Factors and Ergonomics ,Computer-assisted web interviewing ,[SCCO]Cognitive science ,0502 economics and business ,Self-esteem ,0501 psychology and cognitive sciences ,media_common ,Meaning of work ,Work motivation ,Motivation ,4. Education ,Amotivation ,Sentiment auto-efficacité ,05 social sciences ,[SHS.ANTHRO-SE]Humanities and Social Sciences/Social Anthropology and ethnology ,Alternance ,Feeling ,Work-integrated learning ,Psychology ,Humanities ,050203 business & management ,Meaning (linguistics) - Abstract
International audience; The purpose of this study was to test the links between self-esteem, the feeling of self-efficacy and the different forms of motivation. It also aimed to understand the mediating effect of the meaning of work between the variables. French work-integrated learning students (n = 471) completed a self-administered online questionnaire. The results showed significant links between self-esteem, perceived self-efficacy, work meaning, and different dimensions of motivation (extrinsic, intrinsic, and amotivation). In addition, the meaning of work played a mediating role in the relationship between self-esteem, perceived self-efficacy, and dimensions of motivation. This study showed the central mechanism of work meaning in work motivation.; Cette étude avait pour but de tester les liens entre l’estime de soi, le sentiment d’auto-efficacité et les différentes formes de motivation. Elle visait aussi à comprendre l’effet médiateur du sens du travail entre ces variables. Des étudiants français en alternance (n = 471) ont complété un questionnaire en ligne auto-administré. Les résultats ont montré des liens significatifs entre l’estime de soi, le sentiment d’auto-efficacité, le sens du travail et les différentes formes de motivation (extrinsèque, intrinsèque et amotivation). De plus, le sens du travail exerçait un effet médiateur entre l’estime de soi, le sentiment d’auto-efficacité et, les différentes formes de motivation. Cette étude montre le mécanisme central du sens du travail dans la motivation au travail.
- Published
- 2021
- Full Text
- View/download PDF
17. Least deviation of logarithmic derivatives of algebraic polynomials from zero.
- Author
-
Chunaev, Petr
- Subjects
- *
LOGARITHMS , *DEVIATION (Statistics) , *ALGEBRAIC equations , *POLYNOMIALS , *MARKOV processes - Abstract
We study least deviation of logarithmic derivatives of real-valued algebraic polynomials with a fixed root from zero on the segment [-1;1] in the uniform norm with various weights w(x). A final solution is given for w(x)=√1-x², and an asymptotically precise one is found for w(x)≡1. As a corollary, new inequalities of Markov-Bernstein type are obtained for a special class of polynomials. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF
18. An example of non-uniqueness of a simple partial fraction of the best uniform approximation.
- Author
-
Komarov, M. A.
- Abstract
For arbitrary natural n ≥ 2 we construct an example of a real continuous function, for which there exists more than one simple partial fraction of order ≤ n of the best uniform approximation on a segment of the real axis. We prove that even the Chebyshev alternance consisting of n+1 points does not guarantee the uniqueness of the best approximation fraction. The obtained results are generalizations of known non-uniqueness examples constructed for n = 2, 3 in the case of simple partial fractions of an arbitrary order n. [ABSTRACT FROM AUTHOR]
- Published
- 2013
- Full Text
- View/download PDF
19. Uniform estimation of a segment function by a polynomial strip of fixed width.
- Author
-
Dudov, S. and Sorina, E.
- Subjects
- *
MATHEMATICAL functions , *POLYNOMIALS , *GRAPH theory , *CHEBYSHEV approximation , *CHEBYSHEV polynomials , *MATHEMATICS - Abstract
The best uniform approximation of a segment function on an interval by a polynomial strip of fixed width (in ordinate) with respect to the Hausdorff measure at each point of the interval is considered. Ranges of strip widths are indicated for which this problem gives outer and inner estimates for the graph of the segment function in terms of the polynomial strip, and a range of strip widths is given for which the problem has an independent value. A necessary and sufficient condition for the existence of a solution and uniqueness conditions are obtained in a form comparable to the Chebyshev alternance. A range of strip widths is indicated for which the solution of the problem is always unique. Certain variational properties of the solution are examined. [ABSTRACT FROM AUTHOR]
- Published
- 2011
- Full Text
- View/download PDF
20. External estimation of a segment function by a polynomial strip.
- Author
-
Vygodchikova, I., Dudov, S., and Sorin, E.
- Abstract
The problem is considered of constructing a least-width strip with a polynomial axis that contains the graph of a given continuous segment function. Convex analysis methods are used to obtain a criterion for solving the problem in a form comparable to the Chebyshev alternance. Sufficient conditions for the uniqueness of a solution are given, including those taking into account the differential properties of the segment function to be estimated. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
21. Significance of Flower Bud Density for Cultivar Evaluation in Almond.
- Author
-
Kodad, Ossama and Socias, Rafae
- Subjects
- *
ALMOND , *BUDS , *FLOWERS , *PLANT spacing , *PLANT selection , *FROST damage to plants - Abstract
Flower bud density, spur density, and number of flower buds per spur were evaluated in 57 almond cultivars and selections during 3 consecutive years to establish their repeatability as well as their potential to ensure a sustainable commercial production. These three traits showed a high variability with significant differences between genotypes and years as well as a significant interaction of genotype and year. The effect of location and the interaction of location and genotype were not significant for bud density, but they were for spur density and number of flower buds per spur. Variability of flower bud density is mostly related to the number of flower buds per spur as indicated by the higher repeatability of spur density than that of the other two traits. A high flower bud density is essential for a sustainable production, because a high number of flowers may compensate frost damage. Early selection for a high flower bud density can be done indirectly through selection for a high spur density but requires its evaluation over several years. [ABSTRACT FROM AUTHOR]
- Published
- 2008
- Full Text
- View/download PDF
22. Approximation by the class of functions with bounded second derivative.
- Author
-
Mironenko, A.
- Subjects
- *
CONTINUOUS functions , *DIFFERENTIAL equations , *APPROXIMATION theory , *FUNCTIONAL analysis , *CALCULUS of variations - Abstract
The paper studies the problem of uniform approximation of a continuous function on a closed interval by the class of functions with bounded second derivative. We prove an estimate of the value of best approximation of the function by this class via its second modulus of continuity. The obtained estimate is sharp for the class of continuous functions. [ABSTRACT FROM AUTHOR]
- Published
- 2008
- Full Text
- View/download PDF
23. Le double parcours préparateur-pharmacien, une certaine vision de l'équipe officinale.
- Author
-
Beaujard, Marine
- Abstract
Au sein d'une pharmacie d'officine, les pharmaciens sont secondés dans leur tâche quotidienne par les préparateurs. Les prérogatives et les responsabilités de ces professionnels sont différentes, mais complémentaires. Devenir docteur en pharmacie après avoir exercé en tant que préparateur aide à considérer l'équipe officinale sous un nouvel angle. Témoignage. Within the pharmacy team, pharmacy technicians assist pharmacists in their daily tasks. The prerogatives and responsibilities of these professionals are different, but complementary. Becoming a doctor of pharmacy after having practised as a pharmacy technician gives the pharmacist a different perspective on the pharmacy team. Testimony. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
24. Généralisation d’Automates Alternatifs sur des Alphabets Infinis
- Author
-
XU, Xiao, VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Université Grenoble Alpes [2020-....], Radu Iosif, Susanne Graf, STAR, ABES, Université Grenoble Alpes, and Susanne Graf (co-directrice)
- Subjects
Inclusion Linguistique ,IMPACT ,[INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic ,Emptiness ,Verification ,Vide ,Vérification ,Alternating ,Infinite Alphabets ,Vérification de Modèle ,Alphabets Infinis ,Model Checking ,Alternance ,[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] ,[INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic ,Language Inclusion - Abstract
The language inclusion problem is recognised as being central to verification in different domains, such as hardware, communication protocols, software systems, etc. There we might face two challenges: non-determinism and infinite alphabets.We propose two models of alternating automata over infinite alphabets: (i) alternating data automata (ADA) and (ii) first-order alternating data automata (FOADA). They both recognise the data words over infinite alphabets. In ADA model, the control states are Booleans and the transition rules are specified by a set of formulae in a combined first-order theory of states (Booleans) and data that relate past values of variables with current values of variables. But a restriction of the ADA model is that, there is not hidden variable, hence all the data values taken by the variables are visible in the input. But in FOADA model, the arguments of a predicate atom track the values of the internal variables associated with the state, and these values are invisible in the input sequence, which overcomes the restriction of the ADA model.With these two alternating models, Boolean operations of union, intersection and comple- ment can be done in linear time, thus matching the complexity of performing these opera- tions in the finite-alphabet case. However, the price to be paid here is that the emptiness checking becomes undecidable. For this reason, we provide two efficient semi-algorithms for emptiness checking: (i) lazy predicate abstraction and (ii) IMPACT method. These semi-algorithms are proven to terminate by returning a word from the language of the given au- tomaton if one exists; but if the language of the given automaton is empty, then the termination is not guaranteed.The main application of our models is checking inclusions between various classes of au- tomata extended with variables ranging over infinite domains that recognise languages over infinite alphabets. The most widely known classes of this kind are timed automata and finite- memory (register) automata. Another application is checking safety (mutual exclusion, absence of deadlocks, etc.) and liveness (termination, lack of starvation, etc.) properties of parameterised concurrent programs.Besides the theoretical parts, we also have developed a tool - FOADA Checker, mainly used for checking inclusion between two automata or checking emptiness of an automaton. FOADA Checker is written in Java, via Java-SMT interface and using Z3 SMT solver for spuriousness, coverage queries and interpolant generation. The IMPACT semi-algorithm has been implemented in the tool to check the emptiness of an automaton., Le problème de l’inclusion linguistique est reconnu comme étant au cœur de la vérification dans différents domaines, tels que le matériel, les protocoles de communication, les systèmes logiciels, etc. Nous pouvons être confrontés à deux défis: le non-déterminisme et les alphabets infinis.Nous proposons deux modèles d’automates alternatifs sur des alphabets infinis : (i) les automates alternatifs de données (ADA) et (ii) les automates alternatifs de données du premier ordre (FOADA). Ils reconnaissent tous deux les mots de données sur des alphabets infinis. Dans le modèle ADA, les états de contrôle sont des booléens et les règles de transition sont spécifiées par un ensemble de formules combinées dans une théorie des états du premier ordre (booléens) et des données associant les valeurs passées des variables aux valeurs actuelles des variables. Mais le modèle ADA a une restriction : il n’y a pas de variable cachée, ainsi toutes les valeurs de données prises par les variables sont visibles dans l’entrée. Pourtant dans le modèle FOADA, les arguments d’un atome de prédicat tracent les valeurs des variables internes associées à l’état, et ces valeurs sont invisibles dans la séquence d’entrée, ce qui surmonte la restriction du modèle ADA.Avec ces deux modèles en alternance, les opérations booléennes d’union, d’intersection et de complément peuvent être effectuées en temps linéaire, ce qui correspond à la complexité de l’exécution de ces opérations dans le cas d’un alphabet fini. Cependant, le prix à payer ici est que la vérification du vide devient indécidable. Pour ceci, nous fournissons deux semi-algorithmes efficaces pour la vérification du vide : (i) abstraction de prédicats paresseux et (ii) méthode IMPACT. S’il existe un mot du langage de l’automate donné, il est prouvé que ces semi-algorithmes se terminent en le retournant; mais si la langue de l’automate donné est vide, la terminaison n’est pas garantie.La principale application de nos modèles est de vérifier l’inclusion entre différentes classes d’automates étendues avec des variables allant de domaines infinis reconnaissant les langues à des alphabets infinis. Les plus connues de ce genre de classes sont les automates temporisés et les automates à mémoire finie (registre). Une autre application est de vérifier les propriétés de sécurité (exclusion mutuelle, absence de blocages, etc.) et de vitalité (résiliation, absence de famine, etc.) des programmes concurrents paramétrés.Outre les parties théoriques, nous avons également développé un outil - FOADA Checker, en général à l’usage de la vérification de l’inclusion entre deux automates ou de la vérification du vide d’un automate. FOADA Checker est écrit en Java, via l’interface Java-SMT et en utilisant le solveur Z3 SMT [53] pour les parasites, les requêtes de couverture et la génération d’interpolation. Le semi-algorithme IMPACT a été implémenté dans l’outil pour vérifier le vide d’un automate.
- Published
- 2020
25. Generalisation of Alternating Automata over Infinite Alphabets
- Author
-
XU, Xiao, XU, Xiao, VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Université Grenoble Alpes, Radu Iosif, and Susanne Graf (co-directrice)
- Subjects
Inclusion Linguistique ,IMPACT ,Verification ,Emptiness ,Vérification ,Vide ,Alternating ,Infinite Alphabets ,Vérification de Modèle ,Alphabets Infinis ,Model Checking ,Alternance ,[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] ,Language Inclusion ,[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] - Abstract
The language inclusion problem is recognised as being central to verification in different domains, such as hardware, communication protocols, software systems, etc. There we might face two challenges: non-determinism and infinite alphabets.We propose two models of alternating automata over infinite alphabets: (i) alternating data automata (ADA) and (ii) first-order alternating data automata (FOADA). They both recognise the data words over infinite alphabets. In ADA model, the control states are Booleans and the transition rules are specified by a set of formulae in a combined first-order theory of states (Booleans) and data that relate past values of variables with current values of variables. But a restriction of the ADA model is that, there is not hidden variable, hence all the data values taken by the variables are visible in the input. But in FOADA model, the arguments of a predicate atom track the values of the internal variables associated with the state, and these values are invisible in the input sequence, which overcomes the restriction of the ADA model.With these two alternating models, Boolean operations of union, intersection and complement can be done in linear time, thus matching the complexity of performing these operations in the finite-alphabet case. However, the price to be paid here is that the emptiness checking becomes undecidable. For this reason, we provide two efficient semi-algorithms for emptiness checking: (i) lazy predicate abstraction and (ii) IMPACT method. These semi-algorithms are proven to terminate by returning a word from the language of the given automaton if one exists; but if the language of the given automaton is empty, then the termination is not guaranteed.The main application of our models is checking inclusions between various classes of automata extended with variables ranging over infinite domains that recognise languages over infinite alphabets. The most widely known classes of this kind are timed automata and finite- memory (register) automata. Another application is checking safety (mutual exclusion, absence of deadlocks, etc.) and liveness (termination, lack of starvation, etc.) properties of parameterised concurrent programs.Besides the theoretical parts, we also have developed a tool - FOADA Checker, mainly used for checking inclusion between two automata or checking emptiness of an automaton. FOADA Checker is written in Java, via Java-SMT interface and using Z3 SMT solver for spuriousness, coverage queries and interpolant generation. The IMPACT semi-algorithm has been implemented in the tool to check the emptiness of an automaton., Le problème de l’inclusion linguistique est reconnu comme étant au cœur de la vérification dans différents domaines, tels que le matériel, les protocoles de communication, les systèmes logiciels, etc. Nous pouvons être confrontés à deux défis: le non-déterminisme et les alphabets infinis.Nous proposons deux modèles d’automates alternatifs sur des alphabets infinis : (i) les automates alternatifs de données (ADA) et (ii) les automates alternatifs de données du premier ordre (FOADA). Ils reconnaissent tous deux les mots de données sur des alphabets infinis. Dans le modèle ADA, les états de contrôle sont des booléens et les règles de transition sont spécifiées par un ensemble de formules combinées dans une théorie des états du premier ordre (booléens) et des données associant les valeurs passées des variables aux valeurs actuelles des variables. Mais le modèle ADA a une restriction : il n’y a pas de variable cachée, ainsi toutes les valeurs de données prises par les variables sont visibles dans l’entrée. Pourtant dans le modèle FOADA, les arguments d’un atome de prédicat tracent les valeurs des variables internes associées à l’état, et ces valeurs sont invisibles dans la séquence d’entrée, ce qui surmonte la restriction du modèle ADA.Avec ces deux modèles en alternance, les opérations booléennes d’union, d’intersection et de complément peuvent être effectuées en temps linéaire, ce qui correspond à la complexité de l’exécution de ces opérations dans le cas d’un alphabet fini. Cependant, le prix à payer ici est que la vérification du vide devient indécidable. Pour ceci, nous fournissons deux semi-algorithmes efficaces pour la vérification du vide : (i) abstraction de prédicats paresseux et (ii) méthode IMPACT. S’il existe un mot du langage de l’automate donné, il est prouvé que ces semi- algorithmes se terminent en le retournant; mais si la langue de l’automate donné est vide, la terminaison n’est pas garantie.La principale application de nos modèles est de vérifier l’inclusion entre différentes classes d’automates étendues avec des variables allant de domaines infinis reconnaissant les langues à des alphabets infinis. Les plus connues de ce genre de classes sont les automates temporisés et les automates à mémoire finie (registre). Une autre application est de vérifier les propriétés de sécurité (exclusion mutuelle, absence de blocages, etc.) et de vitalité (résiliation, absence de famine, etc.) des programmes concurrents paramétrés.Outre les parties théoriques, nous avons également développé un outil - FOADA Checker, en général à l’usage de la vérification de l’inclusion entre deux automates ou de la vérification du vide d’un automate. FOADA Checker est écrit en Java, via l’interface Java-SMT et en utilisant le solveur Z3 SMT pour les parasites, les requêtes de couverture et la génération d’interpolation. Le semi-algorithme IMPACT a été implémenté dans l’outil pour vérifier le vide d’un automate.
- Published
- 2020
26. Uniform Approximation by the Class of Functions with Bounded Derivative.
- Author
-
Mironenko, A. V.
- Subjects
- *
CONTINUOUS functions , *LIPSCHITZ spaces , *FUNCTION spaces , *MATHEMATICS - Abstract
In the paper, the problem of uniform approximation of a continuous function defined on an interval is considered. The approximating functions have absolutely continuous derivatives of order and derivatives of order bounded in absolute value. An alternance criterion for a best approximation element in this class is given. This criterion generalizes the criterion for the best approximation element obtained by N. P. Korneichuk in the class of Lipschitz functions. [ABSTRACT FROM AUTHOR]
- Published
- 2003
- Full Text
- View/download PDF
27. La construction identitaire des éducateurs de jeunes enfants en alternance : ou comment l’usage du construit de reliance participe-t-il de la réorientation de leur projet professionnel en cours de formation ?
- Author
-
Marie-Christine Talbot, Centre de recherche sur la formation (CRF), Conservatoire National des Arts et Métiers [CNAM] (CNAM), HESAM Université (HESAM)-HESAM Université (HESAM)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), and Conservatoire National des Arts et Métiers [CNAM] (CNAM)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)
- Subjects
alternance ,Social Sciences and Humanities ,professionnalisation ,block-release training ,4. Education ,reliance ,[SHS.EDU]Humanities and Social Sciences/Education ,05 social sciences ,Construction identitaire professionnelle ,050106 general psychology & cognitive sciences ,0502 economics and business ,professional identity building ,professionalization ,General Earth and Planetary Sciences ,0501 psychology and cognitive sciences ,Sciences Humaines et Sociales ,“reliance” ,050203 business & management ,General Environmental Science - Abstract
Si les éléments de contexte, tels que les politiques sociales ou le monde du travail en mutation, viennent en partie éclairer l’émergence d’un nouveau projet professionnel des éducateurs de jeunes enfants en cours de formation, c’est le processus de professionnalisation et de construction identitaire engagé au sein même du processus de formation que nous étudierons et ceci, plus particulièrement en lien avec l’expérience pratique vécue au cours des stages (Wittorski, 2009). Le sujet en formation est, à travers cette situation pratique, dans une posture de réflexion, de construction identitaire par sa rencontre et par sa participation à des communautés de pratiques. Dans sa confrontation à autrui, le sujet met en jeu la réalisation et la continuité de soi. Les émotions, les éléments biographiques sont convoqués eux aussi (Bourgeois et Barbier, 2006), le sujet maintenant, sur le plan identitaire, sa continuité, son unicité à travers le regard d’autrui. Nous chercherons à travers cet article à articuler le processus de professionnalisation et de construction identitaire avec le concept de reliance, développé par Bolle de Bal (2003), dans le cadre de la formation en alternance des éducateurs de jeunes enfants., Although the context, such as the social policies or the professional world in mutation, highlights the emergence of a new professional project for educators of young children during their training period, the process of professionalization and the identity building involved during the training period will be more especially studied, in relation to the practical experience gathered during the internships (Wittorski, 2009). This experience awakes in the subject a reflection and a situation of identity building through the encounter and the interactions with practical communities. While confronting with others, the student involves the realization, the self-continuity. Emotions and biographical facts are involved as well (Bourgeois et Barbier, 2006), thus maintaining the subject’s continuity and identity uniqueness through the perception of others. In this article, we will relate the process of professionalization and identity building to the concept of reliance, developed by Bolle de Bal (2003), within the scope of block-release training of educators of young children.
- Published
- 2016
- Full Text
- View/download PDF
28. Complementary roles of the rat prefrontal cortex and striatum in reward-based learning and shifting navigation strategies
- Author
-
Khamassi, Mehdi, Laboratoire de Physiologie de la Perception et de l'Action (LPPA), Collège de France (CdF (institution))-Centre National de la Recherche Scientifique (CNRS), Animatlab, Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Institut des Systèmes Intelligents et Robotique (ISIR), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Université Pierre et Marie Curie - Paris VI, Sidney Wiener (sidney.wiener@college-de-france.fr), and Agnès Guillot (agnes.guillot@upmc.fr)
- Subjects
alternance ,prefrontal cortex ,stratégies de navigation ,learning ,TDlearning ,Cortex préfrontal ,striatum ,[SDV.NEU.SC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Cognitive Sciences ,shifting ,TD-learning ,apprentissage ,modèle Actor-Critic ,récompense ,[INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG] ,navigation strategies ,Actor-Critic model ,modèle ActorCritic ,[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO] ,reward - Abstract
Many mammals can behave according to different navigation behaviors, defined as " strategies " which, although not systematically requiring conscious processes, depend on the specific task they are required to solve. In certain cases, if a visual cue marks the goal location, the agent can rely on a simple stimulus-response (S-R) strategy. In contrast, other tasks require the animal to be endowed with a representation of space that allows it to locate itself and to locate goals in the environment. In order to efficiently navigate, the animal not only should be able to learn and exhibit these types of strategies, but it should also be able to select which strategy is the most appropriate to a given task conditions in order to shift from one strategy to the other to optimize outcomes. The present work employs a multidisciplinary approach (e.g. behavior, neurophysiology, computational neuroscience and autonomous robotics) to study the roles of the rat prefrontal cortex and striatum in learning and shifting navigation strategies, and their possible application to robotics. It aims more particularly at investigating the respective roles of the medial prefrontal cortex (mPFC) and of different parts of the striatum (DLS :dorsolateral ; VS: ventral) in these processes, and the nature of their interactions. The experimental work presented here consisted in : (1) studying the role of the striatum in S-R learning by : (a) analyzing electrophysiological data recorded in the VS of rats performing a reward-seeking task in a plus-maze; (b) designing an Actor-Critic model of S-R learning where VS is the Critic which drives learning, whereas DLS is the Actor which memorizes S-R associations. This model is applied to robotics simulations, and compared with existing models in a virtual plus-maze; (2) studying the role of mPFC in strategy shifting by means of electrophysiological recordings in the mPFC of rat performing a task requiring such kind of shifts. The principal results of this work suggest that : (1) In the S-R framework: (a) as in primates, the rat VS shows a reward anticipation activity coherent with the Actor-Critic theory; (b) these reward anticipations can be combined with self-organizing maps in an Actor-Critic model that gives a better performance than previous models in a virtual plus-maze, and that shows generalization abilities potentially applicable for the field of autonomous robotics; (2) the rat mPFC seems to play a role when the animal's current strategy has poor reward yields, prompting learning of another strategy. Moreover, population activity in mPFC changes rapidly in correspondence with shifts in the animal's task-solving strategy, possibly underlying the contribution of this brain area to flexible selection of behavioral strategies. In conclusion the results are discussed in the framework of previous behavioral, physiological and modeling studies. We propose a new architecture of the rat prefronto-striatal system, where sub-territories of the striatum learn concurrent navigation strategies, and where the medial prefrontal cortex helps decide at any given moment which strategy dominates for behavior.; Les mammifères ont la capacité de suivre différents comportements de navigation, définis comme des " stratégies " ne faisant pas forcément appel à des processus conscients, suivant la tâche spécifique qu'ils ont à résoudre. Dans certains cas où un indice visuel indique le but, ils peuvent suivre une simple stratégie stimulus-réponse (S-R). À l'opposé, d'autres tâches nécessitent que l'animal mette en oeuvre une stratégie plus complexe basée sur l'élaboration d'une certaine représentation de l'espace lui permettant de se localiser et de localiser le but dans l'environnement. De manière à se comporter de façon efficace, les animaux doivent non seulement être capables d'apprendre chacune de ces stratégies, mais ils doivent aussi pouvoir passer d'une stratégie à l'autre lorsque les exigences de l'environnement changent. La thèse présentée ici adopte une approche pluridisciplinaire - comportement, neurophysiologie, neurosciences computationnelles et robotique autonome - de l'étude du rôle du striatum et du cortex préfrontal dans l'apprentissage et l'alternance de ces stratégies de navigation chez le rat, et leur application possible à la robotique. Elle vise notamment à préciser les rôles respectifs du cortex préfrontal médian (mPFC) et de différentes parties du striatum (DLS :dorsolateral ; VS : ventral) dans l'ensemble de ces processus, ainsi que la nature de leurs interactions. Le travail expérimental effectué a consisté à : (1) étudier le rôle du striatum dans l'apprentissage S-R en : (a) analysant des données électrophysiologiques enregistrées dans le VS chez le rat pendant une tâche de recherche de récompense dans un labyrinthe en croix ; (b) élaborant un modèle Actor-Critic de l'apprentissage S-R où le VS est le Critic qui guide l'apprentissage, tandis que le DLS est l'Actor qui mémorise les associations S-R. Ce modèle est étendu à la simulation robotique et ses performances sont comparées avec des modèles Actor-Critic existants dans un labyrinthe en croix virtuel ; (2) Dans un deuxième temps, le rôle du striatum dans l'apprentissage de stratégies de type localisation étant supposé connu, nous nous sommes focalisés sur l'étude du rôle du mPFC dans l'alternance entre stratégies de navigation, en effectuant des enregistrements électrophysiologiques dans le mPFC du rat lors d'une tâche requiérant ce type d'alternance. Les principaux résultats de ce travail suggèrent que : (1) dans le cadre S-R : (a) comme chez le singe, le VS du rat élabore des anticipations de récompense cohérentes avec la théorie Actor-Critic ; (b) ces anticipations de récompense peuvent être combinées avec des cartes auto-organisatrices dans un modèle Actor-Critic obtenant de meilleures performances que des modèles existants dans un labyrinthe en croix virtuel, et disposant de capacités de généralisation intéressantes pour la robotique autonome ; (2) le mPFC semble avoir un rôle important lorsque la performance de l'animal est basse et qu'il faut apprendre une nouvelle stratégie. D'autre part, l'activité de population dans le mPFC change rapidement, en correspondance avec les transitions de stratégies dans le comportement du rat, suggérant une contribution de cette partie du cerveau dans la sélection flexible des stratégies comportementales. Nous concluons ce manuscrit par une discussion de nos résultats dans le cadre de travaux précédents en comportement, électrophysiologie et modélisation. Nous proposons une nouvelle architecture du système préfronto-striatal chez le rat dans laquelle des sous-parties du striatum apprennent différentes stratégies de navigation, et où le cortex préfrontal médian décide à chaque instant quelle stratégie devra régir le comportement du rat.
- Published
- 2007
29. Rôles complémentaires du cortex préfrontal et du striatum dans l'apprentissage et le changement de stratégies de navigation basées sur la récompense chez le rat
- Author
-
Khamassi, Mehdi, Laboratoire de Physiologie de la Perception et de l'Action (LPPA), Collège de France (CdF (institution))-Centre National de la Recherche Scientifique (CNRS), Animatlab, Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Institut des Systèmes Intelligents et Robotique (ISIR), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Université Pierre et Marie Curie - Paris VI, Sidney Wiener (sidney.wiener@college-de-france.fr), and Agnès Guillot (agnes.guillot@upmc.fr)
- Subjects
alternance ,prefrontal cortex ,stratégies de navigation ,learning ,TDlearning ,Cortex préfrontal ,striatum ,[SDV.NEU.SC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Cognitive Sciences ,shifting ,TD-learning ,apprentissage ,récompense ,modèle Actor-Critic ,[INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG] ,navigation strategies ,Actor-Critic model ,modèle ActorCritic ,[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO] ,reward - Abstract
Many mammals can behave according to different navigation behaviors, defined as " strategies " which, although not systematically requiring conscious processes, depend on the specific task they are required to solve. In certain cases, if a visual cue marks the goal location, the agent can rely on a simple stimulus-response (S-R) strategy. In contrast, other tasks require the animal to be endowed with a representation of space that allows it to locate itself and to locate goals in the environment. In order to efficiently navigate, the animal not only should be able to learn and exhibit these types of strategies, but it should also be able to select which strategy is the most appropriate to a given task conditions in order to shift from one strategy to the other to optimize outcomes. The present work employs a multidisciplinary approach (e.g. behavior, neurophysiology, computational neuroscience and autonomous robotics) to study the roles of the rat prefrontal cortex and striatum in learning and shifting navigation strategies, and their possible application to robotics. It aims more particularly at investigating the respective roles of the medial prefrontal cortex (mPFC) and of different parts of the striatum (DLS :dorsolateral ; VS: ventral) in these processes, and the nature of their interactions. The experimental work presented here consisted in : (1) studying the role of the striatum in S-R learning by : (a) analyzing electrophysiological data recorded in the VS of rats performing a reward-seeking task in a plus-maze; (b) designing an Actor-Critic model of S-R learning where VS is the Critic which drives learning, whereas DLS is the Actor which memorizes S-R associations. This model is applied to robotics simulations, and compared with existing models in a virtual plus-maze; (2) studying the role of mPFC in strategy shifting by means of electrophysiological recordings in the mPFC of rat performing a task requiring such kind of shifts. The principal results of this work suggest that : (1) In the S-R framework: (a) as in primates, the rat VS shows a reward anticipation activity coherent with the Actor-Critic theory; (b) these reward anticipations can be combined with self-organizing maps in an Actor-Critic model that gives a better performance than previous models in a virtual plus-maze, and that shows generalization abilities potentially applicable for the field of autonomous robotics; (2) the rat mPFC seems to play a role when the animal's current strategy has poor reward yields, prompting learning of another strategy. Moreover, population activity in mPFC changes rapidly in correspondence with shifts in the animal's task-solving strategy, possibly underlying the contribution of this brain area to flexible selection of behavioral strategies. In conclusion the results are discussed in the framework of previous behavioral, physiological and modeling studies. We propose a new architecture of the rat prefronto-striatal system, where sub-territories of the striatum learn concurrent navigation strategies, and where the medial prefrontal cortex helps decide at any given moment which strategy dominates for behavior.; Les mammifères ont la capacité de suivre différents comportements de navigation, définis comme des " stratégies " ne faisant pas forcément appel à des processus conscients, suivant la tâche spécifique qu'ils ont à résoudre. Dans certains cas où un indice visuel indique le but, ils peuvent suivre une simple stratégie stimulus-réponse (S-R). À l'opposé, d'autres tâches nécessitent que l'animal mette en oeuvre une stratégie plus complexe basée sur l'élaboration d'une certaine représentation de l'espace lui permettant de se localiser et de localiser le but dans l'environnement. De manière à se comporter de façon efficace, les animaux doivent non seulement être capables d'apprendre chacune de ces stratégies, mais ils doivent aussi pouvoir passer d'une stratégie à l'autre lorsque les exigences de l'environnement changent. La thèse présentée ici adopte une approche pluridisciplinaire - comportement, neurophysiologie, neurosciences computationnelles et robotique autonome - de l'étude du rôle du striatum et du cortex préfrontal dans l'apprentissage et l'alternance de ces stratégies de navigation chez le rat, et leur application possible à la robotique. Elle vise notamment à préciser les rôles respectifs du cortex préfrontal médian (mPFC) et de différentes parties du striatum (DLS :dorsolateral ; VS : ventral) dans l'ensemble de ces processus, ainsi que la nature de leurs interactions. Le travail expérimental effectué a consisté à : (1) étudier le rôle du striatum dans l'apprentissage S-R en : (a) analysant des données électrophysiologiques enregistrées dans le VS chez le rat pendant une tâche de recherche de récompense dans un labyrinthe en croix ; (b) élaborant un modèle Actor-Critic de l'apprentissage S-R où le VS est le Critic qui guide l'apprentissage, tandis que le DLS est l'Actor qui mémorise les associations S-R. Ce modèle est étendu à la simulation robotique et ses performances sont comparées avec des modèles Actor-Critic existants dans un labyrinthe en croix virtuel ; (2) Dans un deuxième temps, le rôle du striatum dans l'apprentissage de stratégies de type localisation étant supposé connu, nous nous sommes focalisés sur l'étude du rôle du mPFC dans l'alternance entre stratégies de navigation, en effectuant des enregistrements électrophysiologiques dans le mPFC du rat lors d'une tâche requiérant ce type d'alternance. Les principaux résultats de ce travail suggèrent que : (1) dans le cadre S-R : (a) comme chez le singe, le VS du rat élabore des anticipations de récompense cohérentes avec la théorie Actor-Critic ; (b) ces anticipations de récompense peuvent être combinées avec des cartes auto-organisatrices dans un modèle Actor-Critic obtenant de meilleures performances que des modèles existants dans un labyrinthe en croix virtuel, et disposant de capacités de généralisation intéressantes pour la robotique autonome ; (2) le mPFC semble avoir un rôle important lorsque la performance de l'animal est basse et qu'il faut apprendre une nouvelle stratégie. D'autre part, l'activité de population dans le mPFC change rapidement, en correspondance avec les transitions de stratégies dans le comportement du rat, suggérant une contribution de cette partie du cerveau dans la sélection flexible des stratégies comportementales. Nous concluons ce manuscrit par une discussion de nos résultats dans le cadre de travaux précédents en comportement, électrophysiologie et modélisation. Nous proposons une nouvelle architecture du système préfronto-striatal chez le rat dans laquelle des sous-parties du striatum apprennent différentes stratégies de navigation, et où le cortex préfrontal médian décide à chaque instant quelle stratégie devra régir le comportement du rat.
- Published
- 2007
30. Réaliser une enquête par questionnaires : un outil didactique pour la statistique inférentielle à l'Université
- Author
-
Oriol, Jean-Claude, Oriol, Jean-Claude, and IUT Lumière CERRAL
- Subjects
alternance ,[SHS.EDU]Humanities and Social Sciences/Education ,[SHS.EDU] Humanities and Social Sciences/Education ,champs conceptuels ,statistique ,enquête par questionnaires ,didactique de la statistique - Abstract
International audience; L'IUT Lumière fonctionne en alternance avec un système permettant aux étudiants d'effectuer un stage de 7 semaines en première année puis une alternance effective en deuxième année dans les quatre départements STID, OGP, GLT et GEA ; dans ce dernier, l'enseignement de la statistique inférentielle se déroule au cours de la deuxième année entre les périodes passées en entreprise par les étudiants. Cette formation en alternance, riche en expériences pour les étudiants, oblige à un renouvellement des pratiques pédagogiques universitaires. Dans cette perspective, nous avons mis en œuvre une situation didactique placée en fin du cours de statistique inférentielle fondée sur la pratique réflexive d'enquêtes par questionnaires réalisées par les étudiants eux-mêmes selon des modalités précises. Nous nous proposons d'exposer cette expérience didactique en donnant les fondements épistémologiques, les contraintes didactiques, les stratégies pédagogiques intégrant l'auto-évaluation et l'autocorrection (Régnier, 1983, 2000a, 2000b), ainsi que la méthode pour construire nos données et les premiers résultats obtenus dans le cadre de cette ingénierie didactique.
- Published
- 2002
31. Zeytinde periyodisitenin şiddetini azaltmak amacıyla kullanılan bitki büyümesini düzenleyici maddeler
- Author
-
Uludağ Üniversitesi/Ziraat Fakültesi., Eriş, Atilla, and Barut, Erdoğan
- Subjects
Alternance ,Bitki büyümesini düzenleyiciler ,Zeytin ,Olive ,Plant growth regulator ,Periyodisite - Abstract
Endogenous factors (fruit load, nutrition, hormonal balance) and exogenoııs factors (ecology, cultııral techniques) affect the alternation which is an important physiological problem. Too many studies have been carried out in olive which has a tendency to alternation in order to regulate the bearing. In recent years intensive researches have been continued related to the use of growth regulating Chemical substances (NAA, NAD, GA3, CCC, SADH ete.) nearby other cultııral techniqııes in important olive producing countries. As a matter of fact, similar studies have been started in Turkey. In the development of our olive production, it will be really usefııl t o carry out these researches more, and to put their results into practice. Önemli bir fizyolojik sorun olan periyodisite üzerine içsel (meyve yükü, beslenme, hormonal denge) ve dışsal (ekoloji ve kültürel teknikler) faktörler etki yapmaktadır. Periyodisiteye karşı eğilimi oldukça fazla olan zeytinde de verimin düzenli hale getirilmesi amacıyla birçok çalışmalar yapılmaktadır. Son yıllarda önemli zeylin üreticisi ülkelerde, diğer kültürel tekniklerin yanısıra, büyümeyi düzenleyici kimyasal maddelerin (NAA, NAD, GA3, CCC, SADH vb.) kullanımı amacıyla araştırmalar yoğun bir şekilde devam etmektedir. Nitekim, Türkiye de de benzer çalışmalar başlatılmıştır. Bu çalışmaların yaygınlaştırılarak, uygulanmaya alınması zeytinciliğimizin gelişmesi açısından yararlı olacaktır.
- Published
- 1995
32. Conquistar seu tempo através da formação dos ritmos da própria vida
- Author
-
Hervé Breton and Gaston Pineau
- Subjects
Experiential learning ,Autoformação ,4. Education ,05 social sciences ,050301 education ,Theory and practice of education ,Temporalidades ,Temporalities ,Histoires de vie en formation ,Narrative ,Alternance ,Alternância ,Récit ,Histórias de vida em formação ,Life stories in training ,0501 psychology and cognitive sciences ,0503 education ,Autoformation ,Narrativa ,LB5-3640 ,050104 developmental & child psychology ,Temporalités - Abstract
RESUMO Se as pesquisas de Gaston Pineau sobre histórias de vida em formação são reconhecidas na Europa e amplamente divulgadas no Brasil, como em outros lugares do mundo, aquelas sobre a relação entre temporalidades e processos de formação são igualmente importantes. O objetivo desta entrevista é apresentar, utilizando uma abordagem genealógica, as etapas pelas quais este trabalho sobre o tempo foi sendo constituído ao longo da pesquisa de Gaston Pineau e, em seguida, examinar as dimensões contributivas destes trabalhos sobre os modos de formação das correntes de auto-formação, formação por alternância, formação experiencial e abordagens narrativas e antropoformativas. ABSTRACT While Gaston Pineau's research on the history of life in adult education is recognised in Europe and widely disseminated in Brazil, as elsewhere in the world, his research on the links between temporalities and training processes is equally crucial. The aim of this interview is to present, using a genealogical approach, the stages through which this research on While Gaston Pineau's research on the history of life in adult education is recognised in Europe and widely disseminated in Brazil, as elsewhere in the world, his research on the links between temporalities and training processes is equally crucial. The aim of this interview is to present, using a genealogical approach, the stages through which this research on temporalities has developed in the course of Gaston Pineau's research, and then to examine the contributory dimensions of this work on the construction of "self-training" paradigms, pedagogical device between professional practices in work situations and formal education courses, the experiential process of vocational education and narrative and anthropoformative approaches. RÉSUMÉ Si les recherches de Gaston Pineau sur les histoires de vie en formation sont reconnues en Europe et largement diffusées au Brésil, comme ailleurs dans le monde, ceux sur les relations entre les temporalités et les processus de formation sont tout aussi décisifs. L’enjeu de cet entretien est de présenter, en empruntant une démarche généalogique, les étapes par lesquelles ces travaux sur le temps se sont constitués au fil des recherches de Gaston Pineau, pour ensuite examiner les dimensions contributives de ces travaux sur modes de constitution des courants de l’autoformation, de la formation par alternance, de la formation expérientielle, et des approches narratives et anthropoformatives.
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.