Academic literature on the topic 'Calcul naturel'

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 naturel.'

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 naturel"

1

Kévin Perrot and Sylvain Sené. "Les réseaux d'automates booléens au cœur du calcul naturel." Bulletin 1024, no. 20 (November 2022): 171–82. http://dx.doi.org/10.48556/sif.1024.20.171.

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

Quantin, M., C. Morio, G. Guibu Pereira, J. Vazquez, J. Wertel, S. Isel, S. Galuola, and J. Buche. "Calibration numérique 3D de vannes basculantes pour la mesure du débit déversé." Techniques Sciences Méthodes, no. 5 (May 2019): 89–100. http://dx.doi.org/10.1051/tsm/201905089.

Full text
Abstract:
Un des objectifs principaux de l’arrêté du 21 juillet 2015 est de limiter les déversements non contrôlés du réseau d’assainissement vers le milieu naturel. Certaines collectivités, telles qu’Orléans Métropole, ont mis en place des vannes à basculement sur les conduites exutoires de leurs déversoirs afin de maximiser le stockage en réseau et de retarder ainsi les déversements d’eau vers le milieu naturel. Le présent travail consiste à concilier l’usage de ce type de vanne avec l’obligation d’autosurveillance, induite par le même arrêté, en élaborant une loi de calibration. Après une caractérisation du fonctionnement hydraulique de ce type de vanne, notamment en écartant l’influence du poids de la vanne et du clapet antiretour, une approche 1D, basée sur le couplage d’une loi d’orifice et d’un calcul de courbe de remous à charge spécifique constante, est proposée avant d’être validée par modélisation 3D avec un logiciel de mécanique des fluides numérique. Enfin, l’article conclut sur la proposition d’un dispositif de mesure adapté à ce type de vanne, composé d’une sonde à ultrasons en amont et d’un détecteur de basculement sur la vanne, et à un calcul de l’incertitude assortie à l’évaluation du débit, environ 20%.
APA, Harvard, Vancouver, ISO, and other styles
3

Vazquez, J., M. François, and D. Gilbert. "Gestion en temps réel d'un réseau d'assainissement : vérification de l'optimalité et de l'applicabilité de la théorie des graphes par rapport à la programmation linéaire mixte." Revue des sciences de l'eau 16, no. 4 (April 12, 2005): 425–42. http://dx.doi.org/10.7202/705516ar.

Full text
Abstract:
Dans le cas de la gestion en temps réel des réseaux d'assainissement, la première étape peut, par exemple, consister à vérifier qu'une manipulation des organes de contrôle tels que les vannes et pompes est capable de minimiser les déversements vers le milieu naturel. Cette gestion, que l'on appellera " gestion de référence ", permet de déterminer les stratégies de commande sur toute la durée de l'événement pluvieux connu à l'avance. Ce calcul se fait donc à la fin de l'événement pluvieux et permet de dire ce qui aurait pu être fait avec les organes de régulation en terme de minimisation des volumes déversés. La programmation linéaire par les graphes et la programmation linéaire mixte permettent de déterminer une solution optimale. Cet article s'intéresse à la vérification de l'optimalité et à l'applicabilité de la programmation linéaire par les graphes comparée à la programmation linéaire mixte dans le cas de la " gestion de référence " sur le réseau d'assainissement de Saverne (France). En comparant les volumes déversés par ces deux techniques d'optimisation sur 34 événements pluvieux, nous pouvons confirmer que l'approche par les graphes ne donne pas toujours le minimum global. Les résultats ont montré que la programmation linéaire mixte fournit des temps de calcul qui peuvent atteindre plus de 24 heures. Par contre, l'approche par les graphes permet un temps de calcul de l'ordre de 5 minutes en moyenne avec un minimum global en terme de volume déversé atteint qui n'excède pas 5% par rapport à la solution fournie par la programmation linéaire mixte.
APA, Harvard, Vancouver, ISO, and other styles
4

Vernes, Jean-René. "Le principe de Pascal-Hume et la métaphysique." Articles 22, no. 2 (August 7, 2007): 237–46. http://dx.doi.org/10.7202/027330ar.

Full text
Abstract:
RÉSUMÉ Le raisonnement par lequel Hume établit l'ori- gine empirique de Vidée de cause repose implicitement sur un principe de possibilité a priori et même de probabilité a priori, dont Hume n'a pas remarqué le caractère rationnel, tant il paraissait naturel. Ce principe est identique à celui sur lequel Pascal fonde le calcul des probabilités. Si l'on admet sa légitimité, il en résulte deux conséquences capita- les pour la théorie de la connaissance : 1 - La raison ne se limite pas aux seuls principes logiques en oeuvre dans la déduction mais doit reconnaître que ce qui est également pensable est également probable a priori. 2 - Ce principe de probabilité fournit une preuve de l'existence d'une réalité extérieure à la conscience, que l'on cherchait en vain dans le principe de causalité.
APA, Harvard, Vancouver, ISO, and other styles
5

BERTHELOT, Jean Michel. "Pluralité et cumulativité." Sociologie et sociétés 25, no. 2 (September 30, 2002): 23–36. http://dx.doi.org/10.7202/001062ar.

Full text
Abstract:
Résumé Cet article vise à explorer la question suivante : comment, dans une démonstration sociologique, opérer une articulation fondée de données hétérogènes ? Après avoir avancé qu'il ne s'agit pas d'un problème scolastique mais d'une difficulté inhérente à la construction du discours sociologique, l'auteur se propose de montrer comment un certain usage du formalisme permet d'apporter une réponse intéressante à la question initiale. Cet usage ne: consiste pas à la vaine substitution d'un calcul logique au langage naturel, mais à l'explicitation, grâce au formalisme, des opérations cognitives nécessaires à l'appréhension des divers niveaux de saisie du social, conçu comme étant, indissolublement, structure, histoire et sens. Ainsi peut-être avancée, in fine, la thèse d'un principe de cumulativité critique, qui permet, dans le maquis de la production sociologique, le repérage des lignes pertinentes d'une capitalisation raisonnée des connaissances.
APA, Harvard, Vancouver, ISO, and other styles
6

Lalou, Richard, and Mario Boleda. "Une source en friche : les dénombrements sous le régime français." Revue d'histoire de l'Amérique française 42, no. 1 (September 24, 2008): 47–72. http://dx.doi.org/10.7202/304650ar.

