Academic literature on the topic 'Approches symboliques'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Approches symboliques.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Approches symboliques"

1

Claval, Paul. "LES INTERPRETATIONS FONCTIONNALISTES ET LES INTERPRETATIONS SYMBOLIQUES DE LA VILLE." Revista Cidades 1, no. 1 (2004): 31–63. http://dx.doi.org/10.36661/2448-1092.2004v1n1.12529.

Full text
Abstract:
La théorie des villes a d'abord été fonctionnaliste : elle insistait sur leur rôle de place centrale; elle montra ensuite qu'elles étaient des commutateurs sur les réseaux de communication, ce qui ouvrit la voie aux approches culturelles. Celles-ci soulignent la dimension symbolique de la ville, qui soude ceux qui l'habitent; elles montrent que les formes de communication qui s'y développent sont génératrices d'urbanité; elles mettent l'accent sur la créativité qu'elles permettent. Les villes ont toujours été multiculturelles, mais la globalisation accentue ce caractère. Dans un monde où la co
APA, Harvard, Vancouver, ISO, and other styles
2

Claeys, Damien, and Louis Roobaert. "Cybernétique, interactivité et conversation : retour sur les effets des expériences de Gordon S. Pask en architecture." SHS Web of Conferences 147 (2022): 06002. http://dx.doi.org/10.1051/shsconf/202214706002.

Full text
Abstract:
Les effets sur l’architecture des recherches de Gordon S. Pask peuvent être appréhendés à partir des thèmes de la cybernétique, de l’interaction et de la conversation. D’abord, un état de l’art contextualise la période de transition entre la première et la deuxième cybernétique en retraçant les étapes clés des approches symboliques et connexionnistes de l’intelligence artificielle sachant que les recherches de Pask se situent à l’intersection de ces deux approches. Ensuite, des concepts de la théorie de la conversation (CT), des expériences menées en psychologie de l’apprentissage et des insta
APA, Harvard, Vancouver, ISO, and other styles
3

MOUKOUAMOU MOUENDO, Dieudonné. "Le jeu intertextuel dans la construction du discours poétique de Maxime N’Debeka." NTELA, Revue du Centre Universitaire de Recherche sur l'Afrique 1, no. 1 (2025): 147–67. https://doi.org/10.55595/ec106a93.

Full text
Abstract:
Cette étude, qui traite de l’intertextualité dans l’œuvre poétique de Maxime N’Debeka, est interdisciplinaire. Elle se construit autour des approches intertextuelle, comparatiste, thématique, sans oublier l’herméneutique. Le travail y consiste à repérer, dans les poèmes de Maxime N’Debeka, la présence manifeste de textes littéraires et chantés ou toutes autres traces renvoyant aux textes bibliques. L’objectif est d’en analyser l’incidence sur l’écriture du poète et d’en étudier la signification. Ainsi, l’étude a procédé à l’analyse de l’énoncé « soleils neufs » comme élément obsédant, ainsi qu
APA, Harvard, Vancouver, ISO, and other styles
4

Mohammed1, Marwan. "Les jeunes en bande et leurs parents. Les ressorts symboliques du détachement." Criminologie 48, no. 2 (2015): 187–207. http://dx.doi.org/10.7202/1033843ar.

Full text
Abstract:
L’analyse du rôle des familles dans la formation des bandes de jeunes est l’objet d’un certain paradoxe. Le fonctionnement intrafamilial est davantage commenté, déduit, que directement observé en situation. Paradoxe qui rejaillit sur les interventions institutionnelles de plus en plus intrusives et contraignantes. L’une des explications réside sans doute dans les choix méthodologiques. La prédominance des approches statistiques a tendance à occulter des processus microsociologiques nichés dans les plis intimes des relations et de la symbolique familiales qui nécessitent des dispositifs d’obser
APA, Harvard, Vancouver, ISO, and other styles
5

