Artigos de revistas sobre o tema "Formal and symbolic calculation"
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 "Formal and symbolic calculation".
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.
Deng, Hui, e 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.
Texto completo da fontePlaskura, Paweł. "DERIVWWW - WEB-BASED SYMBOLIC DIFFERENTIATION SYSTEM". Information Technologies and Learning Tools 60, n.º 4 (30 de setembro de 2017): 254. http://dx.doi.org/10.33407/itlt.v60i4.1578.
Texto completo da fonteConstantine, Gregory M., e Marius G. Buliga. "Determinantal generating functions of colored spanning forests". International Journal of Mathematics and Mathematical Sciences 2004, n.º 6 (2004): 273–83. http://dx.doi.org/10.1155/s0161171204302206.
Texto completo da fonteYan, Zongshuai, Chenhua Nie, Rongsheng Dong, Xi Gao e 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.
Texto completo da fonteCERVESATO, ILIANO. "NEXCEL, a deductive spreadsheet". Knowledge Engineering Review 22, n.º 3 (setembro de 2007): 221–36. http://dx.doi.org/10.1017/s0269888907001142.
Texto completo da fonteSelot, Florian, Bruno Robisson, Claire Vaglio-Gaudard e 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, n.º 1 (1 de novembro de 2021): 012017. http://dx.doi.org/10.1088/1755-1315/897/1/012017.
Texto completo da fonteRøyrvik, Ola. "Teaching Electrical Engineering Using Maple". International Journal of Electrical Engineering & Education 39, n.º 4 (outubro de 2002): 297–309. http://dx.doi.org/10.7227/ijeee.39.4.1.
Texto completo da fonteNoël, Marie-Pascale, e Xavier Seron. "Notational Constraints and Number Processing: A Reappraisal of the Gonzalez and Kolers (1982) Study". Quarterly Journal of Experimental Psychology Section A 45, n.º 3 (setembro de 1992): 451–78. http://dx.doi.org/10.1080/02724989208250623.
Texto completo da fonteTopilnytskyy, Volodymyr, Yaroslav Kusyi e Dariya Rebot. "RESEARCH OF VIBRATION MACHINES DYNAMICS FOR PRODUCT SURFACES PROCESSING BY MATHEMATICAL MODELING". Vibrations in engineering and technology, n.º 1(96) (27 de agosto de 2020): 35–43. http://dx.doi.org/10.37128/2306-8744-2020-1-4.
Texto completo da fonteZhang, Yujian, e Daifu Liu. "Toward Vulnerability Detection for Ethereum Smart Contracts Using Graph-Matching Network". Future Internet 14, n.º 11 (11 de novembro de 2022): 326. http://dx.doi.org/10.3390/fi14110326.
Texto completo da fontePang, Alex, e Chueng-Ryong Ji. "Symbolic Feynman-Diagram Calculation". Computers in Physics 9, n.º 6 (1995): 589. http://dx.doi.org/10.1063/1.168553.
Texto completo da fonteWaring, Rylan J., e 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, n.º 3 (10 de fevereiro de 2017): 202–19. http://dx.doi.org/10.5964/jnc.v2i3.9.
Texto completo da fonteDeng, Xianghua, Jooyong Lee e Robby. "Efficient and formal generalized symbolic execution". Automated Software Engineering 19, n.º 3 (9 de junho de 2011): 233–301. http://dx.doi.org/10.1007/s10515-011-0089-9.
Texto completo da fonteYoung, Thomas. "Introductory Symbolic Logic Without Formal Proofs". Teaching Philosophy 15, n.º 3 (1992): 296–98. http://dx.doi.org/10.5840/teachphil199215352.
Texto completo da fonteCosta, Umberto, Sérgio Campos, Newton Vieira e David Déharbe. "Explicit-Symbolic Modelling for Formal Verification". Electronic Notes in Theoretical Computer Science 130 (maio de 2005): 301–21. http://dx.doi.org/10.1016/j.entcs.2005.03.016.
Texto completo da fonteDIVAKOV, D. V., e A. A. TYUTYUNNIK. "SYMBOLIC-NUMERICAL IMPLEMENTATION OF THE GALERKIN METHOD FOR APPROXIMATE SOLUTION OF THE WAVEGUIDE DIFFRACTION PROBLEM". Программирование, n.º 2 (1 de março de 2023): 46–53. http://dx.doi.org/10.31857/s0132347423020097.
Texto completo da fonteNebel, G., U. Kleine e H. J. Pfleiderer. "Symbolic pole/zero calculation using SANTAFE". IEEE Journal of Solid-State Circuits 30, n.º 7 (julho de 1995): 752–61. http://dx.doi.org/10.1109/4.391114.
Texto completo da fonteBarnett, Michael P., e Istvàn Pelczer. "Pulse sequence editing by symbolic calculation". Journal of Magnetic Resonance 204, n.º 2 (junho de 2010): 189–95. http://dx.doi.org/10.1016/j.jmr.2010.01.009.
Texto completo da fonteGyimothy, S., e I. Sebestyen. "Symbolic description of field calculation problems". IEEE Transactions on Magnetics 34, n.º 5 (1998): 3427–30. http://dx.doi.org/10.1109/20.717807.
Texto completo da fontePearson, Jane M., e Noel G. Lloyd. "Space Saving Calculation of Symbolic Resultants". Mathematics in Computer Science 1, n.º 2 (15 de outubro de 2007): 267–90. http://dx.doi.org/10.1007/s11786-007-0016-4.
Texto completo da fonteBarnett, Michael P., Joseph F. Capitani, Joachim von zur Gathen e Jürgen Gerhard. "Symbolic calculation in chemistry: Selected examples". International Journal of Quantum Chemistry 100, n.º 2 (2004): 80–104. http://dx.doi.org/10.1002/qua.20097.
Texto completo da fonteBarnett, Michael P., e Joseph F. Capitani. "Modular chemical geometry and symbolic calculation". International Journal of Quantum Chemistry 106, n.º 1 (2005): 215–27. http://dx.doi.org/10.1002/qua.20807.
Texto completo da fontede Boer, Frank S., e Marcello Bonsangue. "Symbolic execution formally explained". Formal Aspects of Computing 33, n.º 4-5 (2 de fevereiro de 2021): 617–36. http://dx.doi.org/10.1007/s00165-020-00527-y.
Texto completo da fontePorncharoenwase, Sorawee, Luke Nelson, Xi Wang e Emina Torlak. "A formal foundation for symbolic evaluation with merging". Proceedings of the ACM on Programming Languages 6, POPL (16 de janeiro de 2022): 1–28. http://dx.doi.org/10.1145/3498709.
Texto completo da fonteKawahara, Shigeto, Hironori Katsuda e Gakuji Kumagai. "Accounting for the stochastic nature of sound symbolism using Maximum Entropy model". Open Linguistics 5, n.º 1 (22 de maio de 2019): 109–20. http://dx.doi.org/10.1515/opli-2019-0007.
Texto completo da fonteBracken, Paul, e Rodney J. Bartlett. "Calculation of Gaussian integrals using symbolic manipulation". International Journal of Quantum Chemistry 62, n.º 6 (1997): 557–70. http://dx.doi.org/10.1002/(sici)1097-461x(1997)62:6<557::aid-qua1>3.0.co;2-v.
Texto completo da fonteYu, Feng, e Xinyuan Chen. "Dynamic Modeling and Development of Symbolic Calculation Software for N-DOF Flexible-Link Manipulators Incorporating Lumped Mass". Shock and Vibration 2019 (1 de julho de 2019): 1–16. http://dx.doi.org/10.1155/2019/5627271.
Texto completo da fonteStewart, Sepideh, e Michael O. J. Thomas. "Embodied, symbolic and formal thinking in linear algebra". International Journal of Mathematical Education in Science and Technology 38, n.º 7 (15 de outubro de 2007): 927–37. http://dx.doi.org/10.1080/00207390701573335.
Texto completo da fonteThomas, Michael O. J., e Sepideh Stewart. "Eigenvalues and eigenvectors: embodied, symbolic and formal thinking". Mathematics Education Research Journal 23, n.º 3 (9 de agosto de 2011): 275–96. http://dx.doi.org/10.1007/s13394-011-0016-1.
Texto completo da fonteSmolensky, Paul. "Symbolic functions from neural computation". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 370, n.º 1971 (28 de julho de 2012): 3543–69. http://dx.doi.org/10.1098/rsta.2011.0334.
Texto completo da fontePang, Alex C. Y., e Chueng-Ryong Ji. "A Spinor Technique in Symbolic Feynman Diagram Calculation". Journal of Computational Physics 115, n.º 2 (dezembro de 1994): 267–75. http://dx.doi.org/10.1006/jcph.1994.1194.
Texto completo da fonteCory, Beth, e Ken W. Smith. "Delving into Limits of Sequences". Mathematics Teacher 105, n.º 1 (agosto de 2011): 48–55. http://dx.doi.org/10.5951/mathteacher.105.1.0048.
Texto completo da fonteChipere, 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, n.º 3 (setembro de 2002): 471–77. http://dx.doi.org/10.1017/s0142716402213089.
Texto completo da fontePeng, Ji. "Application and Popularization of Formal Calculation". OALib 09, n.º 11 (2022): 1–21. http://dx.doi.org/10.4236/oalib.1109483.
Texto completo da fonteGraham-Squire, Adam. "Calculation of local formal Mellin transforms". Pacific Journal of Mathematics 283, n.º 1 (14 de junho de 2016): 115–37. http://dx.doi.org/10.2140/pjm.2016.283.115.
Texto completo da fonteGraham-Squire, Adam. "Calculation of local formal Fourier transforms". Arkiv för Matematik 51, n.º 1 (abril de 2013): 71–84. http://dx.doi.org/10.1007/s11512-011-0156-2.
Texto completo da fonteBrkić, Dejan, Pavel Praks, Renáta Praksová e Tomáš Kozubek. "Symbolic Regression Approaches for the Direct Calculation of Pipe Diameter". Axioms 12, n.º 9 (31 de agosto de 2023): 850. http://dx.doi.org/10.3390/axioms12090850.
Texto completo da fonteSeger, Carl-Johan H., e Randal E. Bryant. "Formal verification by symbolic evaluation of partially-ordered trajectories". Formal Methods in System Design 6, n.º 2 (março de 1995): 147–89. http://dx.doi.org/10.1007/bf01383966.
Texto completo da fonteHojati, Ramin, e Robert K. Brayton. "An environment for formal verification based on symbolic computations". Formal Methods in System Design 6, n.º 2 (março de 1995): 191–216. http://dx.doi.org/10.1007/bf01383967.
Texto completo da fonteRichards, Joan L. "Generations of Reason: A Family's Search for Meaning in Post-Newtonian England". Perspectives on Science and Christian Faith 75, n.º 1 (março de 2023): 63–65. http://dx.doi.org/10.56315/pscf3-23richards.
Texto completo da fonteGordon, 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.
Texto completo da fonteRatkiewicz, Artur, e Thanh N. Truong. "Automated mechanism generation: From symbolic calculation to complex chemistry". International Journal of Quantum Chemistry 106, n.º 1 (2005): 244–55. http://dx.doi.org/10.1002/qua.20748.
Texto completo da fonteTorresi, Sandra. "Interaction between domain-specific and domain-general abilities in math´s competence". Journal of Applied Cognitive Neuroscience 1, n.º 1 (7 de dezembro de 2020): 43–51. http://dx.doi.org/10.17981/jacn.1.1.2020.08.
Texto completo da fonteNAKAMURA, Hiroyuki, Masatake HIGASHI e 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, n.º 4 (1997): 515–19. http://dx.doi.org/10.2493/jjspe.63.515.
Texto completo da fonteNAKAMURA, Hiroyuki, Masatake HIGASHI e 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, n.º 1 (1998): 106–10. http://dx.doi.org/10.2493/jjspe.64.106.
Texto completo da fonteZhang, Tao, Hui Li, Wenxue Hong, Xiamei Yuan e Xinyu Wei. "Deep First Formal Concept Search". Scientific World Journal 2014 (2014): 1–13. http://dx.doi.org/10.1155/2014/275679.
Texto completo da fonteGreenberg, Gabriel. "The Iconic-Symbolic Spectrum". Philosophical Review 132, n.º 4 (1 de outubro de 2023): 579–627. http://dx.doi.org/10.1215/00318108-10697558.
Texto completo da fonteZhi, 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.
Texto completo da fonteDeTar, DeLos F. "Calculation of formal steric enthalpy with MM2". Journal of Organic Chemistry 57, n.º 3 (janeiro de 1992): 902–10. http://dx.doi.org/10.1021/jo00029a022.
Texto completo da fonteGonzalez, Cleotilde, e Christian Lebiere. "Cognitive architectures combine formal and heuristic approaches". Behavioral and Brain Sciences 36, n.º 3 (14 de maio de 2013): 285–86. http://dx.doi.org/10.1017/s0140525x12002956.
Texto completo da fonte