Auswahl der wissenschaftlichen Literatur zum Thema „Symbolic approaches“
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 "Symbolic approaches" 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 "Symbolic approaches"
Kushnarenko, Olga, und Sophie Pinchinat. „Intensional Approaches for Symbolic Methods“. Electronic Notes in Theoretical Computer Science 18 (1998): 112. http://dx.doi.org/10.1016/s1571-0661(05)80253-1.
Der volle Inhalt der QuelleSebastiani, Roberto, Stefano Tonetta und Moshe Y. Vardi. „Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking“. International Journal on Software Tools for Technology Transfer 13, Nr. 4 (16.09.2010): 319–35. http://dx.doi.org/10.1007/s10009-010-0168-4.
Der volle Inhalt der QuelleCalegari, Roberta, Giovanni Ciatto und Andrea Omicini. „On the integration of symbolic and sub-symbolic techniques for XAI: A survey“. Intelligenza Artificiale 14, Nr. 1 (17.09.2020): 7–32. http://dx.doi.org/10.3233/ia-190036.
Der volle Inhalt der QuelleUEBERLA, JOERG P., und ARUN JAGOTA. „Integrating Neural and Symbolic Approaches: A Symbolic Learning Scheme for a Connectionist Associative Memory“. Connection Science 5, Nr. 3-4 (Januar 1993): 377–93. http://dx.doi.org/10.1080/09540099308915706.
Der volle Inhalt der QuelleRival, Xavier. „Symbolic transfer function-based approaches to certified compilation“. ACM SIGPLAN Notices 39, Nr. 1 (Januar 2004): 1–13. http://dx.doi.org/10.1145/982962.964002.
Der volle Inhalt der QuelleWilson, Janelle L. „Negotiating Identity: Symbolic Interactionist Approaches to Social Identity“. Contemporary Sociology: A Journal of Reviews 46, Nr. 1 (Januar 2017): 108–9. http://dx.doi.org/10.1177/0094306116681813tt.
Der volle Inhalt der QuelleTofts, C. „Symbolic Approaches to Probability Distributions in Process Algebra“. Formal Aspects of Computing 12, Nr. 5 (Dezember 2000): 392–415. http://dx.doi.org/10.1007/pl00013291.
Der volle Inhalt der QuelleROLI, F., S. B. SERPICO und G. VERNAZZA. „IMAGE RECOGNITION BY INTEGRATION OF CONNECTIONIST AND SYMBOLIC APPROACHES“. International Journal of Pattern Recognition and Artificial Intelligence 09, Nr. 03 (Juni 1995): 485–515. http://dx.doi.org/10.1142/s0218001495000493.
Der volle Inhalt der QuelleAmado, Leonardo, Ramon Fraga Pereira und Felipe Meneguzzi. „Robust Neuro-Symbolic Goal and Plan Recognition“. Proceedings of the AAAI Conference on Artificial Intelligence 37, Nr. 10 (26.06.2023): 11937–44. http://dx.doi.org/10.1609/aaai.v37i10.26408.
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 QuelleDissertationen zum Thema "Symbolic approaches"
Galassi, Andrea. „Symbolic versus sub-symbolic approaches: a case study on training Deep Networks to play Nine Men’s Morris game“. Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/12859/.
Der volle Inhalt der QuelleBADAOUI, RAOUL. „APPROACHES FOR PARASITIC-INCLUSIVE SYMBOLIC CIRCUIT REPRESENTATION AND EXTRACTION FOR SYNTHESIS“. University of Cincinnati / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1132193275.
Der volle Inhalt der QuelleHamilton, Roy. „A comparison of two approaches of symbolic modeling and self-efficacy /“. Terre-Haute (IND) : Dissertation . Com, 1999. http://www.dissertation.com/library/1120745a.htm.
Der volle Inhalt der QuelleAskar, Sameh El Said Abdel Aziz. „Symbolic approaches and artificial intelligence algorithms for solving multi-objective optimisation problems“. Thesis, Cranfield University, 2011. http://dspace.lib.cranfield.ac.uk/handle/1826/5557.
Der volle Inhalt der QuelleCombettes, Sylvain. „Symbolic representations of time series“. Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASM002.
Der volle Inhalt der QuelleThe objectives of this thesis are to define novel symbolic representations and distance measures that are suited for time series that can be multivariate and non-stationary. In addition, they should preserve the time information, be interpretable, and fast to compute. We review symbolic representations of time series (that transform a real-valued series into a shorter discrete-valued series), as well as distance measures on time series, strings, and symbolic sequences (that result from a symbolization process).We propose two contributions: ASTRIDE for a data set of univariate time series, and d_{symb} for a data set of multivariate time series. We also developed the d_{symb} playground, an online interactive tool that allows users to apply d_{symb} to their uploaded data. ASTRIDE and d_{symb} are data-driven as they use change-point detection for the segmentation step, then either quantiles or a K-means clustering algorithm for the quantization step. Finally, they apply the general edit distance with custom costs between the resulting symbolic sequences.We show the performance of ASTRIDE compared to 4 other symbolic representations on reconstruction and, when applicable, on classification tasks. For d_{symb}, experiments show how interpretable the symbolization is. Moreover, compared to 9 elastic distances on a clustering task, d_{symb} achieves a competitive performance while being several orders of magnitude faster
Poria, Soujanya. „Novel symbolic and machine-learning approaches for text-based and multimodal sentiment analysis“. Thesis, University of Stirling, 2017. http://hdl.handle.net/1893/25396.
Der volle Inhalt der QuelleIori, Tomoyuki. „Symbolic-Numeric Approaches Based on Theories of Abstract Algebra to Control, Estimation, and Optimization“. Doctoral thesis, Kyoto University, 2021. http://hdl.handle.net/2433/263785.
Der volle Inhalt der QuelleBurkitt, Ian. „The sociological problem of personality formation : with special reference to symbolic interactionist, Marxist and figurational approaches“. Thesis, University of Leeds, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235695.
Der volle Inhalt der QuelleSandström, Johan. „Organizational approaches to greening : technocentrism and beyond“. Doctoral thesis, Umeå universitet, Företagsekonomi, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-65798.
Der volle Inhalt der Quelledigitalisering@umu
David, Robin. „Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes“. Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0013/document.
Der volle Inhalt der QuelleMalware analysis is a growing research field due to the criticity and variety of assets targeted as well as the increasing implied costs. These softwares frequently use evasion tricks aiming at hindering detection and analysis techniques. Among these, obfuscation intent to hide the program behavior. This thesis studies the potential of Dynamic Symbolic Execution (DSE) for reverse-engineering. First, we propose two variants of DSE algorithms adapted and designed to fit on protected codes. The first is a flexible definition of the DSE path predicate computation based on concretization and symbolization. The second is based on the definition of a backward-bounded symbolic execution algorithm. Then, we show how to combine these techniques with static analysis in order to get the best of them. Finally, these algorithms have been implemented in different tools Binsec/se, Pinsec and Idasec interacting alltogether and tested on several malicious codes and commercial packers. Especially, they have been successfully used to circumvent and remove the obfuscation targeted in real-world malwares like X-Tunnel from the famous APT28/Sednit group
Bücher zum Thema "Symbolic approaches"
Kruse, Rudolf, und Pierre Siegel, Hrsg. Symbolic and Quantitative Approaches to Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54659-6.
Der volle Inhalt der QuelleVejnarová, Jiřina, und Nic Wilson, Hrsg. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-86772-0.
Der volle Inhalt der QuelleLiu, Weiru, Hrsg. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22152-1.
Der volle Inhalt der QuelleFroidevaux, Christine, und Jürg Kohlas, Hrsg. Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60112-0.
Der volle Inhalt der QuelleSossai, Claudio, und Gaetano Chemello, Hrsg. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02906-6.
Der volle Inhalt der QuelleDestercke, Sébastien, und Thierry Denoeux, Hrsg. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-20807-7.
Der volle Inhalt der QuelleAntonucci, Alessandro, Laurence Cholvy und Odile Papini, Hrsg. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61581-3.
Der volle Inhalt der QuelleBenferhat, Salem, und Philippe Besnard, Hrsg. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44652-4.
Der volle Inhalt der QuelleClarke, Michael, Rudolf Kruse und Serafín Moral, Hrsg. Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/bfb0028174.
Der volle Inhalt der Quellevan der Gaag, Linda C., Hrsg. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39091-3.
Der volle Inhalt der QuelleBuchteile zum Thema "Symbolic approaches"
Muir, Richard. „Symbolic Landscapes“. In Approaches to Landscape, 212–43. London: Macmillan Education UK, 1999. http://dx.doi.org/10.1007/978-1-349-27243-3_7.
Der volle Inhalt der QuelleMooij, Antoine. „The symbolic father“. In Approaches to Discourse, Poetics and Psychiatry, 215. Amsterdam: John Benjamins Publishing Company, 1988. http://dx.doi.org/10.1075/ct.4.17moo.
Der volle Inhalt der QuelleLópez, Natalia, Manuel Núñez und Ismael Rodríguez. „Testing of Symbolic-Probabilistic Systems“. In Formal Approaches to Software Testing, 49–63. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31848-4_4.
Der volle Inhalt der QuelleGettler-Summa, Mireille, und Catherine Pardoux. „Symbolic Approaches for Three-way Data“. In Analysis of Symbolic Data, 342–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-57155-8_12.
Der volle Inhalt der QuelleVanoverberghe, Dries, und Frank Piessens. „Theoretical Aspects of Compositional Symbolic Execution“. In Fundamental Approaches to Software Engineering, 247–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19811-3_18.
Der volle Inhalt der QuelleSchneider, Sven, Leen Lambers und Fernando Orejas. „Symbolic Model Generation for Graph Properties“. In Fundamental Approaches to Software Engineering, 226–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-54494-5_13.
Der volle Inhalt der QuellePham, Van-Thuan, Sakaar Khurana, Subhajit Roy und Abhik Roychoudhury. „Bucketing Failing Tests via Symbolic Analysis“. In Fundamental Approaches to Software Engineering, 43–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-54494-5_3.
Der volle Inhalt der QuelleFrantzen, Lars, Jan Tretmans und Tim A. C. Willemse. „Test Generation Based on Symbolic Specifications“. In Formal Approaches to Software Testing, 1–15. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31848-4_1.
Der volle Inhalt der QuelleMisonizhnik, Aleksandr, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov und Dmitry Ivanov. „KLEEF: Symbolic Execution Engine (Competition Contribution)“. In Fundamental Approaches to Software Engineering, 314–19. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57259-3_18.
Der volle Inhalt der QuelleZhang, Guofeng, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen und Ji Wang. „FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)“. In Fundamental Approaches to Software Engineering, 304–8. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57259-3_16.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Symbolic approaches"
Yakovlev, A. I., und N. I. Neobutova. „ART OBJECTS IN THE SYMBOLIC LANDSCAPE OF YAKUTSK“. In Культура, наука, образование: проблемы и перспективы. Нижневартовский государственный университет, 2021. http://dx.doi.org/10.36906/ksp-2021/35.
Der volle Inhalt der QuelleDumancic, Sebastijan, Alberto Garcia-Duran und Mathias Niepert. „A Comparative Study of Distributional and Symbolic Paradigms for Relational Learning“. In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/843.
Der volle Inhalt der QuelleUmili, Elena, Roberto Capobianco und Giuseppe De Giacomo. „Grounding LTLf Specifications in Image Sequences“. In 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/65.
Der volle Inhalt der QuelleJames, Steven. „Learning Portable Symbolic Representations“. In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/826.
Der volle Inhalt der QuelleMalcoci, Vitalie. „Semantic approaches of rural architectural decor from the south of Moldova“. In Simpozion internațional de etnologie: Tradiții și procese etnice, Ediția III. Institute of Cultural Heritage, Republic of Moldova, 2023. http://dx.doi.org/10.52603/9789975841733.10.
Der volle Inhalt der QuelleRival, Xavier. „Symbolic transfer function-based approaches to certified compilation“. In the 31st ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/964001.964002.
Der volle Inhalt der QuelleChaudhury, Subhajit, Prithviraj Sen, Masaki Ono, Daiki Kimura, Michiaki Tatsubori und Asim Munawar. „Neuro-Symbolic Approaches for Text-Based Policy Learning“. In Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. Stroudsburg, PA, USA: Association for Computational Linguistics, 2021. http://dx.doi.org/10.18653/v1/2021.emnlp-main.245.
Der volle Inhalt der QuelleDong, 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.
Der volle Inhalt der QuelleMishna, Marni. „Algorithmic Approaches for Lattice Path Combinatorics“. In ISSAC '17: International Symposium on Symbolic and Algebraic Computation. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3087604.3087664.
Der volle Inhalt der QuelleAspis, Yaniv, Krysia Broda, Jorge Lobo und Alessandra Russo. „Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings“. In 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/kr.2022/44.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "Symbolic approaches"
Seshia, Sanjit A., und Randal E. Bryant. A Boolean Approach to Unbounded, Fully Symbolic Model Checking of Timed Automata. Fort Belvoir, VA: Defense Technical Information Center, März 2003. http://dx.doi.org/10.21236/ada460035.
Der volle Inhalt der QuelleTang, Zibin. A new design approach for numeric-to-symbolic conversion using neural networks. Portland State University Library, Januar 2000. http://dx.doi.org/10.15760/etd.6126.
Der volle Inhalt der QuelleRoss, Kassandra, und Young-A. Lee. Social Media Era Consumers' Identity Formation: A Symbolic Interactionist Approach to Consumer-Brand Identity Co-creation. Ames (Iowa): Iowa State University. Library, Januar 2019. http://dx.doi.org/10.31274/itaa.8790.
Der volle Inhalt der QuelleDecleir, Cyril, Mohand-Saïd Hacid und Jacques Kouloumdjian. A Database Approach for Modeling and Querying Video Data. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.90.
Der volle Inhalt der QuellePédarros, Élie, Jeremy Allouche, Matiwos Bekele Oma, Priscilla Duboz, Amadou Hamath Diallo, Habtemariam Kassa, Chloé Laloi et al. The Great Green Wall as a Social-Technical Imaginary. Institute of Development Studies, April 2024. http://dx.doi.org/10.19088/ids.2024.017.
Der volle Inhalt der QuelleMakhachashvili, Rusudan K., Svetlana I. Kovpik, Anna O. Bakhtina und Ekaterina O. Shmeltser. Technology of presentation of literature on the Emoji Maker platform: pedagogical function of graphic mimesis. [б. в.], Juli 2020. http://dx.doi.org/10.31812/123456789/3864.
Der volle Inhalt der Quelle