Desrosiers, Julie, and Alice Belleau-Blais. "Revue de la littérature sur les violences structurelles, institutionnelles et symboliques vécues par les femmes incarcérées au Canada." Revue de droit de l'Université de Sherbrooke 53, no. 3 (2024): 443–512. https://doi.org/10.7202/1116057ar.

Full text
Abstract:
Les femmes incarcérées subissent des violences particulières qui entravent leur accès à la justice pénale. À l’heure actuelle, ces violences structurelles, institutionnelles et symboliques demeurent peu documentées et elles sont parfois méconnues. Dans leur revue de la littérature, les autrices abordent un corpus documentaire de cinquante‑deux articles scientifiques portant plus particulièrement sur la santé physique et mentale des femmes, leurs expériences de victimisation et leurs traumatismes, leurs conditions de détention et leur traitement carcéral, leur retour dans la communauté et leur
APA, Harvard, Vancouver, ISO, and other styles
6

Vachon, Marika. "Habiter le Nunavik : Considérer le système de production du logement en envisageant la complexité." Études Inuit Studies 44, no. 1-2 (2021): 301–21. http://dx.doi.org/10.7202/1081807ar.

Full text
Abstract:
Cet article présente une réflexion sur les systèmes actuels de production du logement au Nunavik, au nord du Québec, à la lumière des théories de la complexité et de la perspective de l’habiter. L’analyse de la littérature démontre différentes formes de complexité dans le système ; les processus actuels relatifs à la construction des logements au Nord sont toujours le reflet d’une perspective centrée sur le fait « de construire » et sur un modèle de rationalité technique, plutôt que sur une perspective considérant le fait « d’habiter » le Nord, intégrant les considérations sociales, culturelle
APA, Harvard, Vancouver, ISO, and other styles
7

Bakrim, Noureddine. "La sémiotique et le savoir sur un espace à dominance orale." Hors dossier 38, no. 2 (2010): 93–102. http://dx.doi.org/10.7202/044956ar.

Full text
Abstract:
Résumé On note dans les études berbères, en tant qu’area studies, la prédominance des sciences linguistiques et ethnologiques. Ce constat a une histoire : le besoin premier de construire un savoir sur un Autre ethnolinguistique. Ce besoin est aujourd’hui justifié en partie par la nécessité d’un discours écolinguistique motivant les travaux actuels dont la finalité est d’assurer une survie de la langue dans l’équilibre de relations compliquées de coprésence. Or, dans cette totalité, on peut distinguer des travaux se réclamant de la sémiotique, souvent des approches influencées par une sémiotiqu
APA, Harvard, Vancouver, ISO, and other styles
8

Cuxac, Pascal, Kafil Hajlaoui, Jean-Charles Lamirel, and Claire François. "Aide à l’expertise des brevets par alignement avec les publications scientifiques." Document Numérique 16, no. 1 (2013): 11–29. https://doi.org/10.3166/dn.16.1.11-29.

Full text
Abstract:
International audience ; Ce travail s'inscrit dans le cadre du programme de recherche QUAERO1 , un vaste projet de recherche et d'innovation se rapportant au traitement automatique de contenus multimédias et multilingues. L'objectif abordé dans cet article est de proposer une méthode de classification automatique d'articles dans un plan de classement international de brevets relevant du même domaine. La finalité applicative de ce travail est de proposer une aide aux experts dans le processus d'évaluation de l'originalité et de la nouveauté d'un brevet, en lui proposant les citations scientifiq
APA, Harvard, Vancouver, ISO, and other styles
9

Foucher, Roland, and Aziz Rhnima. "Les référentiels de compétences comme outils de gestion : concilier les apports déterministes et constructivistes." Relations industrielles / Industrial Relations 73, no. 4 (2019): 814–39. http://dx.doi.org/10.7202/1056978ar.

