Log in

Relevant bibliographies by topics / Systèmes de calcul formel / Journal articles

To see the other types of publications on this topic, follow the link: Systèmes de calcul formel.

Journal articles 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 top 50 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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

11

Mahboubi, Assia. "Calcul Formel et Preuves Formelles." Les cours du CIRM 6, no. 1 (2018): 1–10. http://dx.doi.org/10.5802/ccirm.27.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Ollivier, François. "Identifiabilité et identification : du Calcul Formel au Calcul Numérique ?" ESAIM: Proceedings 9 (2000): 93–99. http://dx.doi.org/10.1051/proc:2000019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Pottier, Loïc. "Preuves formelles automatiques et calcul formel." Les cours du CIRM 2, no. 1 (2011): 1–25. http://dx.doi.org/10.5802/ccirm.15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Carrière, Alain, and Louis-Rémi Oudin. "Applications du calcul formel à la balistique." Theoretical Computer Science 187, no. 1-2 (1997): 263–84. http://dx.doi.org/10.1016/s0304-3975(97)00069-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Belabas, Karim. "Théorie algébrique des nombres et calcul formel." Les cours du CIRM 2, no. 1 (2011): 1–40. http://dx.doi.org/10.5802/ccirm.13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

-OLLIVIER, François. "MAXIMA et les logiciels libres de calcul formel." Revue de l'Electricité et de l'Electronique -, no. 10 (2005): 89. http://dx.doi.org/10.3845/ree.2005.089.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Jellali, Salah, and Olivier Razakarisoa. "Transport avec échange gazeux du trichloroéthylène vers une nappe aquifère." Revue des sciences de l'eau 19, no. 1 (2006): 33–45. http://dx.doi.org/10.7202/012595ar.

Full text

Abstract:

Résumé Deux expériences ont été réalisées sur un site expérimental contrôlé de dimensions décamétriques reconstituant un aquifère alluvial. L’originalité de ce travail est basée sur le fait que cette plate-forme expérimentale permet de rendre compte du rôle de la frange capillaire dans les phénomènes de transfert, ce qui est difficilement accessible sur des systèmes réduits de laboratoire ou dans les investigations sur site réel. L’objectif principal est l’évaluation quantitative des mécanismes de transfert de Composés Organiques Volatils (COV) depuis la zone non saturée vers la nappe dans le

APA, Harvard, Vancouver, ISO, and other styles

18

Lenne, Dominique, Jean-Michel Gelis, Jean-Baptiste Lagrange, and Dominique Py. "Modélisation de l’interaction dans les EIAO utilisant le calcul formel." Sciences et techniques éducatives 8, no. 1 (2001): 87–98. http://dx.doi.org/10.3406/stice.2001.1528.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

AGABRIEL, J. "Avant-propos." INRAE Productions Animales 20, no. 2 (2007): 107–8. http://dx.doi.org/10.20870/productions-animales.2007.20.2.3442.

Full text

Abstract:

L’alimentation des ruminants : un problème d’actualitéDans la conduite et la réussite d’un système de production de Ruminants, l’alimentation du troupeau reste un domaine très important qui continue de poser de nombreuses questions à la fois pratiques et théoriques. Pour l’éleveur, les postes récolte des fourrages et des céréales, achats d’aliments et entretien des surfaces fourragères représentent plus de 50 % des charges opérationnelles de son exploitation. Nourrir quotidiennement son troupeau lui impose de faire des choix de types de rations et en amont des choix stratégiques de long

APA, Harvard, Vancouver, ISO, and other styles

20

Aït-Ameur, Yamine, Rémi Delmas, and Virginie Wiels. "Un cadre formel pour la spécification multivue de systèmes avioniques." Techniques et sciences informatiques 25, no. 1 (2006): 43–72. http://dx.doi.org/10.3166/tsi.25.43-72.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Desvaux, Stéphanie, and Muriel Figuié. "Systèmes de surveillance formel et informel : comment construire des liens." Revue d’élevage et de médecine vétérinaire des pays tropicaux 68, no. 1 (2015): 33. http://dx.doi.org/10.19182/remvt.20574.