Full text
Abstract:
RÉSUMÉ Cet article se propose d’évaluer la qualité des dénombrements de la population canadienne réalisés entre 1685 et 1739. L’appréciation de la cohérence interne de ces documents permet d’abord de suspecter le sous-enregistrement de certaines catégories de la population, comme par exemple les femmes au 17e siècle et les jeunes garçons dans le premier quart du 18e siècle. Afin de mesurer l’ampleur globale du sous-enregistrement, la critique des données consiste ensuite à comparer l’effectif de la population enregistrée au nombre des personnes présentes au moment du recensement, tel qu’estimé par la technique du solde naturel cumulé. Il ressort de ce calcul que tous les dénombrements pèchent par défaut d’enregistrement. Avec un taux moyen d’omission d’un peu plus de 10%, les dénombrements sont finalement, pour l’époque pré-statistique, d’une qualité suffisante pour que leur exploitation puisse être entreprise avec profit.
APA, Harvard, Vancouver, ISO, and other styles
7

Hamouda, Leïla, and Yassine Hachaichi. "NOTE SUR L'EXTRACTION DE LA RACINE CARRÉE D'UN ENTIER CHEZ IBN AL-HAYṮAM ET COMPARAISON AVEC AL-BAĠDĀDĪ." Arabic Sciences and Philosophy 31, no. 1 (March 2021): 149–57. http://dx.doi.org/10.1017/s0957423920000119.

Full text
Abstract:
Dans le cadre des algorithmes numériques introduits et élaborés par les mathématiciens arabes, à partir du ixe siècle, figure l'algorithme de l'extraction de la racine carrée d'un entier naturel. Cet algorithme a été étudié chez plusieurs d'entre eux et surtout bien expliqué par alBaġdādī (mort vers 1037) dans le chapitre « Comment extraire la racine des nombres entiers » de son livre « La complétion du calcul », Al-takmila fī al-ḥisāb 1. Dans ce chapitre, al-Baġdādī expose son travail pédagogiquement en six sections traitant de plusieurs manières différentes le problème de l'extraction de la racine carrée d'un entier 2. À la même époque, dans un texte isolé intitulé « Sur la cause de la racine, de son doublement et de son déplacement 3 », Ibn al-Hayṯam (mort vers 1040) donne une justification géométrique de l'algorithme en se basant sur des notions algébriques précises.
APA, Harvard, Vancouver, ISO, and other styles
8

Bouheniche, Salaheddine, and Bénina Touaibia. "Modélisation numérique du transport solide du système « barrage - cours d’eau, transport - déposition » : cas du barrage de Sidi Mohamed Ben Aouda (SMBA) sur l’oued Mina, en zone semi-aride." Revue des sciences de l’eau 26, no. 1 (March 18, 2013): 21–31. http://dx.doi.org/10.7202/1014916ar.

Full text
Abstract:
Résumé Les besoins en eau, en perpétuelle croissance, nécessitent une mobilisation des eaux de surface. La construction de barrages, menacés par un envasement précoce, nécessite une exploitation rationnelle, moyennant des outils d’aide à la quantification et à la prédiction des dépôts de sédiments. Ainsi, le comblement des retenues peut être simulé pour différentes périodes d’exploitation. La maîtrise du processus transport-déposition des sédiments, constitue un centre d’intérêt vers lequel convergent plusieurs approches : prédiction, modélisation stochastique et modélisations mathématique et physique. De multiples interactions existent entre les matériaux solides formant le lit, ceux transportés à proximité du fond et ceux se trouvant en suspension, se traduisant par divers modes de transport. Cette contribution présente un modèle numérique qui se prête au calcul par ordinateur dont le comportement morphologique du lit d’un cours d’eau peut être facilement simulé. Les étapes de son élaboration sont décrites avec détail, le code de calcul ainsi produit est mis en valeur sur un site test de validation. Un tronçon de 17 km est étudié, entre un barrage en exploitation et une station hydrométrique, sise à l’amont de celui-ci avec une bathymétrie à l’appui. Le transport solide dans le cours d’eau naturel est représenté par un système d’équations unidimensionnelles décrivant un mélange Eau-Sédiment et traduisant les lois de conservation. La méthode utilisée aux différences finies est appliquée, avec un schéma implicite. Elle est du premier ordre en temps et du deuxième ordre en espace. Les équations des écoulements à surface libre, en régime non permanent et graduellement varié, sont utilisées qui, associées à l’équation de continuité solide, forment le système de Saint-Venant-Exner. Une formule de charriage est utilisée pour exprimer le débit solide. Les résultats obtenus expliquent la contribution du transport solide par charriage dans le comblement de la retenue d’un barrage étudié en zone semi-aride.
APA, Harvard, Vancouver, ISO, and other styles
9

Zug, M., and L. Phan. "Horus, un modèle conceptuel de simulation de la pollution en réseau d'assainissement - structure et validation." Revue des sciences de l'eau 12, no. 4 (April 12, 2005): 643–60. http://dx.doi.org/10.7202/705370ar.

Full text
Abstract:
Les rejets urbains par temps de pluie constituent à l'heure actuelle une des causes majeures de la pollution du milieu naturel. Dans ce contexte, la modélisation est un des moyens pour comprendre, caractériser et finalement anticiper cette pollution. L'objet de cet article est la présentation générale du modèle de simulation HORUS et les principaux résultats obtenus en phase de validation. HORUS est un modèle de recherche événementiel de type conceptuel et a pour objectif de reproduire le fonctionnement d'un réseau d'assainissement par temps de pluie, au point de vue de l'hydraulique et de la pollution pour des réseaux pluviaux ou unitaires pouvant contenir des ouvrages particuliers. HORUS simule les différents phénomènes d'accumulation et d'érosion des solides sur les surfaces imperméables ainsi que les phénomènes de sédimentation ou d'érosion en collecteurs, en respectant un niveau de complexité homogène pour l'ensemble des étapes de calcul. Les polluants simulés sont les Matières En Suspension (MES), Demande Chimique en oxygène (DCO) et Demande Biochimique en oxygène à 5 jours (DBO5). HORUS a été calé, validé et transposé sur dix réseaux réels de caractéristiques et de localisations variées, avec une centaine d'événements pluvieux de caractéristiques très différentes. Les différents sites et mesures ont permis une large validation et l'obtention de résultats tout à fait satisfaisants pour les pollutogrammes en concentration et flux. Les résultats de validation qualitative et quantitative sur différents bassins versants sont proposés au sein de cet article.
APA, Harvard, Vancouver, ISO, and other styles
10

Belaubre, Gilbert. "Approches méthodologiques et expérimentales des phénomènes complexes." Acta Europeana Systemica 4 (July 14, 2020): 143–64. http://dx.doi.org/10.14428/aes.v4i1.57343.