Full text
Abstract:
Les démarches relatives aux « compétences », qui marquent la gestion des ressources humaines (GRH) depuis quelques décennies, recourent à des référentiels servant à établir les compétences à maîtriser et déployer. Ces outils de gestion s’inscrivent dans un contexte organisationnel évolutif et interactif suscitant des interrogations, particulièrement sur la façon de les déployer afin qu’ils traduisent les compétences valorisées par les parties concernées et celles effectivement déployées.Ce questionnement est à l’origine d’une recherche qualitative en deux étapes. La première, qui s’applique à
APA, Harvard, Vancouver, ISO, and other styles
10

Morin, Christine, Frédéric Levesque, and Louis Turgeon-Dorion. "L’article 48 de la Charte québécoise et le Code civil du Québec pour contrer l’exploitation de la personne âgée : pour une lecture harmonieuse." Revue générale de droit 46 (April 19, 2016): 51–97. http://dx.doi.org/10.7202/1036160ar.

Full text
Abstract:
L’article 48 de la Charte des droits et libertés de la personne protège toute personne âgée ou toute personne handicapée contre l’exploitation. Après avoir été ignoré pendant un certain temps, le texte de loi fait maintenant couler beaucoup d’encre, particulièrement sur sa relation avec le Code civil du Québec. Plusieurs auteurs, dont certains se consacrent principalement à l’étude des droits et libertés de la personne alors que d’autres concentrent leurs recherches en droit civil, se sont interrogés sur les interactions entre ces deux lois. Il existe une division entre les approches de ces au
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Approches symboliques"

1

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.

Full text
Abstract:
L’intégration de compétences transversales telles que la créativité, la résolution de problèmes et la pensée informatique, dans les programmes d’enseignement primaire et secondaire, est un défi majeur dans le domaine de l’éducation aujourd’hui. Nous postulons que l’enseignement et l’évaluation de ces compétences transversales pourraient bénéficier d’une meilleure compréhension des comportements des apprenants dans des activités spécifiques qui requièrent ces compétences. A cette fin, les sciences computationnelles de l’apprentissage (computational learning sciences) sont un champ en émergence
APA, Harvard, Vancouver, ISO, and other styles
2

Combettes, Sylvain. "Symbolic representations of time series." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASM002.

Full text
Abstract:
Les objectifs de cette thèse sont de définir de nouvelles représentations symboliques et des mesures de distance adaptées aux séries temporelles pouvant être multivariées et non-stationnaires. De plus, elles doivent préserver l'information temporelle, être interprétables et rapides à calculer. Nous passons en revue les représentations symboliques de séries temporelles, ainsi que les mesures de distance sur séries temporelles, chaînes de caractères et séquences symboliques (qui résultent d'un processus de symbolisation).Nous proposons deux contributions: ASTRIDE pour un ensemble de séries tempo
APA, Harvard, Vancouver, ISO, and other styles
3

Moulinier, Isabelle. "Une approche de la categorisation de textes par l'apprentissage symbolique." Paris 6, 1996. http://www.theses.fr/1996PA066638.

Full text
Abstract:
L'objectif principal des travaux presentes dans cette these est de determiner si la classification automatique, en particulier au moyen de l'apprentissage symbolique supervise, peut etre appliquee a la categorisation de documents, tache qui permet d'affecter des categories semantiques a des documents en fonction de leur contenu. Le memoire s'articule autour de deux axes complementaires. L'axe principal consiste a determiner si les techniques d'apprentissage apportent des solutions aux preoccupations de la recherche documentaire, en particulier le filtrage de documents. Dans cette optique, il e
APA, Harvard, Vancouver, ISO, and other styles
4

Notué, Jean-Paul. "La Symbolique des arts Bamileke (Ouest Cameroun) : approche historique et anthropologique." Paris 1, 1988. http://www.theses.fr/1988PA010669.

Full text
Abstract:
L'étude de la production artistique bamiléké montre ici que les objets d'arts sont essentiellement symboliques, qu'ils sont aussi d'éminents témoins culturels et d'importantes sources de l'histoire, qu'ils perpétuent la mémoire des faits individuels et collectifs. Elle démontre en outre que les arts et les symboles qui leur sont attaches ne sont pas figes, mais ont connu de nombreuses transformations dont celles mises en évidence concernant la période allant du XIVe siècle à nos jours. L'étude des symboles (liée a une esthétique remarquable) tout en dégageant les lois de la création relative à
APA, Harvard, Vancouver, ISO, and other styles
5