Full text

Abstract:

Dans le contexte de la surveillance de l’influenza aviaire au Vietnam, des enquêtes ont été conduites auprès d’éleveurs de volailles et d’acteurs locaux de la santé animale dans deux communes du delta du fleuve Rouge afin d’identifier la circulation d’informations sanitaires concernant les volailles (contenu de l’information ; mode, rayon et rapidité de circulation ; acteurs impliqués ; actions déclenchées par les informations reçues ; incitations économiques et sociales à la diffusion ou à la rétention d’information). Les principaux résultats montrent que a) des réseaux de surveillance inform

APA, Harvard, Vancouver, ISO, and other styles

22

Lagrange, Jean-Baptiste, and Dominique Py. "Variations, un environnement de calcul formel pour l’étude des fonctions réelles." Sciences et techniques éducatives 8, no. 1 (2001): 186–87. http://dx.doi.org/10.3406/stice.2001.1550.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Laubie, François. "Systèmes dynamiques et lois de groupe formel sur les corps finis." Journal of Number Theory 125, no. 1 (2007): 133–48. http://dx.doi.org/10.1016/j.jnt.2006.11.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Lagrange, Jean-Baptiste, and Dominique Py. "Développer un environnement d’apprentissage utilisant le calcul formel. Hypothèses, méthode, première réalisation." Sciences et techniques éducatives 9, no. 1 (2002): 91–120. http://dx.doi.org/10.3406/stice.2002.1501.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Gros, Antoine. "Émergence de morphologies pour l’acoustique des espaces de performance." SHS Web of Conferences 47 (2018): 01013. http://dx.doi.org/10.1051/shsconf/20184701013.

Full text

Abstract:

L’acoustique est un vecteur important de qualité de l’ambiance architecturale dans un espace. Elle est aussi une contrainte forte pour le volume correspondant, dont la maîtrise des altérations pour améliorer la perception sonore n’est pas triviale. Nous proposons un outil d’aide à la décision a priori de la forme architecturale, utilisant un algorithme génétique multicritère couplé à un système de simulation acoustique et de calcul des mesures ISO. Son utilisation permet au concepteur l’émersion de morphologies innovantes et qualitatives, aptes à mettre en espace les visions contemporaines des

APA, Harvard, Vancouver, ISO, and other styles

26

Bettendorf, Léon, and Anton Barten. "Rationnement dans les systèmes de demande : calcul des prix virtuels." Économie & prévision 121, no. 5 (1995): 101–8. http://dx.doi.org/10.3406/ecop.1995.5764.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Petitgirard, Loïc. "Machines analogiques et mathématiques des systèmes dynamiques. Le groupe de « Dynamique théorique » de Théodore Vogel à Marseille (France), 1948-1964." Revue de Synthèse 139, no. 3-4 (2018): 327–60. http://dx.doi.org/10.1163/19552343-13900016.

Full text

Abstract:

Résumé Cet article présente l’analyse d’une expérience de construction de savoirs mathématiques en rapports avec les machines, dans les années 1950 et 1960, à une époque où le calcul analogique cohabitait avec le calcul digital (c’est-à-dire le futur « ordinateur », terme introduit dans la langue française pour désigner principalement les « digital computers »). Les mathématiques en jeu relèvent des théories des systèmes dynamiques, c’est-à-dire des outils mathématiques construits pour comprendre la dynamique de différents types de systèmes, qu’ils soient mathématiques, physiques, biologiques,

APA, Harvard, Vancouver, ISO, and other styles

28

Talbert, T. "Utilisation d'un logiciel de calcul formel - Maple V - dans l'enseignement de Traitement du Signal." J3eA 3 (2004): 002. http://dx.doi.org/10.1051/bib-j3ea:2004002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Fitchas, Noaï, and André Galligo. "Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin) pour le Calcul Formel." Mathematische Nachrichten 149, no. 1 (1990): 231–53. http://dx.doi.org/10.1002/mana.19901490118.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Amanti, Maria, Florent Baboux, and Sara Ducci. "Les sources intégrées de photons intriqués au coeur des technologies quantiques." Photoniques, no. 91 (May 2018): 25–28. http://dx.doi.org/10.1051/photon/20189125.

