المؤلفون: Došlo Glorija Z., Rajković Kristina D.

المصدر: Tehnika, Vol 79, Iss 1, Pp 75-85 (2024)

مصطلحات موضوعية: symbolic analysis, linear time-invariant electric circuit, julia programming language, symbolic simulation, modified nodal analysis (mna), unilateral laplace transform, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

Relation: https://scindeks-clanci.ceon.rs/data/pdf/0040-2176/2024/0040-21762401075D.pdf; https://doaj.org/toc/0040-2176; https://doaj.org/toc/2560-3086

URL الوصول: https://doaj.org/article/d1959ffaee5048f4aaf83c5a830f847c

المؤلفون: Luciano Zunino, Xavier Porte, Miguel C. Soriano

المصدر: Entropy, Vol 26, Iss 12, p 1016 (2024)

مصطلحات موضوعية: time series, symbolic analysis, ordinal patterns, permutation entropy, Jensen–Shannon divergence, permutation Jensen–Shannon distance, Science, Astrophysics, QB460-466, Physics, QC1-999

وصف الملف: electronic resource

Relation: https://www.mdpi.com/1099-4300/26/12/1016; https://doaj.org/toc/1099-4300

URL الوصول: https://doaj.org/article/90c0cad09a934a93ae24956891664df9

المؤلفون: Gan, Rundong, Zhou, Liyi, Wang, Le, Qin, Kaihua, Lin, Xiaodong

المساهمون: Rundong Gan and Liyi Zhou and Le Wang and Kaihua Qin and Xiaodong Lin

مصطلحات موضوعية: Decentralized Finance Security, Large Language Models, Project Review, Symbolic Analysis, Smart Contracts

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 316, 6th Conference on Advances in Financial Technologies (AFT 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2024.7

الاتاحة: https://doi.org/10.4230/LIPIcs.AFT.2024.7
https://nbn-resolving.org/urn:nbn:de:0030-drops-209431
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2024.7

المؤلفون: Delaune, Stéphanie, Lallemand, Joseph, Patat, Gwendal, Roudot, Florian, Sabt, Mohamed

المساهمون: Security & PrIvaCY (SPICY), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Centre National de la Recherche Scientifique (CNRS), ANR-22-CE39-0005,DRAMA,Attaques et analyse de sécurité des systèmes de gestion des droit numériques(2022), ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)

المصدر: USENIX Security Symposium ; https://hal.science/hal-04631369 ; USENIX Security Symposium, Aug 2024, PHILADELPHIA, United States

مصطلحات موضوعية: Digital Right Management, cryptographic protocols, formal symbolic analysis, [INFO]Computer Science [cs]

جغرافية الموضوع: United States

Time: PHILADELPHIA, United States

Relation: hal-04631369; https://hal.science/hal-04631369; https://hal.science/hal-04631369/document; https://hal.science/hal-04631369/file/main.pdf

الاتاحة: https://hal.science/hal-04631369
https://hal.science/hal-04631369/document
https://hal.science/hal-04631369/file/main.pdf

المؤلفون: Gan, Rundong

المساهمون: Rundong Gan

مصطلحات موضوعية: Inconsistency Detection, Symbolic Analysis, Smart Contracts

Relation: https://drops.dagstuhl.de/entities/document/10.4230/artifacts.22516

الاتاحة: https://doi.org/10.4230/artifacts.22516
https://nbn-resolving.org/urn:nbn:de:0030-drops-225165
https://drops.dagstuhl.de/entities/document/10.4230/artifacts.22516

المؤلفون: Zunino, Luciano José

مصطلحات موضوعية: Física, time series, symbolic analysis, ordinal patterns, permutation entropy, Jensen–Shannon divergence, permutation Jensen–Shannon distance, EEG records, resting brain states, multiscale analysis, linear and nonlinear temporal correlations

وصف الملف: application/pdf

Relation: http://sedici.unlp.edu.ar/handle/10915/167283