Sayed, Mazen El. "Une approche logico-symbolique des connaissances nuancées via des modificateurs linguistiques." Angers, 2001. http://www.theses.fr/2001ANGE0021.

Full text
Abstract:
Le traitement de la connaissance imprécise occupe une place centrale dans les recherches en Intelligence Artificielle. Parmi les approches proposées, on peut faire ressortir deux grandes catégories principales : 1. Celles numériques se basant sur la théorie des ensembles flous et la logique floue, 2. Celles symboliques dédiées au traitement de l'imprécision de nature qualitative. Ces approches se basent sur la théorie des multi-ensembles et des logiques symboliques multivalentes. Dans cette thèse, nous présentons une approche qualitative purement symbolique de représentation et d'exploitation
APA, Harvard, Vancouver, ISO, and other styles
6

TROMA, LAURENT. "Surveillance et diagnostic de systemes industriels complexes : une approche hybride numerique/symbolique." Rennes 1, 2000. http://www.theses.fr/2000REN10009.

Full text
Abstract:
La surveillance et le diagnostic de pannes (sdp) dans les systemes complexes reposent ici sur la connaissance d'un comportement de reference et sur l'exploitation de signaux delivres par les capteurs, numeriques ou symboliques (marche/arret, alarmes). Nous prenons pour cadre une modelisation conjointe, ou hybride numerique/symbolique, de la production de ces signaux, par modele a etat continu parametre pour l'aspect numerique et sinon par systeme a evenements discrets, ici un reseau de petri (rdp). La conception du rdp propose exploite les connaissances a priori disponibles : arbres de defaill
APA, Harvard, Vancouver, ISO, and other styles
7

Carron, Thierry. "Segmentations d'images couleur dans la base teinte-luminance-saturation : approche numérique et symbolique." Chambéry, 1995. http://www.theses.fr/1995CHAMS026.

Full text
Abstract:
L'utilisation de la couleur dans les étapes de segmentation va aboutir, grâce à l'apport complémentaire d'informations (données tridimensionnelles), à de meilleurs résultats qu'en utilisant une représentation monochrome. La traduction de cette information dans un espace Teinte-Luminance-Saturation, très proche de la perception humaine des couleurs, permet une interprétation aisée, une certaine indépendance et une complémentarité entre les informations. Ceci va faciliter l'intégration des caractéristiques spécifiques des images couleurs dans le processus de segmentation. Cependant, l'un des sou
APA, Harvard, Vancouver, ISO, and other styles
8

Charrier, 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.

Full text
Abstract:
Nous étudions la complexité théorique de tâches de raisonnement mettant en jeu la connaissance des agents dans les systèmes multi-agents. Nous considérons la logique épistémique dynamique (DEL) comme une façon naturelle d'exprimer la connaissance, qui permet d'exprimer la connaissance d'ordre supérieur des agents et des actions dynamiques partiellement observées. Nous montrons des résultats de complexité algorithmique pour la vérification de modèles et la satisfiabilité de formules de DEL, et définissons une approche symbolique pour ces mêmes problèmes. Nous étudions également la planification
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
L'aïkido au Japon est une mise en valeur du corps à la fois support incontournable à la prise de conscience de l'homme face à lui-même et pivot de l'intégration du sujet dans la trame sociale à laquelle il appartient. Différemment, cette même pratique en France, vise davantage une unification du sujet avec lui-même dans un souci d'intégration du mouvement et du vécu dans le jeu de la rencontre. L'aïkido participe de fait au discours envahissant qui veut répondre à la nécessité de restaurer un enracinement à l'existence humaine devenu évanescent par la modernité. Aussi notre étude porte sur la
APA, Harvard, Vancouver, ISO, and other styles
10

