Relevant bibliographies by topics / Calcul symbolique

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters

Academic literature on the topic 'Calcul symbolique'

Author: Grafiati
Published: 4 June 2021
Last updated: 8 June 2024

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 'Calcul symbolique.'

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 "Calcul symbolique"

1

Unterberger, André. "Calcul symbolique de Dirac." Comptes Rendus de l'Académie des Sciences - Series I - Mathematics 324, no. 1 (1997): 15–18. http://dx.doi.org/10.1016/s0764-4442(97)80096-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Petrova, S. S. "Cauchy et le calcul symbolique." Archives Internationales d'Histoire des Sciences 58, no. 160-161 (2008): 301–8. http://dx.doi.org/10.1484/j.arihs.5.101510.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Vallette, François, Gabriel Vasilescu, and Georges Alquié. "Méthode symbolique de calcul des sensibilités ďordres supérieurs." Annales Des Télécommunications 48, no. 9-10 (1993): 449–58. http://dx.doi.org/10.1007/bf02995473.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Durand-Richard, Marie-José. "Babbage et Boole : les lois du calcul symbolique." Intellectica. Revue de l'Association pour la Recherche Cognitive 39, no. 2 (2004): 23–53. http://dx.doi.org/10.3406/intel.2004.1210.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Piriou, Alain. "Calcul symbolique non linéaire pour une onde conormale simple." Annales de l’institut Fourier 38, no. 4 (1988): 173–87. http://dx.doi.org/10.5802/aif.1153.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Manchon, Dominique. "Calcul symbolique sur les groupes de Lie nilpotents et applications." Journal of Functional Analysis 102, no. 1 (1991): 206–51. http://dx.doi.org/10.1016/0022-1236(91)90141-q.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sibille, Patrick. "L'automatique des modèles linéaires revisitée à la lumière du calcul symbolique." J3eA 7 (2008): 1001. http://dx.doi.org/10.1051/j3ea:2008001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Gaveau, Bernard, Peter Greiner, and Jacques Vauthier. "Intégrales de Fourier quadratiques et calcul symbolique exact sur le groupe d'Heisenberg." Journal of Functional Analysis 68, no. 2 (1986): 248–72. http://dx.doi.org/10.1016/0022-1236(86)90006-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Alicalapa, Frédéric, and Adline Nagels. "Séquence pédagogique sur les apports du calcul formel Open Source dans l’enseignement : exemple des impédances complexes en électricité." J3eA 22 (2023): 0002. http://dx.doi.org/10.1051/j3ea/20230002.

Full text
Abstract:
La partie calculatoire et la temporalité de l’analyse physique d’une étude de cas ou d’un exercice en électricité, sont des challenges pour les étudiant.es de notre licence SPI (Sciences Pour l’Ingénieur) en mode projet. Pour répondre à ces challenges et accompagner l’étudiant.e vers de nouvelles compétences, nous pouvons miser sur une approche complémentaire par l’utilisation numérique du calcul formel ou symbolique, pour enrichir l’approche classique. Dans ce contexte, cet article présente une approche pédagogique mise en place pour introduire le logiciel libre et Open Source Maxima CAS, afin de présenter aux étudiants les outils de traitement symbolique. L’exemple des nombres complexes a été retenu pour faire le lien entre les régimes temporels variables de l’électricité et la notion d’impédances complexes. La méthodologie proposée et la pratique s’orientent également, en termes d’ouverture, vers la compétence de rédaction de rapports d’étude de cas (pour améliorer chez l’étudiant.e, la méthode de conceptualisation de cet enseignement) et l’utilisation de l’outil dans d’autres unités d’enseignements de la formation.
APA, Harvard, Vancouver, ISO, and other styles
10

Allaoui, Salah Eddine. "Remarques sur le calcul symbolique dans certains espaces de Besov à valeurs vectorielles." Annales mathématiques Blaise Pascal 16, no. 2 (2009): 399–429. http://dx.doi.org/10.5802/ambp.273.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Calcul symbolique"

1

Colson, Pierre. "Cogèbres et calcul symbolique." Paris, EHESS, 2004. http://www.theses.fr/2004EHES0159.

