Academic literature on the topic 'Symbolic tools'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Symbolic tools.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Symbolic tools"
Lytovchenko, Artem, and Alexander Durniev. "MEMES IN SYMBOLIC STRUGGLE TOOLS." Knowledge, Education, Law, Management, no. 6 (2021): 95–102. http://dx.doi.org/10.51647/kelm.2021.6.15.
Full textMunro, N. "Symbolic algebra tools for control teaching." Computing & Control Engineering Journal 8, no. 2 (1997): 58–63. http://dx.doi.org/10.1049/cce:19970203.
Full textDick, Thomas P. "Symbolic-Graphical Calculators: Teaching Tools for Mathematics." School Science and Mathematics 92, no. 1 (1992): 1–5. http://dx.doi.org/10.1111/j.1949-8594.1992.tb12128.x.
Full textBelikov, Juri, ülle Kotta, and Maris Tõnso. "Symbolic Polynomial Tools for Nonlinear Control Systems." IFAC Proceedings Volumes 45, no. 2 (2012): 293–98. http://dx.doi.org/10.3182/20120215-3-at-3016.00051.
Full textLeite Dantas Bezerra, Byron, and Francisco de Assis Tenorio de Carvalho. "Symbolic data analysis tools for recommendation systems." Knowledge and Information Systems 26, no. 3 (2010): 385–418. http://dx.doi.org/10.1007/s10115-009-0282-3.
Full textKOROL'KOVA, A. V., M. N. GEVORKYAN, D. S. KULYABOV, and L. A. SEVAST'YANOV. "COMPUTER ALGEBRA TOOLS FOR GEOMETRIZATION OF MAXWELL'S EUQATIONS." Программирование, no. 4 (July 1, 2023): 33–38. http://dx.doi.org/10.31857/s0132347423020127.
Full textVeraksa, A. N., A. E. Gorovaya, and A. V. Kisel. "The Possibility of Using Iconic and Symbolic Tools in Teaching Preschoolers (on Example of the Acquisition of the Rainbow Phenomenon)." Psychological-Educational Studies 6, no. 2 (2014): 19–34. http://dx.doi.org/10.17759/psyedu.2014060202.
Full textChar, Bruce, Tom Hewett, Jeremy Johnson, et al. "Symbolic computation tools in scientific problem solving environments." ACM SIGSAM Bulletin 31, no. 3 (1997): 58. http://dx.doi.org/10.1145/271130.271207.
Full textPiazza, Manuela. "Neurocognitive start-up tools for symbolic number representations." Trends in Cognitive Sciences 14, no. 12 (2010): 542–51. http://dx.doi.org/10.1016/j.tics.2010.09.008.
Full textAlvarado, F. L., and Y. Liu. "General purpose symbolic simulation tools for electric networks." IEEE Transactions on Power Systems 3, no. 2 (1988): 689–97. http://dx.doi.org/10.1109/59.192924.
Full textDissertations / Theses on the topic "Symbolic tools"
Liu, Xianping. "Symbolic tools for the analysis of nonlinear dynamical systems." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape9/PQDD_0010/NQ42542.pdf.
Full textWalczuk, Maria. "Tools of Vulnerability : How can tools to access vulnerability be a symbolic key to unlocking the transformative power of resilience in a narrative?" Thesis, Stockholms konstnärliga högskola, Institutionen för film och media, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uniarts:diva-746.
Full textNguyễn, Huu Nghia (Hữu Nghĩa). "A symbolic approach for the verification and the test of service choreographies." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00961450.
Full textNguyễn, Hữu Nghĩa. "A symbolic approach for the verification and the test of service choreographies." Thesis, Paris 11, 2013. http://www.theses.fr/2013PA112250/document.
Full textPalikareva, Hristina. "Techniques and tools for the verification of concurrent systems." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:fc2028e1-2a45-459a-afdd-70001893f3d8.
Full textVerhoeven, Gregor Günther [Verfasser], Claus [Akademischer Betreuer] [Gutachter] Hillermeier, and Jean [Gutachter] Lévine. "Symbolic Software Tools for Flatness of Linear Systems with Delays and Nonlinear Systems / Gregor Günther Verhoeven ; Gutachter: Claus Hillermeier, Jean Lévine ; Akademischer Betreuer: Claus Hillermeier ; Universität der Bundeswehr München, Fakultät für Elektrotechnik und Informationstechnik." Neubiberg : Universitätsbibliothek der Universität der Bundeswehr München, 2016. http://d-nb.info/111703593X/34.
Full textVerhoeven, Gregor Günther Verfasser], Claus [Akademischer Betreuer] [Hillermeier, and Jean [Gutachter] Lévine. "Symbolic Software Tools for Flatness of Linear Systems with Delays and Nonlinear Systems / Gregor Günther Verhoeven ; Gutachter: Claus Hillermeier, Jean Lévine ; Akademischer Betreuer: Claus Hillermeier ; Universität der Bundeswehr München, Fakultät für Elektrotechnik und Informationstechnik." Neubiberg : Universitätsbibliothek der Universität der Bundeswehr München, 2016. http://nbn-resolving.de/urn:nbn:de:bvb:706-4788.
Full textFeng, Zimin. "SymGF: a symbolic tool for quantum transport theory." Thesis, McGill University, 2012. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=107697.
Full textPettersson, Helena. "Boundaries, believers and bodies : a cultural analysis of a multidisciplinary research community." Doctoral thesis, Umeå : Institutionen för kultur och medier, Umeå universitet, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-1088.
Full textLynch, Angelique. "Adjusted Tools." Digital Commons @ East Tennessee State University, 2012. https://dc.etsu.edu/etd/1499.
Full textBooks on the topic "Symbolic tools"
López, César Pérez. MATLAB Symbolic Algebra and Calculus Tools. Apress, 2014. http://dx.doi.org/10.1007/978-1-4842-0343-9.
Full textAndrews, D. F. Tools for the symbolic computation of asymptotic expansions. Dept. of Statistics, University of Toronto, 1991.
Find full textDjurić, Dragan. Strategy Tools as Symbolic Objects in Managerial Language Games. Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-09665-6.
Full textRand, Omri. Analytical methods in anisotropic elasticity: With symbolic computational tools. Birkhäuser, 2005.
Find full textGerla, Giangiacomo. Fuzzy Logic: Mathematical Tools for Approximate Reasoning. Springer Netherlands, 2001.
Find full textLamport, Leslie. Specifying systems: The TLA [plus] language and tools for hardware and software engineers. Addison-Wesley, 2003.
Find full textKarl, Schlechta, and SpringerLink (Online service), eds. Logical Tools for Handling Change in Agent-Based Systems. Springer-Verlag Berlin Heidelberg, 2010.
Find full text1960-, Sun Ron, and Alexandre Frederic, eds. Connectionist-symbolic integration: From unified to hybrid approaches. Lawrence Erlbaum Associates, 1997.
Find full textBlackburn, Patrick. Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. Springer Berlin Heidelberg, 2011.
Find full textBook chapters on the topic "Symbolic tools"
López, César Pérez. "Symbolic Matrix Algebra." In MATLAB Symbolic Algebra and Calculus Tools. Apress, 2014. http://dx.doi.org/10.1007/978-1-4842-0343-9_4.
Full textLi, Liyi, Elsa Gunter, and William Mansky. "Symbolic Analysis Tools for CSP." In Theoretical Aspects of Computing – ICTAC 2014. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10882-7_18.
Full textLópez, César Pérez. "Symbolic Variables and Functions." In MATLAB Symbolic Algebra and Calculus Tools. Apress, 2014. http://dx.doi.org/10.1007/978-1-4842-0343-9_1.
Full textZhang, Jian. "Constraint Solving and Symbolic Execution." In Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-69149-5_59.
Full textDavies, Misty, Corina S. Păsăreanu, and Vishwanath Raman. "Symbolic Execution Enhanced System Testing." In Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27705-4_23.
Full textSaarikivi, Olli, Margus Veanes, Tiki Wan, and Eric Xu. "Symbolic Regex Matcher." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-17462-0_24.
Full textDrews, Samuel, and Loris D’Antoni. "Learning Symbolic Automata." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-54577-5_10.
Full textThierry-Mieg, Yann. "Symbolic Model-Checking Using ITS-Tools." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-46681-0_20.
Full textKwiatkowska, Marta, Gethin Norman, and David Parker. "PRISM: Probabilistic Symbolic Model Checker." In Computer Performance Evaluation: Modelling Techniques and Tools. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-46029-2_13.
Full textEhlers, Rüdiger. "Unbeast: Symbolic Bounded Synthesis." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19835-9_25.
Full textConference papers on the topic "Symbolic tools"
Fong, Kei Sen, and Mehul Motani. "SyREC: A Symbolic-Regression-Based Ensemble Combiner." In 2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI). IEEE, 2024. https://doi.org/10.1109/ictai62512.2024.00114.
Full textBatranu-Pintea, Vlad, and Salomeea Panait. "EMBRACING DIFFERENCES: A SOCIOLOGICAL JOURNEY INTO AUTISM." In 11th SWS International Scientific Conferences on SOCIAL SCIENCES - ISCSS 2024. SGEM WORLD SCIENCE, 2024. https://doi.org/10.35603/sws.iscss.2024/s07/84.
Full textZuidberg Dos Martires, Pedro, Vincent Derkinderen, Luc De Raedt, and Marcus Krantz. "Automated Reasoning in Systems Biology: A Necessity for Precision Medicine." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/91.
Full textDong, Hanzhang. "Analyzing the symbolic significance of Angelopoulos’ films from the perspective of semiotics." In Intelligent Human Systems Integration (IHSI 2024) Integrating People and Intelligent Systems. AHFE International, 2024. http://dx.doi.org/10.54941/ahfe1004522.
Full textCseppento, Lajos, and Zoltan Micskei. "Evaluating Symbolic Execution-Based Test Tools." In 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2015. http://dx.doi.org/10.1109/icst.2015.7102587.
Full textMunro, N. "Symbolic algebra tools for control teaching." In IEE Colloquium on Symbolic Computation for Control. IEE, 1996. http://dx.doi.org/10.1049/ic:19960508.
Full textBannour, Boutheina, and Arnault Lapitre. "Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration." In RAPIDO '20: Methods and Tools. ACM, 2020. http://dx.doi.org/10.1145/3375246.3375255.
Full textBrunner, Gino, Yuyi Wang, Roger Wattenhofer, and Sumu Zhao. "Symbolic Music Genre Transfer with CycleGAN." In 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI). IEEE, 2018. http://dx.doi.org/10.1109/ictai.2018.00123.
Full textTosic, Dejan V., and Marija M. Paramentic. "Symbolic Generation of Models for Microwave Software Tools." In 2007 8th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services. IEEE, 2007. http://dx.doi.org/10.1109/telsks.2007.4375976.
Full textBayarmagnai, Erdenebayar, Fatemeh Mohammadi, and Rémi Prébet. "Algebraic Tools for Computing Polynomial Loop Invariants." In ISSAC '24: International Symposium on Symbolic and Algebraic Computation. ACM, 2024. http://dx.doi.org/10.1145/3666000.3669710.
Full textReports on the topic "Symbolic tools"
Kodratoff, Yves. Improving the Tools of Symbolic Learning. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada192254.
Full textSymonenko, Svitlana V., Viacheslav V. Osadchyi, Svitlana O. Sysoieva, Kateryna P. Osadcha, and Albert A. Azaryan. Cloud technologies for enhancing communication of IT-professionals. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3861.
Full textO'Brien, Beth A., Chee Soon Tan, and Luca Onnis. Technology-based tools for teaching early literacy skills. National Institute of Education, Nanyang Technological University, Singapore, 2024. https://doi.org/10.32658/10497/27453.
Full textBohorquez, Clara, Tamar Cooper, and Ian Tattersall. Human Evolution and Biodiversity. American Museum of Natural History, 2010. http://dx.doi.org/10.5531/cbc.ncep.0095.
Full textSocially significant technologies in working with children with special educational needs. Science and Innovation Center Publishing House, 2024. http://dx.doi.org/10.12731/er0829.05112024.
Full text