Gouabault, Emmanuel. "La résurgence contemporaine du symbole du dauphin : approche socio-anthropologique." Montpellier 3, 2006. http://www.theses.fr/2006MON30022.

Full text
Abstract:
Le développement d’un intérêt sans cesse croissant pour le dauphin, dans les sociétés occidentales, s’observe dès les années 1950. L’image du cétacé est aujourd’hui si répandue, notamment en France, qu’il faut l’analyser en termes de phénomène de société. Cependant, dans un premier mouvement voulu par une socio-anthropologie de l’animal, la relation homme-dauphin doit être envisagée à travers ses différentes manifestations, historiques et culturelles. Ainsi, une étude zoohistorique de nos représentations du mammifère marin révèle-t-elle leur ancrage au sein des cultures minoenne, hellénique pu
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Approches symboliques"

1

Moindrot, Gérard. Approches symboliques de la musique d'André Jolivet: Musique et expression du sacré. Harmattan, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wientzen, Max. Prologue à l'Evangile de Jean: Une approche linguistique et symbolique. E.M.E., 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Delbarre, Roger. Communication et violence symbolique: Une autre approche de la société est-allemande. Harmattan, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Association canadienne-francaise pour l'avancement des sciences. Congrès. Les techniques d'intelligence artificielle appliquées aux technologies de l'information: Réflexions sur les approches neuroniques, symboliques et numériques appliquées à la vision, l'écrit, la parole et le biomédical : actes du Colloque multidisciplinaire L'intelligence artificielle dans les technologies de l'information tenu dans le cadre du Congrès de l'Acfas à Montréal en mai 1996. ACFAS, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Mirail, Université de Toulouse-Le, ed. La théorie du support consonant: Une approche connexionniste symbolique de l'expertise dans le diagnostic radiologique. A.N.R.T, Université de Lille III, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Montréal), Colloque sur l'efficacité du symbolique (2nd 1985 Université du Québec à. L' efficacité du symbolique: Approches politiques et sémiologiques : actes du deuxième Colloque sur l'efficacité du symbolique tenu à l'Université du Québec à Montréal, les 10 et 11 mai 1985, sous les auspices du Groupe de recherche en idéologie-UQAM. Dép. de philosophie, UQAM, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

LHOUSSAINE, Remy. Approches Symboliques la Modelisation Hb: Approches Symboliques de la Modelisation et de Lanalyse des Systemes Biologiques. ISTE Editions Ltd., 2022.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Apprentissage symbolique: Une approche de l'intelligence artificielle. Cépaduès-éditions, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bencheikh, Farid Zine-Eddine. La symbolique de l'acte criminel: Une approche psychanalytique (Psychanalyse et civilisations). Harmattan, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

L'efficacite du symbolique: Approches politiques et semiologiques : Actes du deuxieme Colloque sur l'efficacite du symbolique tenu a l'Universite du Quebec ... (Cahiers Recherches et theories). Dep. de philosophie, UQAM, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Approches symboliques"

1

Bochaton, Corentin, and Pauline Hanot. "Étude en morphométrie géométrique 3D de la morphologie vertébrale des couleuvres actuelles et passées." In Biodiversités, environnements et sociétés depuis la Préhistoire. APDCA, 2021. https://doi.org/10.4000/147os.

Full text
Abstract:
Dans le monde tropical, la place importante accordée aux serpents dans les sphères symbolique et matérielle des populations humaines du passé est bien connue. Cependant, alors que l’impact des pratiques anthropiques sur les faunes n’est plus à démontrer, leur influence potentielle sur la biodiversité des serpents au cours du temps est mal connue. Cela s’explique en partie par le fait que la complexité morphologique de leurs vertèbres, qui représentent l’écrasante majorité de leurs restes dans le registre ancien, entrave l’évaluation de la variabilité morphologique des taxons. Nous explorons ic
APA, Harvard, Vancouver, ISO, and other styles
2

