Relevant bibliographies by topics / Systèmes de calcul formel

Contents

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

Academic literature on the topic 'Systèmes de calcul formel'

Author: Grafiati
Published: 4 June 2021
Last updated: 5 February 2022

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 'Systèmes de calcul formel.'

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 "Systèmes de calcul formel"

1

Gelis, Jean-Michel, and Dominique Lenne. "LIMITES, un environnement d’apprentissage fondé sur un système de calcul formel." Sciences et techniques éducatives 8, no. 1 (2001): 180–81. http://dx.doi.org/10.3406/stice.2001.1547.

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

Lenne, Dominique, and Jean-Michel Gelis. "Limites, un environnement d’apprentissage fondé sur un système de calcul formel." Sciences et techniques éducatives 9, no. 1 (2002): 121–48. http://dx.doi.org/10.3406/stice.2002.1502.

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

Van-Wierts, Stéfanie, Pascal Bernatchez, and Christian Larouche. "Suivi topographique côtier au moyen d’un système LiDAR mobile terrestre : exemple d’une recharge sédimentaire de plage." GEOMATICA 71, no. 4 (2017): 194–212. http://dx.doi.org/10.5623/cig2017-402.

Full text
Abstract:
L’évolution côtière est complexe, notamment par la migration de la ligne de rivage et l’apparition successive de zones d’érosion ou d’accumulation. Les suivis quantitatifs des systèmes côtiers sont largement utilisés afin de comprendre leurs évolutions temporelle et spatiale. Plusieurs méthodes d’acquisition topographiques ont été utilisées (GNSS RTK, LiDAR aéroporté et LiDAR terrestre statique ou mobile) où chaque méthode présente des avantages et des inconvénients lors de suivis d’environnements côtiers. L’objectif de cet article est de quantifier la précision d’un système LiDAR mobile (SLM)
APA, Harvard, Vancouver, ISO, and other styles
4

Daston, Lorraine. "L'interprétation classique du calcul des probabilités." Annales. Histoire, Sciences Sociales 44, no. 3 (1989): 715–31. http://dx.doi.org/10.3406/ahess.1989.283618.

Full text
Abstract:
Que veut dire « l'interprétation classique » du calcul des probabilités ? Lorsqu'en 1933 Kolmogorov réussit à axiomatiser ce calcul, il a défini une théorie mathématique : son essence se trouve dans la validité formelle des axiomes, définitions et théorèmes qui permettent une foule d'interprétations. Ce système formel ne nous oblige en aucune manière à choisir telle ou telle interprétation de la probabilité : au point de vue de la théorie mathématique, on ne peut pas choisir entre probabilité comme fréquence et probabilité comme degré de certitude ou entre bien d'autres interprétations possibl
APA, Harvard, Vancouver, ISO, and other styles
5

SAUVANT, D., and P. NOZIÈRE. "La quantification des principaux phénomènes digestifs chez les ruminants : les relations utilisées pour rénover les systèmes d’unités d’alimentation énergétique et protéique." INRAE Productions Animales 26, no. 4 (2013): 327–46. http://dx.doi.org/10.20870/productions-animales.2013.26.4.3162.

Full text
Abstract:
L’évolution des systèmes d’unités d’alimentation des ruminants vers des systèmes de lois de réponses multiples nécessite d’actualiser le calcul des apports nutritifs à l’animal, afin de le rendre plus précis sur les unités agrégées (UF et PDI) et plus évolutif (prédiction des nutriments absorbés). Cette actualisation est basée sur la construction et l’interprétation par méta-analyse, de larges bases de données sur la digestion et la nutrition des ruminants. Les différentes équations utilisées pour le calcul des apports UF et PDI ont ainsi été mises à jour, ce qui permet en particulier : i) de
APA, Harvard, Vancouver, ISO, and other styles
6

Gardner, Daniel. "Comparer l'incomparable : les indemnités pour préjudice corporel en droit commun et dans la Loi sur l'assurance automobile." Dommages-intérêts / assurance 39, no. 2-3 (2005): 429–72. http://dx.doi.org/10.7202/043499ar.

Full text
Abstract:
Le système de droit commun de la responsabilité civile s'intéresse aux victimes qui peuvent identifier le responsable de leur préjudice et prévoit l'octroi de dommages-intérêts sous forme forfaitaire. De son côté, la Loi sur l'assurance automobile indemnise toutes les victimes de la route en utilisant principalement la rente et en adaptant la compensation à l'évolution de la condition physique de la victime. Les montants en jeu constituent la trame de fond du présent texte, qui vise à comparer les niveaux d'indemnités accordées en vertu de chacun de ces systèmes. Dans la première partie, l'aut
APA, Harvard, Vancouver, ISO, and other styles
7