الاتاحة: http://sedici.unlp.edu.ar/handle/10915/167283

المؤلفون: Bakhtiorovna, Norova Mekhri

المصدر: JOURNAL OF SCIENCE, RESEARCH AND TEACHING; Vol. 3 No. 3 (2024): JOURNAL OF SCIENCE, RESEARCH AND TEACHING; 52-54 ; 2181-4406

مصطلحات موضوعية: Symbol, symbolic analysis, definitions of symbols, types of symbols, stages of symbols, manifestations of symbols, poetic image, and archetype

وصف الملف: application/pdf

Relation: http://jsrt.innovascience.uz/index.php/jsrt/article/view/466/386; http://jsrt.innovascience.uz/index.php/jsrt/article/view/466

الاتاحة: http://jsrt.innovascience.uz/index.php/jsrt/article/view/466

المؤلفون: Luciano Zunino

المصدر: Entropy, Vol 26, Iss 5, p 432 (2024)

مصطلحات موضوعية: time series, symbolic analysis, ordinal patterns, permutation entropy, Jensen–Shannon divergence, permutation Jensen–Shannon distance, Science, Astrophysics, QB460-466, Physics, QC1-999

Relation: https://www.mdpi.com/1099-4300/26/5/432; https://doaj.org/toc/1099-4300; https://doaj.org/article/4cfdc747396449089a5feba358b4e7a0

الاتاحة: https://doi.org/10.3390/e26050432
https://doaj.org/article/4cfdc747396449089a5feba358b4e7a0

المؤلفون: Matsumura, Kazuaki, García de Gonzalo, Simón, Peña Monferrer, Antonio José

المساهمون: Universitat Politècnica de Catalunya. Doctorat en Arquitectura de Computadors, Barcelona Supercomputing Center

مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Graphics processing units, Parallel processing (Electronic computers), Compilers (Computer programs), Compiler, Symbolic analysis, Code generation, GPUs, NVIDIA PTX, Program optimization, Unitats de processament gràfic, Processament en paral·lel (Ordinadors), Compiladors (Programes d'ordinador)

وصف الملف: 12 p.; application/pdf

Relation: info:eu-repo/grantAgreement/EC/H2020/801051/EU/European joint Effort toward a Highly Productive Programming Environment for Heterogeneous Exascale Computing (EPEEC)/EPEEC; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII/; Matsumura, K.; García de Gonzalo, S.; Peña, A. A symbolic emulator for shuffle synthesis on the NVIDIA PTX code. A: International Conference on Compiler Construction. "CC'23: proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction: February 25–26, 2023, Montréal, QC, Canada". New York: Association for Computing Machinery (ACM), 2023, p. 110-121. ISBN 979-8-4007-0088-0. DOI 10.1145/3578360.3580253.; 979-8-4007-0088-0; http://hdl.handle.net/2117/384604

الاتاحة: http://hdl.handle.net/2117/384604
https://doi.org/10.1145/3578360.3580253

المؤلفون: Graux, Pierre, Lalande, Jean-François, Viet Triem Tong, Valérie, Wilke, Pierre

المساهمون: Extra Small Extra Safe (2XS), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Confidentialité, Intégrité, Disponibilité et Répartition (CIDRE), CentraleSupélec-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)

المصدر: ISSN: 2692-1626.

مصطلحات موضوعية: Android native application, trace based symbolic analysis, obfuscation, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

الاتاحة: https://centralesupelec.hal.science/hal-04279351
https://centralesupelec.hal.science/hal-04279351v1/document
https://centralesupelec.hal.science/hal-04279351v1/file/3584975-7.pdf
https://doi.org/10.1145/3584975

المؤلفون: López-Rueda, Raúl, Escobar Román, Santiago, Sapiña-Sanchis, Julia

المساهمون: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica, European Commission, GENERALITAT VALENCIANA, AGENCIA ESTATAL DE INVESTIGACION, European Regional Development Fund, COMISION DE LAS COMUNIDADES EUROPEA, Universitat Politècnica de València