Full text
Abstract:
Les aspects algébriques de l'opérateur de translation sur un espace de polynômes sont bien connus. Ils permettent de rendre compte de notions telles que les polynômes d'Appell, les opérateurs invariants par translation et la formule d'Euler-McLaurin. Dans les années 1970, G. -C. Rota en a donné une approche nouvelle en interprétant l'opérateur de translation comme un comultiplication. Dans cette thèse, nous étendons certains résultats de Rota à une cogèbre arbitraire. Notre approche est caractérisée par le fait qu'elle peut être transposée dans d'autres contextes où l'on dispose d'une catégorie monoïdale. En la formulant par exemple pour les espaces localement convexes, on obtient une généralisation de la notion de moyenne-périodicité introduite par J. Delsarte dans les années 1930
The algebra of the translation operator on a space of polynomials is well known and is the key to objects such as Appell polynomials, shift-invariant operators and the Euler-McLaurin summation formula. In the 1970's G. -C. Rota proposed a new approach by interpreting the translation operator as a comultiplication. In the present thesis, we generalize some of Rota's results to arbitrary coalgebras. Our appproach is singled out by the fact that it may be tranposed to any context where an appropriate monoidal category is available. For example, the formulation for locally convex spaces provides a generalization of the concept of mean-periodicity, which goes back to J. Delsarte in the 1930's
APA, Harvard, Vancouver, ISO, and other styles
2

Veigneau, Sébastien. "Calcul symbolique et calcul distribué en combinatoire algébrique." Marne-la-Vallée, 1996. http://www.theses.fr/1996MARN0005.

Full text
Abstract:
Ce travail est divise en trois parties : la premiere presente ace, un environnement de calcul en combinatoire algebrique. Cet outil dedie au systeme de calcul formel maple regroupe plusieurs bibliotheques de fonctions specialisees. Il permet notamment d'effectuer des calculs sur le groupe symetrique, le groupe hyperoctaedral, les fonctions symetriques, les tableaux de young ou encore les polynomes de schubert. Nous presentons dans un premier chapitre les differentes bibliotheques que nous avons realisees. Le deuxieme chapitre donne des exemples combinatoires illustrant les possibilites de l'environnement et le troisieme chapitre presente quelques applications a la geometrie enumerative. La deuxieme partie presente nos contributions a la theorie combinatoire des polynomes de schubert. Nous y donnons les analogues de la formule de monk et de la formule de pieri pour les polynomes de schubert doubles ainsi que la formule de pieri pour les polynomes de schubert quantiques. Nous decrivons aussi la structure multiplicative de l'anneau des polynomes en plusieurs variables en tant que module libre de rang fini sur l'anneau des polynomes symetriques, avec comme base distinguee les polynomes de schubert. La derniere partie traite de problemes lies a la distribution de calculs. Apres une presentation de plusieurs experiences que nous avons menees, nous donnons un algorithme d'enumeration des tableaux de rubans d'une forme et d'un poids donnes associe au calcul du polynome de spin correspondant. Nous proposons ensuite une version distribuee de cet algorithme. Ces travaux s'inscrivent dans un programme d'experimentation des possibilites du calcul distribue dans les domaines de la combinatoire et du calcul symbolique. Dans ce contexte, nous abordons des problemes lies a l'etude des performances des programmes distribues en environnement pvm et montrons les modifications que nous avons apportees a pgpvm afin qu'il integre les fonctionnalites de base d'un traceur d'execution
APA, Harvard, Vancouver, ISO, and other styles
3

Bertrand, Laurent. "Calcul symbolique des intégrales hyperelliptiques." Limoges, 1995. http://www.theses.fr/1995LIMO0036.

Full text
Abstract:
Dans cette these, on presente une amelioration de l'algorithme d'integration symbolique des fonctions algebriques de risch-trager, pour le cas particulier des integrales hyperelliptiques. L'algorithme de risch-trager est un algorithme general, qui est valable pour toute fonction algebrique, mais qui n'est pas tres satisfaisant en pratique car tres lent. On presente comment on peut accelerer cet algorithme de maniere importante, a l'aide d'une representation specifique des diviseurs de la courbe hyperelliptique, permettant de construire une arithmetique efficace dans la jacobienne de la courbe. On presente aussi une implementation de cette methode ainsi que des exemples de calculs permettant de se faire une idee sur l'importance du gain de temps autorise par celle-ci. On etudie egalement le calcul des integrales hyperelliptiques definies sur une extension monomiale, en suivant les idees de m. Bronstein
APA, Harvard, Vancouver, ISO, and other styles
4