Siffert, B., and A. Naidja. "Decarboxylation catalytique de l'acide oxaloacetique en presence de montmorillonite." Clay Minerals 22, no. 4 (1987): 435–46. http://dx.doi.org/10.1180/claymin.1987.022.4.07.

Full text
Abstract:
ResumeLa décarboxylation de l'acide oxaloacétique en acide pyruvique a été étudiée en présence de montmorillonite saturée en cations différents et des mêmes cations à l'état libre (non incorporés). L'action catalytique dépend de la nature du cation, cést-à-dire de sa facilité à former des complexes avec l'acide oxaloacétique. Le réseau argileux intervient dans la catalyse essentiellement par les atomes d'aluminium (ou de fer) situés sur les bords des feuillets argileux. Il joue le rôle d'un métalloenzyme biologique. Le calcul des énergies d'activation pour les différents systèmes met bien en é
APA, Harvard, Vancouver, ISO, and other styles
8

Brunelle, Yvon, and Madeleine Rochon. "Limites, avantages et utilisation des EVSI dans le contexte actuel de l’évolution des systèmes de soins." Articles 20, no. 2 (2004): 405–36. http://dx.doi.org/10.7202/010092ar.

Full text
Abstract:
RÉSUMÉ Les indicateurs de type EVSI rendent compte d'une définition de la santé fonctionnelle basée sur l'adaptation des individus à leur environnement. Leur constat est donc susceptible de varier dans le temps et l'espace. Plus le fonctionnement des individus considérés est large, c'est à dire plus on s'éloigne de formes très sévères de restriction tels le confinement ou l'absence de mobilité, plus ce constat est mouvant. Indépendamment des variations des modes d'observation et de calcul, les résultats varient selon l'activité considérée. Le système de soins de santé, à la recherche de nouvel
APA, Harvard, Vancouver, ISO, and other styles
9

Blanchon, David, and Jean-Paul Bravard. "La stabilité des formes fluviales de l’Orange, entre variabilité naturelle et impacts des grands barrages (secteur Boegoeberg-Augrabies, Afrique du Sud)." Géographie physique et Quaternaire 61, no. 1 (2009): 21–37. http://dx.doi.org/10.7202/029568ar.

Full text
Abstract:
RésuméLe fleuve Orange (Afrique du Sud) est l’un des systèmes fluviaux les plus aménagés au monde : les barrages hydroélectriques ont modifié le volume d’écoulement du fleuve et son débit solide a diminué depuis les années 1930. Plus encore, dans son cours moyen inférieur (secteur d’Upington), le fleuve a été contraint entre des digues de 5 à 10 m de hauteur, des chenaux secondaires ont été remplis pour permettre le développement agricole et plus de 10 déversoirs de bas niveau ont été construits à travers le chenal. Dans des conditions similaires, des changements géomorphologiques visibles et
APA, Harvard, Vancouver, ISO, and other styles
10

Makhlouf, Abdenacer. "Algébres associatives et calcul formel." Theoretical Computer Science 187, no. 1-2 (1997): 123–45. http://dx.doi.org/10.1016/s0304-3975(97)00061-3.

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

Dissertations / Theses on the topic "Systèmes de calcul formel"

1

Villard, Gilles. "Calcul formel et parallélisme : résolution de systèmes linéaires." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00330440.

Full text
Abstract:
On considère la résolution exacte des systèmes linéaires en parallèle et on traite deux aspects de base du problème : le calcul du noyau d'une matrice dont les coefficients sont dans un corps fini et la résolution des systèmes à coefficients entiers. On évalue les couts des différents algorithmes proposes, en mettant l'accent sur couts des communications
APA, Harvard, Vancouver, ISO, and other styles
2

Benamara, Ahmed. "Systèmes linéaires multivariables : études algébriques, calcul formel et optimisation H[infini]." Grenoble INPG, 1993. http://www.theses.fr/1993INPG0019.

Full text
Abstract:
Dans ce memoire, des resultats concernant l'etude et la commande des systemes lineaires invariants dans le temps et de dimensions finies sont presentes. Une partie du travail est consacree a l'utilisation des proprietes algebriques des anneaux principaux pour l'etude de la structure et la commande des systemes lineaires multivariables. Une bibliotheque de procedures ecrites en calcul formel (mathematica) a ete realisee et repose sur des algorithmes originaux de calcul de pgcd et de resolution de l'identite de bezout. Dans une deuxieme partie, on presente une parametrisation systematique et com
APA, Harvard, Vancouver, ISO, and other styles
3

Dellière, Stéphane. "Triangularisation de systèmes constructibles : application à l'évaluation dynamique." Limoges, 1999. http://www.theses.fr/1999LIMO0011.