Full text

Abstract:

L’intrication est un des aspects les plus fascinants et contre-intuitifs des systèmes quantiques, devenue une ressource clé dans tous les domaines de l’information quantique, des communications à la métrologie, des simulations au calcul. La photonique quantique intégrée est en train de jouer un rôle moteur pour le développement de sources de photons intriqués de plus en plus performantes et leur insertion dans des circuits quantiques complexes.

APA, Harvard, Vancouver, ISO, and other styles

31

Baccar, Soufia, Georges Seignier, and Françoise Lamnabhi-Lagarrigue. "Utilisation du calcul formel pour la modélisation et la simulation des circuits électroniques faiblement non linéaires." Annales des Télécommunications 46, no. 5-6 (1991): 282–88. http://dx.doi.org/10.1007/bf02999399.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Tiglyene, Souad, Abderrahim Jaouad, and Laila Mandi. "Mobilité et spéciation du chrome dans un système à phragmites australis de traitement des eaux usées de tanneries." Revue des sciences de l'eau 21, no. 1 (2008): 1–16. http://dx.doi.org/10.7202/017927ar.

Full text

Abstract:

Résumé L’objectif de ce travail est l’étude de la répartition, la migration, la spéciation et la biodisponibilité du Cr dans les différents horizons du sol au niveau d’un pilote à Phragmites australis (Cav.) Trin ex Steudel de traitement du rejet du tannage au chrome. Les résultats obtenus sont comparés à ceux d’un pilote non planté. La spéciation chimique du Cr total a été réalisée par cinq extractions séquentielles. L’extraction du chrome biodisponible est effectuée par CaCl2 (0,1 M). Les résultats de la répartition du Cr montrent que l’horizon superficiel renferme des teneurs élevées en Cr

APA, Harvard, Vancouver, ISO, and other styles

33

Le Garrec, Gilles. "Systèmes de retraite par répartition, mode de calcul des droits à pension et croissance." Recherches économiques de Louvain 67, no. 4 (2001): 357. http://dx.doi.org/10.3917/rel.674.0357.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Simonian-Sauve, M., and C. Smart. "Tests d'évaluation des systèmes informatiques concernant le calcul de la dose en trois dimensions." Cancer/Radiothérapie 2, no. 1 (1998): 53–62. http://dx.doi.org/10.1016/s1278-3218(98)89062-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Pradel, Jean. "Les grandes tendances de l’européanisation des systèmes pénaux nationaux." Les Cahiers de droit 50, no. 3-4 (2010): 1015–38. http://dx.doi.org/10.7202/039347ar.

Full text

Abstract:

Cette étude a pour objet de décrire, en ce qui concerne le droit pénal matériel et formel, un phénomène original : celui d’un rapprochement entre des droits nationaux d’un continent et comme ce continent est l’Europe, on peut parler d’une européanisation des droits pénaux nationaux. Le thème est complexe pour plusieurs raisons. D’abord car ce phénomène d’européanisation affecte une criminalité transfrontalière organisée que l’on saisit mal. La complexité vient ensuite de ce qu’il y a deux Europes, celle du Conseil de l’Europe (47 États) et celle de l’Union européenne (27 des 47). Or ces deux E

APA, Harvard, Vancouver, ISO, and other styles

36

Fleck, Stéphanie, and Luc Massou. "Le numérique pour l’apprentissage collaboratif : nouvelles interfaces, nouvelles interactions." Médiations et médiatisations, no. 5 (January 29, 2021): 3–10. http://dx.doi.org/10.52358/mm.vi5.191.

Full text

Abstract:

Les systèmes éducatifs, de l'école à l'université, sont confrontés à un contexte de profonds changements qui transforment les pratiques d'enseignement et l'apprentissage formel. Avec l'ambition de permettre aux apprenants d'apprendre, de faire, d'être et de décider individuellement et collectivement, dans un monde complexe en perpétuel mouvement, les institutions encouragent la mise en œuvre d'approches collaboratives. Au cœur de ces enjeux, les technologies numériques voient également leur diversité s'accroître rapidement. Les interfaces de nouvelle génération, telles que les interfaces tangi