Full text
Abstract:
La complexité de la nature est multiforme, et il est nécessaire de mettre en oeuvre des approches méthodologiques variées pour tenir compte de cette variété. Les efforts de représentation et d’explication des phénomènes naturels nous conduisent toujours à rechercher, en priorité, des relations de proportionnalité entre les mesures de ce que nous considérons comme des variables pertinentes. La linéarité a été et reste la règle d’or de nos représentations. Mais beaucoup de phénomènes sont rebelles à cette réduction. Les ordinateurs nous aident aujourd’hui à intégrer des myriades de données et à bâtir des modèles non linéaires. Ils ne se substituent pas à la pensée heuristique du savant, mais ils allègent les calculs et permettent des tests d’hypothèses quasiment instantanés. Il a fallu de longs mois de calcul pour que Le Verrier définisse l’orbite d’Uranus. Aujourd’hui, les ordinateurs exécutent ces calculs en quelques microsecondes, et ils ne font pas d’erreurs. Les complexités auxquelles nous devons faire face sont de plusieurs ordres : 1– celles de la physique statistique et de l’astrophysique, 2– celle des constructions moléculaires complexes, qui sont les précurseurs des organismes vivants, 3– celle des morphogenèses et des embryogenèses, 4– celle de la complexité neuronale, de ses processus que nous appelons le mental, 5- celles des phénomènes sociaux chez les animaux inférieurs, 6– celle des animaux sociaux, y compris les humains, particulièrement compliqués par leurs capacité d’anticipation, donc d’interactions réciproques.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Calcul naturel"

1

Perrotin, Pacôme. "Simulation entre modèles de calcul naturel et modularité des réseaux d'automates." Electronic Thesis or Diss., Aix-Marseille, 2021. http://www.theses.fr/2021AIXM0011.

Full text
Abstract:
Nous explorons différentes généralisations concernant les modèles de calcul naturel. La plus théorique est la notion de simulation entre modèles, pour laquelle nous décrivons une série de propositions de définition, en discutant des intérêts et des failles de chacune d’elles. Nous profitons des définitions les plus prometteuses pour élargir le propos sur les possibles conséquences de la simulation en théorie de la complexité, comme la construction de nouvelles classes de complexité en proposant la substitution de la réduction polynomiale par la simulation. Notre approche plus appliquée consiste en la généralisation des réseaux d’auto-mates sous formes de modules, qui possèdent des entrées. Ce formalisme permet d’approcher les questions de la dynamique des réseaux d’interactions sous un nouvel angle : nous explorons son utilité en tant qu’outil modulaire propre à simuler de façon flexible de nombreux objets similaires, ainsi que l’expressivité des modules acycliques. Ceux-ci permettent la caractérisation de la dynamique des réseaux d’automates sous la forme de fonctions de sortie. Cette expressivité nous autorise la description d’un processus d’optimisation de réseaux d’automates, qui réduit certains réseaux en taille tout en conservant des attracteurs équivalents
We explore different generalisations about natural computation models. The mosttheoretical is the notion of simulation between models, for which we describe a seriesof proposed definitions, by discussing the interests and the flaws of each of them. Wetake advantage of the most promising definitions to broaden the discussion on thepossible consequences of simulation in complexity theory, such as the constructionof new complexity classes by proposing the substitution of polynomial reduction bysimulation.Our more applied approach consists in the generalisation of automata networks bymeans of modules that have inputs. This formalism makes it possible to approach thequestions of the dynamics of interaction networks from a new angle : we explore itsusefulness as a modular tool capable of flexibly simulating many similar objects, aswell as the expressiveness of acyclic modules. These allow the characterisation of thedynamics of automata networks in the form of output functions. This expressivenessallows us to describe a process for optimising automata networks that reduces certainnetworks in size while retaining equivalent attractors
APA, Harvard, Vancouver, ISO, and other styles
2

Dupont, Michel. "Une approche cognitive du calcul de le référence." Caen, 2003. http://www.theses.fr/2003CAEN2084.

Full text
Abstract:
Nous proposons des modèles qui correspondent aux différentes acceptions de l'expression calcul de la référence. Ce que nous appelons la construction du sens correspond au calcul de la référence au sens le plus large. Ce calcul résulte d'une interaction entre modules spécialisés et tient compte des anticipations que fait le lecteur. Nous estimons avoir validé l'aspect modulaire de ce modèle dans le cadre d'un travail d'équipe sur l'Extraction d'Information. Nous proposons aussi un modèle de l'identification des entités qui correspond au calcul de la référence dans un sens plus étroit. Nous voulons identifier une entité quand le système lit une marque linguistique qui y fait référence. Le modèle des attentes donne alors à tout moment le degré de mobilisation de l'attention portée par le lecteur sur les entités. C'est ce que nous appelons la saillance des entités que nous représentons par une valeur numérique. Nous avons conçu le logiciel Calcoref qui édite les chaînes de coréférences du texte qui lui est donné en entrée. Notre système réalise un score de 88% en f-mesure sur un texte contenant 54 relations de coréférences. L'évaluation qualitative débouche sur la spécification d'une prochaine version qui devrait amener une validation encore plus probante. Le développement incrémental de Calcoref est un projet à long terme qui vise des objectifs de recherche fondamentale en validant les grandes lignes d'une théorie et en permettant de la développer plus en détail. Calcoref est conçu pour mener des expériences et nous espérons qu'il aidera à mieux comprendre des phénomènes référentiels.
APA, Harvard, Vancouver, ISO, and other styles
3

Silva-Julia, Rita da. "Un système hybride pour le traitement du langage naturel et pour la récupération de l'information." Toulouse 3, 1995. http://www.theses.fr/1995TOU30255.

Full text
Abstract:
Nous proposons dans ce memoire la mise en uvre d'un systeme hybride de liaison entre les ressources du calcul des predicats et celles de la logique terminologique. Ce systeme est capable de: ? produire une representation formelle d'exigences exprimees en langage naturel dans le cadre de specifications de logiciel. ? introduire dans une base de connaissances la representation formelle obtenue pour chaque exigence en prenant soin de detecter les possibles redondances et contradictions. ? repondre a des questions posees au systeme, par l'execution d'un mecanisme d'inference permettant la recuperation de l'information stockee dans la base de connaissances. Les exigences appartiennent a un sous-ensemble restreint du langage naturel qui se situe dans le contexte du domaine spatial. La representation formelle d'une exigence est obtenue par une analyse syntaxique et semantique. Elle correspond a une formule du calcul des predicats dont les variables sont annotees par des expressions de la logique terminologique qui les particularisent. L'analyseur syntaxico-semantique implemente est un systeme formel construit selon la theorie du structuralisme. Ce systeme formel definit une grammaire applicative dont le mecanisme d'application est guide par une methode heuristique de l'intelligence artificielle. Les reponses du systeme correspondent a l'evaluation partielle des questions par rapport a la base de connaissances. La recuperation de l'information est effectuee par un demonstrateur de theoreme base sur la technique de la resolution lineaire. Ce demonstrateur utilise la semantique de la logique terminologique pour guider son mecanisme d'inference. Les principales contributions de notre travail sont les suivantes: ? la mise en uvre d'un analyseur syntaxico-semantique qui engendre automatiquement des regles semantiques, ce qui dispense le linguiste de la tache de les definir. ? l'utilisation d'une methode heuristique de l'intelligence artificielle pour guider le processus d'analyse. ? l'utilisation d'une unification semantique pour lier les methodes d'inference du calcul des predicats et de la logique terminologique. ? l'utilisation de la subsomption pour simplifier la base de connaissances et le processus de recuperation de l'information
APA, Harvard, Vancouver, ISO, and other styles
4