BERNOT, Gilles, Hélène COLLAVIZZA, and Jean-Paul COMET. "Méthodes de vérification formelle pour la modélisation en biologie : le cas des réseaux de régulation biologique." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch8.

Full text
Abstract:
Ce chapitre démontre que la modélisation des réseaux de régulation biologiques est grandement facilitée par des méthodes symboliques de vérification formelle comme le model-checking et les preuves en logique de Hoare. Il présente une méthodologie complète de modélisation formelle où les approches logiques classiques du génie logiciel s'adaptent remarquablement efficacement au problème majeur de la modélisation des systèmes complexes: l'identification des paramètres.
APA, Harvard, Vancouver, ISO, and other styles
3

RIBEIRO, Tony, Maxime FOLSCHETTE, Laurent TRILLING, et al. "Les enjeux de l’inférence de modèles dynamiques à partir de séries temporelles." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch3.

Full text
Abstract:
Ce chapitre dresse un panorama des approches portant sur l’élaboration de modèles qualitatifs de réseaux de régulation, via des démarches s’apparentant au model-checking (pour l’analyse) et à la programmation logique (pour l’inférence). Nous nous attachons à étudier ce problème dans un contexte large-échelle, autrement dit avec potentiellement plusieurs centaines de composants interagissant.
APA, Harvard, Vancouver, ISO, and other styles
4

BONNAFFOUX, Arnaud. "Inférence de réseaux de régulation de gènes à partir de données dynamiques multi-échelles." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch1.

Full text
Abstract:
L’inférence des réseaux de régulation de gènes reste un challenge majeur en biologie des systèmes malgré de nombreux efforts. Aujourd’hui, grâce aux données multi-omiques en cellules uniques, aux modèles dynamiques et stochastiques de la régulation génétique, et à la puissance de calcul disponible, de nouvelles approches telles que WASABI permettront de surmonter toutes les difficultés de ce défi.
APA, Harvard, Vancouver, ISO, and other styles
5

BÉAL, Jonas, Élisabeth REMY, and Laurence CALZONE. "Connecter les modèles logiques aux données omiques." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch4.

Full text
Abstract:
Les modèles Booléens permettent de décrire des mécanismes de dysfonctionnement dans des maladies comme les cancers et d’anticiper les effets possibles de certaines drogues sur les dérégulations observées (mutations, surexpression de gènes, etc.). Cependant, les modèles développés sont génériques et ne sont pas spécifiques à un cancer, ou un patient. Nous présentons une méthodologie qui intègre des données omiques à ces modèles et permet ainsi de caractériser les différences de réponses aux traitements entre patients atteints d’un même cancer.
APA, Harvard, Vancouver, ISO, and other styles
6

FAGES, François, and Franck MOLINA. "La cellule, un calculateur analogique chimique." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch7.

Full text
Abstract:
La thèse de Church-Turing énonce qu’il n’y a qu’une seule notion universelle de calcul mécaniste, qui donc, d’une façon ou d’une autre, doit permettre de réconcilier le traitement de l’information en informatique et en biologie cellulaire. La preuve récente de Turing-complétude des réseaux de réactions chimiques continus sur un nombre fini d’espèces moléculaires, fournit les bases d’une telle réconciliation, sans construction artificielle, avec des capacités à la fois d’analyse des programmes chimiques naturels dans les cellules vivantes, et de synthèse de programmes chimiques artificiels dans
APA, Harvard, Vancouver, ISO, and other styles
7

PAULEVÉ, Loïc. "Réseaux booléens : formalisme, sémantiques et complexité." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch5.

Full text
Abstract:
Ce chapitre présente le formalisme des réseaux booléens, leur relation avec d'autres modèles informatiques classiques, et leur adéquation pour la modélisation des systèmes biologiques. Le chapitre détaille la sémantique la plus permissive (MP) qui apporte une abstraction correcte des comportements quantitatifs, et conclut sur des aspects de complexité pour la vérification de propriétés dynamiques d'accessibilité et d'attracteurs.
APA, Harvard, Vancouver, ISO, and other styles
8