APA, Harvard, Vancouver, ISO, and other styles

37

COULON, J. B., and J. AGABRIEL. "Réflexions sur les outils de mise en oeuvre des recommandations alimentaires. Application aux vaches laitières dans les conditions françaises." INRAE Productions Animales 5, no. 5 (1992): 347–53. http://dx.doi.org/10.20870/productions-animales.1992.5.5.4250.

Full text

Abstract:

Les systèmes d’alimentation des ruminants et les recomandations alimentaires qui en découlent ont fait l’objet de modifications sensibles au cours de ces dernières années, en France comme à l’étranger. Parallèlement, les outils d’application de ces recommandations se sont diversifiés. En France, la plupart de ces outils se réfèrent aux recommandations de l’INRA. Il est donc important de bien différencier les recommandations alimentaires des outils qui permettent de les mettre en oeuvre. Parmi ces outils, on peut distinguer les tables et tableaux (qui fournissent des valeurs d’aliment ou de bes

APA, Harvard, Vancouver, ISO, and other styles

38

Dolata, Stéphanie. "Indice du statut socioéconomique du milieu familial des élèves du SACMEQ." Mesure et évaluation en éducation 31, no. 1 (2014): 121–49. http://dx.doi.org/10.7202/1025015ar.

Full text

Abstract:

Cet article présente la construction de l’échelle SSE-SACMEQ comme une mesure du statut socioéconomique (SSE) du milieu familial des élèves du primaire des systèmes éducatifs du Consortium de l’Afrique australe pour le pilotage de la qualité de l’éducation (SACMEQ). Cette échelle, composée de 18 items, a été élaborée à l’aide du modèle de mesure de Rasch. Les scores du SSE-SACMEQ de plus de 60 000 élèves ont été analysés afin d’établir des profils (réponses attendues aux items) par pays. Une corrélation positive entre le SSE des élèves et leurs performances en lecture et en calcul a été trouvé

APA, Harvard, Vancouver, ISO, and other styles

39

LAISSE, Sarah, René BAUMONT, Léonie DUSART, et al. "L’efficience nette de conversion des aliments par les animaux d’élevage : une nouvelle approche pour évaluer la contribution de l’élevage à l’alimentation humaine." INRA Productions Animales 31, no. 3 (2019): 269–88. http://dx.doi.org/10.20870/productions-animales.2018.31.3.2355.

Full text

Abstract:

L’élevage est souvent perçu comme inefficient pour produire des denrées alimentaires pour l’Homme car les animaux consomment davantage de végétaux qu’ils ne produisent de viande, de lait ou d’œufs. Le calcul de l’efficience nette de conversion des aliments en ne considérant dans le calcul que la part potentiellement consommable par l’Homme des aliments utilisés par les animaux permet de relativiser ce constat. En effet, une large part des aliments consommés par les animaux d’élevage (fourrages, coproduits…) n’est pas directement consommable par l’Homme. Appliqués à des systèmes d’élevage franç

APA, Harvard, Vancouver, ISO, and other styles

40

LEVALLOIS, PHILIPPE. "Calcul d'une fonction de Melnikov et de ses zeros pour une perturbation algebrique du billard elliptique." Ergodic Theory and Dynamical Systems 17, no. 2 (1997): 435–44. http://dx.doi.org/10.1017/s0143385797069836.

Full text

Abstract:

Nous développons dans cet article des résultats de M. B. Tabanov et moi-même annoncés dans la note [6]. M. B. Tabanov a donné un exposé de ses méthodes dans [7]. Notre approche, différente, est le sujet principal de notre thèse [5], soutenue à l'université de Paris VII sous la direction de A. Chenciner. Nous étudions la séparation des séparatrices d'un billard elliptique pour une déformation algébrique et donc globale de l'ellipse. Nous mesurons cette séparation par une fonction de Melnikov (dont le calcul est peu fréquent dans le cadre des systèmes dynamiques discrets), et nous observons que

APA, Harvard, Vancouver, ISO, and other styles

41

Ghaddar, A., and N. Sinno. "Calcul numérique accéléré de mesures de performance sur les modèles Markoviens appliqués aux systèmes informatiques et de télécommunications." Journal de Physique IV (Proceedings) 124 (May 2005): 275–82. http://dx.doi.org/10.1051/jp4:2005124041.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

POMAR, C., F. DUBEAU, and J. VAN MILGEN. "La détermination des besoins nutritionnels, la formulation multicritère et l’ajustement progressif des apports de nutriments aux besoins des porcs." INRAE Productions Animales 22, no. 1 (2009): 49–54. http://dx.doi.org/10.20870/productions-animales.2009.22.1.3333.

Full text

Abstract:

Dans un contexte dans lequel le coût élevé des matières premières et l’utilisation de sources non renouvelables de phosphates sont des enjeux majeurs pour les productions animales, l’alimentation de précision est proposée comme une démarche essentielle à l’accroissement de l’efficacité d’utilisation de l’azote et du phosphore alimentaire, et par conséquent, une réduction de leur excrétion. Une alimentation de précision requiert de bien caractériser le potentiel nutritif des aliments, de déterminer avec précision les besoins nutritionnels des animaux, de prédire la réponse animale aux apports n

APA, Harvard, Vancouver, ISO, and other styles

43

Sahili, J., G. Verchery, A. Ghaddar, and M. Zoaeter. "Résolution parallèle appliquée à des grands systèmes linéaires creux pour le calcul de la matrice de souplesse d'une structure mécanique." Journal de Physique IV (Proceedings) 124 (May 2005): 347–51. http://dx.doi.org/10.1051/jp4:2005124051.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Theau, Jean-Pierre, and François Prud’homme. "FlorealData : Des traits de vie d’espèces végétales pour le calcul d’indices agronomiques et écologiques des communautés prairiales." Cahiers Agricultures 30 (2021): 36. http://dx.doi.org/10.1051/cagri/2021022.

Full text

Abstract:

La transition agroécologique des systèmes d’élevage en zone herbagère nous amène à mieux concilier deux disciplines complémentaires que sont l’écologie et l’agronomie. Le fort recul de la prairie permanente, malgré les enjeux environnementaux qu’elle représente, ont amené le Conservatoire botanique national des Pyrénées et de Midi-Pyrénées (CBNPMP) et l’Institut national de recherche pour l’agriculture, l’alimentation et l’environnement (INRAE) de Toulouse à rassembler, dans une base de données régionale, des traits de vie d’espèces prairiales, nécessaires au calcul d’indices agroécologiques.

APA, Harvard, Vancouver, ISO, and other styles

45

FAVERDIN, P. "Alimentation des vaches laitières : comparaison des différentes méthodes de prédiction des quantités ingérées." INRAE Productions Animales 5, no. 4 (1992): 271–82. http://dx.doi.org/10.20870/productions-animales.1992.5.4.4241.

Full text

Abstract:

Les différentes méthodes de prédiction des quantités ingérées peuvent être regroupées en 3 grands types : 1) les équations de régression multiple, généralement empiriques et issues de compilation de données expérimentales, 2) le système de 2 prédictions, l’une liée à une régulation de l’appétit de type physique (encombrement du tractus digestif), l’autre de type énergétique (satisfaction des besoins énergétiques) dont seule la plus faible est conservée pour la prédiction des quantités ingérées, 3) le système basé sur les unités d’encombrement (UE) des fourrages et la substitution de l’aliment

