Tesis sobre el tema "Approches symboliques"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "Approches symboliques".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Mercier, Chloé. "Modéliser les processus cognitifs dans une tâche de résolution créative de problème : des approches symboliques à neuro-symboliques en sciences computationnelles de l'éducation". Electronic Thesis or Diss., Bordeaux, 2024. http://www.theses.fr/2024BORD0065.
Texto completoIntegrating transversal skills such as creativity, problem solving and computational thinking, into the primary and secondary curricula is a key challenge in today’s educational field. We postulate that teaching and assessing transversal competencies could benefit from a better understanding of the learners’ behaviors in specific activities that require these competencies. To this end, computational learning science is an emerging field that requires the close collaboration of computational neuroscience and educational sciences to enable the assessment of learning processes. We focus on a creative problem-solving task in which the subject is engaged into building a “vehicle” by combining modular robotic cubes. As part of an exploratory research action, we propose several approaches based on symbolic to neuro-symbolic formalisms, in order to specify such a task and model the behavior and underlying cognitive processes of a subject engaged in this task. Despite being at a very preliminary stage, such a formalization seems promising to better understand complex mechanisms involved in creative problem solving at several levels: (i) the specification of the problem and the observables of interest to collect during the task; (ii) the cognitive representation of the problem space, depending on prior knowledge and affordance discovery, allowing to generate creative solution trajectories; (iii) an implementation of reasoning mechanisms within a neuronal substrate
Combettes, Sylvain. "Symbolic representations of time series". Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASM002.
Texto completoThe objectives of this thesis are to define novel symbolic representations and distance measures that are suited for time series that can be multivariate and non-stationary. In addition, they should preserve the time information, be interpretable, and fast to compute. We review symbolic representations of time series (that transform a real-valued series into a shorter discrete-valued series), as well as distance measures on time series, strings, and symbolic sequences (that result from a symbolization process).We propose two contributions: ASTRIDE for a data set of univariate time series, and d_{symb} for a data set of multivariate time series. We also developed the d_{symb} playground, an online interactive tool that allows users to apply d_{symb} to their uploaded data. ASTRIDE and d_{symb} are data-driven as they use change-point detection for the segmentation step, then either quantiles or a K-means clustering algorithm for the quantization step. Finally, they apply the general edit distance with custom costs between the resulting symbolic sequences.We show the performance of ASTRIDE compared to 4 other symbolic representations on reconstruction and, when applicable, on classification tasks. For d_{symb}, experiments show how interpretable the symbolization is. Moreover, compared to 9 elastic distances on a clustering task, d_{symb} achieves a competitive performance while being several orders of magnitude faster
Moulinier, Isabelle. "Une approche de la categorisation de textes par l'apprentissage symbolique". Paris 6, 1996. http://www.theses.fr/1996PA066638.
Texto completoNotué, Jean-Paul. "La Symbolique des arts Bamileke (Ouest Cameroun) : approche historique et anthropologique". Paris 1, 1988. http://www.theses.fr/1988PA010669.
Texto completoSayed, Mazen El. "Une approche logico-symbolique des connaissances nuancées via des modificateurs linguistiques". Angers, 2001. http://www.theses.fr/2001ANGE0021.
Texto completoTROMA, LAURENT. "Surveillance et diagnostic de systemes industriels complexes : une approche hybride numerique/symbolique". Rennes 1, 2000. http://www.theses.fr/2000REN10009.
Texto completoCarron, Thierry. "Segmentations d'images couleur dans la base teinte-luminance-saturation : approche numérique et symbolique". Chambéry, 1995. http://www.theses.fr/1995CHAMS026.
Texto completoCharrier, Tristan. "Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique". Thesis, Rennes 1, 2018. https://ged.univ-rennes1.fr/nuxeo/site/esupversions/2a4b2a55-42ff-4768-9b9e-677421fef507.
Texto completoWe study the theoretical complexity of reasoning tasks involving knowledge in multi-agent systems. We consider dynamic epistemic logic (DEL) as a natural way of expressing knowledge, which allows to express nested knowledge of agents and partially observed dynamic actions. We show complexity results for model checking and satisfiability of DEL formulas, and define a symbolic approach for these problems. We also study DEL-based planning and quantification over specific actions: public announcements
Léonard, Jean-Raymond. "La voie du aïkido : approche anthropologique des pratiques au Japon et en France". Nice, 1992. http://www.theses.fr/1992NICE2008.
Texto completoGouabault, Emmanuel. "La résurgence contemporaine du symbole du dauphin : approche socio-anthropologique". Montpellier 3, 2006. http://www.theses.fr/2006MON30022.
Texto completoSince the 1950’s, the western societies have been observed to develop an ongoing and growing interest for the dolphin. The image of this cetacean is indeed so widely spread, notably in France, that it warrants an analysis in terms of it being a phenomenon of the society. However, in the context of the first part of our research structured around the socio-anthropology of this animal, the man-dolphin relationship would have to be envisaged by means of its different manifestations, both historical and cultural. Thus a zoohistorical study of our representations of this marine mammal reveals their primary connection to the Minoan, Hellenistic and later Roman cultures. At a later stage, after having represented Christ among the early Christians, the dolphin ceases to appear as anything more than simply a distant and random association through the pages of History. On the other hand the application of anthropological comparatism renders evident the specificity of different socio-cultural imaginaries. A homological analysis has unveiled the permanence of structures and grand images which establish in their entirety a system of symbols based on the dolphin. The second part of this thesis, enforced by precedent results, refocuses on the postmodern societies and France in particular. After having identified the contemporary stages of the dolphin phenomenon, we have described, employing a mythanalytical approach, the imaginary and archaisms that have facilitated its emergence. This phenomenon acts as the promoter of certain values. The structural opposition dolphin-shark, the evolutionary imaginary, the existence of dolphinaria and the wide practice of dolphin-therapy, constitute the principal axes of a dolphinian mythology in practice. This analysis enables us to attain certain conclusions notably on the function of a socio-anthropological revealer, the bearer of which is this animal of choice, the dolphin
Khoukhi, Faddoul. "Approche logico-symbolique dans le traitement des connaissances incertaines et imprecises dans les sbc". Reims, 1996. http://www.theses.fr/1996REIMS014.
Texto completoTruck, Isis. "Approches symbolique et floue des modificateurs linguistiques et leur lien avec l'agrégation : Application : le logiciel flous". Reims, 2002. http://www.theses.fr/2002REIMS022.
Texto completoGivre, Philippe. "Approche sémiotique de la couleur en psychanalyse : colorations de la pulsion". Paris 7, 1994. http://www.theses.fr/1994PA070152.
Texto completoThis work essentially aims at restoring the role of sensitiveness and especially of colour in a psychonalytical approach. The first part is mainly devoted to describing the benefits of pheneomenology in those fields that remained not investigated by freudian psychoanalysis. Then, it's a matter of borrowing the phenomenological theses by confronting them with the meta-psychological presuppositions, whether they are freudian, lacanian or winnicottian. The second part deals with the exchanges of chromatic regarding the clinical phenomena such as sensorial hyperaesthesia, "hypnagogical" states, states of dreamlike hallucinosis, epileptic aura, pseudo-ecstasy of drug addicts or even the buildings of duplicate, prior to apprehending the outcomes of colour in the making of dream
Catellin, Sylvie. "L' enquête et le labyrinthe dans la littérature et la fiction multimédia : une approche socio-cognitive et communicationnelle des dispositifs interactifs". Paris 10, 2000. http://www.theses.fr/2000PA100013.
Texto completo[Résumé en anglais] Multimedia fiction games inherit the structure of two important cognitive and cultural models : inquiries and labyrinths. Inquiry narrative combines the search for information and the interpretation of clues. Its narrative structure is characterized by a story whose progression is assured by the reconstitution of past events. Labyrinths have had a particular importance in literature and in games. They have become a writing experiment and a narrative technique associated with inquiries. The history of inquiry-labyrinth allows us to understand what multimedia fiction owes to the progressive shift of narrative in novels towards new forms and practices linked to greater reader participation in fiction and to interactive media. Inquiries stimulate the reader-player's cognitive activity and favour abductive inference. The labyrinth narrativises space, it is a vecor for perceptual immersion in fiction. Textual and multimedia devices are specific information systems but in both cases the solution is hidden and the objective is to prevent the reader-player's access to the relevant information whilst ensuring this information is clearly visible. The former use narrative devices. The latter, based upon the manipulation of objects, determine the reader's path , rarely using textual material and interpretative cooperation. Interpretation can be conceived as intersubjective space, generating meaning and social interactions. A balzacian literary game, morphologically close to multimedia games, was elaborated for this study and tested. It disrupts man/computer dual logic and introduces multiple actors. This experimentation allowed us to show up interpretatives procedures, the co-construction of hypotheses through dialogue and socio-cognitive interaction. Its results have also confirmed the hypothesis of the adaptability of litterature to multimedia
Cuillerai, Marie. "Communauté monétaire : convergence d'intérêts ou cohésion sociale : Pour une approche communicationnelle de la symbolique monétaire". Paris 8, 1999. http://octaviana.fr/document/17446553X#?c=0&m=0&s=0&cv=0.
Texto completoSmadhi, Saliha. "Contribution à la découverte de connaissances dans les bases de données : une approche par les objets symboliques". Aix-Marseille 3, 1997. http://www.theses.fr/1997AIX30011.
Texto completoKim, Do Hoon. "Lieux symboliques et modernisation de la nature en Corée : une approche mésologique en aménagement et en urbanisme". Paris, EHESS, 2011. http://www.theses.fr/2011EHES0144.
Texto completoThis research emphasizes the rhythm of the mesological way taking place in the proper milieu of a society that is to say that of the trajectivitie. It’s along the mesological way or in the trajectivitie that the ecological value and the symbolic value unite, and yet the physical order and the phenomenal order intersect. The concept of mesological way leads us to reflect on the environmental determinism and the mechanistic modem, where the extend land is not considered as a living and concrete place, but as an inert and abstract space. Therefore, this research is to consider the establishment of a human dwelling place, where we recall that we should take into account the mesological view of all residential environment. Especially since it is based the special meaning that people ascribe to nature and space. This meaning contributes to their well being vital. It has become the main motive of an urban transformation. This meaning is changing gradually with the "mesological taken" of a milieu in human society. It is no different from the indefinite extension of an imaginary relationship with nature and space. That is to say that it is following of a process trajection
Ngo, Quoc Dung. "Diagnostic de systèmes hybrides incertains par génération automatique de relations de redondance analytique symboliques évaluées par approche ensembliste". Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00830791.
Texto completoRaufaste, Éric. "La théorie du support consonant : une approche connexionniste symbolique de l'expertise dans le diagnostic radiologique". Toulouse 2, 2000. http://www.theses.fr/1999TOU20116.
Texto completoSebag, Martine. "Une approche symbolique-numérique pour la discrimination à partir d'exemples et de règles : l'apprentissage multicouches". Paris 9, 1990. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1990PA090002.
Texto completoSaulieu, Geoffroy de. "Les Gravures rupestres protohistoriques de la région du mont Bego dans leur contexte symbolique : Approche comparative". Paris, Muséum national d'histoire naturelle, 2001. http://www.theses.fr/2001MNHN0043.
Texto completoNeyrat, Yvonne. "Le miroir dans la peinture occidentale : une approche diagonale du social". Besançon, 1997. http://www.theses.fr/1997BESA1014.
Texto completoA diagonal approach to the social sphere. This research is situated at the heart of cultural and artistic creations of value. To do this we have traced the history of the image in the western world and have seen how the theology of the incarnation of christ was spread visually. Thus was determined western epistemology and culture. Our hypothesis proposes that the image in a modem context is not independent from this conception of the image. Contemporary art re-examines the problems of visual representation and through this metaphor we can find a symbolic value for images; a value which today's technical or idol-images no longer have. Throughout our work we take into account the mirror in painting and face the essential anthropological questions of the self, the selfs other, and the self in relation to the outside world, the visual world and the object. This is a sociological undertaking hence it draws from the social sciences; psychoanalysis, epistemology, and history have allowed us to build models which advance our understanding of the social sphere and of cultures
Raufast, André. "Apprentissage moteur et psychopathologie infantile : intérêt d'une approche etho-clanique du judo avec des groupes d'enfants pertubés. Aspects symboliques". Aix-Marseille 2, 1997. http://www.theses.fr/1997AIX22010.
Texto completoMraghni, Mohamed-Chadi. "Détection de chaînes de contours dans une image numérique par approche symbolique et par grammaire de formes". Tours, 1997. http://www.theses.fr/1997TOUR4010.
Texto completoSalas, Pereira Ligia Maria. "La représentation symbolique, la formation ou la construction d'un concept : une approche culturelle pour l'enseignement et l'apprentissage d'une langue étrangère". Grenoble 3, 2004. http://www.theses.fr/2004GRE39003.
Texto completoTeichteil, Florent. "Approche symbolique et heuristique de la planification en environnement incertain : optimisation d'une stratégie de déplacement et de prise d'information". Toulouse, ENSAE, 2005. http://www.theses.fr/2005ESAE0028.
Texto completoGoudey, Alain. "Une approche non verbale de l’identité musicale de la marque : influence du « timbre » et du « tempo » sur l’image de marque évoquée". Paris 9, 2007. https://bu.dauphine.psl.eu/fileviewer/index.php?doc=2007PA090058.
Texto completoThe literature on how consumer reacts to music exposure at the point of sales, in adverts, over the phone and on the Internet is rich. However there is a little convergence in the results. We propose a new conceptual framework based on the concept of synesthesia and specifically study the influence of timbre and tempo. We also examine the mediating impact of pleasantness of music and the moderating influence of sex, personality traits and musical expertise. Using nonverbal projective methods and a new protocol, we collected 1,100 drawings from 220 individuals. Our results confirm the existence of semantic-coding of weak synesthesiae. Timbre and tempo are strongly contributing to the evocation of brand image associated values. However, a timbre too crystalline or a tempo too fast call for the heavy use of cognitive resources that can disturb the overall comprehension of the brand message. The major management application of our doctoral work is that a brand manager should take into account all these multi-factor aspects to guarantee an efficient brand musical identity
Ben, Salem Ala Eddine. "Improving the model checking of stutter-invariant LTL properties". Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066186/document.
Texto completoSoftware systems have become ubiquitous in our everyday life. They replace humans for critical tasks that involve high costs and even human lives. The serious consequences caused by the failure of such systems make crucial the use of rigorous methods for system validation. One of the widely-used formal verification methods is the automata-theoretic approach to model checking. It takes as input a model of the system and a property, and answers if the model satisfies or not the property. To achieve this goal, it translates the negation of the property in an automaton and checks whether the product of the model and this automaton is empty. Although it is automatic, this approach suffers from the combinatorial explosion of the resulting product. To tackle this problem, especially when checking stutter-invariant LTL properties, we firstly improve the two-pass verification algorithm of Testing automata (TA), then we propose a transformation of TA into a normal form (STA) that only requires a single-pass verification algorithm. We also propose a new type of automata: the TGTA. These automata also enable a check in a single-pass and without adding artificial states : it combines the benefits of TA and generalized Büchi automata (TGBA). TGTA improve the explicit and symbolic model checking approaches. In particular, by combining TGTA with the saturation technique, the performances of the symbolic approach has been improved by an order of magnitude compared to TGBA. Used in hybrid approaches TGTA prove complementary to TGBA. All the contributions of this work have been implemented in SPOT and LTS-ITS, respectively, an explicit and a symbolic open source model-checking libraries
Ajami, Khalil. "La Vérification des Systèmes Concurrents : une Approche Fondée sur l'Exploitation des Symétries". Paris 6, 2000. http://www.theses.fr/2000PA066488.
Texto completoIoannou, Irina. "Mise en oeuvre d'une approche symbolique floue pour la maîtrise de la qualité des produits alimentaires par contrôle du procédé". Clermont-Ferrand 2, 2003. http://www.theses.fr/2003CLF21471.
Texto completoSensory properties influence consumer choice and preference. Their measurement and their control are realized by human operators in order to compensate for an instrumental lack in carrying out these tasks. Thus, a challenge for the control of food quality is the capacity to propose decision support systems to the operator for the process control, which take their assessements into account and which help the operator on the manufacturing line. On 3 industrial cases, we developed a decision support system to the operator by the application of the fuzzy symbolic approach. Then we generalized a method of application of this fuzzy approach on the food processes. The use of human knowledge leads to the use of imperfect data, therefore we are interested in studying the "impact" of the input measurement imperfections on the output of the developed models
Font, Stéphane. "Methodologie pour prendre en compte la robustesse des systemes asservis : optimisation h-infini et approche symbolique de la forme standard". Paris 11, 1995. http://www.theses.fr/1995PA112130.
Texto completoQuesada, Cécile. "Vivre dans une île-volcan : approche anthropologique des relations entre hommes et volcan à Niuafo'ou (Tonga, Polynésie Occidentale)". Paris, EHESS, 2006. http://www.theses.fr/2006EHES0237.
Texto completoThis anthropological study proposes to explore the set of relations uniting the people of Niuafo'ou (Tonga, Western Polynesia) and their island-volcano. The theoretical approach adopted consists in not presupposing that men ontologically distinguish themselves from other components of the environment. On a daily basis, the volcano represents an ancestral and providing land invested with social meaning. The memory and experience of its eruptions have led to the creation of a system of indigenous knowledge and representations that serve as the basis for the invention of symbolical and practical means of coping with eruptive risk. These conceptions and knowledge are also called on by Niuans within the framework of prevention workshops organised by the State. By defending their cultural inheritance, they assert the specificity of the relations, intrinsically interwoven with their Niuan identity, that they have built with the volcano, wich they have made into an agent of their social life
Mauclair, Cédric. "Une approche statistique des réseaux temps réel embarqués". Thesis, Toulouse, ISAE, 2013. http://www.theses.fr/2013ESAE0016/document.
Texto completoSince a few years, communication networks deployed in aircrafts are ever larger and ever more complex. These digital buses multiplex different data streams in order to save cabling, but this causes delays on transmissions.The work presented here is based on a statistical evaluation of the worst case transit time of an embedded network of the AFDX type. It consists in associating a worst case computation with a complete distribution of the transit times in order, among other things, to appreciatethe pessimism of worst case approaches. The methods are also applicable to a set of realtime tasks. This work contributes three major results. First, an original method to evaluate the distribution of the transit time through an AFDX switch, based on the symbolic enumeration of the scheduling scenarios in the waiting queues of the switch. Second, an effective algorithm to compute the delays encountered by periodic messages/ tasks when initial offsets are known. Delays thus computed are exact and so is the delays distribution. Third, the computation of the delays distribution encountered by messages/tasks in a general case using a Monte Carlo based statistical method. Initial offsets are randomised and feed the preceding algorithm
Dubois, Arnaud. "La vie chromatique des objets : Approche anthropologique des couleurs de l'art contemporain". Paris, EHESS, 2014. http://www.theses.fr/2014EHES0626.
Texto completoThis thesis concerns the material practices of colour in the domain of contemporary art. I analyse such practices following the "chaîne opératoire des agglutinations chromatiques" which I have studied during the period of my fieldwork at the Centre Pompidou Mobile and Monumenta 2012. Starting from a microanalysis of the chromatic qualities of the objects (including an art installation, a piece of architecture, a graphic design project and an agglomerate of 14 work of art of the collection of the Musee National d'art Moderne), this study seeks to understand the relationship between the materiality of making colours and the agents involved in such practice. This method allows us to observe and describe the multiple relations that exist between human beings and colours. It therefore pushes us to reflect on the socialisation of colours. In order to carry out this research, I have made use of a combination of methodological and theoretical approaches borrowing from what andré Leroi-Gourhan develops in his L'Homme et la Matière (1943) that builds on the general idea of Marcel Mauss concerning objects and techniques. For Leroi-Gourhan, colour is a fabricated material and is part of different 'techniques of fabrication' and 'actions on matter' that contribute to the way in which societies give colours to things. My ethnography of "parctices of colorization" in contemporary art describes the material culture of colour and oscillates between the anthropology of colour to cognitive anthropology (colour as perception) towards a sort of anthropology of techniques (colour as production). This oscillation creates an epistemological bifurcation, which I believe it is effective for proposing an anthropology of colour that is interested in both colour and the social practices around colour. In other words, in this work, I consider colour as an act - that is, I believe that colour is made/constructed and that a researcher must observe and analyse the actions and the actors engaged in the fabrication of an object of colour and must pay attention to the situations of work within which the 'act of colours' take place
Minot, Françoise. "Etude semio-psychanalytique de quelques films publicitaires à propos de cinq spots présentés aux téléspectateurs enfantins : approche narrative, énonciative et "symbolique /". Lille 3 : ANRT, 1989. http://catalogue.bnf.fr/ark:/12148/cb37616542b.
Texto completoMinot, Françoise. "Etude sémio-psychanalytique de quelques films publicitaires : à propos de cinq spots présentés aux téléspectateurs enfantins : approche narrative, énonciative et symbolique". Paris 13, 1988. http://www.theses.fr/1988PA131013.
Texto completoThe research is based on in the in-depth study of five tv commercials broadcast in succession for a children's audience. The threefold approach is focussed on the enunciative, narrative and "symbolic" (in the freudian sense) organization. The first part presents the basic guidelines, explains their relevance and the author's approach as well as the basic assumptions which underlie the actual investigations. The second part contains an analysis of the succession of five commercials selected. In the third part, the observations are gathered and cross-examined and the author feels authorized to formulate a number of conclusions. Some of those conclusions have a retroactive impact on the instruments used in the research. The stress is laid on a striking, constant, contrary interplay which is evidence at various levels in the five films. The commercials constitue paradoxical messages which should be considered in a dialectical perspective and studied alongside some of the findings of the palo alto school. They represent hope for the hopeless and can be considered in a number of reception and communication situations, as gates which would be both open and closed, open and closed to "death" but also to all those things which are likely to baffle death itself
Abdelmoula, Mariem. "Génération automatique de jeux de tests avec analyse symbolique des données pour les systèmes embarqués". Thesis, Nice, 2014. http://www.theses.fr/2014NICE4149/document.
Texto completoOne of the biggest challenges in hardware and software design is to ensure that a system is error-free. Small errors in reactive embedded systems can have disastrous and costly consequences for a project. Preventing such errors by identifying the most probable cases of erratic system behavior is quite challenging. Indeed, tests in industry are overall non-exhaustive, while formal verification in scientific research often suffers from combinatorial explosion problem. We present in this context a new approach for generating exhaustive test sets that combines the underlying principles of the industrial test technique and the academic-based formal verification approach. Our approach builds a generic model of the system under test according to the synchronous approach. The goal is to identify the optimal preconditions for restricting the state space of the model such that test generation can take place on significant subspaces only. So, all the possible test sets are generated from the extracted subspace preconditions. Our approach exhibits a simpler and efficient quasi-flattening algorithm compared with existing techniques and a useful compiled internal description to check security properties and reduce the state space combinatorial explosion problem. It also provides a symbolic processing technique of numeric data that provides a more expressive and concrete test of the system. We have implemented our approach on a tool called GAJE. To illustrate our work, this tool was applied to verify an industrial project on contactless smart cards security
Ben, Salem Ala Eddine. "Improving the model checking of stutter-invariant LTL properties". Electronic Thesis or Diss., Paris 6, 2014. http://www.theses.fr/2014PA066186.
Texto completoSoftware systems have become ubiquitous in our everyday life. They replace humans for critical tasks that involve high costs and even human lives. The serious consequences caused by the failure of such systems make crucial the use of rigorous methods for system validation. One of the widely-used formal verification methods is the automata-theoretic approach to model checking. It takes as input a model of the system and a property, and answers if the model satisfies or not the property. To achieve this goal, it translates the negation of the property in an automaton and checks whether the product of the model and this automaton is empty. Although it is automatic, this approach suffers from the combinatorial explosion of the resulting product. To tackle this problem, especially when checking stutter-invariant LTL properties, we firstly improve the two-pass verification algorithm of Testing automata (TA), then we propose a transformation of TA into a normal form (STA) that only requires a single-pass verification algorithm. We also propose a new type of automata: the TGTA. These automata also enable a check in a single-pass and without adding artificial states : it combines the benefits of TA and generalized Büchi automata (TGBA). TGTA improve the explicit and symbolic model checking approaches. In particular, by combining TGTA with the saturation technique, the performances of the symbolic approach has been improved by an order of magnitude compared to TGBA. Used in hybrid approaches TGTA prove complementary to TGBA. All the contributions of this work have been implemented in SPOT and LTS-ITS, respectively, an explicit and a symbolic open source model-checking libraries
Girard, Antoine. "Approches Computationnelles pour l'Analyse et le Contrôle des Systèmes Hybrides". Habilitation à diriger des recherches, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00908913.
Texto completoSaboia, Camila. "Du jeu du bébé au jeu de l'enfant : une approche à la compréhension de la construction de la relation d'objet chez l'enfant autiste : recherche d'indicateurs de risque d'autisme". Paris 7, 2011. http://www.theses.fr/2011PA070019.
Texto completoCan a baby's play reveal traces of an autistic organization "in progress"? To what extent can the quality of babies' interaction with environment objects be associated with the quality of babies' first experiences with the maternal object? These questions are central to this work, in such a way that our main proposal is to explore the building of object relation in the autistic child, based on a notion of the play as a revealing element of the child's object organization. We have conducted an analysis of the transition process from the baby's interactive play to the child's intra-subjective play within a group of babies showing West syndrome - a type of early epilepsy that can develop towards autism. By comparing West babies with risk of autism to West babies with deficiencies and non-West babies, we observe that, starting from 6 months of age, there is a significant difference of quality in the interaction and exploration of their mother (object-presenting). From the additional qualitative analysis of the same children's play between 15 and 36 months of age, we conclude that the above significant difference seems to develop into an impairment of children's engagement into symbolic play and the usage of the environment object in a rich and creative way. These results allow us to formulate that one of the causes of early autism would be associated to a failure in the process of the child's object construction, namely, a failure in the transition from object relation to the use of the object, following Winnicott's concepts
Métreau, Laetitia. "La " faïence " dans les pavements médiévaux en France (XIIIe-XIVe s.) : approche technique, stylistique et symbolique du cas de Suscinio (c. 1330-1350)". Thesis, Bordeaux 3, 2012. http://www.theses.fr/2012BOR30036.
Texto completoTin-glazed earthenware manufacturing and use changed from its beginnings in the refined courts of the Islamic Far East up to its manufacturing in the West. In France, the technique was introduced during the Gothic period. It appears simultaneously, in specific geographical areas, at times used in the composition of luxurious floor-tiles where it often coexists with indigenous transparent high-lead glazed tiles. Such floor-tiles bear witness to the meeting between two technical and cultural traditions. That is the reason why they are particularly appropriate when studying together issues relating to the geographical origin, production and consumption of tin-glazed earthenware technique at its beginnings in France. The ways followed by this exogenous technique and the reasons for its use were clarified through the overall approach of the exemplary case of Suscinio. Technical, iconographical and analytical data collected by using a multidisciplinary methodology have provided some answers. Imported products and local experimentation can be excluded in favor of imported skills or transfer of knowledge. The Gothic tradition of the iconography and the style showed that the technique was adapted to a new socio-cultural context. Its use in particular and particularly important places was not only reserved to a manifestation of power but also worked as spatial, hierarchical and social markers
Bekkada, Zaza. "Pour une approche communicationnelle de la valeur de l'eau : de la valeur marchande de l'eau (prix de l'eau) vers la valeur symbolique de l'eau : un regard anthropologique dans le contexte démocratique d'Europe occidentale, le cas de la France". Paris 10, 2002. http://www.theses.fr/2002PA100105.
Texto completoThe problematics-the circuitous metaporphosis of the symbolic value of water into market value-attempts to uncover, in the context of democratic western Europe, the vanished or hidden links between the market value of water (water bill) and its symbolic value. The research perspective consisted of finding a method best suited to encompass anthropology, economics and law, as well as information and communication sciences. A multi-disciplary approach was found to be most appropriate to our theoretical frame and reference. The principal scope of our theoretical readings, built on the work of Abeles, Augier, Radkowski and Douglas, is predominantly anthropological and leads us to a multidisciplinary approach and a attempt to deepen the concept of defilement (purity1 danger) through a lexicographical study. .
Maumus, Sandy. "Approche de la complexité du syndrome métabolique et de ses indicateurs de risuqe par la mise en œuvre de méthodes numériques et symboliques de fouille de données". Nancy 1, 2005. http://www.theses.fr/2005NAN12506.
Texto completoMaumus, Sandy. "Approche de la complexité du syndrome métabolique et de ses indicateurs de risuqe par la mise en œuvre de méthodes numériques et symboliques de fouille de données". Nancy 1, 2005. http://www.theses.fr/2005NAN10209.
Texto completoPicard, David. "Les nouveaux jardins sacrés : insularité tropicale et intégration globale : une approche anthropologique du tourisme international à la Réunion". La Réunion, 2001. http://elgebar.univ-reunion.fr/login?url=http://thesesenligne.univ.run/01_26_picard.pdf.
Texto completoIn the current context of globalisation, tropical insularity is redefined by new economic, political, geographical, social and symbolic relations. For the tourist travellers, it seems the renovated shape of "sacred garden" inside a total global spatiality. For the local populations, it is negotiated like a paramount value, a "sacred garden" also, which locks up, symbolically, a raison d'être and a mode of participation in the contemporary world. This study approaches the symbolic system of insular space in la Reunion, Indian ocean, operated by different institutions and actors related to international tourism (tourists, tour operators, press, tourist industry, local agents). The island thus seems an image of the world defined according to a dialectical of openness and closeness. In its interior is celebrated the idea of paramount age where Man opposes a wild nature while outside, on the littoral, Man looks in infinite (still) unexplored space. The study shows then that the "landscapes" which constitute this particular symbolico-space configuration become a new economic and social value for local communities. As "cultural and natural heritages", these landscapes constitute a new sacred value. Enchanted as natural and historic worlds, they establish, through their narrative figures and heroes (slaves in escape, personified coral, natural wolrd,. . . ) a properly cultural framework of values and standards prescribing local and global relations to space, time and the other
Fuentes, Rodriguez Oscar Gonzalo. "La forme humaine dans l'art magdalénien et ses enjeux : approche des structures élémentaires de notre image et son incidence dans l'univers symbolique et social des groupes paléolithiques". Paris 1, 2013. https://halshs.archives-ouvertes.fr/tel-01337663.
Texto completoOrsini, Celia. "Héritage monumental, paysage funéraire et identités : approches archéologiques de la région Tyne-Forth (Vè-VIIIè siècle)". Thesis, Paris 1, 2017. http://www.theses.fr/2017PA01H033/document.
Texto completoThe present thesis focuses on the use of the landscape in early medieval North East England and South East Scotland in the 5th to the 8th centuries -a region recognised as an emerging component of the Northumbrian Kingdom. By the 7th century, Northumbria had become a major political and ecclesiastical power. The chronological frame of this research allows for consideration of the deep political and religious changes that began in the 4th/5th centuries with the departure of the Roman army. The emergence of large kingdoms followed along with the conversion to Christianity and the acceptance and unification of the Christian Faith in the 8th century AD. We here explore the experience of the people who dwelled within this region in the early medieval period from the 5th-8th centuries. li does so by focussing on their funerary rites and practices and how they used their surroundings within funerary ritual to emphasise and signal their collection to place and their identities. Early medieval communities had at their disposal a complex landscape within which they constructed and signalled affiliations by means of interaction with natural and human altered features. Such processes have been argued by many researchers as evidence of the use of the natural landscape and world in the processes of identity creation, with funerary ritual signalling the social and political transformations underway in the organisation of early medieval societies
Skandrani, Salma. "L'aura entre absence/présence dans le cinéma Tunisien à travers les approches esthétiques des cinéastes Tletli Moufida et Khmir Naceur". Thesis, Paris 1, 2018. http://www.theses.fr/2018PA01H308.
Texto completoBased on Benjamin Walter‘s approach and the question of aura in cinematographic works, this thesis aims at analyzing two Tunisian films “the Silences of the Palace” directed by M. Tletli and “Baba Aziz” by N. Khmir. The selection of the two films stems from an aura of expectations within the two filmmakers’ apprehension and more specifically their aesthetic approaches which explore in a sensitive manner all the formal systems, and where the visual and acoustics reign in perfect harmony. Taking into account the formal aspects of these two films, a thorough analysis of different sequences where the question of aura is identified and the issue of presence and absence is brought into play. This new reading is hopefully to be original for further considerations. Indeed the aim of this work is to see how far the question of aura within the two filmmakers predetermines direction in spite of the technical and artistic requirements dictated by filmmaking. It is also of paramount importance to show the different aura codes and the decoding strategy in the analytical approach of cinematographic sequences
Picquet, Audrey. "L'exil et le féminin dans leur rapport à l'étranger : approche psychanalytique et anthropo-philosophique". Thesis, Aix-Marseille, 2017. http://www.theses.fr/2017AIXM0239/document.
Texto completoExile, a very topical question, makes the substratum of this thought. A growing number of works deal with this question, that we have developed here, according to the reading of exiled women books, under a stalling angle of femineity for women. Directed by the psycho-analysis in its questioning the link between psychism and culture, we have been led to take a by-way with the theory in order to understand the enigmatical part of femineity, before having a hint about the way this question is treated by Culture with the help of Anthropology, and feel the consequences of geographic exile on exile and femineity .As a matter of fact, if exile (psychical one) sends someone to one’s unknown part, femineity appears for women as a redoubling of enigmas, as they are dealing with exile and femineity in their intercourse with the extraneous. Besides, the following question comes into view from the different witnesses: “what about femineity for hers, in geographic exile context? “The instability of cultural systems of symbols, upholding those individuals with regard to an “identity feeling “and their bond to the “Other”, makes their landmarks precarious, altering what unites them in their representation of “being a woman “, especially during teenage, experiencing time with femineity .An option then starts for these exiled women, who undergo damaged cultural metaphorical processes: creativity or “ravage”.When the unknown is not considered as a danger but as an opening, it is a place for contriving.On the opposite, if it is considered as a threat coming from outside, they run the risk of a subjective desertion where their desire is cankered in a bond of contagiousness
Collin, Lam Marise. "L'extension syntaxique chez l'enfant ayant un trouble primaire du langage : déploiement d'une approche développementale à partir de la littérature d'enfance". Master's thesis, Université Laval, 2020. http://hdl.handle.net/20.500.11794/67083.
Texto completoBy trying to understand the world around them, children develop their thinking and build their knowledge based on the development of their language; which will one day serve their reading and writing acquisition. However, a child with a primary language disorder, who does not have a sufficiently complex syntax, will very often experience difficulties in reading and writing comprehension, two predictors of academic success. In addition to the development of the representation of the alphabetical system and the structuring of the narrative, the production of a complex syntax is essential for school learning, the following question should be highlighted: what are the learning contexts promoting syntactic extension of children with a primary language disorder? At school, children undergo several different learning everyday contexts where oral expression is used. In this study, interventions with complex discussions were realized in a developmental approach promoting children’s literature with a preschooler who has a primary language disorder. Four contexts were carried out on a daily basis over 12 weeks: interactive reading, gameboard, symbolic play and invented storytelling dictated to an adult. Among a total of 160 videos taken from these interventions, a video of each of these contexts was selected. After the integral transcription of these videos, a selection of 841 spontaneous and natural phrases uttered by the child was taken from the verbatims. The goal was to identify the educational contexts promoting syntactic complexity in children with a primary language disorder. It is through the analysis of the oral syntactic complexity of a child with a primary language disorder across different educational contexts that a comparison of syntactic productions according to the various educational contexts was drawn. The results show that it is during interactive reading that the child has complexified the most of his syntactic structures, which demonstrates that decontextualized narration is one of the best contexts to allow syntactic extension and complexity in children with a primary language disorder. The results of the present study also confirm that the child demonstrates a large zone of proximal development with regard to his syntactic capacities. Teachers are thus invited to offer complex and adapted interventions that will support the child in his language structure. Finally, this research has corroborated a developmental evolution in the complexity of complex sentence structures.