مصطلحات موضوعية: Narrowing, SMTsolver, Maude, Security protocols, Symbolic analysis, LENGUAJES Y SISTEMAS INFORMATICOS

Relation: Journal of Logical and Algebraic Methods in Programming; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023/PID2021-122830OB-C42/ES/METODOS FORMALES ESCALABLES PARA APLICACIONES REALES/; info:eu-repo/grantAgreement/EC/H2020/952215/EU/Integrating Reasoning, Learning and Optimization/; info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//CIPROM%2F2022%2F6//TECNOLOGIAS DE APRENDIZAJE Y RAZONAMIENTO RAPIDO Y LENTO/; info:eu-repo/grantAgreement/AEI//PCI2020-120708-2//FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPHIC PROTOCOLS/; info:eu-repo/grantAgreement/UPV//FPI-2022-S2-49802/; https://doi.org/10.1016/j.jlamp.2023.100895; urn:issn:2352-2208; http://hdl.handle.net/10251/205130

الاتاحة: http://hdl.handle.net/10251/205130
https://doi.org/10.1016/j.jlamp.2023.100895

المؤلفون: González Treviño, Eridania

المصدر: ACTIO NOVA: Revista de Teoría de la Literatura y Literatura Comparada; Núm. 7 (2023); 58-78 ; 2530-4437 ; 10.15366/actionova2023.7

مصطلحات موضوعية: universo poético, proceso de creación, parodia, belleza, análisis simbólico, poetic universe, creation process, parody, beauty, symbolic analysis

وصف الملف: application/pdf

Relation: https://revistas.uam.es/actionova/article/view/16887/16840; https://revistas.uam.es/actionova/article/view/16887

الاتاحة: https://revistas.uam.es/actionova/article/view/16887

المؤلفون: Takashi HARADA

المصدر: Nihon Kikai Gakkai ronbunshu, Vol 88, Iss 916, Pp 21-00367-21-00367 (2022)

مصطلحات موضوعية: multibody system dynamics, symbolic analysis, numerical simulation, differential belt drive mechanism, decoupling design, parallel robot, Mechanical engineering and machinery, TJ1-1570, Engineering machinery, tools, and implements, TA213-215

وصف الملف: electronic resource

Relation: https://www.jstage.jst.go.jp/article/transjsme/88/916/88_21-00367/_pdf/-char/en; https://doaj.org/toc/2187-9761

URL الوصول: https://doaj.org/article/fd503270f36a48baaae060b5b5d2f3de

المؤلفون: Arias, Jaime, Bae, Kyungmin, Olarte, Carlos, Ölveczky, Peter Csaba, Petrucci, Laure, Rømming, Fredrik

المساهمون: Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Pohang University of Science and Technology (POSTECH), University of Oslo (UiO)

المصدر: 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS '22)
https://hal.science/hal-04154095
8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS '22), Dec 2022, Auckland, New Zealand. pp.3-15, ⟨10.1145/3563822.3569923⟩

مصطلحات موضوعية: Timed automata, rewriting logic, symbolic analysis, parameter synthesis, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Auckland, New Zealand

Relation: hal-04154095; https://hal.science/hal-04154095; https://hal.science/hal-04154095/document; https://hal.science/hal-04154095/file/main.pdf

الاتاحة: https://hal.science/hal-04154095
https://hal.science/hal-04154095/document
https://hal.science/hal-04154095/file/main.pdf
https://doi.org/10.1145/3563822.3569923

المؤلفون: Silvia Crafa, Cosimo Laneve

المساهمون: Silvia Lizeth Tapia Tarifa, Josè Proenca, Silvia Crafa, Cosimo Laneve

