Výsledky vyhledávání - Python-based logic programming systems*

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch

Autoři: Tarau, Paul

Zdroj: Electronic Proceedings in Theoretical Computer Science. 345:141-154

Témata: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, embedded logic programming languages, ground term fact database indexing, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, 02 engineering and technology, Machine Learning (cs.LG), Logic in Computer Science (cs.LO), logic programming, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, neuro-symbolic logic programming, Python-based logic programming systems, logic programming language implementation, Python, Programming Languages (cs.PL)

Popis souboru: Text

Přístupová URL adresa: https://arxiv.org/pdf/2109.08291
http://arxiv.org/abs/2109.08291
https://arxiv.org/abs/2109.08291
http://arxiv.org/pdf/2109.08291.pdf

Python Tabanlı Bulanık Mantık Modeli ile Rumen Fungal Ksilanaz Enzim Aktivitesinin Tahmini: Mikrobiyal Üretim.

Alternate Title: Prediction of Rumen Fungal Xylanase Enzyme Activity with Python Based Fuzzy Logic Model: Analysis of Microbial Production Conditions.

Autoři: YÜCEL, Halit EKİNCİ, Kübra

Zdroj: Journal of Fungus / Mantar Dergisi. nis2025, Vol. 16 Issue 1, p71-80. 10p.

Témata: *FUNGAL enzymes, *MICROBIAL enzymes, *PYTHON programming language, *MEMBERSHIP functions (Fuzzy logic), *FUZZY logic

Anna: an open-source platform for real-time integration of machine learning classifiers with veterinary electronic health records.

Autoři: Kong, Chun Yin Vasquez, Picasso Farhoodimoghadam, Makan a další

Zdroj: BMC Veterinary Research. 10/2/2025, Vol. 21 Issue 1, p1-12. 12p.

Témata: Machine learning, Electronic health records, Open source software, Patient care, Veterinary medicine, Diagnosis, Classification algorithms, Synchronization

Application of Artificial Intelligence Technologies in Livestock Management.

Alternate Title: Hayvancılıkta Yapay Zekâ Teknolojilerinin Uygulanması.

Autoři: DİLAVER, Hatice DİLAVER, Kamil Fatih

Zdroj: Journal of Animal Science & Economics. Jul2025, Vol. 4 Issue 2, p64-74. 11p.

Témata: Natural language processing, Artificial neural networks, Supervised learning, Artificial intelligence, Agriculture

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Vehicular Traffic Flow Detection and Monitoring for Implementation of Smart Traffic Light: A Case Study for Road Intersection in Limeira, Brazil.

Autoři: dos Santos Ximenes, Talía Simões de Oliveira Silva, Antonio Carlos de Martino, Guilherme Pieretti a další

Zdroj: Future Transportation; Dec2024, Vol. 4 Issue 4, p1388-1401, 14p

Témata: TRAFFIC flow measurement, TRAFFIC monitoring, TRAFFIC flow, TRAFFIC engineering, LOGIC programming

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Autoři: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. a další

Zdroj: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p

Témata: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

PyHLS: Intermediate Representation for Versatile High-Level Synthesis.

Autoři: Cieszewski, Radoslaw¹ radoslaw.cieszewski@pw.edu.pl

Zdroj: International Journal of Electronics & Telecommunications. 2025, Vol. 71 Issue 4, p1-7. 9p.

Témata: *AUDITING, *VHDL (Computer hardware description language), *ELECTRONIC design automation, *SOFTWARE compatibility, *PYTHON programming language, *FIELD programmable gate arrays

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming

Autoři: Chen, Ethan Chang, Jiwon Zhu, Yuhao

Témata: Computer Science - Programming Languages, Computer Science - Graphics, text

URL: http://arxiv.org/abs/2409.02771

Adaptive Personalized Learning System with Generative AI.

Autoři: Parakh, Divyansh Lodha, Prerak C. N., Subalalitha

