Artykuły w czasopismach na temat „Formal and symbolic calculation”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Formal and symbolic calculation”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Deng, Hui, i 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.
Pełny tekst źródłaPlaskura, Paweł. "DERIVWWW - WEB-BASED SYMBOLIC DIFFERENTIATION SYSTEM". Information Technologies and Learning Tools 60, nr 4 (30.09.2017): 254. http://dx.doi.org/10.33407/itlt.v60i4.1578.
Pełny tekst źródłaConstantine, Gregory M., i Marius G. Buliga. "Determinantal generating functions of colored spanning forests". International Journal of Mathematics and Mathematical Sciences 2004, nr 6 (2004): 273–83. http://dx.doi.org/10.1155/s0161171204302206.
Pełny tekst źródłaYan, Zongshuai, Chenhua Nie, Rongsheng Dong, Xi Gao i 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.
Pełny tekst źródłaCERVESATO, ILIANO. "NEXCEL, a deductive spreadsheet". Knowledge Engineering Review 22, nr 3 (wrzesień 2007): 221–36. http://dx.doi.org/10.1017/s0269888907001142.
Pełny tekst źródłaSelot, Florian, Bruno Robisson, Claire Vaglio-Gaudard i 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, nr 1 (1.11.2021): 012017. http://dx.doi.org/10.1088/1755-1315/897/1/012017.
Pełny tekst źródłaRøyrvik, Ola. "Teaching Electrical Engineering Using Maple". International Journal of Electrical Engineering & Education 39, nr 4 (październik 2002): 297–309. http://dx.doi.org/10.7227/ijeee.39.4.1.
Pełny tekst źródłaNoël, Marie-Pascale, i Xavier Seron. "Notational Constraints and Number Processing: A Reappraisal of the Gonzalez and Kolers (1982) Study". Quarterly Journal of Experimental Psychology Section A 45, nr 3 (wrzesień 1992): 451–78. http://dx.doi.org/10.1080/02724989208250623.
Pełny tekst źródłaTopilnytskyy, Volodymyr, Yaroslav Kusyi i Dariya Rebot. "RESEARCH OF VIBRATION MACHINES DYNAMICS FOR PRODUCT SURFACES PROCESSING BY MATHEMATICAL MODELING". Vibrations in engineering and technology, nr 1(96) (27.08.2020): 35–43. http://dx.doi.org/10.37128/2306-8744-2020-1-4.
Pełny tekst źródłaZhang, Yujian, i Daifu Liu. "Toward Vulnerability Detection for Ethereum Smart Contracts Using Graph-Matching Network". Future Internet 14, nr 11 (11.11.2022): 326. http://dx.doi.org/10.3390/fi14110326.
Pełny tekst źródłaPang, Alex, i Chueng-Ryong Ji. "Symbolic Feynman-Diagram Calculation". Computers in Physics 9, nr 6 (1995): 589. http://dx.doi.org/10.1063/1.168553.
Pełny tekst źródłaWaring, Rylan J., i 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, nr 3 (10.02.2017): 202–19. http://dx.doi.org/10.5964/jnc.v2i3.9.
Pełny tekst źródłaDeng, Xianghua, Jooyong Lee i Robby. "Efficient and formal generalized symbolic execution". Automated Software Engineering 19, nr 3 (9.06.2011): 233–301. http://dx.doi.org/10.1007/s10515-011-0089-9.
Pełny tekst źródłaYoung, Thomas. "Introductory Symbolic Logic Without Formal Proofs". Teaching Philosophy 15, nr 3 (1992): 296–98. http://dx.doi.org/10.5840/teachphil199215352.
Pełny tekst źródłaCosta, Umberto, Sérgio Campos, Newton Vieira i David Déharbe. "Explicit-Symbolic Modelling for Formal Verification". Electronic Notes in Theoretical Computer Science 130 (maj 2005): 301–21. http://dx.doi.org/10.1016/j.entcs.2005.03.016.
Pełny tekst źródłaDIVAKOV, D. V., i A. A. TYUTYUNNIK. "SYMBOLIC-NUMERICAL IMPLEMENTATION OF THE GALERKIN METHOD FOR APPROXIMATE SOLUTION OF THE WAVEGUIDE DIFFRACTION PROBLEM". Программирование, nr 2 (1.03.2023): 46–53. http://dx.doi.org/10.31857/s0132347423020097.
Pełny tekst źródłaNebel, G., U. Kleine i H. J. Pfleiderer. "Symbolic pole/zero calculation using SANTAFE". IEEE Journal of Solid-State Circuits 30, nr 7 (lipiec 1995): 752–61. http://dx.doi.org/10.1109/4.391114.
Pełny tekst źródłaBarnett, Michael P., i Istvàn Pelczer. "Pulse sequence editing by symbolic calculation". Journal of Magnetic Resonance 204, nr 2 (czerwiec 2010): 189–95. http://dx.doi.org/10.1016/j.jmr.2010.01.009.
Pełny tekst źródłaGyimothy, S., i I. Sebestyen. "Symbolic description of field calculation problems". IEEE Transactions on Magnetics 34, nr 5 (1998): 3427–30. http://dx.doi.org/10.1109/20.717807.
Pełny tekst źródłaPearson, Jane M., i Noel G. Lloyd. "Space Saving Calculation of Symbolic Resultants". Mathematics in Computer Science 1, nr 2 (15.10.2007): 267–90. http://dx.doi.org/10.1007/s11786-007-0016-4.
Pełny tekst źródłaBarnett, Michael P., Joseph F. Capitani, Joachim von zur Gathen i Jürgen Gerhard. "Symbolic calculation in chemistry: Selected examples". International Journal of Quantum Chemistry 100, nr 2 (2004): 80–104. http://dx.doi.org/10.1002/qua.20097.
Pełny tekst źródłaBarnett, Michael P., i Joseph F. Capitani. "Modular chemical geometry and symbolic calculation". International Journal of Quantum Chemistry 106, nr 1 (2005): 215–27. http://dx.doi.org/10.1002/qua.20807.
Pełny tekst źródłade Boer, Frank S., i Marcello Bonsangue. "Symbolic execution formally explained". Formal Aspects of Computing 33, nr 4-5 (2.02.2021): 617–36. http://dx.doi.org/10.1007/s00165-020-00527-y.
Pełny tekst źródłaPorncharoenwase, Sorawee, Luke Nelson, Xi Wang i Emina Torlak. "A formal foundation for symbolic evaluation with merging". Proceedings of the ACM on Programming Languages 6, POPL (16.01.2022): 1–28. http://dx.doi.org/10.1145/3498709.
Pełny tekst źródłaKawahara, Shigeto, Hironori Katsuda i Gakuji Kumagai. "Accounting for the stochastic nature of sound symbolism using Maximum Entropy model". Open Linguistics 5, nr 1 (22.05.2019): 109–20. http://dx.doi.org/10.1515/opli-2019-0007.
Pełny tekst źródłaBracken, Paul, i Rodney J. Bartlett. "Calculation of Gaussian integrals using symbolic manipulation". International Journal of Quantum Chemistry 62, nr 6 (1997): 557–70. http://dx.doi.org/10.1002/(sici)1097-461x(1997)62:6<557::aid-qua1>3.0.co;2-v.
Pełny tekst źródłaYu, Feng, i Xinyuan Chen. "Dynamic Modeling and Development of Symbolic Calculation Software for N-DOF Flexible-Link Manipulators Incorporating Lumped Mass". Shock and Vibration 2019 (1.07.2019): 1–16. http://dx.doi.org/10.1155/2019/5627271.
Pełny tekst źródłaStewart, Sepideh, i Michael O. J. Thomas. "Embodied, symbolic and formal thinking in linear algebra". International Journal of Mathematical Education in Science and Technology 38, nr 7 (15.10.2007): 927–37. http://dx.doi.org/10.1080/00207390701573335.
Pełny tekst źródłaThomas, Michael O. J., i Sepideh Stewart. "Eigenvalues and eigenvectors: embodied, symbolic and formal thinking". Mathematics Education Research Journal 23, nr 3 (9.08.2011): 275–96. http://dx.doi.org/10.1007/s13394-011-0016-1.
Pełny tekst źródłaSmolensky, Paul. "Symbolic functions from neural computation". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 370, nr 1971 (28.07.2012): 3543–69. http://dx.doi.org/10.1098/rsta.2011.0334.
Pełny tekst źródłaPang, Alex C. Y., i Chueng-Ryong Ji. "A Spinor Technique in Symbolic Feynman Diagram Calculation". Journal of Computational Physics 115, nr 2 (grudzień 1994): 267–75. http://dx.doi.org/10.1006/jcph.1994.1194.
Pełny tekst źródłaCory, Beth, i Ken W. Smith. "Delving into Limits of Sequences". Mathematics Teacher 105, nr 1 (sierpień 2011): 48–55. http://dx.doi.org/10.5951/mathteacher.105.1.0048.
Pełny tekst źródłaChipere, 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, nr 3 (wrzesień 2002): 471–77. http://dx.doi.org/10.1017/s0142716402213089.
Pełny tekst źródłaPeng, Ji. "Application and Popularization of Formal Calculation". OALib 09, nr 11 (2022): 1–21. http://dx.doi.org/10.4236/oalib.1109483.
Pełny tekst źródłaGraham-Squire, Adam. "Calculation of local formal Mellin transforms". Pacific Journal of Mathematics 283, nr 1 (14.06.2016): 115–37. http://dx.doi.org/10.2140/pjm.2016.283.115.
Pełny tekst źródłaGraham-Squire, Adam. "Calculation of local formal Fourier transforms". Arkiv för Matematik 51, nr 1 (kwiecień 2013): 71–84. http://dx.doi.org/10.1007/s11512-011-0156-2.
Pełny tekst źródłaBrkić, Dejan, Pavel Praks, Renáta Praksová i Tomáš Kozubek. "Symbolic Regression Approaches for the Direct Calculation of Pipe Diameter". Axioms 12, nr 9 (31.08.2023): 850. http://dx.doi.org/10.3390/axioms12090850.
Pełny tekst źródłaSeger, Carl-Johan H., i Randal E. Bryant. "Formal verification by symbolic evaluation of partially-ordered trajectories". Formal Methods in System Design 6, nr 2 (marzec 1995): 147–89. http://dx.doi.org/10.1007/bf01383966.
Pełny tekst źródłaHojati, Ramin, i Robert K. Brayton. "An environment for formal verification based on symbolic computations". Formal Methods in System Design 6, nr 2 (marzec 1995): 191–216. http://dx.doi.org/10.1007/bf01383967.
Pełny tekst źródłaRichards, Joan L. "Generations of Reason: A Family's Search for Meaning in Post-Newtonian England". Perspectives on Science and Christian Faith 75, nr 1 (marzec 2023): 63–65. http://dx.doi.org/10.56315/pscf3-23richards.
Pełny tekst źródłaGordon, 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.
Pełny tekst źródłaRatkiewicz, Artur, i Thanh N. Truong. "Automated mechanism generation: From symbolic calculation to complex chemistry". International Journal of Quantum Chemistry 106, nr 1 (2005): 244–55. http://dx.doi.org/10.1002/qua.20748.
Pełny tekst źródłaTorresi, Sandra. "Interaction between domain-specific and domain-general abilities in math´s competence". Journal of Applied Cognitive Neuroscience 1, nr 1 (7.12.2020): 43–51. http://dx.doi.org/10.17981/jacn.1.1.2020.08.
Pełny tekst źródłaNAKAMURA, Hiroyuki, Masatake HIGASHI i 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, nr 4 (1997): 515–19. http://dx.doi.org/10.2493/jjspe.63.515.
Pełny tekst źródłaNAKAMURA, Hiroyuki, Masatake HIGASHI i 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, nr 1 (1998): 106–10. http://dx.doi.org/10.2493/jjspe.64.106.
Pełny tekst źródłaZhang, Tao, Hui Li, Wenxue Hong, Xiamei Yuan i Xinyu Wei. "Deep First Formal Concept Search". Scientific World Journal 2014 (2014): 1–13. http://dx.doi.org/10.1155/2014/275679.
Pełny tekst źródłaGreenberg, Gabriel. "The Iconic-Symbolic Spectrum". Philosophical Review 132, nr 4 (1.10.2023): 579–627. http://dx.doi.org/10.1215/00318108-10697558.
Pełny tekst źródłaZhi, 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.
Pełny tekst źródłaDeTar, DeLos F. "Calculation of formal steric enthalpy with MM2". Journal of Organic Chemistry 57, nr 3 (styczeń 1992): 902–10. http://dx.doi.org/10.1021/jo00029a022.
Pełny tekst źródłaGonzalez, Cleotilde, i Christian Lebiere. "Cognitive architectures combine formal and heuristic approaches". Behavioral and Brain Sciences 36, nr 3 (14.05.2013): 285–86. http://dx.doi.org/10.1017/s0140525x12002956.
Pełny tekst źródła