مصطلحات موضوعية: Resource-aware programming, assets, liquidity, type system, symbolic analysis

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000897928200012; ispartofbook:Formal Aspects of Component Software, FACS 2022; 18th International Conference on Formal Aspects of Component Software, FACS 2022; volume:13712; firstpage:205; lastpage:221; numberofpages:17; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11585/901557; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85142683597; https://link.springer.com/chapter/10.1007/978-3-031-20872-0_12

الاتاحة: https://hdl.handle.net/11585/901557
https://doi.org/10.1007/978-3-031-20872-0_12
https://link.springer.com/chapter/10.1007/978-3-031-20872-0_12

المؤلفون: E. Tobaldini, G. D. Rodrigues, G. Mantoan, A. Monti, G. Coti Zelati, Ludovico Furlan, P. Tarsia, L. C. Morlacchi, V. Rossetti, I. Righi, L. Rosso, M. Nosotti, P. P. S. Soares, N. Montano, S. Aliberti, F. Blasi

المصدر: Respiratory Research, Vol 22, Iss 1, Pp 1-10 (2021)

مصطلحات موضوعية: Heart rate variability, Cardiac autonomic modulation, Lung transplantation, Spectral analysis, Symbolic analysis, Diseases of the respiratory system, RC705-779

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1465-993X

URL الوصول: https://doaj.org/article/563642ca4c024a57ae067f47080fa445

المؤلفون: Gabriel D. Rodrigues, Marco Vicenzi, Chiara Bellocchi, Lorenzo Beretta, Angelica Carandina, Eleonora Tobaldini, Stefano Carugo, Nicola Montano

المصدر: Frontiers in Cardiovascular Medicine, Vol 9 (2022)

مصطلحات موضوعية: heart rate variability, scleroderma, symbolic analysis, inflammatory reflex, autoimmune diseases, Diseases of the circulatory (Cardiovascular) system, RC666-701

وصف الملف: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fcvm.2022.899290/full; https://doaj.org/toc/2297-055X

URL الوصول: https://doaj.org/article/b3bbe3829ff74be1822a73f891b47c23

المؤلفون: Victor Barbosa Ribeiro, Gislaine Satyko Kogure, Rafael Costa Silva, Hugo Celso Dutra Souza, Rui Alberto Ferriani, Rosana Maria dos Reis

المصدر: Revista Brasileira de Ginecologia e Obstetrícia, Vol 42, Iss 2, Pp 81-89 (2020)

مصطلحات موضوعية: polycystic ovary syndrome, cardiac autonomic modulation, hyperandrogenism, spectral analysis, symbolic analysis, Gynecology and obstetrics, RG1-991

وصف الملف: electronic resource

Relation: http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-72032020000200081&tlng=en; http://www.scielo.br/pdf/rbgo/v42n2/1806-9339-rbgo-42-02-0081.pdf; https://doaj.org/toc/0100-7203

URL الوصول: https://doaj.org/article/e19faff0929f4126b26f9e638b0600e5

المؤلفون: Patrice Abry, Cécile Bastidon, Pierre Borgnat, Pablo Jensen, Antoine Parent

المصدر: Frontiers in Physics, Vol 10 (2022)

مصطلحات موضوعية: cliometrics, econophysics, complexity, economic history, signal processing, symbolic analysis, Physics, QC1-999

وصف الملف: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fphy.2022.894400/full; https://doaj.org/toc/2296-424X

URL الوصول: https://doaj.org/article/380eef7a272d4275808d8b2c8fbed52b

المؤلفون: Jiang, R, Chen, Z, Zhang, Z, Pei, Y, Pan, M, Zhang, T

المساهمون: Department of Computing

مصطلحات موضوعية: Code query, SMT solver, Symbolic analysis

Relation: IEEE International Working Conference on Source Code Analysis and Manipulation [SCAM]; http://hdl.handle.net/10397/105607; 92; 102; 2-s2.0-85058282320; COMP-0786

الاتاحة: http://hdl.handle.net/10397/105607
https://doi.org/10.1109/SCAM.2018.00018