Full text
Abstract:
Une des applications des programmes de la cloture constructible dynamique est la triangularisation des systemes constructibles, i. E. Des systemes polynomiaux avec des egalites et des inegalites. Ceux-ci sont decomposes en une reunion finie de systemes constructibles triangulaires. L'un des objectifs principaux de ce travail est d'etablir un modele pertinent de ces systemes dans le cadre de l'algebre commutative. Son elaboration est guidee par les ensembles triangulaires de d. Lazard et permet d'effectuer le lien avec les travaux de p. Aubry, m. Kalkbrener, d. Lazard, m. Moreno maza et d. M. W
APA, Harvard, Vancouver, ISO, and other styles
4

Ayad, Ali. "Complexité de résolution de systèmes algébriques paramétrés." Rennes 1, 2006. https://tel.archives-ouvertes.fr/tel-00127383.

Full text
Abstract:
On présente trois algorithmes dans cette thèse. Le premier algorithme résout des systèmes polynomiaux homogènes et paramétrés zéro-dimensionnels avec un temps simplement exponentiel en le nombre n des inconnus. Cet algorithme décompose l'espace des paramètres en un nombre fini d'ensembles constructibles et calcule le nombre fini de solutions par des représentations rationnelles paramétriques uniformes sur chaque ensemble constructible. Le deuxième algorithme factorise absolument des polynômes multivariés paramétrés avec un temps simplement exponentiel en n et en la borne supérieure d de degrés
APA, Harvard, Vancouver, ISO, and other styles
5

Alloula, Karim. "Modèle de coopération entre calcul formel et calcul numérique pour la simulation et l'optimisation des systèmes." Phd thesis, Toulouse, INPT, 2007. http://oatao.univ-toulouse.fr/7673/1/alloula.pdf.

Full text
Abstract:
Après avoir étudié les collaborations établies aujourd'hui entre différents environnements de résolution de problèmes, le manuscrit propose un modèle de conception d'un système de calcul basé sur la coopération entre calcul formel et numérique. Cette coopération entre différents sous-systèmes de calcul est de type complémentaire : les rôles sont définis a priori. Suivant une démarche orientée modèle, le modèle de coopération est spécifié en UML 2.0 selon la vue structurelle et la vue comportementale. A partir du modèle conceptuel, nous définissons les règles de transformation pour produire le
APA, Harvard, Vancouver, ISO, and other styles
6

Koseleff, Pierre-Vincent. "Calcul formel pour les méthodes de lie en mécanique hamiltonienne." Palaiseau, École polytechnique, 1993. https://hal.science/tel-01435140.

Full text
Abstract:
Le but premier est la comparaison de deux méthodes de lie utilisées en théorie des perturbations en mécanique hamiltonienne: la méthode de deprit et la méthode de dragt-finn. Elles reposent sur l'utilisation de transformations canoniques (symplectiques) formelles. On étudie les liens entre ces deux approches pour conclure qu'elles conduisent, dans les cas non-résonnants, a la construction des mêmes objets (forme normale et intégrales premières formelles). On propose, par la suite, des méthodes de construction de tels objets et on observe que la méthode de dragt-finn est moins couteuse. La conn
APA, Harvard, Vancouver, ISO, and other styles
7

Cardillo-Albarràn, Juan José. "Une approche formelle pour l'optimisation de systèmes à évènements discrets." Toulouse 3, 2004. http://www.theses.fr/2004TOU30084.

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

Spaenlehauer, Pierre-Jean. "Résolution de systèmes multi-homogènes et déterminantiels algorithmes - complexité - applications." Paris 6, 2012. http://www.theses.fr/2012PA066467.

Full text
Abstract:
De nombreux systèmes polynomiaux multivariés apparaissant en Sciences de l'Ingénieur possèdent une structure algébrique spécifique. En particulier, les structures multi-homogènes, déterminantielles et les systèmes booléens apparaissent dans une variété d'applications. Une méthode classique pour résoudre des systèmes polynomiaux passe par le calcul d'une base de Gröbner de l'idéal associé au système. Cette thèse présente de nouveaux outils pour la résolution de tels systèmes structurés. D'une part, ces outils permettent d'obtenir sousdes hypothèses de généricité des bornes de complexité du calc
APA, Harvard, Vancouver, ISO, and other styles
9

Raksanyi, Atilla. "Utilisation du calcul formel pour l'étude des systèmes d'équations polynomiales (applications en modélisation)." Paris 9, 1986. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1986PA090011.

Full text
Abstract:
De nombreux problèmes rencontrés en modélisation peuvent se ramener au calcul du rang d'une matrice, ou à la résolution d'un système d'équations polynomiales. C'est le cas pour l'étude des propriétés structurelles de commandabilité, d'observabilité, d'identifiable et de discernabilise de modelés paramétrés. Les langages de calcul formel sur ordinateur sont particulièrement adaptes à leur résolution.
APA, Harvard, Vancouver, ISO, and other styles
10