Lagache, Marie. "La simulation de Monte-Carlo et l'industrie pétrolière : développement de potentiel pour les composés organomercurés : calcul de grandeurs thermodynamiques dérivées de gaz à condensat." Paris 11, 2003. http://www.theses.fr/2003PA112049.

Full text
Abstract:
L'étude des propriétés d'équilibre de phases de mélanges moléculaires tels que les hydrocarbures par simulation moléculaire est intéressante à plus d'un titre. Elle permet notamment de modéliser des fluides d'intérêts pétrolier et gazier et de fournir des données à l'industrie dans un domaine de température et de pression difficilement accessible par l'expérience ou lorsqu'il s'agit de composés toxiques où les expériences sont difficiles à réaliser. La détermination et l'utilisation de modèles numériques réalistes et prédictifs pour des systèmes réels restent aujourd'hui des problèmes encore non résolus. Outre les questions de potentiel d'interaction intermoléculaire, l'obtention d'une bonne statistique sur ces systèmes comprenant de nombreux degrés de libertés est très délicate. Ce travail de recherche s'est concentré dans trois directions. La première partie concerne la prédiction de propriétés d'équilibre de phase, par simulation moléculaire de Monte Carlo, de composés particulièrement toxiques présents à l'état de traces dans certains gaz naturels: les composés organomercurés. Sa mise en œuvre passe par le développement d'un potentiel intermoléculaire adapté à ces composés pour ensuite établir des diagrammes d'équilibre liquide-vapeur comme celui du mélange diméthylmercure-pentane. La deuxième partie du travail consiste à calculer les dérivées secondes du potentiel thermodynamique et plus particulièrement le coefficient de Joule-Thomson. Pour obtenir ces propriétés thermodynamiques dérivées, une méthode de calcul direct de ces grandeurs à partir de fluctuations statistiques de données microscopiques a été mise au point. Appliquée aux corps purs puis à des gaz naturels, cette méthode montre de bons résultats. Enfin, la troisième partie de ce travail concerne le calcul préliminaire de certaines grandeurs thermodynamiques, le but étant de reproduire qualitativement et quantitativement leur divergence au voisinage du point critique
Prediction by molecular simulations is planned to be a serious complement to experimental measurements. Indeed, the study of equilibrium properties of molecular mixtures, such as hydrocarbons, by molecular simulation enables to model fluids of petroleum and gas relevance and to give data to the industry especially when the desired range of temperature and pressure is not easy to access by experimental processes and when toxic compounds are studied. The determination and the use of realistic and predictive numerical models for real systems remain today an unsolved problem. Besides the question of intermolecular interaction potential, the achieving of a good statistic on these systems containing a lot of degrees of freedom is very delicate. This research work is concentrated on three directions. The first part is devoted to the prediction of phase equilibrium properties, by Monte Carlo simulation, of toxic compounds that are present in some natural gases : the organomercury compounds. Its implementation go through the development of a realistic intermolecular force field in order to determine liquid vapour diagrams for mixtures. The second part consists in calculating second order derivatives of the thermodynamic potential and particularly the Joule-Thomson coefficient. To obtain these thermodynamic derivatives properties, a method based on statistical fluctuations of microscopic quantities have been developed. This method was applied to pure molecular fluids and natural gas and leads to good agreement with available experimental data. Finally, the last part of the work is devoted to the prediction of these properties near the critical point in order to reveal their critical divergence qualitatively and quantitatively
APA, Harvard, Vancouver, ISO, and other styles
5

Maršík, Jiří. "Les effects et les handlers dans le langage naturel." Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0322/document.

Full text
Abstract:
Ces travaux s’intéressent à la modélisation formelle de la sémantique des langues naturelles. Pour cela, nous suivons le principe de compositionnalité qui veut que le sens d’une expression complexe soit une fonction du sens de ses parties. Ces fonctions sont généralement formalisées à l’aide du [lambda]-calcul. Cependant, ce principe est remis en cause par certains usages de la langue, comme les pronoms anaphoriques ou les présuppositions. Ceci oblige à soit abandonner la compositionalité, soit modifier les structures du sens. Dans le premier cas, le sens n’est alors plus obtenu par un calcul qui correspond à des fonctions mathématiques, mais par un calcul dépendant du contexte, ce qui le rapproche des langages de programmation qui manipulent leur contexte avec des effets de bord. Dans le deuxième cas, lorsque les structures de sens sont ajustées, les nouveaux sens ont tendance à avoir une structure de monade. Ces dernières sont elles-mêmes largement utilisées en programmation fonctionnelle pour coder des effets de bord, que nous retrouvons à nouveau. Par ailleurs, s’il est souvent possible de proposer le traitement d’un unique phénomène, composer plusieurs traitements s’avère être une tâche complexe. Nos travaux proposent d’utiliser les résultats récents autour des langages de programmation pour parvenir à combiner ces modélisations par les effets de bord. Pour cela, nous étendons le [lambda]-calcul avec une monade qui implémente les effects et les handlers, une technique récente dans l’étude des effets de bord. Dans la première partie de la thèse, nous démontrons les propriétés fondamentales de ce calcul (préservation de type, confluence et terminaison). Dans la seconde partie, nous montrons comment utiliser le calcul pour le traitement de plusieurs phénomènes linguistiques : deixis, quantification, implicature conventionnelle, anaphore et présupposition. Enfin, nous construisons une unique grammaire qui gère ces phénomènes et leurs interactions
In formal semantics, researchers assign meanings to sentences of a natural language. This work is guided by the principle of compositionality: the meaning of an expression is a function of the meanings of its parts. These functions are often formalized using the [lambda]-calculus. However, there are areas of language which challenge the notion of compositionality, e.g. anaphoric pronouns or presupposition triggers. These force researchers to either abandon compositionality or adjust the structure of meanings. In the first case, meanings are derived by processes that no longer correspond to pure mathematical functions but rather to context-sensitive procedures, much like the functions of a programming language that manipulate their context with side effects. In the second case, when the structure of meanings is adjusted, the new meanings tend to be instances of the same mathematical structure, the monad. Monads themselves being widely used in functional programming to encode side effects, the common theme that emerges in both approaches is the introduction of side effects. Furthermore, different problems in semantics lead to different theories which are challenging to unite. Our thesis claims that by looking at these theories as theories of side effects, we can reuse results from programming language research to combine them.This thesis extends [lambda]-calculus with a monad of computations. The monad implements effects and handlers, a recent technique in the study of programming language side effects. In the first part of the thesis, we prove some of the fundamental properties of this calculus: subject reduction, confluence and termination. Then in the second part, we demonstrate how to use the calculus to implement treatments of several linguistic phenomena: deixis, quantification, conventional implicature, anaphora and presupposition. In the end, we build a grammar that features all of these phenomena and their interactions
APA, Harvard, Vancouver, ISO, and other styles
6

