Artigos de revistas sobre o tema "Calcul naturel"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "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.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
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 fontePoggiolesi, Francesca. "Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics". Studia Logica 104, n.º 5 (23 de fevereiro de 2016): 1003–36. http://dx.doi.org/10.1007/s11225-016-9662-3.
Texto completo da fonteLong, Olivier. "L’intelligence artificielle, une idiotie? Quelques loopings avec Claude Closky". Figures de l'Art. Revue d'études esthétiques 6, n.º 1 (2002): 313–37. http://dx.doi.org/10.3406/fdart.2002.1318.
Texto completo da fonteBoisson, Claude Pierre. "Les dénominations de la règle à calcul". Meta 41, n.º 4 (30 de setembro de 2002): 525–66. http://dx.doi.org/10.7202/002095ar.
Texto completo da fonteAli Esmail Al-Snafi. "Antiurolithiatic activity of natural remedies with emphasis on their mechanisms of action: A review". GSC Biological and Pharmaceutical Sciences 24, n.º 1 (30 de julho de 2023): 087–97. http://dx.doi.org/10.30574/gscbps.2023.24.1.0273.
Texto completo da fonteYIN, Zhenyu. "Modélisation des sites naturels et application au calcul des ouvrages". Revue Européenne de Génie Civil 10, n.º 8 (setembro de 2006): 1022. http://dx.doi.org/10.1080/17747120.2006.9692902.
Texto completo da fonteCollins, P. M., A. Naughton, L. Casey, L. G. Smyth, A. Z. Thomas, R. J. Flynn, R. P. Manecksha e R. G. Casey. "The natural history of untreated renal calculi". European Urology Open Science 31 (setembro de 2021): S15—S16. http://dx.doi.org/10.1016/s2666-1683(21)00204-4.
Texto completo da fontePrabhuswamy, Vinod Kumar, Rahul Tiwari e Ramakrishnan Krishnamoorthy. "A Giant Dumbbell Shaped Vesico-Prostatic Urethral Calculus: A Case Report and Review of Literature". Case Reports in Urology 2013 (2013): 1–5. http://dx.doi.org/10.1155/2013/167635.
Texto completo da fontevon Plato, Jan. "Gentzen's Proof Systems: Byproducts in a Work of Genius". Bulletin of Symbolic Logic 18, n.º 3 (setembro de 2012): 313–67. http://dx.doi.org/10.2178/bsl/1344861886.
Texto completo da fonteKeoghane, Stephen, Byron Walmsley e Dominic Hodgson. "The natural history of untreated renal tract calculi". BJU International 105, n.º 12 (28 de outubro de 2009): 1627–29. http://dx.doi.org/10.1111/j.1464-410x.2010.09389.x.
Texto completo da fonteMira, Bianca Savegnago de, e Rafael Gutierres Castanha. "Processamento de linguagem natural e acoplamento bibliográfico". Informação & Informação 27, n.º 3 (27 de abril de 2023): 262–87. http://dx.doi.org/10.5433/1981-8920.2022v27n3p262.
Texto completo da fonteGirlando, Marianna, Sara Negri e Nicola Olivetti. "Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics". Journal of Logic and Computation 31, n.º 3 (abril de 2021): 947–97. http://dx.doi.org/10.1093/logcom/exab019.
Texto completo da fonteFranti, Charles E., Gerald V. Ling, Annette L. Ruby e Deedra L. Johnson. "Urolithiasis in dogs V: Regional comparisons of breed, age, sex, anatomic location, and mineral type of calculus". American Journal of Veterinary Research 60, n.º 1 (1 de janeiro de 1999): 29–42. http://dx.doi.org/10.2460/ajvr.1999.60.01.29.
Texto completo da fonteZimmermann, Ernst. "Natural Deduction Bottom Up". Journal of Logic, Language and Information 30, n.º 3 (16 de março de 2021): 601–31. http://dx.doi.org/10.1007/s10849-021-09329-8.
Texto completo da fonteMalod, Guillaume. "Circuits arithmétiques et calculs tensoriels". Journal of the Institute of Mathematics of Jussieu 7, n.º 4 (outubro de 2008): 869–93. http://dx.doi.org/10.1017/s1474748008000248.
Texto completo da fonteK C, Santosh. "Kidney Stones Identification Based On Ultrasound Images Using Matlab and ML". International Journal for Research in Applied Science and Engineering Technology 10, n.º 6 (30 de junho de 2022): 3993–4001. http://dx.doi.org/10.22214/ijraset.2022.44811.
Texto completo da fonteKalaBarathi S e Anita Jaslin I. "Effect of Beans Therapy on Ureteric Calculi Pain: An Interventional Study". International Journal of Research in Pharmaceutical Sciences 11, SPL4 (24 de dezembro de 2020): 471–73. http://dx.doi.org/10.26452/ijrps.v11ispl4.3884.
Texto completo da fonteVéron, Jacques, e Jean-Marc Rohrbasser. "Leibniz et la mortalité : mesure des « apparences » et calcul de la vie moyenne". Population Vol. 53, n.º 1 (1 de janeiro de 1998): 29–44. http://dx.doi.org/10.3917/popu.p1998.53n1-2.0044.
Texto completo da fonteКотикова, Е. А., e М. Н. Рыбаков. "Kripke Incompleteness of First-order Calculi with Temporal Modalities of CTL and Near Logics". Logical Investigations 21, n.º 1 (21 de abril de 2015): 86–99. http://dx.doi.org/10.21146/2074-1472-2015-21-1-86-99.
Texto completo da fonteJAY, BARRY, e DELIA KESNER. "First-class patterns". Journal of Functional Programming 19, n.º 2 (março de 2009): 191–225. http://dx.doi.org/10.1017/s0956796808007144.
Texto completo da fonteImas, H., H. Silva e F. Mereles. "Diversidad de especies vegetales en bosques con distintos grados de perturbación en la Reserva Natural Itabó, Itaipú Binacional, Paraguay". Steviana 12, n.º 2 (2 de fevereiro de 2022): 55–69. http://dx.doi.org/10.56152/ffs.v12i2.2218.
Texto completo da fonteKiener, Teresa Antonia, Elena Moré, Michael Franzen, Janne Cadamuro, Christoph Schwarz, Carsten Bergmann e Hermann Salmhofer. "Nephrolithiasis Associated with Nephrocalcinosis Is Primarily Composed of Carbonate Apatite". Kidney and Blood Pressure Research 49, n.º 1 (2024): 239–44. http://dx.doi.org/10.1159/000537699.
Texto completo da fonteHong, T. D. Nguyen, D. Phat, P. Plaza, M. Daudon e Nguyen Quy Dao. "Identification of Urinary Calculi by Raman Laser Fiber Optics Spectroscopy". Clinical Chemistry 38, n.º 2 (1 de fevereiro de 1992): 292–98. http://dx.doi.org/10.1093/clinchem/38.2.292.
Texto completo da fonteHannache, B., A. Boutefnouchet, D. Bazin, M. Daudon, E. Foy, S. Rouzière e A. Dahdouh. "Nature et rôle des éléments traces dans les calculs urinaires". Progrès en Urologie 25, n.º 1 (janeiro de 2015): 22–26. http://dx.doi.org/10.1016/j.purol.2014.09.038.
Texto completo da fontePetrukhin, Y. I. "On a modification of Visser’s formal logic and its connection with Solovay’s modal logic". Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, n.º 11 (8 de dezembro de 2023): 15–25. http://dx.doi.org/10.26907/0021-3446-2023-11-15-25.
Texto completo da fonteGescovich, Gabriela, e Daniel Edgardo Vedoya. "La curva catenaria como forma natural y su emergencia en la arquitectura". Arquitecno, n.º 21 (12 de julho de 2023): 1. http://dx.doi.org/10.30972/arq.0216693.
Texto completo da fonteMortamais, Elizabeth. "De quelle nature sera l'esquisse ?" SHS Web of Conferences 82 (2020): 03001. http://dx.doi.org/10.1051/shsconf/20208203001.
Texto completo da fonteKao, Johnny, Pawel Karwowski, Jeffrey Pettit, Austin Kevin Barney e Christopher Atalla. "Multiparametric prostate MRI-based intensity-modulated radiation therapy guided by prostatic calcifications". British Journal of Radiology 93, n.º 1116 (1 de dezembro de 2020): 20200571. http://dx.doi.org/10.1259/bjr.20200571.
Texto completo da fonteWansing, Heinrich. "Displaying the modal logic of consistency". Journal of Symbolic Logic 64, n.º 4 (dezembro de 1999): 1573–90. http://dx.doi.org/10.2307/2586798.
Texto completo da fonteMendelzon, Ariel, Alejandro Ríos e Beta Ziliani. "Swapping: a natural bridge between named and indexed explicit substitution calculi". Electronic Proceedings in Theoretical Computer Science 49 (17 de fevereiro de 2011): 1–15. http://dx.doi.org/10.4204/eptcs.49.1.
Texto completo da fonteNolasco, P., A. J. Anjos, J. M. Aquino Marques, F. Cabrita, M. F. C. Pereira, A. P. Alves de Matos e P. A. Carvalho. "Structural typologies of salivary calculi". Microscopy and Microanalysis 19, S4 (agosto de 2013): 29–30. http://dx.doi.org/10.1017/s1431927613000767.
Texto completo da fontevan Erp, Erik, e Robert Yuncken. "A groupoid approach to pseudodifferential calculi". Journal für die reine und angewandte Mathematik (Crelles Journal) 2019, n.º 756 (1 de novembro de 2019): 151–82. http://dx.doi.org/10.1515/crelle-2017-0035.
Texto completo da fonteChoudhury, Pritam. "Monadic and comonadic aspects of dependency analysis". Proceedings of the ACM on Programming Languages 6, OOPSLA2 (31 de outubro de 2022): 1320–48. http://dx.doi.org/10.1145/3563335.
Texto completo da fonteDai, Zhe, e Min He. "L’amélioration du système de la rémunération supplémentaire en Chine". Revue internationale de droit comparé 71, n.º 4 (2019): 1083–97. http://dx.doi.org/10.3406/ridc.2019.21192.
Texto completo da fonteMA, MINGHUI, e AHTI-VEIKKO PIETARINEN. "PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC". Review of Symbolic Logic 13, n.º 3 (29 de outubro de 2018): 509–40. http://dx.doi.org/10.1017/s1755020318000187.
Texto completo da fonteThakur, Dipak Kumar. "Outcome of Extracorporeal Shockwave Lithotripsy as Monotherapy in Upper Urinary Tract Lithiasis". Nepal Journal of Health Sciences 1, n.º 2 (31 de dezembro de 2021): 38–41. http://dx.doi.org/10.3126/njhs.v1i2.42377.
Texto completo da fonteChazot, G., N. Florens, L. Ene, N. Abid, L. Juillard, L. Dubourg e S. Lemoine. "Impact de la nature chimique du calcul sur la rigidité artérielle dans la lithiase urinaire". Néphrologie & Thérapeutique 13, n.º 5 (setembro de 2017): 375. http://dx.doi.org/10.1016/j.nephro.2017.08.254.
Texto completo da fonteChazot, G., N. Abid, N. Florens, C. Machon, L. Juillard, L. Dubourg e S. Lemoine. "Impact de la nature chimique du calcul sur la rigidité artérielle dans la lithiase urinaire". Progrès en Urologie 27, n.º 13 (novembro de 2017): 748. http://dx.doi.org/10.1016/j.purol.2017.07.141.
Texto completo da fontePascucci, Matteo. "Propositional quantifiers in labelled natural deduction for normal modal logic". Logic Journal of the IGPL 27, n.º 6 (25 de abril de 2019): 865–94. http://dx.doi.org/10.1093/jigpal/jzz008.
Texto completo da fonteLongo, Giuseppe, e Eugenio Moggi. "Constructive natural deduction and its ‘ω-set’ interpretation". Mathematical Structures in Computer Science 1, n.º 2 (julho de 1991): 215–54. http://dx.doi.org/10.1017/s0960129500001298.
Texto completo da fonteKonikowska, Beata, Andrzej Tarlecki e Andrzej Blikle. "A Three-Valued Logic for Software Specification and Validation. Tertium tamen datur". Fundamenta Informaticae 14, n.º 4 (1 de abril de 1991): 411–53. http://dx.doi.org/10.3233/fi-1991-14403.
Texto completo da fonte