Auswahl der wissenschaftlichen Literatur zum Thema „Formal and symbolic calculation“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen 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.
Zeitschriftenartikel zum Thema "Formal and symbolic calculation"
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 QuelleDissertationen zum Thema "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.
Der volle Inhalt der QuelleMultivariate 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.
Der volle Inhalt der QuelleQian, 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.
Der volle Inhalt der QuelleRitter, 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.
Der volle Inhalt der QuelleKavish, Daniel Ryan. „Interactionist Labeling: Formal and Informal Labeling's Effects on Juvenile Delinquency“. OpenSIUC, 2012. https://opensiuc.lib.siu.edu/theses/883.
Der volle Inhalt der QuelleKavish, 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.
Der volle Inhalt der QuelleMorrison, George Campbell. „Automated coverage calculation and test case generation“. Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/20041.
Der volle Inhalt der QuelleENGLISH 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 und David Müller. „Advances in Symbolic Probabilistic Model Checking with PRISM“. Springer, 2016. https://tud.qucosa.de/id/qucosa%3A74267.
Der volle Inhalt der QuelleZhao, 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.
Der volle Inhalt der QuelleHansen, Sonja Maria [Verfasser], Hilde [Gutachter] Haider und 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.
Der volle Inhalt der QuelleBücher zum Thema "Formal and symbolic calculation"
Meixner, Uwe. Axiomatic formal ontology. Dordrecht: Kluwer Academic Publishers, 1997.
Den vollen Inhalt der Quelle findenGuerrero, Luis Ignacio. Logica: El razonamiento deductiuo formal. Ciudad de Mexico: Universidad Panamericana, 1992.
Den vollen Inhalt der Quelle findenModern formal logic. New York: Macmillan, 1989.
Den vollen Inhalt der Quelle findenJones, 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.
Der volle Inhalt der QuelleB, Jones Robert. Symbolic Simulation Methods for Industrial Formal Verification. Boston, MA: Springer US, 2002.
Den vollen Inhalt der Quelle findenJones, Robert B. Symbolic simulation methods for industrial formal verification. Boston: Kluwer Academic Publishers, 2002.
Den vollen Inhalt der Quelle findenJago, Mark. Formal logic. Penrith: Humanities-Ebooks, 2007.
Den vollen Inhalt der Quelle finden1930-1971, Montague Richard, Mar Gary und Fogelin Robert J, Hrsg. Logic: Techniques of formal reasoning. 2. Aufl. Australia: Wadsworth/Thomson Learning, 2002.
Den vollen Inhalt der Quelle findenKalish, Donald. Logic: Techniques of formal reasoning. Herausgegeben von Fogelin Robert J, Montague Richard 1930-1971 und Mar Gary. 2. Aufl. New York: Oxford University Press, 1992.
Den vollen Inhalt der Quelle findenSimple formal logic: With common-sense symbolic techniques. New York: Routledge, 2009.
Den vollen Inhalt der Quelle findenBuchteile zum Thema "Formal and symbolic calculation"
Hazelhurst, Scott, und 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.
Der volle Inhalt der QuelleJamsek, 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.
Der volle Inhalt der QuelleHuang, Shi-Yu, und 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.
Der volle Inhalt der QuelleKhanna, Dhriti, Subodh Sharma, César Rodríguez und 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.
Der volle Inhalt der QuelleKová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.
Der volle Inhalt der QuelleVeanes, Margus, Pavel Grigorenko, Peli de Halleux und 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.
Der volle Inhalt der QuelleBauer-Marquart, Fabian, Stefan Leue und 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.
Der volle Inhalt der QuelleMakridis, 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.
Der volle Inhalt der QuelleSingh, Shikhar, und 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.
Der volle Inhalt der QuelleMilushev, Dimiter, Wim Beck und 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.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Formal and symbolic calculation"
Błądek, Iwo, und 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.
Der volle Inhalt der QuelleAichernig, Bernhard K., Roderick Bloem, Masoud Ebrahimi, Martin Tappler und 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.
Der volle Inhalt der QuelleKinder, 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.
Der volle Inhalt der QuelleAdams, Sara, Magnus Bjork, Tom Melham und 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.
Der volle Inhalt der QuelleAdams, Sara, Magnus Bjork, Tom Melham und 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.
Der volle Inhalt der QuelleRobertz, 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.
Der volle Inhalt der QuelleRadojicic, Carna, Thiyagarajan Purusothaman und 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.
Der volle Inhalt der QuelleNing, Ning, Jun Zhang, Xiang-Yang Gao und 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.
Der volle Inhalt der QuelleBryant, Randal E., Derek L. Beatty und 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.
Der volle Inhalt der QuelleFarkas, 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.
Der volle Inhalt der Quelle