APA, Harvard, Vancouver, ISO, and other styles

46

Chraïbi, Sylvie. "La lisibilité de la version arabe de la Convention internationale des droits de l’enfant." TTR 29, no. 1 (2018): 61–83. http://dx.doi.org/10.7202/1050708ar.

Full text

Abstract:

Cet article vise à mettre en évidence les causes d’une apparente contradiction entre le fait que la version arabe de la Convention internationale des droits de l’enfant est supposée s’adresser « à tout entendeur » (Cornu, 2005, p. 227-228) et que les contraintes rédactionnelles auxquelles elle a été soumise (De Saint Robert, 2013) en rendent, à notre avis, la lecture malaisée pour un non-spécialiste du jargon onusien. Aussi, bien que la Convention soit considérée comme un instrument juridique international à vocation universelle faisant foi, conformément au principe d’égale authenticité des ve

APA, Harvard, Vancouver, ISO, and other styles

47

Poulin, M. "Modélisation numérique des échanges hydrauliques et thermiques entre rivière et nappe alluviale." Revue des sciences de l'eau 1, no. 1-2 (2005): 107–28. http://dx.doi.org/10.7202/705005ar.

Full text

Abstract:

Dans les régions de plaine, la présence d'un cours d'eau s'accompagne généralement de celle d'une nappe alluviale. Des échanges entre nappe et rivière ont lieu à travers le fond du lit et les berges. Ces écoulements ont une influence sur leur régime thermique respectif. Dans un premier temps, afin de préciser ce terme souvent négligé du bilan thermique des cours d'eau, nous avons calculé, à l'aide d'un modèle numérique, le débit et les apports thermiques correspondants en provenance de la nappe lorsque la nappe alimente la rivière. Les résultats sont fonction de paramètres décrivant la forme d