FERET, Jérôme. "Analyses des motifs accessibles dans les modèles Kappa." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch9.

Full text
Abstract:
Ce chapitre propose un langage de réécriture pour modéliser l’évolution d'ensembles d'instances de protéines et de leurs liaisons. Ce niveau de détail permet une représentation compacte grâce à une description locale des interactions et ouvre la voie à diverses abstractions. En particulier, nous utilisons ici cette structure pour calculer des propriétés locales des complexes protéiques.
APA, Harvard, Vancouver, ISO, and other styles
9

DE MARIA, Elisabetta, Joëlle DESPEYROUX, Amy FELTY, Pietro LIÒ, Carlos OLARTE, and Abdorrahim BAHRAMI. "Logique calculatoire pour la biomédecine et les neurosciences." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch6.

Full text
Abstract:
Ce chapitre présente l'utilisation d'une logique calculatoire en biologie des systèmes, comme cadre unifié et sûr, adapté à la fois à la modélisation du comportement des systèmes biologiques et à l'expression et à la vérification de leurs propriétés. Ce chapitre offre une introduction à la logique linéaire ainsi qu'à l'utilisation du système Coq dans notre domaine.
APA, Harvard, Vancouver, ISO, and other styles
10

FRIOUX, Clémence, and Anne SIEGEL. "Problèmes d’optimisation combinatoire pour l’étude du métabolisme." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch2.

Full text
Abstract:
Les modèles basés sur les réseaux métaboliques permettent de prédire le potentiel de production de molécules des organismes dans des conditions données. L’obtention de ces réseaux passe par une étape de complétion basée sur la résolution de problèmes d’optimisation combinatoire. Ce chapitre définit et décrit ces problèmes d'optimisation à partir de différents paradigmes de modélisation dynamique qui peuvent être associés à un système biologique.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Approches symboliques"

1

Molina García, Erika Natalia. "Déversement du regard fluide. Esquisse d'une méthodologie pour approcher théoriquement le cinéma." In XXV Coloquio AFUE. Palabras e imaginarios del agua. Universitat Politècnica València, 2016. http://dx.doi.org/10.4995/xxvcoloquioafue.2016.3090.

Full text
Abstract:
Dans son ouvrage de 2010 (« Les images de l’eau dans le cinéma français des années 20 », Presses Universitaires de Rennes), Eric Thouvenel interroge la profusion des images de la liquidité dans une période bien précise du cinéma français, mais tout en l’interprétant comme un symptôme du temps ; non seulement d’une époque trouble, postérieure à la Grande Guerre, mais du temps lui-même. En effet, au début du XXème siècle, le développement des technologies cinématographiques s’accompagne d’une redécouverte de l’ensemble de la réalité comme liquide, et ainsi d’une remise de la question du dynamism
APA, Harvard, Vancouver, ISO, and other styles
2

Arrouf, Abdelmalek, and Berkane Nadia. "LE CORBUSIER ET LA MAIN OUVERTE À CHANDIGARH. La genèse d’une œuvre." In LC2015 - Le Corbusier, 50 years later. Universitat Politècnica València, 2015. http://dx.doi.org/10.4995/lc2015.2015.1006.

Full text
Abstract:
Résumé: En décembre 1950, Le Corbusier est associé à la conception de la nouvelle capitale du Pendjab indien. En complément du projet, il intégra le monument de la main ouverte élevée au dessus de la fosse de la considération. Le Corbusier déclare d’emblée que le monument de la Main Ouverte est un « complément » au programme de Chandigarh, fourni par « l’autorité ». Il est une « contribution personnelle » qui n’a pas de commanditaire. Il est de fait un élément « inattendu ». Un élément inhabituel qui n’a d’autres raisons d’être que celles propres à son architecte. Mais justement quelles sont-e
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!