Bennani, Amine. "Elaboration, comportement et durée de vie en fatigue du caoutchouc naturel renforcé de silice." Phd thesis, École Nationale Supérieure des Mines de Paris, 2006. http://tel.archives-ouvertes.fr/tel-00136825.

Full text
Abstract:
Les élastomères sont renforcés grâce à l'incorporation de charges telles que les noirs de carbone ou encore la silice.
Ce qui leur confère de meilleures propriétés (résistance à la rupture, abrasion, rigidité...). Actuellement, les charges
renforçantes les plus souvent utilisées sont les noirs de carbone. La substitution de cette charge classique par la silice constitue un challenge dans l'industrie pneumatique. En effet, il est admis que la silice diminue la résistance au roulement des pneus, de matrice synthétique, tout en conservant une bonne adhérence. La particularité de cette étude est d'analyser l'influence du renfort par la silice sur le comportement mécanique en endurance du caoutchouc naturel. Son principal objectif est de comprendre l'influence de la morphologie de la silice (surface développée en interaction avec le caoutchouc, dispersibilité, activité chimique) sur le comportement
mécanique et plus spécialement sur la durée de vie en fatigue du caoutchouc naturel ainsi chargé. L'élaboration de deux matériaux permettant d'établir l'influence de la morphologie de la silice constitue une première étape déterminante du travail. Elle se base sur l'incorporation de deux nuances de silice précipitée dans une matrice de caoutchouc naturel pouvant présenter des propriétés rhéologiques similaires. Les essais de caractérisation mécanique (monotones et cycliques) selon différents types de sollicitation (traction, compression, relaxation, traction cyclique, torsion) ainsi que des essais de traction in situ au MEB permettent d'identifier les mécanismes de déformation, de renfort et d'endommagement présents. L'interprétation des résultats de cette campagne expérimentale est basée sur une caractérisation microstructurale approfondie de l'état de dispersion de la silice ainsi que celui de la cristallisation de la matrice en caoutchouc naturel.. Les résultats des essais de fatigue ainsi que les observations microscopiques des mécanismes de propagation des fissures en fatigue permettent d'établir un critère de durée de vie prenant en compte les modes de sollicitation (traction, compression, et torsion). Celui-ci est capable de prévoir la durée de vie ainsi que le lieu d'amorçage des fissures. Il s'avère que, selon le mode de sollicitation appliqué, les propriétés de dispersion de la silice sont plus ou moins importantes dans le renforcement et l'endurance du caoutchouc naturel chargé de silice.
Ce travail fait donc appel à la physico-chimie, à la mécanique et aux observations microstructurales, en allant de l'élaboration des matériaux jusqu'à la modélisation mécanique du comportement et de la durée de vie.
APA, Harvard, Vancouver, ISO, and other styles
7

Fontoynont, Marc. "Prise en compte du rayonnement solaire dans l'eclairage naturel de locaux : methode et perspectives." Paris, ENMP, 1987. http://www.theses.fr/1987ENMP0022.

Full text
Abstract:
Methode fondee sur une etude experimentale avec des maquettes de batiment. Emploi d'un heliodon de grandes dimensions pour le rayonnement solaire, en caracterisant la performance des ouvertures par un "facteur direct" fd, analogue au facteur de lumiere du jour fj pour le ciel. Pour le rayonnement diffus, mesures par soleil cache, en caracterisant le ciel par deux coefficients: tc (type de ciel) pour la clarte, et cac ("coefficient d'asymetrie du ciel") pour l'aspect contraste. Etude du cas d'un gymnase avec ouvertures equipees d'elements de reflexion
APA, Harvard, Vancouver, ISO, and other styles
8

Corvisier, Jérôme. "Implémentation des phénomènes de germination/mûrissement/croissance des phases solides secondaires dans un modèle de transport-réactif en milieu poreux géologique. Développement du code de calcul ARCHIMEDE." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2006. http://tel.archives-ouvertes.fr/tel-00102898.

Full text
Abstract:
La connaissance des réservoirs géologiques et de leur évolution est cruciale pour toutes les applications les mettant en jeu (prospection/extraction de pétrole ou de gaz, stockage de gaz ou de déchets, réhabilitation de sites industriels, dépollution des sols et des nappes phréatiques). La complexité des phénomènes couplés de réaction chimique et transport, la non-linéarité des équations en découlant et la diversité des échelles d'observation (en espace et en temps) amènent à avoir recours à la modélisation. Lors des injections de gaz acides dans des structures géologiques potentiellement capables de les stocker, les minéraux présents primaires) les plus réactifs se dissolvent, du fait de l'acidification de l'eau en place. En conséquence, le fluide se charge en éléments issus de ces réactions jusqu'à atteindre un état de sursaturation par rapport à d'autres minéraux primaires, mais aussi par rapport à des minéraux jusque là absents de l'assemblage (secondaires) qui peut les amener à précipiter. Dans ces configurations, la justesse des prédictions du comportement du système, qui permettent de s'assurer de la pérennité du stockage du gaz et de se prémunir contre les risques mécaniques éventuels, va dépendre de l'aptitude du programme à bien choisir les solides qui précipitent et à connaître précisément à la fois les cinétiques de croissance des minéraux primaires et les cinétiques de formation des minéraux secondaires.
Dans le code ARCHIMEDE (développé à l'E.N.S.M-S.E, Ecole Nationale Supérieure des Mines de Saint-Etienne, en collaboration avec l'I.F.P, Institut Français du Pétrole), seule la partie géochimie est concernée. Outre quelques difficultés qui empêchaient de traiter les variations de volume occasionnées par les réactions et que nous nous sommes efforcés de résoudre en reprenant l'ensemble du programme, l'objectif principal de ce travail de thèse a été la conception et l'implémentation d'un modèle de germination/mûrissement/croissance pour les minéraux secondaires.
Notre démarche a consisté à analyser précisément l'apparition de nouveaux minéraux dans des assemblages naturels d'où ils sont absents initialement. Quelques simulations numériques ont permis de montrer les limites inhérentes à la représentation, inadaptée, de la précipitation de ce genre de minéraux par croissance cristalline. La mise en avant de ces faiblesses a défini alors le cadre pour un nouveau modèle de précipitation propre aux minéraux secondaires. Une étude détaillée de la phase de germination, à savoir l'apparition des premiers cristaux d'un minéral, a conduit à la construction d'un modèle pour sa cinétique. Par suite, la mise en compétition du processus de germination avec celui de croissance, destiné à prendre plus tard le relais de la production de volume du nouveau solide, a nécessité la prise en charge de cristaux de tailles variées et le recours au mûrissement d'Ostwald, via un calcul parallèle. Il en a résulté un algorithme élaboré pour gérer, pour chaque minéral secondaire, la phase initiale de germination/mûrissement et ensuite le passage à la phase de croissance cristalline. La sensibilité de ce nouveau modèle complet de germination/mûrissement/croissance vis-à-vis des différents paramètres qui le composent a pu être analysée moyennant de nouvelles simulations numériques. Son comportement, en terme d'acuité des prédictions, a également pu être mis à l'épreuve et finalement jugé satisfaisant.
APA, Harvard, Vancouver, ISO, and other styles
9