Hême, de Lacotte Suzanne. "Calcul symbolique et l'opérateur de Laplace." Doctoral thesis, Universite Libre de Bruxelles, 1987. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/213480.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gauthier, Bruno. "Calcul symbolique sur les séries hypergéométriques." Marne-la-Vallée, 1999. http://www.theses.fr/1999MARN0059.

Full text
Abstract:
Cette these met en lumiere l'apport du calcul formel pour l'etude des series hypergeometriques. La premiere partie decrit la manipulation d'expressions faisant intervenir des series hypergeometriques. Nous presentons la theorie generale et les operations usuelles sur ces objets telles que les formules de sommation, de transformation et de contiguite. Ces formules constituent une base de donnees implantee dans une librairie de fonctions appelee hyperg s'appuyant sur le systeme de calcul formel maple. Dans la deuxieme partie, nous presentons les recurrences lineaires a coefficients polynomiaux et les algorithmes pour trouver des solutions polynomiales, rationnelles et hypergeometriques. La troisieme partie developpe les outils de demonstration automatique parmi lesquels la technique de sur celine, les algorithmes de gosper et zeilberger ainsi que la methode wz. Nous montrons comment les outils presentes peuvent etre combines. Nous developpons notamment l'approche initiee par gessel puis par koornwinder qui permet de demontrer des identites - telles le theoreme de kummer - faisant intervenir des series qui ne se terminent pas. Nous presentons egalement quelques perspectives sur les q-analogues des series hypergeometriques. Enfin, nous donnons une description de la realisation logicielle hyperg qui inclut les algorithmes presentes dans cette these. Les annexes donnent des applications de ces outils aux polynomes orthogonaux et aux nombres de motzkin
APA, Harvard, Vancouver, ISO, and other styles
6

Massol, Anne. "Calcul symbolique avec des diagrammes de Penrose." Aix-Marseille 2, 1997. http://www.theses.fr/1997AIX22029.

