Articles de revues sur le sujet « Formal and symbolic calculation »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Formal and symbolic calculation ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Deng, Hui, et Jinzhao Wu. « Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation ». Mathematical Problems in Engineering 2013 (2013) : 1–19. http://dx.doi.org/10.1155/2013/421926.
Texte intégralPlaskura, Paweł. « DERIVWWW - WEB-BASED SYMBOLIC DIFFERENTIATION SYSTEM ». Information Technologies and Learning Tools 60, no 4 (30 septembre 2017) : 254. http://dx.doi.org/10.33407/itlt.v60i4.1578.
Texte intégralConstantine, Gregory M., et Marius G. Buliga. « Determinantal generating functions of colored spanning forests ». International Journal of Mathematics and Mathematical Sciences 2004, no 6 (2004) : 273–83. http://dx.doi.org/10.1155/s0161171204302206.
Texte intégralYan, Zongshuai, Chenhua Nie, Rongsheng Dong, Xi Gao et Jianming Liu. « A Novel OBDD-Based Reliability Evaluation Algorithm for Wireless Sensor Networks on the Multicast Model ». Mathematical Problems in Engineering 2015 (2015) : 1–14. http://dx.doi.org/10.1155/2015/269781.
Texte intégralCERVESATO, ILIANO. « NEXCEL, a deductive spreadsheet ». Knowledge Engineering Review 22, no 3 (septembre 2007) : 221–36. http://dx.doi.org/10.1017/s0269888907001142.
Texte intégralSelot, Florian, Bruno Robisson, Claire Vaglio-Gaudard et Javier Gil-Quijano. « Formal modelling of the electricity markets : the example of the load reduction of electricity mechanism “NEBEF” ». IOP Conference Series : Earth and Environmental Science 897, no 1 (1 novembre 2021) : 012017. http://dx.doi.org/10.1088/1755-1315/897/1/012017.
Texte intégralRøyrvik, Ola. « Teaching Electrical Engineering Using Maple ». International Journal of Electrical Engineering & ; Education 39, no 4 (octobre 2002) : 297–309. http://dx.doi.org/10.7227/ijeee.39.4.1.
Texte intégralNoël, Marie-Pascale, et Xavier Seron. « Notational Constraints and Number Processing : A Reappraisal of the Gonzalez and Kolers (1982) Study ». Quarterly Journal of Experimental Psychology Section A 45, no 3 (septembre 1992) : 451–78. http://dx.doi.org/10.1080/02724989208250623.
Texte intégralTopilnytskyy, Volodymyr, Yaroslav Kusyi et Dariya Rebot. « RESEARCH OF VIBRATION MACHINES DYNAMICS FOR PRODUCT SURFACES PROCESSING BY MATHEMATICAL MODELING ». Vibrations in engineering and technology, no 1(96) (27 août 2020) : 35–43. http://dx.doi.org/10.37128/2306-8744-2020-1-4.
Texte intégralZhang, Yujian, et Daifu Liu. « Toward Vulnerability Detection for Ethereum Smart Contracts Using Graph-Matching Network ». Future Internet 14, no 11 (11 novembre 2022) : 326. http://dx.doi.org/10.3390/fi14110326.
Texte intégralPang, Alex, et Chueng-Ryong Ji. « Symbolic Feynman-Diagram Calculation ». Computers in Physics 9, no 6 (1995) : 589. http://dx.doi.org/10.1063/1.168553.
Texte intégralWaring, Rylan J., et Marcie Penner-Wilger. « Estimation of importance : Relative contributions of symbolic and non-symbolic number systems to exact and approximate calculation ». Journal of Numerical Cognition 2, no 3 (10 février 2017) : 202–19. http://dx.doi.org/10.5964/jnc.v2i3.9.
Texte intégralDeng, Xianghua, Jooyong Lee et Robby. « Efficient and formal generalized symbolic execution ». Automated Software Engineering 19, no 3 (9 juin 2011) : 233–301. http://dx.doi.org/10.1007/s10515-011-0089-9.
Texte intégralYoung, Thomas. « Introductory Symbolic Logic Without Formal Proofs ». Teaching Philosophy 15, no 3 (1992) : 296–98. http://dx.doi.org/10.5840/teachphil199215352.
Texte intégralCosta, Umberto, Sérgio Campos, Newton Vieira et David Déharbe. « Explicit-Symbolic Modelling for Formal Verification ». Electronic Notes in Theoretical Computer Science 130 (mai 2005) : 301–21. http://dx.doi.org/10.1016/j.entcs.2005.03.016.
Texte intégralDIVAKOV, D. V., et A. A. TYUTYUNNIK. « SYMBOLIC-NUMERICAL IMPLEMENTATION OF THE GALERKIN METHOD FOR APPROXIMATE SOLUTION OF THE WAVEGUIDE DIFFRACTION PROBLEM ». Программирование, no 2 (1 mars 2023) : 46–53. http://dx.doi.org/10.31857/s0132347423020097.
Texte intégralNebel, G., U. Kleine et H. J. Pfleiderer. « Symbolic pole/zero calculation using SANTAFE ». IEEE Journal of Solid-State Circuits 30, no 7 (juillet 1995) : 752–61. http://dx.doi.org/10.1109/4.391114.
Texte intégralBarnett, Michael P., et Istvàn Pelczer. « Pulse sequence editing by symbolic calculation ». Journal of Magnetic Resonance 204, no 2 (juin 2010) : 189–95. http://dx.doi.org/10.1016/j.jmr.2010.01.009.
Texte intégralGyimothy, S., et I. Sebestyen. « Symbolic description of field calculation problems ». IEEE Transactions on Magnetics 34, no 5 (1998) : 3427–30. http://dx.doi.org/10.1109/20.717807.
Texte intégralPearson, Jane M., et Noel G. Lloyd. « Space Saving Calculation of Symbolic Resultants ». Mathematics in Computer Science 1, no 2 (15 octobre 2007) : 267–90. http://dx.doi.org/10.1007/s11786-007-0016-4.
Texte intégralBarnett, Michael P., Joseph F. Capitani, Joachim von zur Gathen et Jürgen Gerhard. « Symbolic calculation in chemistry : Selected examples ». International Journal of Quantum Chemistry 100, no 2 (2004) : 80–104. http://dx.doi.org/10.1002/qua.20097.
Texte intégralBarnett, Michael P., et Joseph F. Capitani. « Modular chemical geometry and symbolic calculation ». International Journal of Quantum Chemistry 106, no 1 (2005) : 215–27. http://dx.doi.org/10.1002/qua.20807.
Texte intégralde Boer, Frank S., et Marcello Bonsangue. « Symbolic execution formally explained ». Formal Aspects of Computing 33, no 4-5 (2 février 2021) : 617–36. http://dx.doi.org/10.1007/s00165-020-00527-y.
Texte intégralPorncharoenwase, Sorawee, Luke Nelson, Xi Wang et Emina Torlak. « A formal foundation for symbolic evaluation with merging ». Proceedings of the ACM on Programming Languages 6, POPL (16 janvier 2022) : 1–28. http://dx.doi.org/10.1145/3498709.
Texte intégralKawahara, Shigeto, Hironori Katsuda et Gakuji Kumagai. « Accounting for the stochastic nature of sound symbolism using Maximum Entropy model ». Open Linguistics 5, no 1 (22 mai 2019) : 109–20. http://dx.doi.org/10.1515/opli-2019-0007.
Texte intégralBracken, Paul, et Rodney J. Bartlett. « Calculation of Gaussian integrals using symbolic manipulation ». International Journal of Quantum Chemistry 62, no 6 (1997) : 557–70. http://dx.doi.org/10.1002/(sici)1097-461x(1997)62:6<557 ::aid-qua1>3.0.co;2-v.
Texte intégralYu, Feng, et Xinyuan Chen. « Dynamic Modeling and Development of Symbolic Calculation Software for N-DOF Flexible-Link Manipulators Incorporating Lumped Mass ». Shock and Vibration 2019 (1 juillet 2019) : 1–16. http://dx.doi.org/10.1155/2019/5627271.
Texte intégralStewart, Sepideh, et Michael O. J. Thomas. « Embodied, symbolic and formal thinking in linear algebra ». International Journal of Mathematical Education in Science and Technology 38, no 7 (15 octobre 2007) : 927–37. http://dx.doi.org/10.1080/00207390701573335.
Texte intégralThomas, Michael O. J., et Sepideh Stewart. « Eigenvalues and eigenvectors : embodied, symbolic and formal thinking ». Mathematics Education Research Journal 23, no 3 (9 août 2011) : 275–96. http://dx.doi.org/10.1007/s13394-011-0016-1.
Texte intégralSmolensky, Paul. « Symbolic functions from neural computation ». Philosophical Transactions of the Royal Society A : Mathematical, Physical and Engineering Sciences 370, no 1971 (28 juillet 2012) : 3543–69. http://dx.doi.org/10.1098/rsta.2011.0334.
Texte intégralPang, Alex C. Y., et Chueng-Ryong Ji. « A Spinor Technique in Symbolic Feynman Diagram Calculation ». Journal of Computational Physics 115, no 2 (décembre 1994) : 267–75. http://dx.doi.org/10.1006/jcph.1994.1194.
Texte intégralCory, Beth, et Ken W. Smith. « Delving into Limits of Sequences ». Mathematics Teacher 105, no 1 (août 2011) : 48–55. http://dx.doi.org/10.5951/mathteacher.105.1.0048.
Texte intégralChipere, Ngoni. « Sentence comprehension : The integration of habits and rules. David J. Townsend and Thomas G. Bever. Cambridge, MA : MIT Press, 2001. Pp. 455. » Applied Psycholinguistics 23, no 3 (septembre 2002) : 471–77. http://dx.doi.org/10.1017/s0142716402213089.
Texte intégralPeng, Ji. « Application and Popularization of Formal Calculation ». OALib 09, no 11 (2022) : 1–21. http://dx.doi.org/10.4236/oalib.1109483.
Texte intégralGraham-Squire, Adam. « Calculation of local formal Mellin transforms ». Pacific Journal of Mathematics 283, no 1 (14 juin 2016) : 115–37. http://dx.doi.org/10.2140/pjm.2016.283.115.
Texte intégralGraham-Squire, Adam. « Calculation of local formal Fourier transforms ». Arkiv för Matematik 51, no 1 (avril 2013) : 71–84. http://dx.doi.org/10.1007/s11512-011-0156-2.
Texte intégralBrkić, Dejan, Pavel Praks, Renáta Praksová et Tomáš Kozubek. « Symbolic Regression Approaches for the Direct Calculation of Pipe Diameter ». Axioms 12, no 9 (31 août 2023) : 850. http://dx.doi.org/10.3390/axioms12090850.
Texte intégralSeger, Carl-Johan H., et Randal E. Bryant. « Formal verification by symbolic evaluation of partially-ordered trajectories ». Formal Methods in System Design 6, no 2 (mars 1995) : 147–89. http://dx.doi.org/10.1007/bf01383966.
Texte intégralHojati, Ramin, et Robert K. Brayton. « An environment for formal verification based on symbolic computations ». Formal Methods in System Design 6, no 2 (mars 1995) : 191–216. http://dx.doi.org/10.1007/bf01383967.
Texte intégralRichards, Joan L. « Generations of Reason : A Family's Search for Meaning in Post-Newtonian England ». Perspectives on Science and Christian Faith 75, no 1 (mars 2023) : 63–65. http://dx.doi.org/10.56315/pscf3-23richards.
Texte intégralGordon, Michael J. C. « Programming Combinations of Deduction and BDD-based Symbolic Calculation ». LMS Journal of Computation and Mathematics 5 (2002) : 56–76. http://dx.doi.org/10.1112/s1461157000000693.
Texte intégralRatkiewicz, Artur, et Thanh N. Truong. « Automated mechanism generation : From symbolic calculation to complex chemistry ». International Journal of Quantum Chemistry 106, no 1 (2005) : 244–55. http://dx.doi.org/10.1002/qua.20748.
Texte intégralTorresi, Sandra. « Interaction between domain-specific and domain-general abilities in math´s competence ». Journal of Applied Cognitive Neuroscience 1, no 1 (7 décembre 2020) : 43–51. http://dx.doi.org/10.17981/jacn.1.1.2020.08.
Texte intégralNAKAMURA, Hiroyuki, Masatake HIGASHI et Mamoru HOSAKA. « Robust Interference Calculation of Polyhedral Solids by Symbolic Calculation Using Face Names (1st Report) ». Journal of the Japan Society for Precision Engineering 63, no 4 (1997) : 515–19. http://dx.doi.org/10.2493/jjspe.63.515.
Texte intégralNAKAMURA, Hiroyuki, Masatake HIGASHI et Mamoru HOSAKA. « Robust Interference Calculation of Polyhedral Solids by Symbolic Calculation Using Face Names (2nd Report) ». Journal of the Japan Society for Precision Engineering 64, no 1 (1998) : 106–10. http://dx.doi.org/10.2493/jjspe.64.106.
Texte intégralZhang, Tao, Hui Li, Wenxue Hong, Xiamei Yuan et Xinyu Wei. « Deep First Formal Concept Search ». Scientific World Journal 2014 (2014) : 1–13. http://dx.doi.org/10.1155/2014/275679.
Texte intégralGreenberg, Gabriel. « The Iconic-Symbolic Spectrum ». Philosophical Review 132, no 4 (1 octobre 2023) : 579–627. http://dx.doi.org/10.1215/00318108-10697558.
Texte intégralZhi, Hui-lai. « On the Calculation of Formal Concept Stability ». Journal of Applied Mathematics 2014 (2014) : 1–6. http://dx.doi.org/10.1155/2014/917639.
Texte intégralDeTar, DeLos F. « Calculation of formal steric enthalpy with MM2 ». Journal of Organic Chemistry 57, no 3 (janvier 1992) : 902–10. http://dx.doi.org/10.1021/jo00029a022.
Texte intégralGonzalez, Cleotilde, et Christian Lebiere. « Cognitive architectures combine formal and heuristic approaches ». Behavioral and Brain Sciences 36, no 3 (14 mai 2013) : 285–86. http://dx.doi.org/10.1017/s0140525x12002956.
Texte intégral