Venant, Fabienne. "Représentation et calcul dynamique du sens : exploration du lexique adjectival du français." Phd thesis, Ecole des Hautes Etudes en Sciences Sociales (EHESS), 2006. http://tel.archives-ouvertes.fr/tel-00067902.

Full text
Abstract:
Ce travail de thèse présente un modèle de construction du sens d'un genre nouveau, défini dans le cadre des mathématiques du continu. Le langage y est vu comme un système morphodynamique, obéissant aux principes de base de la Gestalttheorie. Les unités linguistiques découpent leur sens dans un espace sémantique possédant une structure de variété différentiable. Nous avons implémenté ce modèle et l'avons testé sur le lexique adjectival français. Une méthode de construction automatique des espaces sémantiques, reposant sur l'analyse d'un graphe de synonymie, permet d'explorer le lexique adjectival dans son ensemble, ou de construire des espaces locaux. Les espaces sémantiques locaux servent de base à une méthode dynamique de calcul du sens, permettant de prendre en compte les différents facteurs de polysémie adjectivale. L'utilisation des espaces sémantiques globaux ouvre de belles perspectives, tant dans le domaine du calcul du sens que celui de l'exploration de graphes petit monde.
APA, Harvard, Vancouver, ISO, and other styles
10

Lebranchu, Julien. "Étude des phénomènes itératifs en langue : Inscription discursive et Calcul aspectuo-temporel, vers un traitement automatisé." Phd thesis, Université de Caen, 2011. http://tel.archives-ouvertes.fr/tel-00664788.

Full text
Abstract:
Cette thèse s'inscrit dans le domaine du traitement automatique des langues, et concerne l'étude des phénomènes itératifs en langue. Il s'agit notamment de rendre compte de la sémantique de procès exprimant une répétition (d'événements ou d'états) au sein d'un même texte, tant du point de vue de l'aspect que du temps. Nous avons mené nos travaux dans le cadre d'un travail d'équipe pluridisciplinaire couvrant des orientations linguistiques, logiques et informatiques. Ces travaux reposent sur une double appréhension commune d'un énoncé itératif : une entité événementielle en quelque sorte générique qui est présentée comme répétée dans le temps, d'une part ; l'itération proprement dite, conçue comme ensemble des occurrences du modèle, d'autre part. Nous nous focalisons pour notre part sur deux facettes : l'inscription discursive, en nous reposant sur une modélisation objet de la construction du sens des itérations (Mathet, 2007) ; et le calcul aspectuo-temporel au travers de la Sémantique de la temporalité (SdT) (Gosselin, 2011). Nous menons en premier lieu une étude de corpus, sur des articles de journaux et des œuvres littéraires, qui vise à caractériser l'inscription discursive des phénomènes itératifs. Nous exposons sur cette base leurs propriétés discursives dans la perspective de circonscrire automatiquement les itérations, c'est-à-dire repérer la borne initiale et finale du segment textuel correspondant. Nous établissons également un modèle d'annotation pour cette automatisation permettant in fine d'instancier les itérations au sein du modèle objet. Dans un second temps, nous abordons les phénomènes itératifs sous l'angle du calcul aspectuo-temporel. Fondé sur les travaux de Laurent Gosselin sur le calcul aspectuel des procès semelfactifs, nous étudions les ajustements nécessaires pour l'appliquer aux procès itératifs, en intégrant la notion de double visée aspectuelle issue de la SdT, dans la perspective de l'automatisation du calcul. Enfin, nous complétons ces deux aspects de notre travail par l'intégration de nos résultats au sein de TimeML, un formalisme XML de structuration des connaissances temporelles.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Calcul naturel"

1

Aman, Bogdan, and Gabriel Ciobanu. Mobility in Process Calculi and Natural Computing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24867-2.

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

Aman, Bogdan. Mobility in Process Calculi and Natural Computing. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2011.

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

Garrett, Donald E. Handbook of lithium and natural calcium chloride. Amsterdam: Elsevier Academic Press, 2004.

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

Calcium orthophosphates: Applications in nature, biology, and medicine. Singapore: Pan Stanford, 2012.

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

Wolfgang, Tegethoff F., Rohleder Johannes, and Kroker Evelyn, eds. Calcium carbonate: From the Cretaceous period into the 21st century. Basel: Birkhäuser Verlag, 2001.

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

Applied calculus for business and the social and natural sciences. St. Paul: West Pub. Co., 1992.

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

Wen, Hai-Bo. Calcium phosphate coatings based on mineralization in natural hard tissues. [Leiden: University of Leiden], 1998.

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

Piascik, Chester. Calculus with applications for business and the social and natural sciences. Minneapolis/St. Paul: West Pub. Co., 1993.

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

Piascik, Chester. Calculus with applications to management, economics, and the social and natural sciences. Columbus: Merrill Pub. Co., 1987.

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

C, Berwick Robert, and Ristad Eric Sven, eds. Computational complexity and natural language. Cambridge, Mass: MIT Press, 1987.

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

Book chapters on the topic "Calcul naturel"

1

Gooch, Jan W. "Calcium Carbonate, Natural." In Encyclopedic Dictionary of Polymers, 109. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-6247-8_1821.

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

