Literatura científica selecionada sobre o tema "Calcul naturel"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Calcul naturel".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Calcul naturel"
Kévin Perrot e Sylvain Sené. "Les réseaux d'automates booléens au cœur du calcul naturel". Bulletin 1024, n.º 20 (novembro de 2022): 171–82. http://dx.doi.org/10.48556/sif.1024.20.171.
Texto completo da fonteQuantin, M., C. Morio, G. Guibu Pereira, J. Vazquez, J. Wertel, S. Isel, S. Galuola e J. Buche. "Calibration numérique 3D de vannes basculantes pour la mesure du débit déversé". Techniques Sciences Méthodes, n.º 5 (maio de 2019): 89–100. http://dx.doi.org/10.1051/tsm/201905089.
Texto completo da fonteVazquez, J., M. François e 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, n.º 4 (12 de abril de 2005): 425–42. http://dx.doi.org/10.7202/705516ar.
Texto completo da fonteVernes, Jean-René. "Le principe de Pascal-Hume et la métaphysique". Articles 22, n.º 2 (7 de agosto de 2007): 237–46. http://dx.doi.org/10.7202/027330ar.
Texto completo da fonteBERTHELOT, Jean Michel. "Pluralité et cumulativité". Sociologie et sociétés 25, n.º 2 (30 de setembro de 2002): 23–36. http://dx.doi.org/10.7202/001062ar.
Texto completo da fonteLalou, Richard, e 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, n.º 1 (24 de setembro de 2008): 47–72. http://dx.doi.org/10.7202/304650ar.
Texto completo da fonteHamouda, Leïla, e 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, n.º 1 (março de 2021): 149–57. http://dx.doi.org/10.1017/s0957423920000119.
Texto completo da fonteBouheniche, Salaheddine, e 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, n.º 1 (18 de março de 2013): 21–31. http://dx.doi.org/10.7202/1014916ar.
Texto completo da fonteZug, M., e 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, n.º 4 (12 de abril de 2005): 643–60. http://dx.doi.org/10.7202/705370ar.
Texto completo da fonteBelaubre, Gilbert. "Approches méthodologiques et expérimentales des phénomènes complexes". Acta Europeana Systemica 4 (14 de julho de 2020): 143–64. http://dx.doi.org/10.14428/aes.v4i1.57343.
Texto completo da fonteTeses / dissertações sobre o assunto "Calcul naturel"
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.
Texto completo da fonteWe 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
Dupont, Michel. "Une approche cognitive du calcul de le référence". Caen, 2003. http://www.theses.fr/2003CAEN2084.
Texto completo da fonteSilva-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.
Texto completo da fonteLagache, 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.
Texto completo da fontePrediction 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
Maršík, Jiří. "Les effects et les handlers dans le langage naturel". Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0322/document.
Texto completo da fonteIn 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
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.
Texto completo da fonteCe 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.
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.
Texto completo da fonteCorvisier, 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.
Texto completo da fonteDans 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.
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.
Texto completo da fonteLebranchu, 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.
Texto completo da fonteLivros sobre o assunto "Calcul naturel"
Aman, Bogdan, e 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.
Texto completo da fonteAman, Bogdan. Mobility in Process Calculi and Natural Computing. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2011.
Encontre o texto completo da fonteGarrett, Donald E. Handbook of lithium and natural calcium chloride. Amsterdam: Elsevier Academic Press, 2004.
Encontre o texto completo da fonteCalcium orthophosphates: Applications in nature, biology, and medicine. Singapore: Pan Stanford, 2012.
Encontre o texto completo da fonteWolfgang, Tegethoff F., Rohleder Johannes e Kroker Evelyn, eds. Calcium carbonate: From the Cretaceous period into the 21st century. Basel: Birkhäuser Verlag, 2001.
Encontre o texto completo da fonteApplied calculus for business and the social and natural sciences. St. Paul: West Pub. Co., 1992.
Encontre o texto completo da fonteWen, Hai-Bo. Calcium phosphate coatings based on mineralization in natural hard tissues. [Leiden: University of Leiden], 1998.
Encontre o texto completo da fontePiascik, Chester. Calculus with applications for business and the social and natural sciences. Minneapolis/St. Paul: West Pub. Co., 1993.
Encontre o texto completo da fontePiascik, Chester. Calculus with applications to management, economics, and the social and natural sciences. Columbus: Merrill Pub. Co., 1987.
Encontre o texto completo da fonteC, Berwick Robert, e Ristad Eric Sven, eds. Computational complexity and natural language. Cambridge, Mass: MIT Press, 1987.
Encontre o texto completo da fonteCapítulos de livros sobre o assunto "Calcul naturel"
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.
Texto completo da fonteGooch, 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.
Texto completo da fonteBaweja, Ruhani, e 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.
Texto completo da fonteAman, Bogdan, e 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.
Texto completo da fonteDegano, Pierpaolo, e 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.
Texto completo da fonteKantorovich, 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.
Texto completo da fonteKantorovich, 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.
Texto completo da fontePym, 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.
Texto completo da fonteKrishnaswamy, R. "Socio-Natural Embeddedness". In The Call for Recognition, 107–25. London: Routledge India, 2023. http://dx.doi.org/10.4324/9781003145578-6.
Texto completo da fontePutney, 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.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Calcul naturel"
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.
Texto completo da fonteDasgupta, Sukanya, e 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.
Texto completo da fonteSeal, Sayan, Prasun Chail, Souvik Roy e 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.
Texto completo da fonteBolotov, Alexander, Oleg Grigoriev e 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.
Texto completo da fonteBluhm, Rafael Carvalho, e 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.
Texto completo da fonteNatarajan, Premkumar, Rohit Prasad, Bernhard Suhm e 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.
Texto completo da fonteDurston, Peter J., Mark Farrell, David Attwater, James Allen, Hong-Kwang Jeff Kuo, Mohamed Afify, Eric Fosler-Lussier e 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.
Texto completo da fonteCiabattoni, Agata, e 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.
Texto completo da fontePrimiero, Giuseppe, e 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.
Texto completo da fonteBrier, Lindsey M., Eric C. Landsness, Patrick W. Wright, Adam Q. Bauer, Grant Baxter, Jin-Moo Lee e 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.
Texto completo da fonteRelatórios de organizações sobre o assunto "Calcul naturel"
Pulgarín Díaz, John Alexander, Lucas Esteban Cano Gallego e 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.
Texto completo da fonteFlory, Jeffrey, Andreas Leibbrandt e 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, junho de 2016. http://dx.doi.org/10.3386/w22342.
Texto completo da fonteThornberry-Ehrlich, Trista. Pictured Rocks National Lakeshore: Geologic resources inventory report. National Park Service, julho de 2022. http://dx.doi.org/10.36967/2293878.
Texto completo da fonteBarthelmes, Michael. Tallgrass Prairie National Preserve: Geologic resources inventory report. National Park Service, outubro de 2022. http://dx.doi.org/10.36967/2294502.
Texto completo da fonteThornberry-Ehrlich, Trista. Little River Canyon National Preserve: Geologic resources inventory report. National Park Service, outubro de 2022. http://dx.doi.org/10.36967/2294826.
Texto completo da fonteBarthelmes, Michael. Pinnacles National Park: Geologic resources inventory report. National Park Service, outubro de 2022. http://dx.doi.org/10.36967/2294842.
Texto completo da fonteLanik, Amanda. Yukon-Charley Rivers National Preserve: Geologic resources inventory report. National Park Service, 2023. http://dx.doi.org/10.36967/2301602.
Texto completo da fonteHenderson, Timothy. Sagamore Hill National Historic Site: Geologic resources inventory report. National Park Service, 2024. http://dx.doi.org/10.36967/2302828.
Texto completo da fonteBarthelmes, Michael. Fort Larned National Historic Site: Geologic resources inventory report. National Park Service, 2024. http://dx.doi.org/10.36967/2303274.
Texto completo da fonteKellerLynn, Katie. Organ Pipe Cactus National Monument: Geologic resources inventory report. National Park Service, junho de 2022. http://dx.doi.org/10.36967/2293664.
Texto completo da fonte