Literatura científica selecionada sobre o tema "Formal and symbolic calculation"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "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.
Artigos de revistas sobre o assunto "Formal and symbolic calculation"
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 fonteTeses / dissertações sobre o assunto "Formal and symbolic calculation"
Vu, Thi Xuan. "Homotopy algorithms for solving structured determinantal systems". Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS478.
Texto completo da fonteMultivariate polynomial systems arising in numerous applications have special structures. In particular, determinantal structures and invariant systems appear in a wide range of applications such as in polynomial optimization and related questions in real algebraic geometry. The goal of this thesis is to provide efficient algorithms to solve such structured systems. In order to solve the first kind of systems, we design efficient algorithms by using the symbolic homotopy continuation techniques. While the homotopy methods, in both numeric and symbolic, are well-understood and widely used in polynomial system solving for square systems, the use of these methods to solve over-detemined systems is not so clear. Meanwhile, determinantal systems are over-determined with more equations than unknowns. We provide probabilistic homotopy algorithms which take advantage of the determinantal structure to compute isolated points in the zero-sets of determinantal systems. The runtimes of our algorithms are polynomial in the sum of the multiplicities of isolated points and the degree of the homotopy curve. We also give the bounds on the number of isolated points that we have to compute in three contexts: all entries of the input are in classical polynomial rings, all these polynomials are sparse, and they are weighted polynomials. In the second half of the thesis, we deal with the problem of finding critical points of a symmetric polynomial map on an invariant algebraic set. We exploit the invariance properties of the input to split the solution space according to the orbits of the symmetric group. This allows us to design an algorithm which gives a triangular description of the solution space and which runs in time polynomial in the number of points that we have to compute. Our results are illustrated by applications in studying real algebraic sets defined by invariant polynomial systems by the means of the critical point method
Krandick, Werner. "Symbolic methods for polynomial complex root calculation /". The Ohio State University, 1992. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487776210796097.
Texto completo da fonteQian, Kairong Computer Science & Engineering Faculty of Engineering UNSW. "Formal symbolic verification using heuristic search and abstraction techniques". Awarded by:University of New South Wales. School of Computer Science and Engineering, 2006. http://handle.unsw.edu.au/1959.4/25703.
Texto completo da fonteRitter, Gerd. "Formal sequential equivalence checking of digital systems by symbolic simulation". Phd thesis, [S.l.] : [s.n.], 2001. http://elib.tu-darmstadt.de/diss/000113/thesis.pdf.
Texto completo da fonteKavish, Daniel Ryan. "Interactionist Labeling: Formal and Informal Labeling's Effects on Juvenile Delinquency". OpenSIUC, 2012. https://opensiuc.lib.siu.edu/theses/883.
Texto completo da fonteKavish, Daniel Ryan. "Interactionist Labeling: A Structural Equation Model of Formal Labeling, Juvenile Delinquency, and Adult Criminality". OpenSIUC, 2016. https://opensiuc.lib.siu.edu/dissertations/1311.
Texto completo da fonteMorrison, George Campbell. "Automated coverage calculation and test case generation". Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/20041.
Texto completo da fonteENGLISH ABSTRACT: This research combines symbolic execution, a formal method of static analysis, with various test adequacy criteria, to explore the e ectiveness of using symbolic execution for calculating code coverage on a program's existing JUnit test suites. Code coverage is measured with a number of test adequacy criteria, including statement coverage, branch coverage, condition coverage, method coverage, class coverage, and loop coverage. The results of the code coverage calculation is then used to automatically generate JUnit test cases for areas of a program that are not su ciently covered. The level of redundancy of each test case is also calculated during coverage calculation, thereby identifying fully redundant, and partially redundant, test cases. The combination of symbolic execution and code coverage calculation is extended to perform coverage calculation during a manual execution of a program, allowing testers to measure the e ectiveness of manual testing. This is implemented as an Eclipse plug-in, named ATCO, which attempts to take advantage of the Eclipse workspace and extensible user interface environment to improve usability of the tool by minimizing the user interaction required to use the tool. The code coverage calculation process uses constraint solving to determine method parameter values to reach speci c areas in the program. Constraint solving is an expensive computation, so the tool was parallellised using Java's Concurrency package, to reduce the overall execution time of the tool.
AFRIKAANSE OPSOMMING: Hierdie navorsing kombineer simboliese uitvoering, 'n formele metode van statiese analise, met verskeie toets genoegsaamheid kriteria, om die e ektiwiteit van die gebruik van simboliese uitvoer te ondersoek vir die berekening van kode dekking op 'n program se bestaande JUnit toets stelle. Kode dekking word gemeet deur verskeie toets genoegsaamheid kriteria, insluited stelling dekking, tak dekking, kondisie dekking, metode dekking, klas dekking, en lus dekking. Die resultate van die kode dekking berekeninge word dan gebruik om outomaties JUnit toets voorbeelde te genereer vir areas van 'n program wat nie doeltre end ondersoek word nie. Die vlak van oortolligheid van elke toets voorbeeld word ook bereken gedurende die dekkingsberekening, en daardeur word volledig oortollige, en gedeeltelik oortollige, toets voorbeelde identi seer. Die kombinasie van simboliese uitvoer en kode dekking berekening is uitgebrei deur die uitvoer van dekking berekeninge van 'n gebruiker-beheerde uitvoer, om sodoende kode dekking van 'n gebruiker-beheerde uitvoer van 'n program te meet. Dit laat toetsers toe om die e ektiwiteit van hulle beheerde uitvoer te meet. Bogenoemde word ge mplimenteer as 'n Eclipse aanvoegsel, genaamd ATCO, wat poog om voordeel te trek vanuit die Eclipse werkspasie, en die uitbreibare gebruiker oordrag omgewing, om die bruikbaarheid van ATCO te verbeter, deur die vermindering van die gebruiker interaksie wat benodig word om ATCO te gebruik. Die kode dekking berekeningsproses gebruik beperking oplossing om metode invoer waardes te bereken, om spesi eke areas in die program te bereik. Beperking oplossing is 'n duur berekening, so ATCO is geparalleliseer, met behulp van Java se Concurrency pakket, om die algehele uitvoer tyd van die program te verminder.
Klein, Joachim, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker e David Müller. "Advances in Symbolic Probabilistic Model Checking with PRISM". Springer, 2016. https://tud.qucosa.de/id/qucosa%3A74267.
Texto completo da fonteZhao, Hong. "Automatic generation and reduction of the semi-fuzzy knowledge base in symbolic processing and numerical calculation". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1995. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ27811.pdf.
Texto completo da fonteHansen, Sonja Maria [Verfasser], Hilde [Gutachter] Haider e Robert [Gutachter] Gaschler. "The potential of symbolic approximation. Disentangling the effects of approximation vs. calculation demands in nonsymbolic and symbolic representations. / Sonja Maria Hansen ; Gutachter: Hilde Haider, Robert Gaschler". Köln : Universitäts- und Stadtbibliothek Köln, 2016. http://d-nb.info/1121745261/34.
Texto completo da fonteLivros sobre o assunto "Formal and symbolic calculation"
Meixner, Uwe. Axiomatic formal ontology. Dordrecht: Kluwer Academic Publishers, 1997.
Encontre o texto completo da fonteGuerrero, Luis Ignacio. Logica: El razonamiento deductiuo formal. Ciudad de Mexico: Universidad Panamericana, 1992.
Encontre o texto completo da fonteModern formal logic. New York: Macmillan, 1989.
Encontre o texto completo da fonteJones, Robert B. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-1-4615-1101-4.
Texto completo da fonteB, Jones Robert. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002.
Encontre o texto completo da fonteJones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.
Encontre o texto completo da fonteJago, Mark. Formal logic. Penrith: Humanities-Ebooks, 2007.
Encontre o texto completo da fonte1930-1971, Montague Richard, Mar Gary e Fogelin Robert J, eds. Logic: Techniques of formal reasoning. 2a ed. Australia: Wadsworth/Thomson Learning, 2002.
Encontre o texto completo da fonteKalish, Donald. Logic: Techniques of formal reasoning. Editado por Fogelin Robert J, Montague Richard 1930-1971 e Mar Gary. 2a ed. New York: Oxford University Press, 1992.
Encontre o texto completo da fonteSimple formal logic: With common-sense symbolic techniques. New York: Routledge, 2009.
Encontre o texto completo da fonteCapítulos de livros sobre o assunto "Formal and symbolic calculation"
Hazelhurst, Scott, e Carl-Johan H. Seger. "Symbolic trajectory evaluation". In Formal Hardware Verification, 3–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63475-4_1.
Texto completo da fonteJamsek, Damir A. "Symbolic Trajectory Evaluation". In Advances in Formal Methods, 185–99. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3188-0_12.
Texto completo da fonteHuang, Shi-Yu, e Kwang-Ting Cheng. "Symbolic Verification". In Formal Equivalence Checking and Design Debugging, 17–37. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5693-0_2.
Texto completo da fonteKhanna, Dhriti, Subodh Sharma, César Rodríguez e Rahul Purandare. "Dynamic Symbolic Verification of MPI Programs". In Formal Methods, 466–84. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7_28.
Texto completo da fonteKovács, Laura. "Symbolic Computation in Automated Program Reasoning". In Formal Methods, 3–9. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-27481-7_1.
Texto completo da fonteVeanes, Margus, Pavel Grigorenko, Peli de Halleux e Nikolai Tillmann. "Symbolic Query Exploration". In Formal Methods and Software Engineering, 49–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10373-5_3.
Texto completo da fonteBauer-Marquart, Fabian, Stefan Leue e Christian Schilling. "symQV: Automated Symbolic Verification of Quantum Programs". In Formal Methods, 181–98. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-27481-7_12.
Texto completo da fonteMakridis, Odysseus. "Formal Predicate Logic (also called First-Order Logic) ∏". In Symbolic Logic, 289–329. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-67396-3_5.
Texto completo da fonteSingh, Shikhar, e Sarfraz Khurshid. "Parallel Chopped Symbolic Execution". In Formal Methods and Software Engineering, 107–25. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63406-3_7.
Texto completo da fonteMilushev, Dimiter, Wim Beck e Dave Clarke. "Noninterference via Symbolic Execution". In Formal Techniques for Distributed Systems, 152–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-30793-5_10.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Formal and symbolic calculation"
Błądek, Iwo, e Krzysztof Krawiec. "Solving symbolic regression problems with formal constraints". In GECCO '19: Genetic and Evolutionary Computation Conference. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3321707.3321743.
Texto completo da fonteAichernig, Bernhard K., Roderick Bloem, Masoud Ebrahimi, Martin Tappler e Johannes Winter. "Automata Learning for Symbolic Execution". In 2018 Formal Methods in Computer Aided Design (FMCAD). IEEE, 2018. http://dx.doi.org/10.23919/fmcad.2018.8602991.
Texto completo da fonteKinder, Johannes. "Efficient symbolic execution for software testing". In 2014 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2014. http://dx.doi.org/10.1109/fmcad.2014.6987585.
Texto completo da fonteAdams, Sara, Magnus Bjork, Tom Melham e Carl-Johan Seger. "Automatic Abstraction in Symbolic Trajectory Evaluation". In Formal Methods in Computer Aided Design (FMCAD'07). IEEE, 2007. http://dx.doi.org/10.1109/fmcad.2007.4401991.
Texto completo da fonteAdams, Sara, Magnus Bjork, Tom Melham e Carl-Johan Seger. "Automatic Abstraction in Symbolic Trajectory Evaluation". In Formal Methods in Computer Aided Design (FMCAD'07). IEEE, 2007. http://dx.doi.org/10.1109/famcad.2007.27.
Texto completo da fonteRobertz, Daniel. "Formal Algorithmic Elimination for PDEs". In ISSAC '16: International Symposium on Symbolic and Algebraic Computation. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2930889.2930941.
Texto completo da fonteRadojicic, Carna, Thiyagarajan Purusothaman e Christoph Grimm. "Towards formal validation: Symbolic simulation of SystemC models". In 2015 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). IEEE, 2015. http://dx.doi.org/10.1109/dtis.2015.7127376.
Texto completo da fonteNing, Ning, Jun Zhang, Xiang-Yang Gao e Jing Xue. "Formal Verification of SDG via Symbolic Model Checking". In 2009 Second International Conference on Intelligent Computation Technology and Automation. IEEE, 2009. http://dx.doi.org/10.1109/icicta.2009.840.
Texto completo da fonteBryant, Randal E., Derek L. Beatty e Carl-Johan H. Seger. "Formal hardware verification by symbolic ternary trajectory evaluation". In the 28th conference. New York, New York, USA: ACM Press, 1991. http://dx.doi.org/10.1145/127601.127701.
Texto completo da fonteFarkas, Klaudia. "Perception of Formal and Symbolic Aesthetics of Photovoltaics". In ISES Solar World Congress 2011. Freiburg, Germany: International Solar Energy Society, 2011. http://dx.doi.org/10.18086/swc.2011.17.10.
Texto completo da fonte