Zeitschriftenartikel zum Thema „Formal and symbolic calculation“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Formal and symbolic calculation" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Deng, Hui, und 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.
Der volle Inhalt der QuellePlaskura, 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.
Der volle Inhalt der QuelleConstantine, Gregory M., und 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.
Der volle Inhalt der QuelleYan, Zongshuai, Chenhua Nie, Rongsheng Dong, Xi Gao und 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.
Der volle Inhalt der QuelleCERVESATO, ILIANO. „NEXCEL, a deductive spreadsheet“. Knowledge Engineering Review 22, Nr. 3 (September 2007): 221–36. http://dx.doi.org/10.1017/s0269888907001142.
Der volle Inhalt der QuelleSelot, Florian, Bruno Robisson, Claire Vaglio-Gaudard und 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 (01.11.2021): 012017. http://dx.doi.org/10.1088/1755-1315/897/1/012017.
Der volle Inhalt der QuelleRøyrvik, Ola. „Teaching Electrical Engineering Using Maple“. International Journal of Electrical Engineering & Education 39, Nr. 4 (Oktober 2002): 297–309. http://dx.doi.org/10.7227/ijeee.39.4.1.
Der volle Inhalt der QuelleNoël, Marie-Pascale, und 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 (September 1992): 451–78. http://dx.doi.org/10.1080/02724989208250623.
Der volle Inhalt der QuelleTopilnytskyy, Volodymyr, Yaroslav Kusyi und 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.
Der volle Inhalt der QuelleZhang, Yujian, und 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.
Der volle Inhalt der QuellePang, Alex, und Chueng-Ryong Ji. „Symbolic Feynman-Diagram Calculation“. Computers in Physics 9, Nr. 6 (1995): 589. http://dx.doi.org/10.1063/1.168553.
Der volle Inhalt der QuelleWaring, Rylan J., und 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.
Der volle Inhalt der QuelleDeng, Xianghua, Jooyong Lee und Robby. „Efficient and formal generalized symbolic execution“. Automated Software Engineering 19, Nr. 3 (09.06.2011): 233–301. http://dx.doi.org/10.1007/s10515-011-0089-9.
Der volle Inhalt der QuelleYoung, Thomas. „Introductory Symbolic Logic Without Formal Proofs“. Teaching Philosophy 15, Nr. 3 (1992): 296–98. http://dx.doi.org/10.5840/teachphil199215352.
Der volle Inhalt der QuelleCosta, Umberto, Sérgio Campos, Newton Vieira und 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.
Der volle Inhalt der QuelleDIVAKOV, D. V., und A. A. TYUTYUNNIK. „SYMBOLIC-NUMERICAL IMPLEMENTATION OF THE GALERKIN METHOD FOR APPROXIMATE SOLUTION OF THE WAVEGUIDE DIFFRACTION PROBLEM“. Программирование, Nr. 2 (01.03.2023): 46–53. http://dx.doi.org/10.31857/s0132347423020097.
Der volle Inhalt der QuelleNebel, G., U. Kleine und H. J. Pfleiderer. „Symbolic pole/zero calculation using SANTAFE“. IEEE Journal of Solid-State Circuits 30, Nr. 7 (Juli 1995): 752–61. http://dx.doi.org/10.1109/4.391114.
Der volle Inhalt der QuelleBarnett, Michael P., und Istvàn Pelczer. „Pulse sequence editing by symbolic calculation“. Journal of Magnetic Resonance 204, Nr. 2 (Juni 2010): 189–95. http://dx.doi.org/10.1016/j.jmr.2010.01.009.
Der volle Inhalt der QuelleGyimothy, S., und 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.
Der volle Inhalt der QuellePearson, Jane M., und 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.
Der volle Inhalt der QuelleBarnett, Michael P., Joseph F. Capitani, Joachim von zur Gathen und 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.
Der volle Inhalt der QuelleBarnett, Michael P., und 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.
Der volle Inhalt der Quellede Boer, Frank S., und Marcello Bonsangue. „Symbolic execution formally explained“. Formal Aspects of Computing 33, Nr. 4-5 (02.02.2021): 617–36. http://dx.doi.org/10.1007/s00165-020-00527-y.
Der volle Inhalt der QuellePorncharoenwase, Sorawee, Luke Nelson, Xi Wang und 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.
Der volle Inhalt der QuelleKawahara, Shigeto, Hironori Katsuda und 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.
Der volle Inhalt der QuelleBracken, Paul, und 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.
Der volle Inhalt der QuelleYu, Feng, und Xinyuan Chen. „Dynamic Modeling and Development of Symbolic Calculation Software for N-DOF Flexible-Link Manipulators Incorporating Lumped Mass“. Shock and Vibration 2019 (01.07.2019): 1–16. http://dx.doi.org/10.1155/2019/5627271.
Der volle Inhalt der QuelleStewart, Sepideh, und 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.
Der volle Inhalt der QuelleThomas, Michael O. J., und Sepideh Stewart. „Eigenvalues and eigenvectors: embodied, symbolic and formal thinking“. Mathematics Education Research Journal 23, Nr. 3 (09.08.2011): 275–96. http://dx.doi.org/10.1007/s13394-011-0016-1.
Der volle Inhalt der QuelleSmolensky, 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.
Der volle Inhalt der QuellePang, Alex C. Y., und Chueng-Ryong Ji. „A Spinor Technique in Symbolic Feynman Diagram Calculation“. Journal of Computational Physics 115, Nr. 2 (Dezember 1994): 267–75. http://dx.doi.org/10.1006/jcph.1994.1194.
Der volle Inhalt der QuelleCory, Beth, und Ken W. Smith. „Delving into Limits of Sequences“. Mathematics Teacher 105, Nr. 1 (August 2011): 48–55. http://dx.doi.org/10.5951/mathteacher.105.1.0048.
Der volle Inhalt der QuelleChipere, 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 (September 2002): 471–77. http://dx.doi.org/10.1017/s0142716402213089.
Der volle Inhalt der QuellePeng, Ji. „Application and Popularization of Formal Calculation“. OALib 09, Nr. 11 (2022): 1–21. http://dx.doi.org/10.4236/oalib.1109483.
Der volle Inhalt der QuelleGraham-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.
Der volle Inhalt der QuelleGraham-Squire, Adam. „Calculation of local formal Fourier transforms“. Arkiv för Matematik 51, Nr. 1 (April 2013): 71–84. http://dx.doi.org/10.1007/s11512-011-0156-2.
Der volle Inhalt der QuelleBrkić, Dejan, Pavel Praks, Renáta Praksová und 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.
Der volle Inhalt der QuelleSeger, Carl-Johan H., und Randal E. Bryant. „Formal verification by symbolic evaluation of partially-ordered trajectories“. Formal Methods in System Design 6, Nr. 2 (März 1995): 147–89. http://dx.doi.org/10.1007/bf01383966.
Der volle Inhalt der QuelleHojati, Ramin, und Robert K. Brayton. „An environment for formal verification based on symbolic computations“. Formal Methods in System Design 6, Nr. 2 (März 1995): 191–216. http://dx.doi.org/10.1007/bf01383967.
Der volle Inhalt der QuelleRichards, Joan L. „Generations of Reason: A Family's Search for Meaning in Post-Newtonian England“. Perspectives on Science and Christian Faith 75, Nr. 1 (März 2023): 63–65. http://dx.doi.org/10.56315/pscf3-23richards.
Der volle Inhalt der QuelleGordon, 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.
Der volle Inhalt der QuelleRatkiewicz, Artur, und 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.
Der volle Inhalt der QuelleTorresi, Sandra. „Interaction between domain-specific and domain-general abilities in math´s competence“. Journal of Applied Cognitive Neuroscience 1, Nr. 1 (07.12.2020): 43–51. http://dx.doi.org/10.17981/jacn.1.1.2020.08.
Der volle Inhalt der QuelleNAKAMURA, Hiroyuki, Masatake HIGASHI und 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.
Der volle Inhalt der QuelleNAKAMURA, Hiroyuki, Masatake HIGASHI und 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.
Der volle Inhalt der QuelleZhang, Tao, Hui Li, Wenxue Hong, Xiamei Yuan und Xinyu Wei. „Deep First Formal Concept Search“. Scientific World Journal 2014 (2014): 1–13. http://dx.doi.org/10.1155/2014/275679.
Der volle Inhalt der QuelleGreenberg, Gabriel. „The Iconic-Symbolic Spectrum“. Philosophical Review 132, Nr. 4 (01.10.2023): 579–627. http://dx.doi.org/10.1215/00318108-10697558.
Der volle Inhalt der QuelleZhi, 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.
Der volle Inhalt der QuelleDeTar, DeLos F. „Calculation of formal steric enthalpy with MM2“. Journal of Organic Chemistry 57, Nr. 3 (Januar 1992): 902–10. http://dx.doi.org/10.1021/jo00029a022.
Der volle Inhalt der QuelleGonzalez, Cleotilde, und 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.
Der volle Inhalt der Quelle