Zdroj: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p2612-2637, 26p

Témata: GENERATIVE artificial intelligence, INSTRUCTIONAL systems, LANGUAGE models, DATABASES, INDIVIDUALIZED instruction, VIRTUAL classrooms, PYTHON programming language

Boosting HPC data analysis performance with the ParSoDA-Py library.

Autoři: Belcastro, Loris Giampà, Salvatore Marozzo, Fabrizio a další

Zdroj: Journal of Supercomputing. May2024, Vol. 80 Issue 8, p11741-11761. 21p.

Témata: *DATA analysis, *PYTHON programming language, *DATA mining, *DATA libraries, *LIBRARY technical services, *HIGH performance computing, *BIG data

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming

Autoři: Ethan Chen Jiwon Chang Yuhao Zhu

Zdroj: Proceedings of the ACM on Programming Languages. 8:846-875

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer Science - Graphics, Graphics (cs.GR), Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2409.02771

Continuous reasoning for adaptive container image distribution in the cloud–edge continuum.

Autoři: Azzolini, Damiano Forti, Stefano Ielo, Antonio

Zdroj: Cluster Computing; Oct2025, Vol. 28 Issue 7, p1-17, 17p

Témata: EDGE computing, RESOURCE allocation, NETWORK performance

Transforming Hydrology Python Packages into Web Application Programming Interfaces: A Comprehensive Workflow Using Modern Web Technologies.

Autoři: Pulla, Sarva T. Yasarer, Hakan Yarbrough, Lance D.

Zdroj: Water (20734441); Sep2024, Vol. 16 Issue 18, p2609, 22p

Témata: WATER management, HYDROLOGIC models, INTERNET access, WEB-based user interfaces, COMPUTER software development, PYTHON programming language

Hybrid Optimization Approaches for Impeller Design in Turbomachinery: Methods, Metrics, and Design Strategies.

Autoři: Remache, Abel Pérez-Sánchez, Modesto Hidalgo, Víctor Hugo a další

Zdroj: Water (20734441); Jul2025, Vol. 17 Issue 13, p1976, 35p

Témata: COMPUTATIONAL fluid dynamics, FINITE element method, RESPONSE surfaces (Statistics), MATHEMATICAL programming, CENTRIFUGAL pumps, MACHINE learning, TURBOMACHINES, EVOLUTIONARY algorithms

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Autoři: Pedro Lopez-Garcia John P. Gallagher Roberto Giacobazzi

Resource Type: eBook.

Témata: Software engineering, Computer science

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science

Meta-analysis of the functional neuroimaging literature with probabilistic logic programming.

Autoři: Abdallah, Majd Iovene, Valentin Zanitti, Gaston a další

Zdroj: Scientific Reports; 4/19/2022, Vol. 12 Issue 1, p1-12, 12p

Integrated Medical and Digital Approaches to Enhance Post-Bariatric Surgery Care: A Prototype-Based Evaluation of the NutriMonitCare System in a Controlled Setting.

Autoři: Marin, Ruxandra-Cristina Ianculescu, Marilena Costescu, Mihnea a další

Zdroj: Nutrients. Aug2025, Vol. 17 Issue 15, p2542. 45p.

Using Agent-Based Modeling to Study the Adaptation and Evolution of Human Emotions and Cognition.

Autoři: Duan, Qin Luo, Siyang

Zdroj: Psychological Science; Nov2025, Vol. 48 Issue 6, p1314-1332, 19p

Leak Management in Water Distribution Networks Through Deep Reinforcement Learning: A Review.

Autoři: Javed, Awais Wu, Wenyan Sun, Quanbin a další

Zdroj: Water (20734441); Jul2025, Vol. 17 Issue 13, p1928, 30p

Témata: REINFORCEMENT learning, LEAK detection, RESOURCE allocation, MACHINE learning, AQUEDUCTS, ARTIFICIAL intelligence, LEAKAGE, WATER conservation