APA, Harvard, Vancouver, ISO, and other styles

48

Grace, D., T. F. Randolph, Alphonse Omoré, E. Schelling, and Bassirou Bonfoh. "Place de la sécurité sanitaire des aliments dans l’évolution de la politique laitière en faveur des pauvres en Afrique de l’Est et de l’Ouest." Revue d’élevage et de médecine vétérinaire des pays tropicaux 60, no. 1-4 (2007): 153. http://dx.doi.org/10.19182/remvt.9967.

Full text

Abstract:

En Afrique de l’Est et de l’Ouest, la plus grande partie du lait provient de petits producteurs qui le vendent sur les marchés informels. Les auteurs font le point sur l’évolution des politiques de développement qui commencent à prendre en compte ce secteur ignoré jusqu’alors et qui prônent une réévaluation des politiques laitières. Ils montrent que la politique laitière actuelle, élaborée à partir de celle des pays développés et des systèmes industrialisés, est inopérante ou inefficace, comme en témoignent la prédominance du secteur informel et le taux élevé de maladies transmises par le lait

APA, Harvard, Vancouver, ISO, and other styles

49

Carrive, Laurent. "De la réalité des modèles et des théories." Acta Europeana Systemica 4 (July 14, 2020): 89–98. http://dx.doi.org/10.14428/aes.v4i1.57283.

Full text

Abstract:

La réalité des modèles comme des théories fait aujourd’hui l'objet de nombreux débats. Pourtant, ce critère essentiel reste actuellement négligé du fait de l’expansion d'un certain constructivisme, qui admet implicitement une forme d’équivalence entre justesse des prédictions et réalité physique. Dans cet article, nous entendons par modèle physique, un système mathématico-logique prédictif, permettant de simuler le comportement d’un objet. Une théorie, plus générale qu’un modèle, désignera un objet cognitif qui prétend décrire et expliquer la nature et le comportement réel d’un phénomène. Nous

APA, Harvard, Vancouver, ISO, and other styles

50

BRAVO, D., and F. MESCHY. "Vers une révision des recommandations d’apports en phosphore chez le ruminant." INRAE Productions Animales 16, no. 1 (2003): 19–26. http://dx.doi.org/10.20870/productions-animales.2003.16.1.3641.

Full text

Abstract:

Pour répondre aux impératifs environnementaux émergents, il est devenu nécessaire de considérer les recommandations d’apport en phosphore à la fois sous l’angle d’une connaissance plus fine des besoins des animaux et de la maîtrise des rejets polluants. Les paramètres les plus sensibles de l’approche factorielle, besoin d’entretien et efficacité de l’utilisation digestive du phosphore ou coefficient d’absorption réelle (CAR), ont été réexaminés par l’analyse quantitative d’une base de données bibliographiques et par de nouvelles données expérimentales. Le besoin d’entretien apparaît fortement

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!