Suchergebnisse - "semantic programming"

Polynomial-Computable Representation of Neural Networks in Semantic Programming

Autoren: Sergey Goncharov Andrey Nechesov

Quelle: J, Vol 6, Iss 1, Pp 48-57 (2023)
Volume 6
Issue 1
Pages: 48-57

Schlagwörter: polynomiality, machine learning, semantic programming, AI, Science, logical programming language, polynomial algorithm, neural networks

Dateibeschreibung: application/pdf

Zugangs-URL: https://doaj.org/article/a1a34c2bf92f4ef9b4d228bc0af62f25

From Data to Knowledge: A semantic knowledge graph application for curating specimen data

Autoren: Grobe, Peter Baum, Roman Bhatty, Philipp et al.

Weitere Verfasser: Grobe, Peter Baum, Roman Bhatty, Philipp et al.

Quelle: 3:1-3

Schlagwörter: collection data, FAIR data principle, knowledge graph application, semantic programming

Zugangs-URL: https://www.biodiversitylibrary.org/part/425759

FAIR.ReD: Semantic knowledge graph infrastructure for the life sciences

Autoren: Vogt, Lars Auer, Sören Bartolomaeus, Thomas et al.

Weitere Verfasser: Vogt, Lars Auer, Sören Bartolomaeus, Thomas et al.

Quelle: 3:1-3

Schlagwörter: Data Sea Storage, FAIR data principle, knowledge graph application, semantic knowledge graph, semantic programming

Zugangs-URL: https://www.biodiversitylibrary.org/part/425828

Polynomial Analogue of Gandy’s Fixed Point Theorem

Autoren: Sergey Goncharov Andrey Nechesov

Quelle: Mathematics ; Volume 9 ; Issue 17 ; Pages: 2102

Schlagwörter: polynomial computability, p-computability, Gandy’s fixed point theorem, semantic programming, polynomial operators, Δ 0 p , computer science

Dateibeschreibung: application/pdf

Relation: E: Applied Mathematics; https://dx.doi.org/10.3390/math9172102

Verfügbarkeit: https://doi.org/10.3390/math9172102

Solution of the Problem P = L

Autoren: Sergey Goncharov Andrey Nechesov

Quelle: Mathematics ; Volume 10 ; Issue 1 ; Pages: 113

Schlagwörter: polynomiality, polynomial function, polynomial algorithm, Turing machine, logical programming language, semantic programming, smart contract, blockchain, AI

Dateibeschreibung: application/pdf

Relation: E: Applied Mathematics; https://dx.doi.org/10.3390/math10010113

Verfügbarkeit: https://doi.org/10.3390/math10010113

From Data to Knowledge: A semantic knowledge graph application for curating specimen data

Autoren: Grobe,Peter Baum,Roman Bhatty,Philipp et al.

Quelle: Biodiversity Information Science and Standards 3: e37412

Schlagwörter: semantic programming, FAIR data principle, knowledge graph application, collection data

Dateibeschreibung: text/html

Relation: info:eu-repo/semantics/altIdentifier/eissn/2535-0897

Verfügbarkeit: https://doi.org/10.3897/biss.3.37412
https://biss.pensoft.net/article/37412/
https://biss.pensoft.net/article/37412/download/pdf/

FAIR.ReD: Semantic knowledge graph infrastructure for the life sciences

Autoren: Vogt,Lars Auer,Sören Bartolomaeus,Thomas et al.

Quelle: Biodiversity Information Science and Standards 3: e37206

Schlagwörter: semantic knowledge graph, Data Sea Storage, FAIR data principle, semantic programming, knowledge graph application

Dateibeschreibung: text/html

Relation: info:eu-repo/semantics/altIdentifier/eissn/2535-0897

Verfügbarkeit: https://doi.org/10.3897/biss.3.37206
https://biss.pensoft.net/article/37206/
https://biss.pensoft.net/article/37206/download/pdf/

Locally Simple Models Construction: Methodology and Practice

Autoren: I. A. Kustova E. N. Lazebnikova I. A. Kazakov et al.

Quelle: Известия Иркутского государственного университета: Серия "Математика", Vol 22, Iss 1, Pp 71-89 (2017)

Schlagwörter: semantic programming, locally simple modeling, QA1-939, document model, business process, Mathematics

