Academic literature on the topic 'Graph-logical models'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Graph-logical models.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Graph-logical models"
Liu, Qi, Dani Yogatama, and Phil Blunsom. "Relational Memory-Augmented Language Models." Transactions of the Association for Computational Linguistics 10 (2022): 555–72. http://dx.doi.org/10.1162/tacl_a_00476.
Full textKovács, Tibor, Gábor Simon, and Gergely Mezei. "Benchmarking Graph Database Backends—What Works Well with Wikidata?" Acta Cybernetica 24, no. 1 (May 21, 2019): 43–60. http://dx.doi.org/10.14232/actacyb.24.1.2019.5.
Full textShao, Bo, Yeyun Gong, Weizhen Qi, Guihong Cao, Jianshu Ji, and Xiaola Lin. "Graph-Based Transformer with Cross-Candidate Verification for Semantic Parsing." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 05 (April 3, 2020): 8807–14. http://dx.doi.org/10.1609/aaai.v34i05.6408.
Full textIvannikov, A. D., and A. L. Stempkovskiy. "Iterative Methods for Solving Systems of Multi-Valued Logical Equations in the Simulation of Object Control Digital Systems." Mekhatronika, Avtomatizatsiya, Upravlenie 21, no. 9 (September 7, 2020): 511–20. http://dx.doi.org/10.17587/mau.21.511-520.
Full textGates, Alexander J., Rion Brattig Correia, Xuan Wang, and Luis M. Rocha. "The effective graph reveals redundancy, canalization, and control pathways in biochemical regulation and signaling." Proceedings of the National Academy of Sciences 118, no. 12 (March 18, 2021): e2022598118. http://dx.doi.org/10.1073/pnas.2022598118.
Full textSingh, Pritpal, Gaurav Dhiman, and Amandeep Kaur. "A quantum approach for time series data based on graph and Schrödinger equations methods." Modern Physics Letters A 33, no. 35 (November 19, 2018): 1850208. http://dx.doi.org/10.1142/s0217732318502085.
Full textZhang, Jindou, and Jing Li. "Enhanced Knowledge Graph Embedding by Jointly Learning Soft Rules and Facts." Algorithms 12, no. 12 (December 10, 2019): 265. http://dx.doi.org/10.3390/a12120265.
Full textLoganathan, MK, and OP Gandhi. "Reliability enhancement of manufacturing systems through functions." Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 231, no. 10 (November 14, 2015): 1850–68. http://dx.doi.org/10.1177/0954405415612324.
Full textLv, Qingna, Yanyun Zhang, Yanyan Li, and Yang Yu. "Research on a Health Care Personnel Training Model Based on Multilayered Knowledge Mapping for the Integration of Nursing Courses and Examinations." Journal of Healthcare Engineering 2022 (February 9, 2022): 1–10. http://dx.doi.org/10.1155/2022/3826413.
Full textKadyrov, Amanulla, and Amir Kadyrov. "Foundations of General Theory of Discrete Dynamic, Relay and Logical-Dynamic Systems Based on Physical Decomposition and Graph Models." Vestnik Volgogradskogo gosudarstvennogo universiteta. Serija 10. Innovatcionnaia deiatel’nost’, no. 2 (May 2015): 80–89. http://dx.doi.org/10.15688/jvolsu10.2015.2.8.
Full textDissertations / Theses on the topic "Graph-logical models"
Морозов, Костянтин В’ячеславович. "Методи і засоби побудови моделей поведінки небазових відмовостійких багатопроцесорних систем." Doctoral thesis, Київ, 2021. https://ela.kpi.ua/handle/123456789/40485.
Full textFigueiredo, Daniel Oliveira. "Logical foundations and computational tools for synthetic biology." Doctoral thesis, 2020. http://hdl.handle.net/10773/29829.
Full textO estudo e desenvolvimento de ferramentas para sistemas computacionais é uma área onde facilmente podemos encontrar vários trabalhos, sendo hoje em dia um dos tópicos dominantes na investigação em Ciências da Computação, permitindo, a esta área, o acesso a uma vasta base teórica, além de diversos algoritmos e ferramentas tais como model checkers. Esta tese centra-se na ideia de que um sistema biológico pode ser visto, em certa forma, como um sistema computacional, onde células e genes substituem o papel dos transístors. De facto, a noção de computação é, muitas vezes, associada ao funcionamento do cérebro de seres vivos. Tendo em conta este ponto de vista, o objetivo deste trabalho é revisitar alguns conceitos básicos no estudo de dinâmicas intracelulares, comuns a todos os seres vivos, de um ponto de vista computacional, de forma a averiguar como podemos aplicar a estes sistemas os conceitos, algoritmos e ferramentas computacionais usadas na área da Informática. Em particular, começamos por revisitar vários tipos de modelos usados para descrever a dinâmica intracelular de seres vivos – modelos lineares por partes e redes Booleanas. De seguida, propomos uma nova perspetiva sobre os modelos lineares por partes, considerando estes modelos como reconfiguráveis. Isto permite-nos o uso de ferramentas computacionais como o KeYmaera e dReach. Por outro lado, discretizando este modelos mas mantendo a noção de reconfigurabilidade, obtemos a noção de rede Booleana reactiva, baseada no formalismo de switch graphs, e propomos uma linguagem lógica para expressar e verificar propriedades destes sistemas bem como uma noção de bissimulação. No que diz respeito a modelos Booleanos, apresentamos uma nova visão sobre a noção de “terminal” (ou atrator) de forma a relacioná-lo com a noção de bisimulação, muito usada em computação. De seguida, focamos a atenção no método de obtenção do gráfico assintótico e, após um estudo profundo, propomos um método intermédio que, apesar de menos eficiente a nível computacional, se mostra mais adequado ao contexto. Finalmente, consideramos um novo tipo de modelo estocástico ao incorporar pesos na arestas dos switch graphs e desenvolvemos uma extensão do PRISM model checker – rPrism – para estudar esta classe específica de modelos.
Programa Doutoral em Matemática Aplicada
Book chapters on the topic "Graph-logical models"
Whelan, Ken, Oliver Ray, and Ross D. King. "Representation, Simulation, and Hypothesis Generation in Graph and Logical Models of Biological Networks." In Methods in Molecular Biology, 465–82. Totowa, NJ: Humana Press, 2011. http://dx.doi.org/10.1007/978-1-61779-173-4_26.
Full textLocuratolo, Elvira Immacolata. "Quality Evaluation for Evolving Conceptual Database Design." In Encyclopedia of Information Science and Technology, Fourth Edition, 2020–30. IGI Global, 2018. http://dx.doi.org/10.4018/978-1-5225-2255-3.ch175.
Full textLocuratolo, Elvira Immacolata. "Quality Evaluation for Evolving Conceptual Database Design." In Advances in Computer and Electrical Engineering, 632–44. IGI Global, 2019. http://dx.doi.org/10.4018/978-1-5225-7598-6.ch046.
Full textZaitsev, Dmitry A. "Composition of Functional Petri Nets." In Formal Methods in Manufacturing Systems, 404–64. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-4034-4.ch017.
Full textHawrylak, Peter J., Chris Hartney, Mauricio Papa, and John Hale. "Using Hybrid Attack Graphs to Model and Analyze Attacks against the Critical Information Infrastructure." In Critical Information Infrastructure Protection and Resilience in the ICT Sector, 173–97. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-2964-6.ch009.
Full textHawrylak, Peter J., Chris Hartney, Mauricio Papa, and John Hale. "Using Hybrid Attack Graphs to Model and Analyze Attacks against the Critical Information Infrastructure." In Cyber Behavior, 2098–124. IGI Global, 2014. http://dx.doi.org/10.4018/978-1-4666-5942-1.ch110.
Full textDi Tria, Francesco, Ezio Lefons, and Filippo Tangorra. "Big Data Warehouse Automatic Design Methodology." In Big Data, 454–92. IGI Global, 2016. http://dx.doi.org/10.4018/978-1-4666-9840-6.ch023.
Full textConference papers on the topic "Graph-logical models"
Li, Ronghan, Lifang Wang, Shengli Wang, and Zejun Jiang. "Asynchronous Multi-grained Graph Network For Interpretable Multi-hop Reading Comprehension." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/531.
Full textGeh, Renato, Denis Mauá, and Alessandro Antonucci. "Learning Probabilistic Sentential Decision Diagrams by Sampling." In Symposium on Knowledge Discovery, Mining and Learning. Sociedade Brasileira de Computação, 2020. http://dx.doi.org/10.5753/kdmile.2020.11968.
Full textvan Bremen, Timothy, and Ondřej Kuželka. "Lifted Inference with Tree Axioms." In 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/kr.2021/57.
Full textKhristodulo, Olga, Vladimir Gvozdev, Oxana Bezhaeva, and Marat Shamsutdinov. "Assessment of the characteristics of the municipal solid waste management system based on the apparatus of the theory of reliability." In International Conference "Computing for Physics and Technology - CPT2020". Bryansk State Technical University, 2020. http://dx.doi.org/10.30987/conferencearticle_5fce277281cca9.86270786.
Full textHochin, Teruhisa, and Hiroki Nomiya. "A Logical and Graphical Operation of a Graph-Based Data Model." In 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science. IEEE, 2009. http://dx.doi.org/10.1109/icis.2009.130.
Full textde Sousa, Victor Martins, and Luis Mariano del Val Cura. "Logical Design of Graph Databases from an Entity-Relationship Conceptual Model." In iiWAS2018: 20th International Conference on Information Integration and Web-based Applications & Services. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3282373.3282375.
Full textWang, Yashen, and Huanhuan Zhang. "A Novel Logical Query Representation Learning Model on Knowledge Graph for Interpretable Knowledge Reasoning." In 2020 3rd International Conference on Unmanned Systems (ICUS). IEEE, 2020. http://dx.doi.org/10.1109/icus50048.2020.9274950.
Full textThomas Mason, Robert. "NoSQL Databases and Data Modeling for a Document-oriented NoSQL Database." In InSITE 2015: Informing Science + IT Education Conferences: USA. Informing Science Institute, 2015. http://dx.doi.org/10.28945/2245.
Full textZhao, Yue, Chunling Dong, and Qin Zhang. "Pilot Study of Diagnosis on CPR1000 With Dynamic Uncertain Causality Graph." In 2016 24th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/icone24-60181.
Full textZhou, Zhenxu, Chunling Dong, and Qin Zhang. "Dynamic Fault Tree Analysis Based on Dynamic Uncertain Causality Graph." In 2018 26th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/icone26-81636.
Full text