Gooch, Jan W. "Calcium Silicate, Natural." In Encyclopedic Dictionary of Polymers, 111. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-6247-8_1839.

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

Baweja, Ruhani, and Sanjeev Gautam. "Environment Application of Natural Materials." In Calcium-Based Materials, 106–22. Boca Raton: CRC Press, 2024. http://dx.doi.org/10.1201/9781003360599-7.

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

Aman, Bogdan, and Gabriel Ciobanu. "Mobility in Process Calculi." In Mobility in Process Calculi and Natural Computing, 1–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24867-2_1.

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

Degano, Pierpaolo, and Andrea Bracciali. "Process Calculi, Systems Biology and Artificial Chemistry." In Handbook of Natural Computing, 1863–96. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-540-92910-9_55.

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

Kantorovich, Lev. "Calculus of Variations." In Mathematics for Natural Scientists II, 609–67. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-27861-2_9.

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

Kantorovich, Lev. "Calculus of Variations." In Mathematics for Natural Scientists II, 849–914. Cham: Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-46320-4_9.

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

Pym, David J. "Natural Deduction and Sequent Calculus." In The Semantics and Proof Theory of the Logic of Bunched Implications, 163–77. Dordrecht: Springer Netherlands, 2002. http://dx.doi.org/10.1007/978-94-017-0091-7_12.

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

Krishnaswamy, R. "Socio-Natural Embeddedness." In The Call for Recognition, 107–25. London: Routledge India, 2023. http://dx.doi.org/10.4324/9781003145578-6.

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

Putney, James W. "The Molecular Nature of Capacitative Calcium Entry Channels." In Capacitative Calcium Entry, 153–77. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4684-6471-9_5.

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

Conference papers on the topic "Calcul naturel"

1

Otten, Jens. "nanoCoP: Natural Non-clausal Theorem Proving." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/695.

Full text
Abstract:
Most efficient fully automated theorem provers implement proof search calculi that require the input formula to be in a clausal form, i.e. disjunctive or conjunctive normal form. The translation into clausal form introduces a significant overhead to the proof search and modifies the structure of the original formula. Translating a proof in clausal form back into a more readable non-clausal proof of the original formula is not straightforward. This paper presents a non-clausal automated theorem prover for classical first-order logic. It is based on a non-clausal connection calculus and implemented with a few lines of Prolog code. Working entirely on the original structure of the input formula yields not only a speed up of the proof search, but the resulting non-clausal proofs are also shorter.
APA, Harvard, Vancouver, ISO, and other styles
2

Dasgupta, Sukanya, and Sujit K. Biswas. "Three-phase Sine Wave Inverter using Natural Harmonic Compensation." In 2020 IEEE Calcutta Conference (CALCON). IEEE, 2020. http://dx.doi.org/10.1109/calcon49167.2020.9106544.

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

Seal, Sayan, Prasun Chail, Souvik Roy, and Abhik Mukherjee. "Exploring the fractal nature in dynamics of crimes during recent Lok Sabha elections in West Bengal." In 2020 IEEE Calcutta Conference (CALCON). IEEE, 2020. http://dx.doi.org/10.1109/calcon49167.2020.9106565.

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

Bolotov, Alexander, Oleg Grigoriev, and Vasilyi Shangin. "Natural Deduction Calculus for Computation Tree Logic." In IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06). IEEE, 2006. http://dx.doi.org/10.1109/jva.2006.34.

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

Bluhm, Rafael Carvalho, and Charles Casimiro Cavalcante. "Wirtinger Calculus and Complex Natural Gradient Algorithm." In XL Simpósio Brasileiro de Telecomunicações e Processamento de Sinais. Sociedade Brasileira de Telecomunicações, 2022. http://dx.doi.org/10.14209/sbrt.2022.1570823148.

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

Natarajan, Premkumar, Rohit Prasad, Bernhard Suhm, and Daniel McCarthy. "Speech-enabled natural language call routing: BBN call director." In 7th International Conference on Spoken Language Processing (ICSLP 2002). ISCA: ISCA, 2002. http://dx.doi.org/10.21437/icslp.2002-380.

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

Durston, Peter J., Mark Farrell, David Attwater, James Allen, Hong-Kwang Jeff Kuo, Mohamed Afify, Eric Fosler-Lussier, and Chin-Hui Lee. "OASIS natural language call steering trial." In 7th European Conference on Speech Communication and Technology (Eurospeech 2001). ISCA: ISCA, 2001. http://dx.doi.org/10.21437/eurospeech.2001-342.

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

Ciabattoni, Agata, and Dmitry Rozplokhas. "Streamlining Input/Output Logics with Sequent Calculi." In 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/15.

Full text
Abstract:
Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman’s causal I/O logics via proof-search-oriented sequent calculi. Our calculi establish a natural syntactic link between the derivability in these logics and in the original I/O logics. As a consequence of our results, we obtain new, simple semantics for all these logics, complexity bounds, embeddings into normal modal logics, and efficient deduction methods. Our work encompasses many scattered results and provides uniform solutions to various unresolved problems.
APA, Harvard, Vancouver, ISO, and other styles
9

Primiero, Giuseppe, and Franco Raimondi. "A typed natural deduction calculus to reason about secure trust." In 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST). IEEE, 2014. http://dx.doi.org/10.1109/pst.2014.6890963.

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

Brier, Lindsey M., Eric C. Landsness, Patrick W. Wright, Adam Q. Bauer, Grant Baxter, Jin-Moo Lee, and Joseph P. Culver. "Mesoscopic cortical calcium dynamics during wakefulness, natural sleep, and anesthesia." In Optics and the Brain. Washington, D.C.: OSA, 2017. http://dx.doi.org/10.1364/brain.2017.brs1b.2.

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

Reports on the topic "Calcul naturel"

1

Pulgarín Díaz, John Alexander, Lucas Esteban Cano Gallego, and Angela Maria Arcila Cardona. Influence of liming on Cedrela odorata L. seedlings growth and attack by Hypsipyla grandella Zeller (Lepidoptera: Pyralidae). Corporación colombiana de investigación agropecuaria - AGROSAVIA, 2019. http://dx.doi.org/10.21930/agrosavia.poster.2019.25.

Full text
Abstract:
Cedrela odorata is one of the most important commercial Neotropical forestry species, harvested mainly from natural forest, what have taken the species to danger of extinction. Its commercial plantation is limited by Hypsipyla grandella attacks, which could reach 100% of individuals in a forest plantation (Figure 1). Inverse relation of available calcium concentration in the soil for C. odorata and attacks of H. grandella had been reported (da Silva et al., 2009). Some studies indicate that calcium and boron addition to the soil has a positive e ect in height growth of Swietenia macrophylla (da Silva Junior et al., 2014); nevertheless, some studies suggest that when growth is high there is an increase in attack probability (Newton et al., 1993). Then some clarity on this subject is required.
APA, Harvard, Vancouver, ISO, and other styles
2