Morin, Guillaume. "Calcul moulien et théorie des formes normales classiques et renormalisées." Phd thesis, Observatoire de Paris, 2010. http://tel.archives-ouvertes.fr/tel-00521709.

Full text
Abstract:
La première partie de cette thèse présente le cadre des équations différen- tielles à retard. Ces équations apparaissent notamment dans des modélisations de phénomènes physiques (calcul de marées) et physiologiques. La recherche de forme normale d'équation différentielle à retard est rendue difficile du fait de la dimension infinie de l'espace des conditions initiales. On présente une méthode de calcul due à T. Faria qui permet de réduire cette difficulté en utilisant des variétés centrales de dimension finie, sur lesquelles on peut faire un calcul de forme normale « classique ». On étend ensu
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Systèmes de calcul formel"

1

Davenport, James Harold. Calcul formel: Systèmes et algorithmes de manipulations algébriques. Masson, 1987.

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

Joubert, Pierre. Circuits électriques et systèmes: Méthodes modernes de calcul. Lavoisier, 1986.

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

Chaperon, Marc. Calcul différentiel et calcul intégral 3e année: Cours et exercices avec solutions. 2nd ed. Dunod, 2008.

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

Sorgatz, Andreas. Dynamic modules: User's manual and programming guide for MuPAD 1.4. Springer, 1999.

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

Spenlé, Daniel. Guide du calcul en mécanique: Pour maîtriser la performance des systèmes industriels. Hachette, 1998.

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

International Symposium on Symbolic and Algebraic Computation (2003 Philadelphia, Pa.). ISSAC 2003: Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation : August 3-6, 2003, Philadelphia, PA. ACM Press, 2003.

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

Ontario. Esquisse de cours 12e année: Fonctions avancées et introduction au calcul différentiel mcb4u cours préuniversitaire. CFORP, 2002.

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

Graham, Ronald L. Mathématiques concrètes: Fondations pour l'informatique. 2nd ed. Vuibert, 2003.

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

International Meeting of Young Computer Scientists (5th 1988 Smolenice, Slovakia). Machines, languages, and complexity. Springer-Verlag, 1989.

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

Hornung, Robert. Calcul des émissions de gaz à effet de serre en fonction de leur durée et incidences sur la conception des systèmes nationaux d'échange de droits d'émission. Table ronde nationale sur l'environnement et l'économie, 1999.

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

Book chapters on the topic "Systèmes de calcul formel"

1

Quarteroni, Alfio, Paola Gervasio, and Fausto Saleri. "Systèmes linéaires." In Calcul Scientifique. Springer Milan, 2010. http://dx.doi.org/10.1007/978-88-470-1676-7_5.

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

Marlin, Roger. "Une conjecture sur les anneaux de Chow A(G, Z) renforcée par un calcul formel." In Effective Methods in Algebraic Geometry. Birkhäuser Boston, 1991. http://dx.doi.org/10.1007/978-1-4612-0441-1_20.

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

"Chapitre 4 Systèmes quantiques simples." In Physique quantique, information et calcul. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2413-7-008.

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

"Chapitre 4 Systèmes quantiques simples." In Physique quantique, information et calcul. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2413-7.c008.

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

"Calcul du résidu et applications." In Introduction à la résolution des systèmes polynomiaux. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71647-1_10.

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

"Calcul dans une algèbre quotient." In Introduction à la résolution des systèmes polynomiaux. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71647-1_2.

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

"1 Préliminaires de calcul différentiel." In Des équations différentielles aux systèmes dynamiques I. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1214-1-002.

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

"1 Préliminaires de calcul différentiel." In Des équations différentielles aux systèmes dynamiques I. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1214-1.c002.

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

"Chapitre 9 Dynamique des systèmes quantiques ouverts." In Physique quantique, information et calcul. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2413-7-013.

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

"Chapitre 9 Dynamique des systèmes quantiques ouverts." In Physique quantique, information et calcul. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2413-7.c013.

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

Conference papers on the topic "Systèmes de calcul formel"

1

Geyl, R. "Le calcul des combinaisons." In Systèmes optiques. EDP Sciences, 1992. http://dx.doi.org/10.1051/sfo/1992001.

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

Couallier, Vincent, Laurent Denis, and Franck Bayle. "Calcul de MTBF des systèmes aéronautiques inspectés périodiquement soumis à rupture aléatoire de systèmes de régulation." In Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61795.

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

Signoret, J.-P., and R. Ostebo. "Norme ISO TR 12489 : modélisation et calcul fiabilistes des systèmes de sécurité." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56238.

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

Folleau, Cyrille, C. Vinuesa, and S. Collas. "Méthode de calcul de la disponibilité de production des systèmes pétroliers multi-flux." In Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61816.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Systèmes de calcul formel' for particular source types:
Journal articles Dissertations / Theses Books
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