Zugangs-URL: http://mathizv.isu.ru/en/article.html?article=_e2cadb125d0b428a854fa42c48b77ef7&journal=_83cd26865ee34644b76c60a4e6142ebe

Document Models

Autoren: A.A. Malykh A.V. Mantsivoda

Quelle: Известия Иркутского государственного университета: Серия "Математика", Vol 21, Iss 1, Pp 89-107 (2017)

Schlagwörter: locally simple model, semantic programming, QA1-939, document model, Mathematics

Zugangs-URL: https://doaj.org/article/1eb2c6b8059a40338401db1f9422ba54
https://doi.org/10.26516/1997-7670.2017.21.89

perusal of verbal text through the lens of illustration

Autoren: Shkurko, Viktoriya Mardieva, Leyla Shchuklina, Tatyana et al.

Quelle: National Academy of Managerial Staff of Culture and Arts Herald; № 3 (2018)
Вестник Национальной академии руководящих кадров культуры и искусств; № 3 (2018)
Вісник Національної академії керівних кадрів культури і мистецтв; № 3 (2018)

Schlagwörter: 0508 media and communications, Pre-existing visual images, implicit messages, multimodal texts, mass-media, neuro-semantic programming, 05 social sciences, 0503 education

Dateibeschreibung: application/pdf

Zugangs-URL: http://journals.uran.ua/visnyknakkkim/article/view/171820
http://journals.uran.ua/visnyknakkkim/article/download/171820/171532
https://www.rmlconsultores.com/revista/index.php/crv/article/view/1769/pdf_1242
http://journals.uran.ua/visnyknakkkim/article/view/171820

Towards effective modeling and programming multi-core tiled reconfigurable architectures

Autoren: Rovers, Kenneth C. van de Burgwal, Marcel Dominicus Kuper, Jan et al.

Schlagwörter: semantic programming model, METIS-264062, EWI-16145, IR-68155, CAES-EEA: Efficient Embedded Architectures, Model-based design, reconfigurable tiled architecture, phased array beamforming

Zugangs-URL: https://research.utwente.nl/en/publications/ebd22baa-0624-436a-88d2-63674a20b487

Semantic programming model-based design

Autoren: Rovers, Kenneth C. Kuper, Jan Smit, Gerardus

Schlagwörter: semantic programming model, METIS-255476, Phased array, EWI-15004, IR-65363, Beam-forming, Model-based design, hierarchical tiled architecture, MP-SoC

Zugangs-URL: https://research.utwente.nl/en/publications/53312561-86a4-464a-9dfd-007df2c46103

reconfigurable

Autoren: Kenneth C. Rovers Marcel D. Van De Burgwal Jan Kuper et al.

Weitere Verfasser: Kenneth C. Rovers Marcel D. Van De Burgwal Jan Kuper et al.

Quelle: http://www.nest-consortium.nl/publications/2009/RoversKC_TowardsEffectiveModelling.pdf.

Schlagwörter: Phased array beamforming, reconfigurable tiled architecture, semantic programming model

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.622.4981

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.622.4981
http://www.nest-consortium.nl/publications/2009/RoversKC_TowardsEffectiveModelling.pdf

Mathematical bases of semantic programming

Autoren: Goncharov, S. S. Sviridenko, D. I.

Schlagwörter: \(\Sigma \)-programming, canonical expansion, Data structures, universal machine, semantic programming, determinability, fixed points, functional programming, programming methodology, logical programming, Abstract data types, algebraic specification, abstract data types

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/4049008

Semantic programming

Autoren: Ershov, Yu. L. Goncharov, S. S. Sviridenko, D. I.

Schlagwörter: Logic in computer science, Specification and verification (program logics, model checking, etc.), \(\Sigma \)-formulae, semantic programming, computable predicates of finite types, General topics in the theory of software, list extensions

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/4037166

Towards a semantic query language

Autoren: Urchenko, O. G.

Schlagwörter: semantic programming, Database theory, Theory of programming languages, database query language

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/992759

Yurij Leonidovich Ershov (to his 60th birthday)

Autoren: Goncharov, S. S. Mazurov, V. D. Romanovskij, N. S. et al.

Schlagwörter: History of mathematics in the 20th century, dynamic logic, semantic programming, Siberian school of algebra and logic, decidability of an elementary theory, Birthday, Biographies, obituaries, personalia, bibliographies

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1563993