Flory, Jeffrey, Andreas Leibbrandt, and John List. The Effects of Wage Contracts on Workplace Misbehaviors: Evidence from a Call Center Natural Field Experiment. Cambridge, MA: National Bureau of Economic Research, June 2016. http://dx.doi.org/10.3386/w22342.

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

Thornberry-Ehrlich, Trista. Pictured Rocks National Lakeshore: Geologic resources inventory report. National Park Service, July 2022. http://dx.doi.org/10.36967/2293878.

Full text
Abstract:
Geologic Resources Inventory reports provide information and resources to help park managers make decisions for visitor safety, planning and protection of infrastructure, and preservation of natural and cultural resources. Information in GRI reports may also be useful for interpretation. This report synthesizes discussions from a scoping meeting held in 2010 and a follow-up conference call in 2020. Chapters of this report discuss the geologic setting, geologic features and processes, and geologic resource management issues of Pictured Rocks National Lakeshore. Guidance for resource management and information about the previously completed GRI GIS data is also provided.
APA, Harvard, Vancouver, ISO, and other styles
4

Barthelmes, Michael. Tallgrass Prairie National Preserve: Geologic resources inventory report. National Park Service, October 2022. http://dx.doi.org/10.36967/2294502.

Full text
Abstract:
Geologic Resources Inventory reports provide information and resources to help park managers make decisions for visitor safety, planning and protection of infrastructure, and preservation of natural and cultural resources. Information in GRI reports may also be useful for interpretation. This report synthesizes discussions from a scoping meeting held in 2008 and a follow-up conference call in 2021. Chapters of this report discuss the geologic heritage, geologic history, geologic features and processes, and geologic resource management issues of Tallgrass Prairie National Preserve. Guidance for resource management and information about the previously completed GRI GIS data and poster (separate products) is also provided.
APA, Harvard, Vancouver, ISO, and other styles
5

Thornberry-Ehrlich, Trista. Little River Canyon National Preserve: Geologic resources inventory report. National Park Service, October 2022. http://dx.doi.org/10.36967/2294826.

Full text
Abstract:
Geologic Resources Inventory reports provide information and resources to help park managers make decisions for visitor safety, planning and protection of infrastructure, and preservation of natural and cultural resources. Information in GRI reports may also be useful for interpretation. This report synthesizes discussions from a scoping meeting held in 2009 and a follow-up conference call in 2020. Chapters of this report discuss the geologic heritage, geologic features and processes, and geologic resource management issues of Little River Canyon National Preserve. Guidance for resource management and information about the previously completed GRI GIS data and poster (separate products) is also provided.
APA, Harvard, Vancouver, ISO, and other styles
6

Barthelmes, Michael. Pinnacles National Park: Geologic resources inventory report. National Park Service, October 2022. http://dx.doi.org/10.36967/2294842.

Full text
Abstract:
Geologic Resources Inventory reports provide information and resources to help park managers make decisions for visitor safety, planning and protection of infrastructure, and preservation of natural and cultural resources. Information in GRI reports may also be useful for interpretation. This report synthesizes discussions from a scoping meeting held in 2007 and a follow-up conference call in 2018. Chapters of this report discuss the geologic heritage, geologic history, geologic features and processes, and geologic resource management issues of Pinnacles National Park. Guidance for resource management and information about the previously completed GRI GIS data and poster (separate products) is also provided.
APA, Harvard, Vancouver, ISO, and other styles
7

Lanik, Amanda. Yukon-Charley Rivers National Preserve: Geologic resources inventory report. National Park Service, 2023. http://dx.doi.org/10.36967/2301602.

Full text
Abstract:
Geologic Resources Inventory reports provide information and resources to help park managers make decisions for visitor safety, planning and protection of infrastructure, and preservation of natural and cultural resources. Information in GRI reports may also be useful for interpretation. This report synthesizes discussions from a scoping meeting held in 2004 and a follow-up conference call in 2021. Chapters of this report discuss the geologic heritage, geologic features and processes, geologic history, and geologic resource management issues of Yukon-Charley Rivers National Preserve. Guidance for resource management and information about the previously completed GRI GIS data and poster (separate products) is also provided.
APA, Harvard, Vancouver, ISO, and other styles
8

Henderson, Timothy. Sagamore Hill National Historic Site: Geologic resources inventory report. National Park Service, 2024. http://dx.doi.org/10.36967/2302828.

Full text
Abstract:
Geologic Resources Inventory reports provide information and resources to help park managers make decisions for visitor safety, planning and protection of infrastructure, and preservation of natural and cultural resources. Information in GRI reports may also be useful for interpretation. This report synthesizes discussions from a scoping meeting held in 2010 and a follow-up conference call in 2022. Chapters of this report discuss the geologic heritage, geologic features and processes, geologic history, and geologic resource management issues of Sagamore Hill National Historic Site. Guidance for resource management and information about the previously completed GRI GIS data and poster (separate products) is also provided.
APA, Harvard, Vancouver, ISO, and other styles
9

Barthelmes, Michael. Fort Larned National Historic Site: Geologic resources inventory report. National Park Service, 2024. http://dx.doi.org/10.36967/2303274.

Full text
Abstract:
Geologic Resources Inventory reports provide information and resources to help park managers make decisions for visitor safety, planning and protection of infrastructure, and preservation of natural and cultural resources. Information in GRI reports may also be useful for interpretation. This report synthesizes discussions from a scoping meeting held in 2008 and a follow-up conference call in 2021. Chapters of this report discuss the geologic heritage, geologic features and processes, geologic history, and geologic resource management issues of Fort Larned National Historic Site. Guidance for resource management and information about the previously completed GRI GIS data and poster (separate products) is also provided.
APA, Harvard, Vancouver, ISO, and other styles
10

KellerLynn, Katie. Organ Pipe Cactus National Monument: Geologic resources inventory report. National Park Service, June 2022. http://dx.doi.org/10.36967/2293664.

Full text
Abstract:
Geologic Resources Inventory reports provide information and resources to help park managers make decisions for visitor safety, planning and protection of infrastructure, and preservation of natural and cultural resources. Information in GRI reports may also be useful for interpretation. This report synthesizes discussions from a scoping meeting held in 2006 and a follow-up conference call in 2020. Chapters of this report discuss the geologic heritage, geologic history, geologic features and processes, and geologic resource management issues of Organ Pipe Cactus National Monument. Guidance for resource management and information about the previously completed GRI GIS data is also provided. A GRI poster (separate product) illustrates the GRI map data.
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