Gotowa bibliografia na temat „Mathematical and symbolic”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Mathematical and symbolic”.
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.
Artykuły w czasopismach na temat "Mathematical and symbolic"
Wolfram, Stephen. "Symbolic mathematical computation". Communications of the ACM 28, nr 4 (kwiecień 1985): 390–94. http://dx.doi.org/10.1145/3341.3347.
Pełny tekst źródłaBing, Thomas J., i Edward F. Redish. "Symbolic manipulators affect mathematical mindsets". American Journal of Physics 76, nr 4 (kwiecień 2008): 418–24. http://dx.doi.org/10.1119/1.2835053.
Pełny tekst źródłaLutovac, Miroslav, i Dejan Tosic. "Symbolic signal processing and system analysis". Facta universitatis - series: Electronics and Energetics 16, nr 3 (2003): 423–31. http://dx.doi.org/10.2298/fuee0303423l.
Pełny tekst źródłaVasileva, Natalia, Vladimir Grigorev-Golubev i Irina Evgrafova. "Mathematical programming in Mathcad and Mathematica". E3S Web of Conferences 419 (2023): 02007. http://dx.doi.org/10.1051/e3sconf/202341902007.
Pełny tekst źródłaBehmanesh-Fard, Navid, Hossein Yazdanjouei, Mohammad Shokouhifar i Frank Werner. "Mathematical Circuit Root Simplification Using an Ensemble Heuristic–Metaheuristic Algorithm". Mathematics 11, nr 6 (19.03.2023): 1498. http://dx.doi.org/10.3390/math11061498.
Pełny tekst źródłaZhanatauov, S. U. "VERBAL, SYMBOLIC, MATHEMATICAL, SEMANTIC, BEHAVIORAL, COGNITIVE MODELS." Theoretical & Applied Science 113, nr 09 (30.09.2022): 169–74. http://dx.doi.org/10.15863/tas.2022.09.113.32.
Pełny tekst źródłaDiez, F., i R. Moriyon. "Solving mathematical exercises that involve symbolic computations". Computing in Science & Engineering 6, nr 1 (styczeń 2004): 81–84. http://dx.doi.org/10.1109/mcise.2004.1255826.
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łaXu, Chang, Feng Gu, Katherine Newman i Jo-Anne LeFevre. "The hierarchical symbol integration model of individual differences in mathematical skill". Journal of Numerical Cognition 5, nr 3 (20.12.2019): 262–82. http://dx.doi.org/10.5964/jnc.v5i3.140.
Pełny tekst źródłaLestari, Nurcholif Diah Sri, Wasilatul Murtafiah, Marheny Lukitasari, Suwarno Suwarno i Inge Wiliandani Setya Putri. "IDENTIFIKASI RAGAM DAN LEVEL KEMAMPUAN REPRESENTASI PADA DESAIN MASALAH LITERASI MATEMATIS DARI MAHASISWA CALON GURU". KadikmA 13, nr 1 (30.04.2022): 11. http://dx.doi.org/10.19184/kdma.v13i1.31538.
Pełny tekst źródłaRozprawy doktorskie na temat "Mathematical and symbolic"
Redelinghuys, Gideon. "Symbolic string execution". Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/20335.
Pełny tekst źródłaENGLISH ABSTRACT: Symbolic execution is a well-established technique for automated test generation and for nding errors in complex code. Most of the focus has however been on programs that manipulate integers, booleans, and even, references in object-oriented programs. Recently researchers have started looking at programs that do lots of string processing, motivated, in part, by the popularity of the web and the risk that errors in web servers may lead to security violations. Attempts to extend symbolic execution to the domain of strings are mainly divided into one of two camps: automata-based approaches and approaches based on bitvector analysis. Here we investigate these two approaches in a uni ed setting, namely the symbolic execution framework of Java PathFinder. We describe the implementations of both approaches and then do an evaluation to show under what circumstances each approach performs well (or not so well). We also illustrate the usefulness of the symbolic execution of strings by nding errors in real-world examples.
AFRIKAANSE OPSOMMING: Simboliese uitvoering is 'n bekende tegniek vir automatiese genereering van toetse en om foute te vind in ingewikkelde bronkode. Die fokus sover was grotendeels op programme wat gebruik maak van heelgetalle, boolse waardes en selfs verwysings in objek geörienteerde programme. Navorsers het onlangs begin kyk na programme wat baie gebruik maak van string prosessering, deelteliks gemotiveerd deur die populariteit van die web en die gepaardgaande risiko's daarvan. Vorige implementasies van simboliese string uitvoering word binne twee kampe verdeel: die automata gebaseerde benadering en bitvektoor gebaseerde benadering. Binne hierdie tesis word die twee benaderings onder een dak gebring, naamliks Java PathFinder. Die implentasie van beide benaderings word bespreek en ge-evalueer om die omstandighede uit te wys waarbinne elk beter sou vaar. Die nut van simboliese string uitvoering word geïllustreer deur dit toe te pas in foutiewe regte wêreld voorbeelde.
Bishop, Joyce Wolfer Otto Albert D. Lubinski Cheryl Ann. "Middle school students' understanding of mathematical patterns and their symbolic representations". Normal, Ill. Illinois State University, 1997. http://wwwlib.umi.com/cr/ilstu/fullcit?p9803721.
Pełny tekst źródłaTitle from title page screen, viewed June 1, 2006. Dissertation Committee: Albert D. Otto, Cheryl A. Lubinski (co-chairs), John A. Dossey, Cynthia W. Langrall, George Padavil. Includes bibliographical references (leaves 119-123) and abstract. Also available in print.
Uwimbabazi, Aline. "Extended probabilistic symbolic execution". Thesis, Stellenbosch : Stellenbosch University, 2013. http://hdl.handle.net/10019.1/85804.
Pełny tekst źródłaENGLISH ABSTRACT: Probabilistic symbolic execution is a new approach that extends the normal symbolic execution with probability calculations. This approach combines symbolic execution and model counting to estimate the number of input values that would satisfy a given path condition, and thus is able to calculate the execution probability of a path. The focus has been on programs that manipulate primitive types such as linear integer arithmetic in object-oriented programming languages such as Java. In this thesis, we extend probabilistic symbolic execution to handle data structures, thus allowing support for reference types. Two techniques are proposed to calculate the probability of an execution when the programs have structures as inputs: an approximate approach that assumes probabilities for certain choices stay fixed during the execution and an accurate technique based on counting valid structures. We evaluate these approaches on an example of a Binary Search Tree and compare it to the classic approach which only take symbolic values as input.
AFRIKAANSE OPSOMMING: Probabilistiese simboliese uitvoering is ’n nuwe benadering wat die normale simboliese uitvoering uitbrei deur waarksynlikheidsberekeninge by te voeg. Hierdie benadering kombineer simboliese uitvoering en modeltellings om die aantal invoerwaardes wat ’n gegewe padvoorwaarde sal bevredig, te beraam en is dus in staat om die uitvoeringswaarskynlikheid van ’n pad te bereken. Tot dus vêr was die fokus op programme wat primitiewe datatipes manipuleer, byvoorbeeld lineêre heelgetalrekenkunde in objek-geörienteerde tale soos Java. In hierdie tesis brei ons probabilistiese simboliese uitvoering uit om datastrukture, en dus verwysingstipes, te dek. Twee tegnieke word voorgestel om die uitvoeringswaarskynlikheid van ’n program met datastrukture as invoer te bereken. Eerstens is daar die benaderingstegniek wat aanneem dat waarskynlikhede vir sekere keuses onveranderd sal bly tydens die uitvoering van die program. Tweedens is daar die akkurate tegniek wat gebaseer is op die telling van geldige datastrukture. Ons evalueer hierdie benaderings op ’n voorbeeld van ’n binêre soekboom en vergelyk dit met die klassieke tegniek wat slegs simboliese waardes as invoer neem.
Lindroth, Olof. "A random formula lower bound for ordered DLL extended with local symmetry recognition /". Uppsala, 2004. http://www.math.uu.se/research/pub/Lindroth1.pdf.
Pełny tekst źródłaLindman, Phillip A. (Phillip Anthony). "Intuition versus Formalization: Some Implications of Incompleteness on Mathematical Thought". Thesis, University of North Texas, 1994. https://digital.library.unt.edu/ark:/67531/metadc277970/.
Pełny tekst źródłaGorman, Judith A. "Aspects of coherent logic". Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63868.
Pełny tekst źródłaBrierley, William. "Undecidability of intuitionistic theories". Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66016.
Pełny tekst źródłaLindberg, Maja. "The innate ability to cope with mathematics : A comparative fMRI study of children's and adults' neural activity during non-symbolic mathematical tasks". Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-158199.
Pełny tekst źródłaWheeler, Russell Clark. "Using symbolic dynamical systems: A search for knot invariants". CSUSB ScholarWorks, 1998. https://scholarworks.lib.csusb.edu/etd-project/3033.
Pełny tekst źródłaSharma, Richa. "Semi-automated approach to support logical formalism for requirements analysis and validation". Thesis, IIT Delhi, 2016. http://localhost:8080/xmlui/handle/12345678/7227.
Pełny tekst źródłaKsiążki na temat "Mathematical and symbolic"
Understanding symbolic logic. Wyd. 2. Englewood Cliffs, N.J: Prentice Hall, 1989.
Znajdź pełny tekst źródłaKlenk, Virginia. Understanding symbolic logic. Wyd. 3. Upper Saddle River, N.J: Prentice Hall, 1994.
Znajdź pełny tekst źródłaKlenk, Virginia. Understanding symbolic logic. Wyd. 3. Englewood Cliffs, N.J: Prentice Hall, 1994.
Znajdź pełny tekst źródłaUnderstanding symbolic logic. New York: Custom Publishing, a division of Pearson, 2008.
Znajdź pełny tekst źródłaSmith, Karl J. Introduction to symbolic logic. Wyd. 2. Pacific Grove, Calif: Brooks/Cole Pub. Co., 1991.
Znajdź pełny tekst źródłaSymbolic logic. Australia: Wadsworth/Thomson Learning, 2001.
Znajdź pełny tekst źródła1915-, Metropolis N., red. Symbolic dynamics of trapezoidal maps. Dordrecht: D. Reidel Pub. Co., 1986.
Znajdź pełny tekst źródłaPeter, Milosav, i Ercegovaca Irene, red. Mathematics and mathematical logic: New research. Hauppauge, NY: Nova Science Publishers, 2009.
Znajdź pełny tekst źródłaKlenk, Virginia. Understanding symbolic logic. Wyd. 2. Englewood Cliffs, N.J: Prentice Hall, 1989.
Znajdź pełny tekst źródłaMartin, Robert M. Introducing symbolic logic. Peterborough, Ont: Broadview Press, 2004.
Znajdź pełny tekst źródłaCzęści książek na temat "Mathematical and symbolic"
Awange, Joseph L., Béla Paláncz, Robert H. Lewis i Lajos Völgyesi. "Symbolic Regression". W Mathematical Geosciences, 321–57. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-67371-4_11.
Pełny tekst źródłaAwange, Joseph L., Béla Paláncz, Robert H. Lewis i Lajos Völgyesi. "Symbolic Regression". W Mathematical Geosciences, 433–68. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-030-92495-9_12.
Pełny tekst źródłaGlasner, Eli. "Symbolic representations". W Mathematical Surveys and Monographs, 269–97. Providence, Rhode Island: American Mathematical Society, 2003. http://dx.doi.org/10.1090/surv/101/15.
Pełny tekst źródłaGilmore, Camilla, Silke M. Göbel i Matthew Inglis. "Symbolic Number". W An Introduction to Mathematical Cognition, 29–50. Matthew Inglis. Description: Abingdon, Oxon ; New York, NY : Routledge, 2018. |: Routledge, 2018. http://dx.doi.org/10.4324/9781315684758-3.
Pełny tekst źródłaCohen, Arjeh M. "Interactive Mathematical Documents". W Artificial Intelligence and Symbolic Computation, 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11856290_1.
Pełny tekst źródłaWang, Paul S. "Modern Symbolic Mathematical Computation Systems". W Applications of Computer Algebra, 62–73. Boston, MA: Springer US, 1985. http://dx.doi.org/10.1007/978-1-4684-6888-5_2.
Pełny tekst źródłaMazzucco, Isolde. "SYMOPT: Symbolic Parametric Mathematical Programming". W Computer Algebra in Scientific Computing CASC 2001, 417–29. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56666-0_32.
Pełny tekst źródłaKohlhase, Michael, i Ioan Sucan. "A Search Engine for Mathematical Formulae". W Artificial Intelligence and Symbolic Computation, 241–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11856290_21.
Pełny tekst źródłaPfalzgraf, J. "On mathematical modeling in robotics". W Artificial Intelligence and Symbolic Mathematical Computing, 116–32. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57322-4_8.
Pełny tekst źródłaDiveev, Askhat, i Elizaveta Shmalko. "Mathematical Statements of MLC Problems". W Machine Learning Control by Symbolic Regression, 7–25. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-83213-1_2.
Pełny tekst źródłaStreszczenia konferencji na temat "Mathematical and symbolic"
Watt, Stephen M. "On the Mathematics of Mathematical Handwriting Recognition". W 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010). IEEE, 2010. http://dx.doi.org/10.1109/synasc.2010.93.
Pełny tekst źródłaLudwig, Simone A., Omer F. Rana, William Naylor i Julian Padget. "Mathematical matchmaker for numeric and symbolic services". W the fourth international joint conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1082473.1082819.
Pełny tekst źródłaBuchberger, Bruno. "Mathematical Theory Exploration". W 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2006. http://dx.doi.org/10.1109/synasc.2006.50.
Pełny tekst źródłaSasaki, Yuji, Keito Tanemura, Yuki Tokuni, Ryohei Miyadera i Hikaru Manabe. "Application of Symbolic Regression to Unsolved Mathematical Problems". W 2023 International Conference on Artificial Intelligence and Applications (ICAIA) Alliance Technology Conference (ATCON-1). IEEE, 2023. http://dx.doi.org/10.1109/icaia57370.2023.10169711.
Pełny tekst źródłaKasihmuddin, Mohd Shareduwan Mohd, Saratha Sathasivam i Mohd Asyraf Mansor. "Artificial bee colony in neuro - Symbolic integration". W PROCEEDINGS OF THE 24TH NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES: Mathematical Sciences Exploration for the Universal Preservation. Author(s), 2017. http://dx.doi.org/10.1063/1.4995912.
Pełny tekst źródłaMansor, Mohd Asyraf, i Saratha Sathasivam. "Activation function comparison in neural-symbolic integration". W ADVANCES IN INDUSTRIAL AND APPLIED MATHEMATICS: Proceedings of 23rd Malaysian National Symposium of Mathematical Sciences (SKSM23). Author(s), 2016. http://dx.doi.org/10.1063/1.4954526.
Pełny tekst źródłaWatt, Stephen. "Improving Pen-Based Mathematical Interfaces". W 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2006. http://dx.doi.org/10.1109/synasc.2006.46.
Pełny tekst źródłaCarstea, Alexandru, Georgiana Macariu, Marc Frincu i Dana Petcu. "Composing Web-Based Mathematical Services". W 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2007. http://dx.doi.org/10.1109/synasc.2007.39.
Pełny tekst źródłaLarcombe, P. J. "Exact algebraic pole-zero cancellation using symbolic mathematical computation". W UKACC International Conference on Control (CONTROL '98). IEE, 1998. http://dx.doi.org/10.1049/cp:19980212.
Pełny tekst źródłaDOS REIS, G., B. MOURRAIN, PH TRÉBUCHET i F. ROUILLIER. "AN ENVIRONMENT FOR SYMBOLIC AND NUMERIC COMPUTATION". W Proceedings of the First International Congress of Mathematical Software. WORLD SCIENTIFIC, 2002. http://dx.doi.org/10.1142/9789812777171_0024.
Pełny tekst źródłaRaporty organizacyjne na temat "Mathematical and symbolic"
Steinberg, Stanly. Symbol Manipulation and Applied Mathematics. Fort Belvoir, VA: Defense Technical Information Center, marzec 1986. http://dx.doi.org/10.21236/ada179571.
Pełny tekst źródła