Littérature scientifique sur le sujet « Symbolic approaches »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Symbolic approaches ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Symbolic approaches"
Kushnarenko, Olga, et 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.
Texte intégralSebastiani, Roberto, Stefano Tonetta et Moshe Y. Vardi. « Symbolic systems, explicit properties : on hybrid approaches for LTL symbolic model checking ». International Journal on Software Tools for Technology Transfer 13, no 4 (16 septembre 2010) : 319–35. http://dx.doi.org/10.1007/s10009-010-0168-4.
Texte intégralCalegari, Roberta, Giovanni Ciatto et Andrea Omicini. « On the integration of symbolic and sub-symbolic techniques for XAI : A survey ». Intelligenza Artificiale 14, no 1 (17 septembre 2020) : 7–32. http://dx.doi.org/10.3233/ia-190036.
Texte intégralUEBERLA, JOERG P., et ARUN JAGOTA. « Integrating Neural and Symbolic Approaches : A Symbolic Learning Scheme for a Connectionist Associative Memory ». Connection Science 5, no 3-4 (janvier 1993) : 377–93. http://dx.doi.org/10.1080/09540099308915706.
Texte intégralRival, Xavier. « Symbolic transfer function-based approaches to certified compilation ». ACM SIGPLAN Notices 39, no 1 (janvier 2004) : 1–13. http://dx.doi.org/10.1145/982962.964002.
Texte intégralWilson, Janelle L. « Negotiating Identity : Symbolic Interactionist Approaches to Social Identity ». Contemporary Sociology : A Journal of Reviews 46, no 1 (janvier 2017) : 108–9. http://dx.doi.org/10.1177/0094306116681813tt.
Texte intégralTofts, C. « Symbolic Approaches to Probability Distributions in Process Algebra ». Formal Aspects of Computing 12, no 5 (décembre 2000) : 392–415. http://dx.doi.org/10.1007/pl00013291.
Texte intégralROLI, F., S. B. SERPICO et G. VERNAZZA. « IMAGE RECOGNITION BY INTEGRATION OF CONNECTIONIST AND SYMBOLIC APPROACHES ». International Journal of Pattern Recognition and Artificial Intelligence 09, no 03 (juin 1995) : 485–515. http://dx.doi.org/10.1142/s0218001495000493.
Texte intégralAmado, Leonardo, Ramon Fraga Pereira et Felipe Meneguzzi. « Robust Neuro-Symbolic Goal and Plan Recognition ». Proceedings of the AAAI Conference on Artificial Intelligence 37, no 10 (26 juin 2023) : 11937–44. http://dx.doi.org/10.1609/aaai.v37i10.26408.
Texte intégralBrkić, Dejan, Pavel Praks, Renáta Praksová et Tomáš Kozubek. « Symbolic Regression Approaches for the Direct Calculation of Pipe Diameter ». Axioms 12, no 9 (31 août 2023) : 850. http://dx.doi.org/10.3390/axioms12090850.
Texte intégralThèses sur le sujet "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/.
Texte intégralBADAOUI, 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.
Texte intégralHamilton, 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.
Texte intégralAskar, 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.
Texte intégralCombettes, Sylvain. « Symbolic representations of time series ». Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASM002.
Texte intégralThe 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.
Texte intégralIori, 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.
Texte intégralBurkitt, 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.
Texte intégralSandströ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.
Texte intégraldigitalisering@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.
Texte intégralMalware 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
Livres sur le sujet "Symbolic approaches"
Kruse, Rudolf, et Pierre Siegel, dir. Symbolic and Quantitative Approaches to Uncertainty. Berlin, Heidelberg : Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54659-6.
Texte intégralVejnarová, Jiřina, et Nic Wilson, dir. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-86772-0.
Texte intégralLiu, Weiru, dir. 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.
Texte intégralFroidevaux, Christine, et Jürg Kohlas, dir. Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Berlin, Heidelberg : Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60112-0.
Texte intégralSossai, Claudio, et Gaetano Chemello, dir. 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.
Texte intégralDestercke, Sébastien, et Thierry Denoeux, dir. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Cham : Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-20807-7.
Texte intégralAntonucci, Alessandro, Laurence Cholvy et Odile Papini, dir. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61581-3.
Texte intégralBenferhat, Salem, et Philippe Besnard, dir. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44652-4.
Texte intégralClarke, Michael, Rudolf Kruse et Serafín Moral, dir. Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/bfb0028174.
Texte intégralvan der Gaag, Linda C., dir. 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.
Texte intégralChapitres de livres sur le sujet "Symbolic approaches"
Muir, Richard. « Symbolic Landscapes ». Dans Approaches to Landscape, 212–43. London : Macmillan Education UK, 1999. http://dx.doi.org/10.1007/978-1-349-27243-3_7.
Texte intégralMooij, Antoine. « The symbolic father ». Dans Approaches to Discourse, Poetics and Psychiatry, 215. Amsterdam : John Benjamins Publishing Company, 1988. http://dx.doi.org/10.1075/ct.4.17moo.
Texte intégralLópez, Natalia, Manuel Núñez et Ismael Rodríguez. « Testing of Symbolic-Probabilistic Systems ». Dans 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.
Texte intégralGettler-Summa, Mireille, et Catherine Pardoux. « Symbolic Approaches for Three-way Data ». Dans Analysis of Symbolic Data, 342–54. Berlin, Heidelberg : Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-57155-8_12.
Texte intégralVanoverberghe, Dries, et Frank Piessens. « Theoretical Aspects of Compositional Symbolic Execution ». Dans 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.
Texte intégralSchneider, Sven, Leen Lambers et Fernando Orejas. « Symbolic Model Generation for Graph Properties ». Dans 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.
Texte intégralPham, Van-Thuan, Sakaar Khurana, Subhajit Roy et Abhik Roychoudhury. « Bucketing Failing Tests via Symbolic Analysis ». Dans 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.
Texte intégralFrantzen, Lars, Jan Tretmans et Tim A. C. Willemse. « Test Generation Based on Symbolic Specifications ». Dans 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.
Texte intégralMisonizhnik, Aleksandr, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov et Dmitry Ivanov. « KLEEF : Symbolic Execution Engine (Competition Contribution) ». Dans Fundamental Approaches to Software Engineering, 314–19. Cham : Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57259-3_18.
Texte intégralZhang, Guofeng, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen et Ji Wang. « FDSE : Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution) ». Dans Fundamental Approaches to Software Engineering, 304–8. Cham : Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57259-3_16.
Texte intégralActes de conférences sur le sujet "Symbolic approaches"
Yakovlev, A. I., et N. I. Neobutova. « ART OBJECTS IN THE SYMBOLIC LANDSCAPE OF YAKUTSK ». Dans Культура, наука, образование : проблемы и перспективы. Нижневартовский государственный университет, 2021. http://dx.doi.org/10.36906/ksp-2021/35.
Texte intégralDumancic, Sebastijan, Alberto Garcia-Duran et Mathias Niepert. « A Comparative Study of Distributional and Symbolic Paradigms for Relational Learning ». Dans 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.
Texte intégralUmili, Elena, Roberto Capobianco et Giuseppe De Giacomo. « Grounding LTLf Specifications in Image Sequences ». Dans 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.
Texte intégralJames, Steven. « Learning Portable Symbolic Representations ». Dans 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.
Texte intégralMalcoci, Vitalie. « Semantic approaches of rural architectural decor from the south of Moldova ». Dans 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.
Texte intégralRival, Xavier. « Symbolic transfer function-based approaches to certified compilation ». Dans the 31st ACM SIGPLAN-SIGACT symposium. New York, New York, USA : ACM Press, 2004. http://dx.doi.org/10.1145/964001.964002.
Texte intégralChaudhury, Subhajit, Prithviraj Sen, Masaki Ono, Daiki Kimura, Michiaki Tatsubori et Asim Munawar. « Neuro-Symbolic Approaches for Text-Based Policy Learning ». Dans 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.
Texte intégralDong, Hanzhang. « Analyzing the symbolic significance of Angelopoulos’ films from the perspective of semiotics ». Dans Intelligent Human Systems Integration (IHSI 2024) Integrating People and Intelligent Systems. AHFE International, 2024. http://dx.doi.org/10.54941/ahfe1004522.
Texte intégralMishna, Marni. « Algorithmic Approaches for Lattice Path Combinatorics ». Dans ISSAC '17 : International Symposium on Symbolic and Algebraic Computation. New York, NY, USA : ACM, 2017. http://dx.doi.org/10.1145/3087604.3087664.
Texte intégralAspis, Yaniv, Krysia Broda, Jorge Lobo et Alessandra Russo. « Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings ». Dans 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.
Texte intégralRapports d'organisations sur le sujet "Symbolic approaches"
Seshia, Sanjit A., et Randal E. Bryant. A Boolean Approach to Unbounded, Fully Symbolic Model Checking of Timed Automata. Fort Belvoir, VA : Defense Technical Information Center, mars 2003. http://dx.doi.org/10.21236/ada460035.
Texte intégralTang, Zibin. A new design approach for numeric-to-symbolic conversion using neural networks. Portland State University Library, janvier 2000. http://dx.doi.org/10.15760/etd.6126.
Texte intégralRoss, Kassandra, et 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, janvier 2019. http://dx.doi.org/10.31274/itaa.8790.
Texte intégralDecleir, Cyril, Mohand-Saïd Hacid et Jacques Kouloumdjian. A Database Approach for Modeling and Querying Video Data. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.90.
Texte intégralPé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, avril 2024. http://dx.doi.org/10.19088/ids.2024.017.
Texte intégralMakhachashvili, Rusudan K., Svetlana I. Kovpik, Anna O. Bakhtina et Ekaterina O. Shmeltser. Technology of presentation of literature on the Emoji Maker platform : pedagogical function of graphic mimesis. [б. в.], juillet 2020. http://dx.doi.org/10.31812/123456789/3864.
Texte intégral