Full text
Abstract:
Nous nous interessons a un calcul formel de type nouveau ou les expressions sont remplacees par des diagrammes que l'on appelle diagrammes de penrose. En s'appuyant sur la notion de categorie monoidale, burroni a etabli le fondement theorique de ce type de calcul. Lafont a propose une definition formelle des diagrammes et a decrit quelques exemples de calculs planaires. Ces definitions et resultats sont rappeles dans le premier chapitre. Afin de faciliter l'utilisation de ce calcul nous avons realise un logiciel avec une interface graphique pour la manipulation de ces diagrammes. Ce travail est decrit dans le deuxieme chapitre. Dans le troisieme chapitre, nous etudions un certain nombre de problemes algorithmiques lies a ce calcul (calcul de formes normales, reconnaissance de l'isotopie. . . ). Dans le dernier chapitre, nous demontrons que la presentation finie proposee par burroni et lafont pour la categorie monoidale des ensembles finis (l'exemple de base de la theorie) est en fait minimale, c'est-a-dire qu'elle ne contient pas d'equation superflue. Cette preuve a ete obtenue a l'aide de l'ordinateur par une recherche systematique de modeles finis.
APA, Harvard, Vancouver, ISO, and other styles
7

Laugerotte, Eric. "Combinatoire et calcul symbolique en théorie des représentations." Rouen, 1997. http://www.theses.fr/1997ROUES069.

Full text
Abstract:
Ce mémoire concerne le traitement algorithmique des représentations matricielles. Les techniques y sont illustrées sur deux exemples, les algèbres de Hecke et les automates à multiplicités. Les algèbres de Hecke interviennent dans plusieurs domaines (dont l'algèbre ou la physique statistique) qui demandent de pouvoir y calculer efficacement. Ici sont rassemblés des algorithmes implémentés en Maple constituant la bibliothèque SHRI. Par l'action d'opérateurs de symétrisation sur des Q-Vandermonde, on détermine un système complet de représentations polynomiales. En calculant les polynômes minimaux de chaque bloc de la représentation régulière, on en déduit l'inverse d'un élément s'il existe. On construit une famille complète d'idempotents minimaux orthogonaux en évaluant les gz-polynômes en les q-analogues des éléments de Jucys-Murphy. Ces polynômes sont de degré minimal en la variable d'index maximal (la plus coûteuse). On en déduit un calcul des bases de Gelfand-Zetlin des modules irréductibles. Le caractère d'un élément de l'algèbre de Hecke est, grâce à un algorithme de conjugaison, une combinaison linéaire d'évaluations sur des produits de cycles calculées efficacement par une formule de J. Desarmenien généralisant la formule de Murnaghan-Nakayama. Une forme bilinéaire invariante permet d'expliciter les idempotents centraux via la formule de Kilmoyer. Le phénomène de compression spectrale observé lors de tests sur le package réside en la compression des deux paramètres formels de l'algèbre de Hecke générique en un seul par l'implémentation des isomorphismes semi-linéaires entre les algèbres de Hecke. Les calculs dans l'algèbre de Hecke générique sont alors plus efficaces. Dans une dernière partie, on établit, pour le cas non-commutatif, l'algorithme classique de minimisation des représentations linéaires des séries rationnelles dû à M. P. Schutzenberger. On montre comment calculer les isomorphismes d'automates minimaux.
APA, Harvard, Vancouver, ISO, and other styles
8

Charrier-Mojtabi, Marie-Catherine. "Etude numérique, théorique et expérimentale des écoulements thermoconvectifs bidimensionnels et tridimensionnels en couche annulaire poreuse horizontale." Bordeaux 1, 1993. http://www.theses.fr/1993BOR10649.

Full text
Abstract:
Nous proposons une etude des ecoulements thermoconvectifs se developpant dans une couche annulaire poreuse horizontale. Nous nous interessons en particulier a la caracterisation des ecoulements bidimensionnels multicellulaires et tridimensionnels, ainsi qu'a la determination des seuils d'apparition de ces differents regimes. L'analyse des ecoulements bidimensionnels multicellulaires est effectuee par voie numerique, theorique et experimentale. La simulation numerique, faite a partir d'un modele mathematique adoptant la validite de la loi de darcy, repose sur l'utilisation de methodes spectrales fourier-galerkin et collocation-tchebycheff, dont les precisions sont comparees. On determine numeriquement les points de bifurcation au-dela desquels il y a multiplicite de solutions. Nous essayons d'identifier parmi les solutions mathematiques du probleme, les solutions physiquement acceptables en utilisant une methode de visualisation des champs thermiques par effet christiansen. Cette partie est completee par une approche analytique limitee aux cas des faibles espaces annulaires. La solution du probleme est ainsi recherchee sous forme de developpement asymptotique en fonction de l'ecart relatif entre les deux cylindres; elle est ensuite utilisee pour une etude de stabilite lineaire. Les ecoulements tridimensionnels sont etudies uniquement par voie numerique pseudo-spectrale. L'etude est restreinte a la caracterisation des ecoulements au voisinage de la transition avec l'ecoulement monocellulaire bidimensionnel. On retrouve l'aspect spirale des ecoulements tridimensionnels dans le haut de la couche annulaire et on determine le nombre de rayleigh critique de la transition pour plusieurs couples de parametres adimensionnels caracterisant la geometrie
APA, Harvard, Vancouver, ISO, and other styles
9

Costermans, Christian. "Calcul symbolique non commutatif : analyse des constantes d'arbre de fouille." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2008. http://tel.archives-ouvertes.fr/tel-00338482.

Full text
Abstract:
L'étude de certaines variables aléatoires, comme les paramètres additifs sur les arbres hyperquaternaires de points, ou encore le nombre de maxima au sein d'un ensemble de n points indépendants, et uniformément distribués dans [0,1]^d font apparaître des suites particulières, les sommes harmoniques multiples (SHM), extensions des nombres harmoniques classiques à des multi-indices.

Nos travaux visant à appliquer des méthodes symboliques pour l'étude de ces variables aléatoires, nous remplaçons l'utilisation de multi-indices par des codages sur des alphabets distincts, et nous appuyons alors sur des résultats importants en combinatoire des mots pour les appliquer à nos suites de SHM, et aux fonctions polylogarithmes, qui sont des variantes des génératrices ordinaires des SHM. Dans les cas convergents, les deux objets convergent (respectivement lorsque z tend vers 1 et lorsque N tend vers l'infini) vers la même limite, appelée polyzêta. Pour les cas divergents, l'utilisation de séries génératrices non commutatives nous permet d'établir un théorème ``à l'Abel'', faisant apparaître une limite commune. Ce théorème permet de donner une forme explicite aux constantes d'Euler généralisées associées à des SHM divergentes et ainsi d'obtenir un algorithme très efficace pour calculer leur développement asymptotique.

Finalement, nous proposons des applications des sommes harmoniques dans le domaine des structures de données multidimensionnelles, pour lesquelles notre approche donne naissance à des calculs exacts, qui peuvent par la suite être aisément évalués asymptotiquement.
APA, Harvard, Vancouver, ISO, and other styles
10

Attiogbe, J. Christian. "Conception et réalisation d'un atelier de réécriture et de calcul symbolique." Toulouse 3, 1992. http://www.theses.fr/1992TOU30141.

Full text
Abstract:
Dans le cadre du developpement formel de programmes (specifications, raffinages, transformations), nous construisons un atelier de calcul symbolique. Cet atelier (arcs) est bati pour supporter des methodes de developpement formel de programmes a partir de specifications. Il vise le monde de la recherche en genie logiciel. Il est destine a assister la conception de methodes de programmation en fournissant un environnement de developpement specifique des lors que les langages et regles des methodes sont definis formellement. Le noyau de l'environnement ainsi fourni est constitue d'un editeur interactif et graphique de termes algebriques ou logiques et des outils de traitement de ces derniers. Les services proposes par l'atelier se font au plus haut niveau d'abstraction possible: celui de la syntaxe abstraite. Les traitements sont exprimes par des schemas de reecriture et constituent des parametres de travail. Pour garantir la liberte d'expression et la mobilite des frontieres du systeme, les langages, symbolismes et regles des methodes sont des parametres modifiables et non des constituants predefinis. La visualisation est en deux dimensions pour permettre l'usage de symboles graphiques tels que ceux utilises en mathematique et de plus en plus pour les formalisations en informatique , l'edition d'expressions graphiques complexes, et la manipulation directe par designation de ces dernieres a la souris. Une approche de formalisation est elaboree pour specifier le comportement operationnel du systeme arcs en particulier et des systemes interactifs et graphiques en general. De nombreuses experimentations sont faites avec arcs: edition multiformalisme, manipulation de termes algebriques, transformations par schemas de reecriture, decompilation, etc. . .
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Calcul symbolique"

1

W, Johnson Gerald. The Feynman integral and Feynman's operational calculus. Clarendon Press, 2000.

APA, Harvard, Vancouver, ISO, and other styles
2

W, Johnson Gerald. The Feynman integral and Feynman's operational calculus. Clarendon Press, 2000.

APA, Harvard, Vancouver, ISO, and other styles
3

Introduction to mathematics of satisfiability. Taylor & Francis, 2009.

APA, Harvard, Vancouver, ISO, and other styles
4

1942-, Moor James, Nelson Jack 1944-, and Bergmann Merrie, eds. Solutions to selected exercises in The logic book. 3rd ed. McGraw-Hill, 1998.

APA, Harvard, Vancouver, ISO, and other styles
5

North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development. Mission Systems Panel. and North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development. Consultant and Exchange Programme., eds. Advances in soft-computing technologies and application in mission systems =: Les Avancées des technologies du calcul symbolique et les applications aux systèmes numériques de gestion de la mission. AGARD, 1997.

APA, Harvard, Vancouver, ISO, and other styles
6

1953-, Rougemont Michel de, ed. Logique et fondements de l'informatique: Logique du 1er ordre, calculabilité et lambda-calcul. Hermès, 1993.

APA, Harvard, Vancouver, ISO, and other styles
7

H, Papadimitriou Christos, ed. Elements of the theory of computation. 2nd ed. Prentice Hall International, 1998.

APA, Harvard, Vancouver, ISO, and other styles
8

H, Papadimitriou Christos, ed. Elements of the theory of computation. 2nd ed. Prentice-Hall, 1998.

APA, Harvard, Vancouver, ISO, and other styles
9

Killingbeck, J. P. Microcomputer algorithms: Action from algebra. Adam Hilger, 1991.

APA, Harvard, Vancouver, ISO, and other styles
10

Raphaël, Leivant Daniel Maurice, ed. Logic and computational complexity: International workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers. Springer, 1995.

APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Calcul symbolique"

1

Laville, G. "Sur un calcul symbolique de feynmann." In Séminaire d’Analyse P. Lelong — P. Dolbeault — H. Skoda. Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/bfb0081980.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Dermoune, A. "Application du calcul symbolique au calcul de la loi de certains processus." In Lecture Notes in Mathematics. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/bfb0083782.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bourdaud, Gérard. "Le calcul symbolique dans certaines algèbres de type Sobolev." In Recent Developments in Fractals and Related Fields. Birkhäuser Boston, 2010. http://dx.doi.org/10.1007/978-0-8176-4888-6_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

"10. Calcul symbolique." In Analyse et équations aux dérivées partielles. EDP Sciences, 2023. http://dx.doi.org/10.1051/978-2-7598-3140-1.c011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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
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 des vésicules non vivantes. Ces résultats ouvrent un vaste champ de recherche fondamentale sur l’informatique analogique chimique de la cellule et des applications nouvelles en santé et environnement.
APA, Harvard, Vancouver, ISO, and other styles
7

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
8

Bolton, Lucy. "‘The brunette with the legs’: the significance of footwear in Marnie." In Shoe Reels. Edinburgh University Press, 2021. http://dx.doi.org/10.3366/edinburgh/9781474451406.003.0014.

Full text
Abstract:
Marnie (1964, Alfred Hitchcock) is a film about sex and crime; in particular, about ‘the sexual aberrations of the criminal female’, according to the title of the book Mark Rutland reads to try to understand his new wife. The conduct of said criminal female, Margaret Edgar, Marion Holland, or just plain Marnie, is based on feminine masquerade and an aesthetics of what Michele Montrelay might call ‘dotty objects’: gloves, purses, handbags, nail files, hair combs, stockings and – most significantly – shoes. This chapter demonstrates the film’s deployment of shoes as a trope of Marnie’s identity, and explore how they symbolise different sides to Marnie at stages in her story. In so doing, the film imbues feminine artifice with significance and stature, enabling Marnie’s identity to be explored by elements of the mise-en-scene that might ordinarily be considered simply decorative.
APA, Harvard, Vancouver, ISO, and other styles
9

Lambert, Matthew M. "The Postpastoral City." In The Green Depression. University Press of Mississippi, 2020. http://dx.doi.org/10.14325/mississippi/9781496830401.003.0004.

Full text
Abstract:
This chapter focuses on ways that depression-era authors use urban pastoralism to call attention to the value and effects of “green” spaces and nonhuman nature in urban landscapes—from parks and other recreational spaces to overgrown vacant lots and “commensal” animals. While James T. Farrell’s Young Lonigan (1932) and Nelson Algren’s Never Come Morning (1942) depict parks as largely unable to counter overly individualistic and masculine forms of “place” valued by their urban characters, Mike Gold’s Jews Without Money (1930) and Tillie Olsen’s Yonnondio: From the Thirties (1974) envision ways that working-class characters attempt to create alternative social and environmental interactions in vacant lots and neighborhood dumps. In Native Son (1939), Richard Wright uses rats to symbolize the poor economic and environmental conditions of Chicago’s “Black Belt” and to model forms of mobility and defiance for his characters, both of which challenge what constitutes human and nonhuman “pests.”
APA, Harvard, Vancouver, ISO, and other styles
10

Voslamber, Dietrich. "Für eine gerechte Mehrsprachigkeit in den Institutionen der Europäischen Union (de, fr)." In Plurilinguisme, politique et citoyenneté. Observatoire européen du plurilinguisme, 2020. http://dx.doi.org/10.3917/oep.herre.2020.01.0227.

Full text
Abstract:
La restriction disproportionnée de l’usage des langues par les institutions de l’UE se trouve en contradiction évidente avec la diversité linguistique de l’Union. C’est particulièrement vrai du comportement linguistique de la Commission, qui se limite à l’usage de l’anglais et (dans une moindre mesure) du français, tant dans son fonctionnement interne que dans sa communication externe et sa représentation symbolique. Le présent exposé traite de propositions concrètes visant à remédier à cette situation ou du moins à l’atténuer. Certaines de ces propositions, telles que la restauration d’une image externe linguistiquement neutre de la Commission, pourraient être mises en œuvre immédiatement, car elles n’entraîneraient aucun coût. Il est montré par des calculs statistiques qu’un régime linguistique fondé sur l’utilisation de trois langues de travail (comme l’allemand, l’anglais et le français) pourrait être mis en place sans grand effort pratique ni financier. La seule condition serait que tous les fonctionnaires maîtrisent deux langues étrangères, au choix – à peu près statistiquement équiparti – parmi les langues de travail. Il en va de même pour un régime comportant cinq langues de travail (par exemple, avec l’italien et l’espagnol en plus), à condition que le nombre de langues étrangères à maîtriser soit porté à trois.
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!

To the bibliography